math.CO ↗ arXiv
7121 papers in this category
Nearly permanental cospectral graphs
Let $G$ be a simple graph of order $n$ with adjacency matrix $A= (a_{ij})$. The \emph{determinant} and the \emph{permanen}t of the matrix $A$ are defined as \[\mathrm{det}A= \sum_{σ\in S_n}\mathrm{sgn}(σ) \prod_{i=1}^n a_{iσ(i)}\quad\text{and}\quad\mathrm{per}A= \sum_{σ\in S_n} \prod_{i=1}^n a_{iσ(i)},\]respectively. The polynomials $φ(G;x) =\mathrm{det}(xI-A(G))$ and $π(G;x) =\mathrm{per}(xI-A(G))$ are called the \emph{characteristic polynomial} and the \emph{permanental polynomial} of $G$, respectively. Two graphs are said to be \emph{nearly cospectral} with respect to the determinant (resp. permanent) if the difference of their characteristic (resp. permanental) polynomials is a constant. Lv et al. introduced the nearly cospectral graphs problem with respect to the determinant, and provided partial results in the case modulo 4. In this paper, we mainly prove that the corresponding results also hold for the nearly cospectral graphs problem with respect to the permanent. The determinant and permanent are the immanants corresponding to the irreducible characters $(1^n)$ and $(n)$ of the symmetric group $ S_n $, respectively. Here, the \emph{immanant} $d_λ(A)$ of $A$ is defined as \[d_λ(A) = \sum_{σ\in S_n} χ_λ(σ) \prod_{i=1}^n a_{iσ(i)},\] where $χ_λ$ is the irreducible character of $ S_n $ indexed by the partition $ λ$. The immanantal polynomial of $G$ associated with $ χ_λ$ is given by $ φ_λ(G;x)=d_λ(xI-A) $. In this paper, we also establish a similar result for nearly immanantal cospectral graphs in $\mathbb{F}_2[x]$ for all irreducible characters $χ_λ$.
The resonance graphs of coronoid systems and nanotubes
The resonance graph of a hexagonal system is connected, which shows that a perfect matching can be transformed into any other perfect matchings by a series of flips along hexagons. However, the resonance graph of a coronoid system (with holes) is not necessarily connected. Saldanha et al. (Discrete Comput. Geom. 14 (1995) 207-233) used homology and cohomology theory to obtain three versions of criteria for two tilings of a quadriculated region in the plane to be in the same connected component of the flip graph. Inspiblack by the combinatorial version, in this paper we use a purely graph-theoretical approach to give a criterion in terms of simple invariant\textcolor{black}{---flow} across cuts between holes/exterior face for two perfect matchings of a coronoid system $G$ to be in the same connected component of its resonance graph. As a corollary we obtain a criterion for the resonance graph of a coronoid system to be connected. We also discuss whether such \textcolor{black}{criteria} are applicable to nanotubes, and construct a nanotube whose resonance graph is connected, which disproves a conjecture proposed by Tratnik et al. (MATCH Commun. Math. Comput. Chem. 74 (2015) 175-186).
Codegree Thresholds for $λ$-Choosability of Graphs
Let $λ=\{k_1,\ldots,k_q\}$ be a partition, and let $|λ|=k_1+\cdots+k_q$. A $|λ|$-list assignment $L$ of a graph $G$ is a $λ$-assignment if its color set can be partitioned into $q$ disjoint sets $X_1,\ldots,X_q$ such that $|L(v)\cap X_i|=k_i$ for every vertex $v$ and every $i\in[q]$. This notion, introduced by Zhu [J. Combin. Theory Ser. B, 2020], puts ordinary coloring and list coloring in the same framework. A theorem of Alon [Random Structures Algorithms, 2000] states that every graph with minimum degree $d$ has choice number at least $(1/2-o(1))\log_2d$. Saxton and Thomason [Invent. Math., 2015] later used the hypergraph container method to replace $1/2$ by the sharp constant $1$. It is natural to ask whether a similar phenomenon holds for every fixed partition $λ$. Minimum degree alone is not sufficient: balanced complete bipartite graphs have arbitrarily large minimum degree but are always $\{1,1\}$-choosable. We show that the appropriate replacement is the minimum $q$-codegree, defined for $|V(G)|\geq q$ by $δ_q(G)=\min\{|N_G(S)|:S\subseteq V(G),\,|S|=q\}$.
More precisely, for every partition $λ$ there exists an integer $d$ such that every graph $G$ with $δ_q(G)\geq d$ is not $λ$-choosable. Let $f(λ)$ be the least such $d$. For every fixed $q$, we prove $f(λ)\leq2^{(2q+o(1))|λ|}$ as $|λ|\to\infty$, while $f(λ)\geq(q+1)^{-1}(1+1/q)^{|λ|}$ for every $λ$. For the partition $\{k,\ldots,k\}$ with $q$ equal parts, we determine the threshold asymptotically: $f(\{k,\ldots,k\})=ρ_q^{-(1+o(1))k}$ as $k\to\infty$, where $ρ_q$ is the unique $x\in(0,1)$ satisfying $x=(1-x)^q$. When $q=1$, our result implies $\operatorname{ch}(G)\geq(1-o(1))\log_2δ(G)$.
The canonical facets of multi-separator polytopes
We initiate a polyhedral study of the graph multi-separator problem proposed by Irmai et al. (2024) as an alternative to the lifted multicut problem for application to the task of image segmentation. Starting with an integer linear program (ILP) formulation and the multi-separator polytope spanned by its feasible solutions, we characterize in terms of efficiently-decidable, graph-theoretic conditions all facets induced by inequalities of the ILP. We proceed by strengthening these inequalities and describing additional facets of some multi-separator polytopes induced by the stronger inequalities. Specifically, we obtain a totally dual integral description of the multi-separator polytope for paths in the case where separation is considered for all vertex pairs. Finally, we relate the multi-separator polytope to the boolean quadric polytope, showing that facets induced by odd-cycle inequalities do not transfer generally, and to the lifted multicut polytope, showing that either polytope is a projection of a face of the other.
A Local Central Limit Theorem for Clique Counts in Sparse Random Graphs
Let $X_H$ denote the number of copies of a fixed graph $H$ in $G_{n, p}$. Gilmer and Kopparty conjectured that $X_H$ satisfies a local central limit theorem (LCLT) provided that $H$ is connected, $p \gg n^{-1/m(H)}$, and $n^2 (1-p) \gg 1$, where $m(H)$ is the maximum density.
Following the work of Berkowitz, Sah and Sawhney confirmed this conjecture for every constant $p$, leaving the regime where $p=o(1)$ open. In this regime, the only case addressed in the literature is when $H=K_3$, where, in a recent paper, Araújo and Mattos confirmed the conjecture for $p \in (4n^{-1/2}, 1/2)$. This, together with a general result of Röllin and Ross, essentially settles the conjecture for the triangle. We generalise these results by showing that an LCLT holds for $H = K_r$ (for any fixed $r \ge 3$) in the regime $n^{-1/m(H)}\ll p\leq 1/2$, essentially settling the conjecture for cliques.
Cubes in the Torus
For $q> p$, let $T(n,q,p)$ be the minimum number of translates of the cube \(\{0,1,\dots,p-1\}^n\) required to cover the $n$-dimensional torus $(\mathbb{Z}/q\mathbb{Z})^n$. We show that for each $q$ there exists a constant $1\le Λ_q \le 2$ such that $T(n,q,2)=(Λ_q + o(1))(q/2)^n$.
Five-Term and Higher Congruences Involving Arbitrary Sets and Short Intervals Modulo a Prime
We obtain asymptotic formulas for additive congruences
\[
\sum_{i=1}^r m_i x_i^{-s}\equiv λ\pmod p,
\]
where the \(m_i\) range over arbitrary subsets of \(\mathbb F_p^\ast\) and the \(x_i\) over shifted intervals. For five terms, in the balanced case of common cardinality \(N\), the asymptotic holds uniformly in \(λ\) whenever
\[
N>p^{14/29+\varepsilon},
\]
giving a genuine sub-square-root range. The main input is a centered fourth-moment estimate for the associated double exponential sums. The same method yields sub-square-root thresholds for every fixed \(r\ge 5\), including \(N>p^{8/17+\varepsilon}\) for six terms, with
\[
α_r=\frac13+\frac{4}{9\sqrt r}+O(r^{-1})
\]
as \(r\to\infty\).
Extremal graphs for disjoint union of stars and paths
Let $F$ be a graph. A graph $G$ is called $F$-free if $G$ does not contain $F$ as a subgraph. Let ${\rm EX}(n,F)$ denote the set of $F$-free graphs of order $n$ with the maximum edges. In this paper, we characterize the graphs in ${\rm EX}(n,F)$ for large $n$, where $F$ is the disjoint union of paths and stars. This generalizes a result in \cite{LLP}.
On two conjectures concerning special kinds of descents on permutations
In this paper, we prove the continued fraction conjecture posed by Han, Mao and Zeng for the generating function of permutations with respect to the number of descents of type $2$ and the number of cycles, thereby settling their reformulation of a conjecture originally due to Baril and Kirgizov. We further establish the symmetry of the bistatistic $(\des_2, \ear)$ over $\mathfrak{S}_n$ as conjectured by Han, Mao and Zeng and strengthen this result by exhibiting five equidistributed companions for $(\des_2, \ear)$. Here the statistic $\des_2$ denotes the number of descents of type $2$, and the statistic $\ear$ denotes the number of exclusive antirecord cycle peaks originally introduced by Sokal and Zeng.
New lower bounds on domination--packing ratios in connected subcubic and cubic graphs
For a graph \(G\), let \(γ(G)\) and \(ρ(G)\) denote its domination number and packing number, respectively. Let \(c_{\mathrm{sub}}\) and \(c_{\mathrm{cub}}\) denote the respective limsups of \(γ(G)/ρ(G)\) over connected subcubic and connected cubic graphs as \(ρ(G)\to\infty\). We prove \[
c_{\mathrm{sub}}\geq\frac{13}{6},
\qquad
c_{\mathrm{cub}}\geq\frac{17}{8}, \] by constructing two explicit binary branching families. The connected noncubic subcubic graphs \(\widehat B_t^\star\) satisfy \[
|V(\widehat B_t^\star)|=76\cdot2^t-12,\qquad
γ(\widehat B_t^\star)=26\cdot2^t-4,\qquad
ρ(\widehat B_t^\star)=12\cdot2^t-2, \] whereas the connected cubic graphs \(\widehat B_t^\bullet\) satisfy \[
|V(\widehat B_t^\bullet)|=108\cdot2^t-14,\qquad
γ(\widehat B_t^\bullet)=34\cdot2^t-4,\qquad
ρ(\widehat B_t^\bullet)=16\cdot2^t-2. \] The constructions use the same binary connector composition and closing lemma, with different connectors and initial assemblies. As a consequence, both families give unbounded additive violations of \(γ(G)\leq2ρ(G)+1\), disproving the proposed inequality even for connected cubic graphs.
A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results
For $m\geq 2$, let $c_p(m)$ be the all-dimensional best constant in
$$ \left\|\sum_{k=1}^m A_k\right\|_p \leq c_p(m)\left\|\sum_{k=1}^m |A_k|\right\|_p. $$
Tang and Zhang conjectured an explicit formula for every finite $p>1$. We disprove the conjecture with two explicit real $2\times 2$ rank-one matrices at $p=3/2$. The comparison is certified by seven strict rational inequalities and, in particular, places the attained ratio above $207/200$, while the conjectured constant lies below $207/200$. On the positive side, we prove the conjectured sharp bound for every family of rank-at-most-one summands when $2\leq p<\infty$, and classify all equality cases. We also prove the corresponding endpoint statement for $p=\infty$. Finally, for arbitrary complex matrices, we establish the conjectured sharp constant in the case $m=2$, $p=4$.
Sharp asymptotics for triangle independence and covering numbers
For a graph $G$, let $α_1(G)$ be the maximum size of an edge set containing at most one edge from every triangle, and let $τ_1(G)$ be the minimum size of an edge set meeting every triangle. Erdős, Gallai, and Tuza proved that $α_1(G)+τ_1(G)=Ω(m^{2/3})$ for every $m$-edge graph and asked for the optimal asymptotic constant. We prove $$\lim_{m\to\infty} \min_{G,\,|E(G)|=m} \frac{α_1(G) + τ_1(G)}{m^{2/3}} = \frac{3}{2},$$ thereby establishing that the sharp constant is $3/2$ and solving the problem.
The equality between the Erdős-Ginzburg-Ziv constant and the short product-one constant for finite nonabelian groups
Let $G$ be a finite group, and let $\exp(G)$ denote its exponent. The Erdős-Ginzburg-Ziv constant $s(G)$ is the least integer forcing a product-one subsequence of length $\exp(G)$, while the short product-one constant $η(G)$ is the least integer forcing a nonempty product-one subsequence of length at most $\exp(G)$. The natural nonabelian extension of a conjecture [W. Gao, \emph{On zero-sum subsequences of restricted size II}, Discrete Math. 2003] on the Erdős-Ginzburg-Ziv constant in finite abelian groups predicts that $s(G)=η(G)+\exp(G)-1.$ We confirm this equality for every finite nonabelian group $G$ having a cyclic subgroup of index $p$, where $p$ is the smallest prime divisor of $|G|$. As further consequences, we determine all generalized Erdős-Ginzburg-Ziv constants $s_{m\exp(G)}(G)$ for this family of groups.
Dual Weight and Monodromy of Dual Affine RS Correspondence
The dual affine Robinson--Schensted correspondence and the affine matrix-ball construction give two related parametrizations of extended affine permutations. From the stable-window data of the dual correspondence, we introduce a dual weight \(β\) and prove that it is consistent with the original pair \((λ,N_0)\). We prove that \(β\) and the AMBC weight \(ρ\) have identical monodromy along affine Knuth paths. We further give an explicit relation between \(β\) and \(ρ\), showing that their difference depends only on the associated tabloids.
A proof of Bickle's conjecture on collapsible graphs
A graph $G$ is said to be $k$-collapsible if $G$ has minimum degree $k$ and every non-null proper induced subgraph of $G$ has minimum degree less than $k.$ In 2018, Bickle conjectured that the minimum number of vertices of degree $k$ in a $k$-collapsible graph of order $n$ with $k\ge 3$ is ${\rm max}\{\lceil 2n/(2k-1)\rceil,\, k^2-k-2-(k-3)n\}.$ We prove this conjecture.
Repetition Avoidance in Curling-Number Transforms
We study repetition avoidance in a word ${\bf w}$ and its curling-number transform $C({\bf w})$. For alphabets of sizes $2$, $3$, and $4$, we use Thue-Morse-based morphic constructions and exhaustive finite searches. A ternary word for which both ${\bf w}$ and $C({\bf w})$ are overlap-free has length at most $84$, whereas over four letters an infinite example exists. Hence $4$ is the smallest alphabet size admitting simultaneous infinite overlap-freeness. The infinite constructions are verified in Walnut; the finite maxima are obtained by exhaustive breadth-first search and checked independently.
Uniformity without Projective Consistency: An Exact Counterexample for a Nested Binary Term Grammar
Let T_0={L} and T_{r+1}={L} union {N(a,b):a,b in T_r}. On the nonleaf terms E_r, require each event N(a,b) to occur after its nonleaf children, and let mu_r be the uniform measure on the linear extensions of this poset. We study the restriction rho_43 that deletes the new level-4 events while preserving the relative order of the level-3 events. We prove that the pushforward of mu_4 under rho_43 is not mu_3. Two explicit orders on the 25 level-3 events have different numbers of level-4 extensions. If b_i is the number of T_2 terms, including the leaf, seen in a prefix of length i, the number of newly released events is (i+1)^2-b_i^2. The release profile of a depth-priority order dominates that of a level order pointwise and is strictly larger for 3<=i<=15. An explicit injection between admissible interleavings therefore gives a strict analytic fiber inequality. Two algorithmically independent exact computations reproduce both 1557-digit fiber counts; their reduced ratio is 614690215260160000/479048686862260621, approximately 1.2831476885707443. The analogous restrictions through level 3 are consistent, so 4-to-3 is the first failure in this grammar. The result is specific to this grammar, uniform measures, and restriction map.
Variations of colored multiset Eulerian polynomials and applications
Deligeorgaki, Han and Solus introduced colored multiset Eulerian polynomials, derived a generating function identity which generalizes MacMahon's identity, proved their self-interlacing under suitable parameter conditions, and identified these polynomials as the h^*-polynomials of direct products of dilated lattice simplices. In this paper, we introduce an ascent analogue of the colored multiset Eulerian polynomial, derive an explicit generating function identity for this polynomial, show that it is equal to the h^*-polynomial of a family of half-open lattice polytopes, and verify that this ascent polynomial also satisfies self-interlacing under the same parameter conditions. By establishing recurrence relations, we prove that both polynomials are real-rooted for all positive integer parameters. The obtained identities are further applied to interpret combinatorially the h^*-polynomials of Pitman--Stanley polytopes, composition polytopes and a family of reflexive lattice polytopes defined from preorders.
Arboricity Nearly Bounds Degeneracy
Arboricity and degeneracy are two fundamental and closely related graph parameters that measure the sparsity of a graph. Every $k$-degenerate graph is $k$-arboric, but some $k$-arboric graphs are only $(2k-1)$-degenerate. However, every maximal $k$-arboric multigraph with $n$ vertices and every maximal $k$-degenerate multigraph with $n$ vertices has exactly $k(n-1)$ edges. These basic observations lead to a natural structural question: How far are $k$-arboric graphs from being $k$-degenerate? We answer this question by showing that: By at most a $(k-1)$-bounded-degree graph apart. More specifically, we prove that a $k$-arboric multigraph admits a $(k,k-1)$-decomposition, that is, its edges can be partitioned into two multisets such that one spans a $k$-degenerate multigraph and the other spans a multigraph with every vertex having degree at most $k-1$. Moreover, we provide a complete characterisation of all possible such decomposition types. Namely, for any integers $k \ge 1$ and $d,h \ge 0$ we show that every $k$-arboric multigraph admits a $(d,h)$-decomposition if and only if $d\geq k$ and $d+h\geq 2k-1$. Our proofs are constructive and we present a polynomial time algorithm that produces such decompositions. By contrast, we show that related decision problems for general graphs (without constraints on the arboricity) are NP-complete.
A method to identify the ordinary edges for symmetric traveling salesman problem based on frequency $K_i$s
The frequency $K_i$s ($i\in[4,n]$) are studied for symmetric traveling salesman problem ($TSP$) to characterize the structure properties of the edges inside and outside the optimal Hamiltonian cycle ($OHC$). Given a $K_i$ in $K_n$ where $i\in [4,n]$, the frequency $K_i$ is computed with the set of ${{i}\choose{2}}$ optimal $i$-vertex paths with fixed endpoints (optimal $i$-vertex paths) in the $K_i$. Given an $OHC$ edge in a $K_i$, it has a frequency bigger than $\frac{1}{2}{{i}\choose{2}}$ in the frequency $K_i$, and that of an ordinary edge outside the $OHC$ is smaller than $\frac{1}{2}{{i}\choose{2}}$. As the frequency of an edge is computed with the frequency $K_i$s, an $OHC$ edge of $K_n$ has an average frequency bigger than $\frac{1}{2}{{i}\choose{2}}$. It indicates an $OHC$ edge of $K_n$ is also one $OHC$ edge of a $K_i$ containing it. It also found that the probability that an $OHC$ edge has the frequency bigger than $\frac{1}{2}{{i}\choose{2}}$ increases according to $i\in [4, n]$ based on the frequency $K_i$s. For an ordinary edge outside the $OHC$, the probability that it has a frequency smaller than $\frac{1}{2}{{i}\choose{2}}$ increases according to $i$. Based on the findings, a method is given to identify the ordinary edges for $TSP$.