Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On computational complexity of Khovanov homology
Computing the Jones polynomial of general link diagrams is known to be $\#$P-hard, while restricting the computation to braid closures on fixed number of strands allows for a polynomial time algorithm. We investigate polynomial time algorithms for Khovanov homology of braids and show that for $3$-braids there is one. In contrast, we show that Bar-Natan's scanning algorithm runs in exponential time when restricted to simple classes of $3$-braids. For more general braids, we obtain that a variation of the scanning algorithm computes the Khovanov homology for a bounded set of homological degrees in polynomial time. We also prove upper and lower bounds on the ranks of Khovanov homology groups.
Hilbert Polynomials of Calabi Yau Hypersurfaces in Toric Varieties and Lattice Points in Polytope Boundaries
We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.
Harmony in 10-TET: From Parallel Universes to Cousins of Desargues Configuration
The 10-tone equal temperament (10-TET) constitutes a distinct harmonic environment with step sizes exceeding the standard semitone, yet it has historically remained on the fringes of music theory. This paper proposes a radical shift in perspective, treating 10-TET not as an imperfect imitation of 12-TET, but as an independent harmonic universe with its own rigorous logic. We classify all possible harmonic systems in 10-TET using a single structural parameter, representing the difference between the harmonic mediants (the major and minor thirds) which sum to the generator (the fifth).
Our analysis reveals a rich landscape of possibilities. The system defined by the structural parameter equal to 1 (we call it Wide) initially appears to suffer from a fundamental structural flaw: its harmonic space fractures into two disjoint, parallel universes. Conversely, the Wide system (structural parameter equal to 5) emerges as a geometrically superior structure, isomorphic to the Unique Cyclic Configuration in the classification of combinatorial 10_3 configurations, forming a fully connected, vertex-transitive graph. Between these extremes lies the Tritone system (structural parameter equal to 3), which topologically is similar to the Wide system, but it has a significantly larger symmetry group, due to the Tritone modal transformation. We conclude by providing a complete classification of these systems as bipartite circulant graphs, demonstrating that 10-TET is a mathematically complex and musically viable alternative to the standard 12-tone system.
Lee-Yang phenomena in edge-coloured graph counting
We study the accumulation of zeros of a polynomial arising from the enumeration of edge-coloured graphs along certain limit curves. The polynomial is a variant of an edge-chromatic polynomial, which specialises to the partition function of the ferromagnetic Ising model on a random regular graph. We call this accumulation behaviour a Lee-Yang phenomenon in analogy with the Lee-Yang theorem. The limiting loci are semialgebraic and arise from anti-Stokes curves of an exponential integral.
Tree metrics and log-concavity for matroids
We show that a set function $ν$ satisfies the gross substitutes property if and only if its homogeneous generating polynomial $Z_{q,ν}$ is a Lorentzian polynomial for all positive $q \le 1$, answering a question of Eur-Huh. We achieve this by giving a rank 1 upper bound for the distance matrix of an ultrametric tree, refining a classical result of Graham-Pollak. This characterization enables us to resolve two open problems that strengthen Mason's log-concavity conjectures for the number of independent sets of a matroid: one posed by Giansiracusa-Rincón-Schleis-Ulirsch for valuated matroids, and two posed by Dowling in 1980 and Zhao in 1985 for ordinary matroids.
A modern perspective on Tutte's homotopy theorem
We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.
From Historical Puzzles to Grammatical Constraints: Circular Partitions, Generalized Run-Length Encodings, and Polynomial-Time Decidability
Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical problem involves arranging individuals on a circle and eliminating every k-th person until a desired group remains. We analyze both removal and non-removal approaches to circular partitioning, establishing conditions for balanced partitions and providing explicit algorithms. We introduce generalized run-length encodings over partitioned alphabets to capture alternating letter patterns, computing their cardinalities using Stirling numbers of the second kind. Connecting these combinatorial structures to formal language theory, we formulate an existence problem: given a context-free grammar over a dictionary and block-pattern constraints on letters, does a valid sentence exist? We prove decidability in polynomial time by showing block languages are regular and applying standard parsing techniques. Complete algorithms with complexity analysis are provided and validated through implementation on both historical and synthetic instances.
Efficient Enumeration of Cliques in Graphs with Bounded Maximum Degree
In recent years, there has been a surge of interest in extremal problems concerning the enumeration of independent sets or cliques in graphs with specific constraints. For instance, the Kahn-Zhao theorem establishes an upper bound on the number of independent sets in a $d$-regular graph. Building on this, Cutler and Radcliffe extended the result by identifying the graph that maximizes the number of cliques among graphs with bounded order and maximum degree.
In this paper, we introduce an innovative approach for counting cliques in graphs with a bounded maximum degree. To demonstrate the effectiveness of the method, we provide a new proof for the above Cutler-Radcliffe theorem and the Kahn-Zhao theorem.
Subcubic graphs without eigenvalues in $(-1, 1)$
Guo and Royle recently classified the connected cubic graphs without eigenvalues in the open interval $(-1, 1)$, and raised the question of extending their classification to graphs of maximum degree at most $3$. They carried out a preliminary investigation of the subcubic case, exhibiting both infinite families and sporadic examples. In this paper, we complete this investigation by determining all connected subcubic graphs that are not cubic and have no eigenvalues in $(-1,1)$. We show that exactly two infinite families and eight sporadic examples occur, and that every sporadic graph has at most $18$ vertices.
As a consequence, we prove that $(-1,1)$ is a maximal spectral gap set for the class connected subcubic graphs. Guo and Royle, answering a question of Kollár and Sanark, proved that $(-1,1)$ is a maximal spectral get set for the class of connected cubic graphs. Our result strictly extends theirs.
A general formula for walk determinants of rooted products with applications to DGS-graph constructions
For an $n$-vertex graph $G$, and a rooted graph $H^{(v)}$ with $v$ as the root, the rooted product graph $G\circ H^{(v)}$ is obtained from $G$ and $n$ copies of $H$ by identifying the root of the $i$th copy of $H$ with the $i$th vertex of $G$ for each $i$. As a refinement of the controllability criterion of $G\circ H^{(v)}$ obtained recently by Shan and Liu (2025), we obtain an explicit formula for the determinant of the walk matrix of $G\circ H^{(v)}$. Furthermore, for an important family of graphs $\mathcal{F}$ that are determined by their generalized spectrum (DGS), we introduce the concept of $\mathcal{F}$-preservers and provide a sufficient condition for a rooted graph to be an $\mathcal{F}$-preserver. A list of $\mathcal{F}$-preservers of small order is provided, which leads to many new infinite families of DGS-graphs using rooted products.
General inverse theory for the $\mathsf{U}^4$ norm
In this paper, we develop a quantitative inverse theory for the Gowers uniformity norm $\|\cdot\|_{\mathsf{U}^4}$ in general finite abelian groups. We identify a new type of obstructions to uniformity, which we call almost-cubic polynomials. An almost-cubic polynomial $q$ on a Bohr set $B(Γ, ρ_0)$ is a function such that, for each $ρ\leq \min\{ρ_0, 1/8\}$, we have \[\|Δ_{a,b,c,d} q(x)\|_{\mathbb{T}} \leq 2^{10} ρ\] for all $x, a,b,c,d \in B(Γ, ρ)$.
Let $f : G \to \mathbb{D}$ be a function with $\|f\|_{\mathsf{U}^4} \geq c$. We prove quasipolynomial inverse theorems:
$\bullet$ when $(|G|, 6) = 1$, there exists an almost-cubic $q : B(Γ, ρ)$ for $|Γ| \leq \log^{O(1)} c^{-1}$ and $ρ\geq \exp(-\log^{O(1)} c^{-1})$, and an element $t \in G$ such that $$\Big|\sum_{x \in G} 1_{B}(x) f(x + t) \operatorname{e}(q(x))\Big| \geq \exp(-\log^{O(1)} c^{-1})|G|,$$ $\bullet$ when $G = (\mathbb{Z}/2^d\mathbb{Z})^n$, there exists a cubic polynomial $q : G \to \mathbb{T}$ such that $$\Big|\sum_{x \in G} f(x)\operatorname{e}(q(x))\Big| \geq \exp(-\log^{O_d(1)} c^{-1})|G|.$$ Almost-cubic polynomials are rather rigid and we exhibit a strong connection with generalized polynomials in the case of cyclic groups, as well as with polynomials in the classical sense in the case of finite vector spaces. We also answer a question of Jamneshan, Shalom and Tao concerning the inverse theory in groups of bounded torsion.
The central result from which the inverse theorems follow is a structural result for Freiman bihomomorphisms in general finite abelian groups. In our proof, we generalize methods of our previous work in the case of finite vector spaces and introduce novel ideas concerning extensions of Freiman bihomomorphisms. In the problem of extension of Freiman bihomomorphisms, genuinely new phenomena appear in general finite abelian groups.
Castelnuovo-Mumford regularity of generalized binomial edge ideals of graphs
In this paper, we mainly study the Castelnuovo-Mumford regularity of the generalized binomial edge ideals of graphs. We show that this number can be any integer number from $2$ to $n-1$ where $n$ is the number of vertices in the underlying graph. We are able to show this, after giving some tight lower and upper bounds for the regularity of generalized binomial edge ideals of the join product of graphs. In particular, we characterize all generalized binomial edge ideals with the regularity equal to~$2$ as well as extremal Gorenstein ideals. For this purpose, we give a new combinatorial characterization for the class of $P_4$-free graphs.
On counting polygons in a crystal
How many $n$-step polygons exist that contain a given vertex of an infinite quasi-transitive graph $G$? The exponential growth rate of such polygons is identified as the connective constant when $G$ has sub-exponential growth and possesses a so-called square graph height function. The last condition amounts to the requirement that $G$ has a certain ${\Bbb Z}^2$ action of automorphisms. The main theorem extends a result of Hammersley (Proc. Cambridge Philos. Soc. 57 (1961) 516--523) and others for the hypercubic lattice, and responds to Hammersley's challenge to prove such a result for more general "crystals''.
The diameter and dominating sets of the difference graph of a nilpotent group
Given a finite group $G$, the difference graph of $G$, denoted by $\mathcal{D}(G)$, is the difference of the enhanced power graph of $G$ and the power graph of $G$, with all isolated vertices removed. This paper mainly studies the dominating sets of the difference graph of a finite group. In particular, we prove that the diameter of the difference graph of a nilpotent group has an upper bound of $4$. Furthermore, we generalize and refine the result by Biswas et al. by classifying all nilpotent groups whose difference graph has diameter $k$, for each $k\le 4$.
Extremal $Q$-index problem in outerplanar graphs
Outerplanar Turán problem has received considerable attention recently. We study the spectral version via $Q$-index. We determine the unique graph that maximizes the $Q$-index among all $n$-vertex connected outerplanar graphs which are respectively forbidden to contain: (i) a fixed cycle; and (ii) the disjoint union of paths of a given order.
Adjacency-diametrical matrix of a graph
The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.
The Delta Theorem: a dimension bound for faithful orthogonal graph representations
In 1987 Hiroshi Maehara conjectured that a graph can be represented by vectors considered adjacent when not orthogonal (a faithful orthogonal representation) in codimension the minimum degree of the graph. Without settling the conjecture, Làslò Lovàsz, Michael Saks, and Alexander Schrijver (LSS) showed that a codimension of vertex connectivity both suffices and is best possible under the additional assumption of general position, and gave a probabilistic construction for producing such representations. The present work proves the conjecture of Maehara as well as related conjectures, variants of the Delta Conjecture, that have arisen independently in combinatorial matrix theory. The strongest of these is that minimum degree of G gives a lower bound for the maximum nullity of a positive definite matrix with pattern G that has the Strong Arnold Property (SAP). Such nullity questions are an important subcase of the Inverse Eigenvalue Problem for a Graph (IEPG).
The name greedegree is introduced for the largest possible final degree of a maximum cardinality search (MSC) ordering, which is to say an ordering that greedily maximizes adjacencies to previous chosen vertices. The name upper-zero generic is introduced to describe symmetric matrices with nonzero diagonal such that the zeros above the diagonal in any column belong to an independent set of rows, which matrices necessarily have the SAP.
The proof technique takes the probabilistic construction of LSS and parametrizes it completely in terms of independent variables, producing large polynomials that are reasoned about using an introduced operad of hanging garden diagrams. In the case of an MSC ordering in codimension greedegree, it is shown that the leading monomial in an appropriate term order has no canceling term, giving a nonzero polynomial. The resulting representation is faithful with upper-zero generic Gram matrix.
Bruhat intervals that are large hypercubes
We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and which we show works well for general $n$. When $n$ is a power of 2 we exhibit a hypercube of dimension $O(n\log n)$, matching the largest possible dimension up to a constant multiple. Furthermore, we give an exact characterization of the vertices of this hypercube: they are precisely the \emph{dyadically well-distributed} permutations -- a simple digitwise property that already appeared in connection with Monte Carlo integration and mathematical finance. The maximal dimension of a Bruhat interval that is an hypercube in $S_n$ gives a lower bound (and possibly is equal to) the maximal possible coefficient of the second-highest degree term in the Kazhdan--Lusztig $R$-polynomial in $S_n$. As a surprising consequence, we obtain a new lower bound of order $n\log n$ for the maximal number of frozen variables appearing in the cluster algebras attached to the open Richardson varieties in $S_n$, and a similar result for moduli spaces of embeddings of Bruhat graphs.
A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of regularity via totally unimodular representations, show that regularity is preserved under $1$-, $2$-, and $3$-sums, and establish regularity for several special classes of matroids, including graphic, cographic, and the matroid $R_{10}$. The blueprint records the logical structure of the proof, the precise dependencies between results, and their correspondence with Lean declarations. It is intended both as a guide for the ongoing formalization effort and as a human-readable reference for the organization of the proof.
New discretised polynomial expander and incidence estimates
We present two applications of recent developments in incidence geometry. One is a $δ$-discretised version of a particular `Elekes--Rónyai' expander problem. The second application is an incidence estimate addressing the scenario when both tubes, squares and their shadings satisfy non-concentration assumptions.