variety
2680 papers tagged with this keyword
Equivariant quasisymmetry and noncrossing partitions
We introduce a definition of ``equivariant quasisymmetry'' for polynomials in two sets of variables. Using this definition we define quasisymmetric generalizations of the theory of double Schur and double Schubert polynomials that we call double fundamental polynomials and double forest polynomials, where the subset of ``noncrossing partitions'' plays the role of $S_n$. In subsequent work we will show this combinatorics is governed by a new geometric construction we call the ``quasisymmetric flag variety'' which plays the same role for equivariant quasisymmetry as the usual flag variety plays in the classical story.
Tropical Abel-Jacobi theory
To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by defining functorial Abel-Jacobi maps. We introduce, in particular, tropical Albanese varieties and formulate obstructions to algebraic equivalence of tropical cycles. In dimension 1, we show that this recovers the existing Abel-Jacobi theory for tropical curves.
As an application, we consider the Ceresa class of a tropical curve which is defined as the image of the Ceresa cycle in an appropriate intermediate Jacobian under the Abel-Jacobi map. We give an explicit formula for this class entirely in terms of the combinatorics of the tropical curve.
A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case
The field of analytic combinatorics in several variables (ACSV) develops techniques to compute the asymptotic behaviour of multivariate sequences from analytic properties of their generating functions. When the generating function under consideration is rational, its set of singularities forms an algebraic variety -- called the singular variety -- and asymptotic behaviour depends heavily on the geometry of the singular variety. By combining a recent algorithm for the Whitney stratification of algebraic varieties with methods from ACSV, we present the first software that rigorously computes asymptotics of sequences whose generating functions have non-smooth singular varieties (under other assumptions on local geometry). Our work is built on the existing sage_acsv package for the SageMath computer algebra system, which previously gave asymptotics under a smoothness assumption. We also report on other improvements to the package, such as an efficient technique for determining higher order asymptotic expansions using Newton iteration, the ability to use more efficient backends for algebraic computations, and a method to compute so-called critical points for any multivariate rational function through Whitney stratification.
The varieties generated by 3-hypergraph semirings
In this paper the 3-hypergraph semigroups and 3-hypergraph semirings from 3-hypergraphs $\mathbb{H}$ are introduced and the varieties generated by them are studied. It is shown that all 3-hypergraph semirings $S_{\scriptscriptstyle \mathbb{H}}$ are nonfinitely based and subdirectly irreducible. Also, it is proved that each variety generated by 3-hypergraph semirings is equal to a variety generated by 3-uniform hypergraph semirings. It is well known that both variety $\mathbf{V}(S_c(abc))$ (see, J. Algebra 611: 211--245, 2022 and J. Algebra 623: 64--85, 2023) and variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ play key role in the theory of variety of ai-semirings, where 3-uniform hypergraph $\mathbb{H}$ is a 3-cycle. They are shown that each variety generated by 2-robustly strong 3-colorable 3-uniform hypergraph semirings is equal to variety $\mathbf{V}(S_c(abc))$, and each variety generated by so-called beam-type hypergraph semirings or fan-type hypergraph semirings is equal to the variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ generated by a 3-uniform 3-cycle hypergraph semiring $S_{\scriptscriptstyle \mathbb{H}}$. Finally, an infinite ascending chain is provided in the lattice of subvarieties of the variety generated by all 3-uniform hypergraph semirings. This implies that the variety generated by all 3-uniform hypergraph semirings has infinitely many subvarieties.
Interesting Deformed $q$-Series Involving The Central Fibonomial Coefficient
In this paper, we will obtain a variety of interesting $q$-series containing central $q$-binomial coefficients. Our approach is based on manipulating deformed basic hypergeometric series.
Toda-Type Presentations for the Quantum K Theory of Partial Flag Varieties
Published in SIGMA 21 (2025), 098, 26 pages
• View Publication
• BIB
We prove a determinantal, Toda-type, presentation for the equivariant K theory of a partial flag variety ${\rm Fl}(r_1, \dots, r_k;n)$. The proof relies on pushing forward the Toda presentation obtained by Maeno, Naito and Sagaki for the complete flag variety ${\rm Fl}(n)$, via Kato's ${\rm K}_T({\rm pt})$-algebra homomorphism from the quantum K ring of ${\rm Fl}(n)$ to that of ${\rm Fl}(r_1, \dots, r_k;n)$. Starting instead from the Whitney presentation for ${\rm Fl}(n)$, we show that the same pushforward technique gives a recursive formula for polynomial representatives of quantum K Schubert classes in any partial flag variety which do not depend on quantum parameters. In an appendix, we include another proof of the Toda presentation for the equivariant quantum K ring of ${\rm Fl}(n)$, following Anderson, Chen, and Tseng, which is based on the fact that the ${\rm K}$-theoretic $J$-function is an eigenfunction of the finite difference Toda Hamiltonians.
Shellability of the quotient order on lattice path matroids
The concept of a matroid quotient has connections to fundamental questions in the geometry of flag varieties. In previous work, Benedetti and Knauer characterized quotients in the class of lattice path matroids (LPMs) in terms of a simple combinatorial condition. As a consequence, they showed that the quotient order on LPMs yields a graded poset whose rank polynomial relates to a refinement of the Catalan numbers. In this work we show that this poset admits an EL-labeling, implying that the order complex is shellable and hence enjoys several combinatorial and topological properties. We use this to establish bounds on the Möbius function of the poset, interpreting falling chains in the EL-labeling in terms of properties of underlying permutations. Furthermore, we show that this EL-labeling is in fact a Whitney labeling, in the sense of the recent notion introduced by González D'León and Hallam.
Geometries with trialities arising from linear spaces
A triality is a sort of super-symmetry that exchanges the types of the elements of an incidence geometry in cycles of length three. Although geometries with trialities exhibit fascinating behaviors, their construction is challenging, making them rare in the literature. To understand trialities more deeply, it is crucial to have a wide variety of examples at hand. In this article, we introduce a general method for constructing various rank-three incidence systems with trialities. Specifically, for any rank two incidence system $Γ$, we define its triangle complex $Δ(Γ)$, a rank three incidence system whose elements consist of three copies of the flags (pairs of incident elements) of $Γ$. This triangle complex always admits a triality that cyclically permutes the three copies. We then explore in detail the properties of the triangle complex when $Γ$ is a linear space, including flag-transitivity, the existence of dualities, and connectivity properties. As a consequence of our work, this construction yields the first infinite family of thick, flag-transitive and residually connected geometries with trialities but no dualities.
A New Dominating Set Game on Graphs
We introduce a new two-player game on graphs, in which players alternate choosing vertices until the set of chosen vertices forms a dominating set. The last player to choose a vertex is the winner. The game fits into the scheme of several other known games on graphs. We characterize the paths and cycles for which the first player has the winning strategy. We also create tools for combining graphs in various ways (via graph powers, Cartesian products, graph joins, and other methods) for building a variety of graphs whose games are won by the second player, including cubes, multidimensional grids with an odd number of vertices, most multidimensional toroidal grids, various trees such as specialized caterpillars, the Petersen graph, and others. Finally, we extend the game to groups and show that the second player wins the game on abelian groups of even order with canonical generating set, among others.
Strongly regular graphs with parameters (85,14,3,2) do not exist
We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,λ,μ)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a graph $G$. After that, we exhaustively enumerate possible neighbourhoods of a maximal $3$-clique of $G$ and check them against a variety of conditions, including the combinatorial ones, coming from $λ=3$ and $μ=2$, as well as the linear algebra ones, utilising the Euclidean representation of $G$. These conditions yield contradiction in all cases, and hence, no $\mathrm{srg}(85,14,3,2)$ exists.
Piecewise-exponential functions and Ehrhart fans
This paper studies rings of integral piecewise-exponential functions on rational fans. Motivated by lattice-point counting in polytopes, we introduce a special class of unimodular fans called Ehrhart fans, whose rings of integral piecewise-exponential functions admit a canonical linear functional that behaves like a lattice-point count. In particular, we verify that all complete unimodular fans are Ehrhart and that the Ehrhart functional agrees with lattice-point counting in corresponding polytopes, which can otherwise be interpreted as holomorphic Euler characteristics of vector bundles on smooth toric varieties. We also prove that all Bergman fans of matroids are Ehrhart and that the Ehrhart functional in this case agrees with the Euler characteristic of matroids, introduced recently by Larson, Li, Payne, and Proudfoot. A key property that we prove about the Ehrharticity of fans is that it only depends on the support of the fan, not on the fan structure, thus providing a uniform framework for studying K-rings and Euler characteristics of complete fans and Bergman fans simultaneously.
Moments of permutation statistics by cycle type
Beginning with work of Zeilberger on classical pattern counts, there are a variety of structural results for moments of permutation statistics applied to random permutations. Using tools from representation theory, Gaetz and Ryba generalized Zeilberger's results to uniformly random permutations of a given cycle type. We introduce regular statistics and characterize their moments for all cycle types, generalizing all results in this literature that we are aware of. Our approach splits into two steps: first characterize such statistics as linear combinations of indicator functions for partial permutations, then identifying the moments of such indicators. As an application, we show that many regular statistics exhibit a law of large numbers depending only on fixed point counts and a similar variance property that depends also on two--cycle counts.
These results first appeared in arXiv:2206.06567, which is no longer intended for publication. Our original proof of the moment result for indicators of partial permutations relied on representation theory and symmetric functions. A referee generously shared a combinatorial argument, allowing us to give a self-contained treatment of these results that does not rely on representation theory.
Counting $\mathbb F_q$-points of orbital varieties in ad-nilpotent ideals of type $A_n$
Let $\mathfrak b_n(\mathbb F_q)$ denote the Lie algebra of upper triangular $n \times n$ matrices over $\mathbb F_q$, and let $\mathfrak u_n(\mathbb F_q)$ be the subalgebra of strictly upper triangular matrices. For every $\mathfrak b_n(\mathbb F_q)$-stable ideal $\mathfrak a \subseteq \mathfrak u_n(\mathbb F_q)$ and partition $μ$ of $n$, we give an explicit formula for the number of elements in $\mathfrak a$ of Jordan type $μ$. Up to a power of $q$, the number of points is given by the Hall scalar product of a modified Hall-Littlewood function indexed by $μ$ and a chromatic quasisymmetric function associated to $\mathfrak a$.
In the special case $\mathfrak a = \mathfrak u_Λ(\mathbb F_q)$, the nilradical of the standard parabolic subalgebra of $\mathfrak{gl}_n(\mathbb F_q)$ corresponding to a composition $Λ$ of $n$, our formula specializes to a result of Karp and Thomas: up to a polynomial in $q$, the number of elements in $\mathfrak u_Λ(\mathbb F_q)$ of Jordan type $μ$ equals the coefficient of $\mathbf x^Λ$ in the specialization of the dual Macdonald symmetric function $\mathrm Q_{μ'}(\mathbf x; q^{-1}, t)$ at $t = 0$. We give a new and shorter proof using a parabolic version of Borodin's division algorithm.
We present four applications: (1) a formula for the number of points on a nilpotent Hessenberg variety; (2) a derivation of Kirillov's recurrence for counting nilpotent matrices of fixed Jordan type; (3) a formula for the number of $X \in \mathfrak u_Λ(\mathbb F_q)$ with $X^2 = 0$, yielding a new proof of the Kirillov-Melnikov-Ekhad-Zeilberger formula via two-row Macdonald polynomials; (4) a formula for the number of double cosets $\mathsf U_1 \backslash \mathsf{GL}_n(\mathbb F_q) / \mathsf U_2$, where $\mathsf U_1$ and $\mathsf U_2$ are unipotent subgroups from $\mathfrak b_n(\mathbb F_q)$-stable ideals.
The Theory of Khinchin Families
The theory of Khinchin families connects Probability Theory and Complex Analysis. Along this PhD thesis, we exploit this connection to obtain, using a variety of local central limit theorems, asymptotic formulas for the coefficients of analytic functions with non-negative coefficients. We give criteria for a power series to have certain specific, and in most cases, computable, asymptotic formula.
The theory of Khinchin families was initiated and is strongly influenced by the work of Walter K. Hayman, Paul C. Rosembloom, and Luis Báez-Duarte. We can assign to each power series $f$ in the class $\mathcal{K}$, having radius of convergence $R>0$, a family of random variables $(X_t)_{[0,R)}$. This theory examines the behavior of this family of random variables, and also of its normalized version, as $t \uparrow R$.
This thesis aims to harmonize the various asymptotic formulas for combinatorial or probabilistic objects within a single framework. With this aim we have extended some of the classes of functions and also studied the coefficients of large powers of analytic functions. One of our main goals was to consolidate and develop some aspects of a comprehensive theory: providing a guidebook for combinatorialists or probabilists, a series of results, or basic criteria, where they can follow a step-by-step process, verify if certain straightforward conditions are met, and then derive an asymptotic formula for the object of study. However, this is not the sole primary goal; we are also profoundly interested in the functional theoretical properties of these classes of functions and their connections to the respective Khinchin families (such as the case of $f \in \mathcal{K}$ being an entire function).
Tropical Poincaré bundle, Fourier-Mukai transform, and a generalized Poincaré formula
We construct a tropical analogue of the Poincaré bundle and prove a (cohomological) Fourier-Mukai transform for real tori with integral structures. We then prove a tropical analogue of Beauville's generalized Poincaré formula for polarized abelian varieties. Some consequences include a geometric Riemann-Roch theorem for tropical abelian varieties, as well as a tropical Poincaré-Prym formula which was recently conjectured by Röhrle and Zakharov.
A new combinatorial interpretation of partial sums of $m$-step Fibonacci numbers
The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ binary words are equivalent if one can be obtained from the other by some sequence of substitutions: each substitution replaces an instance of the keyword with its negation, or vice versa. We prove that the number of induced equivalence classes is again the $n$-th term in the aforementioned sequence. When the keyword has length $m+1$ (instead of $3$), the same result holds with $m$-step Fibonacci numbers. What makes this result surprising -- and distinct from the previous interpretation -- is that it does not depend on the keyword, despite the fact that the sizes of the equivalence classes do. On this final point, we prove several results on the structure of equivalence classes, and also pose a variety of open problems.
Generative Modeling for Mathematical Discovery
We present a new implementation of the LLM-driven genetic algorithm {\it funsearch}, whose aim is to generate examples of interest to mathematicians and which has already had some success in problems in extremal combinatorics. Our implementation is designed to be useful in practice for working mathematicians; it does not require expertise in machine learning or access to high-performance computing resources. Applying {\it funsearch} to a new problem involves modifying a small segment of Python code and selecting a large language model (LLM) from one of many third-party providers. We benchmarked our implementation on three different problems, obtaining metrics that may inform applications of {\it funsearch} to new problems. Our results demonstrate that {\it funsearch} successfully learns in a variety of combinatorial and number-theoretic settings, and in some contexts learns principles that generalize beyond the problem originally trained on.
A positive Siegel theorem: Dynkin friezes and positive Mordell-Schinzel
We determine the number of positive integral points on $n$-dimensional affine varieties associated to arbitrary $n \times n$ generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly $4400$ and $26952$ positive integral friezes of type $E_7$ and $E_8$ respectively. An application to number theory refines and generalizes theorems of Mohanty, Mordell, and Schinzel to the positive integers and higher dimensions by exhibiting examples of Diophantine equations $xyz = G(x, y)$ and $xyzw = G(x, y, z)$ of every degree greater than $3$ with infinitely many positive integral solutions.
Brewing Fubini-Bruhat Orders
Published in Séminaire Lotharingien de Combinatoire Issue 91B Article [91B.45], 2024
• Search Publication
The Bruhat order on permutations arises out of the study of Schubert varieties in Grassmannians and flag varieties, which have been important for over 100 years. The purpose of this paper is to study variations on this theme related to subvarieties of the spanning line configurations $X_{n,k}$ as defined by Pawlowski and Rhoades. These subvarieties are indexed by Fubini words, or equivalently by ordered set partitions. Three natural partial orders arise in this context; we refer to them as the decaf, medium roast, and espresso orders. The decaf order is a generalization of the weak order on permutations defined by covering relations using simple transpositions. The medium roast order is a generalization of the (strong) Bruhat order defined by the closure relationship on the subvarieties. The espresso order is the transitive closure of a relation based on intersecting subvarieties. Many properties of Schubert varieties and Bruhat order extend to one or more of the three Fubini-Bruhat orders. We examine some of the many possibilities in this work.
Splicing skew shaped positroids
Skew shaped positroids (or skew shaped positroid varieties) are certain Richardson varieties in the flag variety that admit a realization as explicit subvarieties of the Grassmannian $\mathrm{Gr}(k,n)$. They are parametrized by a pair of Young diagrams $μ\subseteq λ$ fitting inside a $k \times (n-k)$-rectangle. For every $a = 1, \dots, n-k$, we define an explicit open set $U_a$ inside the skew shaped positroid $S^{\circ}_{λ/μ}$, and show that $U_a$ is isomorphic to the product of two smaller skew shaped positroids. Moreover, $U_a$ admits a natural cluster structure and the aforementioned isomorphism is quasi-cluster in the sense of Fraser. Our methods depend on realizing the skew shaped positroid as an explicit braid variety, and generalize the work of the first and third authors for open positroid cells in the Grassmannian.