arXiv++ Combinatorics

This paper establishes a formal framework for the cocyclic development of Hadamard matrices over loops based on a novel cohomology theory with associativity obstructions. In this context, we formalize the notion of a loop-cocyclic Hadamard matrix, so that both the classical cocyclic Hadamard matrices over groups and the recently introduced pseudococyclic Hadamard matrices over loops are naturally embedded within this broader algebraic architecture. To validate the computational viability of this framework, we prove the existence of four new Hadamard equivalence classes of order 24 and eight new classes of order 28 that are strictly non-cocyclic over any finite group, arising uniquely as loop-cocyclic developments over Moufang and right Bol loops.

We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.

Let $G$ be a finite group acting properly by lattice automorphisms on a complete simplicial fan $Σ$. An open question due to Stanley asked whether the (ungraded) representation carried by the cohomology $H^*(X_Σ)$ of the associated toric variety $X_Σ$ is isomorphic to a permutation representation of $G$. We prove that Stanley's question has an affirmative answer for all smooth projective toric varieties without the properness assumption on the action. The proof is inspired by toric mirror symmetry.

The cohomology ring of the complement of a complex hyperplane arrangement is given by its Orlik--Solomon algebra. It is known that the defining ideal of the Orlik--Solomon algebra has a quadratic Gröbner basis in the standard presentation if and only if the intersection lattice is supersolvable; such algebras are automatically Koszul. In 1997, Shelton and Yuzvinsky posed the question as to whether all Koszul Orlik--Solomon algebras arise from supersolvable arrangements. We answer this question negatively using three related constructions that produce non-supersolvable arrangements whose Orlik--Solomon algebras are Koszul. Moreover, these arrangements may be chosen to be irreducible, realizable over $\mathbb{Q}$, and of any rank $\geq 3$. Our constructions rely on a result of Falk and Proudfoot which we strengthen and generalize. In two of the three cases, we show non-supersolvability using a corrected form of a result of Ziegler regarding supersolvability of parallel connections. We also construct Koszul Orlik--Terao algebras coming from non-supersolvable arrangements.

An Euler circuit of a graph is a closed path that visits every edge of the graph exactly once. Euler circuit and circuit decomposition problems can also be formulated for higher dimensional simplicial complexes. An Euler k-circuit in K is a cyclic sequence of vertices v_1...v_n such that every k+1 adjacent terms { v_i,v_{i+1},...,v_{i+k} } (indexed modulo n) form a k-simplex, and every k-simplex of K appears exactly once in the sequence v_1v_2...v_n(v_1v_2...v_k). We investigate the 2-circuit decomposition problem for triangulated closed compact surfaces. For an orientable triangulated surface we use interior angles of paths to define an obstruction that lives in the first cohomology of the surface. It vanishes if and only if the surface has a 2-circuit decomposition. We also show that a non-orientable triangulated surface has a 2-circuit decomposition if and only if its orientable 2-fold cover does.

We develop a localized persistent theory of commutative algebra for Stanley-Reisner rings, based on local cohomology supported at a coordinate prime rather than at the maximal ideal. The construction is modeled on the persistent Stanley-Reisner theory of Suwayyid and Wei (arXiv:2503.23482) and its functorial development for graphs and hypergraphs (arXiv:2512.17619), in which invariants of the face ring such as graded Betti numbers and f- and h-vectors are persisted across a filtration. That framework is built from the minimal free resolution and is thus Tor-theoretic; we work instead on the injective side, and the resulting modules record information localized at a single vertex, complementing the global picture given by maximal-support local cohomology. For a vertex prime $p_i = (x_j : j \neq i)$ we prove an exact $\mathbb{Z}^n$-graded decomposition of $H^q_{p_i}(k[Δ])$ into the maximal-support local cohomology of the deletion and of the link of the vertex $i$, the first in $x_i$-degree zero and the second repeated in every positive $x_i$-degree; at the level of graded dimensions this recovers the vertex-prime case of Rahimi's bigraded formula. With Hochster's formula this yields a closed combinatorial description of every multigraded piece. Building on this structure we introduce per-vertex persistent local cohomology numbers, prove a persistent links-Hochster formula, obtain interval decompositions of the resulting reversed-arrow persistence modules and a bottleneck stability theorem, retain multiplication by the uninverted variable as a morphism of persistence modules that the two barcodes alone do not determine, and extend the theory to an arbitrary coordinate prime, where the multiplication maps of the uninverted variables assemble into a commuting Boolean diagram of persistence modules.

