contain ↗ reference
7694 papers tagged with this keyword
Simple Chopsticks: Playing with any number of hands and fingers
Chopsticks is a game played by two players where they start with one finger raised on each hand. On their turn, each player moves by pointing an attacking hand at one of their opponent's hands. The number of fingers on the pointed hand increases by the number of fingers on the attacking hand. If, after a move, a hand contains more than five fingers, it is removed from play. There are also other rules that allow players to move fingers from one hand to another, but we focus on this simple setup.
We introduce a generalization of Chopsticks, called Simple Chopsticks, in which the players may have any number of $n$-fingered hands. We find that having more hands than your opponent is generally good, and use this fact to fully characterize the outcomes of \octopus/ in the case where the players have 2-fingered hands.
Walks, infinite series and spectral radius of graphs
For a graph G, the spectral radius \r{ho}(G) of G is the largest eigenvalue of its adjacency matrix. In this paper, we seek the relationship between \r{ho}(G) and the walks of the subgraphs of G. Especially, if G contains a complete multi-partite graph as a spanning subgraph, we give a formula for \r{ho}(G) by using an infinite series on walks of the subgraphs of G. These results are useful for the current popular spectral extremal problem.
Bound vertices of longest paths between two vertices in cubic graphs
Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. Let $H$ be a subgraph of a graph $G$. A vertex $v$ of $H$ is said to be $H$-bound if all the neighbors of $v$ in $G$ lie in $H$. Recently, Zhan has made the more general conjecture that in a $k$-connected graph, every longest path $P$ between two vertices contains at least $k-1$ internal $P$-bound vertices. In this paper, we prove that Zhan's conjecture holds for $2$-connected cubic graphs. This conclusion generalizes a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{129} (2018) 148--157]. Furthermore, we prove that if the two vertices are adjacent, Zhan's conjecture holds for $3$-connected cubic graphs, from which we deduce that every longest cycle in a $3$-connected cubic graph has at least two chords. This strengthens a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{71} (1997) 211--214].
Reality determining subgraphs and strongly real modules
Published
• View Publication
• BIB
The concept of pseudo q-factorization graphs was recently introduced by the last two authors as a combinatorial language which is suited for capturing certain properties of Drinfeld polynomials. Using certain known representation theoretic facts about tensor products of Kirillov Reshetikhin modules and qcharacters, combined with special topological/combinatorial properties of the underlying q-factorization graphs, the last two authors showed that, for algebras of type A, modules associated to totally ordered graphs are prime, while those associated to trees are real. In this paper, we extend the latter result. We introduce the notions of strongly real modules and that of trees of modules satisfying certain properties. In particular, we can consider snake trees, i.e., trees formed from snake modules. Among other results, we show that a certain class of such generalized trees, which properly contains the snake trees, give rise to strongly real modules.
Majority Dynamics and Internal Partitions of Random Regular Graphs: Experimental Results
This paper focuses on Majority Dynamics in sparse graphs, in particular, as a tool to study internal cuts. It is known that, in Majority Dynamics on a finite graph, each vertex eventually either comes to a fixed state, or oscillates with period two. The empirical evidence acquired by simulations suggests that for random odd-regular graphs, approximately half of the vertices end up oscillating with high probability. We notice a local symmetry between oscillating and non-oscillating vertices, that potentially can explain why the fraction of the oscillating vertices is concentrated around $\frac{1}{2}$. In our simulations, we observe that the parts of random odd-regular graph under Majority Dynamics with high probability do not contain $\lceil \frac{d}{2} \rceil$-cores at any timestep, and thus, one cannot use Majority Dynamics to prove that internal cuts exist in odd-regular graphs almost surely. However, we suggest a modification of Majority Dynamics, that yields parts with desired cores with high probability.
Spanning trees and signless Laplacian spectral radius in graphs
Let $G$ be a connected graph and let $k$ be a positive integer. Let $T$ be a spanning tree of $G$. The leaf degree of a vertex $v\in V(T)$ is defined as the number of leaves adjacent to $v$ in $T$. The leaf degree of $T$ is the maximum leaf degree among all the vertices of $T$. Let $A(G)$ be the adjacency matrix of $G$ and $D(G)$ be the diagonal degree matrix of $G$. Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of $G$. The largest eigenvalue of $Q(G)$, denoted by $q(G)$, is called the signless Laplacian spectral radius of $G$. In this paper, we investigate the connection between the spanning tree and the signless Laplacian spectral radius of $G$, and put forward a sufficient condition based upon the signless Laplacian spectral radius to guarantee that a graph $G$ contains a spanning tree with leaf degree at most $k$. Finally, we construct some extremal graphs to claim all the bounds obtained in this paper are sharp.
Operad of posets 101: The Wixarika posets
We study objects whose definition is linked to partial orders. An algebra over the operad of posets is a set whose endomorphisms contain the endomorphisms of posets. Notable examples of such algebras include the zeta values, order polytopes, and shuffle series. The language of operads provides us with tools to better understand the combinatorics of these objects.
In these notes we describe a non-trivial example of a suboperad ``The Wixarika posets'', alongside its associated algebras. This example is rich enough to showcase the particularities of the field, without delving into technicalities.
An old version of these notes were used to give a minicourse in Govt. College University Lahore in Pakistan 2022, and at the BIRS-CMO workshop ``6th meeting of the Mexican Mathematicians in the World'' 2024.
Constructions of Turán systems that are tight up to a multiplicative constant
Published
• View Publication
• BIB
For positive integers $n\ge s> r$, the Turán function $T(n,s,r)$ is the smallest size of an r-graph with n vertices such that every set of s vertices contains at least one edge. Also, define the Turán density $t(s,r)$ as the limit of $T(n,s,r)/ {n\choose r}$ as $n\to\infty$. The question of estimating these parameters received a lot of attention after it was first raised by Turán in 1941. A trivial lower bound is $t(s,r)\ge 1/{s\choose s-r}$. In the early 1990s, de Caen conjectured that $r\cdot t(r+1,r)\to\infty$ as $r\to\infty$ and offered 500 Canadian dollars for resolving this question.
We disprove this conjecture by showing more strongly that for every integer $R\ge1$ there is $μ_R$ (in fact, $μ_R$ can be taken to grow as $(1+o(1))\, R\ln R$) such that $t(r+R,r)\le (μ_R+o(1))/ {r+R\choose R}$ as $r\to\infty$, that is, the trivial lower bound is tight for every $R$ up to a multiplicative constant $μ_R$.
A bijection for the evolution of $B$-trees
A $B$-tree is a type of search tree where every node (except possibly for the root) contains between $m$ and $2m$ keys for some positive integer $m$, and all leaves have the same distance to the root. We study sequences of $B$-trees that can arise from successively inserting keys, and in particular present a bijection between such sequences (which we call histories) and a special type of increasing trees. We describe the set of permutations for the keys that belong to a given history, and also show how to use this bijection to analyse statistics associated with $B$-trees.
New bounds on a generalization of Tuza's conjecture
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $H$, let $ν^{(m)}(H)$ denote the maximum size of a set $S$ of edges of $H$ whose pairwise intersection has size less than $m$. Let $τ^{(m)}(H)$ denote the minimum size of a set $S$ of $m$-sets of $V(H)$ such that every edge of $H$ contains some $m$-set from $S$. A conjecture by Aharoni and Zerbib, which generalizes a conjecture of Tuza on the size of minimum edge covers of triangles of a graph, states that for a $k$-uniform hypergraph $H$, $τ^{(k - 1)}(H)/ν^{(k - 1)}(H) \leq \left \lceil \frac{k + 1}{2} \right \rceil$. In this paper, we show that this generalization of Tuza's conjecture holds when $ν^{(k - 1)}(H) \leq 3$. As a corollary, we obtain a graph class which satisfies Tuza's conjecture. We also prove various bounds on $τ^{(m)}(H)/ν^{(m)}(H)$ for other values of $m$ as well as some bounds on the fractional analogues of these numbers.
A spectral Erdős-Rademacher theorem
Published in Advances in Applied Mathematics 158 (2024) 102720
• View Publication
• BIB
A classical result of Erdős and Rademacher (1955) indicates a supersaturation phenomenon. It says that if $G$ is a graph on $n$ vertices with at least $\lfloor {n^2}/{4} \rfloor +1$ edges, then $G$ contains at least $\lfloor {n}/{2}\rfloor$ triangles. We prove a spectral version of Erdős--Rademacher's theorem. Moreover, Mubayi [Adv. Math. 225 (2010)] extends the result of Erdős and Rademacher from a triangle to any color-critical graph. It is interesting to study the extension of Mubayi from a spectral perspective. However, it is not apparent to measure the increment on the spectral radius of a graph comparing to the traditional edge version (Mubayi's result). In this paper, we provide a way to measure the increment on the spectral radius of a graph and propose a spectral version on the counting problems for color-critical graphs.
Finding irregular subgraphs via local adjustments
Published
• View Publication
• BIB
For a graph $H$, let $m(H,k)$ denote the number of vertices of degree $k$ in $H$. A conjecture of Alon and Wei states that for any $d\geq 3$, every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2$ for every $0\leq k \leq d$. This holds easily when $d\leq 2$. An asymptotic version of this conjecture was initially established by Frieze, Gould, Karoński and Pfender, subsequently improved by Alon and Wei, and most recently enhanced by Fox, Luo and Pham, approaching its complete range. All of these approaches relied on probabilistic methods.
In this paper, we provide a novel framework to study this conjecture, based on localized deterministic techniques which we call local adjustments. We prove two main results. Firstly, we show that every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2d^2$ for all $0\leq k \leq d$, which provides the first bound independent of the value of $n$. Secondly, we confirm the case $d=3$ of the Alon-Wei Conjecture in a strong form. Both results can be generalized to multigraphs and yield efficient algorithms for finding the desired subgraphs $H$. Furthermore, we explore a generalization of the Alon-Wei Conjecture for multigraphs and its connection to the Faudree-Lehel Conjecture concerning irregularity strength.
Planar Turán number for balanced double stars
Planar Turán number, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. Ghosh, Győri, Paulos and Xiao initiated the topic of the planar Turán number for double stars. For balanced double star, $S_{3,3}$ is the only remaining graph need to be considered. In this paper, we give the exact value of $ex_{\mathcal{P}}(n,S_{3,3})$, forcing the planar Turán number for all balanced double stars completely determined.
Optimal k-centers of a graph: a control-theoretic approach
Published
• View Publication
• BIB
In a network consisting of n nodes, our goal is to identify the most central k nodes with respect to the proposed definitions of centrality. Depending on the specific application, there exist several metrics for quantifying k-centrality, and the subset of the best k nodes naturally varies based on the chosen metric. In this paper, we propose two metrics and establish connections to a well-studied metric from the literature (specifically for stochastic matrices). We prove these three notions match for path graphs. We then list a few more control-theoretic notions and compare these various notions for a general randomly generated graph. Our first metric involves maximizing the shift in the smallest eigenvalue of the Laplacian matrix. This shift can be interpreted as an improvement in the time constant when the RC circuit experiences leakage at certain k capacitors. The second metric focuses on minimizing the Perron root of a principal sub-matrix of a stochastic matrix, an idea proposed and interpreted in the literature as manufacturing consent. The third one explores minimizing the Perron root of a perturbed (now super-stochastic) matrix, which can be seen as minimizing the impact of added stubbornness. It is important to emphasize that we consider applications (for example, facility location) when the notions of central ports are such that the set of the best k ports does not necessarily contain the set of the best k-1 ports. We apply our k-port selection metric to various network structures. Notably, we prove the equivalence of three definitions for a path graph and extend the concept of central port linkage beyond Fiedler vectors to other eigenvectors associated with path graphs.
A variable version of the quasi-kernel conjecture
Published
• View Publication
• BIB
A quasi-kernel of a digraph $D$ is an independent set $Q$ such that every vertex can reach $Q$ in at most two steps. A 48-year conjecture made by P.L. Erdős and Székely, denoted the small QK conjecture, says that every sink-free digraph contains a quasi-kernel of size at most $n/2$.
Recently, Spiro posed the large QK conjecture, that every sink-free digraph contains a quasi-kernel $Q$ such that $|N^-[Q]|\geq n/2$, and showed that it follows from the small QK conjecture.
In this paper, we establish that the large QK conjecture implies the small QK conjecture with a weaker constant. We also show that the large QK conjecture is equivalent to a sharp version of it, answering affirmatively a question of Spiro. We formulate variable versions of these conjectures, which are still open in general.
Not many digraphs are known to have quasi-kernels of size $(1-α)n$ or less. We show this for digraphs with bounded dichromatic number, by proving the stronger statement that every sink-free digraph contains a quasi-kernel of size at most $(1-1/k)n$, where $k$ is the digraph's kernel-perfect number.
Constructing embedded surfaces for cellular embeddings of leveled spatial graphs
For a given spatial graph $\mathcal{G} \subset \mathbb{R}^3$, we would like to find a closed orientable surface $\mathcal{S}$ embedded in $\mathbb{R}^3$ in which $\mathcal{G}$ is cellular embedded. However, for general $\mathcal{G}$ this is not possible. We therefore define a property of spatial graphs, called leveled, to show that for leveled spatial graphs with a small number of levels, a surface $\mathcal{S}$ can always be found. The argument is based on decomposing $\mathcal{G}$ into spatial subgraphs that can be placed on a sphere and on cylinders attached as handles, in such a way that the resulting surface contains a cellular embedding of $\mathcal{G}$. We generalize the procedure to an algorithm that, if successful, constructs $\mathcal{S}$ for leveled spatial graphs with any number of levels. We conjecture that all connected leveled embeddings can be cellular embedded with the presented algorithm.
On the Diameter of Undirected Cayley Graphs of Finite Abelian Groups
Published in Comb. Number Th. 14 (2025) 1-12
• View Publication
• BIB
Let $s$ be a positive integer. Our goal is to find all finite abelian groups $G$ that contain a $2$-subset $A$ for which the undirected Cayley graph $Γ(G,A)$ has diameter at most $s$. We provide a complete answer when $G$ is cyclic, and a conjecture and some partial answers when $G$ is noncyclic.
Two Erdos-Hajnal-type theorems for forbidden order-size pairs
The celebrated Erdős-Hajnal conjecture says that any graph without a fixed induced subgraph $H$ contains a very large homogeneous set. A direct analog of this conjecture is not true for hypergraphs. In this paper we present two natural variants of this problem which do hold for hypergraphs. We show that for every $r \geq 3$, $m \geq m_0(r)$ and $0 \leq f \leq \binom{m}{r}$, if an $r$-graph $G$ does not contain $m$ vertices spanning exactly $f$ edges, then $G$ contains much bigger homogeneous sets than what is guaranteed to exist in general $r$-graphs. We also prove that if a $3$-graph $G$ does not contain homogeneous sets of polynomial size, then for every $m \geq 3$ there are $Ω(m^3)$ values of $f$ such that $G$ contains $m$ vertices spanning exactly $f$ edges. This makes progress on a problem of Axenovich, Bradač, Gishboliner, Mubayi and Weber.
Embedding induced trees in sparse expanding graphs
Inspired by the network routing literature \cite{aggarwal1996efficient}, we develop what we call a ``Pre-Emptive Greedy Algorithm" to embed bounded degree induced trees in sparse expanders.
This generalises a powerful and central result of Friedman and Pippenger to the induced setting.
As corollaries we obtain that a sparse random graph contains all bounded degree trees of linear order (whp) and that the induced and size induced Ramsey numbers of bounded degree trees are linear. No such linear bounds were previously known. We also prove a nearly-tight result on induced forests in bounded degree countable expanders. We expect that our new result will find many more applications.
Refined Horton-Strahler numbers I: a discrete bijection
The Horton-Strahler number of a rooted tree $T$ is the height of the tallest complete binary tree that can be homeomorphically embedded in $T$. The number of full binary trees with $n$ internal vertices and Horton-Strahler number $s$ is known to be the same as the number of Dyck paths of length $2n$ whose height $h$ satisfies $\lfloor \log_2(1+h)\rfloor=s$.
In this paper, we present a new bijective proof of the above result, that in fact strengthens and refines it as follows. We introduce a sequence of trees $(τ_i,i \ge 0)$ which "interpolates" the complete binary trees, in the sense that $τ_{2^h-1}$ is the complete binary tree of height $h$ for all $h \ge 0$, and $τ_{i+1}$ strictly contains $τ_i$ for all $i \ge 0$. Defining $\mathcal{S}(T)$ to be the largest $i$ for which $τ_i$ can be homeomorphically embedded in $T$, we then show that the number of full binary trees $T$ with $n$ internal vertices and with $\mathcal{S}(T)=h$ is the same as the number of Dyck paths of length $2n$ with height $h$. (We call $\mathcal{S}(T)$ the refined Horton-Strahler number of $T$.)
Our proof is bijective and relies on a recursive decomposition of binary trees (resp. Dyck paths) into subtrees with strictly smaller refined Horton-Strahler number (resp. subpaths with strictly smaller height). In a subsequent paper, we will show that the bijection has a continuum analogue, which transforms a Brownian continuum random tree into a Brownian excursion and under which (a continuous analogue of) the refined Horton-Strahler number of the tree becomes the height of the excursion.