sequence
6966 papers tagged with this keyword
Cohomological support varieties for monomial ideals
Let $R$ be a local or positively graded ring with a regular presentation $R \cong Q/I$ where $I$ is a monomial ideal generated by $n$ elements on a regular sequence. In Briggs-Grifo-Pollitz (2025), the authors classify the cohomological support varieties $\mathcal{V}_R(R)$ for $n \leqslant 5$. In this paper we extend their results to classify the varieties that can occur as $\mathcal{V}_R(R)$ for $n=6$. Moreover, we provide two families of rings, one realizing cohomological support varieties of unbounded codimension, the other realizing an unbounded number of components. Finally, we answer a question of Gintz (2026) about the varieties that occur as $\mathcal{V}_R(R)$ where $I$ is given by the edge ideal of a cycle.
Sprout Symmetric Functions: Part 1
A \emph{sprout sequence} is a sequence
$\frakr=(R_0=1,R_1,R_2,\dots)$ of symmetric functions in the
variables $\bmx=(x_1,x_2,\dots)$ over a field $K$ generated from a
power series $F(t)=1+a_1t+a_2t^2+\cdots$ by the rule $\sum_{n\geq
0}R_nt^n = \prod_{i\geq 1} F(x_it)$. The power series $F(t)$ is
called the \emph{seed} of $\frakr$. This concept originated in the
work of Littlewood and Richardson (though not with the name ``sprout
sequence''), and numerous examples of sprout sequences have appeared
in the literature. They are related to chromatic Tutte polynomials
of complete graphs and complete hypergraphs, binomial posets, upper
homogeneous (upho) posets, topological genera, etc.
We first develop the basic theory of sprout sequences and then look
at the special case $F(t)=\sec(\sqrt{t})$. We give five
characterizations of sprout sequences and consider the expansion
of sprout symmetric functions in terms of well-known symmetric
function bases. The Schur positivity, elementary symmetric function
positivity, and complete homogeneous symmetric function positivity
of $R_n$ for all $n$ are completely characterized using the
Edrei-Thoma theorem from the theory of total positivity.
The seed $F(t)=\sec(\sqrt{t})$ is especially interesting. The
expansion of $R_n$ in the power sum or monomial basis is related to
alternating permutations. The Schur function expansion is related to
standard Young skew tableaux. The expansion in terms of the complete
symmetric functions has nonnegative integer coefficients, but we
don't know a combinatorial interpretation. Finally we give a formula
for $R_n$ as a sum of chromatic symmetric functions of interval
orders.
Small-scale operations on graphic sequences
A sequence D=(d1, d2, ..., dn) of positive integers is graphic if it is the degree sequence of a simple graph, called in this case a {\em realization} of D. In this paper, we introduce the operation of 2-reduction, that subtracts 1 from two integers of D such that the resulting sequence D' is graphic if and only if D is graphic. We show that 2-reductions allow us to simply generate all the realizations of D, to prove existing characterizations of graphic sequences, as well as to propose new characterizations that highlight connections between mathematical and algorithmic aspects of graphic sequences.
A higher homological approach to the $q$-characters of representations of quantum affine algebras
For any acyclic quiver $Q$ without multiple edges, we construct a monoidal category $\mathcal{R}_Q$ whose indecomposable objects are tensor products (over the base field) of finite-dimensional modules over the path algebra of $Q$. We show the existence and uniqueness up to homotopy of certain distinguished chain complexes satisfying good homological properties (higher almost split complexes) preserved under tensoring by objects in $\mathcal{R}_Q$. As a crucial ingredient for this construction, we establish the existence of a family of complete exceptional sequences in $\mathrm{mod}\,\mathbf{k}Q$ satisfying many good properties, which we believe might be of independent interest. We then prove that when $Q$ admits a height function, the Euler characteristics of (the images under certain additive functor of) these complexes coincide with the truncated $q$-characters of the standard modules in Hernandez-Leclerc's category $\mathcal{C}^{(1)}$. Applying our results to the case where the underlying graph of $Q$ is a Dynkin diagram of type $A_n, n \geq 1$, we also interpret the cluster characters of all cluster variables in the finite type cluster algebra $\mathcal{A}_Q$ as Euler characteristics of certain chain complexes in $\mathcal{R}_Q$.
Above and below
We study a family of above-below Ramsey functions $\operatorname{AB}^{(d)}(k)$ defined for sequences of points in $\mathbb R^d$ whose projections to $\mathbb R^{d-1}$ have cyclic order type. The case $d=3$ is the above-below function $\operatorname{AB}(k)$ that was first introduced by Pohoata and Zakharov in their work on the Erdős-Szekeres problem in $\mathbb{R}^{3}$. We prove the sharp estimate \[ \operatorname{AB}(k)=2^{2^{Θ(k)}}, \] and, more generally, show that $\operatorname{AB}^{(d)}(k)$ is closely related to the higher-order cup-cap function of Eliáš and Matoušek and the monotone Ramsey numbers of Balko.
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
Combinatorial counting problems pervade artificial intelligence, statistics, and discrete mathematics. Whether the task is enumerating subsets, multisets, permutations, partitions, or compositions under structural and arithmetic constraints, solving it remains a stubbornly manual exercise. Closed-form derivations are powerful but brittle, while naive encodings to propositional model counting or constraint satisfaction destroy the exchangeability that makes counting tractable in the first place. We present Cofola (COmbinatorial counting LAnguage with First-Order logic), a typed declarative language whose primitives are the combinatorial objects that recur in everyday counting questions, including sets, bags, tuples, sequences, circles, partitions, and compositions, together with natural relational and arithmetic constraints over them. A denotational semantics maps every Cofola program to a well-defined combinatorial counting problem, and a three-phase compilation pipeline (preprocessing, decomposition, and symmetry-preserving encoding) reduces this problem to a weighted first-order model counting (WFOMC) instance augmented with coefficient-extraction constraints. To stay inside known domain-liftable fragments whenever possible, the encoding groups indistinguishable entities, breaks the symmetry of unordered groupings lexicographically, and encodes sequences and circles via order axioms. On a suite of representative combinatorial counting problems, ranging from textbook math problems to multi-object scenarios that the closest prior framework cannot express, Cofola produces concise specifications and a uniform solving pipeline that is practical end-to-end.
Asymptotic probability of irreducibles III: Anti-SEQ
In this paper, we study the structure of the complete asymptotic expansion of the probability that a large combinatorial object is connected or consists of a given number of connected components. For rapidly growing labeled families of structures, the coefficients involved in these expansions are possibly negative integers. Using species theory, we interpret these coefficients as the difference between the counting sequences of two derivative species of structures. In particular, we show that this difference can be viewed as the counting sequence of the virtual species obtained with the help of an "anti-$\mathrm{SEQ}$" operator applied to the initial family of structures. Applications include $P$-angulated discrete surfaces, quadratic square-tiled surfaces, and non-orientable graph encoded manifolds, which were not reachable with our previous methods.
Moving on to the weighted species, we establish the whole structure of the asymptotic expansion of the probability that a graph is connected in the Erdős-Rényi model $G(n,p)$. Here, the asymptotic coefficients are polynomials in $\frac{p}{1-p}$ and can be described both in terms of simple graphs and irreducible tournaments with ties. We also provide general asymptotic results for sequence and cycle decomposition, as well as the complete asymptotic expansion of the probability that a random labeled tournament with ties is irreducible.
Finite-state enumeration of adjacency-constrained 132-avoiding permutations
For a fixed integer $m\ge 1$, let $\mathcal{A}_n^{(m)}$ be the set of permutations $π\in S_n$ that avoid the pattern $132$ and satisfy the adjacency bound $|π_{i+1}-π_i|\le m$ for all $i$. Here, a pattern $132$ means three indices $i<j<k$ such that $π_i<π_k<π_j$. A recent study initiated the enumeration of these constrained 132-avoiding permutations, treating the case $m=2$ by deriving a rational ordinary generating function and asking for finite-state decompositions, rational generating functions, and explicit rational formulas for larger fixed $m$. We introduce a two-sided endpoint-state decomposition that works uniformly for every fixed $m$. The state variables impose threshold bounds on the endpoint deficiencies $n-π_1$ and $n-π_n$, with thresholds in $\{0,1,\ldots,m-1,\infty\}$. This gives at most $(m+1)^2$ states and proves that, for every fixed $m$, the ordinary generating function $A^{(m)}(x)$ is rational and can be computed effectively by exact linear algebra. We also identify cyclic strongly connected components of the dependency graph in the finite-state system to give an explicit upper bound for the order of an eventual constant-coefficient recurrence satisfied by the sequence $a_n^{(m)}=|\mathcal{A}_n^{(m)}|$. We then recover the known case $m=2$ from this state system and work out the case $m=3$ explicitly. On the asymptotic side, we prove that the exponential growth constant exists for every $m$; for $m\ge2$ it is obtained from the spectral radii of the two cyclic components with more than one vertex in the state system. We determine the simple-pole asymptotics for $m=2$ and $m=3$, and we prove that the growth constants are nondecreasing in $m$, strictly smaller than the Catalan growth constant $4$ for every finite $m$, and converge to $4$ as $m\to\infty$.
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
Betti Numbers of Cut Complexes of Squared Paths and a Recurrence Conjecture
For a graph $G$ on $[n]$, the $k$-cut complex $Δ_k(G)$ has facets $[n]\setminus T$, where $T$ ranges over the disconnected $k$-vertex induced subgraphs of $G$. Bayer, Denker, Jelić Milutinović, Sundaram, and Xue proved that the $k$-cut complex of the squared path $P_n^2$ is shellable for $n\ge k+3$ and conjectured a finite-difference recurrence for its top reduced Betti number along every diagonal $n-k=r$. We prove the recurrence by giving the exact formula $β(k,n)=\binom{n-1}{k-1}-\sum_{j=0}^{\min\{k-1,n-k\}}\binom{k-1}{j}(n-k-j+1)+(n-k)$ for $r=n-k\ge3$. Equivalently, for fixed $r\ge3$, the diagonal sequence $B_r(k)=β(k,k+r)$ is a polynomial in $k$ of degree $r-1$, and therefore $\nabla^rB_r(k)=0$. The proof uses a complementary-face enumeration: among complements with size at least $k$, all bad complements have size $k$ or $k+1$, and they are, respectively, connected $k$-subsets of $P_n^2$ and intervals of length $k+1$. The same formula also proves the conjectural closed forms for $k=4,5$.
Finding a Solution to the Erdős-Ginzburg-Ziv Theorem in Linear Time
The Erdős-Ginzburg-Ziv theorem states that every sequence of 2n - 1 integers contains a subsequence of length n whose sum is divisible by n. Choi, Kang, and Lim gave a simple deterministic O(n log n) algorithm for finding such a subsequence, and Leung recently improved this to O(n log log log n). We give a deterministic linear-time algorithm. The core is a linear-time algorithm for the following prime target subset-sum problem: given p - 1 nonzero residues in Z_p and a target residue, find a subset with the prescribed sum. Our algorithm maintains a compact arithmetic-progression representation of reachable sums. When two progressions intersect, a bounded Frobenius interval in their sum allows them to be merged into one longer progression, with enough growth to pay for the update. When the representation either contains a full progression or covers all nonzero residues, the target residue is recovered constructively. The standard multiplicative reduction then extends the prime algorithm to arbitrary moduli.
Remarks on the disproof of the unit distance conjecture
We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erdős unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.
Navigating Posets with Few Maps
We study two new parameters for finite posets motivated by the problem of efficiently determining the set of successors of a given element. A plane map of a poset $P=(X,\leq)$ is an injective mapping of $X$ into the Cartesian plane $\mathbb{R}^2$. Given two different points $a$ and $b$ in the plane, we say that $b$ dominates $a$ if $a<b$ coordinatewise. We say that an element $x$ of $P$ is tight in a plane map $μ$ if the following holds: $x<y$ in $P$ if and only if $μ(y)$ dominates $μ(x)$. Note that, by definition, every 2-dimensional poset admits a map such that every element of the poset is tight. For any poset $P$, we define the mapability of $P$, $\mathrm{dmap}(P)$, to be the maximum number of elements that are tight in a single map, and we define the atlas thickness of $P$, $\mathrm{at}(P)$, to be the size of the smallest collection of maps such that every element is tight in at least one map of the collection.
We relate these parameters to the classical notions of dimension and width: for every poset $P$, we show that $\mathrm{dim}(P) \le 2\mathrm{at}(P) \le \mathrm{width}(P)+1$. On the other hand, there exists a sequence of posets $(P_n)_{n \ge 1}$ such that the atlas thickness of $P_n$ is doubly exponential in the dimension of $P_n$.
On the computational side, we prove that it is NP-complete, for a given poset $P$, to compute the mapability of $P$ and to decide whether $\mathrm{at}(P) \le 2$. In contrast to the latter, we show that computing the mapability of a poset is fixed-parameter tractable with respect to the natural parameter.
On degree bounds of $k$-uniform hypergraphs with bounded matching number
We study the connection between the degree sequence of a $k$-uniform hypergraph and the size of its largest matching. Let $\mathcal{F}$ be a $k$-uniform hypergraph on $n$ vertices and let $d_1 \ge d_2 \ge \dots \ge d_n$ be the vertex degrees arranged in non-increasing order. For integers $k\ge 2$, $s\ge 2$ and $n > 2sk$, we prove that if the $(2sk+1)$-th largest degree satisfies $d_{2sk+1} > \binom{n-1}{k-1} - \binom{n-s}{k-1},$ then $\mathcal{F}$ contains a matching of size at least $s$. This can be viewed as a generalization of theorems by Lu, Guo, and Jiang (2023) and Huang and Rao (2026). Moreover, by relaxing the range of $n$, we obtain the same bound for the $(k+2s-2)$-th largest degree vertex. Note that the number $k+2s-2$ is optimal.
For a $k$-set of vertices $S \subseteq [n]$, the degree of $S$ is defined as $\mathrm{deg}(S) = \sum_{v \in S} \mathrm{deg}(v)$, and the minimum of $\mathrm{deg}(S)$ over all non-edge $k$-subsets $S \notin E(\mathcal{F})$ of $V(\mathcal{F})$ is the Ore-degree of $\mathcal{F}$, denoted by $σ_k(\mathcal{F})$. Balogh, Palmer and Raeisi proved: for $s \ge 2$ and $n \ge 3k^2(s-1)$, if $σ_k(\mathcal{F}) > k\left(\binom{n-1}{k-1} - \binom{n-s}{k-1}\right),$ then $\mathcal{F}$ contains a matching of size $s$. They also conjectured that the result holds when $n > sk$. As a corollary, we prove that the bound on $n$ can be taken to be linear in $sk$ ($ n \geq 3sk $).
The generating function of A348410 in OEIS using the diagonal method
$a_n=[x^n](1-x)^{-n}(1-x^2)^{-n}$ is the sequence A348410 in the Encyclopedia of Integer Sequences. Using a method from Hautus and Klarner from 1971 and the software \textsf{Gfun} we find an algebraic equation for the generating function $g(z)=\sum_na_nz^n$.
Universal Cycles on Affine Lines
A universal cycle is a cyclic sequence in which each object of a combinatorial family appears exactly once as a contiguous window. While such cycles are well understood for many discrete structures and linear subspaces, the case of affine lines presents additional difficulties arising from parallelism.
We prove that universal cycles exist for affine lines in $\mathrm{AG}(n,q)$ for all $n \ge 2$ and all prime powers $q$. Our construction embeds the problem into $\mathrm{PG}(n,q)$, using points at infinity to encode directions, and proceeds via a decomposition into pairwise and triple configurations combined with a recursive lifting and gluing argument.
We further interpret the construction in the Grassmannian $G_q(2,n+1)$, where affine lines correspond to the outer shell of $2$-subspaces, thereby extending known constructions for Grassmannians. A Python implementation is provided as supplementary material.
A parallel wakeup problem and multi-room light switch strategies
The wakeup problem in distributed computing asks for a symmetric protocol that enables one of several processors to eventually guarantee that all (or, in a more general setting, enough) other processors have acted, using a shared register but no global clock. Dropping the symmetry requirement gives a well-known exercise often phrased in terms of prisoners entering, in an unknown sequence, a room equipped with a single binary switch, and using it to communicate. Kane and Kominers recently analysed a more general version of the latter with multiple parallel and indistinguishable rooms. We answer some open questions of Kane and Kominers regarding the minimum number of switch states needed for the prisoners to solve the problem. We also consider the symmetric ``wakeup'' version of this scenario, and establish exactly for which numbers of processors and registers a solution is possible.
Max-tree for d-permutations and pattern avoidance
Higher dimensional permutations are tuples of d-1 permutations that can be identified with a point set in a d-dimensional grid. In N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), several conjectures regarding the enumeration of pattern avoiding d-permutations were stated.
In this paper, we consider a mapping from d-permutations to $2^{d-1}-$ary trees that naturally generalizes the classical max-tree construction for permutations. We then show that, when restricted to d-permutations avoiding (21,12) and 231, this mapping yields a bijection with d-ary trees. This result resolves one of the conjectures of Bonichon and Morel.
The edit distance of word-representable and comparability graphs
In this paper, we establish that the maximum edit distance of an $n$-vertex graph from the hereditary property of word-representable graphs is $n^2/8-o(n^2)$. In addition, we establish that the maximum edit distance of an $n$-vertex graph from the hereditary property of poset comparability graphs is $5n^2/32-o(n^2)$.
In fact, we determine the edit distance function over all edge densities $p\in [0,1]$ for the property of word-representable graphs, for the property of $k$-word-representable graphs for each $k\geq 2$, and for the property comparability graphs. The latter has a peculiar structure that requires an infinite sequence of colored regularity graphs.
The Weighted Tower of Hanoi: Algebraic Structure, Phase Transitions, and Integer Sequences
We develop a unified algebraic theory of the weighted Tower of Hanoi with arbitrary nonnegative symmetric move costs depending on both disc index and pegs. Starting from a general optimality recurrence with two competing strategies -- one largest-disc move (one-LDM) and two largest-disc moves (two-LDM) -- we derive complete matrix formulations for both regimes and obtain explicit closed forms for the minimal transfer cost.
The one-LDM dynamics is governed by a nontrivial linear operator whose spectral decomposition reveals a fundamental connection with the Jacobsthal and Lichtenberg sequences, while the two-LDM dynamics exhibits pure exponential growth. This framework yields exact solutions for broad classes of weight models, including peg-symmetric, disc-symmetric, polynomial, geometric, arithmetic, and sequence-induced costs. In particular, choosing classical integer sequences (Fibonacci, Lucas, Jacobsthal, Pell, Euler, etc.) as disc weights produces new derived sequences with explicit formulas and recurrences, establishing the Tower of Hanoi as a sequence-generating transform.
We further introduce and analyze models with forbidden moves and move-type-dependent weights, uncovering a phase transition phenomenon in which the optimal strategy switches from two-LDM behavior for small discs to one-LDM behavior beyond a finite threshold. Our results provide a comprehensive algebraic and combinatorial understanding of weighted Hanoi dynamics and expose deep connections between optimal solutions and classical integer sequences.