graph
34489 papers tagged with this keyword
A construction of F-irregular graphs
For a fixed graph F, the F-degree of a vertex v in a host graph H is the number of subgraphs of H isomorphic to F that contain v, and H is F-irregular if its F-degrees are pairwise distinct. We show that every finite connected graph F on at least three vertices admits a finite connected F-irregular host. For noncomplete F, the proof builds the host from a threshold graph with one deleted edge; when the minimum degree is at least two, a small incidence gadget with distinct weighted column sums separates the remaining exceptional vertices. The construction also yields infinitely many pairwise non-isomorphic finite connected F-irregular hosts for every noncomplete F. The complete-pattern case follows from a theorem of Chartrand, Holbert, Oellermann and Swart. A Lean 4 formalization of Theorem 1.1 is described, taking the published complete-pattern theorem as its sole custom axiom.
Weighted isoperimetry implies percolation
Consider an infinite edge-weighted graph satisfying an isoperimetric inequality of the type $\|\partial A\|\geq C|A|^α$ for some $α,C>0$, where $\|\partial A\|$ denotes the weighted size of the edge boundary of $A$. We prove that, for $C$ large enough depending on $α$, if each edge is open independently with probability given by its weight, then any vertex is connected to infinity with positive probability. The result also holds under weaker isoperimetric assumptions and on finite graphs.
The proof brings a new perspective on the recent proof of the Benjamini--Schramm conjecture concerning the same problem with homogeneous weights. The crucial novelty in our proof is that, rather than simply counting cutsets, we introduce a new Peierls argument which takes into account internal and external connectivity costs in addition to the cost of the blocking surface.
We provide two applications for the above result. First, we show that every non-summable long-range percolation on $\mathbb{Z}^d$, $d\geq 2$, admits a percolating truncation, solving a conjecture of Sidoravicius, Surgailis and Vares and its generalization by Friedli and de Lima. Secondly, we show that there exists a universal constant $C < \infty$ such that $p_{\mathrm{c}} \leq C/Δ$ for every transitive graph of superlinear growth and vertex degree $Δ$, thus proving a conjecture of Easo and Hutchcroft.
Unbalanced distance-biregular graphs with girth deficiency two
Let $Γ=(V,E)$ be a distance-biregular graph with even diameter $d$ and girth $2d-2$. On the edge-set $E$ we define relations that form an association scheme; this is done by considering the linear span of the corresponding adjacency matrices, and, by means of intersection diagrams, we prove that this is an algebra. Furthermore, we describe all the irreducible representations of this algebra, and, by considering the multiplicities of the 2-dimensional ones, we show that there are no such distance-biregular graphs with $28\le d\le 46$ and $d\ge 52$.
Spectrum of Johnson graphs
Published in Discrete Mathematics 346.3 (2023), p. 113262
• View Publication
• BIB
In this paper we prove new bounds on the second eigenvalue of Johnson graphs. We then apply these bounds to obtain new results on the modularity of Johnson graphs and their random subgraphs, hamiltonicity of Johnson graphs and thresholds of the appearance of the hamilton cycles and giant components. Futhermore, we provide general bounds on vertex connectivity and the stability of the modularity for $(n, d, λ)$-graphs.
Modularity in planted partition model
Published in Comput Manag Sci 20, 34 (2023)
• View Publication
• BIB
We obtain tight bounds on the modularity of PPM graphs in the case of equally sized parts. Moreover, we provide a general method that can help in obtaining bounds for various other models.
Magnitude and motivic zeta functions of matroids
We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.
Local Clique Covers and Chromatic Number
The local clique cover number $lcc(G)$ is the minimum valency of an edge-clique cover of $G$. We prove the conjectured inequality $lcc(G)+χ(G)\le |V(G)|+1$ for every finite simple graph. The proof gives an independent set improvement of an endpoint-cover estimate and applies the resulting construction to an induced four-vertex path. We further prove that the cover can be chosen so that every nonuniversal vertex has valency at most $|V(G)|-χ(G)$. Consequently, every graph attaining equality has a universal vertex. The stronger statement follows by reducing a counterexample of minimum order to a prime double-critical graph and refining the induced path extension. We also show that an induced matching of size $m\ge2$ yields $lcc(G)+χ(G)\le |V(G)|+3-m$, which improves the general bound when $m\ge3$, and determine the restrictions imposed by equality on deletion of an induced $2K_2$.
Solvability of Semilinear Elliptic Equations on Infinite Graphs
We develop a constructive method for solving semilinear elliptic equations $Δu(x)=f(x,u(x))$ on locally finite, connected infinite graphs with layered structure. Using Eidelheit's theorem, we establish coupling criteria ensuring that arbitrary initial-layer data extend to global solutions for every $f$. We apply combinatorial criteria to prove solvability on leafless infinite trees, integer lattices, the triangular and hexagonal lattices, and a Cayley graph of the discrete Heisenberg group. We further establish solvability for a broad class of Cayley graphs of semidirect products $G\cong\mathbb Z\ltimes_θH$. In particular, $Δu=e^u$ has infinitely many solutions on $\mathbb Z^2$, but none of finite energy. We also extend the method to the bi-Laplacian under two-step coupling conditions, to the $p$-Laplacian under a unique-neighbor condition, and to magnetic Laplacians.
Maximal Hamiltonicity of realization graphs of degree sequences
We prove that the realization graph of every graphical degree sequence is maximally Hamiltonian: it is Hamilton-laceable when bipartite on more than one vertex, and Hamilton-connected otherwise. This answers Problem P59 of Mütze's survey of combinatorial Gray codes, and the Hamiltonicity question recorded as open by Barrus, in the strongest form either admits. The argument is an induction on the number of ground vertices, cutting the realization graph at a single ground vertex into fibers and the quotient they lie over. The proof is formalized in Lean 4 and checked by its kernel, with seven results cited from the literature and nothing else assumed.
Its engine is a classification. The realizable neighborhoods of a ground vertex form a shifted family -- one closed under replacing an element by a smaller one -- and the quotient is the Johnson graph of that family. Such a Johnson graph can fail to be Hamilton-connected, and we determine exactly when: the failures are one explicit family of examples, the Y-families, and each of them fails between a single pair of its members. A shifted family with a greatest member never fails, and those families are exactly the shifted matroids, where the conclusion already follows from the theorem of Naddef and Pulleyblank on the graphs of 0/1-polytopes. The obstruction lives entirely outside the matroid case, which is why it has not been met before.
Kalai's Conjecture for Tight Trees
Let $r \ge 2$ and $t \ge 1$. It is shown that if $T$ is an $r$-uniform tight tree with $t$ edges and
$H$ is a $T$-free $r$-uniform hypergraph, then
$|E(H)|\le (t-1)|\sh H|/r$, where $\sh H$ is the $(r-1)$-shadow
of $H$. \iffalse Equality holds only for $(n,t + r - 2,r)$-designs.\fi The bound is tight infinitely often, and establishes Kalai's Conjecture, whose $r=2$ case is the Erd\H os-Sós Conjecture.
The proof was
found by GPT-6 Astra, extending its method of proof for the Erd\H os-Sós conjecture to the hypergraph setting. It is noteworthy that previous proofs of special cases of the Erd\H os-Sós conjecture do not extend to give tights bounds in the hypergraph setting.
A strengthening of the Erd\H os-Sós conjecture due to the authors about tight lower bounds on the number of copies of a tree in a graph with average degree $d \ge t-1\ge 0$ remains open.
Chains and unique transitive orientations of prime graphs
We give a short, conceptual proof that prime graphs have at most two transitive orientations, a much-quoted result of Gallai. Our proof uses chains, introduced by Chudnovsky, Kim, Oum, and Seymour, which provide a transparent characterization of primality. Transitivity induces a forcing relation on edges; using chains, we show that any two edges of a prime graph are equivalent under this relation, and thus any transitive orientation is unique up to reversal.
On some k-fold generalizations of Lovász theta and their sandwich theorems
We study several $k$-fold generalizations of the Lovász theta function associated with the maximum $k$-colorable induced subgraph problem. The first is the Narasimhan--Manber parameter $\vartheta_k$. We prove that, for graphs whose adjacency matrix belongs to a homogeneous partially coherent algebra, this parameter is recovered by the theta number of the Cartesian product with the complete graph on $k$ vertices. This class includes distance-regular and $1$-walk-regular graphs, and thus our result generalizes a theorem by Sinjorgo and Sotirov (2022) for graphs that are vertex- and edge-transitive. We introduce a new parameter $\varphi_k$ obtained from orthonormal representations of graphs and show the inequality $\varphi_k \leq \vartheta_k$. For both parameters, we study the smallest $k$ for which the parameter is equal to the number of vertices; these saturation parameters yield lower bounds on the chromatic number. We determine which vertex-weighted versions of these parameters are gauges, and discuss a natural definition for the $k$-fold theta body of a graph. We conclude with open questions comparing $\vartheta_k$, $\varphi_k$, $\vartheta(G\square K_k)$, and related convexifications.
Resolution of a problem of Mohar on non-positive inertia
For a graph $G$ of order $n$, its positive, negative and non-positive inertia is the number of positive, negative and non-positive eigenvalues of its adjacency matrix $A(G)$, respectively. Mohar asked whether every graph with $k$ non-positive eigenvalues has order $O(k^2)$ as $k\to \infty$. Using NEPS, we construct a sequence of non-singular graphs with negative inertia $k$ and order $Ω(k^{\frac{7}{3}})$ as $k\to \infty$, thus resolving Mohar's problem. Our result also strongly refutes a recent conjecture of Akbari, Elphick, Kumar, Pragada, and Tang involving positive and negative inertia.
Multicolor Ramsey and list Ramsey numbers for star-like trees
For a graph \(H\), the \(k\)-color Ramsey number \(r(H;k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of \(K_N\) contains a monochromatic copy of \(H\). A \(k\)-list assignment has \(|L(e)|=k\) for every edge. The list Ramsey number \(r_\ell(H;k)\) is the least integer \(N\) for which there exists a \(k\)-list assignment on \(E(K_N)\) such that every coloring from the lists contains a monochromatic copy of \(H\). Let \(K_{1,n}\) be a star, \(S(n,m)\) the double star obtained by joining the centers of \(K_{1,n}\) and \(K_{1,m}\), and \(S_n^m\) the graph obtained from \(K_{1,n}\) by subdividing \(m\) edges once. Alon et al.\ conjectured that \(r_\ell(K_{1,n};k)=r(K_{1,n};k)\) for all \(k,n\ge1\). In this paper, we confirm their conjecture for all \(k\ge1\) and \(n\ge3\) by a unified direct proof. For even \(k\ge4\) and under explicit parameter conditions, we prove that \(r(S(n,m);k)=kn+m+2\) for even \(n\) and \(r(S_n^m;k)=k(n-1)+m+2\) for odd \(n\). For two colors, we establish a general list Ramsey lower bound and determine the common values of Ramsey and list Ramsey numbers for double and subdivided stars in explicit parameter ranges. These results close several gaps in the known bounds.
A proof of the maximum Laplacian energy conjecture for connected graphs via a sharp eigenvalue-sum bound
Let $S_k(G)$ denote the sum of the $k$ largest Laplacian eigenvalues of a connected graph $G$ of order $n$ and size $m$. Write $\mathrm{PA}_{n,ω}$ for the graph obtained from an $ω$-vertex clique by attaching $n-ω$ pendant vertices to one of its vertices, and set \[ M_{n,k}:=\binom{k+1}{2}+n-k-1, \] the number of edges of $\mathrm{PA}_{n,k+1}$. For $n/2<k\le n-2$, we prove the sharp bound \[ S_k(G)\le \frac{2k}{n}m+ \frac{2(n-k)}{n}M_{n,k}-(n-k-1), \] with equality attained by $\mathrm{PA}_{n,k+1}$. This bound is complementary to Brouwer's inequality and is strictly stronger when $m<M_{n,k}$. Combining our bound with Brouwer's inequality, we resolve and strengthen a conjecture of Vinagre, Del-Vecchio, Justo, and Trevisan: for every $n$, the pineapple $\mathrm{PA}_{n,1+\lfloor2n/3\rfloor}$ maximizes the Laplacian energy among all connected graphs of order $n$; moreover, for $n>4$, it is the unique maximizer.
Spread Methods for Induced Cycles
We develop a spread-based approach to finding induced cycles and apply it to two problems. First, we resolve the odd-hole gadget conjecture of Bradač, Draganić and Sudakov by constructing an $e^{O(k)}$-edge graph whose every $k$-edge-colouring contains a monochromatic induced odd cycle of length $O(\log k)$. As a consequence, for every $k\ge2$ and every sufficiently large odd $n$, \[ \widehat R_{\mathrm{ind}}(C_n;k)=e^{Θ(k)}n. \] The proof uses spread probability weights together with hypergraph containers. Second, we prove that for every sufficiently large fixed $d$, with high probability the largest hole in the random $d$-regular graph $G_{n,d}$ has order $Θ(n\log d/d)$, resolving a problem of Frieze. Although the two proofs use different mechanisms, both begin with a well-distributed auxiliary object and use it to control the extra edges that could destroy inducedness.
Generalizations and Applications of the Brown--Tufts Lemma
Brown and Tufts proved in 2014 the substitution formula for the domination polynomial under graph substitution (the lexicographic product), and used it to show that the closure of the domination roots is the whole complex plane. In this paper we undertake a systematic study of the extent to which this lemma extends to the most common domination variants. We first prove that the connected domination polynomial satisfies exactly the same substitution formula. We then show that the formula fails for both independent domination and total domination: for independent domination we give a counterexample and establish a corrected formula, and for total domination we exhibit a concrete counterexample. Finally, applying the substitution formula for the connected domination polynomial, we prove that the closure of the real connected domination roots is $(-\infty,0]$, and that the closure of the connected domination roots is the whole complex plane.
On the maximum number of triangles in tripartite graphs with no $4$-cycles between any two parts
Let $G$ be a $3$-partite graph with $k$ vertices in each part such that the bipartite graph induced by any two parts contains no cycle of length four. Fischer and Matoušek [J. Combin. Theory Ser. A, 2001] asked for the maximum number of triangles in such a graph. They obtained the lower bound $(1-o(1))k^{3/2}$ and the upper bound $k^{7/4}+O(k^{3/2})$. Coulter, Matthews and Timmons [J. Combin. Theory Ser. B, 2018] later constructed such graphs using planar polynomials over finite fields and improved the lower bound to $(1-o(1))k^{5/3}$. In this note, we use a new triple of planar polynomials and further improve the lower bound to $(1-o(1))k^{17/10}$.
Computing and Bounding the Number of Eulerian Orientations for Certain Classes of $4$-Regular Graphs
An Eulerian orientation of a $4$-regular undirected graph (simple or multigraph) $G=(V,E)$ with $n=|V|$ vertices is an assignment of directions to its edges such that every vertex $v \in V$ has the same indegree and outdegree. In the present article, we improve the bounds on the number of Eulerian orientations for certain classes of connected, loopless $4$-regular graphs. The previous bound is due to M. Las Vergnas (1983) and is exactly $9\cdot 2^{n-3}$, which is a sharp bound for a certain family of multigraphs with $n\geq 4$. Here, we show that the number of Eulerian orientations for all biconnected $4$-regular multigraphs is at most $2^n+2$, which is also sharp. We exhibit families of graphs that attain this maximum value. For simple graphs, we prove an upper bound of $\mathcal{O}(3^{n/2})$ in the biconnected case and $\mathcal{O}(6^{n/3})$ for the separable case. Additionally, we provide a divide-and-conquer algorithm that leverages structural properties to compute the exact number of Eulerian orientations for separable graphs without exhaustive enumeration. Finally, we analyze the effect of standard inductive construction operations, used to generate $4$-regular graphs from smaller ones, as shown by F.Bories et.al. (1983) for simple graphs and by G.Ding et.al. (2003) for multigraphs, on the number of Eulerian orientations.
Rainbow paths in directed graphs
An old problem in combinatorial group theory asks, given a group $Γ$ and a subset $S \subseteq Γ$, when does there exist an ordering $s_1, \cdots, s_k$ of the elements of $S$ such that the partial products $\prod_{i = 1}^j s_i$, $1 \leq j \leq k$, are all distinct. If such an ordering exists, we call $S$ rearrangeable. There have been many conjectures about rearrangeable subsets, the most general being that for every group, every subset not containing the identity element is rearrangeable. We prove an asymptotic version of this: For any Group $Γ$ and any subset $S \subseteq Γ$, there exists a rearrangeable set $S' \subseteq S$ such that $|S'| = |S| - o(|S|)$. To do this we build upon the work of Bucić, Frederickson, Müyesser, Pokrovskiy, and Yepremyan focusing on the following problem of independent interest in Graph Theory. If $G$ is a d-regular properly colored directed graph does there exist a rainbow path of length $d - 1$? We establish an asymptotic version of this, proving that $G$ contains a rainbow path of length $d - o(d)$. This solves two problems given by Bucić, Frederickson, et al. and proves the above result on rearrangeable subsets of groups by considering the Cayley graph of $Γ$ with (not necessarily generating) set $S$.