graph
35436 papers tagged with this keyword
Upper tail large deviations of regular subgraph counts in sparse random regular graphs
For a $Δ$-regular connected graph $H$ we obtain the upper tail large deviations speed and rate function for the number of copies of $H$ in $\mathbb{G}_n^d$, a random $d$-regular graph on $n$ vertices, in the regime $np^{Δ/2} \gg (\log n)^{1/(v_H-2)}$ and $p \ll 1$, where $p:=d/n$ and $v_H$ is the number of vertices, and also identify the typical structure of $\mathbb{G}_n^d$ conditioned on this upper tail event. For $Δ\geq 3$, the speed and the rate function are same with those in the Erdős-Rényi setting. In contrast, for $Δ=2$ (i.e.~in case of cycles), due to the degree constraint in $\mathbb{G}_n^d$, although speed remains the same the rate function turns out to be different. Moreover, conditioned on the upper tail event of cycle counts in $\mathbb{G}_n^d$, we show that the random graph contains a disjoint collection of clique and biclique like structures with probability approaching to one, a stark contrast compared to the Erdős-Rényi setting.
In the complementary regime, i.e.~for $1 \ll n^{v_H}p^{e_H} \ll (\log n)^{α^*_H/(α^*_H-1)}$, where $e_H$ is the number of edges in $H$, $α^*_H$ is the fractional independence number of $H$, and $H$ is a strictly balanced graph (and thus including the regular case), we show that the upper tail large deviations speed and rate function for the number of copies of $H$ match with those in the Erdős-Rényi setting. In this regime, we further show that almost all of the unlabeled copies of $H$ conditioned on the upper tail event are edge disjoint.
Conway's thrackle conjecture: a new upper bound of $\frac43n$
A thrackle is a drawing of a graph in the plane in which every pair of edges meets exactly once, either at a common endpoint or at a proper crossing. Conway conjectured that every thrackle has at most as many edges as vertices. We prove that every thrackle on $n\ge4$ vertices has at most $\left\lfloor4(n-1)/3\right\rfloor$ edges. The proof combines Pammer's computer-assisted verification of the conjecture for graphs on at most twelve vertices with a discharging argument in suitable plane and projective-plane embeddings.
The domination number of the 2-token graph of the complete bipartite graph
For a graph $G$, the $2$-token graph $F_2(G)$ has as vertices all $2$-subsets of $V(G)$, with two such subsets adjacent whenever their symmetric difference is an edge of $G$. In this paper, we determine the domination number of the $2$-token graph of the complete bipartite graph $K_{m,n}$, for all integers $2\le m\le n$. We show that it equals $\lceil m/2\rceil+n-1$, except when $m=3$, or when $m\ge5$ is odd and $n=m+1$; in these two exceptional situations it is one less. Our arguments rely on an explicit characterization of the dominating sets of the $2$-token graph of $K_{m,n}$.
Triple Quantum Schubert Calculus
We prove a triple quantum Pieri formula: the product of a quantum double Schubert polynomial $\widetilde{\mathfrak{S}}_u(x;y)$ by a quantum factorial elementary polynomial $\widetilde{E}_{p,k}(x;z)$ in a second set of variables $z$ is a sum over chains in the quantum Bruhat graph, indexed by a quantum analogue of Sottile's relation, whose coefficients are monomials in the quantum parameters times polynomials in the differences $y_i-z_j$ with nonnegative integer coefficients, and which is Graham-positive at $z=y$. At $y=z=0$ it is the quantum Pieri rule of Ciocan-Fontanine and Postnikov; at $z=y$ it is an equivariant quantum Pieri rule for the complete flag variety, indexed by chains in the quantum Bruhat graph rather than, as in the rule of Huang and Li, by the data of a reduction to classical cohomology, and proved directly. A doubled Pieri formula, positive in the same senses, treats multiplication by the quantization of a product of two elementary polynomials in the same variables, which is not the product of the quantizations: it is two iterated Pieri steps with the incompatible pairs of chains omitted. More generally, the triple quantum Schubert structure constants $c_{u,v}^{w,d}(y;z)$, the coefficients of $\widetilde{\mathfrak{S}}_u(x;y)\widetilde{\mathfrak{S}}_v(x;z)$ in the basis $\{\widetilde{\mathfrak{S}}_w(x;y)\}$, are polynomials in the $y_i-z_j$ with nonnegative integer coefficients; the proof of this appears as an appendix. We extend the Peterson-Woodward comparison formula and the quantum-to-classical reduction of Leung-Li and Huang-Li to the triple constants, and we describe and prove correct the algorithms of schubmult, which compute products of arbitrary quantum double Schubert polynomials well beyond the reach of previous methods.
Functions determining $(q+3)/2$ directions over the finite field with $q$ elements
Let $q=p^n$, where $p>2$ is prime. We prove that every $q$-set $U\subseteq\mathrm{AG}(2,q)$ determining exactly $(q+3)/2$ directions is affinely equivalent to the graph of $x^{(q+1)/2}$. For $n\ge2$, we also prove that a $q$-set determining at most $(q+p)/2$ directions is either an affine $\mathbb{F}_p$-linear set or affinely equivalent to this graph. The classification for $n=1$ is due to Lovász and Schrijver. For $n=2$, the classification and the stated stability result follow from results of Gács, Lovász, and Sz\H onyi and the direction theorems of Blokhuis, Ball, Brouwer, Storme, and Sz\H onyi, completed by Ball. These direction theorems establish affine $\mathbb{F}_p$-linearity for functions with fewer than $(q+3)/2$ determined directions. Our proof uses Rédei polynomials, results of Gács, Lovász, and Sz\H onyi on their coefficients, and an earlier polynomial comparison lemma of the author.
Water Transport on 3-Spiders: Unbounded Lengths of Shortest Optimal Strategies
Let $G$ be a finite simple graph. An averaging operation selects a nonempty connected vertex set and replaces the weights of its vertices by their arithmetic mean. For a nonnegative initial weight function $ω:V(G)\to\mathbb R_{\ge0}$ and a target vertex $x$, let $t(G,x,ω)$ denote the minimum number of averaging operations needed to attain the maximum reachable weight at $x$. Gollin et al.[1] proved, using the Axiom of Choice, that a finite optimal strategy exists for every finite graph, every nonnegative initial weight function and every target vertex; see Tao [2] for a simplified proof. We prove that the lengths of shortest optimal strategies on $3$-spiders have no uniform finite bound. In particular, these lengths cannot be bounded in terms of the maximum degree of the graph.
Prime Nullspace Matrices and Even Dominating Sets
A non-zero $m \times n$ (0, 1)-matrix $A$ is called a {\em nullspace matrix} if each entry $(i, j)$ of $A$ has an even number of $1's$ in the set of entries consisting of $(i, j)$ and its rectilinear neighbors. These matrices correspond to even dominating sets of $m \times n$ grid graphs. We study these matrices and consider those that cannot be constructed from smaller nullspace matrices.
An algebraic proof of 1-extension
We give a new proof that 1-extension preserves generic local rigidity of bar-joint frameworks in all dimensions. The proof does not use a special position argument, which makes the approach potentially useful for X-replacement in 3-space. Instead, the balancing conditions recently introduced by the first author use directed paths in the line graph, and by modifying the end of these paths, we transfer a self-stress on the 1-extended graph back to the original. Treating the new vertex as variable allows us to extract the balancing condition of the smaller graph as one coefficient of a homogeneous quadratic. A Lean 4 formalization of the main results accompanies the paper.
Zero Forcing on Maximal Outerplanar Graphs: Capacities and Phase Repair
We determine the zero-forcing number of maximal biconnected outerplanar graphs. When the weak dual is a path, the zero-forcing number and the induced path-covering number are both two. Otherwise, the branching faces determine a canonical core and a family of terminal strips. We prove that an optimal forcing process can be chosen in a normal form governed by explicit vertex and face capacities on the core. After fixing forests on the terminal strips, the zero-forcing number is expressed through an optimization over core-edge selections and the minimum number of root connections that must be removed to obtain an executable orientation. The path-covering number is obtained from the same capacity optimization without the repair cost. We characterize executable orientations by blocking-circuit equations and identify the two-path obstruction with a first cohomology class of a signed contact multigraph. Local replacements and a finite comparison of boundary recurrences establish the normal form for graphs of arbitrary size. A fifty-six-state recurrence constructs a minimum zero-forcing set and a complete forcing chronology in linear time from indexed triangle adjacency. We also obtain exact replacement results for rooted blocks and construct infinite families in which the zero-forcing number exceeds the path-covering number.
Zero Forcing, Support Varieties, and Boundary Complexes
Let a finite simple graph be given. We study symmetric matrices with this graph pattern that admit a null vector with prescribed exact support. Such a vector exists precisely when its support is a fort, meaning that no vertex outside the support has exactly one neighbor inside it. Over the complex numbers, we prove that the Zariski closure of each exact-support coefficient locus is irreducible and compute its codimension in terms of boundary vertices and a labeled forest on the connected components of the support. The corresponding forest deficiency also determines the generic restricted nullity. An incidence parametrization yields a prime decomposition of the reduced zero-forcing failure locus. For a prescribed common kernel, we describe the coefficient space through equilibrium stresses, exterior affine dependencies, and free coefficients. We then construct boundary complexes recording local solution values and equation residuals. Their gluing maps are defined over the universal coefficient ring and commute with arbitrary base change. By retaining the complete collection of support signatures associated with each seed set, we obtain a composition formula for the minimum zero-forcing number and an algorithm for its computation.
On the generation of the symmetric group by index relations of three prefix reversals
The cubic pancake graphs are Cayley graphs over the symmetric group Sn generated by three prefix reversals. There is the folllowing open problem: characterize all the sets of three prefix reversals that generate Sn. Blanco and Golubyatnikov give a complete solution of the problem when any of the two smallest or the two largest lengths but n are included in a triple of prefix reversals. According to their conjectures, we give some conditions implying a triple of prefix reversals does not generate Sn. Moreover, Using the symmetric groups that can already be generated by three prefix reversals, we can derive some recurrence conditions.
Spectral and edge conditions for negative Hamiltonian cycles in unbalanced signed graphs
Spectral conditions for Hamiltonian cycles are a fundamental subject in extremal spectral graph theory. For simple unsigned graphs, Fiedler and Nikiforov [Linear Algebra Appl., 432 (2010), 2170-2173] pioneered this direction, and Li and Ning [Linear Multilinear Algebra, 64 (2016), 2252-2269] later extended these results by introducing minimum degree parameters. In this paper, we study the spectral conditions for the existence of a negative Hamiltonian cycle in unbalanced signed graphs of order n > 8. We first determine the maximum index among all n-vertex unbalanced signed graphs containing no negative Hamiltonian cycle, and characterize the corresponding extremal graphs up to switching isomorphism. Furthermore, we establish an upper bound on the number of edges in unbalanced signed graphs of order n >= 7 with frustration index one, and classify all extremal graphs achieving this bound.
On the maximal index of $C_4^-$-free unbalanced signed graphs of prescribed size
The extremal problem of determining the graphs with maximum spectral radius among all graphs with a prescribed number of edges was resolved by Rowlinson [Linear Algebra Appl. 110 (1988) 43--53]. A signed graph $Γ=(G,σ)$ is called $C_k^-$-free if it contains no negative $k$-cycle as a signed subgraph. The index of a signed graph is defined as the largest eigenvalue of its adjacency matrix. This paper addresses the maximization of the index of unbalanced signed graphs. For signed graphs of a prescribed order, Wang and Lin [Discrete Appl. Math. 372 (2025) 164--172] determined the maximum index of $C_4^{-}$-free unbalanced signed graphs. Subsequently, Wang, Peng and Hou [Discrete Math. 349 (2026) 114871] characterized the unbalanced signed graphs of prescribed size with maximum index. This paper treats the edge spectral Turán-type problem for $C_4^-$-free unbalanced signed graphs. The all-positive signed graph with underlying graph $G$ is denoted by $(G,+)$. Evidently, $A((G,+))=A(G)$. In particular, $(H_{d,t},+)$ is the all-positive signed graph whose underlying graph is $H_{d,t}$, where $H_{d,0}=K_d$ and for $t>0$, $H_{d,t}$ is obtained from $K_d$ by adding a single vertex adjacent to exactly $t$ vertices of $K_d$. Let $m-3=\binom{d}{2}+t$ with $0\le t\le d-1$. Up to switching isomorphism and the addition of isolated vertices, the unique extremal unbalanced signed graph is obtained by attaching a negative triangle to a specified vertex of the all-positive signed graph $(H_{d,t},+)$.
The signless Laplacian spectral Turán problems for disjoint triangles
The classical Turán-type problem for graphs forbidding $k$ disjoint triangles has been resolved firstly by Erdős [Arch. Math. 13 (1962) 222-227] for graphs of sufficiently large order and improved by Moon [Canad. J. Math. 20 (1968) 95-102], who established that the unique edge extremal graph is $K_{k-1}\vee T_2(n-k+1)$ for $n> \frac{19k-11}{2}$. In this paper, we determine the maximum signless Laplacian spectral radius among all $kK_3$-free graphs of order $n$ and characterize the unique signless Laplacian spectral extremal graph $K_{k-1}\vee T_{2}(n-k+1)$ for all $k\ge 2$ and sufficiently large $n$.
Weighted odd-cycle transversals and fractional colorings of planar graphs
We bound fractional chromatic numbers by establishing a connection with low-weight odd-cycle transversals. Let $\ell\geq 3$ be an integer and let $G$ be a graph of odd girth at least $\ell$ whose odd-cycle covering polyhedron is integral. For every nonnegative weight vector $w=(w_v)_{v\in V(G)}\in \mathbb{R}_{\geq 0}^{V(G)}$, we obtain a set $Z\subseteq V(G)$ such that $G-Z$ is bipartite and $w(Z)\leq\frac{mad(G)}{2\ell}w(V(G))$. Here, $w(S)=\sum_{v\in S}w_v$ for any $S\subseteq V(G)$, and $mad(G)$ denotes the maximum average degree of $G$. Consequently, if $mad(G)<2\ell$, then $G$ has fractional chromatic number at most $\frac{4\ell}{2\ell-mad(G)}$.
As applications, we prove that, for every positive integer $k$, every $n$-vertex planar graph of girth at least $2k+3$ has fractional chromatic number at most $\frac{2k+1}{k}(1-\frac{1}{kn+1})$, establishing the girth version of Naserasr's fractional coloring conjecture with a strict inequality. For $k=1$, we furthermore prove that the upper bound $\frac{3n}{n+1}$ holds for every $n$-vertex triangle-free planar graph and this is attained for infinitely many values of $n$.
Aleshin graphs are expanders
We prove that the Aleshin level graphs are two-sided expanders. We establish linear diameter bounds for Belaterra and Aleshin graph families. At level $n$, the diameters of the Bellaterra and undirected Aleshin graphs are a $|V_n|=2^n$. This improves the quadratic diameter bounds of Malyshev and Pak to the correct order of growth. For the Aleshin graphs we obtain a normalized spectral gap of at least $1-2\sqrt2/3$ and an edge-expansion constant of at least $3-2\sqrt2$, thereby establishing a Malyshev--Pak's Conjecture with explicit constants. An exact calculation at level ten also proves that the undirected Aleshin graphs are not Ramanujan for any $n\geq10$.
NP-Hardness of Generalized-Turán Graph Modification Problems
For graphs $G, T$ and a graph-family $\mathcal{H}$, let $ex(G,T,\mathcal{H})$ denote the maximum possible number of copies of $T$ in an $\mathcal{H}$-free subgraph of $G$. Alon and Shikhelman conjectured that for every family of graphs $\mathcal{H}$ with $χ(H) > s$ for every $H \in \mathcal{H}$, it is NP-hard to compute $ex(G,K_s,\mathcal{H})$, and even to approximate it up to additive error $n^{s-δ}$ on $n$-vertex graphs, for any fixed $δ> 0$. The case $s=2$ was established in a breakthrough result of Alon, Shapira and Sudakov. We prove the Alon-Shikhelman conjecture for finite families $\mathcal{H}$. In particular, we obtain an elementary proof of the Alon-Shapira-Sudakov result when $\mathcal{H}$ is finite.
Logarithmic edge-length ratios for planar drawings of 2-trees
For a planar graph $G$ with at least one edge, let $ρ(G)$ be the infimum of the ratio of the longest to the shortest edge length over all planar straight-line drawings of $G$. We prove that every $n$-vertex $2$-tree $G$ satisfies $ρ(G)\le4+5\lfloor\log_2(2n-3)\rfloor$. This improves the known $O(\sqrt n)$ upper bound and, together with the lower bound of Blažej, Fiala and Liotta, shows that the maximum of $ρ(G)$ over $n$-vertex $2$-trees is $Θ(\log n)$. The proof adapts Biedl's recursive bar construction using nonintegral heights and applies a height-preserving straightening theorem.
The achromatic number of Paley graphs, Peisert graphs, and related Cayley graphs
The achromatic number of a graph $G$, denoted $χ_a (G)$, is the maximum number of colors in a proper vertex coloring of $G$. Generalizing a result of Maistrelli and Penman, we prove that for sufficiently large $q$, the achromatic number of the $k$-th power Paley graph is at least $\frac{q-1}{k} + 1$. This lower bound gives the correct order of magnitude in $q$, but determining the correct dependence on $k$ remains open for all $k \geq 3$. The achromatic number of Peisert graphs is shown to be $\frac{q+1}{2}$. These bounds are consequences of a general theorem involving Cayley graphs whose generating set is a union of cyclotomic classes. Using character sums and Weil's bound, we prove an upper bound that improves the standard trivial bound $\binom{ χ_a (G) }{2} \leq e(G)$. Finally, we consider random Cayley-sum graphs on an abelian group $Γ$ of order $n$, where elements are included in the generating set independently with probability $\frac{1}{2}$. We prove that the achromatic and pseudochromatic number of such a graph are both at most $\frac{(\sqrt{3}+o(1))n}{\sqrt{\log_2 n}}$ with high probability.
On decomposition thresholds for odd cycles
We determine the asymptotic minimum-degree threshold for decompositions into cycles of a fixed odd length. We prove that, for each odd integer $\ell\ge3$, every $\eps>0$ and sufficiently large $n$, every $n$-vertex $C_\ell$-divisible graph $G$ with minimum degree $δ(G)\ge (\ell/(2\ell-2)+\eps)n$ has a $C_\ell$-decomposition, where $C_{\ell}$ denotes the cycle of length $\ell$. This settles the remaining cases $\ell=5,7,\ldots,71$ and completes the determination of the thresholds for all odd cycles. Our main ingredient is a sharp fractional decomposition theorem for weighted triangles: for every real $a\ge 1$,every $n$-vertex graph $G$ with $δ(G)\ge \left(\frac12+\frac{1}{2(a+1)}\right)n$ admits a fractional decomposition into triangles with edge weights $a,1,1$.