https://arxiv.org/api/U2rSYJka4VAMz0d3dSjzLfWJg5U 2026-06-21T18:56:00Z 79105 165 15 http://arxiv.org/abs/2603.29998v6 2026-06-15T17:33:52Z

We provide representations of Euler's constant $γ=0.577...$ as series which converge geometrically fast (but use a certain sequence whose computation induces a quadratic cost). The asymptotic oscillations of these coefficients are determined to all orders. A result of independent interest, about sufficient conditions for the validity, in the case of unbounded parameters, for the Tricomi-Erdélyi asymptotic expansion of the ratio of two Gamma functions, is established for that purpose.

2026-03-31T16:57:18Z 32 pages, 2 figures. v2 incorporated advances from arXiv:2602.19727 and arXiv:2604.24754, v3 and v4 addressed the fact that the e_m's appeared decades ago in theoretical computer science and v5 provided their asymptotics to all orders; arXiv:2602.05511 has now been rewritten to use the tools from v5. v6 simply updates references Jean-François Burnol http://arxiv.org/abs/2606.16983v1 2026-06-15T17:22:17Z

The theory of total positivity was shown by Lusztig to be intrinsically linked to the canonical basis with its positivity properties. When we restrict ourselves to studying total positivity just for the set of lower-triangular unipotent Toeplitz matrices, say in type $A$, then there is a similar link with the quantum cohomology rings of flag varieties and the Schubert bases and their positivity properties. Namely, this builds on a theory of Dale Peterson that gives a uniform Lie-theoretic description of all of the quantum cohomology rings $qH^*(G/P)$. In a precursor to this paper, the Schubert basis and quantum parameters in $qH^*(SL_n/B)$, which restrict to positive-valued functions on totally positive Toeplitz matrices, were analysed with respect to their limiting behaviour as $n\to\infty$, uncovering a novel connection with the classical Edrei theorem on parametrising the infinite totally positive Toeplitz matrices. In this paper we study the Grassmannian case, using the conventions from the $SL_{n}/B$ setting as a guide, and we determine the quantum parameter and Schubert class asymptotics in different scenarios. Along the way, we obtain a new interpretation of the strange duality involution on the localised quantum cohomolgy ring of the Grassmannian. Finally, we prove an asymptotic formula for quantum parameters in a partial flag setting, and we furthermore formulate some conjectures concerning partial flag varieties and related quantum cohomology asymptotics.

2026-06-15T17:22:17Z 28 pages Ines Chung-Halpern Konstanze Rietsch http://arxiv.org/abs/2606.16971v1 2026-06-15T17:08:44Z

For a digraph $D$, a subset $Q\subseteq V(D)$ is called a $q$-kernel if $Q$ is an independent set and all vertices in $V(D)$ are reachable from $Q$ via a directed path of length at most $q$. Given integers $q\geq 2$ and $δ\geq 1$, Spiro arXiv:2404.07305 [math.CO] posed the question: what is the smallest constant $c_{δ,q}$ such that every digraph $D$ with minimum in-degree $δ$ has a $q$-kernel of size at most $c_{δ,q}|V(D)|$? We show the constants $c_{δ,q}$ are monotone in both $δ$ and $q$, and we improve upon the known upper bounds for $c_{δ,q}$. Our main results show $\frac{1}{δ+1} \leq c_{δ,q}\leq \frac{1}{\lfloor\sqrt{δ+1}\rfloor+1}$ for all $q \geq 3$ and $δ\geq 1$, and $ c_{δ,q}=\frac{1}{δ+1}$ whenever $δ\geq 1$ and $q \geq \left\lceil\frac{3δ}{2}\right\rceil + 1$.

2026-06-15T17:08:44Z 15 pages, 2 figures Geoffrey Boyer Matt Burnham Daniela Černá Stephen G. Hartke Isaiah Hollars Joel Jeffries Sydney Miyasaki Tobias Timofeyev http://arxiv.org/abs/2606.14666v2 2026-06-15T17:05:01Z

