math.CO ↗ arXiv
5274 papers in this category
Reducing CMSO to Unbreakable Graphs Cannot be Computable
Lokshtanov, Ramanujan, Saurabh, and Zehavi [ICALP 2018] proved that for any CMSO formula $φ$, testing $φ$ on arbitrary graphs can be reduced to testing it on $(q,k)$-unbreakable graphs for appropriate parameters. Their proof is non-constructive, and they ask whether it can be made constructive. We prove that this is impossible: specifically, the parameter $q$ cannot be a computable function of $φ$.
Extremal graphs for the $k$-th eigenvalue
For a simple graph $G$ of order $n$, let $λ_1(G)\ge \cdots \ge λ_n(G)$ denote its adjacency eigenvalues. Hong's problem asks for the optimal upper bound for $λ_k(G)$. A recent theorem of Sivashankar gives, for every $k\ge3$, \[
λ_k(G)\le
\frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1, \] with sharp examples arising from maximal real equiangular tight frames. In this paper, we characterize the equality case. We also obtain an explicit combinatorial description of the extremal graphs for $λ_3$ and $λ_4$.
Unifying singular value decompositions of tensors via aligned orthogonality
We study basis-aligned two-orthogonal (bato) tensors, which can be written as a sum of critical rank-one approximations whose factors are singular vectors of their flattenings. As such, bato tensors admit a Tucker decomposition and a canonical polyadic decomposition that are related to each other. We prove that generic bato decompositions are identifiable and that their truncations are critical low-bato-rank approximations. We also compute the dimension of the set of bato tensors, and identify the irreducible components of its Zariski closure with isotopy classes of maximal partial Latin hyperrectangles. Many important tensors are bato, such as determinants, matrix multiplication tensors, and other structure tensors of algebras.
On Partitions with Palindromic Gap Sequences
We introduce and study \emph{palindromic-gap partitions}: partitions whose sequence of successive differences between consecutive parts is a palindrome. We derive the generating function for this family, treating partitions with an odd and an even number of parts separately, and obtain a bivariate refinement tracking the number of parts. Specializing further, we give explicit closed formulas for the number of palindromic-gap partitions of $n$ into exactly $r$ parts. We then construct explicit bijections between palindromic-gap partitions with $2m+1$, respectively $2m$, parts and ordinary partitions with at most $m+1$ parts, in which the weight of a palindromic-gap partition is encoded by the largest part, or the two largest parts, of its image; composing these yields an explicit bijection between the odd and even families themselves. Finally, we show that a partition is palindromic-gap if and only if its Ferrers diagram, drawn with left-justified rows, is self-complementary under a $180^\circ$ rotation inside its own naturally associated rectangle, identifying palindromic-gap partitions with self-complementary partitions relative to this rectangle. This yields a partial answer to a question of Keith on the enumeration of complementable and self-complementary partitions: we give explicit generating functions for the self-complementary case and exhibit, at $n=15$, a partition that is complementable but not self-complementary, confirming that the two notions are genuinely distinct.
Proving a conjecture concerning chromatic number, size and least eigenvalue
Let $G$ be a simple nonempty graph with size $m$, chromatic number $χ$, and least eigenvalue $λ$. We prove that \[ χ(χ-1) \le (m+1-λ^2)+\sqrt{(m+1-λ^2)^2-4(λ^2-1)(λ^2-m)} \] with equality if and only if $G$ is either a complete graph or a complete bipartite graph, with possibly isolated vertices. The inequality was conjectured recently by Tang and Elphick in [Electron. J. Combin. 33 (2026), \#P2.65].
On the largest Littlewood--Richardson coefficient
We study partitions which attain the largest Littlewood-Richardson coefficient. More precisely, we prove that the largest $c^λ_{μν}$ is attained at partitions such that $μ\subseteq ν$ and $ν/μ$ is a disjoint union of squares. We conjecture that for $n \ge 16$, all largest $c^λ_{μν}$ must satisfy this property. We confirm this conjecture numerically, for $16 \le n \le 45$.
Economical lattice coverings by determined segments
For fixed $d\geq 2$, let $τ_d(n)$ be the minimum size of a set $S\subseteq\{0,\ldots,n\}^d$ such that the affine lines determined by pairs of distinct points of $S$ cover the grid. Let $σ_d(n)$ be the analogous minimum when every grid point must lie on the closed segment joining two distinct points of $S$. A celebrated result of Alon [GAFA, 1991] proved that $τ_d(n)$ is of order between $Ω_d(n^{α_d})$ and $O_d(n^{α_d}\log n)$, where $α_d=\frac{d(d-1)}{2d-1}$, and asked whether the logarithm term is necessary. We prove that $$c_d n^{α_d}\leqτ_d(n)\leqσ_d(n)\leq C_d n^{α_d}$$ for every fixed $d\geq 2$, thereby resolving Alon's problem in a stronger form.
On the Independence Number of the Modular Product
The \emph{modular product} $G\diamond H$ of graphs $G$ and $H$ is a graph on vertex set $V(G)\times V(H)$. Two vertices $(g,h)$ and $(g',h')$ of $G\diamond H$ are adjacent if $g=g'$ and $hh'\in E(H)$, or $gg'\in E(G)$ and $h=h'$, or $gg'\in E(G)$ and $hh'\in E(H)$, or (for $g\neq g'$ and $h\neq h'$) $gg'\notin E(G)$ and $hh'\notin E(H)$. The independence number $α(G)$ of a graph $G$ is the maximum cardinality of a set of pairwise nonadjacent vertices in $G$. In this paper, we study the independence number of the modular product of graphs. We first structurally characterize all independent set of $G\diamond H$ which lead to the exact result on $α(G \diamond H)$. Special cases of this result lead to several sharp bounds and some exact results for $α(G \diamond H)$. Finally, we introduce a partition graph associated with $G \diamond H$ that provides a framework for constructing independent sets of the modular product from independent sets of its substructures.
Some sequences and number triangles which are related to Narayana polynomials and to q-Narayana polynomials for q=-1
As is well known the Catalan numbers can be interpreted as numbers of Dyck paths. The Narayana polynomials and the q-Narayana polynomials for q=-1 can analogously be interpreted as certain weights of these paths. In the present note we try to get some information about the corresponding weights of bounded Dyck paths. This also leads to some number sequences and analogues of Pascals triangle which previously have occurred in other contexts. We consider some examples and obtain some results and conjectures.
Quality Control Algorithms for Pattern Counting
In recent work, Marcussen, Rubinfeld, and Sudan introduced the notion of quality control problems, which aim to capture the task of determining if a given input is truly random. Formally, their goal is to accept typical inputs from the specified distribution while rejecting every input whose value of a specified statistic is far from the distributional baseline. This captures the empirical practice of using specified statistics as a proxy for the quality of randomness. Empirical algorithms, however, have not exploited the asymmetry in the definition of quality control problems, which require soundness guarantees in the worst-case while only seeking average-case completeness. Their work abstracted a problem definition emphasizing this asymmetry and used it to give efficient quality control algorithms for assessing the randomness of graphs.
In this work, we introduce and study quality control problems over sequences, where the goal is to distinguish a sequence of i.i.d. characters from sequences where some specified pattern appears too often (or too infrequently) as a subsequence. We consider this problem in both the finite-alphabet setting and for real-valued sequences. We refer to the former setting as the pattern counting problem. In the latter case, the natural notion of a pattern is to consider the relative ordering of the characters in the subsequence, and we refer to this as the permutation pattern counting problem. Algorithms to approximately count (permutation) patterns of length $k$ in a worst-case sequence of length $n$ can provably require exponential in $k$ queries into the sequence. In contrast, we show that by taking advantage of the asymmetry in the definition of quality control, we give algorithms that run in poly$(k)$ time to solve these problems. We also prove that any quality control algorithm (over some natural distributions) requires superlinear queries in $k$.
An Improved Upper Bound for the Strong Odd Chromatic Number of Planar Graphs
A proper coloring of a graph is called a strong odd coloring if, for every
vertex \(v\) and every color appearing in the open neighborhood of \(v\),
that color appears an odd number of times in \(N(v)\). The corresponding
minimum number of colors is the strong odd chromatic number, denoted by
\(χ_{\mathrm{so}}(G)\). Caro et
al.~\cite{CaroPetrusevskiSkrekovskiTuzaStrongOdd} proved that every
planar graph has strong odd chromatic number at most \(388\). Manattu et
al.~\cite{ManattuVinayLakshmanan2026} later constructed planar graphs
with strong odd chromatic number \(17\) and asked whether larger values
are possible and whether the upper bound \(388\) can be improved. We
address these questions as follows. First, we improve the general upper
bound by proving that every planar graph \(G\) satisfies
\(χ_{\mathrm{so}}(G)\le 368\). This follows by improving the auxiliary
proper facially odd coloring bound for loopless \(2\)-connected plane
multigraphs from \(97\) colors to \(92\) colors and combining this with
the reduction of Caro et al. and the Four Color Theorem. Second, we
give a different explicit planar construction with
\(χ_{\mathrm{so}}(G)=20\), together with a self-contained proof of the
exact value. We emphasize that Goetze et
al.~\cite{GoetzeKluteKnauerParadaPenaUeckerdt2025} had already posted an
arXiv preprint in May 2025 containing a planar example with strong odd
chromatic number \(20\). Thus our construction is not a priority claim for
the value \(20\), but rather an independent and fully verified
construction whose value exceeds \(17\), the value that motivated
Problem~1 of Manattu et al.
The maximum quartet distance between phylogenetic trees
The quartet distance counts the four-leaf subsets on which two binary phylogenetic trees display different topologies. We prove that its maximum over trees on $n$ leaves is $(2/3+o(1))\binom{n}{4}$, resolving a conjecture of Bandelt and Dress from 1986 and calibrating the scale of a fundamental metric for comparing phylogenetic trees. The proof reduces arbitrary pairs of trees to caterpillars by means of a common-root planarization and an identity on five-leaf trees.
Expected cost in Combinatorial Optimization under color constraints
We present an average case model of classical problems in combinatorial optimization where there are color constraints. In all cases we seek some (spanning) sub-structure of a complete graph of minimum cost. The edges are randomly colored either red or blue. We bias against the red edges by placing a bound on the number of them that are allowed in our structure. This bound will be lower w.h.p. than what would occur without discrimination. We examine the effect of this bias on the minimum cost of a desired structure. We consider minimum cost spanning trees, shortest paths, minimum cost perfect matchings and the asymmetric traveling salesperson problem.
Lattice polytopes of large width have real-rooted Ehrhart $h^*$-polynomials
In this note we prove that in fixed dimension the Ehrhart $h^*$-polynomial of a lattice polytope of sufficiently large lattice width is real-rooted. In particular, this implies strict log-concavity and unimodality of the $h^*$-vector and answers a question of Averkov, Hofscheier and the author. For a lattice simplex we prove the analogous statement for its local $h^*$-polynomial, also called box polynomial. The proofs were found using ChatGPT 5.6 Sol and follow essentially directly from a result by Basu and Oertel that for large enough lattice width counting lattice points approximates the volume.
Removable trees and matchings in $k$-connected and $k$-edge-connected graphs
T. Hasunuma (J. Graph Theory, 2023) conjectured that if $G$ is a $k$-connected (resp. $k$-edge-connected) graph with minimum degree $δ(G) \ge k + m - 1$, and $T$ is a tree of order $m$, then $G$ contains a removable copy of $T$, that is, a subtree $T'$ isomorphic to $T$ such that $G - E(T')$ is $k$-connected (resp. $k$-edge-connected). We prove (a strengthening of) this conjecture. We also consider removable matchings in graphs with high minimum degree. We show, among others, that if $G$ is a $k$-edge-connected graph on at least $2m$ vertices with minimum degree $δ(G) \ge k + m$, then there exists a matching $M$ of size $m$ in $G$ for which $G-M$ is $k$-edge-connected.
Refined upper bounds on Schur-like numbers
For positive integers $r, m$ and $N$, every $r$-coloring of $\{1, \dots, N\}$ contains a monochromatic solution to $x_1+\dots+x_{m+1}=y_1+\dots+y_m$ provided that $N \ge 3^r (r!)^{1/m}$, which is qualitatively optimal when $m$ is logarithmic in $r$.
On the dependence of the zero-free region of a partition function on the external field
Let $\{0, 1\}^n$ be the Boolean cube, endowed with the probability product measure, where ${\Bbb P}(1)=p$ and ${\Bbb P}(0)=q$ with $0 < p \leq q=1-p$. Let $φ_i: \{0, 1\}^n \longrightarrow {\Bbb C}$ be $1$-Lipschitz functions in the Hamming metric, such that each $φ_i$ depends on at most $r$ coordinates of $x \in \{0, 1\}^n$, where $rp \geq 12$. For $j=1, \ldots, n$, let $I_j $ be the set of indices $i$ such that $φ_i$ depends on the $j$-th coordinate. We prove that $E\thinspace \exp\left\{ \sum_{i=1}^m λ_i φ_i \right\} \ne 0$ provided $λ_i \in {\Bbb C}$ satisfy $\sum_{i \in I_j} |λ_i| \leq {1 \over 10 \sqrt{rp}}$ for all $j$. This translates into a regime for $\pm 1$ spin systems, where a linear increase in the energy of multi-spin interactions requires only a logarithmic increase of the external field to keep the partition function zero-free and the system away from the phase transition.
Ranked spreadness and sample-based testing
In this note, we introduce the notion of ranked spreadness, a strengthening of the usual spread condition in which the elements of each member can be ordered so that their one-coordinate marginals decay geometrically with their rank. This additional structure removes the dependence on the maximum set size in random-containment estimates. We prove width-free hitting and weighted-concentration theorems for ranked-spread set systems, together with an elementary kernel-extraction theorem showing that ranked spreadness arises naturally in arbitrary distributions on small sets.
Our main application is to the simulation of nonadaptive property testers by sample-based testers. If a one-sided tester has average query complexity $d$ and rejects every far input with probability at least $δ$, then, for every integer $c>d/δ$, it admits a one-sided sample-based simulation with expected sample complexity $O_{d,δ,|Σ|}\bigl(n^{1-1/c}\bigr)$. More generally, if positive inputs are rejected with probability at most $γ$ and far inputs with probability at least $δ>γ$, the same conclusion holds for every $c>d/(δ-γ)$. In particular, for constant-query nonadaptive testers we obtain an exponent $1-Θ(1/q)$, matching, up to the dependence on the rejection gap, the exponent conjectured by Fischer, Lachish, and Vasudev.
Molecules of an affine FPF $W$-graph and an asymptotic row-Beissinger correspondence
Kazhdan--Lusztig $W$-graphs encode the cell structure of Hecke algebras, while their bidirected connected components are called molecules. In finite type~$A$, the Robinson--Schensted correspondence describes cells and molecules, and Beissinger's row insertion constructs the common tableau associated with an involution. In affine type~$A$, the affine matrix-ball construction assigns an affine permutation a pair of tabloids together with a dominant weight, and Marberg introduced affine FPF $W$-graphs indexed by affine fixed-point-free involutions. We prove that, for an affine fixed-point-free involution, complete two-cycle truncations followed by finite row Beissinger insertion asymptotically recover both its common AMBC tabloid and its dominant weight. We also identify the bidirected edges of $Γ_n^{\m}$ with dual equivalence moves under AMBC, obtaining a classification of its molecule.
The Chow Polynomial of the Noncrossing Partition Lattice
We prove that the Chow polynomial of the noncrossing partition lattice is equal to the descent generating function of tieless parking functions. As a consequence, we obtain new results on the descent statistic for parking functions.