math.CO ↗ arXiv
7121 papers in this category
$q$-Difference Equations for two classes of Pattern Avoiding Permutations
We study the nested permutation classes $Av(4123,4231,4312)\subset Av(4123,4312)$. We relate the corresponding generating functions $D^{(2)}(z)$, $D^{(3)}(z)$ to $q$-difference equations. Solving these equations allows to show that the generation functions are not D-finite, and that $[z^n]D^{(3)}(z)\sim 0.0189672325071988\ldots\, (4.46840899160393\ldots)^n$, $[z^n]D^{(2)}(z)\sim0.0849833632890843\ldots\, (3+2\sqrt2)^n n^{-3/2}$.
Exact Periodicity, Surjectivity, and a Haar Limit Law for a Restarting Josephus Process
We study a restarting Josephus process in which the participants retain their linear order and counting restarts at the current leftmost survivor after every deletion. For step size $m$, put $q=m-1$, and let $F_n(q)$ denote the initial position of the survivor. Reverse insertion gives $F_1(q)=1$ and $F_k(q)=F_{k-1}(q)+\mathbf{1}_{\{q\bmod k<F_{k-1}(q)\}}$. Writing $L_n=\operatorname{lcm}(1,\ldots,n)$, we establish three results for the compatible residue system in this recurrence. First, the full period group of $F_n$ is exactly $L_n\mathbb{Z}$. Second, $F_n$ is surjective onto $\{1,\ldots,n\}$. The proof is constructive and unconditional but computer-assisted: a Chinese-remainder construction and explicit prime estimates reduce it to a finite exact certificate. Third, if $\widetilde Q_n$ is uniform modulo $L_n$, then $(F_n(\widetilde Q_n)-1)/(n-1)$ converges to a symmetric, nondegenerate law on $[0,1]$. A common Haar coupling yields almost-sure and $L^r$ convergence for every $1\le r<\infty$, together with an $O(n^{-1/4})$ bound in $W_1$. Logarithmic boundary-mass estimates rule out every symmetric beta law. We also formulate endpoint dominance as an open problem, prove strict dominance over the two nearest internal positions for every $n\ge4$, exclude prime levels as minimal counterexamples, and verify the claim exactly through $n=49$.
An extremal theorem for graphs with non-negative Bakry--Émery curvature
Recently, Chen, Liu, and You (An extremal theorem for positive curvature of graphs, arXiv:2607.02297) proved an extremal theorem for positive Lin--Lu--Yau curvature. They further proposed the similar problems for other discrete curvature. In this paper, we prove a sharp extremal theorem for non-negative Bakry--Émery curvature with non-normalized Laplacian: every graph of order \(n\geq 7\) with more than \[
\binom {n}{2}-\lfloor{\frac{n}{2}\rfloor}-2 \] edges satisfies $CD(0,\infty)$, and this threshold is optimal.
Commuting Graph of Unitriangular Group UT(4; p)
Let G = UT(4; p) be the group of all 4 ? 4 unitriangular matrices over the fi?nite fi?eld Fp, where p is a prime. Using the six-parameter form of the elements of G, we describe the commutativity relation explicitly and use it to analyse the struc- ture of the graph. We prove that the reduced commuting graph is connected and has diameter 3. We also determine the size of its maximal cliques, chromatic number, independence number, per- fectness, etc. by decomposing the graph into cosets, layers, and direction parts.
Binary code rate bounds via classical--quantum channels
We derive the four principal asymptotic rate-distance tradeoffs for binary codes---Plotkin, Elias--Bassalygo, and the two McEliece--Rodemich--Rumsey--Welch (MRRW) bounds---from one theorem, the ``pretty good criterion.'' If the bit error rate under the pretty good measurement (PGM)---the quantum analog of posterior sampling---of a binary-input output-symmetric classical--quantum (cq) channel lies below $δ$, then every length-$n$ binary code, linear or nonlinear, of relative distance $δ$ has rate at most the channel's capacity, up to an $O(n^{-1/2})$ correction. Rate--distance bounds thereby reduce to a channel design problem, wherein the task is to minimize channel capacity subject to the posterior bit error rate constraint. Via the pretty good criterion, the binary erasure channel (BEC) yields Plotkin, the binary symmetric channel (BSC) yields Elias--Bassalygo, the pure-state channel (PSC) yields the first MRRW bound, and a masked PSC yields the second MRRW bound exactly.
This framework is then instantiated with new channels to improve upon the MRRW bounds. Specifically, the mixed-qubit channel (MQC), a mixed-state version of PSC, strictly improves the first MRRW bound at every $0 < δ< \frac{1}{2}$, while the masked mixed-qubit channel (2MQC) strictly improves the second MRRW bound throughout the same interval.
The Sharp Upper Bounds for the Median Eigenvalues of Graphs
Let $λ_1\geqλ_2\geq\cdots\geqλ_n$ be the eigenvalues of a simple graph $G$ of order $n$. The HL-index of $G$ is defined by $R(G)=\max\|λ_h|,|λ_\ell|\}$ with $h=\lfloor(n+1)/2\rfloor$ and $\ell=\lceil(n+1)/2\rceil$.In this paper, we prove that if $G$ is $ K_4$-minor-free or $ K _ {2,3} $-minor-free, then $R(G)\leq\sqrt{5}-1$ with equality attained by an infinite family of outerplanar graphs.Moreover, we show that $R(G)\leq\sqrt{d-2}$ for triangle-free graphs with maximum degree at most $d$ and average degree at most $(d-2)(d^2-2d+2)/(d^2-3d+5)$.
A sharp extension of Halin's removable-edge theorem to matchings
A subgraph $H$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-E(H)$ remains $k$-connected. Halin proved that every $k$-connected graph $G$ with $δ(G)\ge k+1$ has a $k$-removable edge. We extend this result from a single edge to matchings of any prescribed size by showing that, for positive integers $k$ and $m$, every $k$-connected graph $G$ with $δ(G)\ge\max\{k+1,2m-2\}$ contains a $k$-removable matching of size $m$, unless $G\cong K_{2m-1}$, or $(k,m)=(1,2)$ and $G$ is a cycle. This confirms a conjecture of Li, Zhou, Fujita, and Mao. The minimum degree bound is sharp, and both exceptions are unavoidable. Consequently, $\max\{k+1,2m-1\}$ is the sharp minimum degree threshold guaranteeing such a matching without exceptions. The proof combines a prescribed-set strengthening of Halin's removable-edge theorem with an extremal analysis of maximum $k$-removable matchings.
Row pathwidth of complete binary trees
We show that if a complete binary tree of height $h$ is isomorphic to a subgraph of the strong product of a graph $H$ and a path, then $\mathrm{pw}(H)$ is $Ω(h)$. This solves a problem posed by Bose, Dujmović, Javarsineh, Morin, and Wood (2022). The proof was found by OpenAI's GPT-5.6 Sol Pro.
A refinement of the Q-Polynomial for twisted knots
This paper introduces a two-variable polynomial invariant for oriented twisted knots, denoted by $Q_{K}^{z}(s,t)$, refining the $Q$-polynomial of N. Kamada and S. Kamada \cite{NaoSei}. We exhibit an infinite family of twisted knots indistinguishable by the $Q$-polynomial but separated by the $Q^z$-polynomial. To prove invariance, we first determine a generating set of oriented Reidemeister moves for twisted knot diagrams, extending the result of Ali \cite{Dan} for oriented virtual knots; this result is new and of independent interest, as it provides the minimal framework needed to verify invariance of any oriented twisted knot invariant. As further applications, we derive an explicit crossing change formula, obtain lower bounds on the Gordian distance between homotopic twisted knots, examine the existence of cosmetic crossings in a twisted knot diagram, and finally prove that $Q^{z}_{K}(s,t)$ is a Vassiliev invariant of order one.
Decreasing Runs in Quasi-Stirling Permutations of Multisets
As a natural extension of Stirling permutations, quasi-Stirling permutations are multipermutations $π$ with the property that for any subsequence $π_{j_1}π_{j_2}π_{j_3}π_{j_4}$ satisfying $π_{j_1}=π_{j_3}$ and $π_{j_2}=π_{j_4}$, we have $π_{j_1}=π_{j_2}$. Using a bijective construction, Yan, Yang, Huang and Zhu showed that the joint distribution of ascents, descents and plateaux over quasi-Stirling permutations of a multiset $M=\{1^{k_1},2^{k_2},\ldots,n^{k_n}\}$ coincides with that over the multiset $M'=\{1^{k_1+\cdots+k_n-n+1},2,\ldots,n\}$. In this paper, we prove that the same invariance of distribution holds for decreasing runs, and consequently for all decreasing consecutive patterns. To this end, following the Yan-Yang-Huang-Zhu approach, we construct a multiplicity-redistribution bijection that preserves decreasing runs, thereby reducing the computation of joint distribution of decreasing consecutive patterns over quasi-Stirling permutations from $M$ to $M'$. Together with the classical run theorem, our bijection leads to explicit recurrence relations and generating functions for the distribution functions of these statistics over quasi-Stirling permutations.
Factorization of Schur polynomials twisted by roots of unity and a reciprocal pair
Let $μ_t$ be the full set of $t$-th roots of unity and $(z,z^{-1})$ a free reciprocal pair. We determine how much of a partition $s_λ(μ_t,z,z^{-1})$ can see: a multiset of three integers and a sign, and nothing else, so partitions of any sizes agreeing on it share the value. The evaluation, for every $t\ge2$ and every $λ$ with no hypothesis on its shape, is a signed product of exactly three factors over a fixed denominator, or zero, the three arguments read off the $t$-quotient. The proof is a Laplace expansion along the $t$ frozen rows of the bialternant with one cancellation lemma in the symmetric group, and delivers the sign, the one already in Littlewood's evaluation at $μ_t$. Three consequences follow. A vanishing criterion: it vanishes exactly when a residue class modulo $t$ is empty, or two distinguished classes are concentric as intervals, the second only for $t$ even. An extension of a recent independence criterion of Ayyer-Kumari: for two-row shapes on the reciprocal locus it acquires exactly one further family, classified by core and quotient. And an enumerative reading: at $t=2$ a $(-1)$-enumeration of plane partitions in a box refined by a parameter that stays free. The factorization is isolated: it fails under each of four deformations of the alphabet, for one reason. A last section treats the zero locus, which survives further pairs. Two conditions make $Ψ_r=s_λ(1,-1,z_1^{\pm1},\dots,z_r^{\pm1})$ vanish: the beta set having constant parity, and $λ$ being self-complementary of odd width. That direction is a corollary of the complementation identity over an index family Ayyer and Behrend single out. The new content is the converse, that nothing else vanishes, proved for one pair, for every $r$ inside Littlewood's range, and for every $r$ when $|λ|\le2r+2$. The rest is conjectural, verified over every shape in the tabulated ranges.
A pyramid with a Ramsey base is Ramsey
A finite subset $X$ of ${\mathbb R}^d$ is called a Ramsey set if for any number of colours $k$ there exists a dimension $n$ such that whenever ${\mathbb R}^n$ is $k$-coloured there exists a monochromatic congruent copy of $X$. The classification of Ramsey sets is one of the major unsolved problems in the field of Euclidean Ramsey theory. Towards this, Ivan, Leader and Walters recently asked whether adding a point to a Ramsey set outside of its affine hull necessarily produces another Ramsey set. In this note, we answer their question in the affirmative.
Degeneracy: From Graphs to Matroids
A graph is $k$-degenerate if every subgraph has a vertex of degree at most $k$. We extend this notion to matroids, defining a loopless matroid $M$ to be $k$-degenerate if every restriction of $M$ contains a cocircuit of size at most $k$; $M$ is minimally $k$-degenerate if it has cogirth $k$ and every proper restriction of $M$ has cogirth at most $k-1$. Our main result characterizes extremal minimally $k$-degenerate matroids. We also extend the known arboricity bound for matroids, showing that $k$-degenerate matroids have arboricity at most $k$ and providing sharper bounds.
Crossing tournaments are polynomially $\vecχ$-bounded
Given a tournament $T$, Aboulker, Aubian, Charbit, and Lopes (2023) defined its clique number $\vecω(T)$ as the minimum clique number of a backedge graph of $T$, and raised the question: Which classes of tournaments are polynomially $\vecχ$-bounded? Aboulker, Duron, Jacob, Kimbrough, Thomassé, and this work's authors (2026) showed that this holds for classes of tournaments whose arc sets may be written as the union of a bounded number of comparability digraphs.
What about classes of tournaments that do not admit such a decomposition? The crossing tournaments of Nguyen, Scott, and Seymour (2025) are an example of such a class, as shown in the aforementioned 2026 work; we show that nonetheless crossing tournaments are polynomially $\vecχ$-bounded by adapting a method of Davies and McCarty (2021) and Davies (2022).
We additionally show that we cannot extend this result for crossing tournaments to tournaments with chordal graphs as backedge graphs.
Degree sum conditions for a graph to have bounded conflict-free connection number
A path in an edge-coloured graph is called \emph{conflict-free} if a colour is exclusively applied to one of its edges. A graph $G$ is considered \emph{conflict-free connected} if every pair of vertices in $V(G)$ is connected by a conflict-free path. The minimum number of colours required to render a connected graph $G$ conflict-free connected is referred to as the \emph{conflict-free connection number}. In this paper, we introduce several sharp conditions on the minimum degree sum of any $4$ independent vertices in $G$ to ensure that the conflict-free connection number of $G$ is bounded.
Prescribed-order subdigraphs with large minimum out-degree
Alon introduced $d(s)$ as the largest integer $d$ such that every digraph on $2n$ vertices with minimum out-degree at least $s$ contains a subdigraph on $n$ vertices with minimum out-degree at least $d$. He proved that $s/2-d(s)=O(\sqrt{s\log s})$, and further asked whether this deficit can be bounded by an absolute constant. Steiner answered this question in the negative by constructing suitable tournaments, and showed that $s/2-d(s)=Ω(\log s)$.
Using a different construction, we show that the deficit grows at least on the square-root scale, rather than merely logarithmically, improving the best known lower bound due to Steiner from $Ω(\log s)$ to $Ω(\sqrt{s})$ and leaving only a factor of $\sqrt{\log s}$ between the lower and upper bounds. This also completely settles a question raised by Steiner for tournament hosts. More generally, in the broader setting considered by Alon, our construction applies whenever the prescribed subdigraphs contain any fixed positive proportion of the vertices of the host digraph rather than specifically one half.
On the self-intersection time of non-backtracking random walks
We study the self-intersection time of the non-backtracking random walk on connected undirected graphs. For every fixed $Δ\geq 3$ we show that the expected self-intersection time is $O(\sqrt{n} \log n)$ on $n$-vertex graphs with minimum degree at least $3$ and maximum degree at most $Δ$. For regular graphs with a uniform spectral gap, we improve this to $O(\sqrt{n})$. We also show an $Ω(\sqrt{n})$ lower bound on a class of regular expanders. Our upper bound on the expected self-intersection time implies an improved mixing time bound on Glauber dynamics for the Ising model on $Δ$-regular graphs at the tree uniqueness threshold.
On the weighted hard-core model and Rado's covering problem for congruent Euclidean balls
Let $B^d$ denote the Euclidean unit ball in $\mathbb{R}^d$ and $f(B^d)$ denote the largest constant $c$ such that every finite collection of congruent Euclidean balls contains a pairwise disjoint subcollection whose total volume is at least $c$ times the volume of the union of the original collection. The classical Vitali covering lemma gives $f(B^d)\geq3^{-d}$. In this paper, we establish two improvements. First, by a purely combinatorial argument, we prove that $$ f(B^d)\geq \frac{2}{3^d + 2^d} $$ for every integer $d \geq1$. This improves the Vitali bound by a factor tending to $2$ as d tends to infinity. Second, using a weighted hard-core model together with a weighted geometric estimate for intersections of Euclidean balls, we show that, for all sufficiently large $d$, $$ f(B^d)\geq
\left(
\log\frac{3}{1+\sqrt3}
-O\left(\frac{\log d}{d}\right)
\right)d\,3^{-d}.
$$ Thus, the classical lower bound is improved by a factor of order $d$.
A proof of a conjecture on permutation polynomials
In this paper, we use finite fields and linear algebra methods to resolve a conjecture by T. Zhang, L. Zheng, H. Wang, J. Peng and Y. Li (Finite Fields Appl. 110 (2026) 102743) concerning permutation pentanomials.
Caged subsequences in permutations
Given a sequence $\mathfrak{a}:=(a_1,\ldots,a_n)$ of reals, a subsequence $\mathfrak{b}=(a_{i_1},\ldots,a_{i_k})$ is said to be "caged" if the largest and smallest among the members of $\mathfrak{b}$ are $a_{i_1}$ and $a_{i_k}$, though not necessarily in that order. In this paper, we consider the problem of maximal caged sequences in permutations $π\in S_n$. We also consider the same problem for a random permutation, both when the permutation is chosen uniformly at random and also when it is picked uniformly at random from among the permutations of rectangular shape, via the RSK correspondence.