We give a brief exposition of a result of Song, Nguyen, and Lin (2026) that every election (with ranked preferences) has a Condorcet winning set of at most five candidates.

2026-06-12T17:36:43Z Moses Charikar Prasanna Ramakrishnan Kangning Wang http://arxiv.org/abs/2606.16963v1 2026-06-15T17:01:34Z

Encoding phylogenetic networks by suitable substructures is a central problem in phylogenetic combinatorics. We study encodings based on least common ancestor (LCA) constraints. For a directed acyclic graph (DAG) $G$ with leaf set $X$, we consider the relation on pairs of leaves in which $(ab,xy)$ records that the LCAs of $a,b$ and $x,y$ are well-defined and that the former is a descendant of the latter. We first identify precisely which part of $G$ is determined by this relation. To this end, we compare the canonical DAG constructed from the LCA relation with the 2-regularization of $G$, obtained by removing all vertices that are not LCAs of one or two leaves and then deleting shortcut edges. We prove that these two DAGs are isomorphic. Hence the obstruction to encoding a graph by its LCA relation is exactly the information lost under 2-regularization. This yields a general reconstruction principle, which we apply to several natural classes of phylogenetic networks. In particular, we show that shortcut-free 2-LCA-relevant DAGs, phylogenetic trees, regular level-1 networks, regular networks with binary clustering systems, regular networks whose clustering systems are closed weak hierarchies, strong-phylogenetic normal networks, separated phylogenetic normal networks, and binary normal networks are encoded by their LCA relations. We also introduce a sparse triple-like restriction consisting only of comparisons of the form $(ab,ac)$, where $a,b,c\in X$ are pairwise distinct. For graphs with the 2-LCA property, we show that this sparse relation, together with the leaf set, determines the full LCA relation after a natural closure operation. Consequently, several of the above classes can be reconstructed, up to isomorphism, from the sparse relation in polynomial time.

2026-06-15T17:01:34Z Marc Hellmuth Anna Lindeberg Vincent Moulton http://arxiv.org/abs/2606.16956v1 2026-06-15T16:58:04Z

Eventually constant set-valued representations of a quiver are set-theoretic analogues of nilpotent representations. In recent work by Green-Holmes-Im, the authors enumerated eventually constant set-valued representations for equioriented cyclic quivers using the directed matrix-tree theorem. In this paper, we extend this enumeration to finite quivers without sinks for which every vertex is the target of sufficiently long paths. We encode the representations as directed acyclic graphs and introduce a recursive source-removal method for certain classes of directed acyclic graphs. This yields a strictly upper triangular matrix enumerator in the incidence algebra of the subset lattice. To compute the cardinality of the eventually constant representations, we compress this enumerator to a matrix indexed by cardinality vectors, the set-theoretic analogues of dimension vectors. We conclude by specializing the formulas to the Jordan quiver and recovering the multisymmetric generating polynomial for the cyclic quiver without using the matrix-tree theorem.

2026-06-15T16:58:04Z 35 pages, 6 figures Radford Green Cornell Holmes Mee Seong Im http://arxiv.org/abs/2606.16955v1 2026-06-15T16:57:59Z

Extending earlier results of Nešetřil and Rödl [Selective graphs and hypergraphs, Ann. Discrete Math. 3 (1978), 181--189], we show that for every ordered graph $F$ there exist an ordered graph $H$ and a system $\mathscr{H}_F$ of induced copies of $F$ such that every colouring of the edges of $H$ yields a canonically coloured copy of $F$ from $\mathscr{H}_F$ and any two copies from $\mathscr{H}_F$ intersect either in a vertex or an edge or not at all. As a consequence, this allows us to construct, for any given ordered graph $F$, canonical Ramsey graphs $H$ enjoying additional structural properties. In particular, $H$ can have the same clique number as $F$ and, provided $F$ is not bipartite, the same odd girth. Moreover, if $F$ is connected, then the copies of $F$ from $\mathscr{H}_F$ are not only induced, but their pairs of vertices also have the same distances in $H$ as in $F$.