We investigate a combinatorial notion of orientability for abstract GKM graphs and its connections to graph cohomology in the sense of Guillemin--Zara. In particular, we prove that orientability of the GKM graph is equivalent to Poincaré duality of the rational (non-equivariant) graph cohomology algebra. As an application, we prove that orientable GKM graphs remain connected after removing any single vertex.

In this paper, after reviewing recent progress on the cohomology of $\overline{\cal M}_{0,n}$, we further our investigation on the cohomology of moduli spaces of pointed curves in continuation of [2,4,5,6,7,8]. In particular, we prove that the Betti number distribution of the Fulton-MacPherson compactification $C[n]$ of the space of $n$ ordered distinct points on any smooth projective curve $C$ is asymptotically Gaussian as $n$ goes to infinity.

We show that the operadic structure on the cohomology of the poset of noncrossing 2-partitions is isomorphic to the Brace operad.

Let $\mathcal{A}$ be a finite central real hyperplane arrangement and let $\mathcal{G}(\mathcal{A})$ be its tope graph. Koizumi recently proved that the crossing-graded magnitude homology of $\mathcal{G}(\mathcal{A})$ is torsion-free and is freely indexed by face flags. We refine his result by proving that a fixed crossing vector and terminal chamber determine a summand of rank at most one. Over $\mathbb{F}_2$, we use the canonical cohomology basis to determine the crossing-graded magnitude cohomology ring of $\mathcal{G}(\mathcal{A})$.

We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit vector space basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the rational cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement.

We construct a connected graph on 240 vertices in which every open neighborhood is isomorphic to $K(7,3)$. The graph arises as a binary voltage cover of $K(10,3)$. More generally, the gauge classes of local-neighborhood-preserving binary voltage covers over the fixed labeled base $K(10,3)$ are naturally identified with $H^1(M_3(10);\mathbb{F}_2)$, a vector space of dimension 42. Quotienting by the natural $S_{10}$ action gives 1,245,395 orbits, including 1,245,394 nonzero orbits, each consisting of connected covers. The cohomology class $[α]$ of the displayed 240-vertex graph has $S_{10}$-orbit size 126 and $\operatorname{Stab}_{S_{10}}([α])\cong S_5\wr C_2$. Thus fixed-base covers are classified cohomologically, while allowing base relabeling gives the stated $S_{10}$-orbit set.

Polygon equations form a family of equations generalizing the pentagon equation. In this paper, we construct semi-simplicial sets of permitted colorings associated with set-theoretic solutions of polygon equations and use them to define the corresponding (co)homology groups. We investigate several properties of these groups and establish an equivalence of categories between set-theoretic solutions of polygon equations and higher Segal semi-simplicial sets satisfying certain conditions. As a special case, our result recovers the correspondence between bijective set-theoretic solutions of the pentagon equation and $2$-Segal semi-simplicial sets proved by Dyckerhoff--Kapranov.

Toric varieties can be constructed from rational polytopes, and several invariants of toric varieties can be expressed in terms of the combinatorics of the corresponding polytope. Barthel-Brasselet-Fieseler-Kaup (BBFK) introduced combinatorial intersection cohomology for convex polytopes, which agrees with the intersection cohomology of the associated toric variety when the polytope is rational. Maxim-Schuermann computed the intersection cohomology signature of a projective toric variety, corresponding to the case of a polytope with rational vertices. Using the combinatorial framework of BBFK, we show that the Maxim-Schuermann formula extends to arbitrary convex polytopes. Finally, we discuss a version of the Hodge index theorem for polytopes.

