Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Derangement permutation matrices and orbit harmonics
Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $S = \mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring over these variables where $\mathbb{F}$ is a field of characteristic zero. Regard $S$ as the coordinate ring of the affine space $\mathbb{F}^{n \times n}$ of $n \times n$ $\mathbb{F}$-matrices. Let $\mathfrak{D}_n \subseteq \mathbb{F}^{n \times n}$ be the locus of derangement permutation matrices. We study the orbit harmonics quotient ring ${\bf R}(\mathfrak{D}_n) = S/\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ where $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ is the associated graded ideal of the vanishing ideal $\mathbf{I}(\mathfrak{D}_n) \subseteq S$. We give an explicit generating set of $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n),$ relate the Hilbert series of $\mathbf{R}(\mathfrak{D}_n)$ to the Foata transformation and the longest increasing subsequence statistic on $\mathfrak{S}_n$, and give an alternating sum formula for the graded $\mathfrak{S}_n$-character of $\mathbf{R}(\mathfrak{D}_n)$. Our proofs make heavy use of the mapping cone construction of homological algebra.
Exact Homomorphism Thresholds Beyond Cliques
The chromatic threshold, originating in a question of Erdős and Simonovits, asks when a linear minimum-degree condition forces bounded chromatic number in H-free graphs. Motivated by a question of Thomassen, the homomorphism threshold asks for the stronger conclusion that every such graph admits a homomorphism to an H-free graph of bounded order. Since the work of Goddard and Lyle determined the clique case, exact homomorphism thresholds for individual non-complete forbidden graphs have remained unknown. In this paper, we extend the clique case to a larger family of forbidden graphs, determining the homomorphism threshold exactly for every graph in this family.
An improved range for the maximum critically $t$-intersecting hypergraphs
Let $k>t\ge 1$ be integers and set $d=k-t$. A $k$-uniform hypergraph $\mathcal F$ is called $t$-intersecting if any two edges intersect in at least $t$ vertices, and is called $t$-critical if its minimum $t$-transversal has size $k$. Frankl proved that, for $k\ge d^4$,$|\mathcal F|\le \binom{k+d}{d},$ with equality only for the complete $k$-graph on $k+d$ vertices, and conjectured that the same conclusion should hold when $k>c d^2$ for some constant $c$. In this paper we confirm this conjecture for $c=30$. The proof relies on Frankl's fixed-edge decomposition and Füredi's pseudo-sunflower method.
ROSA: Metric Amplification on Noisy Graphs with Theoretical Guarantees for Amplified Spectral Distances
In many applications, graphs are observed repeatedly, where the task is to observe and track weak localized structural perturbations under noise, such as vertex-coordinate displacements or edge-weight/attribute changes on a fixed vertex set. One-shot graph distances can miss these localized perturbations or fluctuate too strongly to support reliable monitoring, especially in large graphs where signal dilutes with scale. We propose Robust Order-aware Spectral Amplification (ROSA), a distance-amplification operator that integrates metric evaluations along an order-aware edge-removal filtration. We prove that ROSA cannot reduce the included base distance and conditionally increases it whenever a filtered step exposes additional signal; separately, we prove that it can strictly improve an inverse coefficient of variation stability score (IS$^2$), defined as the mean of a noisy graph distance divided by its standard deviation, under an explicit sufficient condition that can be checked empirically. Experiments on synthetic graphs with localized edits under three noise models, varying graph densities, and three algorithmically selected edit sites show that ROSA can often approximately double the IS$^2$ of the base spectral distance. We show where ROSA works and stops working on real-world use cases including mitochondrial networks, fMRI correlation matrices, tissue networks, protein conformer graphs, and retinal vasculature multiplex graphs. The empirical results across graph, operator, and noise settings are consistent with the theoretical amplification conditions and boundary constructions. Evaluated with empirically estimated operative quantities, the bound agrees with the observed gain in direction and approximate scale.
The Turán number of the Cartesian product of trees via star-flip
Motivated by Erdős's conjecture on the Turán number of degenerate bipartite graphs, Bradač, Janzer, Sudakov and Tomon proved that $ \ex(n,T \Box P)=Θ_{T,P}(n^{3/2})$ for every nontrivial tree $T$ and every nontrivial path $P$, and conjectured that the same order of magnitude holds for the Cartesian product of any two nontrivial trees. We prove their conjecture. More generally, for every integer $r\ge2$, we introduce a class of bipartite $r$-degenerate graphs, called $r$-star-flip graphs, that are obtained from a seed tree by a sequence of local vertex-duplication operations. We prove that every fixed $r$-star-flip graph $H$ satisfies $\ex(n,H)=O_H(n^{2-1/r})$. Every Cartesian product of two trees is a $2$-star-flip graph, while the star-flip class also contains graphs that do not arise as such products. As a further application, our framework yields a new proof of Füredi's theorem: if $H$ is a fixed bipartite graph in which at most one vertex in one colour class has degree greater than $r$, then $\ex(n,H)=O_H(n^{2-1/r})$. The key ingredient is a conditional-resampling procedure that extends the tree branching random walk on the seed tree to a random homomorphism of the entire star-flip graph, while preserving the branching-random-walk distribution on every live tree.
The cycle C9 does not admit uniform mixing
We study continuous-time quantum walks (CTQWs) on cycles. In particular, we prove that the cycle $C_9$ does not admit uniform mixing at any time via algebraic geometry and Gröbner basis techniques to rule out all cyclic 9-roots.
Log Canonical Models and Positive Geometries
Constructing log canonical compactifications of open varieties is a central problem in birational geometry. Finding a natural coordinate system and obtaining the equations of these models is difficult in general. We show that for a large class of varieties explicit coordinates for the log canonical model are provided by canonical forms of positive geometries, and use this to compute the equations of these models. Our theory applies, for instance, to complements of hyperplane arrangements, cubic surfaces with lines removed, and the moduli space of marked cubic del Pezzo surfaces.
Eventually greedy best Egyptian underapproximations of rational numbers via optimal control
We prove that every positive rational number has eventually greedy best Egyptian underapproximations, both when repetitions of the denominators are allowed and when the denominators are required to be distinct. This answers affirmatively a problem originating with Erdős and Graham and later revisited by Nathanson, and yields an application concerning the maximal asymptotic growth of denominators in unit fraction series converging to certain rational numbers. We reformulate the question as an optimal control problem for a dynamical system, construct an appropriate payoff function, and study properties of the associated Bellman function. We also answer another question of Nathanson by constructing an irrational number with unique and greedy best Egyptian underapproximations.
Nearly linear lattice coverings of arbitrary convex bodies
For an $n$-dimensional convex body $K$, let $θ_L(K)$ denote its lattice covering density. We prove that there is an absolute constant $C>0$ such that, uniformly over all such bodies, \[
θ_L(K) \le Cn\log n\,(\log\log n)^{10/3+o(1)}. \] The $o(1)$ term is independent of $K$. This improves the previous universal bound $O(n^2)$ of Ordentlich, Regev, and Weiss and, together with the classical linear lower bound of Coxeter, Few, and Rogers for Euclidean balls, determines the optimal polynomial growth exponent of the worst-case lattice covering density.
The main innovation is a vertical--horizontal construction that converts a uniform weight estimate on the full Boolean cube into a lattice covering of any convex body. In a low-dimensional vertical space, folded Gaussians and a finite-field Kakeya theorem select, for every translate, a Boolean pattern with total normalized weight $d^{-5/2+o(1)}$. Gaussian marginals transfer the resulting weights to sections of the body, while entropy yields one horizontal lattice with a very small uncovered set. Finite-index lifting then assembles all shifts into a single lattice, and Rogers' completion lemma makes the covering exact.
Redundant moments of non-melonic random tensor models: simplifying the tensor bootstrap
We prove the redundancy of a family (the so-called melonic family) of large-$N$ moments in arbitrary tensor models. This reduces the number of independent entries in the positive semidefinite matrices that build the core of the tensor bootstrap (for tensor models there are already several generalizations of the positive semidefinite Toeplitz and Hankel matrices of lattice gauge theory and random matrix bootstrap, respectively). More concretely, we prove that any melonic operator $C$ at large-$N$ has an expectation value that depends on $C$ exclusively through its degree. A similar statement is shown here to hold for the Schwinger-Dyson equations of melonic moments. The strength of our result is also its scope, which is not limited to melonic tensor models.
Sumsets and generalized arithmetic progressions in multiplicative subgroups
Let $q=p^f$, and let $A\leq\mathbb{F}_q^\times$ be a multiplicative subgroup with $\mathbb{F}_p(A)=\mathbb{F}_q$. We prove that a proper subgroup $A$ is a generalized arithmetic progression (GAP) if and only if $|A| \in \{1, 2, 4\}$, and we determine when the full group $\mathbb{F}_q^\times$ is a GAP. For certain families of subgroups, we obtain the stronger conclusion that $A$ is additively irreducible. In particular, if $|A|>4$ and $p^e\equiv-1\pmod{|A|}$ for some $e\ge1$, then $A$ admits no nontrivial sumset decomposition. We also prove that every $c \neq 0$ has fewer than $|A|/2$ representations as a sum (or difference) of two elements of $A$ whenever $[\mathbb{F}_q^\times:A] \ge3$ and $|A| \ge 5$, which may be of independent interest.
From Kreweras walks to branching perimeter processes of percolated triangulations
In this note, using a result of Bernardi, Holden and Sun, we give an explicit geometric relation between the perimeter of the peeling process along the percolation interface of a triangulation, and the corresponding Kreweras walk. The relation naturally extends to the branching peeling exploration. This sheds light on the relation between the growth-fragmentation process and correlated Brownian excursions discovered by Da Silva, Powell and Watson.
The Complexity of Kemeny Aggregation with Three Rankings
The Kemeny rule aggregates rankings by minimizing their total Kendall-tau distance from an aggregate order. We prove that Kemeny Score is NP-complete for exactly three unweighted rankings, even when every candidate pair is split $2$-to-$1$. On the same profiles, the winner, unique-winner, and possible- and necessary-precedence problems are $Θ_2^p$-complete, while recognizing a Kemeny-optimal or uniquely Kemeny-optimal aggregate is coNP-complete. The hard instances induce tournaments of majority dimension exactly $3$. The reduction also determines the exact maximum-cut value from the optimal Kemeny score and recovers a maximum cut from any Kemeny-optimal aggregate. For every fixed $q\geq3$ and $\lceil q/2\rceil\leq s\leq q$, minimum pairwise support $s$ yields a sharp dichotomy: the score problem is NP-complete, the winner and precedence problems are $Θ_2^p$-complete, and the recognition problems are coNP-complete when $3s\leq2q$; for $3s>2q$, the majority tournament is transitive and its unique topological order is the unique Kemeny-optimal aggregate. Exact support $s$ suffices in the hard case when $s>q/2$, and supports in ${s,s+1}$ suffice when $s=q/2$. These results give complete fixed-profile-size classifications and transfer to Slater orders, permutation medians, and maximum-likelihood central rankings in the Mallows model. Finally, a six-copy construction proves NP-completeness of both Kemeny Score and Kendall--Tau Center for three pairwise-equidistant rankings that still split every pair $2$-to-$1$. For $N$ output candidates, their common distance is $\frac23\binom N2$, the largest possible for an equidistant triple. The construction gives affine formulas for both optimal values, characterizes all Kemeny-optimal output orders, and shows that the output has a unique Kemeny-optimal order and a unique center exactly when the input has a unique Kemeny-optimal order.
Explicit Matrices over $\mathbb Z_2$ with CNOT and Row Complexity $4n-\mathrm{o}(n)$ and Local Logic Gates
In this article, we present an explicit family of invertible $n\times n$ matrices over $\mathbb Z_2$ whose CNOT and row complexity is at least $4n-\text{o}(n)$; equivalently, reducing these matrices to the identity requires at least $4n-\text{o}(n)$ elementary row operations. Moreover, the same complexity lower bound holds in the stronger computational model where the CNOT gates are replaced by arbitrary local linear logic gates, namely arbitrary invertible linear transformations acting on pairs of coordinates.
Let $G_n$ denote the permutation group generated by local logic gates acting on the set of binary strings of length $n$. We prove that $G_n$ is naturally isomorphic to the group of all invertible affine transformations of the vector space $\mathbb Z_2^n$, thus reducing the problem of estimating the quantum complexity of permutations in $G_n$ to the row reduction complexity of invertible matrices over $\mathbb Z_2$. As an application, we show that the permutations associated with our explicit matrices have quantum complexity at least $4n-\text{o}(n)$.
On Degree Powers in Intersecting Families
For a family $\mathcal{F}\subseteq\binom{[n]}k$ and $R\in\binom{[n]}r$, let $d_{\mathcal{F}}(R)=|\{F\in\mathcal{F}:R\subseteq F\}|$ and $\ell_{r,p}(\mathcal{F})=\sum_{R\in\binom{[n]}r}d_{\mathcal{F}}(R)^p$; at the codegree level we write $co_p(\mathcal{F})=\ell_{k-1,p}(\mathcal{F})$. We develop a discrete two-moment interpolation principle that majorizes $x^p$ on the integer degree lattice by a quadratic interpolant and reduces every real exponent $p\geq2$ to sharp bounds for the first two falling moments. We prove that a full $t$-star maximizes $co_p$ among $t$-intersecting families for every real $p\geq2$ throughout the sharp classical range $n\geq(t+1)(k-t+1)$, and we determine all equality cases. Using Bey's size-sensitive quadratic inequality, we extend the same framework to every nontrivial degree level: if $\mathcal{F}$ is intersecting, $n\geq2k$, and $1\leq r\leq k-1$, then a full point-star maximizes $\ell_{r,p}(\mathcal{F})$ for every real $p\geq2$, again with a complete equality classification. Thus the codegree theorem extends the sharp Wu--Zhang quadratic bound to every real $p\geq2$, completes the quadratic boundary equality classification, contains the Brooks--Linz conjecture as its $p=2$ special case, and, for integer exponents $p\geq2$, resolves the problem of Zhou--Yuan throughout the sharp Erdős--Ko--Rado range.
Stronger Lower Bounds for Tree Covers via Cyclic Symmetry
A tree cover of an $n$-point metric space is a collection of $k$ dominating trees such that every pairwise distance is approximately preserved by at least one tree. The best known general upper bound on the distortion is $\widetilde{O}(n^{1/k})$. Recently, Chen, Tan, and Xu (ITCS 2026, SICOMP 2026) proved a lower bound of $Ω_k(n^{1/2^{k-1}})$ using a topological approach.
We improve their lower bound to $Ω_k(n^{1/[k(p-1)]})=Ω_k(n^{1/O(k^2)})$, where $p$ is the smallest prime strictly larger than $k$. Thus, the gap between the known upper and lower exponents is reduced from exponential in $k$ to a factor of $O(k)$.
Our key observation is a qualitative difference between the antipodal symmetry underlying the binary labels in the previous approach and the cyclic symmetry used here. In the binary setting, every joint label has a unique antipodal partner, whereas every label in $\mathbb{Z}_p^k$ has many partners that differ from it in every coordinate. This flexibility allows an equivariant Borsuk--Ulam-type theorem in only $k(p-1)$ dimensions to produce two nearby vertices with different labels in all $k$ trees. A cyclic unwinding argument then shows that they are far apart in every tree.
The maximum number of paths of even length in a planar graph
For graphs \(G\) and \(H\), let \(N(G,H)\) be the number of unlabeled, not necessarily induced copies of \(H\) in \(G\), and let \(f(n,H)\) be the maximum of \(N(G,H)\) over all \(n\)-vertex planar graphs \(G\). Ghosh, Győri, Martin, Paulos, Salia, Xiao and Zamora conjectured that, for every fixed integer \(\ell\ge 2\), \[
f(n,P_{2\ell+1})
=4\ell\left(\frac{n}{\ell}\right)^{\ell+1}+O(n^\ell). \] We prove the conjecture, including the stated error term. Along the way, we also settle the Cox--Martin optimization conjecture.
Self-avoiding polygons on a three-row square-lattice strip
We give a closed formula for the number $p^{S_2}(n)$ of self-avoiding polygons (SAPs) of length $n$ on the strip $S_2:=\mathbb{Z}\times\{0,1,2\}$, together with closed formulas for those subtypes of SAPs which are determined by the numbers of vertical steps in their leftmost and rightmost columns. For the subtype whose leftmost and rightmost columns each contain two vertical steps, we also derive an alternative representation as a binomial sum. Our derivation is elementary: it is purely combinatorial and geometric and avoids generating functions. Comparing the two representations yields a new geometric proof of an identity arising in Larsen's treatment \cite{L07} of a problem posed by Gessel \cite{G95}. Finally, we show that this subtype of SAPs is closely connected to the sequence A007909. More precisely, for $m\geq0$, the number of these SAPs whose leftmost and rightmost columns each contain two vertical steps and whose length equals $2m+6$ is given by the term of this sequence with index $m$, which thereby acquires a geometric interpretation alongside the compositions it enumerates.
On $\varepsilon$-Matrix Product Factorization of graphs
We introduce an approximate version of matrix product factorization for graphs. A simple graph $G$ on $n$ vertices is said to admit an $\varepsilon$-matrix product factorization if there exist simple graphs $H$ and $K$ on the same vertex set such that $A(H)A(K)$ and $A(G)$ disagree in at most $\varepsilon n^{2}$ entries. This Hamming-type relaxation preserves, outside the error set, the exact interpretation of each edge as having a unique $H$-then-$K$ two-step witness. We establish equivalent matrix, and witness formulations, showing that the sets $N_H(w)\times N_K(w)$ form an approximate disjoint decomposition of the ordered adjacency relation of $G$, and we derive quantitative constraints involving walk counts and the degrees of the factor graphs.
We then construct approximate factorizations for several graph families. Every complete graph $K_n$ has matrix-product-factorization distance $O(1/n)$, despite the exact congruence obstruction that permits exact factorization only when $n\equiv 1\pmod 4$. More generally, a blow-up of a fixed graph on $r$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le r/n$, and the construction is exact whenever every non-isolated part has even order. For bipartite graphs, we give one-sided factorizations that realize one orientation of almost all edges. In particular, every tree on $n\ge2$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le 1/n$, although no nontrivial tree is exactly factorizable. These results show that rigid exact obstructions may disappear under a vanishing proportion of entrywise errors.
Counterexamples, Spectral Obstructions, and Deletion Stability for WOW-284
WOW-284 asserts that the minimum dual degree of every connected graph of order at least three and girth at least five does not exceed the negative of its least distance eigenvalue. We refute it with exact counterexamples of orders $38,39,40,42$, and $50$, and develop a structural theory of the failure. For a connected $k$-regular graph of girth at least five and diameter three, we prove $δ^*(G)+λ_{\min}(D(G))=2k-2-\max_{θ\ne k}(θ+1)^2$. Here $θ$ ranges over the nonprincipal adjacency eigenvalues. We further prove that every regular strict counterexample has degree at least six and diameter at most four, while diameter four forces degree at least ten. We solve the associated one-variable nonbacktracking linear program exactly, including optimizer rigidity. For regular strict counterexamples of diameter three, the optimizer yields a positive-semidefinite slack matrix whose integral excess gives the stronger bound $|V(G)|\le\left\lfloor 3(k+2)^2(k^2+3)/(18k+41)\right\rfloor$; this follows from a three-to-one quantization theorem for the integral excess. The slack matrix's principal minors also recover local cycle constraints. In particular, regular degree-six counterexamples have order at most $50$, and at the degree-six, order-$50$ boundary the associated signed complement is necessarily disconnected. We determine the distance spectra of one- and two-vertex punctures of Moore graphs and establish a uniform deletion-stability bound: every deletion of at most five vertices from the Hoffman--Singleton graph remains a strict counterexample, whereas an explicit six-vertex deletion does not. All theorem-level computations use exact arithmetic. Lean 4.31 kernel-checks the explicit $50$-vertex Hoffman--Singleton counterexample at graph level, finite spectral certificates at orders $38,39,40,42$, and the analytic LP optimum and rigidity for every integer $k\ge4$.