graph
34516 papers tagged with this keyword
Perfect t-Embeddings of Uniformly Weighted Generalized Tower Graphs
In this paper, we study sequences of perfect t-embeddings of a uniformly weighted family of graphs we call generalized tower graphs. We show that the embeddings of these graphs satisfy certain technical assumptions, in particular, the rigidity assumption of Berggren-Nicoletti-Russkikh. As a result, we confirm the convergence of the gradients of the height function fluctuations of these graphs to those of the Gaussian free field.
From finding a spanning subgraph $H$ to an $H$-factor
A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural following up problem would be to seek an $H$-factor, which a spanning set of vertex-disjoint copies of $H$. In this short note, we present a method of obtaining an upper bound on the minimum degree threshold for an $H$-factor from one for finding a spanning copy of $H$.
As an application, we proved that, for all $\varepsilon>0$ and $\ell$ sufficiently large, any oriented graph $G$ on $\ell m$ vertices with minimum semi-degree $δ^0(G) \ge (3/8+ \varepsilon) k \ell$ contains a $C_\ell$-factor, where $C_\ell$ is an arbitrary orientation of a cycle on $\ell$ vertices. This improves a result of Wang, Yan and Zhang.
Perfect Divisibility and Coloring of Some Bull-Free Graphs
A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges, a {\em fork } is a graph obtained from $K_{1,3}$ by subdividing an edge once, and an {\em odd torch} is a graph obtained from an odd hole by adding an edge $xy$ such that $x$ is non-adjacent to any vertex on the odd hole and the set of neighbors of $y$ on the odd hole is a stable set.
Chudnovsky and Sivaraman [J. Graph Theory 90 (2019) 54-60] proved that every (odd hole, bull)-free graph and every ($P_5$, bull)-free graph are perfectly divisible. Karthick {\em et al.} [The Electron. J. of Combin. 29 (2022) P3.19.] proved that every (fork, bull)-free graph is perfectly divisible. Chen and Xu [Discrete Appl. Math. 372 (2025) 298-307.] proved that every ($P_7,C_5$, bull)-free graph is perfectly divisible. Let $H\in$\{\{odd~torch\}, $\{P_8,C_5\}\}$. In this paper, we prove that every ($H$, bull)-free graph is perfectly divisible. We also prove that a ($P_6$, bull)-free graph is perfectly divisible if and only if it contains no Mycielski-Grötzsch graph as an induced subgraph. As corollaries, these graphs are $\binom{ω+1}{2}$-colorable. Notice that every odd torch contains an odd hole, an induced $P_5$, and an induced fork. Therefore, our results generalize their findings. Moreover, we prove that every ($P_6$, bull)-free graph $G$ satisfies $χ(G)\leqω(G)^7$.
Pair state transfer in tensor product and double cover
Quantum state transfer, first introduced by Bose in 2003, is an important physical phenomenon in quantum networks, which plays a vital role in quantum communication and quantum computing. In 2004, Christandl et al. proposed the concept of perfect state transfer on graphs by modeling the quantum network using graphs, and unveiled the feasibility of applying graph theory to quantum state transfer. In 2018, Chen and Godsil proposed the definition of Laplacian perfect pair state transfer on graphs, which is a brilliant generalization of perfect state transfer. In this paper, we investigate the existence of Laplacian perfect pair state transfer in tensor product and double cover of two regular graphs, respectively, and reveal fundamental connections between perfect state transfer and Laplacian perfect pair state transfer. We give necessary and sufficient conditions for the tensor product of two regular graphs to admit Laplacian perfect pair state transfer, where one of the two regular graphs admits perfect state transfer or Laplacian perfect pair state transfer. Additionally, we characterize the existence of Laplacian perfect pair state transfer in the double cover of two regular graphs. By our results, a variety of families of graphs admitting Laplacian perfect pair state transfer can be constructed.
Direct Paths in the Temporal Hypercube
We consider the $n$-dimensional random temporal hypercube, i.e., the $n$-dimensional hypercube graph with its edges endowed with i.i.d. continuous random weights. We say that a vertex $w$ is accessible from another vertex $v$ if and only if there is a path from $v$ to $w$ with increasing edge weights. We study accessible "direct" paths from a fixed vertex to its antipodal point and show that as $n \to \infty$, the number of such paths converges in distribution to a mixed Poisson law with mixture given by the product of two independent exponentials with rate $1$. Our proof makes use of the Chen-Stein method, coupling arguments, as well as combinatorial arguments which show that typical pairs of accessible paths have small overlap.
Extending total colorings in planar graphs
We initiate the study of total-coloring extensions, and focus our attention on planar graphs, asking: ``When can a total-$k$-coloring of some subgraph $H$ of a planar graph $G$ be extended to a total-$k$-coloring of $G$?'' We prove that if $H$ is a matching, then any total-$(Δ+3)$-coloring of $H$ in $G$ extends to $G$ provided $Δ\geq 28$; this number of colors is best-possible without introducing a distance condition on $H$. We also prove that if $H$ is a set of distance-3 cliques then any total-$(Δ+1)$-coloring of $H$ extends to $G$ provided $Δ\geq 27$; this distance condition cannot be lowered.
Tight eigenvalue bound on the traveling salesman problem
A lower bound on the solution to the traveling salesman problem is provided, which is expressed in terms of eigenvalues related to the distance matrix for the problem. This bound has many interesting properties such as transforming appropriately under affine distance transformations and is notably tight for various families of traveling salesman problems with arbitrarily many cities. It is also computed for some real world traveling salesman problems. The eigenvalues in the bound are further related to the Schoenberg criterion from Euclidean geometry. Graph theoretic applications to the Hamiltonian cycle and path problems are given by the fact that the new bound entails necessary graph eigenvalue conditions for a graph to be Hamiltonian or traceable. Various non-trivial families of Cayley graphs saturate these Hamiltonicity conditions, thus in a sense providing almost counterexamples to the famous conjecture that all Cayley graphs are Hamiltonian.
Exact Lagrangian fillings of twist-spun torus links
We construct exact Lagrangian fillings of Legendrian torus links $Λ(k, n-k)$ that are fixed by a Legendrian loop that acts by $2π\ell/n$ rotation. Using these rotationally symmetric fillings, we produce fillings of the corresponding Legendrian twist-spun tori. Our construction is combinatorial in nature, relating symmetric weakly separated collections and plabic graphs to symmetric Legendrian weaves via the T-shift procedure of Casals, Le, Sherman-Bennett, and Weng. The main technical ingredient in this process is a necessary and sufficient condition for the existence of maximal weakly separated collections of $k$-element subsets of $\{1, \dots, n\}$ that are fixed by addition of $\ell$ modulo $n$.
CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs (Brief version)
This is the third paper of the CayleyPy project applying artificial intelligence to problems in group theory. We announce the first public release of CayleyPy, an open source Python library for computations with Cayley and Schreier graphs. Compared with systems such as GAP and Sage, CayleyPy handles much larger graphs and performs several orders of magnitude faster.
Using CayleyPy we obtained about 200 new conjectures on Cayley and Schreier graphs, focused on diameters and growth. For many Cayley graphs of symmetric groups Sn we observe quasi polynomial diameter formulas: a small set of quadratic or linear polynomials indexed by n mod s. We conjecture that this is a general phenomenon, giving efficient diameter computation despite the problem being NP hard. We propose a refinement of the Babai type conjecture on diameters of Sn: n^2/2 + 4n upper bounds in the undirected case, compared to previous O(n^2) bounds. We also provide explicit generator families, related to involutions in a square with whiskers pattern, conjectured to maximize the diameter; search confirms this for all n up to 15. We further conjecture an answer to a question posed by V M Glushkov in 1968 on directed Cayley graphs generated by a cyclic shift and a transposition.
For nilpotent groups we conjecture an improvement of J S Ellenberg's results on upper unitriangular matrices over Z/pZ, showing linear dependence of diameter on p. Moreover.
Some conjectures are LLM friendly, naturally stated as sorting problems verifiable by algorithms or Python code. To benchmark path finding we created more than 10 Kaggle datasets. CayleyPy works with arbitrary permutation or matrix groups and includes over 100 predefined generators. Our growth computation code outperforms GAP and Sage up to 1000 times in speed and size.
Infinitely many groups exhibiting intermediate growth in maximal sum-free sets
Given an Abelian groups $G$, denote $μ(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne \mathbb{Z}_2^k$ have exponentially fewer maximal sum-free sets than $\mathbb{Z}_2^k$, i.e. $f_{\max}(G) \leq 2^{(1/2-c)μ(G)}$, where $c > 10^{-64}$.
We construct an infinite family of Abelian groups $G$ with intermediate growth in the number of maximal sum-free sets, i.e., with $
2^{(\frac{1}{2}+c)μ(G)}\leq f_{\max}(G) \leq 3^{(\frac{1}{3}-c)μ(G)}
$, where $c=10^{-4}$. This disproves a conjecture of Liu and Sharifzadeh and also answers a question of Hassler and Treglown in the negative.
Furthermore, we determine for every even-order group $G$, the number of maximal distinct sum-free sets (where a distinct sum is $a+b= c$ with distinct $a,b,c$): it is $ 2^{(1/2+o(1))μ(G)}$
with the only exception being $G=\mathbb{Z}_2^k \oplus \mathbb{Z}_3$, when this function is $3^{(1/3+o(1))μ(G)}$, refuting a conjecture of Hassler and Treglown.
Our proofs rely on a container theorem due to Green and Ruzsa. Other key ingredient is a sharp upper bound we establish on the number of maximal independent sets in graphs with given matching number, which interpolates between the classical results of Moon and Moser, and Hujter and Tuza. A special case of our bound implies that every $n$-vertex graph with a perfect matching has at most $2^{n/2}$ maximal independent sets, resolving another conjecture of Hassler and Treglown.
Extremal Bounds on the Properties of Sigma and Albertson Indices for Non-Decreasing Degree Sequences
In this paper, we establish bounds on the topological index -- the Sigma index -- focusing on analyzing the upper bound of its maximum value, which is known as $σ_{\max}(\mathcal{S}) = \max \{σ(\mathscr{G}) \mid \mathscr{G} \in \mathcal{S}\}$, where $\mathcal{S}$ is a class of graphs. We establish precise lower and upper bounds for the Sigma index by leveraging degree sequences $\mathscr{D} = (d_1, d_2, \dots, d_n)$, $\mathscr{R} = (t_1, t_2, \dots, t_m)$, and $\mathscr{A} = (a_1, a_2, \dots, a_r)$.
The minimum bound for the Albertson index related to the Sigma index bounds incorporates terms such as $\mathrm{irr}(T)$ and $\left\lfloor \frac{n-2}{a_r - t_m} \right\rfloor $. These results, rooted in extremal graph theory, enhance the understanding of topological indices in molecular and network analysis.
Bounding the Eviction Number of a Graph in Terms of its Independence Number
An eternal dominating family of graph $G$ in the eviction game is a collection $\mathcal{D}_{k}=\{D_{1},...,D_{l}\}$ of dominating sets of $G$ such that (a) $|D_{i}|=|D_{j}|$ for all $i,j\in\{1,2,...,l\}$, and (b) for any $i\in \{1,2,...,l\}$ and any $v\in D_{i}$, either all neighbours of $v$ belong to $D_{i}$, or there are a neighbour $w$ of $v$ not in $D_{i}$ and an integer $j\in\{1,2,...,l\}\setminus\{i\}$ such that $D_{i}\cup\{w\}\setminus \{v\}=D_{j}$. The eviction number of $G$, denoted by $e^{\infty}(G)$, is the smallest cardinality of the sets in such an eternal dominating family.
We compare $e^{\infty}$ to the independence number $α$. We show that the ratio $α/e^{\infty}$ is unbounded and construct an infinite class of connected graphs for which $e^{\infty}/α\approx 4/3$. As our main result, we use Ramsey numbers to show that for any integer $k\geq1$, there exists a function $f(k)$ such that any graph with independence number $k$ has eviction number at most $f(k)$.
An Inductive Proof that Lights Out Configurations are Invertible
We give an elementary inductive proof of a classical result for the \emph{Lights Out problem} on graphs: from any configuration of vertices, one can reach the complementary configuration by a sequence of moves, where a move consists of toggling a vertex and its neighbors. Unlike the usual linear-algebraic approach over $\mathbb{F}_2$, our argument is purely combinatorial.
Generalized DP-colorings of digraphs
In this paper we consider the following three coloring concepts for digraphs. First of all, the generalized coloring concept, in which the same colored vertices of a digraph induce a subdigraph that satisfies a given digraph property. Second, the concept of variable degeneracy, introduced for graphs by Borodin, Kostochka and Toft in 2000; this allows to give a common generalization of the point partition number and the list dichromatic number. Finally, the DP-coloring concept as introduced for graphs by Dvořák and Postle in 2018, in which a list assignment of a graph is replaced by a cover. Combining these three coloring concepts leads to generalizations of several classical coloring results for graphs and digraphs, including the theorems of Brooks, of Gallai, of Erdős, Rubin, and Taylor, and of Bernshteyn, Kostochka, and Pron for graphs, and the corresponding theorems for digraphs due to Harutyunyan and Mohar. Our main result combines the DP-coloring and variable degeneracy concepts for digraphs.
Edge version of the inducibility via the entropy method
The inducibility of a graph $H$ is about the maximum number of induced copies of $H$ in a graph on $n$ vertices. We consider its edge version, that is, the maximum number of induced copies of $H$ in a graph with $m$ edges. Let $c(G,H)$ be the number of induced copies of $H$ in $G$ and $ρ(H,m) = \max \{c(G,H) \mid |E(G)| = m\}$. For any graph $H$, we prove that $ρ(H,m) = Θ(m^{α_f(H)})$ where $α_f(H)$ is the fractional independence number of $H$. Therefore, we now focus on the constant factor in front of $m^{α_f(H)}$. In this paper, we give some results of $ρ(H,m)$ when $H$ is a cycle or path. We conjecture that for any cycle $C_k$ with $k \ge 5$, $ρ(C_k,m)= (1+o(1))\left( m/k\right)^{k/2}$ and the bound achieves by the blow up of $C_k$. For even cycles, we establish an upper bound with an extra constant factor. For odd cycles, we can only establish an upper bound with an extra factor depending on $k$. We prove that $ρ(P_{2l},m) \le \frac{m^l}{2(l-1)^{l-1}}$ and $ρ(P_{2l+1},m) \le \frac{m^{l+1}}{4l^l}$, where $l \ge 2$. We also conjecture the asymptotic value of $ρ(P_k, m)$. The entropy method is mainly used to prove our results.
Incidence theorems for multivariate polynomials over finite fields
We prove several bounds on the number of incidences between two sets of multivariate polynomials of bounded degree over finite fields. From these results, we deduce bounds on incidences between points and multivariate polynomials, extending and strengthening a recent bound of Tamo for points and univariate polynomials. Our bounds are asymptotically tight for a wide range of parameters.
To prove these results, we establish a novel connection between the incidence problem and a naturally defined Cayley color graph, in which the weight of colored edges faithfully reflects the number of incidences. This motivates us to prove an expander mixing lemma for general abelian Cayley color graphs, which generalizes the classic mixing lemma of Alon and Chung, and controls the total weight of colored edges crossing two vertex subsets via eigenvalues.
Oriented trees in digraphs with large girth
The girth of a graph $G$ is the length of a shortest cycle of $G$. Jiang (JCT-B, 2001) showed that every graph $G$ with girth at least $2\ell+1$ and minimum degree at least $k/\ell$ contains every tree $T$ with $k$ edges whose maximum degree does not exceed the minimum degree of $G$. Let $δ^0(D)$ be the minimum semidegree of a digraph $D$ and $Δ(D)$ be the maximum degree of $D$. In this paper, we establish a digraph version of Jiang's result, stating that every oriented graph $D$ of girth at least $2\ell+1$ with $δ^0(D)\ge \max\{k/\ell,Δ(T)\}$ contains every oriented tree with $k$ edges, that answers a question raised by Stein and Trujillo-Negrete in affirmative.
Triangle-free quantum graphs
We introduce notions of being "triangle-free" and "strongly triangle-free" for operator systems in M_n(C) considered as quantum graphs. Several examples and non-examples are discussed. We provide a complete characterization of strongly triangle-free operator systems.
Planar induced paths via a decomposition into non-crossing ordered graphs
In any graph, the maximum size of an induced path is bounded by the maximum size of a path. However, in the general case, one cannot find a converse bound, even up to an arbitrary function, as evidenced by the case of cliques. Galvin, Rival and Sands proved in 1982 that, when restricted to weakly sparse graphs, such a converse property actually holds.
In this paper, we consider the maximal function $f$ such that any planar graph (and in general, any graph of bounded genus) containing a path on $n$ vertices contains an induced path of size $f(n)$, and prove that $f(n) \in Θ\left(\frac{\log n}{\log \log n}\right)$ by providing a lower bound matching the upper bound obtained by Esperet, Lemoine and Maffray, up to a constant factor. We obtain these tight bounds by analyzing graphs ordered along a Hamiltonian path that admit an edge partition into a bounded number of sets without crossing edges. In particular, we prove that when such an ordered graph can be partitioned into $2k$ sets of non-crossing edges, then it contains an induced path of size $Ω_k\left(\left(\frac{\log n}{\log \log n}\right)^{1/k} \right)$ and provide almost matching upper bounds.
Polynomial actions of rings of integers of global fields and quasirandomness of Paley-type graphs
The goal of this paper is to undertake an in-depth study of the phenomenon behind the Furstenberg--Sárközy theorem, which, in its modern form due to Kamae and Mendès-France, states that if $E$ is a set of integers with positive density and $P$ is an intersective polynomial, then there are distinct elements $x, y \in E$ such that $x - y = P(n)$ for some some $n$.
In this paper, we identify an algebraic framework (rings of integers of global fields) for Furstenberg--Sárközy-type theorems. One of our main results establishes necessary and sufficient conditions for a polynomial to satisfy the Furstenberg--Sárközy theorem over the ring of integers of a global field, providing an extension of the result of Kamae and Mendès-France.
The Furstenberg--Sárközy phenomenon goes beyond infinite rings and has interesting additional aspects in finite rings. As an example, classical exponential sum estimates can be used to show that large subsets of finite fields contain the asymptotically ``correct'' number of pairs $(x,y)$ whose difference is a square. In previous work, the class of polynomials satisfying this strong form of the Furstenberg--Sárközy theorem over finite fields was classified. In the present paper, we establish asymptotic results characterizing sequences of finite principal ideal rings that produce ``correct'' statistics in the Furstenberg--Sárközy theorem and show that these families are much more general than finite fields.
As an application of our enhanced forms of the Furstenberg--Sárközy theorem over finite rings, we produce new families of examples of quasirandom graphs of algebraic origin. The production of these new examples hinges on a two-way connection between asymptotic total ergodicity -- the phenomenon responsible for enhanced versions of the Furstenberg--Sárközy theorem over finite fields and rings -- and quasirandomness.