https://arxiv.org/api/UgeInRoiEjBtBxLKU92zVBPOOiI 2026-06-21T10:25:36Z 79105 60 15 http://arxiv.org/abs/2605.24689v2 2026-06-17T15:27:09Z

We introduce the \emph{Morse ensemble polynomial} $\ME_K(z_0,\ldots,z_d)$ of a finite simplicial complex $K$, defined as the generating function $\ME_K = \sum_M \prod_i z_i^{c_i(M)}$ over all acyclic matchings $M$ on the face poset of $K$, where $c_i(M)$ counts critical $i$-simplices. This polynomial records the complete distribution of Morse vectors across all discrete Morse functions on $K$, and is an isomorphism invariant of simplicial complexes. Our main results are the following. \textbf{(I) The Laplacian Formula}: for any connected graph $G$, $\ME_G = z_1^{m-n}\det(z_0z_1\,I_n + L_G)$, identifying $\ME_G$ as a complete Laplacian spectral invariant and showing $\ME_G$ to be incomparable with the Tutte polynomial. \textbf{(II) The Top-Face Recursion}: adding a $d$-simplex $σ$ (with $\partialσ\subset K$) to a complex $K$ gives a recursion $\ME_{K\cup\{σ\}} = z_d\cdot\ME_K + \sum_{τ\precσ}(\ME_{P(K')\setminus\{σ,τ\}}-F(K,σ,τ))$. The correction term is controlled by the top incidence graph: an incidence-separation criterion detects exactly when $F=0$, and the incidence distance gives the leading obstruction term. As a topological application, this recursion gives exact coefficient recursions for perfect and optimal discrete Morse vectors. \textbf{(III) The independence ME polynomial} $Φ(G) := \ME_{\mathrm{Ind}(G)}$ is a fine graph invariant which strictly refines the graph-level Morse ensemble $\ME_G$, separates examples not distinguished by $T_G$ and $I(G;t)$, and records collapse-level information of $\mathrm{Ind}(G)$ through coefficients such as $[z_0]Φ(G)$.

2026-05-23T17:56:04Z 32 pages Chong Zheng http://arxiv.org/abs/2512.10590v2 2026-06-17T14:54:47Z

In a recent work, Sharma and Panda~\cite{sharma} showed that every bipartite graph with a perfect matching has property (P). In this paper, we investigate the converse direction, i.e., when property (P) forces the existence of a perfect matching in bipartite graphs. We show that such graphs are balanced and establish that property (P) is equivalent to the existence of a perfect matching for several families of bipartite graphs.

2025-12-11T12:33:09Z Restructured text, added new results, and removed the sections threaded union over a graph, generalized threaded union over a graph for clarity and to improve flow G. Arunkumar Puja Samanta http://arxiv.org/abs/2603.02151v2 2026-06-17T14:50:42Z

We prove two conjectures of Shteiner and Shteyner stating that for an undirected graph $G=(V,E)$, the number of degree sequences arising from its spanning subgraphs is at least the number of forests in $G$, with equality if and only if $G$ is bipartite. In the process of proving the bipartite case, we provide several equivalent evaluations of the Tutte polynomial $T_G(x,y)$ at $(2,1)$, including interpretations in terms of degree vectors obtained from orientations of $G$. For the non-bipartite case, we prove strict inequality by expressing degree sequences as subset sums of signless incidence vectors and comparing these with linearly independent edge sets, showing that the presence of odd cycles yields additional independent sets beyond forests. We further strengthen this result by introducing odd pseudoforests, showing that their number is bounded above by the number of degree sequences and characterizing the corresponding independent sets accordingly.

2026-03-02T18:14:53Z 25 pages, partly expository. Comments are welcome! v2 adds an AI-discovered proof of the inequality for non-bipartite graphs and a further strengthening. (Removed myself from the author list, as my contribution has been minimal. --DG) Benjamin Liber http://arxiv.org/abs/2605.20905v2 2026-06-17T14:31:35Z

Let $P$ be a $d$-dimensional convex lattice polytope. In this article, we prove that the ratio of the volume of a normal-sized miniature of $P$ to that of $P$ is $1:\binom{2d+1}{d},$ which generalizes the known results for the unit hypercube and lattice simplices provided by the author. This theorem is proven by establishing that the number of horizontal miniatures of $P$ with resolution $t$ is a polynomial of degree $d+1$ in $t$ whose leading coefficient is $\mathrm{vol}\,P/(d+1),$ which is derived from Ehrhart theory.

2026-05-20T08:49:13Z 4 pages, 1 figure; Generalized for $d$-dimensional convex lattice polytopes in the $n$-dimensional Euclidean space Takashi Hirotsu http://arxiv.org/abs/2606.19095v1 2026-06-17T14:05:42Z

Terwilliger algebras are subalgebras of a matrix algebra constructed from an association scheme. Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions in the case where the association scheme is commutative. A sixth condition for a Terwilliger algebra coming from a commutative Schur ring to be almost commutative has since been discovered. In this paper we first provide a classification of orbit Schur rings that produce an almost commutative Terwilliger algebra for a finite cyclic group. In particular, we show that the subgroup of automorphisms used to form the orbit Schur ring is either trivial, or the whole automorphism group when the cyclic group has prime power order. If the cyclic group has order $2^n$, these are the only options. If the cyclic group has order $p^n$, for an odd prime $p$, then the automorphism subgroup of order $p^{n-1}$ also works. If the group has a non-prime power order then the only orbit Schur ring that produces an almost commutative Terwilliger algebra comes from the trivial subgroup of the automorphism group. We then give a condition for when a wedge product of Schur rings produces an almost commutative Terwilliger algebra. This allows us to determine exactly when a Schur ring over a cyclic group produces an almost commutative Terwilliger algebra.

2026-06-17T14:05:42Z Nicholas L. Bastian Stephen P. Humphries http://arxiv.org/abs/2308.16626v4 2026-06-17T14:03:34Z

Let $Q$ be a quiver of $A_n$ type and $\mathbb{K}$ be an algebraically closed field. A nilpotent endomorphism of a quiver representation induces a linear transformation of the vector space at each vertex. Generically among all nilpotent endomorphisms of a fixed representation $X$, there exists a well-defined Jordan form of each of these linear transformations $\operatorname{GenJF}(X)$, called the generic Jordan form data of $X$. A subcategory of $\operatorname{rep}(Q)$ is Jordan recoverable if we can recover $X$ up to isomorphism from its generic Jordan form data. There is a procedure which allows one to invert the map from representations to generic Jordan form data. The subcategories for which this procedure works are called canonically Jordan recoverable. We focus on the subcategories of $\operatorname{rep}(Q)$ that are canonically Jordan recoverable, and we give a combinatorial characterization of them.

2023-08-31T10:46:27Z v2 : minor changes following reports of this article as part of my Ph.D. thesis; v3 : new section 3.3 on two ways of calculating GenRep that coïncide + minor changes; v4 : minor changes and improvement in the presentation of the technical sections (4,5 and 6) Benjamin Dequêne http://arxiv.org/abs/2606.19054v1 2026-06-17T13:24:06Z

This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.

2026-06-17T13:24:06Z 245 pages, First Version. arXiv admin note: text overlap with arXiv:1310.7930 by other authors Julien Dalpayrat-Glutron http://arxiv.org/abs/2606.19032v1 2026-06-17T12:58:29Z

Daisy cubes are partial cubes whose vertices can be represented by a down-set of a Boolean lattice. This paper gives a label-free characterization: a finite partial cube is a daisy cube if and only if every Djoković--Winkler $Θ$-class is peripheral. The proof orients each $Θ$-class toward a peripheral halfspace and shows that the resulting $Θ$-coordinate labels are closed downward. The characterization turns recognition into a condition on the halfspace structure and gives an exact obstruction formulation: the minimal forbidden pc-minors for daisy cubes are precisely the pc-minor-minimal partial cubes containing a non-peripheral $Θ$-class. We also give an infinite product family of such obstructions. For all $r\ge 2$ and $s\ge 1$, the graph obtained from $P_3^{\square r}\sq Q_s$ by deleting the two opposite corners is a minimal forbidden partial cube-minor for the class of daisy cubes.

2026-06-17T12:58:29Z 13 pages Guangfu Wang http://arxiv.org/abs/2606.19008v1 2026-06-17T12:34:13Z

For an integer-valued sequence $\{a(n)\}_{n\geq 0}$ and a prime $\ell$, a Ramanujan-type congruence is a relation of the form $a(\ell n-δ_{\ell})\equiv 0\pmod\ell$, where $δ_{\ell}$ is a specific shift. In this paper, we present explicit constructions of modular forms to establish Ramanujan-type congruences for a broad class of generating functions, including eta-quotients, weakly holomorphic modular forms, and mock modular forms. As applications, our explicit approach provides a unified framework to not only recover known congruences but also establish new non-congruence results and explicit congruences for various combinatorial and arithmetic functions.

2026-06-17T12:34:13Z Wei Wang http://arxiv.org/abs/2606.19006v1 2026-06-17T12:32:56Z

This note addresses the resonance of monomial subspaces. In the first part, we completely characterize the cases where the Fitting scheme structure of the resonance associated with a monomial subspace is reduced, and we further investigate the primary decomposition of the corresponding Fitting ideal. The second part focuses on non-monomial subspaces having the resonance of a monomial subspace.

2026-06-17T12:32:56Z Călin Spiridon http://arxiv.org/abs/2504.15096v2 2026-06-17T12:22:22Z

In this paper, we investigate the problem of finding {\it bisections} (i.e., balanced bipartitions) in graphs. We prove the following two results for {\it all} graphs $G$: (1). $G$ has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in its own part; (2). $G$ also has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in the opposite part. These results are asymptotically optimal up to a factor of $1/2$, aligning with what is expected from random constructions, and provide the first systematic understanding of bisections in general graphs under degree constraints. As a consequence, we establish for the first time the existence of a function $f(k)$ such that for any $k\geq 1$, every graph with minimum degree at least $f(k)$ admits a bisection where every vertex has at least $k$ neighbors in its own part, as well as a bisection where every vertex has at least $k$ neighbors in the opposite part. Using a more general setting, we further show that for any $\varepsilon > 0$, there exist $c_\varepsilon, c'_\varepsilon > 0$ such that any graph $G$ with minimum degree at least $c_\varepsilon k$ (respectively, $c'_\varepsilon k$) admits a bisection satisfying: every vertex has at least $k$ neighbors in its own part (respectively, in the opposite part), and at least $(1 - \varepsilon)|V(G)|$ vertices have at least $k$ neighbors in the opposite part (respectively, in their own part). These results extend and strengthen classical graph partitioning theorems of Erdős, Thomassen, and Kühn-Osthus, while additionally satisfying the bisection requirement.

2025-04-21T13:31:27Z 30 pages Advances in Combinatorics 2026:5, 30pp Jie Ma Hehui Wu 10.19086/aic.2026.5 http://arxiv.org/abs/2606.17549v2 2026-06-17T11:46:02Z

An upper homogeneous (upho) poset is a poset whose every principal filter is isomorphic to the whole poset. Fu--Peng--Zhang conjectured that every finitary upho poset admits a compatible left-cancellative, invertible-free monoid structure whose left-divisibility order coincides with the given order. We disprove this conjecture. For every vertex-transitive graph $G$, we construct a finitary upho poset $P(G,v_0)$ from walks starting at a fixed vertex $v_0$. Applying this construction to the Petersen graph, we show that multiplicability of $P(G,v_0)$ would force the automorphism group of $G$ to contain a regular subgroup. This would imply that $G$ is a Cayley graph, contradicting the fact that the Petersen graph is not Cayley. Hence $P(G,v_0)$ is a non-multiplicable finitary upho poset. We also show that the analogous poset associated with the line graph of the Petersen graph is multiplicable, demonstrating that non-Cayleyness of the underlying graph alone does not determine multiplicability.

2026-06-16T05:52:25Z 23 pages, 2 figures, 1 table Ryunosuke Matsuoka http://arxiv.org/abs/2606.18956v1 2026-06-17T11:38:08Z

In a previous note, a two-player game between a random player and a deterministic player was introduced, and it was shown analytically that the winning probability of the deterministic player is the derangement probability dn/n!. The natural question left open was to explain this coincidence combinatorially. This paper gives such an explanation and extends it to a larger family of games. In the generalized game, the deterministic player removes q elements per turn, or all remaining elements if fewer than q remain. We couple the game exactly to the cycle decomposition of a uniformly random permutation. Under this coupling, the random player wins precisely when the first cycle of length at most q, read in canonical cycle order, is a fixed point. The case q = 1 recovers derangements, while the general case is governed by the first short cycle of the permutation.

2026-06-17T11:38:08Z Yehonatan Fridman http://arxiv.org/abs/2605.00463v2 2026-06-17T11:19:51Z

This paper explores the dimension theory of non-Noetherian graded rings by introducing the class of Hilbert--Serre rings. We generalize Krull's dimension theorem and Smoke's dimension theorem by establishing the fundamental inequalities $\dim_{\mathrm{gr}}(R) \leq \dim(R) \leq \operatorname{GKdim}_k(R) \leq d(R)$ for any Hilbert--Serre ring $R$, where $d(R)$ is the pole order of its Poincaré series at $t=1$. Furthermore, we apply these results to initial algebras, proving that all these dimensions, including the transcendence degree, coincide for monomial algebras. Finally, we provide explicit examples demonstrating that these inequalities can be strict in general, even for integral domains.

2026-05-01T06:55:51Z 18 pages. Comments and Suggestions are very welcome. v2: Fixed some typos and added a counterexample to Question 6.8 of ver1 Rirai Ikeda http://arxiv.org/abs/2606.18934v1 2026-06-17T11:16:11Z

We study monadic dependence of binary relational structures including at least one antisymmetric relation. Our cornerstone result gives sufficient conditions for proving that a structure is monadically dependent by only considering some of its reducts, assuming they are structurally well-behaved and compatible enough. As an application, we consider some reorientation rules preserving monadic dependence of binary structures, as well as replacement of one antisymmetric relation with bounded independence number by another. Then, we apply our main (technical) result to the study of twin-width in two ways. First, generalizing the fact that twin-width boundedness is equivalent to being expandable by a linear order into a monadically dependent class, we prove that it is also equivalent to being expandable by an oriented graph with bounded independence number (for instance by a poset with bounded width or by a tournament), and that FO-model checking is fixed-parameter tractable on such an expansion. Second, we show delineation by twin-width for some new classes of oriented graphs, including oriented split graphs and local tournaments. In all these cases, we also obtain fixed-parameter tractability of FO-model checking.

2026-06-17T11:16:11Z Hector Buffière Yuquan Lin Patrice Ossona de Mendez