Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Local cohomology and singular cohomology of toric varieties via mixed Hodge modules
Given an affine toric variety $X$ embedded in a smooth variety, we prove a general result about the mixed Hodge module structure on the local cohomology sheaves of $X$. As a consequence, we prove that the singular cohomology of a proper toric variety is mixed of Hodge-Tate type. Additionally, using these Hodge module techniques, we derive a purely combinatorial result on rational polyhedral cones that has consequences regarding the depth of reflexive differentials on a toric variety.
We then study in detail two important subclasses of toric varieties: those corresponding to cones over simplicial polytopes and those corresponding to cones over simple polytopes. Here, we give a comprehensive description of the local cohomology in terms of the combinatorics of the associated cones, and calculate the Betti numbers (or more precisely, the Hodge-Du Bois diamond) of a projective toric variety associated to a simple polytope.
Some algebraic properties of ASM varieties
Published
• View Publication
• BIB
Fulton's matrix Schubert varieties are affine varieties that arise in the study of Schubert calculus in the complete flag variety. Weigandt showed that arbitrary intersections of matrix Schubert varieties, now called ASM varieties, are indexed by alternating sign matrices (ASMs), objects with a long history in enumerative combinatorics. It is very difficult to assess Cohen-Macaulayness of ASM varieties or to compute their codimension, though these properties are well understood for matrix Schubert varieties due to work of Fulton. In this paper we study these properties of ASM varieties with a focus on the relationship between a pair of ASMs and their direct sum. We also consider ASM pattern avoidance from an algebro-geometric perspective.
Determinants of Steiner Distance Hypermatrices
Generalizing work from the 1970s on the determinants of distance hypermatrices of trees, we consider the hyperdeterminants of order-$k$ Steiner distance hypermatrices of trees on $n$ vertices. We show that they can be nearly diagonalized as $k$-forms, generalizing a result of Graham-Lovász, implying a tensor version of ``conditional negative definiteness'', providing new proofs of previous results of the authors and Tauscheck, and resolving the conjecture that these hyperdeterminants depend only on $k$ and $n$ -- as Graham-Pollak showed for $k=2$. We conclude with some open questions.
Tropicalizations of locally symmetric varieties
This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the case of level structures on the moduli space $\mathcal{A}_{g}$ of abelian varieties, and the special unitary case.
Semidefinite programming bounds on fractional cut-cover and maximum 2-SAT for highly regular graphs
We use semidefinite programming to bound the fractional cut-cover parameter of graphs in association schemes in terms of their smallest eigenvalue. We also extend the equality cases of a primal-dual inequality involving the Goemans-Williamson semidefinite program, which approximates \textsc{maxcut}, to graphs in certain coherent configurations. Moreover, we obtain spectral bounds for \textsc{max 2-sat} when the underlying graphs belong to a symmetric association scheme by means of a certain semidefinite program used to approximate quadratic programs, and we further develop this technique in order to explicitly compute the optimum value of its gauge dual in the case of distance-regular graphs.
Between burning and cooling: liminal burning on graphs
Published
• View Publication
• BIB
Liminal burning generalizes both the burning and cooling processes in graphs. In $k$-liminal burning, a Saboteur reveals $k$-sets of vertices in each round, with the goal of extending the length of the game, and the Arsonist must choose sources only within these sets, with the goal of ending the game as soon as possible. The result is a two-player game with the corresponding optimization parameter called the $k$-liminal burning number. For $k = |V(G)|$, liminal burning is identical to burning, and for $k = 1$, liminal burning is identical to cooling.
Using a variant of Sperner sets, $k$-liminal burning numbers of hypercubes are studied along with bounds and exact values for various values of $k$. In particular, we determine the exact cooling number of the $n$-dimensional hypercube to be $n.$ We analyze liminal burning for several graph families, such as Cartesian grids and products, paths, and graphs whose vertex sets can be decomposed into many components of small diameter. We consider the complexity of liminal burning and show that liminal burning a graph is PSPACE-complete for $k\geq 2,$ using a reduction from $3$-QBF. We also prove, through a reduction from burning, that even in some cases when liminal burning is likely not PSPACE-complete, it is co-NP-hard. We finish with several open problems.
Prefix-bounded matrices
Published
• View Publication
• BIB
By unifying various earlier extensions of alternating sign matrices (ASMs), we introduce the notion of prefix-bounded matrices (PBMs). It is shown that the convex hull of these matrices forms the intersection of two special generalized polymatroids. This implies $\unicode{x2013}$ in a more general form $\unicode{x2013}$ that the linear inequality system given by Behrend and Knight (2007) and by Striker (2007, 2009) for describing the polytope of alternating sign matrices is totally dual integral (TDI), confirming a recent conjecture of Edmonds (2024, 2025). By relying on the polymatroidal approach, we derive a characterization for the existence of prefix-bounded matrices meeting lower and upper bounds on their entries. Furthermore, we point out that the constraint matrix of the linear system describing the convex hull of PBMs, in particular ASMs, is a network matrix. This implies that (a) standard network-flow techniques can be used to manage algorithmically optimization and structural results on PBMs obtained via g-polymatroids, (b) the linear system is actually box-TDI, and (c) the convex hull of PBMs admits a sharpened form of the integer Carathéodory property, in particular, the integer decomposition property. This latter feature makes it possible to confirm an extended form of an elegant conjecture of Brualdi and Dahl (2023) on the decomposability of a so-called $k$-regular alternating sign matrix as the sum of $k$ pattern-disjoint ASMs.
The index of unbalanced signed complete graphs whose negative-edge-induced subgraph is ${K}_{2,2}$-minor free
Published
• View Publication
• BIB
Let $Γ=(K_n,H^-)$ be a signed complete graph with the negative edges induced subgraph $H$. According to the properties of the negative-edge-induced subgraph, characterizing the extremum problem of the index of the signed complete graph is a concern in signed graphs. A graph $G$ is called $H$-minor free if $G$ has no minor which is isomorphic to $H$. In this paper, we characterize the extremal signed complete graphs that achieve the maximum and the second maximum index when $H$ is a $K_{2,2}$-minor free spanning subgraph of $K_n$.
The maximal rank of a string group generated by involutions for alternating groups
Published
• View Publication
• BIB
A string group generated by involutions, or SGGI, is a pair $Γ=(G, S)$, where $G$ is a group and $S=\{ρ_0,\ldots, ρ_{r-1}\}$ is an ordered set of involutions generating $G$ and satisfying the commuting property: $$\forall i,j\in\{0,\ldots, r-1\}, \;|i-j|\ne 1\Rightarrow (ρ_iρ_j)^2=1.$$ When $S$ is an independent set, the rank of $Γ$ is the cardinality of $S$. We determine an upper bound for the rank of an SGGI over the alternating group of degree $n$. Our bound is tight when $n\equiv 0,1,4\pmod 5$.
Ordinary and spectral extremal problems on vertex disjoint copies of even fans
Published
• View Publication
• BIB
Let $\mathrm{ex}(n, F)$ and $\mathrm{spex}(n, F)$ be the maximum size and spectral radius among all $F$-free graphs with fixed order $n$, respectively. A fan is a graph $P_1\vee P_{s}$ (join of a vertex and a path of order $s$) for $s\ge 3$, and it is called an even fan if $s$ is even. In this paper, we study $\mathrm{ex}(n,t(P_1\vee P_{2k}))$, $\mathrm{spex}(n,t(P_1\vee P_{2k}))$ with $t\ge 1$ and $k\ge 3$ and characterize the corresponding extremal graphs for sufficiently large $n$.
A Littlewood-type identity for Robbins polynomials
Published
• View Publication
• BIB
We provide a generalization of the Littlewood identity, both sides of which are related to alternating sign matrices. The classical Littlewood identity establishes a nice product formula for the sum of all Schur polynomials. Compared to the classical identity, Schur polynomials are replaced by so-called modified Robbins polynomials. These polynomials are a generalization of Schur polynomials and enumerate down-arrowed monotone triangles, and thus also alternating sign matrices. As an additional factor on the other side of the identity, we have a Pfaffian formula which we interpret in terms of the partition function of six-vertex model configurations corresponding to diagonally symmetric alternating sign matrices.
An improved $L^2$ restriction theorem in finite fields
Published
• View Publication
• BIB
Mockenhaupt and Tao (Duke 2004) proved a finite field analogue of the Stein--Tomas restriction theorem, establishing a range of $q$ for which $L^q\to L^2$ restriction estimates hold for a given measure $μ$ on a vector space over a finite field. Their result is expressed in terms of exponents that describe uniform bounds on the measure and its Fourier transform. We generalise this result by replacing the uniform bounds on the Fourier transform with suitable $L^p$ bounds, and we show that our result improves upon the Mockenhaupt--Tao range in many cases. We also provide a number of applications of our result, including to Sidon sets and Hamming varieties.
Some explicit values of a $q$-multiple zeta function at roots of unity
Published
• View Publication
• BIB
In this paper, we give the values of a certain kind of $q$-multiple zeta functions at roots of unity. Various multiple zeta values have been proposed and studied by many researchers, but these multiple zeta values naturally arise from generalizations of Stirling numbers. It is interesting, but by no means easy, to show the values explicitly in certain cases. We give explicit formulas by using Bell polynomials, determinants, $r$-Stirling numbers, etc.
Fourier analytic properties of Kakeya sets in finite fields
Published
• View Publication
• BIB
We prove that a Kakeya set in a vector space over a finite field of size $q$ always supports a probability measure whose Fourier transform is bounded by $q^{-1}$ for all non-zero frequencies. We show that this bound is sharp in all dimensions at least 2. In particular, this provides a new and self-contained proof that a Kakeya set in dimension 2 has size at least $q^2/2$ (which is asymptotically sharp). We also establish analogous results for sets containing $k$-planes in a given set of orientations.
A note on the Steinitz Lemma
Published
• View Publication
• BIB
We prove that the Euclidean Steinitz problem may be reduced to its restriction to ``nearly unit'' vectors at the cost of an additive $O\Big(\sqrt{\frac{d}{\log d}}\Big)$ error.
Regular 3-polytopes of type $\{n,n\}$
Published
• View Publication
• BIB
For each integer \( n \geq 3 \), we construct a self-dual regular 3-polytope \( \mathcal{P} \) of type \( \{n, n\} \) with \( 2^n n \) flags, resolving two foundamental open questions on the existence of regular polytopes with certain Schläfli types. The automorphism group \( \operatorname{Aut}(\mathcal{P}) \) is explicitly realized as the semidirect product \( \mathbb{F}_2^{n-1} \rtimes D_{2n} \), where \( D_{2n} \) is the dihedral group of order \( 2n \), with a complete presentation for \( \operatorname{Aut}(\mathcal{P}) \) is provided. This advances the systematic construction of regular polytopes with prescribed symmetries.
Planarity of Mycielski-like graph expansions
For a graph $G$, we define its great shadow $S(G)$ as a construction that duplicates each vertex $v$ in $G$ and sets this duplicated vertex adjacent to $v$ and all neighbors of $v$. Great graph shadows arise naturally in the routing of diode-and-switch circuits for computer keyboards, and are closely related to the Mycielski operation. These diode-and-switch circuits can be routed on a single-sided printed-circuit board if and only if the corresponding great shadow is planar. In this paper, we characterize all graphs with planar great shadows. Such graphs are always bipartite cactus graphs.
Computing the Volume of Polytropes
We apply an algorithm for measuring the volume of polytopes described by Jim Lawrence to polytropes. By using a tropical form of Cramer's rule, we found an efficient way to find all pseudovertices which are necessary for computing the volume. Due to the limited possibilities for hyperplanes of polytropes, this led to a simplification of the algorithm, decreasing the time complexity significantly.
Tropical Fermat-Weber Points over Spaces of $M$-Ultrametrics
Published
• View Publication
• BIB
We extend reconstruction methods for phylogenetic trees to ultrametrics of arbitrary matroids and study the stability of these data analysis methods in the combinatorial spirit of Andreas Dress. In particular, we generalize Atteson's work on the safety radius of phylogenetic reconstruction methods, as well as Gascuel and Steel's work on the stochastic safety radius, to arbitrary matroids. We also show that although the tropical Fermat-Weber points of an $M$-ultrametric sample are generally not contained in the space of $M$-ultrametrics, the intersection between the Fermat-Weber set and the space of $M$-ultrametrics is non-empty.
Valuative independence and cluster theta reciprocity
We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.