2026-06-15T16:57:59Z 48 pages Matías Azócar Carvajal Ayush Basu Christian Reiher Vojtěch Rödl Giovanne Santos Mathias Schacht http://arxiv.org/abs/2606.16921v1 2026-06-15T16:26:12Z

Given a hypergraph with edges of size at most 3, the 3-set cover problem asks to determine the minimum size of a family of edges which covers the vertex set. As the problem is NP-hard, it is natural to consider its fractional (linear programming) relaxation, which provides a lower bound on the value of the optimal solution. The ratio between the actual value and that of the fractional relaxation is called the integrality gap. A classic bound of Lovász implies that the integrality gap in this problem is at most 11/6. This has been improved to 5/3 by Fujito and Okumura. Here we prove that the integrality gap is at most 3/2, which is best possible. A corollary of this result is that the vertex set of any 3-uniform, regular hypergraph on n vertices can be covered by n/2 (or fewer) edges. This solves the k=3 case of a problem of de A. Moreira and Kohayakawa. As another application, we derive a certain variant of the Gale-Shapley stable marriage theorem for triples.

2026-06-15T16:26:12Z 28 pages Eli Berger Ron Holzman http://arxiv.org/abs/2606.07478v2 2026-06-15T16:21:59Z

For a finite group $G$, let $β(G)$ denote the minimum cardinality $|P|$ among finite posets $P$ whose automorphism group $\Aut(P)$ is isomorphic to $G$. While every finite group is realizable as the automorphism group of some finite poset, exact values of $β(G)$ are known only in special cases, most notably for cyclic groups. In this paper we prove that $β(\mathbb{Z}_2 \times \mathbb{Z}_4) = 14$; in particular, the product bound $β(G \times H) \le β(G) + β(H)$ is sharp in this case. The upper bound is realized by an explicit $14$-element poset $P_{14}$, whose automorphism group is computed by a height-function argument together with a rigidity analysis of its covering relations. The lower bound, which constitutes the substantive part of the proof, is established by a case analysis of the orbit decompositions of a hypothetical poset on at most $13$ points under a faithful $G$-action, organized according to the largest orbit size; in each case we construct an order-automorphism outside the given copy of $G$, contradicting $\Aut(P) \cong G$. Among non-cyclic groups, to our knowledge this is the first exact determination of $β(G)$ whose lower bound requires a structural analysis of this kind: for the other non-cyclic abelian groups of order at most $8$, namely $\mathbb{Z}_2 \times \mathbb{Z}_2$ and $\mathbb{Z}_2^3$, the value of $β$ is elementary. The arguments are closely adapted to the subgroup lattice of $\mathbb{Z}_2 \times \mathbb{Z}_4$.

2026-06-05T17:32:13Z Ponaki Das Sainkupar Marwein Mawiong http://arxiv.org/abs/2606.16894v1 2026-06-15T16:06:40Z

Dyer (1991) proved that, for each fixed length $k$, only finitely many isomorphism types of Bruhat intervals occur in finite Coxeter groups. In this short paper, we prove that this result holds also for affine Coxeter groups, and moreover that this characterizes the affine groups among all infinite Coxeter groups. We also show that the coefficients of $q$ in the Kazhdan-Lusztig polynomials of a Coxeter group are bounded if and only if the group is finite or affine.

2026-06-15T16:06:40Z 6 pages Grant T. Barkley Christian Gaetz http://arxiv.org/abs/2602.06490v2 2026-06-15T15:37:58Z

Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gröbner basis implies the existence of a Koszul filtration for algebras defined by generic determinantal ideals and for algebras defined by binomial edge ideals. We also resolve a conjecture of Ene, Herzog, and Hibi by constructing an example where this implication fails. These results are underpinned by algorithms we develop for constructing Koszul filtrations.

2026-02-06T08:35:46Z Corrections to section 3, a new section 4, removed previous section 5, and minor edits elsewhere. The new Theorem 3.9 provides a corrected version of the previous Theorem 3.7 Emily Berghofer Lisa Nicklasson Peder Thompson Thomas Westerbäck http://arxiv.org/abs/2404.14320v3 2026-06-15T15:29:53Z

