natural ↗ reference
4894 papers tagged with this keyword
Compact graphs and quantum automorphisms
Compact graphs are graphs for which the fractional automorphism polytope has no genuinely fractional vertices. This paper proposes a quantum analogue of this idea by evaluating the fundamental magic unitary of the quantum automorphism group on states, which we show to produce a closed convex set of doubly stochastic matrices sitting between the classical automorphism polytope and the full fractional automorphism polytope. Our main result is that the natural quantum analogue of compactness is classical, that is, a quantum compact graph is classically compact.
We also relate this set to the quantum orbital algebra and obtain a hierarchy of classical and quantum compactness pseudo notions. The framework recovers familiar consequences of compactness through commutants and suggests quantum analogues of generous transitivity and distance-transitivity. We also isolate examples and open problems indicating where quantum symmetries may strictly refine the classical compactness theory.
A bijection on balanced words reversing both $\text{des}$ and $\text{maj}$
Balanced words on a finite alphabet are those words in which every letter of the alphabet occurs the same number of times. The notion of descents and major index extends in a natural way to words. It is known that the bivariate generating polynomials for descents and major index over balanced words on the alphabet $[k]$ with $n$ occurrences each is palindromic, but a bijective proof has been missing even for balanced binary words. We give an explicit bijection proving this result. For permutations (which are also balanced), our bijection is different from the complementation map. We also show that for balanced binary words, this bijection simultaneously flips the ascent and comajor index as well.
On perfect flag-rank metric codes
Flag-rank-metric codes arise as a natural generalization of rank-metric codes in the context of network communication. While recent research has mainly focused on algebraic and structural properties of these codes, the combinatorial geometry underlying the flag-rank metric remains largely unexplored. In this paper, we initiate a detailed investigation of this geometry. We explicitly determine the size of spheres of small flag-rank radius in the space $\mathrm{U}(n,\mathbb{F}_q)$ of upper triangular matrices over the finite field $\mathbb{F}_q$, and consequently obtain formulas for the size of balls of radius at most $3$. Using these enumerative results, we derive a sphere-packing bound for flag-rank-metric codes and introduce the notion of perfect codes with respect to the flag-rank metric. We observe that no non-trivial perfect flag-rank-metric codes exist in $\mathrm{U}(n,\mathbb{F}_q)$ for $n\in\{2,3\}$. We then investigate the possible parameters of perfect codes in higher dimensions. For minimum distance $3$, we obtain a characterization in terms of the codimension of the code, and show that suitable maximum flag-rank distance codes with minimum distance $3$ yield non-trivial perfect codes. For minimum distances $5$ and $7$, we derive explicit quadratic and cubic conditions, respectively, that any perfect code must satisfy. Finally, using asymptotic estimates for balls of fixed radius, we prove that for fixed length $n$ and $δ\in\{3,5,7,9,11\}$, perfect linear flag-rank-metric codes with minimum distance $δ$ do not exist over $\mathbb{F}_q$ for all sufficiently large $q$.
Weak order: Alternating sign matrices, monotone triangles, and bumpless pipe dreams
In 2018, Hamaker and Reiner introduced weak order for monotone triangles, which extended the usual notion of weak order on the symmetric group. Monotone triangles on $\{1, \ldots, n\}$ are well-known to be in bijection with the set ASM$(n)$ of $n \times n$ alternating sign matrices. Hamaker and Reiner defined weak order on ASM$(n)$ to be induced from weak order on monotone triangles via the standard bijection. Recently, the present authors used an a priori different definition of weak order on ASM$(n)$ to give a combinatorial characterization of the codimension of ASM varieties and to show that the natural K-theoretic representatives of these varieties satisfy a divided difference recurrence.
In the present work, we establish compatibility of these definitions of weak order on ASM$(n)$. Additionally, we give three different explicit means of computing weak order covering relations on ASM$(n)$: on ASMs themselves, on monotone triangles in a manner different from that given by Hamaker and Reiner, and on bumpless pipe dreams, which are a newer family of combinatorial objects also in correspondence with ASMs. Finally, using the language of bumpless pipe dreams, we characterize the fibers of the weak order operators, each of which forms a sublattice of the strong Bruhat order on ASM$(n)$.
Hockey-Stick Domination and Distributional Comparison on Finite Posets
We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $μ$ is dominated by $ν$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $ν-μ$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
Let $G$ be a finite abelian group of order $n$, and let $\mathsf M(G,m)$ denote the set of zero-sum sequences over $G$ of length $m$. We introduce the zero-sum polytope $\mathcal P_G$, a rational polytope of dimension $n-1$, whose lattice points encode zero-sum sequences: \[
|\mathsf M(G,m)|=|m\mathcal P_G\cap \mathbb Z^n|. \] This naturally realizes the enumeration of zero-sum sequences as a problem in rational Ehrhart theory, which leads to a combinatorial reciprocity theorem identifying the negative evaluations of the corresponding counting quasipolynomial with zero-sum sequences of full support. Our main results establish a face-stratified rigidity for zero-sum polytopes: whenever two such polytopes have equal total lattice point counts at specific dilations, the dimension-wise open-face strata are equinumerous. Moreover, we study the natural $\operatorname{Aut}(G)$-action on $\mathcal P_G$, derive equivariant generating functions and reciprocity formulas, and obtain cyclic sieving phenomena for natural cyclic actions.
k-Anonymity by Partitions Maximizes Perfect Matchings
The number of perfect matchings in a user-behavior bipartite graph is a natural measure of anonymity: more matchings mean greater uncertainty for an attacker. A fundamental question is which graph structure maximizes this count for a fixed infrastructure cost, represented by the number of edges. We prove that the answer is $k$-anonymity by partitions. Using Brègman's Theorem, we show that partitioning users into equal-sized groups and making each group a complete bipartite component achieves the theoretical upper bound on perfect matchings. For edge counts where an exact partition is impossible, we construct a family of graphs that asymptotically attains this bound as the group size grows. We further prove that this optimality is robust: after an attacker de-anonymizes a user by the most damaging choice, the resulting graph is still a partition graph and remains optimal. Together, these results provide a combinatorial justification for the widespread use of $k$-anonymity by partitions in anonymity system design.
Sharp Bounds for Guiduli-Type Hereditary Spectral Problems
Guiduli asked in 1996 the following problem concerning the maximum spectral radius of a graph under hereditary density constraints. If an $n$-vertex graph $G$ satisfies $e(H)\le c|V(H)|^2$ for every subgraph $H$ of $G$, must one have $λ(G)\le 2cn$? More generally, what remains true when the exponent $2$ is replaced by a constant less than $2$? We study the natural power-law version of this question for all $1<p\le2$. For $1<p\le 2$, define \[
d_p(G)=\max_{\varnothing\ne S\subseteq V(G)}\frac{e(G[S])}{|S|^p}. \] We determine the sharp asymptotic upper bound for $λ(G)$ in terms of $d_p(G)$ and $n$. More precisely, every $n$-vertex graph $G$ with at least one edge satisfies \[ λ(G)\le \begin{cases} \left(\left(\max_{t\in\mathbb N_{\ge1}}\dfrac{t}{(t+1)^p}\right)^{-1}+o(1)\right)d_p(G)\sqrt n,&1<p<3/2,\\[0.4em] \left(\dfrac{3\sqrt3}{4}+o(1)\right)d_p(G)\sqrt{n\log n},&p=3/2,\\[0.4em] (\mathfrak C_p+o(1))d_p(G)n^{p-1},&3/2<p<2, \end{cases} \] and each constant here is best possible. Here $\mathfrak C_p$ is characterized by an exact variational problem over finite kernels. We apply a sparse graphon operator estimate to convert hereditary $p$-density bounds into sharp spectral bounds, and this estimate also explains the transition at the critical exponent $p=3/2$. For the endpoint $p=2$, Wilf's theorem gives the exact finite-$n$ bound $λ(G)\le 2d_2(G)n$, with equality for $K_n$. Thus Guiduli's power-law problem is resolved in its sharp asymptotic form for every $1<p\leq2$, including exact leading constants.
Constrained homomorphism orders
We study partial orders induced by constrained variants of finite graph homomorphisms: monomorphisms, embeddings, full homomorphisms, vertex-surjective, edge-surjective and surjective homomorphisms, and locally injective, locally surjective and locally bijective homomorphisms. For each order we ask for analogues of the standard structural properties of the graph homomorphism order: canonical cores, past- or future-finiteness, universality, gaps and finite dualities. The comparison shows which phenomena are specific to ordinary homomorphisms and which are consequences of simpler order-theoretic mechanisms. We identify cores for full and surjective homomorphisms, relate full-homomorphism cores to point-determining graphs, characterize gaps in the full homomorphism order, and give finite obstruction bounds for several one-sided finite orders. We also analyze locally constrained homomorphisms on connected graphs. In particular, locally injective homomorphisms have all connected graphs as cores, admit infinite-chain density under natural degree-refinement assumptions, have explicit gap witnesses, and are universal already on finite connected bipartite subcubic cactus graphs. The paper reorganizes and extends several earlier arguments into a single framework for constrained homomorphism orders.
(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs
We present Trellis: an autoformalization system that leverages LLM agents in a deterministically constrained workflow to enforce incremental progress in Lean autoformalization tasks through iterative refinement of natural language proofs. Our approach is motivated by the common mathematician's notion of what it means to have a rigorous proof in the first place: namely, that it would be routine to elaborate any part of the proof in further detail. The result is a system which aims to achieve reliable autoformalization on a modest budget and with generalist agents, with specialization to autoformalization coming not from any task-specific agent training but instead from a meaning-of-rigor inspired workflow enforced by process semantics. We link to an end-to-end Lean formalization of a recent Ramsey theory breakthrough produced by the process.
Towards the Lovász conjecture via sublinear expanders
Lovász' famous Hamiltonicity conjecture (1969) states that every connected vertex-transitive graph has a Hamiltonian path. A stronger version of the conjecture, often attributed to Thomassen (1978), states that every sufficiently large such graph even has a Hamiltonian cycle. Despite the great amount of attention these conjectures have attracted over the past decades both in the combinatorial and algebraic communities, for more than 40 years the best known lower bound for the maximum length of a cycle (path) in a connected vertex-transitive graph of order $n$ remained of the form $Ω(\sqrt{n})$, due to Babai (1979). A series of recent works has successively improved the exponent in this lower bound further. In this paper, improving the previous state-of-the-art bound $Ω(n^{9/14})$ due to Norin et al.~(2025), we prove that every connected vertex-transitive graph of order $n$ contains a cycle of length at least $n^{2/3-o(1)}$. This hits a natural barrier for several existing approaches from previous work.
Our proofs combine recent embedding techniques for paths in sublinear expanders, sublinear expander decompositions of almost-regular graphs, and several additional combinatorial ideas.
Kikuchi Graphs of Random Hypergraphs are Approximately Johnson
We prove that level-$\ell$ Kikuchi graphs of random $2r$-uniform hypergraphs spectrally approximate the Kikuchi graph of the complete $2r$-uniform hypergraph at a sampling rate that is sharp up to a logarithmic factor, in the regime $r\leq \ell \leq n/2$. Our proof is based on the matrix Bernstein inequality, but, unlike prior works, we apply it to an appropriate collection of blocks of Johnson eigenspaces. Our analysis relies on a new, simple band-locality property for arbitrary Kikuchi graphs. As an application, we prove that the natural degree-$2\ell$ sum-of-squares relaxation for the Max $2r$-XOR problem is ``integral'' when the input is a planted noisy $2r$-XOR instance on a random hypergraph with $\gtrsim n \cdot (n/\ell)^{r-1} \log n$ hyperedges.
Determinant formulas for Ihara zeta functions via simple cycles
Building upon the algebraic framework of trace monoids introduced by Giscard and Rochet, we establish a new determinant formula for the Ihara zeta functions of certain digraphs. We present our results through two main theorems. First, at the algebraic level, we show a general determinant formula expressed by a Cayley determinant over the hike monoid ring, which provides a unifying perspective on several known determinant expressions. Second, by evaluating the lengths of hikes through a natural ring homomorphism, we prove that the reciprocal of the Ihara zeta function can be explicitly expressed as a determinant whose dimension is equal to the number of simple cycles of the line digraph without backtrack.
$\textbf{k}$-neighborhood ideals of graphs
In this paper, we introduce and investigate the $\textbf{k}$-neighborhood ideal of a graph, a natural generalization of the closed neighborhood ideal. Let $G$ be a simple graph on the vertex set $[n]$, and let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$. For a vector $\textbf{k}=(k_1,\ldots,k_n)\in \mathbb{N}^n$ satisfying $1\leq k_i\leq \textrm{deg}_G(i)+1$ for all $i$, the $\textbf{k}$-neighborhood ideal of $G$ is defined as the squarefree monomial ideal $$\textrm{NI}_{\textbf{k}}(G)=\sum_{i=1}^n\, (\textbf{x}_W:\, W\subseteq N_G[i],\, |W|=k_i)$$ of $S$, where $\textbf{x}_W=\prod_{i\in W} x_i$. We study homological invariants and properties of $\textrm{NI}_{\textbf{k}}(G)$ focusing on its Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness. Special attention is devoted to the case where the vector ${\textbf{k}}$ is the degree-vector of the graph, i.e., $k_i=\textrm{deg}_G(i)$ for all vertices $i$, and to the case where $\textrm{NI}_{\textbf{k}}(G)$ coincides with the edge ideal of a graph. In these settings, we provide combinatorial characterizations and bounds for the regularity and projective dimension of $\textrm{NI}_{\textbf{k}}(G)$ for several classes of graphs, and further investigate the Cohen-Macaulay property of these ideals.
An Explicit $O(r\log r)$ Threshold for Attaining the Semple--Steel Bound with $r$-State Characters
Let $d_r(n)$ be the maximum, over all binary phylogenetic trees with $n$ leaves, of the minimum number of $r$-state characters required to define the tree. Semple and Steel proved that $d_r(n)\geq\lceil(n-3)/(r-1)\rceil$, and Bordewich and Semple proved that equality holds for each fixed $r$ and all sufficiently large $n$. We study the corresponding threshold $n_r$, the least $N$ for which equality holds for every $n\geq N$. The Bordewich--Semple construction yields an explicit polynomial upper bound of order $O(r^5)$ for this threshold. We prove the near-linear estimate \[
3r+1\leq n_r\leq \ceil{64(r-1)\log_2(r+1)}+3\qquad(r\geq4). \] The proof constructs, for every binary phylogenetic tree with $m=n-3$ internal edges, a linked quartet certificate whose conflict graph has maximum degree at most $16\lceil\log_2(m+2)\rceil+4$. Equitable coloring then packs the certificate into exactly $\lceil m/(r-1)\rceil$ $r$-state characters once $m\geq\lceil64(r-1)\log_2(r+1)\rceil$. We also include the lower bound $n_r\geq3r+1$, obtained from the snowflake obstruction, and state the natural conjecture that this lower bound is the exact threshold for all $r\geq4$. The conjectural endpoint is consistent with the known small-state thresholds: $n_4=13$ and $n_5=16$, while the cases $r=2,3$ are also explicitly classified.
Polyhedral models for K-theory of toric and flag varieties
In 1992, Pukhlikov and Khovanskii provided a description of the cohomology ring of toric variety as a quotient of the ring of differential operators on spaces of virtual polytopes. Later Kaveh generalized this construction to the case of cohomology rings for full flag varieties. In this paper we extend Pukhlikov-Khovanskii type presentation to the case of K-theory of toric and flag varieties. First, we study the Frobenius algebras obtained as quotients of the group algebra of free abelian group (possibly of infinite rank). Then we apply this construction to define a K-ring associated to a linear family of (virtual) polytopes. We study in detail two examples of such families: the family of integer (virtual) polytopes with a fixed normal fan and the family of (virtual) Gelfand-Zetlin polytopes. We show that the K-theory of toric and flag varieties can be realized as K-rings of the above families and use this to get natural set of relations in the above K-rings. Further, we describe the classes of structure sheaves of toric orbit closures and Schubert varieties in type A flag varieties. Finally, we show that our results also hold true in T-equivariant setting.
Post-processed frozen-flow methods for the long time sampling of ergodic dynamics on Riemannian manifolds
In this work, we propose a novel intrinsic approach to the approximation of ergodic SDEs on Riemannian manifolds, which include Riemannian Langevin dynamics. In opposition to the standard extrinsic approaches such as penalization methods and projection methods, our methodology does not use embeddings or coordinates and only relies on natural geometric operations: geodesics, parallel transport,... We give a criterion for high order of accuracy for the invariant measure, develop new intrinsic numerical methods designed solely for sampling the invariant measure, and derive high order conditions using a new algebraic operation on exotic Lie-Butcher series. In the spirit of the Leimkuhler-Matthews method, our approach prioritizes long time sampling efficiency over finite time accuracy, and outperforms the previous extrinsic and intrinsic approaches in terms of cost for a given accuracy, which we illustrate with several numerical experiments.
Perverse filtration on Hilbert schemes via upward flow
We explicitly compute the perverse Leray filtration on the top cohomology of Hilbert schemes of points on $Σ\times \mathbb{C}$, for any connected smooth projective curve $Σ$. The computation is carried out in the natural basis given by the $\mathbb{C}^*$-upward-flow cycles. The result is described by a simple symmetric-function dictionary: upward-flow classes correspond to products of complete homogeneous symmetric functions, while the perverse-homogeneous basis corresponds to products of Newton power sums, giving an explicit, upper-triangular change-of-basis between the two.
Multi-entropy in random tensor networks
We study the evaluation of Rényi multi-entropies $S^{(q)}_n$ in Random Tensor Network (RTN) states in the large bond-dimension limit. For the case of Rényi index $n=2$ and arbitrary number of parties $q$, we prove that that multi-entropies are determined by minimal multiway cuts through the network. When the minimal multiway cut is degenerate, we characterize the full minimizer set via compatible families of minimal cuts and give a criterion for all minimizers to come from ordinary cut partitions. For $n=2$, this gives a natural generalization of the minimal cut description of bipartite entanglement to multipartite systems with arbitrarily many parties. For the case of integer $n>2$, we show that the minimal multiway cut conjecture is in general \emph{not true} by providing explicit counter examples for both the single random tensor and for the network built from isometric tilings. We discuss the implication for our results on the multipartite entanglement structures in RTN and holography.
Tree-Based Formalization of Multi-Agent Complementarity in Human-AI Interactions
Complementarity is the case in which a human--AI interaction (HAI) outperforms the best prediction benchmark available among its members. Although this idea is central in HAI research, formal work on complementarity remains limited. Existing frameworks do not model how agents' predictions compose into workflow-sensitive multi-agent protocols. We close this gap by introducing a tree-based formalization of complementarity in multi-agent HAI. An HAI protocol is represented by an ordered agent-role configuration together with a rooted planar binary tree whose leaves are decorated by prediction vectors. A local binary composition rule is evaluated recursively along the tree, yielding a tree-relative complementarity functional relative to a pointwise-min oracle benchmark. We prove four results. First, selector-based HAIs, including self- or AI-reliance, cannot achieve complementarity regardless of task, loss, or prediction quality. Second, in regression under squared loss, complementarity is equivalent to Euclidean distance minimization from the ground-truth vector; for $N=2$, the optimal linear-pooling weight has a closed form and a residual-correction interpretation. Third, under linear local composition, every protocol tree defines a barycentric coordinate chart on the simplex of leaf weights; Tamari-cover reparameterizations of protocol trees preserve complementarity, and for $N=4$, they satisfy the pentagon identity. Fourth, in binary classification, no internal local composition can achieve complementarity under endpoint-monotone losses, including standard Bregman and many finite Bernoulli $f$-divergence losses; an analogous obstruction holds for multiclass aggregation under cross-entropy. In summary, our framework shows that complementarity is attainable in multi-agent regression, but obstructed in classification under natural conditions on local aggregation and loss functions.