Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Counting Lattice Points in Minkowski Sums of Cross Polytopes
Motivated by Postnikov's study of lattice-point enumeration in Minkowski sums of simplices, we investigate lattice points in Minkowski sums of cross polytopes and establish analogous results, together with several related consequences. In particular, we introduce the support-enumerator associated with Postnikov's notion of draconian sequences and show that it coincides with the $h^*$-polynomial of the corresponding root polytope. This provides a new interpretation of the $h^*$-polynomial and yields a simple method for computing the volume of the corresponding polytope. We further exploit the symmetry of such root polytopes to establish a duality property for support-enumerators, which in turn provides a proof of a conjecture by Chapoton and Athanasiadis concerning the $h$-polynomials of preorders. As an immediate consequence, we prove that a Minkowski sum of cross polytopes and its dual polytope have the same number of lattice points. This duality then leads to a general formula for the number of lattice points in Minkowski sums of cross polytopes in terms of draconian sequences. Our formula enables us to compute the Ehrhart polynomials of these polytopes and show that they are Ehrhart positive. Furthermore, the formula allows us to derive analogous formulas for the number of lattice points on their boundaries and for their surface volumes.
On the saturation number of the kite graph
For a fixed graph $H$, a graph $G$ is $H$-saturated if $G$ does not contain a copy of $H$, but adding any edge $e \in E(\overline{G})$ to $G$ creates a copy of $H$. The saturation number $\mathrm{sat}(n,H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Let $K$ be the kite graph, formed by removing one edge from $ K_4$ and then attaching a pendant edge to a vertex of degree two in the resulting graph.In this paper, we first establish a relationship between connectivity and $K$-saturated graphs, and subsequently determine the saturation number of the kite graph $K$. Moreover, we completely characterize all extremal graphs.Our result provides a partial answer to a problem raised by Hua and Peng [Discrete Math. 349 (2026) 114674].
Quot scheme of points on torus knot singularities
For $\gcd(a,b)=1$, we show that the moduli space of $m$-codimensional $\Bbbk[\![T^a,T^b]\!]$-submodules of $\Bbbk[\![T]\!]^n$ is paved by affine cells, by proving that each Białynicki-Birula stratum of a closed related moduli space with respect to the natural $\mathbb{G}_m$-action is an affine bundle over the fixed point locus and that the fixed point locus is an iterated Grassmannian bundle. As an application, we determine the motive of this moduli space in the Grothendieck ring of varieties in terms of an explicit two-variable series $N_{a,b;n}(q,t)$, and use it to explicit compute the groupoid volume of the category of finite modules over $\mathbb{F}_q[\![T^a,T^b]\!]$.
The series $N_{a,b;n}$ carries the conjectures we then formulate. At $n=\infty$ we conjecture a bi-infinite family of Rogers--Ramanujan type identities by specializing the $t$-variable; we identify their product side with the normalized character of a module over the $\mathcal{W}$-algebra minimal model $\mathcal{W}_a(a,a+b)$, and observe a connetion to colored Jones tails. At $n<\infty$ we conjecture that $N_{a,b;n}$ is computed by the bottom $α$-row of the trigraded $S^n$-colored HOMFLY homology of the torus knot $T(a,b)$, and that this same bottom row also computes the Quot schemes of finite codimensional $\Bbbk[\![T^a,T^b]\!]$-submoudles of $\Bbbk[\![T^a,T^b]\!]^n$ and the punctual Hilbert schemes of the non-reduced curve $(Y^a-X^b)^n=0$; the three quantities are special values at three points of the trigrading, and when $n=1$ they recover both the conjectures of Oblomkov--Rasmussen--Shende and of Kivinen--Trinh.
Finally we conjecture that the one direction of the trigrading these three points do not see is a perverse filtration on the moduli spaces themselves, and we verify its prediction for a smooth germ at $n=2$ by computing the decomposition theorem for the $\mathrm{GL}_2$ spectral-curve family.
Towards discrete convex analysis over classical root systems
Discrete Convex Analysis (DCA) is a discrete analog of continuous convex analysis, originally proposed as a unified theoretical framework for efficiently solvable combinatorial optimization problems. Recently, DCA has proven to be a powerful tool across diverse fields, ranging from operations research to economics and pure mathematics.
Motivated by the broad applicability of DCA, this paper establishes a unified theory of discrete convex analysis over discrete structures arising from classical root systems, extending the usual setting of the integer lattice, which essentially corresponds to type A. We adopt the vertex set of the Euclidean Coxeter complex as the primal discrete domain for L-convexity, and the root lattice as the dual discrete domain for M-convexity. Using the associated polyhedral structures, we formulate L- and M-convex functions together with notions of integrality determined by the root system. We show that local optimality guarantees global optimality for these functions. Furthermore, we establish that integral L-convex functions and integral M-convex functions correspond one-to-one via the discrete Fenchel--Legendre conjugate, thereby extending the conjugacy in the original DCA from type A to all classical root systems.
New constructions of optimal arrangements of $2d$ lines in $\mathbb{C}^d$
In this paper we provide new constructions of equiangular tight frames of size $2d$ in $\mathbb{C}^d$. We generalize the doubling construction of Fallon and Iverson to a tensor multiplication construction based on a suitable pair consisting of a complex Hadamard matrix and an equiangular tight frame. In particular, such a pair always exists whenever there is an amicable pair of real Hadamard matrices. Most notably, amicable Hadamard pairs of order $q+1$ exist for all prime powers $q\equiv 3\pmod 4$. We also find specific constructions based on a family of pairs of order 6 and on pairs whose equiangular tight frames are defined by Paley conference matrices with $q\equiv 1\pmod 4$. Finally, we provide a power construction of equiangular tight frames that generalizes the construction of Turyn for conference matrices.
Dense-core approach to the Brualdi--Hoffman--Turán problem on odd wheels
We present a unified presentation of the fixed-size adjacency-spectral extremal problem for odd wheels $W_{2k+1}$, where $k\geq2$ and $W_{2k+1}=K_1\vee C_{2k}$. The exceptional case $W_5$ and the general case $W_{2k+1}$, $k\ge3$, share the same dense-core reduction and edge-spectral stability, but have different rigidity structures. We prove that every $W_5$-free graph of sufficiently large size $m$ satisfies $ρ(G)^2-ρ(G)\le m,$ with equality precisely for $K_{n,n}$ with a perfect matching embedded in each part, where $n$ is even and $m=n^2+n$. For any fixed $k\ge3$, every $W_{2k+1}$-free graph of sufficiently large size $m$ satisfies $ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2},$ with equality precisely for $K_k\vee qK_1$ when $m=\binom{k}{2}+kq$. Our results completely settle a conjecture proposed by Yu, Li and Peng and, via a distinct approach, further strengthen known results concerning odd cycles, friendship graphs and odd fan graphs for sufficiently large $m.$ The proof combines the edge-spectral stability theorem, residual functions and the dense-core method.
Equality Cases for the Face-Degree Majorization Theorem on Simplicial Complexes
The Grone--Merris--Bai theorem states that the Laplacian spectrum of a
simple graph is majorized by its conjugate degree sequence. Recently,
Zhang, Song, and Fan extended this result to simplicial complexes by
establishing a majorization relation between the spectrum of the
$(r-1)$-dimensional up-Laplacian and the conjugate $(r-1)$-degree sequence.
In this paper, we characterize all equality cases in the partial-sum
inequalities of this higher-dimensional majorization theorem. For every
$r$-dimensional simplicial complex $X$ with $r\ge2$, we prove that
\[
\sum_{i=1}^{q}λ_{r-1,i}(X)
=
\sum_{i=1}^{q}d_{r-1,i}^{\top}(X)
\]
if and only if
\[
q\ge \max\{\operatorname{rank}B_r(X),Δ_{r-1}(X)\}.
\]
Thus, unlike the graph case, equality can occur only after both sequences
have exhausted all their nonzero terms. As consequences, equality in the
first partial sum and equality between the entire sequences are both equivalent
to $X$ containing a unique $r$-simplex. The proof is based on the local
down-Laplacian decomposition and the equality case of the Ky Fan inequality.
The multiplication table problem in large dimensions
For $N\geq 2$ and $k\geq 1$, let $M_k(N):=\#\{x_1\cdots x_k : x_i\in\{1,\ldots,N\}\text{ for all } i\}$ be the $k$-dimensional multiplication table. Given $N$, Khovanskii's theorem implies that $M_k(N)$ agrees, for all sufficiently large $k$, with a polynomial in $k$ of degree $π(N)$. We determine the asymptotic size of its leading coefficient, proving that, as $N\to\infty$, with $k$ sufficiently large relative to $N$, \[ M_k(N) = \exp\bigg((2π+o(1))\frac{\sqrt{N}}{\log N}\bigg)\frac{k^{π(N)}}{π(N)!}. \] We also study the analogous problem when the factors are restricted to $y$-smooth integers. For $y=o(\log N)$, we prove that the number of distinct products of $k$ such integers up to $N$ is asymptotic to the number of $y$-smooth integers up to $N^k$, uniformly for $k\geq 1$.
Directed strongly regular graphs from groups, loops and quasigroups
We introduce four infinite families of directed strongly regular graphs of orders $2n^2$ and $3n^2$. The constructions are described in terms of groups, quasigroups, loops and their Latin squares. Two preliminary Cayley digraph constructions over wreath products are extended to arbitrary quasigroups and loops, yielding directed strongly regular graphs with parameters $(2n^2,3n-2,2n-1,n-1,3),(2n^2,4n-2,2n+2,n+2,6),(3n^2,4n-2,2n,n,4),(3n^2,6n-2,2n+6,n+6,10)$.
Twisted primitive group association schemes
We give results on the question of whether the intersection numbers of a primitive group association scheme determine it up to combinatorial isomorphism. For $G=\operatorname{PSL}(2,q)$, where $q$ is an odd prime power with $q=11$ or $q\ge 17$, or $q=2^f$ with $f\ge3$, we construct a Schur partition that is algebraically isomorphic to the partition of $G$ into conjugacy classes but not combinatorially isomorphic to it. Consequently, the corresponding primitive group association schemes are not determined up to combinatorial isomorphism by their intersection numbers; in particular, they are non-separable.
For $\mathfrak A_6$ and $\mathfrak A_8$, we also explicitly construct Schur partitions that are algebraically isomorphic to the corresponding partitions into conjugacy classes but not combinatorially isomorphic to them.
A 32-leaf tree requiring six coordinates for an isometric $\ell_\infty$ embedding
We disprove the conjecture that every tree with t leaves embeds isometrically into $\ell_\infty^{\lceil \log_2 t\rceil}$. We construct a 32-leaf tree whose least isometric $\ell_\infty$-dimension is six rather than five, and prove that every tree with at most 31 leaves attains the conjectured bound; Brigham et al. had recorded equality through 21 leaves. Thus 32 is the first failure, and the example answers affirmatively a question of Fitzpatrick and Nowakowski from 2000. The same topology has dimension six under every assignment of positive edge lengths, and therefore also disproves the later sharp leaf-threshold conjecture for weighted metric trees.
Derandomizing Karger's Contraction Algorithm for Matroids
Karger's randomized contraction algorithm finds a minimum-weight cocircuit of a matroid whenever the cogirth-density ratio is bounded. We prove that the same hypothesis yields a deterministic algorithm with the same exponent. If every contraction minor of rank at least $r_0$ of a matroid $M$ has cogirth-density ratio at most $c$, then a minimum-weight cocircuit of $M$ is computable deterministically in $m^{O(r_0)} n^{O(c)}$ time when the contraction minors of bounded rank have at most $m$ parallel classes, by an algorithm that knows neither $r_0$ nor $c$. As a consequence, we give a deterministic algorithm computing the cogirth of rank-$p$ perturbed graphic matroids in $2^{O(p^2)} n^{O(1)}$ time, fixed-parameter tractable in $p$, settling the cogirth side of a question of Geelen and Kapadia (2018). The extensions of the contraction method carry over deterministically: enumerating all near-minimum 1-cocycles, computing a minimum-weight $k$-cocycle, and computing the Pareto frontier under several positive criteria.
Supersaturation for Eventown via Generator Switching
An eventown family is a family of even-sized subsets of $[n]$ in which every two distinct members have an even-sized intersection. A classical theorem of Berlekamp and Graver shows that the maximum size of such a family is $2^{\lfloor n/2\rfloor}$. The supersaturation problem for eventown asks how many odd-intersection pairs must occur when this extremal bound is exceeded. For a family $\mathcal F$ of even-sized subsets of $[n]$, let $e(\mathcal F)$ denote the number of unordered pairs whose intersection size is odd. O'Neill conjectured that if $|\mathcal F|=2^{\lfloor n/2\rfloor}+s$, then $e(\mathcal F)\ge s\,2^{\lfloor n/2\rfloor-1}$ for \[ 1\le s\le 2^{\lfloor n/2\rfloor}-2^{\lfloor n/4\rfloor}. \] Previously, the conjecture was known for $s=1,2$, and, for $s\le 2^{\lfloor n/8\rfloor}/n$ with $n$ sufficiently large. We prove the conjectured bound for \[ 1\le s\le \frac{2^{\lfloor n/2\rfloor}}{26}, \] extending the known range to a fixed positive proportion of the extremal eventown size. The bound is sharp throughout this range. As further consequences, we derive a lower bound valid for arbitrary excess $s$, which improves the previously known estimate in an additional range. We also establish stability and removal results for families of extremal size satisfying $e(\mathcal F)<2^{\lfloor n/2\rfloor-1}$, showing that such a family is close to an extremal eventown family and can be made eventown by deleting a small number of its members.
The matching extendability of optimal 2-planar graphs
A graph is 2-planar if it can be drawn in the plane such that each edge is crossed by at most two other edges. It is known that for a 2-planar graph $G$, $|E(G)| \le 5|V(G)| - 10$. When the equality holds, we call $G$ an optimal 2-planar graph. This paper investigates the matching extendability of optimal 2-planar graphs. By local optimality, we prove that every 4-connected optimal 2-planar graph $G$ of even order is 1-extendable, and give a criterion for $G$ to be 2-extendable. We also prove that no optimal 2-planar graph is 5-extendable and construct a 4-extendable optimal 2-planar graph based on the dodecahedron. Finally, we show that every 6-connected optimal 2-planar graph of even order with at least $2m+2$ vertices is distance 3 $m$-extendable for any $m \ge 0$.
A new flag-transitive linear space
We construct a new flag-transitive $2$-$(496,4,1)$ design with automorphism group $\mathrm{PΓL}_2(32)$. This corrects an omission in the classification of the finite flag-transitive linear spaces.
On the finite group whose proper enhanced power graph is claw-free
Let $G$ be a finite group. The \emph{enhanced power graph} of $G$, denoted by $\mathcal{E}(G)$, is the graph with vertex set $G$ in which two vertices $u$ and $v$ are adjacent if and only if there exists an element $w \in G$ such that both $u$ and $v$ belong to $\langle w \rangle$. The \emph{proper enhanced power graph} of $G$, denoted by $\mathcal{E}^{**}(G)$, is the subgraph of $\mathcal{E}(G)$ induced by the non-dominating vertices.
The main objective of this paper is to investigate finite groups whose proper enhanced power graph is claw-free, that is, contains no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. We first prove that $\mathcal{E}(G)$ is claw-free if and only if $G$ is cyclic. The set of dominating vertices of $\mathcal{E}(G)$ forms a cyclic subgroup of the center of $G$, namely the \emph{cyclicizer} $\cyc(G)$ of $G$. This allows us to give a precise description of the structure of $G/\cyc(G)$ when $\mathcal{E}^{**}(G)$ is claw-free. If $G$ is solvable but not nilpotent, then $G$ is metacyclic, or $G/\cyc(G)$ is either a Frobenius group or a $2$-Frobenius group. If $G$ is non-solvable, then $G/\cyc(G)$ is isomorphic to $\PSL(2,q)$ or $\PGL(2,q),$ and this allows us to give a complete classification of the non-solvable groups whose proper enhanced power graph is claw-free.
Lattice balls with large additive energy in discrete cubes
For a finite set $A$ in an abelian group, let \[
E(A)=\#\{(a_1,a_2,a_3,a_4)\in A^4:a_1+a_2=a_3+a_4\}. \]
We obtain an estimate uniform in $d$ that compares the normalized additive energy of $\mathbb{Z}^d \cap B_d(R)$ with the continuous energy of $B_d(R)$ .
If $R_d/\sqrt d\to\infty$, then \[
\lim_{d\to\infty}
\left(
\frac{E\bigl(\mathbb{Z}^d\cap B_d(R_d)\bigr)}
{\lvert \mathbb{Z}^d\cap B_d(R_d)\rvert^3}
\right)^{1/d}
=\frac{4\sqrt{3}}{9}. \] As an application, consider \[
A_n
=
R_n\mathbf{1}_d
+
\bigl(\mathbb{Z}^d\cap B_d(R_n)\bigr), \] where $d=d(n)\to\infty$ satisfy $\log d=o(\log n)$, and $R_n=\lfloor(n-1)/2\rfloor$. Then $A_n\subset\{0,1,\ldots,n-1\}^d$ and \[
\log E(A_n)
=3\log|A_n|-d\log\frac{3\sqrt3}{4}+o(d). \] In particular, taking $d=\lfloor(\log n)^{1/2}\rfloor$ gives an explicit construction answering a question of Shao \cite{Shao2026}. We also prove that in Gram-matrix coordinates, the exponential rate of the continuous ball energy is determined by a fixed dimensional determinant maximization whose extremizer is the Gram matrix of a regular tetrahedron.
Measurable Matroids: Foundations and Min--Max Theorems
We develop a measure-theoretic analogue of matroid theory on standard atomless measure spaces. Motivated by the quotient-convergence framework for submodular set functions, our aim is to identify suitable measurable objects on the limit side of finite matroid theory and to develop their basic structural and optimization theory. We prove that measurable matroids admit equivalent descriptions by independent sets, bases, rank functions, and closure operators. The class includes normalized finite matroids, cycle matroids of graphings, and measurable analogues of partition, nested, lattice path, transversal, and matching matroids. We establish measurable analogues of truncation, elongation, direct sum, duality, and minors.
We prove measurable versions of Edmonds' matroid intersection theorem and the Edmonds--Fulkerson matroid union theorem, together with an attainment theorem for common bases. The intersection theorem retains the classical min--max form, with the maximum replaced in general by a supremum. Applied to partition matroids, it gives an exact Hall-deficiency formula for measurable matchings in bipartite graphings and a min--max theorem for continuous bipartite $b$-matchings, with applications to capacity-constrained transport and prescribed cross-sections. We give a rank-expansion criterion under which the supremum is attained. For bipartite graphings, this criterion specializes to the measurable perfect matching theorem of Lyons and Nazarov.
For measurable union, the Edmonds--Fulkerson rank formula remains valid. As a main application of measurable union and its attainment theorem, we prove measurable Nash-Williams--Tutte theorems for graphings, characterizing approximate coverings and packings by hyperfinite essential spanning forests and obtaining exact decompositions under strengthened rank inequalities.
A Family of Simultaneously Cospectral Trees for Degree-Distance Matrices
Spectral characterization of graphs for various graph matrices constitutes a central topic in spectral graph theory. Let $G$ be a graph with adjacency matrix $A(G)$, diagonal degree matrix $\Deg(G)$, distance matrix $D(G)$, and transmission matrix \(\Trs(G)\), respectively. Recently, Alfaro and Zapata (2024) introduced the degree-distance matrices \(\Ddegp(G)=\Deg(G)+D(G)\) and \(\Ddeg(G)=\Deg(G)-D(G)\), together with the transmission-adjacency matrices \(\Atrsp(G)=\Trs(G)+A(G)\) and \(\Atrs(G)=\Trs(G)-A(G)\). Based on computational evidence for trees on at most \(20\) vertices, they conjectured that all trees are determined by the spectra of \(\Ddegp\) as well as \(\Ddeg\).
In this paper, we disprove these conjectures by constructing an infinite family of pairs of non-isomorphic trees. More precisely, for each integer \(r\ge 3\), we construct a pair of trees on \(17r-15\) vertices which are simultaneously cospectral with respect to the following six matrices \[
A,\quad L,\quad Q,\quad D,\quad \Ddegp,\quad \Ddeg . \] The construction is based on an \(r\)-regularized leaf extension and an equitable-partition reduction. We also record a simple sign-switching observation for transmission-adjacency matrices: if \(G\) is bipartite, then \(\Atrs(G)\) and \(\Atrsp(G)\) are similar via a diagonal \(\{\pm1\}\)-matrix and have the same Smith normal form. Consequently, for trees, the spectral and Smith normal form problems for \(\Atrs\) and \(\Atrsp\) are equivalent.
Comaximal Graphs of finite-dimensional Lie algebras over finite fields: Triangle counts and structural invariants
Let $L$ be a finite-dimensional Lie algebra over a field $F$. The comaximal graph $Γ(L)$ has as vertices the proper nonzero subalgebras of $L$, two of them adjacent whenever they generate $L$; its structure was previously classified for Lie algebras of dimension at most 3 over finite fields. Here we extend that work in two directions. First, we obtain explicit formulas for the number of triangles $t(Γ(L))$ for every three-dimensional Lie algebra over $\F_q$. Second, we extend the classification to several four-dimensional families over $\mathbb{F}_q$, the abelian, Heisenberg, and filiform algebras, and $\mathfrak{gl}_2(\F_q)$. We also relate graph-theoretic properties of $Γ(L)$, such as completeness and the role of the Frattini subalgebra, to structural properties of $L$, including supersolvability. These results yield new combinatorial invariants for finite-dimensional Lie algebras over finite fields.