Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Erdős-Pósa property for induced packings of long $S$-cycles
The Erdős-Pósa theorem states that for every integer $k\geq1$, every graph contains either $k$ vertex-disjoint cycles or a set of $\mathcal{O}(k\log k)$ vertices meeting all cycles. This fundamental min-max duality has been extended to numerous settings, including long cycles, $S$-cycles, that is, cycles containing a vertex in a prescribed set $S$, and cycles satisfying various additional constraints. In contrast, much less is known when the packing itself is required to be induced, namely, when distinct cycles are vertex-disjoint and have no edges between them.
We prove that long $S$-cycles admit an induced version of the Erdős-Pósa-type duality. More precisely, we show that there exists a polynomial function $f(k,\ell)$ such that for all integers $k\geq1$ and $\ell\geq3$, every graph contains either an induced packing of $k$ $S$-cycles of length at least $\ell$ or a set of at most $f(k,\ell)$ vertices whose closed neighbourhood intersects all $S$-cycles of length at least $\ell$. The proof introduces a new ear-decomposition technique based on fragile ears and yields a polynomial-time algorithm for every fixed $\ell$.
Ramsey-type results for threshold graphs and beyond
A {\it threshold graph} is a graph that can be constructed from the one-vertex graph by repeatedly adding either a dominating vertex or an isolated vertex. Motivated by an induced Ramsey-type problem for this class, we define $r'_2(s)$ to be the minimum integer $n$ such that every $n$-vertex graph contains an induced threshold graph on $s$ vertices. We establish exponential upper and lower bounds for $r'_2(s)$ and determine its exact values for $s\in\{3,4,5,6\}$. To study this problem from an edge-coloring perspective, we use the notion of an orderable coloring, introduced by Richer [{\it J. Combin. Theory Ser. B}, 80(1) (2000), 172--177]. An edge-colored graph is {\it orderable} if its vertices can be ordered so that, for each vertex, all edges from it to later vertices have the same color. Equivalently, $r'_2(s)$ is the minimum $n$ such that every $2$-edge-coloring of $K_n$ contains an orderable $K_s$. We also determine the exact value of the unordered canonical Ramsey number $CR(s, 3)$ for all $s \ge 3$, where $CR(s,3)$ denotes the minimum integer $n$ such that every edge-coloring of $K_n$ contains either an orderable $K_s$ or a rainbow $K_3$. More generally, for graphs $G$ and $H$, we study $r'_2(G)$, the corresponding $2$-color Ramsey number for an orderable $G$, and $CR(G,H)$, where the alternative is a rainbow $H$. For complete bipartite graphs, we prove that for every fixed $s$, $r'_2(K_{s,t}) = CR(K_{s,t}, K_3)= \left(\frac{2^s}{s+1}+o(1)\right)t$ as $t\to\infty$. For $s\in \{2,3\}$, we further determine the exact values of these parameters for infinitely many $t$, using constructions arising from strongly regular graphs, Hadamard matrices and conference matrices.
Extremal problems for suspensions of even cycles
Given an integer $k\geq2$ and a graph $F$, the $k$-uniform suspension $\mathcal{S}^kF$ is obtained by adjoining a fixed set of $k-2$ new vertices to every edge of $F$. In this paper, we study two extremal problems for suspensions of even cycles.
Write $K^k_t$ for the $k$-uniform clique of order $t$. Let $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ and $\mathrm{ex}(n,K^k_t,\mathcal{S}^kC_{2\ell})$ denote the maximum numbers of edges and copies of $K^k_t$, respectively, in an $\mathcal{S}^kC_{2\ell}$-free $k$-uniform hypergraph on $n$ vertices. We prove that, for every $k\geq2$ and infinitely many $n$, \[\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)=\frac{n^{k-1/2}}{(k+1)!}+O(n^{k-1}).\] This extends a folklore result for $k=2$ and, as an immediate consequence, yields the asymptotics of $\mathrm{ex}(n,\mathcal{S}^kC_4)$ for infinitely many $n$, previously established by Mubayi (for all $n$).
Furthermore, for every $k\geq2$ and $\ell\in\{3,5\}$, we determine the order of magnitude \[\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})=Θ(n^{k-1+1/\ell}).\] This generalizes both the classical graph case $k=2$ and a previous result of Mukherjee for $k=\ell=3$.
The principal difficulty in both problems lies in constructing the lower bounds. Our construction for $\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)$ incorporates a novel block-packing structure, which yields substantially more copies of $K^k_{k+1}$ than previously known constructions. For $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ with $\ell\in\{3,5\}$, we establish a natural $k$-uniform version of Wenger graphs, addressing the subtleties involved in lifting extremal graph constructions to suspensions. We also give applications of our results to Turán problems for simplicial complexes.
On Conjugacy Classes of Derangements in Symmetric and Alternating Groups
In this article, we prove two conjectures of Burness and Fusari [Timothy Burness and Marco Fusari, On derangements in simple permutation groups, Forum Math. Sigma 13 (2025)] concerning the powers and products of conjugacy classes of derangements in the symmetric and alternating groups: (1) We show that there exist two conjugacy classes $C$ and $D$ of derangements in $S_n$ such that $S_n=C^2\cup CD$, and (2) We show that there exists a conjugacy class $C$ of derangements in $A_n$ such that $C^2=A_n$, whenever $n\equiv 3\;(\text{mod}\;4)$. In fact, our result concerning the second conjecture holds in a considerably more general setting, which also answers affirmatively a question posed by Bertram [Edward Bertram, Even permutations as a product of two conjugate cycles, J. Comb. Theory, Ser. A 12 (1972), 368-380] in a particular case. Moreover, we show that any conjugacy class $C$ of derangements in $S_n$ (resp. $A_n$) contains a pair of elements that generate $S_n$ or $A_n$ (resp. $A_n$), unless $C$ is the conjugacy class of fixed-point-free involutions.
Cyclic deletion rigidity and Macaulay shadows in the Tu--Deng problem
We determine all equality cases in the Tu--Deng bound $|S_{t,k}|\le 2^{k-1}$. If the $k$-bit cyclic word of $t$ has $R$ ones, $Z$ zeros, and cyclic one-gap lengths $g_1,\ldots,g_Z$, then equality holds if and only if $g_i\ge Z-1$ for every $i$. This resolves Conjecture~3.20 of Flori, Randriambololona, Cohen and Mesnager, and we also enumerate all equality parameters. For $R\ge Z$ we determine the sharp first stability gap and all extremal words, while for $R<Z$ we obtain an exact quantization of the deficit and an explicit run-sensitive lower bound. The proofs are structural: an explicit matrix conjugation identifies the auxiliary enumerators in the two recent complete proofs of the Tu--Deng conjecture. We then develop a rooted coarsening model for all coefficients, prove one-sided deletion rigidity and an exact Macaulay-flux identity, and derive a Macaulay--Möbius formula from the bounded simplex at the highest cyclic level.
An Explicit 82-Queen Covering of the 163 x 163 Board and Its Asymptotic Implication
The queen's graph $Q_n$ has the squares of the $n\times n$ chessboard as vertices, with adjacency defined by a common row, column, or diagonal. We give an explicit set of $82$ queens on $Q_{163}$. In centered coordinates, all queen coordinates are odd, every odd row and odd column is occupied exactly once, and the occupied rows, columns, and diagonals satisfy the conditions for a type A $1$-cover in the terminology of Ostergard and Weakley. A direct independent verification checks every one of the $163^2=26{,}569$ board squares and finds none uncovered. Hence $γ(Q_{163})\leq82$. The Finozhenok-Weakley lower bound $γ(Q_n)\geq\lceil n/2\rceil$, valid here, gives the matching inequality and therefore $γ(Q_{163})=82$. For this cover, the parameters defined by Ostergard and Weakley are $e=16$, $f=15$, and $u=24$; the complete difference- and sum-diagonal multisets are displayed in the paper. It consequently also supplies an explicit finite input to their amplification theorem for type A covers, giving $γ(Q_N)\leq(17/33)N+O(1)$. This last coefficient improves both the earlier type A coefficient $69/133$ and the subsequent general coefficient $101/195$ of Burger and Mynhardt. The coordinates and a complete standard-library Python verifier are included.
Domination versus edge domination in regular graphs of degree at least seven
Baste et al. (2020) conjectured that every regular graph of positive degree has domination number at most its edge domination number, the least size of a maximal matching. Combining published bounds settles the inequality for every degree at least nine. A reduction proves the inequality whenever one endpoint of each edge of a minimum maximal matching can be chosen to form a dominating set, and the Lovász Local Lemma shows such a choice exists for every degree at least seven, newly closing degrees seven and eight and leaving degrees three through six open. The reduction settles each open degree up to a bounded number of vertices, forty-eight for cubic graphs. At fifty vertices, however, the reduction meets an explicit cubic graph it cannot settle, though the inequality holds there too. The inequality cannot be tightened, since infinitely many cubic graphs have equal domination and edge domination numbers. The cubic case stays open, and even linear arguments from the local structure cannot close it. The middle degrees stay open beyond the graphs already settled.
New Records for the Hadamard Maximal Determinant Problem in Dimensions $51$, $107$, and $115$
We compute new lower bounds for determinants of $\{\pm 1\}$-matrices of orders $n=51$, $n=107$ and $n=115$, improving previous recorded bounds by $3.1\%$, $0.44\%$, and $1.68\%$, respectively. We provide the data necessary to construct these matrices.
Entropy power inequalities in compact groups
Suppose $X,Y$ are independent random variables with values in a compact abelian group $(G,+)$. We examine the following two entropy power-type inequalities: $h(X+Y)\geq \frac{1}{2}h(X)+\frac{1}{2}h(Y)$ and $h(X+Y)\geq \max\{h(X),h(Y)\}$, where the entropy $h(Z)$ of a $G$-valued random variable $Z$ is defined in terms of its density with respect to Haar measure on $G$. For groups that are either connected or finite with no nontrivial subgroups, we precisely characterize the cases of equality and establish explicit, quantitative stability estimates in terms of relative entropy for these two inequalities. The main tools are a generalization of an entropic inequality obtained by Green, Manners and Tao (2023) for discrete entropy, and a harmonic-analytic estimate for the chi-squared contraction coefficient in connected compact groups. As an application, we derive exponential convergence rates to the uniform distribution in relative entropy for random walks on connected compact abelian groups.
A Proof of the B-Free Graphs Conjecture
Let $\mathcal{B}$ be the class consisting of the six-vertex bipartite graphs that possess a perfect matching and their complements. It is proved that every $\mathcal{B}$-free graph $G$ satisfies $α(G)+ω(G)\ge |V(G)|-1$. This establishes Conjecture 3.1 of Litjens, Polak and Sivaraman (B-Free Graphs Conjecture). For a smallest counterexample, Hall-type exchange arguments show that two maximum stable sets, and likewise two maximum cliques, differ in at most two vertices. A core-corona matching lemma then forces $|α(G)-ω(G)|\le 2$. Double counting between suitably dense and sparse vertices reduces the problem to twenty-one binary feasibility systems on at most fourteen vertices. Their infeasibility is verified by two independent exact encodings, with a separate exhaustive validation of the forbidden-family constraints.
Polytopal bases for barycentric subdivisions
Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement.
We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.
On the directions occurring in lattice-line coverings of the integer plane
We consider families of lines that cover every point of the integer lattice $\mathbf{Z}^2$ in the plane, subject to
the constraint that no two lines of different direction in the family meet at a lattice point.
Restricting to \emph{lattice lines} (lines containing at least two, hence infinitely many,
lattice points, equivalently of rational direction), we show that the set of directions
occurring in such a covering can be made dense in the space of line directions. The construction
is a recursive splitting of $\mathbf{Z}^2$ into nested rank-2 sublattice cosets, each handed off to a
freshly chosen direction; the key technical point is a steering lemma showing that at every
stage of the recursion a new direction arbitrarily close to any prescribed target can still be
realized, via an elementary sieve bound.
Young-lattice diagonals and a doubly graded multiple-zeta decomposition of $e^γ$
An equivalent formulation of the Riemann hypothesis recently led to a partition expansion naturally indexed by diagonals of the Young lattice. Segovia isolated the hook families $(r,1^m)$ on these diagonals and computed their limiting contributions $ρ_r$, while observing that non-hook families provide a missing contribution.
We introduce a bivariate finite generating function that packages all Young shapes on every fixed-excess diagonal at once. For each fixed $r\geq1$, we obtain a diagonal generating polynomial $D_r(n;z)$ and prove \[
A_r(n)\sim C_r\,n\log\log n, \] where $C_r$ is the $(r-1)$st coefficient of an explicit convergent infinite product. Moreover, \[
C_r=\sum_{ν\vdash r-1} C_ν, \] giving a canonical decomposition over the partitions of the excess $r-1$. The one-part contribution is Segovia's hook constant $ρ_r$, while the remaining terms give all non-hook corrections simultaneously.
We then refine these constants by introducing coefficients $C_{r,d}$ that record simultaneously the Young-lattice excess $r-1$ and the number $d$ of non-unit rows. Row sums recover the fixed-excess constants $C_r$, while column sums recover the depth decomposition in an Abel-regularized multiple-zeta expansion of $e^γ$. More precisely, each partition $ν\vdash r-1$ is identified with an Abel-regularized multiple-zeta block of depth $\ell(ν)$. Thus the same array $(C_{r,d})$ organizes the decomposition simultaneously by Young-lattice excess and multiple-zeta depth. Our results concern the combinatorial and asymptotic structure of this decomposition, rather than the Riemann hypothesis itself.
A short proof of Oblakov's theorem
We give a short proof that for a given planar set of terminals $P$ there is at most one locally minimal tree with prescribed directions at $P$ (i.e. two locally minimal trees cannot coincide in $B_\varepsilon(P)$).
The new ingredient is a combinatorial result which says that a certain embedding of a bipartite cubic graph has the same numbers of balanced and unbalanced vertices.
Average-Radius List-Decodability of Random Linear Codes
We prove that for every prime power $q$ and every $p \in (0, 1-1/q)$, a random $\mathbb{F}_q$-linear code of rate $1 - h_q(p) - ε$ is $(p, C_{p,q}/ε)$-average-radius list-decodable with probability at least $1 - q^{-Ω(n)}$, i.e., for every center $y \in \mathbb{F}_q^n$, the $C_{p,q}/ε$ codewords closest to $y$ have average fractional Hamming distance at least $p$ from $y$. This extends a similar result for (standard) list-decoding due to Guruswami, Håstad, and Kopparty (2010) to the stronger average-radius guarantee, with the same $O(1/ε)$ list size. For average-radius list-decoding, such a result was previously known only for binary linear codes (Guruswami, Li, Mosheiff, Resch, Silas, and Wootters, 2021) and for general (non-linear) random codes over arbitrary alphabets (Elias, 1991).
An improved algebraic construction for Ramsey numbers
We provide an explicit algebraic construction showing that, uniformly for integers $3 \leq s \leq t$, as $t \to \infty$, \[
R( s,t ) \geq t^{(1-o(1)) \log s / \log(\log s + 1) }. \] For large fixed $s$, this improves the dependence on $s$ in the general off-diagonal construction of Alon and Pudlák. In particular, $R(33, t) \geq t^{2.1-o(1)}$, to our knowledge, the first explicit construction showing $R(s, t) \geq t^c$ for some fixed $s$ and some $c > 2$. In the diagonal case, it improves the leading constant in the exponent of the classical Frankl--Wilson bound from $1/4$ to $1$, while being almost as simple to describe.
B-coloring of grid graphs
A B-coloring of a graph $G$ is a proper edge-coloring in which every $4$-cycle is rainbow. Let $q_B(G)$ be the minimum number of colors in such a coloring. Gyárfás and Sárközy (2023) determine $q_B(G)$ when $G=P_m\square P_n$ is a rectangular grid. In this paper, we completely determine $q_B(G)$ for cylindrical and torus grid graphs $G$. For a torus grid $G=C_m\square C_n$, where $m,n\ge3$ are integers, we prove that $q_B(G)=4=Δ(G)$ if both $m$ and $n$ are even and $G\not\cong C_4\square C_{4k+2}$ for any integer $k\ge1$, and that $q_B(G)=5=Δ(G)+1$ if at least one of $m,n$ is odd or $G\cong C_4\square C_{4k+2}$ for some integer $k\ge1$. For a cylindrical grid $G=C_s\square P_m$, $q_B(G)$ also depends on the parity of $s$ and the length of $P_m$. For integers $m\ge2$ and $n\ge2$, we have $q_B(C_{2n}\square P_m)=4$. For integers $m\ge2$ and $n\ge1$, we have $q_B(C_{2n+1}\square P_m)=4$ if $2\le m\le n$, whereas $q_B(C_{2n+1}\square P_m)=5$ if $m\ge n+1$. In higher dimensions, we discuss the B-coloring of discrete torus and $\ell$-cylindrical grid, obtaining some exact results and certain bounds.
Chouinard's Conjecture for Graphical t-Designs
A $t$-wise balanced design on the edge set of a complete graph is graphical if its block multiset is invariant under the induced action of the symmetric group on the vertices. Chouinard conjectured that, for each fixed index $λ$, there are only finitely many nontrivial simple graphical $t$-wise balanced designs with $t>1$. We prove the conjecture for $t$-designs, which are the $t$-wise balanced designs whose blocks all have the same size. Our theorem does not require simplicity, and we bound all parameters of the designs by explicit polynomials in $λ$.
A Sharp Matching-Number Threshold for Spectral-Walk Determination of Trees
The spectral characterization of graphs is a central problem in spectral graph theory. In this paper we study when a tree is determined, among trees, by its generalized spectrum. We use the equivalent formulation given by the adjacency spectrum together with the total-walk sequence $W_k(G)=\mathbf 1^{\mathsf T}A(G)^k\mathbf 1$. We determine the exact matching-number threshold for this tree-level reconstruction problem. If $T$ and $T'$ are trees with matching number at most 4 and have the same adjacency spectrum and the same total-walk sequence, then $T\cong T'$. Moreover, in this range it is enough to require equality of $W_k$ for $3\le k\le8$. The bound is sharp: for every positive integer $m$ we construct a pair of non-isomorphic trees with matching number 5 having the same adjacency spectrum and identical total-walk sequences. The proof of the positive result is based on a finite-core reduction and an algebraic reconstruction of the possible pendant attachments.
Combinatorial explanation of the weighted Kirchhoff index of graphs
Let $G$ be a connected graph with vertex set $V(G)=\{v_1,v_2,\ldots,v_n\}$, and let $ω:V(G)\to \mathbb R^+$ be a positive vertex-weight function satisfying $ω(v_i)=x_i$ for each $v_i \in V(G)$. The weighted Kirchhoff index of $G$ is defined by $K(G;x_1,x_2,\ldots,x_n)=\sum_{1\le i<j\le n}x_i x_j r_G(v_i,v_j)$, where $r_G(v_i,v_j)$ denotes the resistance distance between $v_i$ and $v_j$. In this paper, we give a combinatorial interpretation of the weighted Kirchhoff index of an arbitrary connected graph. More precisely, we express $K(G;x_1,x_2,\ldots,x_n)$ in terms of the sums of weights of matchings in an appropriately weighted subdivision graph of $G$, and in the subgraphs obtained from this weighted subdivision graph by deleting the subdivision graphs corresponding to \(2\)-regular subgraphs of $G$. This gives an affirmative answer to a question posed by Li, Li and Yan [Discrete Math. 345 (2022) 113109] concerning a combinatorial explanation of the weighted Kirchhoff index of a general graph by using matchings in weighted subdivision graphs and their subgraphs. As special cases, our formula recovers the known formulas for the weighted Kirchhoff index of trees and unicyclic graphs, as well as the known formula for the ordinary Kirchhoff index of an arbitrary connected graph.