The resonance graph of a hexagonal system is connected, which shows that a perfect matching can be transformed into any other perfect matchings by a series of flips along hexagons. However, the resonance graph of a coronoid system (with holes) is not necessarily connected. Saldanha et al. (Discrete Comput. Geom. 14 (1995) 207-233) used homology and cohomology theory to obtain three versions of criteria for two tilings of a quadriculated region in the plane to be in the same connected component of the flip graph. Inspiblack by the combinatorial version, in this paper we use a purely graph-theoretical approach to give a criterion in terms of simple invariant\textcolor{black}{---flow} across cuts between holes/exterior face for two perfect matchings of a coronoid system $G$ to be in the same connected component of its resonance graph. As a corollary we obtain a criterion for the resonance graph of a coronoid system to be connected. We also discuss whether such \textcolor{black}{criteria} are applicable to nanotubes, and construct a nanotube whose resonance graph is connected, which disproves a conjecture proposed by Tratnik et al. (MATCH Commun. Math. Comput. Chem. 74 (2015) 175-186).

We prove several bounds on the largest and smallest eigenvalues of the combinatorial Hodge Laplacian $Δ^H_k$ of a finite simplicial complex $Σ.$ As a consequence, we obtain new vanishing criteria for cohomology groups $H^k(Σ,\mathbb{R)}$ and confirm a conjecture of O on the dimensional monotonicity of the largest eigenvalue.

A graphic arrangement $\A_G$ associated with a simple graph $G$ is a classical and well-studied object in the theory of hyperplane arrangements. In this note, we show that, for a connected graph $G$, a slight modification of the logarithmic vector field $D(\A_G)$ of $\A_G$ is isomorphic to the face ring of a certain simplicial poset. This allows us to give formulas for several algebraic invariants of $D(\A_G)$, such as its Hilbert series, local cohomology, projective dimension, and Castelnuovo--Mumford regularity, in terms of combinatorial and topological information about the corresponding simplicial poset. As a by-product, we also give an explicit vector space basis of $D(\A_G)$.

The classical Durfee-square argument gives a combinatorial proof of the pentagon identity for the quantum dilogarithm. Just as the pentagon identity is associated with the $A_2$ quiver, Keller's identity is associated with the square-product quiver $A_2\square A_2$. Previous proofs of Keller's identity use cluster categories or spectral sequences in rapid-decay equivariant cohomology. We give three proofs of Keller's identity: a generating-function proof, an explicit weight-preserving bijection on colored partitions, and a standard-monomial proof using a four-colored arc algebra. Their common mechanism is an iterated Durfee decomposition: two possible pairings give horizontal and vertical decompositions, while a third binary step accounts for the coupling factor. These constructions provide a ``superpotential analogue'' of the Durfee-square argument.

A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. Since classical methods are unavailable in this setting, we use a homological method to compute the cohomology ring. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.

Let $A:\mathbb{F}_2^n\to\mathbb{F}_2^m$ be a binary linear map with fixed coordinate bases, let $C_A=\ker A$, and let $λ_A(y)$ be the minimum Hamming weight of a preimage of the syndrome $y$. We define $\operatorname{Shat}_{q,s}(A)$ as the least common check support of a $q$-dimensional syndrome subspace whose every nonzero element has coset-leader weight at least $s$. It therefore distinguishes release of $q$ independent syndromes from release of a subspace with no easy linear combination. Deleting check coordinates $F$ releases $\ker A_{\bar{F}}/\ker A$, canonically isomorphic to $(\operatorname{im} A)[F]$. Finiteness implies $R_q(C_A)\ge \mathsf{N}_2(q,s)$, where $\mathsf{N}_2(q,s)$ is the shortest length of a binary code of dimension $q$ and distance at least $s$; profile-Griesmer bounds independently control common check support. The hierarchy is coordinate-relabeling invariant but can change under a change of check basis. For the pair-repetition code $C_n=\{(x,x):x\in\mathbb{F}_2^n\}$, the standard realization $H_0=[I_n\ I_n]$ has $\operatorname{Shat}_{q,s}(H_0)=\mathsf{N}_2(q,s)$ whenever feasible. For every $q\ge 1$ and $s\ge 2$, with $n=\mathsf{N}_2(q,s)$, a row-equivalent realization of the same code has value $q$. For a simplicial coboundary map $A=δ_k$, check erasure is top-face erasure and the released quotient is emergent cohomology. At $s=1$ the hierarchy reduces to generalized Hamming weights and is Tutte-determined; for $s\ge 2$, even identical labeled cut codes can have different values.