Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Cyclomatic numbers and permutations
We show that the inversion graph of a permutation governs several apparently different aspects of the permutation: the gap between its Coxeter and reflection lengths, the number of repeated letters in its reduced words, and its cycle structure, and it also bounds the number of $321$ and $3412$ patterns. The mechanism is that a reduced word orders the edges of the inversion graph, with the edges from first-occurrence letters forming a spanning forest and the edges from repeated letters accounting for the rest. The case where the inversion graph is a forest unifies several classical characterizations of these permutations, due to Edelman, Tenner, and Petersen and Tenner. We also give a new proof that every connected acyclic inversion graph is a caterpillar.
Symmetric Powers of Matroids
The study of matroid products has become an active area of research, owing to their connections with tropical ideals and linear representability. In this paper, we study matroidal abstractions of the multilinearity of symmetric powers of vector spaces, using a duality between symmetric powers of matroids and abstract rigidity. These observations allow us to solve Mason's conjecture concerning the equivalence of two definitions of a symmetric power of a matroid. We show that Mason's conjecture holds for second symmetric powers of matroids whereas it fails for third symmetric powers.
Deciding monotonicity of simple drawings of the complete graph
A drawing of a graph is {\em $x$-monotone} if every vertical line intersects each edge of the graph at most once. We present an $O(n^5)$ time algorithm for deciding whether a simple drawing of the complete graph $K_n$ is weakly isomorphic to an $x$-monotone drawing. We note that this algorithm can also decide whether a drawing of $K_n$ is strongly isomorphic to an $x$-monotone drawing.
Involution $h$ on Catalan structures
We define an involution $h$ on Catalan structures through an abstract
framework, prove an equidistribution theorem for four canonical statistics and
present a generating function carrying these. This framework encompasses all combinatorial structures with a decomposition mirroring the first-return decomposition of Dyck paths. The fixed points of~$h$ are counted by Catalan numbers. Canonical bijections transport the equidistribution to eight well known concrete families, identifying the canonical statistics with native ones on each. In addition to its primary structure, each Catalan structure has a derived \emph{secondary structure}, and $h$~interchanges primary and secondary structure. The involution factors as $h = \rev \circ \corev \circ \rev$, where $\rev$ and $\corev$ are two simpler involutions, and the composition $M = h \circ \rev$ coincides with Donaghey's automorphism on plane trees. This yields $M^{-1} = \rev \circ M \circ \rev$ and a period theorem: Iterating the secondary structure construction produces a sequence that repeats with period equal to the order of~$M$. It is an open problem to describe $h$ and the canonical statistics explicitly on most of the more than two hundred known families of Catalan structures.
Equality conditions for correlation inequalities
We prove equality conditions for the Ahlswede--Daykin (AD) inequality and the Fortuin--Kasteleyn--Ginibre (FKG) inequality. We then present a number of applications and special cases of these equality conditions. These include Björner's and Fishburn's inequalities for linear extensions of finite posets, the Lam--Postnikov--Pylyavskyy (LPP) and the Okounkov inequalities for Schur positivity of products of Schur functions. We conclude with equality conditions for the Ahlswede--Daykin--Schur (ADS) inequality recently introduced in Chan--Chen--Pak--Soskin (2026), which is an AD type extension of the LPP inequality.
Enumeration of Laplacian integral and {-1,0,1}-diagonalizable graphs
A graph with Laplacian matrix $L$ is called Laplacian integral if the eigenvalues of $L$ are all integers, and it is called $\{-1,0,1\}$-diagonalizable if $L$ has a full set of eigenvectors with entries from $\{-1,0,1\}$. We herein develop a structure theorem for both Laplacian integral graphs and $\{-1,0,1\}$-diagonalizable graphs of prime order, and combine it with some novel computational techniques to characterize all such graphs for orders larger than was previously possible. For example, we enumerate all Laplacian integral and $\{-1,0,1\}$-diagonalizable graphs of order $13$ or less, all $\{-1,0,1\}$-diagonalizable graphs of prime order $23$ or less, all regular integral graphs of order $15$ or less, and all regular $\{-1,0,1\}$-diagonalizable graphs of prime order $53$ or less. As an immediate byproduct of our work, we show that the $S_{n,n}$ conjecture for Laplacian integral graphs is true when $n = 12$, thus making $n = 16$ the smallest open case; additionally, we disprove two related conjectures regarding Laplacian spectra. We also establish an exponential lower bound on the number of connected $\{-1,0,1\}$-diagonalizable graphs of order $n$, thus beating the previously best-known (subexponential) lower bound. Finally, we show that every bipartite $\{-1,0,1\}$-diagonalizable graph is regular (a fact that fails to generalize to Laplacian integral graphs).
Schur positivity of nabla on Petrie symmetric functions
The Petrie symmetric function $G(k,n)$, introduced by Grinberg, is defined as the sum of monomial symmetric functions $m_λ$ indexed by partitions $λ\vdash n$ satisfying $λ_1<k$. This article demonstrates that the Schur positivity pattern of $\nabla^r G(k,n)$ for all $r\geq 1$ depends exclusively on whether $k$ divides $n$, thus answering an open problem of Bergeron noted in Grinberg's work.
Some new results on Sylvester colorings of cubic graphs
If $G$ and $H$ are two cubic multi-graphs, then an $H$-coloring of $G$ is a mapping $f: E(G)\rightarrow E(H)$, such that for every $v\in V(G)$ there is a vertex $x\in V(H)$, such that $f(\partial_G(v))=\partial_H(x)$. If $G$ admits an $H$-coloring then it is common to write $H\prec G$. The Petersen coloring conjecture predicts that for any bridgeless cubic graph $G$ one has $P_{10}\prec G$. Here $P_{10}$ is the Petersen graph. Let $f: E(G)\rightarrow E(H)$ be any mapping. Define: $V(f)=\{v\in V(G):\exists x\in V(H), f(\partial_G(v))=\partial_H(x)\}$. Let $S_{10}$ be the smallest cubic multi-graph that has no perfect matching. It has ten vertices. Define $S_{12}$ as the cubic graph that is obtained from $S_{10}$, by replacing its unique vertex $z$ adjacent to three bridges with a triangle. In this paper we show that (1) for every cubic multi-graph $G$ with a perfect matching, there is a mapping $f:E(G)\rightarrow E(S_{12})$, such that $|V(f)|\geq \frac{4}{5}\cdot |V(G)|$, and (2) for every cubic multi-graph $G$, there is a mapping $f:E(G)\rightarrow E(S_{10})$, such that $|V(f)|\geq \frac{5}{6}\cdot |V(G)|$. Our second result improves the $\frac{4}{5}$-bound by Hakobyan and the second author from 2018.
On a conjecture regarding the product version of the Hilton-Milner theorem
Recently, Frankl and Wang considered a product version of the classical Hilton-Milner theorem. They conjectured that, if $\mathcal{F} \subset \binom{[n]}{k}$ and $\mathcal{G} \subset \binom{[n]}{\ell}$ are non-trivial cross-intersecting families with $n \geq 2k > 2\ell \geq 4$, the maximum of $|\mathcal{F}||\mathcal{G}|$ is attained by the natural Hilton-Milner-type configurations.
In this paper, we present two main results concerning this conjecture. Firstly, we show that the conjecture does not hold in general. By introducing a two-center construction, we prove that for every fixed integer $\ell \geq 3$ and all sufficiently large $k$, the conjecture is false in a linear range $2k+1 \leq n \leq (c_\ell - ε)k$ for any $0 < ε< c_\ell - 2$, where $c_\ell > 2$ is an explicit constant. Secondly, we prove that the conjecture holds when $n > 100\ell k^2$ and $3 \leq \ell < k$, and we completely characterize the extremal families. Our proofs rely on the size of minimal covers and analyzing the structural properties of $2$-cover graphs.
Nearly tight bounds for induced subdivisions
Subdivisions of complete graphs play a central role in combinatorics, having deep connections to structural, extremal, and topological aspects of graph theory. A celebrated conjecture of Mader, proved independently by Bollobás and Thomason and by Komlós and Szemerédi, states that every graph of average degree of order $h^2$ contains a subdivision of $K_h$.
In this paper, we consider the induced variant of this problem. A theorem of Kühn and Osthus implies that, for every fixed graph $H$ and every $s\ge 1$, graphs of sufficiently large average degree contain either a copy of $K_{s,s}$ or an induced subdivision of $H$. However, even for $H=K_h$, the best previous quantitative bounds were far from optimal.
We prove nearly tight bounds for forcing induced subdivisions of $K_h$. We show that every $K_{s,t}$-free graph of average degree $Ω_{s,t}(h^{2(s-1)}\log^{7(s-1)} h)$ contains an induced subdivision of $K_h$, and that every $C_{2k}$-free graph with $k \geq 3$ and average degree $Ω_k(h\log^5 h)$ contains an induced subdivision of $K_h$. These bounds substantially improve the previously known results and are nearly optimal in both settings. They also hold if $K_h$ is replaced by any other graph on $h$ vertices.
FO Value Discovery and Partial Vertex Cover Discovery
We study solution discovery in the token-sliding model from a logical and cost-value optimization perspective. In solution discovery, we are given a graph, an initial placement of $k$ tokens, and a movement budget $b$. The task is to find a reachable target configuration satisfying a prescribed condition.
Our results are inspired by \textsc{Partial Vertex Cover Discovery}, where the condition is that the~$k$ tokens cover at least $t$ edges of the input graph. This objective is not merely a sum of independent occupied vertex contributions: each selected vertex contributes its degree, but edges with both endpoints selected have to be subtracted once. To capture this phenomenon, we introduce \textsc{FO Value Discovery}, an optimization problem in which the value of a selected tuple is given by unary vertex weights together with first-order definable correction terms.
We further generalize the setting to \textsc{FO Cost-Value Decision}, where vertices carry both costs and values, and the task is to decide whether there is a tuple whose first-order value expression reaches a prescribed value threshold while respecting a cost bound.
Finally, we study the parameterized complexity of \textsc{Partial Vertex Cover Discovery} and \textsc{Vertex Cover Discovery}. As a consequence of the logical meta-theorems, we obtain fixed-parameter tractability of \textsc{Partial Vertex Cover Discovery} on several graph classes, including classes of locally bounded cliquewidth. We also show that \textsc{Partial Vertex Cover Discovery} is W[1]-hard parameterized by $k+b$ and fixed-parameter tractable on $d$-degenerate graphs parameterized by $k+d$. For \textsc{Vertex Cover Discovery}, we prove NP-hardness on planar graphs, W[1]-hardness parameterized by the clique cover number, even when a clique cover is supplied with the input, and W[1]-hardness with respect to parameter cutwidth.
Generalized spectral closedness of $\mathcal{F}$-free graph classes
In this paper, we investigate the generalized spectral closedness of graph classes defined by a family $\mathcal{F}$ of forbidden induced subgraphs. To systematically study this property, we introduce a novel combinatorial concept of patterned closed walks (or $β$-closed walks), which naturally interlaces the edges of a graph with those of its complement. By establishing the induced-subgraph expansion of these $β$-closed walk counts, we obtain an algebraic sufficient condition for generalized spectral closedness based on the existence of a walk-realizable $\mathcal{F}$-supporter. Crucially, the search for such a walk-realizable supporter is reduced to a linear programming feasibility problem. As primary applications of this computational framework, we prove that the classes of threshold graphs and chain graphs are generalized spectrally closed.
Irregular subgraph in a regular graph
A conjecture of Alon and Wei states that, for any $d$-regular graph $G$ with $n$ vertices, there exists a spanning subgraph $H$ such that for all $0\le i\le d$, we have $m(H, i)$, the number of vertices in $H$ with degree $i$, is between $\frac{n}{d+1}-2$ and $\frac{n}{d+1}+2$. We prove the conjecture for all fixed $d$ when $n$ is sufficiently large. More precisely, if $q=(q_0,\ldots,q_d)$ satisfies $$
\sum_{i=0}^d q_i=n,\qquad
\sum_{i=0}^d i q_i\equiv 0\pmod 2,\qquad
\left|q_i-\frac{n}{d+1}\right|\le 1
\quad (0\le i\le d), $$ then there is a spanning subgraph $H\subseteq G$ such that $$
m(H,i)=q_i
\qquad (0\le i\le d). $$
Minimum rank of complements of Kneser graphs
We determine the symmetric minimum rank of the complement of the Kneser graph $\operatorname{KG}(n,k)$ over every infinite field. More precisely, if $I(n,k)$ is the graph on the $k$-subsets of $[n]$ in which two vertices are adjacent exactly when they intersect, then $$
\operatorname{mr}^{\mathbb F}(I(n,k))=n-2k+2 $$ for every infinite field $\mathbb F$ and all integers $n,k$ with $2\le k\le n/2$. In particular, over the real numbers, this settles a question posed in the AIM workshop open questions report on spectra of families of matrices described by graphs.
The crumby coloring conjecture for subcubic outerplanar graphs
The red-blue vertex partitions now known as crumby colorings originate in a conjecture of Thomassen related to Wegner's conjecture on squares of planar graphs. In such a coloring, the blue vertices induce a graph of maximum degree at most one, while the red vertices induce a graph with no isolated vertices and no simple path with three edges. Barát, Blázsik and Damásdi proved that every 2-connected outerplanar graph of maximum degree at most three admits a crumby coloring, and conjectured that the 2-connectivity assumption can be removed. We prove this conjecture: every finite simple subcubic outerplanar graph admits a crumby coloring. To prove the conjecture, we introduce a rooted grammar for subcubic outerplanar graphs. The grammar describes such graphs recursively using rooted branches and two-terminal path fragments; cyclic blocks are handled by deleting the root to obtain a path fragment. We correspondingly extend crumby colorings to crumby-admissible colorings: in a rooted branch the root, and in a path fragment the two terminals, are allowed to be temporary isolated red vertices. This relaxation makes induction along the grammar possible while retaining only finite boundary information. The induction reduces to verifying an explicit finite family of lower certificates, namely nonempty sets of boundary types and root states. The required verification has two parts: the family must be closed under all steps of the decomposition, and every certified completed branch must contain a final-legal root state, so that the temporary defect disappears and the resulting coloring is a genuine crumby coloring. This final step is computer-assisted: a stand-alone certificate checker, supplied with the paper, verifies the stated closure and crumby conditions for the supplied certificate. All structural reductions and the certificate-induction principle are proved by hand.
Tree suspensions and transfer functions for single degree Turán spectra
For integers $1\le \ell<k$, let $Π^k_\ell$ denote the single-forbidden $\ell$-degree Turán spectrum of $k$-uniform hypergraphs. We introduce transfer functions for this spectrum: explicit functions $f$ such that, for every $F$, there is another single $k$-graph $F^*$ with $π_\ell(F^*)=f(π_\ell(F))$. This gives a mechanism for producing new single-forbidden densities while retaining full control of the resulting value.
Our transfer functions are realized by a new family of suspension-type operations, called tree suspensions. From these operations we obtain three explicit maps: one acting on $Π^k_\ell$ for every $1\le\ell<k$, a second acting when $\ell\ge k/2$, and a third acting in the ordinary Turán case $\ell=1$. The common feature is a robust tree structure which gives the lower bound by a two-part construction and, in the regimes above, admits a matching embedding or Lagrangian upper bound.
As a first application, the universal transfer function propagates accumulation points. Using the recent zero-accumulation results for $\ell\ge2$ together with the ordinary Turán accumulation result of Conlon and Schülke, we prove that $Π^k_\ell$ has infinitely many accumulation points for every $k\ge3$ and every $1\le\ell<k$. This recovers, in particular, the known infinitude of accumulation points in the ordinary and codegree spectra.
As a second application, combining two independent transfer functions forces algebraic degrees to grow. For every $k\ge3$ and every $\ell\in\{1,\lceil k/2\rceil,\ldots,k-2\}$, the spectrum $Π^k_\ell$ contains algebraic numbers of arbitrarily large degree over $\mathbb Q$. Thus the arithmetic complexity previously known for finite forbidden families already occurs in the single-forbidden spectrum, both for ordinary Turán density and for a broad range of degree Turán densities.
Lower Bounds for Approximating the Vietoris-Rips Filtration
The Vietoris-Rips filtration $\mathcal{VR}(-)$ is a standard tool for analyzing the shape of data within topological data analysis. Beginning with seminal work of Sheehy, a substantial amount of research has centered on constructing linear-size sparse approximations to $\mathcal{VR}(-)$ and related filtrations for metric spaces of bounded doubling dimension. We show that this geometric assumption is necessary in a precise sense. Working in the framework of homotopy interleavings, we show that for any fixed $c \in [1, \sqrt{2})$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has exponential size. We also show that for any fixed $c \geq 1$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has superlinear size, yielding an obstruction to linear-size approximations for any fixed approximation factor. Both results extend to the intrinsic Čech filtration and to any bifiltration containing $\mathcal{VR}(-)$ as a $1$-parameter slice, including the function-Rips, degree-Rips, and subdivision-Rips bifiltrations.
A Higher-Order Clique Density Theorem
Reiher's clique density theorem determines the sharp lower envelope for the density of $K_r$ at fixed edge density. We prove a higher-order version in which the prescribed quantity is itself a clique density. For every $3\le s<r$, we determine the minimum possible $K_r$-density among graphons with prescribed $K_s$-density. For $s\ge3$ the constraint is genuinely nonlinear and leaves the edge density undetermined; nevertheless, on the positive range the sharp lower boundary is the classical multipartite edge-to-clique profile, reparametrised by $K_s$-density.
We also prove stability on the positive branches of this profile: at every interior point, near extremality forces cut-distance closeness to the corresponding extremal family at the induced edge density.
Tight Staircase Bounds for Cyclic Subsets below Dirac's Threshold
Let $\operatorname{Cyc}(G)$ denote the number of cyclic subsets in a graph $G$, which are subsets that induce a Hamiltonian subgraph. Draganić, Keevash and Müyesser recently proved that every regular Dirac graph has $Ω(2^n)$ cyclic subsets, resolving a problem of Erdős and Faudree.
We determine the sharp asymptotic lower bound throughout the linear range below Dirac's threshold. Let $G$ be an $n$-vertex $d$-regular graph with $d=Ω(n)$ and $d<n/2$, then $$
\operatorname{Cyc}(G)\ge (q-o(1))2^{n/q}, \quad \text{where } \quad q=\left\lfloor \frac{n}{d+1}\right\rfloor \ge 2. $$ This bound is asymptotically best possible, including the leading coefficient $q$, as witnessed at the staircase levels by the disjoint union of $q$ equal cliques. Consequently, the optimal exponential rate changes by discrete jumps as $d$ crosses the thresholds $n/k$, rather than varying smoothly with $d$. We also prove the optimal exponential rate at the Dirac boundary: every $n$-vertex $n/2$-regular graph satisfies $\operatorname{Cyc}(G)\ge 2^{(1-o(1))n},$ which is sharp up to a subexponential factor by $K_{n/2,n/2}$.
Charge functions for all dimensional partitions
Published in SciPost Phys. 21, 079 (2026)
• View Publication
• BIB
The charge functions for n-dimensional partitions are known for n=2,3,4 in the literature. In a recent work, we gave the expression for arbitrary odd dimension; here we further conjecture a formula for all even-dimensional cases. This conjecture is proved rigorously for 6D, and numerically verified for 8D.