math.CO ↗ arXiv
7121 papers in this category
Polylogarithmic Bounds for Nested Cycles without Geometric Crossings
A problem of Erdős asks for extremal conditions forcing edge-disjoint cycles with a prescribed nested structure. In the geometric version, the nesting is required to be noncrossing with respect to the cyclic orders. Fernández, Kim, Kim and Liu proved that constant average degree forces two such cycles. We prove a polylogarithmic bound for the natural multi-layer version: for every fixed $k\ge 3$, every sufficiently large $n$-vertex graph with at least \[
C_k n(\log n)^{k-1}(\log\log n)^{k-3} \] edges contains $k$ pairwise edge-disjoint nested cycles without geometric crossings. The proof combines the robust sublinear expander framework of Alon, Bucić, Sauermann, Zakharov and Zamir with a controlled wrapping lemma that permits the layers to be built successively with controlled length.
Combinatorics and Asymptotics of Positive Systems of Linear Catalytic Equations
We provide a complete combinatorial and asymptotic analysis of positive linear systems of equations in one catalytic variable that appear in several combinatorial problems such as in lattice path counting or stack-sortable permutation counting.
We show that the corresponding generating functions satisfy a positive polynomial system of equations (which is associated to a context-free grammar). Furthermore we prove a universal asymptotic behaviour.
Cellular resolutions of second powers of square-free monomial ideals with divisibility relations
Using divisibility relations between the generators of a square-free monomial ideal $I$, we describe divisibility relations between the generators of the second power $I^2$. We then employ discrete Morse theory to produce a cellular free resolution of $I^2$ which is minimal for specific ideals that are extremal with respect to a given divisibility relation. In particular, we provide sharp bounds on the projective dimension of $I^2$ when the generators of $I$ satisfy at least one divisibility relation.
$(r,s)$-sets from Desarguesian ovoids
An $(r, s)$-${\textit set}$ in ${\rm PG}(n, q)$ is a set of points, say $\mathcal X$, such that each $s$-dimensional projective subspace contains at most $r$ points of $\mathcal X$. We investigate $(n, n-2)$-sets and $(n-2, n-3)$-sets in ${\rm PG}(n, q)$, $n \le 6$. We show that the trivial upper bounds on $(n, n-2)$-sets in ${\rm PG}(n, q)$, $4 \le n \le 6$, $(4, 3)$-sets in ${\rm PG}(6, q)$ and $(3, 2)$-sets in ${\rm PG}(5, q)$ are essentially sharp. A $(3, 2)$-set in ${\rm PG}(13, q)$ of size $\frac{q^6-1}{q-1}$ is also constructed.
The weak $k$-metric dimension of the direct product of complete graphs
The weak $k$-metric dimension of a graph is roughly understood as the cardinality of a smallest set of vertices $S$ of the graph with the property of uniquely recognizing all the vertices of the graph throughout summations of differences of distances to the vertices of $S$. The weak $k$-metric dimension of the direct product of two isomorphic complete graphs is considered in this work. Specifically, the value of such parameter is computed for almost all possibilities of these products and a bound is provided in the remaining case.
On the structure and generic non-Cartesianity of polynomials in product spaces
We develop a general theory of Cartesian and non-Cartesian polynomials on products of complex spaces $\mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k}$. We prove that, for any fixed degree $d \ge 2$, a (Zariski) generic polynomial is non-Cartesian in a broad range of dimensions, establishing that Cartesian structure is highly exceptional.
We further introduce effective sufficient criteria for a polynomial to be non-Cartesian. Moreover, we show that being (non)-Catersian can be decided algorithmically via Gröbner basis methods and quantitative forms of Hilbert's Nullstellensatz.
As an application, we connect the non-Cartesian condition to incidence geometry, obtaining sharp intersection bounds and constructing extremal configurations that demonstrate the optimality of these estimates.
Fast computation of Ehrhart polynomials of Gelfand--Tsetlin polytopes via Macdonald reciprocity
We describe an efficient method for computing the Ehrhart polynomial of Gelfand--Tsetlin polytopes arising from Kostka coefficients. The key idea is to exploit Ehrhart--Macdonald reciprocity: evaluating the Ehrhart polynomial at negative integers reduces to counting \emph{strict} Gelfand--Tsetlin patterns, which are often zero or very small for low dilations. Combined with an adaptive strategy that chooses the cheapest evaluation point (positive or negative) at each step, this yields substantial practical speedups compared to general-purpose polytope software. We benchmark against $\mathtt{OSCAR}$/$\mathtt{polymake}$, and illustrate the broader applicability of the method through order polytopes and permutation posets. The implementation is available in the Rust \texttt{kostka} package, with related optimizations also incorporated in the new \texttt{lrcalc-rs} replacement for \texttt{lrcalc}.
A random version of the Burr-Erdős-Spencer theorem
A well-known result of Burr, Erdős and Spencer [Transactions of the American Mathematical Society, 1975] determines the $2$-colour Ramsey number for any sufficiently large collection of vertex-disjoint copies of a fixed graph $H$ without isolated vertices. In this short note we prove a random version of this result, thereby generalising the random Ramsey theorem of Rödl and Ruciński [Journal of the American Mathematical Society, 1995].
On the Turán number of blow-ups of $\mathcal{F}_5$
Let $\mathcal{F}_5$ denote the $3$-uniform hypergraph on the vertex set $\{f_1,f_2,\dots,f_5\}$ with hyperedges $\{f_1f_2f_3,f_1f_2f_4,f_3f_4f_5\}$. Recently, Balogh, Clemen and Luo determined the Turán number of a one-vertex blow-up of $\mathcal{F}_5$, more specifically, they blow up the vertex $f_5$ to $t$ vertices, the resulting hypergraph is denoted by $\mathcal{F}_5(f_5;t)$. They show that for infinitely many $t$, $\mathcal{F}_5(f_5;t)$ has exponentially many extremal constructions and positive Turán density.
In this paper, we determine the exact Turán number of the hypergraph obtained by blowing up $f_3$ of $\mathcal{F}_5$ to $t$ vertices and show that it also has exponentially many extremal constructions.
We also give a general upper bound and lower bound of the Turán number of every blow-up of $\mathcal{F}_5$. For some special blow-ups of $\mathcal{F}_5$, for example, $t$-disjoint copies of $\mathcal{F}_5$, we determine the exact Turán number. We construct a hypergraph $\mathcal{F}_{sim}(t)$ which is a subgraph of a blow-up of $\mathcal{F}_5$, and is contained in the hypergraph obtained by adding any new hyperedge to the Turán hypergraph (the balanced complete $3$-partite hypergraph), but its extremal construction is not the Turán hypergraph. We also determine the exact Turán number of $\mathcal{F}_{sim}(t)$.
Categorical Lusztig cycles and weave schobers
We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by associating a perverse sheaf of triangulated categories to each Demazure weave. A central contribution is the construction and study of the categorical Lusztig cycles and their duals, which we show form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These categorical collections are built using the diagrammatics of weaves and we study their behavior under changes of weaves. For instance, we show that they undergo tilts under weave mutations. En route, we develop the study of categorical weighted braid words, as canonical rigid filtered dg modules over derived preprojective algebras, and the categorical incarnation of the tropical Lusztig rules, as a gluing mechanism for such filtered objects. Appendix A contains homological results, providing a novel construction of simple-minded and silting collections from full exceptional collections, and characterizing when these arise from a highest weight structure on an abelian category.
Exact Hidden Paths in Noisy High Dimensional Path Spaces
Published
• View Publication
• BIB
We introduce a mathematical and cryptographic framework for exact recovery of noisy hidden paths in high dimensional discrete path spaces. The work is inspired by the path integral viewpoint, where global quantities arise from contributions over many possible trajectories. Instead of approximating a global path sum, we study the inverse problem of recovering one exact hidden trajectory from incomplete, noisy, projected, and aggregated observables.
The hidden object is a planted discrete path whose transitions may include macro steps, microscopic perturbations, and discrete noise. Public information is represented by large observable vectors rather than short hash digests, since excessive compression would bound the effective recovery problem by the digest size.
We formalize several recovery notions, including planted exact recovery, arbitrary witness recovery, canonical recovery, quotient recovery, and recovery of derived encodings. The main distinction is that approximate reconstruction and exact recovery are fundamentally different tasks. A method may reveal coarse geometry or dominant regions without recovering the precise microscopic sequence defining the hidden path.
We also discuss attack surfaces relevant to future cryptographic use, including linearization, lattice style recovery, dynamic programming, meet in the middle attacks, SAT and SMT formulations, approximation followed by rounding, witness collisions, and generic quantum search.
This work does not claim a complete post quantum cryptosystem. It provides a formal framework for studying exact hidden path recovery as a possible foundation for future cryptographic constructions
An Ore-type Alon-Yuster Theorem
A graph $G$ admits an $H$-tiling if it contains a collection of vertex-disjoint copies of $H$. In this paper, we confirm a conjecture proposed by Kühn, Osthus, and Treglown by showing that for any given graph $H$, there exists a constant $C(H)$ such that the following holds. If $G$ is a sufficiently large $n$-vertex graph satisfying $d(x) + d(y) \geq 2\left(1 - 1/χ_{\text{cr}}(H)\right)n$ for all nonadjacent vertices $x, y \in V(G)$, then $G$ contains an $H$-tiling covering all but at most $C(H)$ vertices. Here $χ_{\text{cr}}(H)$ denotes the critical chromatic number of $H$.
Indecomposability of 0/1-polytopes
We prove that every 0/1-polytope has a unique Minkowski decomposition into indecomposable polytopes, up to translation of summands. The summands lie in pairwise orthogonal subspaces. Thus, every 0/1-polytope is the Cartesian product of indecomposable 0/1-polytopes.
As applications, we obtain uniform combinatorial indecomposability criteria for order and chain polytopes, matroid polytopes, stable set and clique polytopes, edge polytopes, flow polytopes, and 2-level/compressed polytopes. We also show that every nontrivial factorization of a multi-affine polynomial is a product of multi-affine polynomials in disjoint sets of variables.
On the self-similarity of rational power series with matrix coefficients
Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that $Q$ is invertible in $ A[\![x_1, \dots, x_n]\!]$. Let also $\mathcal M \colon \mathbf Z^n \to A$ be the map associating to the $n$-tuple of integers $(α_1, \dots, α_n)$ the coefficient of the monomial $x_1^{α_1} \dots x_n^{α_n}$ in the development of the rational fraction $PQ^{-1}$ as a power series (the support of $\mathcal M$ is contained in $\mathbf N^n$). Our main result ensures that the map $\mathcal M$, viewed as a tiling of $\mathbf R^n$ by unit cubes with color set $A$, is self-similar. The self-similarity is expressed in terms of invariance under substitutions. By specializing to $d=1$, $n=2$, $P=1$ and $Q =1-x_1-x_2$, we recover the well-known self-similarity feature of the binomial coefficients modulo $p$.
Holographic functions and neural networks
A fuzzy Boolean function is a map $f:\cube^n\to [0,1]$, where $n\in\mathbb N$. We introduce and compare three ways of saying that such a function has bounded complexity. The first is a sampling property: the value $f(x)$ can be recovered, up to small error and with high probability, from the values of a bounded number of randomly chosen coordinates of $x$. We call this the holographic property. The second is a structural property: $f$ is uniformly close to a bounded-degree polynomial in boundedly many bounded linear coordinate forms. The third is computational: $f$ is uniformly close to the output of a neural network with a bounded number of non-input neurons, bounded Lipschitz activation functions and bounded incoming weights. We prove that these three properties are equivalent up to quantitative changes of the parameters. The implication from holography to polynomial structure uses a variant of a weak version of hypergraph regularity.
Ehrhart positivity for lattice path matroids
We prove that all lattice path matroids are Ehrhart positive. This unifies and generalizes numerous results on the Ehrhart positivity of matroids developed over the last two decades. We rely on our previous work on the positivity of order polynomials of fences. Our main result supports the conjecture by Ferroni, Jochemko, and Schröter (2022) on the Ehrhart positivity of positroids. Furthermore, our main result implies that all Schubert matroids are Ehrhart positive, which thus settles a conjecture by Fan and Li (2024), and supports a conjecture by Monical, Tokcan, and Yong (2019) on the Ehrhart positivity of Schubitopes.
The Manickam-Miklós-Singhi Property in Graphs and Hypergraphs
This paper studies the Manickam-Miklós-Singhi (MMS) property for graphs and hypergraphs. Using the structural characterisation of the $2$-uniform case, we construct new families of regular graphs with the MMS property. We then analyse the Erdős--Rényi random graph model $\mathbf{G}(n,p)$ and identify regimes in which the MMS property holds with high probability. Finally, we extend the matching-based sufficient condition to higher uniformities via pseudo-matchings and introduce a blowout construction that produces higher-uniformity hypergraphs with the MMS property from lower-uniformity examples.
Path-Minimality of $p$-Energy for Connected Graphs
Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov.
The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.
Fermionic matrices and super Cayley--Hamilton algebras
We develop a first and second fundamental theorem for $n$--tuples of bosonic and fermionic matrices, by developing graded analogues of the classical case.
Grove polynomials and $K$-theoretic quasisymmetry
We define the grove polynomials, a set-valued extension of forest polynomials. We show that they are $K$-theoretically dual to the quasisymmetric Schubert cells which pave the quasisymmetric flag variety, in the same way that Grothendieck polynomials are dual to Schubert cells in the complete flag variety. As a consequence, the finite truncations of the multi-fundamental quasisymmetric functions of Lam-Pylyavskyy acquire a geometric interpretation as $K$-theoretic representatives of quasisymmetric Schubert cells.