variety
2680 papers tagged with this keyword
Exhaustive Generation of Pattern-Avoiding s-Words
The most well-known Gray code of permutations is plain changes. It was discovered in the 1600s by bell-ringers who wished to order the permutations of [n] by swaps (e.g., 123, 132, 312, 321, 231, 213 for n = 3). In other words, plain changes traces a Hamilton path in the permutohedron. In 2013 it was shown that plain changes can be generated by a greedy algorithm: swap the largest value. Algorithm J replaces the swap operation with the jump operation (which moves a larger digit past one or more smaller digits) and forms the basis of the wildly successful Combinatorial Generation via Permutation Languages series of papers.
Here we further generalize this line of research to languages of s-words (i.e., multiset permutations). We generalize jumps to bumps, which moves a sequential run of the same larger digit past one or more smaller digits. Algorithm B greedily applies minimum-length bumps prioritized by largest value, then largest index, then rightward before leftward (e.g. 1122, 1221, 1212, 2112, 2121, 2211 for s = (2, 2)).
We show that the algorithm works for s-word languages avoiding a wide variety of tame patterns. Specific applications include efficient algorithm for generating s-Stirling words (which avoid 121) and new Gray codes for various s-Catalan objects (which avoid 132 and 121). The former result leads to Hamilton paths in every s-permutahedron.
On Vanishing of Gromov--Witten Invariants
We consider the decision problem of whether a particular Gromov--Witten invariant on a partial flag variety is zero. We prove that for the $3$-pointed, genus zero invariants, this problem is in the complexity class ${\sf AM}$ assuming the Generalized Riemann Hypothesis (GRH), and therefore lies in the second level of polynomial hierarchy ${\sf PH}$.
For the proof, we construct an explicit system of polynomial equations through a translation of the defining equations. We also need to prove an extension of the Parametric Hilbert's Nullstellensatz to obtain our central reduction.
Cactus, Pascal, and Pappus Point-Line Configurations: An Algebraic-Geometric Perspective
We study point-line configurations and their associated matroid and circuit varieties. We aim to find a finite set of defining equations for matroid varieties and an irreducible decomposition for circuit varieties.
To solve the former problem, we use some classical techniques from algebraic geometry, including the Grassmann-Cayley algebra and the liftability technique. From this, we can respectively derive the Grassmann-Cayley ideal, introduced by Sidman, Traves and Wheeler, and the lifting ideal, introduced by Liwski, Mohammadi, Clarke and Masiero. Since the circuit ideal, the Grassmann-Cayley ideal and the lifting ideal are contained in the matroid ideal and explicit generators are known for them, it is a natural question to identify point-line configurations for which a generating set of the matroid ideal is formed by the circuit polynomials, Grassmann-Cayley polynomials and lifting polynomials. For these point-line configurations, we obtain an explicit and finite description of the matroid variety. In this thesis, we prove that the matroid ideal of cactus configurations, the Pascal configuration and the Pappus configuration can be generated by these three types of polynomials.
To find an irreducible decomposition for the circuit varieties of point-line configurations, we use the decomposition strategy developed by Clarke, Grace, Mohammadi and Motwani. If the point-line configuration has some points lying on at most two lines, we develop a shorter alternative as well. We find such a decomposition for cactus configurations, up to irredundancy. Moreover, we find an irreducible decomposition for the Pascal configuration and the third configuration $9_3$, which is a point-line configuration with nine points and nine lines, such that every point is on three lines and every line contains three points.
The separating variety for matrix invariants
Let $G$ be a linear algebraic group defined over an algebraically closed field $k$, and let $V$ be a vector space on which $G$ acts linearly. The separating variety $\mathcal{S}_{G,V}$ is the subvariety of $V^2$ consisting of pairs of points indistinguishable by invariant polynomials in $k[V]^G$. Its geometry places restrictions on the existence of small separating sets, i.e. sets of invariants which distinguish the same points as the full algebra of invariants. The purpose of this article is to study the separating variety in the important special case where $G=\mathrm{GL}_p(\mathbb{C})$ acts on the set $V$ of $n$-tuples of $p \times p$ matrices by simultaneous conjugation. We define a purely combinatorial poset, $\mathcal{P}_{p,n}$, whose maximal elements are in 1-1 correspondence with the irreducible components of $\mathcal{S}_{G,V}$. We show that $\mathcal{S}_{G,V}$ is a variety of dimension $(n+1)p^2-1$, and determine its subdimension for all $n$ and $p$. In particular we show the subdimension is $(n+1)p^2-p$ if $n \geq 3$, or $n \geq 2$ and $p \geq 4$. In the case $n \geq 3$, we give a formula for the number of components of given codimension in $\mathcal{S}_{G,V}$. We give explicit decompositions of $\mathcal{S}_{G,V}$ for all $n$ where $p=2,3$ or $4$. Our results in particular show that when $n\geq 2$ and $p\geq 4$, or $n\geq 3$ and $p=3$, $\mathbb{C}[V]^G$ does not contain a polynomial or hypersurface separating set. It was proven in arXiv:2202.05717 that the same is true if $n \geq 4$ and $p=2$. The author made a conjecture in arXiv:2211.17088 generalising the Skronowski-Weyman theorem for representations of quivers. The results of this paper prove that conjecture in two important special cases: for the quiver with one vertex and an arbitrary number, $n$, of loops, and for the quiver with two vertices and $n$ arrows between them.
Permutations satisfying $(P_1)$ and $(P_2)$ properties and $\ell$-optimal bent functions
An important classification of permutations over $\mathbb{F}_2^m$, suitable for constructing Maiorana-McFarland bent functions on $\mathbb{F}_2^m \times \mathbb{F}_2^m$ with the unique $M$-subspace of maximal dimension, was recently considered in Pasalic et al. (IEEE Trans. Inf. Theory 70(6): 4464-4477, 2024). More precisely, two properties called $(P_1)$ and $(P_2)$ were introduced and a generic method of constructing permutations having the property $(P_1)$ was presented, whereas no such results were provided related to the $(P_2)$ property. In this article, we provide a deeper insight on these properties, their mutual relationship, and specify some explicit classes of permutations having these properties. Such permutations are then employed to generate a large variety of bent functions outside the completed Maiorana-McFarland class $M^\#$. We also introduce $\ell$-optimal bent functions as bent functions with the lowest possible linearity index; such functions can be considered as opposite to Maiorana-McFarland bent functions. We give explicit constructions of $\ell$-optimal bent functions within the $D_0$ class, which in turn can be employed in certain secondary constructions of bent functions for providing even more classes of bent functions that are provably outside $M^\#$. Moreover, we demonstrate that a certain subclass of $D_0$ has an additional property of having only 5-valued spectra decompositions. Finally, we generalize the so-called "swapping variables" method which then allows us to specify large families of bent functions outside $M^\#$. In this way, we give a better explanation of the origin of bent functions in dimension eight, since the vast majority of them is outside ${M}^\#$.
A decomposition of graph a-numbers
We study the $a$-sequence $(a_0(G), a_1(G), \cdots)$ of a finite simple graph $G$, defined recursively through a combinatorial rule and known to coincide with the sequence of rational Betti numbers of the real toric variety associated with $G$.
In this paper, we establish a combinatorial and topological decomposition formula for the $a$-sequence. As an application, we show that the $a$-sequence is monotone under graph inclusion; that is, $a_i(G) \geq a_i(H)$ for all $i \geq 0$ whenever $H$ is a subgraph of $G$, and obtain the lower and upper bounds of $a_i$-numbers. We also prove that the $a$-sequence is unimodal in $i$ for a broad class of graphs $G$, including those with a Hamiltonian circuit or a universal vertex. These results provide a new class of topological spaces whose Betti number sequences are unimodal but not necessarily log concave, contributing to the study of real loci in algebraic geometry.
Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits
Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.
Tropical fans supporting a reduced 0-dimensional complete intersection
An affine tropical fan is called regular if it supports a reduced 0-dimensional complete intersection. For some cases the classification of regular fans is already complete. It was proved by Fink that tropical varieties of degree 1 are exactly Bergman fans, and later Esterov and Gusev classified all lattice polytopes whose mixed volume equals 1. We introduce the notion of a gallery for tropical fans and use it to classify all one-dimensional regular fans, thereby obtaining a minimal model programme for such fans. In dimension 2 we prove a finiteness theorem: every regular fan that satisfies the given upper bound condition is precisely the support of a finite covering by two-dimensional galleries, and only finitely many such fans exist.
Comparing cluster algebras on braid varieties
Braid varieties parametrize linear configurations of flags with transversality conditions dictated by positive braids. They include and generalize reduced double Bruhat cells, positroid varieties, open Bott-Samelson varieties, and Richardson varieties, among others. Recently, two cluster algebra structures were independently constructed in the coordinate rings of braid varieties: one using weaves and the other using Deodhar geometry. The main result of the article is that these two cluster algebras coincide. More generally, our comparative study matches the different concepts and results from each approach to the other, both on the combinatorial and algebraic geometric aspects.
Slow graph bootstrap percolation III: Chain constructions
For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a general framework of chain constructions. We demonstrate the flexibility of this framework by applying several variations of the method to give lower bounds on $M_H(n)$ for a wide variety of different graphs $H$ including dense graphs, random graphs and complete bipartite graphs. In particular, we focus on the question of whether $M_H(n)$ is (almost) quadratic or not and our lower bounds develop connections with additive combinatorics, utilising constructions of sets free of solutions to certain linear equations. Finally, our lower bounds are complemented by upper bounds which connect $M_H(n)$ to other problems in extremal graph theory such as the Ruzsa-Szemerédi (6,3)-Theorem.
On a class of quasi-Hermitian surfaces in even characteristic
In [1], a new quasi-Hermitian variety $\mathcal{H}_\varepsilon^r$ in $\mathrm{PG}(r, q^2)$, with $q = 2^e$ and $e \geq 3$ an odd integer, was constructed. The variety depends on a primitive element $\varepsilon$ of the underlying field $\mathrm{GF}(q^2)$.11
In the present paper, we first provide a classification of such varieties up to projective equivalence in finite projective spaces of arbitrary dimension. Then, we focus on the case $r = 3$ and study the structure of the lines contained in $\mathcal{H}_\varepsilon^3$; as a consequence, we determine the full automorphism group of $\mathcal{H}_\varepsilon^3$ . Finally, as a byproduct, we prove the equivalence of certain minimal codes introduced in [3].
Plabic Tangles and Cluster Promotion Maps
Inspired by the BCFW recurrence for tilings of the amplituhedron, we introduce the general framework of `plabic tangles' that utilizes plabic graphs to define rational maps between products of Grassmannians called `promotions'. The central conjecture of the paper is that promotion maps are quasi-cluster homomorphisms, which we prove for several classes of promotions. In order to define promotion maps, we utilize $m$-vector-relation configurations ($m$-VRCs) on plabic graphs. We relate $m$-VRCs to the degree (a.k.a `intersection number') of the amplituhedron map on positroid varieties and characterize all plabic trees with intersection number one and their VRCs. Finally, we show that promotion maps admit an operad structure and, supported by the class of `$4$-mass box' promotion, we point at new positivity properties for non-rational maps beyond cluster algebras. Promotion maps have important connections to the geometry and cluster structure of the amplituhedron and singularities of scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory.
Tropical cluster varieties of type C
We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gröbner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations.
Saturation for Non-Symmetric Macdonald Polynomials
We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.
Notes on the cohomology of partial Hessenberg varieties
Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.
Recent advances in arrow relations and traces of sets
The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F} \subseteq 2^{[n]}$ with $|\mathcal{F}| \geqslant m$, there exists an $a$-element subset $T \subseteq [n]$ such that the trace $\mathcal{F}_{|T} = \{ F \cap T : F \in \mathcal{F} \}$ contains at least $b$ distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.
Towards the classification of maximum scattered linear sets of $\mathrm{PG}(1,q^5)$
Every maximum scattered linear set in $\mathrm{PG}(1,q^5)$ is the projection of an $\mathbb{F}_q$-subgeometry $Σ$ of $\mathrm{PG}(4,q^5)$ from a plane $Γ$ external to the secant variety to $Σ$. The pair $(Γ,Σ)$ will be called a projecting configuration for the linear set. The projecting configurations for the only known maximum scattered linear sets in $\mathrm{PG}(1,q^5)$, namely those of pseudoregulus and LP type, have been characterized in the literature by B. Csajbók, C. Zanella in 2016 and by C. Zanella, F. Zullo in 2020. Let $(Γ,Σ)$ be a projecting configuration for a maximum scattered linear set in $\mathrm{PG}(1,q^5)$, let $σ$ be a generator of $\mathbb{G}=\mathrm{P}Γ\mathrm{L}(5,q^5)_Σ$, and $A=Γ\capΓ^{σ^4}$, $B=Γ\capΓ^{σ^3}$. If $A$ and $B$ are not both points, then the projected linear set is of pseudoregulus type. Then, suppose that they are points. The rank of a point $X$ is the vectorial dimension of the span of the orbit of $X$ under the action of $\mathbb{G}$. In this paper, by investigating the geometric properties of projecting configurations, it is proved that if at least one of the points $A$ and $B$ has rank 5, the associated maximum scattered linear set must be of LP type. Then, if a maximum scattered linear set of a new type exists, it must be such that $\mathrm{rk} A=\mathrm{rk} B=4$. In this paper we derive two possible polynomial forms that such a linear set must have. An exhaustive analysis by computer shows that for $q\leq 25$, no new maximum scattered linear set exists.
Domino tilings beyond 2D
There is a rich history of domino tilings in two dimensions. Through a variety of techniques we can answer questions such as: how many tilings are there of a given region or what does the space of all tilings look like? These questions and their answers become significantly more difficult in dimension three and above. Despite this curse of dimensionality, there have been exciting recent advances in the theory. Here we briefly review foundational results of two-dimensional domino tilings and highlight where challenges arise when generalizing to higher dimensions. We then survey results in higher dimensional domino tilings, focusing on the question of connectivity of the space of tilings, and the open problems that still remain.
Limits of biconditioned Bienayme-Galton-Watson trees
We study the limiting behavior of a Bienayme-Galton-Watson tree conditioned to have a large number of vertices and either a fixed number of leaves or a fixed number of internal nodes. The first biconditioning gives a universal result with respect to the offspring distribution. In contrast, the second case leads to a variety of limiting behaviors, ranging from condensation phenomena to more elongated tree structures, depending on the properties of the offspring distribution. To prove these results, we use tools from conditioned random walk theory and from analytic combinatorics.
Exterior Cyclic Polytopes and Convexity of Amplituhedra
The amplituhedron is a semialgebraic set in the Grassmannian. We study convexity and duality of amplituhedra. We introduce a notion of convexity, called \textit{extendable convexity}, for real semialgebraic sets in any embedded projective variety. We show that the $k=m=2$ amplituhedron is extendably convex in the Grassmannian of lines in projective three-space. In the process we introduce a new polytope called the \emph{exterior cyclic polytope}, generalizing the cyclic polytope. It is equal to the convex hull of the amplituhedron in the Plücker embedding. We undertake a combinatorial analysis of the exterior cyclic polytope, its facets, and its dual. Finally, we introduce the \textit{(extendable) dual amplituhedron}, which is closely related to the dual of the exterior cyclic polytope. We show that the dual amplituhedron for $k=m=2$ is again an amplituhedron, where the external matrix data is changed by the twist map.