variety
2680 papers tagged with this keyword
Evaluating Six Apéry-like Series of Weight $5$
Published
• View Publication
• BIB
The main objective of this paper is to evaluate six new Apéry-like series of weight $5$ in closed form. These series involve harmonic numbers and exhibit the characteristic reciprocal central binomial coefficient structure. Generating functions for the inverse sine and identities related to harmonic numbers are used to link each series to a variety of integrals containing $\ln \left(\sin \left(x\right)\right)$ and $\ln \left(\cos \left(x\right)\right)$, which are evaluated using a range of methods and identities.
The Maker-Breaker directed triangle game
In this work, we investigate Maker-Breaker directed triangle games -- a directionally constrained variant of the classical Maker-Breaker triangle game. Our board of interest is a tournament, and the winning sets constitute all directed triangles ($3$-cycles) present in the tournament. We begin by studying the Maker-Breaker directed triangle game played on a specially defined tournament called the parity tournament, and we identify the board size threshold to be $n=7$, which is to say that if the size (i.e.\ the number of vertices) of the parity tournament equals $n$, Breaker has a winning strategy for $3\leq n< 7$, while Maker can ensure a win for herself for $n\geq 7$. For the $(1:b)$ biased version of this game, we prove that the bias threshold $b^*(n)$ satisfies $\sqrt{\left(1/12+o(1)\right)\ n}\leq b^{*}(n) \leq\sqrt{\left(8/3+o(1)\right)\ n}$, which matches the order of magnitude (\ $\sqrt{n}$) of the bias threshold for the undirected counterpart of this game. Next, we consider the game on random tournaments $T(n,p)$ with labeled vertices $1,2,\ldots,n$, such that the edge between $i$ and $j$, for each $i<j$, is directed from $i$ towards $j$ with probability $p$, independent of all else. We prove that Maker wins this game with probability approaching $1$ as $n \to \infty$ for any fixed $p \in (0,1)$. Extending the notion of `bias' from undirected games to our directed framework, we introduce the $(1: κ(n))$ flip-biased Maker-Breaker directed triangle game on the parity tournament, where we allow Breaker to strategically flip the directions of a fixed number of edges $κ(n)$ before the game begins. We show that the flip-bias threshold $κ^*(n)$ is asymptotically equal to $n^2/4$ as $n \to \infty$. This work opens up the possibility of studying a variety of directionally constrained Maker-Breaker positional games on tournaments (and more generally, on directed graphs).
Matrix Points on Varieties
We study the cohomology of $C_n(X)$, the moduli space of commuting $n$-by-$n$ matrices satisfying the equations defining a variety $X$. This space can be viewed as a non-commutative Weil restriction from the algebra of $n$-by-$n$ matrices to the ground field. We introduce a ``Fermionic" counterpart $S_n(X)$, constructed as a convolution $X^n \times^{S_n} \mathrm{GL}_n/\mathrm{T}_n$. Our main result establishes that a natural map $σ\colon S_n(X) \to C_n(X)$ induces an isomorphism on $\ell$-adic cohomology under mild conditions on $X$ or the characteristic of the field. This confirms a heuristic derived from the classical theory of Weil restrictions and highlights a version of Boson-Fermion correspondence. Furthermore, we derive explicit combinatorial formulae for the Betti numbers of $C_n(X)$ and a Macdonald-type generating series. Finally we prove a Hermitian variant of our main result.
Richardson tableaux and Schubert positivity
We compute the Schubert cycle expansion of those irreducible components of Springer fibers equal to Richardson varieties. This generalizes work of Güemes in the case of a hook shape and answers a question of Karp-Precup.
Decomposing Conditional Independence Ideals with Hidden Variables: A Matroid-Theoretic Approach
We study a class of determinantal ideals arising from conditional independence (CI) statements with hidden variables. Such CI statements translate into determinantal conditions on a matrix whose entries represent the probabilities of events involving the observed random variables. Our main objective is to determine the irreducible components of the corresponding varieties and to provide a combinatorial or geometric interpretation of each. We achieve this by introducing a new approach rooted in matroid theory. In particular, we introduce a new class of matroids, which we term quasi-paving matroids, and show that the components of these determinantal varieties are precisely matroid varieties of quasi-paving matroids. Moreover, we derive generating functions that encode the number of irreducible components of these CI ideals.
On the Walsh spectra of quadratic APN functions
APN functions play a central role as building blocks in the design of many block ciphers, serving as optimal functions to resist differential attacks. One of the most important properties of APN functions is their linearity, which is directly related to the Walsh spectrum of the function. In this paper, we establish two novel connections that allow us to derive strong conditions on the Walsh spectra of quadratic APN functions. We prove that the Walsh transform of a quadratic APN function $F$ operating on $n=2k$ bits is uniquely associated with a vector space partition of $\mathbb{F}_2^n$ and a specific blocking set in the corresponding projective space $PG(n-1,2)$. These connections allow us to prove a variety of results on the Walsh spectrum of $F$. We prove for instance that $F$ can have at most one component function of amplitude larger than $2^{3n/4}$. We also find the first nontrivial upper bound on the number of bent component functions of a quadratic APN function, and provide conditions for a function to be CCZ-equivalent to a permutation based on its number of bent components.
Intersection cohomology without spaces
We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.
Perfect and multiple state transfer in oriented Cayley graphs
We study perfect state transfer and multiple state transfer in oriented normal Cayley graphs. We construct examples in a variety of groups, ranging from abelian to nonsolvable, and establish some general restrictions and nonexistence results.
Embeddings of weighted projective spaces
Let $X$ be a projective toric variety of dimension $n$ and let $L$ be a ample line bundle on $X$. For $k \geq 0$, it is in general difficult to determine whether $L^{\otimes k}$ is very ample and whether it additionally gives a projectively normal embedding. These two properties are equivalent to the very ampleness, respectively normality, of the corresponding polytope. By a result of Ewald-Wessels, both statements are classically known to hold for $k \geq n - 1$.
We study embeddings of weighted projective spaces $\mathbb{P}(a_0, \ldots, a_n)$ via their corresponding rectangular simplices $Δ(λ_1, \ldots, λ_n)$. We give multiple criteria (depending on arithmetic properties of the weights $a_i$) to obtain bounds for the power $k$ which are sharp in many cases. We also introduce combinatorial tools that allow us to systematically construct families exhibiting extremal behaviour. These results extend earlier work of Payne, Hering and Bruns-Gubeladze.
Vanishing theorems for combinatorial geometries
We establish strong vanishing theorems for line bundles on wonderful varieties of hyperplane arrangements, and we show that the resulting positivity properties of Euler characteristics extend to all matroids. We achieve this by showing that every degeneration of a wonderful variety within the permutohedral toric variety is reduced and Cohen--Macaulay. The same holds for a larger class of subschemes in products of projective lines that we call "kindred," which are characterized by matroidal Hilbert polynomials. Our results give a new proof of the 20-year-old f-vector conjecture of Speyer and resolve the conjecture of Tohaneanu that higher order Orlik--Terao algebras are Cohen--Macaulay.
On Kotzig's conjecture in random graphs
In 1963, Anton Kotzig famously conjectured that $K_{n}$, the complete graph of order $n$, where $n$ is even, can be decomposed into $n-1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. The problem is still wide open and here we consider a variant of it for the binomial random graph $G(n,p)$. We prove that, for every fixed $k$, there exists a constant $C=C(k)$ such that, when $p\ge \frac{C \log n}{n}$, with high probability, $G(n,p)$ contains $k$ edge-disjoint perfect matchings with the property that every pair of them forms a Hamilton cycle. In fact, our main result is a very precise counting result for $K_n$. We show that, given any $k$ edge-disjoint perfect matchings $M_1,\dots,M_k$, the probability that a uniformly random perfect matching $M^*$ in $K_n$ has the property that $M^*\cup M_i$ forms a Hamilton cycle for each $i\in [k]$ is $Θ_k(n^{-k/2})$. This is proved by building on a variety of methods, including a random process analysis, the absorption method, the entropy method and the switching method. The result on the binomial random graph follows from a slight strengthening of our counting result via the recent breakthroughs on the expectation threshold conjecture.
Markov chains on Weyl groups from the geometry of the flag variety
This paper studies a basic Markov chain, the Burnside process, on the space of flags $G/B$ with $G = GL_n(\mathbb{F}_q)$ and $B$ its upper triangular matrices. This gives rise to a shuffling: a Markov chain on the symmetric group realized via the Bruhat decomposition. Actually running and describing this Markov chain requires understanding Springer fibers and the Steinberg variety. The main results give a practical algorithm for all n and q and determine the limiting behavior of the chain when q is large. In describing this behavior, we find interesting connections to the combinatorics of the Robinson-Schensted correspondence and to the geometry of orbital varieties. The construction and description is then carried over to finite Chevalley groups of arbitrary type, describing a new class of Markov chains on Weyl groups.
On the variety of general position problems under vertex and edge removal
Let ${\rm gp}_{\rm t}(G)$, ${\rm gp}_{\rm o}(G)$, and ${\rm gp}_{\rm d}(G)$ be the total, the outer, and the dual general position number of a graph $G$, respectively. This paper investigates how removing a vertex or removing an edge affects these graph invariants. It is proved that if $x$ is not a cut vertex, then ${\rm gp}_{\rm t}(G) -1 \le {\rm gp}_{\rm t}(G-x) \le {\rm gp}_{\rm t}(G) + {\rm deg}_G(x)$. On the other hand, ${\rm gp}_{\rm o}(G-x)$ and ${\rm gp}_{\rm d}(G-x)$ can be respectively arbitrarily larger/smaller than ${\rm gp}_{\rm o}(G)$ and ${\rm gp}_{\rm d}(G)$. On the positive side, it is proved that if $x$ lies in some ${\rm gp}_{\rm o}$-set, then ${\rm gp}_{\rm o}(G)-1 \le {\rm gp}_{\rm o}(G-x)$, and that if $x$ is not a cut vertex and lies in some ${\rm gp}_{\rm d}$-set of $G$, then $ {\rm gp}_{\rm d}(G)-1 \le {\rm gp}_{\rm d}(G-x)$. For the edge removal, it is proved that (i) ${\rm gp}_{\rm t}(G) -|S(G)_{e}| \le {\rm gp}_{\rm t}(G-e) \le {\rm gp}_{\rm t}(G) +2$, where $S(G)_{e}$ is the set of simplicial vertices adjacent to both endvertices of $e$, (ii) ${\rm gp}_{\rm o}(G)/2\le {\rm gp}_{\rm o}(G-e)\leq\ 2{\rm gp}_{\rm o}(G)$, and (iii) that ${\rm gp}_{\rm d}(G) - {\rm gp}_{\rm d}(G-e)$ can be arbitrarily large. All bounds are demonstrated to be sharp.
Complexity of the Zero Set of a Matrix Schubert Ideal
$T$-varieties are normal varieties equipped with an action of an algebraic torus $T$. When the action is effective, the complexity of a $T$-variety $X$ is $\dim(X)-\dim(T)$. Matrix Schubert varieties, introduced by Fulton in 1992, are $T$-varieties consisting of $n \times n$ matrices satisfying certain constraints on the ranks of their submatrices. In this paper, we focus on the complexity of certain torus-fixed affine subvarieties of matrix Schubert varieties. Concretely, given a matrix Schubert variety $\overline{X_{w}}$ where $w\in S_n$, we study the complexity of $Y_w$ obtained by the decomposition $\overline{X_{w}} = Y_{w} \times \mathbb{C}^{k}$ with $k$ as large as possible. Building up from results by Escobar and Mészáros and Donten-Bury, Escobar, and Portakal, we show that for a fixed $n$, the complexity of $Y_{w}$ with respect to this action can be any integer between $0$ and $(n-1)(n-3)$, except $1$.
Torus Actions on Matrix Schubert and Kazhdan-Lusztig Varieties, and their Links to Statistical Models
We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.
Motivic Classes of Isotropic Degeneracy Loci and Symmetric Orbit Closures
We provide explicit formulas for computing the motivic Chern and Hirzebruch classes of degeneracy loci, especially those coming from the symplectic and odd orthogonal Grassmannians. The Chern--Schwartz--MacPherson classes, K-theory classes, and Cappell--Shaneson L-classes arise as specializations of the motivic Chern and Hirzebruch classes. Our result is the analogue of the result of Anderson--Chen--Tarasca for the degeneracy loci from the ordinary Grassmannians. As applications, we obtain the motivic Chern and Hirzebruch classes of orthogonal and symplectic orbit closures in flag varieties.
Discrete flat disks: rigid quadrangulations
Inspired by a question of Ferrari in the physics context of JT gravity, we introduce and enumerate a combinatorial family of quadrangulations of the disk, called rigid quadrangulations. These form a subclass of the flat quadrangulations in the sense that every inner vertex has degree 4, and therefore it can be viewed as a discrete model of flat metrics on the disk. Our main result is a bijection between rigid quadrangulations and certain colorful integer-labeled quadrangulations of the sphere, together with a dictionary relating a variety of natural statistics on both sides. Adaptions of the bijection to various boundary conditions allow us to import recent enumerative results for colorful quadrangulation obtained by Bousquet-Mélou and Elvey Price. We discuss some consequences of the enumeration of rigid quadrangulations for a flat version of JT gravity at finite cutoff, and comment on potential scaling limits.
Totally positive Toeplitz matrices: classical and modern
By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.
The combinatorial geometry of particle physics
Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.
Resonance varieties and Lie algebras of matroids and hyperplane arrangements
Published in Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie 68 (2025), no. 3, 349-382
• Search Publication
The resonance varieties, the holonomy Lie algebra, and the holonomy Chen Lie algebra associated with the Orlik-Solomon algebra of a matroid provide an algebraic lens through which to examine the rich combinatorial structure of matroids and their geometric realizations as complex hyperplane arrangements. In this survey paper, we emphasize the commonalities between these objects but also the possible ways in which realizable and non-realizable matroids differ, leading to some open questions.