Showing 20 papers (Total: 82797 papers, 47838 authors in database)
A proof of the Erdős--Gallai cycle decomposition conjecture
In the 1960s, Erdős and Gallai conjectured that the edges of every $n$-vertex graph can be decomposed into $O(n)$ cycles and edges. We prove this conjecture. Equivalently, every Eulerian graph on $n$ vertices can be decomposed into $O(n)$ cycles, which confirms Hajós' conjecture up to a constant factor.
Shuffle Squares in Differentiable Words
Experiments on binary run-length differentiability lead to sharp computer-assisted criteria for shuffle squares. Every $C^3$-word of length greater than $16$ is a shuffle square exactly when both letter multiplicities are even. All $34$ nonempty even-Parikh exceptions are smooth and persist in every higher differentiability class. For $C^2$ the sharp threshold is $48$, with $212$ nonempty exceptions. At level $C^1$ no global parity threshold exists, but every even-Parikh non-shuffle-square of length at least $36$ has proper nonempty shuffle-square prefixes and suffixes. Exactly $230$ nonempty even-Parikh $C^1$-words have no nonempty shuffle-square prefix. The full tree avoiding such prefixes eventually consists of $422$ periodic rays. Consequently, a nonempty Kolakoski prefix is a shuffle square exactly when both multiplicities are even, apart from lengths $4$ and $8$. We also characterize classes of morphisms reflecting shuffle squares. For doubly binary words, we determine the exact deletion distance and largest twins, and prove sharp bounds for single local repairs. Exact recurrences, residual-state checks, and separate Python programs make the finite computations reproducible.
Cartwright--Sturmfelsness of complementary determinantal edge ideals
We introduce complementary determinantal edge ideals. For a graph $G$ on $n$ vertices, the complementary determinantal edge ideal $J_{c}(G)$ is generated by the maximal minors of a generic $(n-2)\times n$ matrix obtained by deleting the two columns indexed by each edge of $G$. We completely characterize the graphs for which $J_{c}(G)$ is Cartwright--Sturmfels with respect to the grading by columns. We prove that this property is equivalent to the existence of a multilinear universal Gröbner basis and characterize the graphs satisfying these equivalent conditions. In particular, the ideals satisfying these equivalent conditions are radical.
Spectral extremal problems on 1-planar graphs without Friendship graph
Let $\textit{spex}_{\mathcal{P}_1}(n,F)$ be the maximum spectral radius among all $n$-vertex $F$-free $1$-planar graphs. Define $F_t$ as the friendship graph formed by $t$ triangles sharing exactly one common vertex. Tait and Tobin (2017)~\cite{Tait2017} used the fundamental structure of spectral extremal graphs to determine the unique planar graph with maximum spectral radius for sufficiently large order. Subsequently, Zhang, Wang and Wang (2024)~\cite{Zhang2024} characterized the corresponding extremal graph in the class of $1$-planar graphs. In this paper, we focus on $F_t$-free $1$-planar graphs and establish a structural theorem for their spectral extremal graphs for all $t\geq1$ and sufficiently large $n$. More precisely, every extremal graph is connected and contains a copy of $K_{2,n-2}$, and for $t\geq2$ the two distinguished vertices are adjacent and the subgraph induced by the remaining vertices is a bipartite graph. Based on this structure result together with the drawing properties of $K_{3,6}$, we determine $\textit{spex}_{\mathcal{P}_1}(n,F_t)$ and characterize its unique extremal graph.
A new bound for the Furstenberg--Sárközy theorem using the van der Corput property
We show that if $A\subseteq \mathbb{N}\cap[1,N]$ has no nonzero square difference, then \[
|A|\ll N\exp(-c\sqrt{\log N\log\log N}), \] improving upon a recent result of Green and Sawhney. The proof exploits a quantitative version of the van der Corput property with signed coefficients and builds on previous constructions of Slijepčević, Slijepčević--Ninčević, and Fan-Lott. The proof of the upper bound is elementary and self-contained. We also prove a matching lower bound for the constant coefficient of any van der Corput witness for squares, showing that our quantitative van der Corput bound is sharp up to the constant $c$.
Sharp Asymptotics for the Solvability Probability of Random Stable Roommates
For even $n$, let $P_n$ be the probability that independent uniform strict preference lists on $n$ participants admit a stable perfect matching. We prove \[
P_n\sim\frac{e\,2^{1/4}Γ(3/4)}{\sqrtπ}\,n^{-1/4}. \] This establishes Mertens's conjectured exponent of decay, with a leading constant different from his original numerical prediction. The proof starts from Mertens's exact alternating sum over stable permutations. To preserve its cancellation, we construct a common approximation for all cycle structures with the same number of vertices in cycles longer than two. By symmetry, the integrated first-order correction is the same for every such cycle structure, and the remaining errors can be summed in absolute value. The enumeration then reduces the probability to a one-dimensional sum with positive terms.
The maximum size of simple solid matching covered graphs
A connected graph with at least two vertices is matching covered if each of its edges is contained in a perfect matching. A matching covered graph is solid if every separating cut in it is a tight cut. A matching covered graph which is free of nontrivial tight cuts is a brick if it is nonbipartite. Every bipartite matching covered graph is solid. Lucchesi and Murty conjectured that there exists a positive integer $N$ such that, for every integer $n\ge N$, the maximum number of edges in a simple solid matching covered graph on $2n$ vertices is $n^2$. In this paper, we disprove this Conjecture, and show that the maximum number of edges of a simple solid matching covered graph on $2n$ ($n\ge2$) vertices is $n^2+2$. Moreover, we characterize the graphs attaining this bound. In addition, we prove that every simple solid brick of order $2n$ has at most $n^2$ edges for $n\ge4$.
Quantum walks and graph operations
Let $U_X(t)$ be the transition matrix of a quantum walk on a graph $X$ relative to its adjacency matrix $A$ or the Laplacian matrix $L$. This paper investigates the behavior of quantum walks under Cartesian products, joins, and graph complements. We have two main goals. First, we characterize the conditions such that peak state transfer and pretty good state transfer are preserved under these operations, allowing us to construct new families of graphs admitting these properties. Our second goal is to analyze the relationship between the quantum walks on a graph and its complement. We provide bounds for $f_{u,v}(t)=\big|U_{X^c}(t)_{u,v}-e^{itδ}U_X(-t)_{u,v}\big|$ and $g_{u,v}(t)=\big||U_X(t)_{u,v}|-|U_{X^c}(t)_{u,v}|\big|$, where $δ=-1$ when dealing with $A$ and $δ=n$ otherwise. Note that $f_{u,v}(t)$ and $g_{u,v}(t)$ both measure the difference between the behavior of quantum state transfer between vertices $u$ and $v$ in a graph and its complement. If $X$ is regular or $M=L$, then $f_{u,v}(t)$ is bounded above by $\frac{2}{|V(X)|}$. If $X$ is non-regular and $M=A$, then we utilize the main eigenvalues of a graph to obtain an upper bound for $f_{u,v}(t)$ which depends only on $A$. We also use the bounding matrix of the graph to give bounds for the Nordhaus-Gaddum type relations $|U_X(t)_{u,v}|+|U_{X^c}(t)_{u,v}|$ and $|U_X(t)_{u,v}|\cdot |U_{X^c}(t)_{u,v}|$. Finally, we demonstrate that most of our bounds are sharp for certain families of graphs.
The Area Asymptotics of $(sn,n)$-Dyck Paths
We study the total and average area of $(sn,n)$-Dyck paths: lattice paths from $(0,0)$ to $(sn,n)$ that stay weakly below the line $x=sy$, counted by the Fuss-Catalan numbers. Generalizing a result of Merlini, Sprugnoli, and Verri for the case $s=1$, we derive an exact formula for the total area over all such paths. From this we obtain explicit upper and lower bounds for both the total and the average area, together with the corresponding asymptotics: for fixed $s$, the average area is asymptotic to $\sqrt{πs(s+1)/8} \cdot n^{3/2}$, while for fixed $n$ it is asymptotic to $sn \cdot Q(n)/2$ as $s$ grows large, where $Q(n)$ denotes Ramanujan's $Q$-function. Along the way, we confirm a conjecture of Kotesovec on the asymptotics of a binomial sum that also arises in several other enumeration problems.
A Finite-Geometric Obstruction and a Polytopal Separation of Buchstaber Invariants
We construct a polytopal simplicial sphere that admits a mod 2 characteristic map but no mod 3 characteristic map, and hence no integral one. This shows that the Buchstaber number of a polytopal sphere can be strictly smaller than its real Buchstaber number, and gives a negative answer to the toric lifting problem.
Positivity of the basic hypergeometric series and the MacMahon identity
The basic hypergeometric series ${}_{n+1}ϕ_{n}$ whose upper and lower parameters are non-negative integer powers of $q$ satisfying a certain constraint can be, after a normalisation, computed as a positive polynomial. We derive three formulas for this polynomial. The first formula is a generalisation of the MacMahon identity in which an infinite binomial series is identified with a normalised generating function of des and maj statistics of multiset permutations. The second formula is a generating function of multiset permutations for the inversion statistic and a generalisation of the statistic mstc. The third formula is a finite sum containing $2n$ $q$-binomial coefficients.
Embedding equitable (s,p)-edge-colorings of $K_n$
An $(s,p)$-edge-coloring of a graph $G$ is an edge coloring using $s$ colors such that exactly $p$ colors appear at each vertex. To generalize the notion of proper edge-coloring, these colorings are defined to be equitable: the numbers of edges of each color incident to a vertex are fairly distributed. We find the necessary and sufficient conditions for embedding an equitable $(s_1,p_1)$-edge-coloring of $K_{n_1}$ into an equitable $(s_2,p_2)$-edge-coloring of $K_{n_2}$. We focus on the values of $n_1$, $p_1$, $n_2$, and $p_2$ where $s_1$ is necessarily larger than $p_1$ and $s_2$ is necessarily larger than $p_2$.
Electrical Networks and Symplectic Invariants
Consider a finite planar graph with positive real edge weights and designated boundary vertices, called nodes. Such a graph is called a circular planar electrical network. A grove is a spanning forest in which every component contains at least one node. The connected components of a grove determine a partition of the nodes. We relate weighted grove counts to invariant theory for the symplectic group.
To a planar electrical network $G$, we associate an $\mathrm{Sp}(2n)$-invariant tensor $Z_G$. For $\mathrm{Sp}(2)=\mathrm{SL}(2)$, we expand $Z_G$ in the Temperley--Lieb basis indexed by noncrossing matchings and relate its coefficients to the Kenyon--Wilson grove formulas. For $\mathrm{Sp}(4)$, we give reduction rules for superpositions of two groves and prove that the tensors indexed by $3$-noncrossing matchings form a basis of the space of $\mathrm{Sp}(4)$-invariant tensors. The coefficients of $Z_G$ in this basis are weighted counts of reduced double groves, up to normalization.
A direct inductive proof of the sharp Merino--Welsh threshold for matroids
Motivated by the Merino--Welsh conjecture, we consider the smallest $c\ge0$, denoted by $c_*$, for which the inequality $T_M(c,0)T_M(0,c)\ge T_M(1,1)^2$ holds for every loopless and coloopless finite matroid $M$. The counterexamples constructed by Beke, Csáji, Csikvári, and Pituk [\emph{Adv. Math.} \textbf{446} (2024), 109674] give the lower bound $x_0$, where $x_0\approx2.22668$ is the largest real root of the polynomial $x^3-9(x-1)$. Later, Csikvári [\emph{European J. Combin.} \textbf{137} (2026), 104402] improved the known upper bound for this constant to $2.35$ and then conjectured that the above inequality holds at $c=x_0$. This conjecture was recently proved by Liu (2026). We give an alternative direct inductive proof that $c_*=x_0$, without computer-assisted finite verification.
Projective dimension of closed neighborhood hypergraphs via extended double covers
Let $G$ be a finite and simple graph without isolated vertices. We investigate the projective dimension of the closed neighborhood hypergraph $\mathcal{N}[G]$ and its relationship with the Castelnuovo-Mumford regularity of the extended bipartite double cover $\mathfrak{B}_e(G)$ of $G$. We establish the general upper bound $\operatorname{prod-dim} (\mathcal{N}[G]) \leq \operatorname{reg}(\mathfrak{B}_e(G))$ for all graphs. Furthermore, we prove that the exact equalities $\operatorname{prod-dim} (\mathcal{N}[G]) = \operatorname{reg}(\mathfrak{B}_e(G)) =α(G)$ hold when $G$ belongs to several prominent graph classes, including König-Egerváry (contains all bipartite graphs), cographs, co-chordal, chordal and comparability graphs, where $α(G)$ denotes the independence number. Our method of proofs relies on connecting algebraic invariants to the underlying combinatorial structure of graphs through covering, domination and matching parameters, together with the use of homology tools.
An upper bound on the proper hat guessing number of graphs
We study the proper hat guessing game on graphs, introduced by Adriaensen et al. in Hat guessing with proper colorings. In this game, the players are seated on the vertices of a graph $G$ and assigned hats from a set of $k$ colors such that the resulting assignment forms a proper coloring. The visibility of each vertex is limited to the hat colors of their neighborhood. Then they must simultaneously output a guess about the color of their own hat. The players win if at least one guess is correct. A parameter related to this problem is the proper hat guessing number $\operatorname{HG}_{P}(G)$ that is the maximum number of colors $m$ such that the players can guarantee a winning strategy. Motivated by the work of Shurman et al. \cite{shurman2026upper}, we establish the first upper bound that depends both on the number of vertices $n$ and the maximum degree $Δ$ in the case where $Δ\geq \frac{n}{e+1}$. This result leads us to show that the proper hat guessing number of the binomial random graph $G_{n,1/2}$ is bounded above by $cn$, where $c \approx 1.366$. Finally, we prove that graphs of maximum degree $(1-γ)n$ for some fixed $γ\in (0,1]$ cannot have $\operatorname{HG}_{P}(G) = (2-o(1))n$.
Upper $k$-Star-Forming Sets, $k$-Independence, and Upper Domination
For a positive integer $k$, let $β_k(G)$ be the maximum cardinality of a vertex set inducing maximum degree less than $k$, and let $SF_k(G)$ be the maximum cardinality of a minimal $k$-star-forming set. The known inequality $β_k(G)\le SF_k(G)$ suggests asking when equality holds. We place this question in the framework of upper domination: at $k=1$, $β_1(G)=α(G)$ and $SF_1(G)=Γ(G)$, so the classical equality $Γ=α$ on bipartite graphs is exactly the first member of the proposed hierarchy. We prove the equality for complete bipartite graphs for every $k$, obtaining \[ β_k(K_{a,b})=SF_k(K_{a,b})=\max\{a,b,2k-2\}\qquad(a,b\ge k), \] and record the elementary low-degree case $Δ(G)<k$. For $k=2$ we derive certificate restrictions for minimal $2$-star-forming sets in bipartite graphs. For chain graphs we go further: we prove $β_2(G)=SF_2(G)$ and obtain an exact formula for their common value. The proof uses the nested-neighborhood structure together with a classification of witnesses to the indispensability of a high internal-degree vertex. We retain the equality problem for chain graphs as a conjecture only for $k\ge3$, and formulate the broader bipartite conjecture. We also determine the upper domination number of every rectangular grid and combine it with the known exact dissociation number to compare $Γ$, $β_2$, and $SF_2$. In particular, $Γ=β_2$ on every even-by-even rectangular grid, while $β_2\le SF_2$ always; this motivates a grid equality conjecture whose even-by-even case would yield a three-parameter identity.
A linear-in-$q$ range of dimensions for the MDS conjecture over $\mathbb F_q$ in odd characteristic
Let $q$ be a power of an odd prime $p$. We prove the MDS conjecture over $\mathbb F_q$ in every dimension $k$ satisfying \[
2\leqslant k\leqslant B(p,q)
\quad\text{or}\quad
q+2-B(p,q)\leqslant k\leqslant q,
\qquad
B(p,q)=\left\lfloor\frac{(p-2)q+6p-10}{2p-3}\right\rfloor. \] For fixed $p$, the first interval is linear in $q$; together with duality, the theorem covers an asymptotic proportion $1-1/(2p-3)$ of all dimensions.
The proof rests on a vanishing theorem for determinant relations over an arbitrary field of characteristic $p>0$. It yields full row rank for Chowdhury's matrices over a larger range of arc sizes. In particular, at $|G|=2k-3+n$ it proves Chowdhury's full-row-rank conjecture without the $q$-dependent restriction. Specialization to $\mathbb F_q$, together with the Ball--Lavrauw construction, gives the stated MDS range.
We also prove that, for every odd prime power $q$, every normal rational curve in $\mathrm{PG}(N,q)$ is complete for $2\leqslant N\leqslant q-2$, and every projective Reed--Solomon code of length $q+1$ and dimension $2\leqslant k\leqslant q-2$ has covering radius $q-k$.
Geometric triangle-free graphs of large chromatic number
We present several geometric constructions of graphs with rapidly growing chromatic numbers, most of which are triangle-free or have large girth.
A Proof of the Third and Cubic Borwein Conjectures
We establish the coefficient sign patterns in the Third Borwein conjecture and the modulus-three Cubic Borwein conjecture. The analytic arguments apply for $n\ge1750$ and $n\ge500$, respectively. They combine exact dissections and positive coefficient identities near the boundary with saddle point estimates that preserve cancellation between primitive-root contributions. Paired Gaussian estimates remove the leading odd error, and explicit remainder bounds cover the complementary contours. The remaining finite intervals are checked by exact integer arithmetic. The Third finite verification through $1749$ is author-confirmed; the Cubic verification through $500$ is supported by two complete integer implementations and additional coefficient crosschecks.