variety
2681 papers tagged with this keyword
Incidences between points on a variety and planes in R^3
In this paper we establish an improved bound for the number of incidences between a set $P$ of $m$ points and a set $H$ of $n$ planes in $\mathbb R^3$, provided that the points lie on a two-dimensional nonlinear irreducible algebraic variety $V$ of constant degree. Specifically, the bound is $$ O\left( m^{2/3}n^{2/3} + m^{6/11}n^{9/11}\log^β(m^3/n) + m + n + \sum_\ell |P_\ell|\cdot |H_\ell| \right) , $$ where the constant of proportionality and the constant exponent $β$ depend on the degree of $V$, and where the sum ranges over all lines $\ell$ that are fully contained in $V$ and contain at least one point of $P$, so that, for each such $\ell$, $P_\ell = P\cap\ell$ and $H_\ell$ is the set of the planes of H that contain $\ell$. In addition, $\sum_\ell |P_\ell| = O(m)$ and $\sum_\ell |H_\ell| = O(n)$.
This improves, for this special case, the earlier more general bound of Apfelbaum and Sharir (see also Brass and Knauer as well as Elekes and Tóth).
This is a generalization of the incidence bound for points and circles in the plane (cf. Aronov et al., Aronov and Sharir, Marcus and Tardos), and is based on a recent result of Sharir and Zahl on the number of cuts that turn a collection of algebraic curves into pseudo-segments.
The case where $V$ is a quadric is simpler to analyze, does not require the result of Sharir and Zahl, and yields the same bound as above, with $β=2/11$.
We present an interesting application of our results to a problem, studied by Rudnev, on obtaining a lower bound on the number of distinct cross-ratios determined by $n$ real points, where our bound leads to a slight improvement in Rudnev's bound.
Symmetry in Sphere-based Assembly Configuration Spaces
Published in Symmetry 8.1 (2016): 5
• View Publication
• BIB
Many remarkably robust, rapid and spontaneous self-assembly phenomena in nature can be modeled geometrically starting from a collection of rigid bunches of spheres. This paper highlights the role of symmetry in sphere-based assembly processes. Since spheres within bunches could be identical and bunches could be identical as well, the underlying symmetry groups could be of large order that grows with the number of participating spheres and bunches. Thus, understanding symmetries and associated isomorphism classes of microstates correspond to various types of macrostates can significantly reduce the complexity of computing entropy and free energy, as well as paths and kinetics, in high dimensional configuration spaces. In addition, a precise understanding of symmetries is crucial for giving provable guarantees of algorithmic accuracy and efficiency in such computations. In particular, this may aid in predicting crucial assembly-driving interactions.
This is a primarily expository paper that develops a novel, original framework for dealing with symmetries in configuration spaces of assembling spheres with the following goals. (1) We give new, formal definitions of various concepts relevant to sphere-based assembly that occur in previous work, and in turn, formal definitions of their relevant symmetry groups leading to the main theorem concerning their symmetries. These previously developed concepts include, for example, (a) assembly configuration spaces, (b) stratification of assembly configuration space into regions defined by active constraint graphs, (c) paths through the configurational regions, and (d) coarse assembly pathways. (2) We demonstrate the new symmetry concepts to compute sizes and numbers of orbits in two example settings appearing in previous work. (3) We give formal statements of a variety of open problems and challenges using the new conceptual definitions.
Twisted cohomology of configuration spaces and spaces of maximal tori via point-counting
We consider two families of algebraic varieties $Y_n$ indexed by natural numbers $n$: the configuration space of unordered $n$-tuples of distinct points on $\mathbb{C}$, and the space of unordered $n$-tuples of linearly independent lines in $\mathbb{C}^n$. Let $W_n$ be any sequence of virtual $S_n$-representations given by a character polynomial, we compute $H^i(Y_n; W_n)$ for all $i$ and all $n$ in terms of double generating functions. One consequence of the computation is a new recurrence phenomenon: the stable twisted Betti numbers $\lim_{n\to\infty}\dim H^i(Y_n; W_n)$ are linearly recurrent in $i$. Our method is to compute twisted point-counts on the $F_q$-points of certain algebraic varieties, and then pass through the Grothendieck-Lefschetz fixed point formula to prove results in topology. We also generalize a result of Church-Ellenberg-Farb about the configuration spaces of the affine line to those of a general smooth variety.
A spectral sequence for stratified spaces and configuration spaces of points
Published in Geom. Topol. 21 (2017) 2527-2555
• View Publication
• BIB
We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology groups of the poset of strata. Several familiar spectral sequences arise as special cases. The construction is sheaf-theoretic and works both for topological spaces and for the étale cohomology of algebraic varieties. As an application we prove a very general representation stability theorem for configuration spaces of points.
Plethystic identities and mixed Hodge structures of character varieties
I demonstrate how certain identities for Macdonald's polynomials established by Garsia, Haiman and Tesler, together with the conjecture of Hausel, Letellier and Villegas imply explicit relations between mixed Hodge polynomials of different character varieties.
A note on distinct distances
Published in Combinator. Probab. Comp. 29 (2020) 650-663
• View Publication
• BIB
We show that, for a constant-degree algebraic curve $γ$ in $\mathbb{R}^D$, every set of $n$ points on $γ$ spans at least $Ω(n^{4/3})$ distinct distances, unless $γ$ is an {\it algebraic helix} (see Definition 1.1). This improves the earlier bound $Ω(n^{5/4})$ of Charalambides [Discrete Comput. Geom. (2014)].
We also show that, for every set $P$ of $n$ points that lie on a $d$-dimensional constant-degree algebraic variety $V$ in $\mathbb{R}^D$, there exists a subset $S\subset P$ of size at least $Ω(n^{\frac{4}{9+12(d-1)}})$, such that $S$ spans $\binom{|S|}{2}$ distinct distances. This improves the earlier bound of $Ω(n^{\frac{1}{3d}})$ of Conlon et al. [SIAM J. Discrete Math. (2015)].
Both results are consequences of a common technical tool, given in Lemma 2.7 below.
Continuous Analogues for the Binomial Coefficients and the Catalan Numbers
Published
• View Publication
• BIB
Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.
The intersection ring of matroids
Published
• View Publication
• BIB
We study a particular graded ring structure on the set of all loopfree matroids on a fixed labeled ground set, which occurs naturally in tropical geometry. The product is given by matroid intersection and the additive structure is defined by assigning to each matroid the indicator vector of its chains of flats. We show that this ring is generated in corank one, more precisely that any matroid can be written as a linear combination of products of corank one matroids. Moreover, we prove that a basis for the graded part of rank r matroids is given by the set of nested matroids and that the total number of these is a Eulerian number. Derksen's G-invariant then defines a Z-linear map on this ring, which implies for example that the Tutte polynomial is linear on it as well. Finally we show that the ring is the cohomology ring of the toric variety of the permutohedron and thus fulfills Poincaré duality.
Reflection groups, reflection arrangements, and invariant real varieties
Published
• View Publication
• BIB
Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional flat of the associated reflection arrangement. We prove this conjecture for the infinite types, reflection groups of rank at most $3$, and $F_4$ and we give computational evidence for $H_4$. This is a generalization of Timofte's degree principle to reflection groups. For general reflection groups, we compute nontrivial upper bounds on the minimal dimension of flats of the reflection arrangement meeting $X$ from the combinatorics of parabolic subgroups. We also give generalizations to real varieties invariant under Lie groups.
Schubert polynomials and degeneracy locus formulas
Published
• View Publication
• BIB
In our previous work arXiv:1305.3543, we employed the approach to Schubert polynomials by Fomin, Stanley, and Kirillov to obtain simple, uniform proofs that the double Schubert polynomials of Lascoux and Schutzenberger and Ikeda, Mihalcea, and Naruse represent degeneracy loci for the classical groups in the sense of Fulton. Using this as our starting point, and purely combinatorial methods, we obtain a new proof of the general formulas of arXiv:0908.3628, which represent the degeneracy loci coming from any isotropic partial flag variety. Along the way, we also find several new formulas and elucidate the connections between some earlier ones.
Five subsets of permutations enumerated as weak sorting permutations
We show that the number of members of S_n avoiding any one of five specific triples of 4-letter patterns is given by sequence A111279 in OEIS, which is known to count weak sorting permutations. By numerical evidence, there are no other (non-trivial) triples of 4-letter patterns giving rise to this sequence. We make use of a variety of methods in proving our result, including recurrences, the kernel method, direct counting, and bijections.
Catalan triangle numbers and binomial coefficients
Published
• View Publication
• BIB
The binomial coefficients and Catalan triangle numbers appear as weight multiplicities of the finite-dimensional simple Lie algebras and affine Kac--Moody algebras. We prove that any binomial coefficient can be written as weighted sums along rows of the Catalan triangle. The coefficients in the sums form a triangular array, which we call the alternating Jacobsthal triangle. We study various subsequences of the entries of the alternating Jacobsthal triangle and show that they arise in a variety of combinatorial constructions. The generating functions of these sequences enable us to define their k-analogue of q-deformation. We show that this deformation also gives rise to interesting combinatorial sequences. The starting point of this work is certain identities in the study of Khovanov--Lauda--Rouquier algebras and fully commutative elements of a Coxeter group.
Arithmetics and combinatorics of tropical Severi varieties of univariate polynomials
Published
• View Publication
• BIB
We give a description of the tropical variety of univariate polynomials of degree n having two double roots. As a set, it is given as the union of three types of maximal cones of dimension n-1, where only cones of two of these types are cones of the secondary fan of {0,...,n}. Through Kapranov's theorem, this goal is achieved by a careful study of the possible valuations of the elementary symmetric functions of the roots of a polynomial with two double root. Despite its apparent simplicity, the computation of the tropical Severi variety has both combinatorial and arithmetic ingredients.
A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra
This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.
Independent sets in polarity graphs
Published
• View Publication
• BIB
Given a projective plane $Σ$ and a polarity $θ$ of $Σ$, the corresponding polarity graph is the graph whose vertices are the points of $Σ$, and two distinct points $p_1$ and $p_2$ are adjacent if $p_1$ is incident to $p_2^{ θ}$ in $Σ$. A well-known example of a polarity graph is the Erdős-Rényi orthogonal polarity graph $ER_q$, which appears frequently in a variety of extremal problems. Eigenvalue methods provide an upper bound on the independence number of any polarity graph. Mubayi and Williford showed that in the case of $ER_q$, the eigenvalue method gives the correct upper bound in order of magnitude. We prove that this is also true for other families of polarity graphs. This includes a family of polarity graphs for which the polarity is neither orthogonal nor unitary. We conjecture that any polarity graph of a projective plane of order $q$ has an independent set of size $Ω(q^{3/2})$. Some related results are also obtained.
Structure constants for K-theory of Grassmannians, revisited
Published
• View Publication
• BIB
The problem of computing products of Schubert classes in the cohomology ring can be formulated as the problem of expanding skew Schur polynomials into the basis of ordinary Schur polynomials. In contrast, the problem of computing the structure constants of the Grothendieck ring of a Grassmannian variety with respect to its basis of Schubert structure sheaves is not equivalent to expanding skew stable Grothendieck polynomials into the basis of ordinary stable Grothendiecks. Instead, we show that the appropriate K-theoretic analogy is through the expansion of skew reverse plane partitions into the basis of polynomials which are Hopf-dual to stable Grothendieck polynomials. We combinatorially prove this expansion is determined by Yamanouchi set-valued tableaux. A by-product of our results is a dual approach proof for Buch's K-theoretic Littlewood-Richardson rule for the product of stable Grothendieck polynomials.
A point-line incidence identity in finite fields, and applications
Published in Moscow Journal of Combinatorics and Number Theory, 2016, vol. 6, iss. 1, pp. 64-95
• Search Publication
Let $E \subseteq \mathbb{F}_q^2$ be a set in the 2-dimensional vector space over a finite field with $q$ elements. We prove an identity for the second moment of its incidence function and deduce a variety of existing results from the literature, not all naturally associated with lines in $\mathbb{F}_q^2$, in a unified and elementary way.
Wavelet decomposition and bandwidth of functions defined on vector spaces over finite fields
In this paper we study how zeros of the Fourier transform of a function $f: \mathbb{Z}_p^d \to \mathbb{C}$ are related to the structure of the function itself. In particular, we introduce a notion of bandwidth of such functions and discuss its connection with the decomposition of this function into wavelets. Connections of these concepts with the tomography principle and the Nyquist-Shannon sampling theorem are explored.
We examine a variety of cases such as when the Fourier transform of the characteristic function of a set $E$ vanishes on specific sets of points, affine subspaces, and algebraic curves. In each of these cases, we prove properties such as equidistribution of $E$ across various surfaces and bounds on the size of $E$.
We also establish a finite field Heisenberg uncertainty principle for sets that relates their bandwidth dimension and spatial dimension.
Involution words II: braid relations and atomic structures
Published in J. Algebr. Comb. 45 (2017), 701-743
• View Publication
• BIB
Involution words are variations of reduced words for twisted involutions in Coxeter groups. They arise naturally in the study of the Bruhat order, of certain Iwahori-Hecke algebra modules, and of orbit closures in flag varieties. Specifically, to any twisted involutions $x$, $y$ in a Coxeter group $W$ with automorphism $*$, we associate a set of involution words $\hat{\mathcal{R}}_*(x,y)$. This set is the disjoint union of the reduced words of a set of group elements $\mathcal{A}_*(x,y)$, which we call the atoms of $y$ relative to $x$. The atoms, in turn, are contained in a larger set $\mathcal{B}_*(x,y) \subset W$ with a similar definition, whose elements we refer to as Hecke atoms. Our main results concern some interesting properties of the sets $\hat{\mathcal{R}}_*(x,y)$ and $\mathcal{A}_*(x,y) \subset \mathcal{B}_*(x,y)$. For finite Coxeter groups we prove that $\mathcal{A}_*(1,y)$ consists of exactly the minimal-length elements $w \in W$ such that $w^* y \leq w$ in Bruhat order, and conjecture a more general property for arbitrary Coxeter groups. In type $A$, we describe a simple set of conditions characterizing the sets $\mathcal{A}_*(x,y)$ for all involutions $x,y \in S_n$, giving a common generalization of three recent theorems of Can, Joyce, and Wyser. We show that the atoms of a fixed involution in the symmetric group (relative to $x=1$) naturally form a graded poset, while the Hecke atoms surprisingly form an equivalence class under the "Chinese relation" studied by Cassaigne, Espie, et al. These facts allow us to recover a recent theorem of Hu and Zhang describing a set of "braid relations" spanning the involution words of any self-inverse permutation. We prove a generalization of this result giving an analogue of Matsumoto's theorem for involution words in arbitrary Coxeter groups.
Polynomial partitioning for several sets of varieties
We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $Γ_1,\ldots,Γ_j$ of low-degree $k$-dimensional varieties in $\mathbb{R}^n$ there exists a non-zero polynomial $p\in\mathbb{R}[X_1,\ldots,X_n]$ of degree at most $D$ so that each connected component of $\mathbb{R}^n{\setminus}Z(p)$ intersects $O(jD^{k-n}|Γ_i|)$ varieties of $Γ_i$, simultaneously for every $1\leq i\leq j$. For $j=1$ we recover the original result by Guth. Our proof, via an index calculation in equivariant cohomology, shows how the degrees of the polynomials used for partitioning are dictated by the topology, namely by the Euler class being given in terms of a top Dickson polynomial.