We prove a common generalization of several mass partition results using hyperplane arrangements to split $\mathbb{R}^d$ into two sets. Our main result implies the ham sandwich theorem, the necklace splitting theorem for two thieves, a theorem about chessboard splittings using hyperplanes with fixed directions, and all known cases of Langerman's conjecture about bisections with $n$ hyperplanes. Our main result also confirms an infinite number of previously unknown cases of the following conjecture of Takahashi and Soberón: \emph{For any $d+k-1$ measures in $\mathbb{R}^d$, there exist an arrangement of $k$ parallel hyperplanes that bisects each of the measures.} The general result follows from the case of measures that are supported on a finite set with an odd number of points. The proof for this case is inspired by ideas of differential and algebraic topology, but it is a completely elementary parity argument. Additionally, we disprove a conjecture by Langerman on bisections of measures using hyperplane arrangements, showing that the conditions in our main result are sometimes necessary.

2024-04-22T16:31:32Z 19 pages, 4 figures - v2 update: added counterexample to Langerman's conjecture Alfredo Hubard Pablo Soberón http://arxiv.org/abs/2606.16832v1 2026-06-15T15:11:19Z

We introduce selection structures, a topological framework that extends the role played by color classes and matroids in discrete geometry and KKM theorems. Selection structures allow us to extend classic results to genuinely non-matroidal examples, including chessboard complexes and matching complexes. We show that several matroidal versions of classic results can be generalized to selection structures. These include McGinnis' version of Komiya's KKMS theorem, Holmsen's version of Carathéodory's theorem, Kalai and Meshulam's version of Helly's theorem, and Sadovek's version of the Goodman--Pollack transversal theorem.

2026-06-15T15:11:19Z 24 pages, 1 figure Pablo Soberón http://arxiv.org/abs/2606.16829v1 2026-06-15T15:10:00Z

Inspired by work of Altmann and Christophersen, we study the graded pieces of the cotangent cohomology $T^i_{S_{\mathcal{K}}}$, $i\geq 3$ of the Stanley-Reisner ring $S_{\mathcal{K}}$ associated to a simplicial complex $\mathcal{K}$. We prove a localization formula allowing one to reduce to the case of negative weights. Our results give a complete description of $T^3$ and $T^4$ in terms of the topology of $\mathcal{K}$ whenever $\mathcal{K}$ is a flag complex. As an application, we give a sufficient criterion for the vanishing of $T^3$ for simplicial spheres, classify two-spheres that have vanishing $T^3$, and show that the boundary complex of the dual associahedron has vanishing $T^3$. Our results make use of the arborescent resolutions considered by Hancharuk, Laurent-Gengoux, and Strobl. We give an alternative and self-contained treatment of these resolutions that may be of independent interest.

2026-06-15T15:10:00Z Nathan Ilten Francesco Meazzini Andrea Petracci http://arxiv.org/abs/2606.16828v1 2026-06-15T15:09:22Z

We analyze Column-Row Impartial Merge (CRIM), an impartial combinatorial game played on integer partitions. A move in CRIM consists of removing an arbitrary row or column from the corresponding Young diagram, with the remaining parts reattaching to form a single partition. We define rectairs -- a common generalization of rectangles and staircases -- and characterize their $\mathcal{P}/\mathcal{N}$-status. We define the meld operation on partitions and show that the meld of losing rectairs is losing. We introduce Odds-Are-Even (OAE) and Evens-Are-Odd (EAO) partitions, proving that all OAE partitions are $\mathcal{P}$-positions and characterizing the losing positions within EAO partitions. We determine the $\mathcal{P}/\mathcal{N}$-status for staircases and for $2$- and $3$-part partitions. We evaluate CRIM and its restrictions to certain partition families within the Conway-Gurvich-Ho classification scheme, establishing that CRIM is neither returnable nor domestic. We conjecture that every losing partition has even rank.

2026-06-15T15:09:22Z 24 pages, 7 figures, 1 appendix Ina Bašić Eric Gottlieb Matjaž Krnc