variety
2744 papers tagged with this keyword
Intersection Problems in Extremal Combinatorics: Theorems, Techniques and Questions Old and New
The study of intersection problems in Extremal Combinatorics dates back perhaps to 1938, when Paul Erdős, Chao Ko and Richard Rado proved the (first) `Erdős-Ko-Rado theorem' on the maximum possible size of an intersecting family of $k$-element subsets of a finite set. Since then, a plethora of results of a similar flavour have been proved, for a range of different mathematical structures, using a wide variety of different methods. Structures studied in this context have included families of vector subspaces, families of graphs, subsets of finite groups with given group actions, and of course uniform hypergraphs with stronger or weaker intersection conditions imposed. The methods used have included purely combinatorial ones such as shifting/compressions, algebraic methods (including linear-algebraic, Fourier analytic and representation-theoretic), and more recently, analytic, probabilistic and regularity-type methods. As well as being natural problems in their own right, intersection problems have connections with many other parts of Combinatorics and with Theoretical Computer Science (and indeed with many other parts of Mathematics), both through the results themselves, and the methods used. In this survey paper, we discuss both old and new results (and both old and new methods), in the field of intersection problems. Many interesting open problems remain; we will discuss several. For expositional and pedagogical purposes, we also take this opportunity to give slightly streamlined versions of proofs (due to others) of several classical results in the area. This survey is intended to be useful to PhD students, as well as to more established researchers. It is a personal perspective on the field, and is not intended to be exhaustive; we apologise for any omissions. It is an expanded version of a paper that will appear in the Proceedings of the 29th British Combinatorial Conference.
The apparent structure of dense Sidon sets
Published
• View Publication
• BIB
The correspondence between perfect difference sets and transitive projective planes is well-known. We observe that all known dense (i.e., close to square-root size) Sidon subsets of abelian groups come from projective planes through a similar construction. We classify the Sidon sets arising in this manner from desarguesian planes and find essentially no new examples, but there are many further examples arising from nondesarguesian planes. We conjecture that all dense Sidon sets arise in this manner. We also give a brief bestiary of somewhat smaller Sidon sets with a variety of algebraic origins, and for some of them provide an overarching pattern.
Blow-up algebras of secant varieties of rational normal scrolls
Published
• View Publication
• BIB
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-invariants of the fiber cones. We also present the reduction numbers of the ideals defined by the secant varieties.
Representations and identities of plactic-like monoids
Published
• View Publication
• BIB
We exhibit faithful representations of the hypoplactic, stalactic, taiga, sylvester, Baxter and right patience sorting monoids of each finite rank as monoids of upper triangular matrices over any semiring from a large class including the tropical semiring and fields of characteristic $0$. By analysing the image of these representations, we show that the variety generated by a single hypoplactic (respectively, stalactic or taiga) monoid of rank at least $2$ coincides with the variety generated by the natural numbers together with a fixed finite monoid $\mathcal{H}$ (respectively, $\mathcal{F}$) forming a proper subvariety of the variety generated by the plactic monoid of rank $2$.
Minuscule analogues of the plane partition periodicity conjecture of Cameron and Fon-Der-Flaass
Published in Combinatorial Theory 2(1), 2022
• View Publication
• BIB
Let $P$ be a graded poset of rank $r$ and let $\mathbf{c}$ be a $c$-element chain. For an order ideal $I$ of $P \times \mathbf{c}$, its rowmotion $ψ(I)$ is the smallest ideal containing the minimal elements of the complementary filter of $I$. The map $ψ$ defines invertible dynamics on the set of ideals. We say that $P$ has NRP ("not relatively prime") rowmotion if no $ψ$-orbit has cardinality relatively prime to $r+c+1$.
In work with R. Patrias (2020), we proved a 1995 conjecture of P. Cameron and D. Fon-Der-Flaass by establishing NRP rowmotion for the product $P = \mathbf{a} \times \mathbf{b}$ of two chains, the poset whose order ideals correspond to the Schubert varieties of a Grassmann variety $\mathrm{Gr}_a(\mathbb{C}^{a+b})$ under containment. Here, we initiate the general study of posets with NRP rowmotion.
Our first main result establishes NRP rowmotion for all minuscule posets $P$, posets whose order ideals reflect the Schubert stratification of minuscule flag varieties. Our second main result is that NRP promotion depends only on the isomorphism class of the comparability graph of $P$.
Permutation module decomposition of the second cohomology of a regular semisimple Hessenberg variety
Published
• View Publication
• BIB
Regular semisimple Hessenberg varieties admit actions of associated Weyl groups on their cohomology space of each degree. In this paper, we consider the module structure of the cohomology spaces of regular semisimple Hessenberg varieties of type $A$. We define a subset of the Bialynicki-Birula basis of the cohomology space so that they become a module generator set of the cohomology module of each degree. We then use those generators to construct permutation submodules of the degree two cohomology module and show that they form a permutation module decomposition. Our construction is consistent with a known combinatorial result by Chow on chromatic quasisymmetric functions.
Quiddities of polygon dissections and the Conway-Coxeter frieze equation
Published
• View Publication
• BIB
We study a $2 \times 2$ matrix equation arising naturally in the theory of Coxeter frieze patterns. It is formulated in terms of the generators of the group $\mathrm{PSL}(2,\mathbb{Z})$ and is closely related to continued fractions. It appears in a number of different areas, for example, toric varieties. We count its positive solutions, obtaining a series of integer sequences, some known and some new. This extends classical work of Conway and Coxeter proving that the first of these sequences is the Catalan numbers.
Conjectures and results on some generalized Rueppel sequences
In this note we use the analogy between the Catalan sequence and the Rueppel sequence to derive a variety of conjectures surrounding the Hankel transforms of a number of sequences closely related to the Rueppel sequence. Use is made of the representation of suitable generating functions by Stieltjes continued fractions. We define polynomial sequences by introducing parameters that define generalized Rueppel sequences, and we show that such polynomials have coefficient arrays that are Riordan arrays. Finally we conjecture the form of a product of Hankel transforms arising from the Rueppel sequence.
Coloring Discrete Manifolds
Discrete d-manifolds are classes of finite simple graphs which can triangulate classical manifolds but which are defined entirely within graph theory. We show that the chromatic number X(G) of a discrete d-manifold G is sandwiched between d+1 and 2(d+1). From the general identity X(A+B)=X(A)+X(B) for the join A+B of two finite simple graphs, it follows that there are (2k)-spheres with chromatic number X=(3k+1) and (2k-1)-spheres with chromatic number X=3k. Examples of 2-manifolds with X(G)=5 have been known since the pioneering work of Fisk. Current data support the that the ceiling function of 3(d+1)/2 could be an upper bound for all d-manifolds G, generalizing a conjecture of Albertson-Stromquist, stating X(G) is bounded above by 5 for all 2-manifolds. For a d-manifold, Fisk has introduced the (d-2)-variety O(G). This graph O(G) has maximal simplices of dimension (d-2) and correspond to complete complete subgraphs K_{d-1} of G for which the dual circle has odd cardinality. In general, O(G) is a union of (d-2)-manifolds. We note that if O(S(x)) is either empty or a (d-3)-sphere for all x then O(G) is a (d-2)-manifold or empty. The knot O(G) is already interesting for 3-manifolds G because Fisk has demonstrated that every possible knot can appear as O(G) for some 3-manifold. For 4-manifolds G especially, the Fisk variety O(G) is a 2-manifold in G as long as all O(S(x)) are either empty or a knot in every unit 3-sphere S(x).
Cauchy Formulas and Billey's Formulas for Generalized Grothendieck polynomials
We study the generalized double $β$-Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K-theoretic version of the comodule structure map $α^*: K(G/B)\to K(G)\otimes K(G/B)$ induced by the group action map for reductive group $G$ and its flag variety $G/B$. Furthermore, we give a combinatorial formula to compute the localization of Schubert classes as a generalization of Billey's formula.
Conic decomposition of a toric variety and its application to cohomology
Published
• View Publication
• BIB
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula
Published
• View Publication
• BIB
There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them.
Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.
Relative Rank and Regularization
Published
• View Publication
• BIB
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case we obtain a new proof of the results in arXiv:1902.09830). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry and algebra. For example, we prove that any collection of polynomials $\mathcal{P}=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal{I}(\mathcal{Q})$, generated by a collection $\mathcal{Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and $\mathcal{Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.
Identities and bases in the sylvester and Baxter monoids
Published
• View Publication
• BIB
This paper presents new results on the identities satisfied by the sylvester and Baxter monoids. We show how to embed these monoids, of any rank strictly greater than 2, into a direct product of copies of the corresponding monoid of rank 2. This confirms that all monoids of the same family, of rank greater than or equal to 2, satisfy exactly the same identities. We then give a complete characterization of those identities, and prove that the varieties generated by the sylvester and the Baxter monoids have finite axiomatic rank, by giving a finite basis for them.
Small complete caps in ${\rm PG}(4n + 1, q)$
Published
• View Publication
• BIB
In this paper we prove the existence of a complete cap of ${\rm PG}(4n+1, q)$ of size $2(q^{2n+1}-1)/(q-1)$, for each prime power $q>2$. It is obtained by projecting two disjoint Veronese varieties of ${\rm PG}(2n^2+3n, q)$ from a suitable $(2n^2-n-2)$-dimensional projective space. This shows that the trivial lower bound for the size of the smallest complete cap of ${\rm PG}(4n+1, q)$ is essentially sharp.
Some hypersurfaces over finite fields, minimal codes and secret sharing schemes
Published in Designs, Codes and Cryptography (2022) 90:1503-1519
• View Publication
• BIB
Linear error-correcting codes can be used for constructing secret sharing schemes; however finding in general the access structures of these secret sharing schemes and, in particular, determining efficient access structures is difficult. Here we investigate the properties of certain algebraic hypersurfaces over finite fields, whose intersection numbers with any hyperplane only takes a few values; these varieties give rise to $q$-divisible linear codes with at most $5$ weights. Furthermore, for $q$ odd these codes turn out to be minimal and we characterize the access structures of the secret sharing schemes based on their dual codes. Indeed, the secret sharing schemes thus obtained are democratic, that is each participant belongs to the same number of minimal access sets and can easily be described.
Positroid Links and Braid varieties
Published in Journal fur die reine und angewandte Mathematik (Crelle) 2026
• View Publication
• BIB
We study braid varieties and their relation to open positroid varieties. We discuss four different types of braids associated to open positroid strata and show that their associated Legendrian links are all Legendrian isotopic. In particular, we prove that each open positroid stratum can be presented as the augmentation variety for four different Legendrian fronts described in terms of either permutations, juggling patterns, cyclic rank matrices or Le diagrams. We also relate braid varieties to open Richardson varieties and brick manifolds, showing that the latter provide projective compactifications of braid varieties, with normal crossing divisors at infinity.
Toric Richardson varieties of Catalan type and Wedderburn-Etherington numbers
Published
• View Publication
• BIB
We associate a complete non-singular fan with a polygon triangulation. Such a fan appears from a certain toric Richardson variety, called of Catalan type introduced in this paper. A toric Richardson variety of Catalan type is a Fano Bott manifold. We show that toric Richardson varieties of Catalan type are classified up to isomorphism in terms of unordered binary trees. In particular, the number of isomorphism classes of $n$-dimensional toric Richardson varieties of Catalan type is the $(n+1)$th Wedderburn--Etherington number.
Infinite flags and Schubert polynomials
Published in Forum of Mathematics, Sigma 13 (2025) e36
• View Publication
• BIB
We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.
Permutation actions on Quiver Grassmannians for the equioriented cycle via GKM-Theory
Published
• View Publication
• BIB
In previous work we equipped quiver Grassmannians for nilpotent representations of the equioriented cycle with an action of an algebraic torus. We show here that the equivariant cohomology ring is acted upon by a product of symmetric groups and we investigate this permutation action via GKM techniques. In the case of (type A) flag varieties, or Schubert varieties therein, we recover Tymoczko's results on permutation representations.