-
Weinstein presentations for high-dimensional antisurgery
Authors:
Ipsita Datta,
Oleg Lazarev,
Chindu Mohanakumar,
Angela Wu
Abstract:
In this paper, we give an algorithm for describing the Weinstein presentation of Weinstein subdomains obtained by carving out regular Lagrangians. Our work generalizes previous work in dimension three and requires a novel Legendrian isotopy move (the ``boat move") that changes the local index of Reeb chords in a front projection. As applications, we describe presentations for certain exotic Weinst…
▽ More
In this paper, we give an algorithm for describing the Weinstein presentation of Weinstein subdomains obtained by carving out regular Lagrangians. Our work generalizes previous work in dimension three and requires a novel Legendrian isotopy move (the ``boat move") that changes the local index of Reeb chords in a front projection. As applications, we describe presentations for certain exotic Weinstein subdomains and give explicit descriptions of $P$-loose Legendrians.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Relating categorical dimensions in topology and symplectic geometry
Authors:
Andrew Hanlon,
Jeff Hicks,
Oleg Lazarev
Abstract:
We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we relate the Rouquier dimension of the wrapped Fukaya category of either the cotangent bundle of smooth manifold $M$ or more generally a Weinstein domain $X$ to…
▽ More
We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we relate the Rouquier dimension of the wrapped Fukaya category of either the cotangent bundle of smooth manifold $M$ or more generally a Weinstein domain $X$ to quantities of geometric interest. These quantities include the minimum number of critical values of a Morse function on $M$, the Lusternik-Schnirelmann category of $M$, the number of distinct action values of a Hamiltonian diffeomorphism of $X$, and the smallest $n$ such that $X$ admits a Weinstein embedding into $\mathbb{R}^{2n+1}$. Along the way, we introduce a notion of the Lusternik-Schnirelmann category for dg-categories and construct exact Lagrangian cobordisms for restriction to a Liouville subdomain.
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Resolutions of toric subvarieties by line bundles and applications
Authors:
Andrew Hanlon,
Jeff Hicks,
Oleg Lazarev
Abstract:
Given any toric subvariety $Y$ of a smooth toric variety $X$ of codimension $k$, we construct a length $k$ resolution of $\mathcal O_Y$ by line bundles on $X$. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of $\mathcal O_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and…
▽ More
Given any toric subvariety $Y$ of a smooth toric variety $X$ of codimension $k$, we construct a length $k$ resolution of $\mathcal O_Y$ by line bundles on $X$. Furthermore, these line bundles can all be chosen to be direct summands of the pushforward of $\mathcal O_X$ under the map of toric Frobenius. The resolutions are built from a stratification of a real torus that was introduced by Bondal and plays a role in homological mirror symmetry. As a corollary, we obtain a virtual analogue of Hilbert's syzygy theorem for smooth projective toric varieties conjectured by Berkesch, Erman, and Smith. Additionally, we prove that the Rouquier dimension of the bounded derived category of coherent sheaves on a toric variety is equal to the dimension of the variety, settling a conjecture of Orlov for these examples. We also prove Bondal's claim that the pushforward of the structure sheaf under toric Frobenius generates the derived category of a smooth toric variety and formulate a refinement of Uehara's conjecture that this remains true for arbitrary line bundles.
△ Less
Submitted 10 August, 2024; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Floer theory of Anosov flows in dimension three
Authors:
Kai Cieliebak,
Oleg Lazarev,
Thomas Massoni,
Agustin Moreno
Abstract:
A smooth Anosov flow on a closed oriented three manifold $M$ gives rise to a Liouville structure on the four manifold $[-1,1]\times M$ which is not Weinstein, by a construction of Mitsumatsu and Hozoori. We call it the associated Anosov Liouville domain. It is well defined up to homotopy and only depends on the homotopy class of the original Anosov flow; its symplectic invariants are then invarian…
▽ More
A smooth Anosov flow on a closed oriented three manifold $M$ gives rise to a Liouville structure on the four manifold $[-1,1]\times M$ which is not Weinstein, by a construction of Mitsumatsu and Hozoori. We call it the associated Anosov Liouville domain. It is well defined up to homotopy and only depends on the homotopy class of the original Anosov flow; its symplectic invariants are then invariants of the flow. We study the symplectic geometry of Anosov Liouville domains, via the wrapped Fukaya category, which we expect to be a powerful invariant of Anosov flows. The Lagrangian cylinders over the simple closed orbits span a natural $A_\infty$-subcategory, the orbit category of the flow. We show that it does not satisfy Abouzaid's generation criterion; it is moreover "very large", in the sense that is not split-generated by any strict sub-family. This is in contrast with the Weinstein case, where critical points of a Morse function play the role of the orbits. For the domain corresponding to the suspension of a linear Anosov diffeomorphism on the torus, we show that there are no closed exact Lagrangians which are either orientable, projective planes or Klein bottles. By contrast, in the case of the geodesic flow on a hyperbolic surface of genus $g \geq 2$ (corresponding to the McDuff example), we construct an exact Lagrangian torus for each embedded closed geodesic, thus obtaining at least $3g-3$ tori which are not Hamiltonian isotopic to each other. For these two prototypical cases of Anosov flows, we explicitly compute the symplectic cohomology of the associated domains, as well as the wrapped Floer cohomology of the Lagrangian cylinders, and several pair-of-pants products.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
The infinity-category of stabilized Liouville sectors
Authors:
Oleg Lazarev,
Zachary Sylvan,
Hiro Lee Tanaka
Abstract:
We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this result continues a trend of realizing geometrically meaningful mapping spaces through the categorically formal process of localizing. From the symplectic viewp…
▽ More
We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this result continues a trend of realizing geometrically meaningful mapping spaces through the categorically formal process of localizing. From the symplectic viewpoint, these results allow us to reduce highly non-trivial coherence results to much simpler verifications. For example, we prove that the wrapped Fukaya category is coherently functorial on stabilized Liouville sectors: Not only does a wrapped category receive a coherent action from stabilized automorphism spaces of a Liouville sector, spaces of sectorial embeddings map to spaces of functors between wrapped categories in a way respecting composition actions. As a consequence, we observe that wrapped Floer theory for sectors works in families. As we will explain, our methods immediately establish such coherence results for most known sectorial invariants, including Lagrangian cobordisms.
As another application, we show that this infinity-category admits a symmetric monoidal structure, given by direct product of underlying sectors. The existence of this structure relies on a computation--familiar from the foundations of factorization homology--that localizations detect certain isotopies of smooth manifolds. Moreover, we characterize the symmetric monoidal structure using a universal property, again producing a simple-as-possible criterion for verifying whether invariants are both continuously and multiplicatively coherent in a compatible way.
△ Less
Submitted 27 October, 2022; v1 submitted 22 October, 2021;
originally announced October 2021.
-
Localization and flexibilization in symplectic geometry
Authors:
Oleg Lazarev,
Zachary Sylvan,
Hiro Lee Tanaka
Abstract:
We introduce the critical Weinstein category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection $P$ of prime numbers, construct a $P$-flexibilization endofunctor. Our main result is that $P$-flexibilization is a localization of the critical Weinstein category, allowing us to characterize the essential image of the e…
▽ More
We introduce the critical Weinstein category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection $P$ of prime numbers, construct a $P$-flexibilization endofunctor. Our main result is that $P$-flexibilization is a localization of the critical Weinstein category, allowing us to characterize the essential image of the endofunctor by a universal property. This localization has the effect of replacing every Weinstein sector with one in which $P$ is invertible in the wrapped Fukaya category and hence we view it as a symplectic analogue of topological localization. We prove that this construction generalizes the flexibilization operation introduced by Cieliebak-Eliashberg and Murphy and is a variant of the `homologous recombination' construction of Abouzaid-Seidel. In particular, we give an h-principle-free proof that flexibilization is idempotent and independent of presentation, up to subcriticals and stabilization. Moreover, we show that $P$-flexibilization is symmetric monoidal, and hence gives rise to a new way of constructing commutative algebra objects from symplectic geometry. Our constructions work more generally for any finite collection of regular Lagrangian disks in $T^*D^n$, where the corresponding endofunctor in particular nullifies those disks as objects in the wrapped Fukaya category.
△ Less
Submitted 27 October, 2022; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Prime-localized Weinstein subdomains
Authors:
Oleg Lazarev,
Zachary Sylvan
Abstract:
For any high-dimensional Weinstein domain and finite collection of primes, we construct a Weinstein subdomain whose wrapped Fukaya category is a localization of the original wrapped Fukaya category away from the given primes. When the original domain is a cotangent bundle, these subdomains form a decreasing lattice whose order cannot be reversed.
Furthermore, we classify the possible wrapped Fuk…
▽ More
For any high-dimensional Weinstein domain and finite collection of primes, we construct a Weinstein subdomain whose wrapped Fukaya category is a localization of the original wrapped Fukaya category away from the given primes. When the original domain is a cotangent bundle, these subdomains form a decreasing lattice whose order cannot be reversed.
Furthermore, we classify the possible wrapped Fukaya categories of Weinstein subdomains of a cotangent bundle of a simply connected, spin manifold, showing that they all coincide with one of these prime localizations. In the process, we describe which twisted complexes in the wrapped Fukaya category of a cotangent bundle of a sphere are isomorphic to genuine Lagrangians.
△ Less
Submitted 20 September, 2020;
originally announced September 2020.
-
Geometric and algebraic presentations of Weinstein domains
Authors:
Oleg Lazarev
Abstract:
We prove that geometric intersections between Weinstein handles induce algebraic relations in the wrapped Fukaya category, which we use to study the Grothendieck group. We produce a surjective map from middle-dimensional singular cohomology to the Grothendieck group, show that the geometric acceleration map to symplectic cohomology factors through the categorical Dennis trace map, and introduce a…
▽ More
We prove that geometric intersections between Weinstein handles induce algebraic relations in the wrapped Fukaya category, which we use to study the Grothendieck group. We produce a surjective map from middle-dimensional singular cohomology to the Grothendieck group, show that the geometric acceleration map to symplectic cohomology factors through the categorical Dennis trace map, and introduce a Viterbo functor for $C^0$-close Weinstein hypersurfaces, which gives an obstruction for Legendrians to be $C^0$-close. We show that symplectic flexibility is a geometric manifestation of Thomason's correspondence between split-generating subcategories and subgroups of the Grothendieck group, which we use to upgrade Abouzaid's split-generation criterion to a generation criterion for Weinstein domains. Thomason's theorem produces exotic presentations for certain categories and we give geometric analogs: exotic Weinstein presentations for standard cotangent bundles and Legendrians whose Chekanov-Eliashberg algebras are not quasi-isomorphic but are derived Morita equivalent.
△ Less
Submitted 2 October, 2019;
originally announced October 2019.
-
Maximal contact and symplectic structures
Authors:
Oleg Lazarev
Abstract:
We introduce a procedure for gluing Weinstein domains along Weinstein subdomains. By gluing along flexible subdomains, we show that any finite collection of high-dimensional Weinstein domains with the same topology are Weinstein subdomains of a `maximal' Weinstein domain also with the same topology. As an application, we produce exotic cotangent bundles containing many closed regular Lagrangians t…
▽ More
We introduce a procedure for gluing Weinstein domains along Weinstein subdomains. By gluing along flexible subdomains, we show that any finite collection of high-dimensional Weinstein domains with the same topology are Weinstein subdomains of a `maximal' Weinstein domain also with the same topology. As an application, we produce exotic cotangent bundles containing many closed regular Lagrangians that are formally Lagrangian isotopic but not Hamiltonian isotopic and also give a new construction of exotic Weinstein structures on Euclidean space. We describe a similar construction in the contact setting which we use to produce `maximal' contact structures and extend several existing results in low-dimensional contact geometry to high-dimensions. We prove that all contact manifolds have symplectic caps, introduce a general procedure for producing contact manifolds with many Weinstein fillings, and give a new proof of the existence of codimension two contact embeddings.
△ Less
Submitted 27 October, 2018;
originally announced October 2018.
-
H-principles for regular Lagrangians
Authors:
Oleg Lazarev
Abstract:
We prove an existence h-principle for regular Lagrangians with Legendrian boundary in arbitrary Weinstein domains of dimension at least six; this extends a previous result of Eliashberg, Ganatra, and the author for Lagrangians in flexible domains. Furthermore, we show that all regular Lagrangians come from our construction and describe some related decomposition results. We also prove a regular ve…
▽ More
We prove an existence h-principle for regular Lagrangians with Legendrian boundary in arbitrary Weinstein domains of dimension at least six; this extends a previous result of Eliashberg, Ganatra, and the author for Lagrangians in flexible domains. Furthermore, we show that all regular Lagrangians come from our construction and describe some related decomposition results. We also prove a regular version of Eliashberg and Murphy's h-principle for Lagrangian caps with loose negative end. As an application, we give a new construction of infinitely many regular Lagrangian disks in the standard Weinstein ball.
△ Less
Submitted 17 August, 2018;
originally announced August 2018.
-
Simplifying Weinstein Morse functions
Authors:
Oleg Lazarev
Abstract:
We prove that the minimum number of critical points of a Weinstein Morse function on a Weinstein domain of dimension at least six is at most two more than the minimum number of critical points of a smooth Morse function on that domain; if the domain has non-zero middle-dimensional homology, these two numbers agree. There is also an upper bound on the number of gradient trajectories between critica…
▽ More
We prove that the minimum number of critical points of a Weinstein Morse function on a Weinstein domain of dimension at least six is at most two more than the minimum number of critical points of a smooth Morse function on that domain; if the domain has non-zero middle-dimensional homology, these two numbers agree. There is also an upper bound on the number of gradient trajectories between critical points in smoothly trivial Weinstein cobordisms. As an application, we show that the number of generators for the Grothendieck group of the wrapped Fukaya category is at most the number of generators for singular cohomology and hence vanishes for any Weinstein ball. We also give a topological obstruction to the existence of finite-dimensional representations of the Chekanov-Eliashberg DGA of Legendrian spheres.
△ Less
Submitted 8 February, 2019; v1 submitted 10 August, 2018;
originally announced August 2018.
-
Contact manifolds with flexible fillings
Authors:
Oleg Lazarev
Abstract:
We prove that all flexible Weinstein fillings of a given contact manifold with vanishing first Chern class have isomorphic integral cohomology; in certain cases, we prove that all flexible fillings are symplectomorphic. As an application, we show that in dimension at least 5 any almost contact class that has an almost Weinstein filling has infinitely many different contact structures. Similar meth…
▽ More
We prove that all flexible Weinstein fillings of a given contact manifold with vanishing first Chern class have isomorphic integral cohomology; in certain cases, we prove that all flexible fillings are symplectomorphic. As an application, we show that in dimension at least 5 any almost contact class that has an almost Weinstein filling has infinitely many different contact structures. Similar methods are used to construct the first known infinite family of almost symplectomorphic Weinstein domains whose contact boundaries are not contactomorphic. We also prove relative analogs of our results, which we apply to Lagrangians in cotangent bundles.
△ Less
Submitted 6 September, 2017; v1 submitted 16 October, 2016;
originally announced October 2016.
-
Extension of a proof of the Ramanujan congruences for multipartitions
Authors:
Oleg Lazarev,
Matthew S. Mizuhara,
Benjamin Reid,
Holly Swisher
Abstract:
Recently Lachterman, Schayer, and Younger published an elegant proof of the Ramanujan congruences for the partition function $p(n)$. Their proof uses only the classical theory of modular forms as well as a beautiful result of Choie, Kohnen, and Ono, without need for Hecke operators. In this paper we give a method for generalizing Lachterman, Schayer, and Younger's proof to include Ramanujan congru…
▽ More
Recently Lachterman, Schayer, and Younger published an elegant proof of the Ramanujan congruences for the partition function $p(n)$. Their proof uses only the classical theory of modular forms as well as a beautiful result of Choie, Kohnen, and Ono, without need for Hecke operators. In this paper we give a method for generalizing Lachterman, Schayer, and Younger's proof to include Ramanujan congruences for multipartition functions $p_k(n)$, and Ramanujan congruences for $p(n)$ modulo certain prime powers.
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
Flexible Lagrangians
Authors:
Yakov Eliashberg,
Sheel Ganatra,
Oleg Lazarev
Abstract:
We introduce and discuss notions of regularity and flexibility for Lagrangian manifolds with Legendrian boundary in Weinstein domains. There is a surprising abundance of flexible Lagrangians. In turn, this leads to new constructions of Legendrians submanifolds and Weinstein manifolds. For instance, many closed $n$-manifolds of dimension $n>2$ can be realized as exact Lagrangian submanifolds of…
▽ More
We introduce and discuss notions of regularity and flexibility for Lagrangian manifolds with Legendrian boundary in Weinstein domains. There is a surprising abundance of flexible Lagrangians. In turn, this leads to new constructions of Legendrians submanifolds and Weinstein manifolds. For instance, many closed $n$-manifolds of dimension $n>2$ can be realized as exact Lagrangian submanifolds of $T^*S^n$ with possibly exotic Weinstein symplectic structures. These Weinstein structures on $T^* S^n$, infinitely many of which are distinct, are formed by a single handle attachment to the standard $2n$-ball along the Legendrian boundaries of flexible Lagrangians. We also formulate a number of open problems.
△ Less
Submitted 15 August, 2016; v1 submitted 5 October, 2015;
originally announced October 2015.
-
Maass waveforms and low-lying zeros
Authors:
Levent Alpoge,
Nadine Amersi,
Geoffrey Iyer,
Oleg Lazarev,
Steven J. Miller,
Liyang Zhang
Abstract:
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agrees with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak proved that the behavior of zeros near the central point of holomorphic cusp…
▽ More
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agrees with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak proved that the behavior of zeros near the central point of holomorphic cusp forms agrees with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions $φ$. We prove similar results for families of cuspidal Maass forms, the other natural family of ${\rm GL}_2/\mathbb{Q}$ $L$-functions. For suitable weight functions on the space of Maass forms, the limiting behavior agrees with the expected orthogonal group. We prove this for $\Supp(\widehatφ)\subseteq (-3/2, 3/2)$ when the level $N$ tends to infinity through the square-free numbers; if the level is fixed the support decreases to being contained in $(-1,1)$, though we still uniquely specify the symmetry type by computing the 2-level density.
△ Less
Submitted 20 January, 2014; v1 submitted 25 June, 2013;
originally announced June 2013.
-
A smooth, complex generalization of the Hobby-Rice theorem
Authors:
Oleg Lazarev,
Elliott H. Lieb
Abstract:
The Hobby-Rice Theorem states that, given $n$ functions $f_j$ on ${\mathbb{R}}^N$, there exists a multiplier $h$ such that the integrals of $f_jh$ are all simultaneously zero. This multiplier takes values~$\pm1$ and is discontinuous. We show how to find a multiplier $h=e^{ig}$ that is infinitely differentiable, takes values on the unit circle, and is such that the integrals of $f_jh$ are all zero.…
▽ More
The Hobby-Rice Theorem states that, given $n$ functions $f_j$ on ${\mathbb{R}}^N$, there exists a multiplier $h$ such that the integrals of $f_jh$ are all simultaneously zero. This multiplier takes values~$\pm1$ and is discontinuous. We show how to find a multiplier $h=e^{ig}$ that is infinitely differentiable, takes values on the unit circle, and is such that the integrals of $f_jh$ are all zero. We also show the existence of $n$ infinitely differentiable, real functions $g_j$ such that the $n$ functions $f_j e^{ig_j}$ are pairwise orthogonal.
△ Less
Submitted 30 March, 2014; v1 submitted 22 May, 2012;
originally announced May 2012.
-
Low-lying Zeros of Cuspidal Maass Forms
Authors:
Nadine Amersi,
Geoffrey Iyer,
Oleg Lazarev,
Steven J. Miller,
Liyang Zhang
Abstract:
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomor…
▽ More
The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the matrix size tends to infinity). Using the Petersson formula, Iwaniec, Luo and Sarnak \cite{ILS} proved that the behavior of zeros near the central point of holomorphic cusp forms agree with the behavior of eigenvalues of orthogonal matrices for suitably restricted test functions. We prove a similar result for level 1 cuspidal Maass forms, the other natural family of ${\rm GL}_2$ $L$-functions. We use the explicit formula to relate sums of our test function at scaled zeros to sums of the Fourier transform at the primes weighted by the $L$-function coefficients, and then use the Kuznetsov trace formula to average the Fourier coefficients over the family. There are numerous technical obstructions in handling the terms in the trace formula, which are surmounted through the use of smooth weight functions for the Maass eigenvalues and results on Kloosterman sums and Bessel and hyperbolic functions.
△ Less
Submitted 14 December, 2011; v1 submitted 28 November, 2011;
originally announced November 2011.
-
Distribution of Missing Sums in Sumsets
Authors:
Oleg Lazarev,
Steven J. Miller,
Kevin O'Bryant
Abstract:
For any finite set of integers X, define its sumset X+X to be {x+y: x, y in X}. In a recent paper, Martin and O'Bryant investigated the distribution of |A+A| given the uniform distribution on subsets A of {0, 1, ..., n-1}. They also conjectured the existence of a limiting distribution for |A+A| and showed that the expectation of |A+A| is 2n - 11 + O((3/4)^{n/2}). Zhao proved that the limits m(k) :…
▽ More
For any finite set of integers X, define its sumset X+X to be {x+y: x, y in X}. In a recent paper, Martin and O'Bryant investigated the distribution of |A+A| given the uniform distribution on subsets A of {0, 1, ..., n-1}. They also conjectured the existence of a limiting distribution for |A+A| and showed that the expectation of |A+A| is 2n - 11 + O((3/4)^{n/2}). Zhao proved that the limits m(k) := lim_{n --> oo} Prob(2n-1-|A+A|=k) exist, and that sum_{k >= 0} m(k)=1.
We continue this program and give exponentially decaying upper and lower bounds on m(k), and sharp bounds on m(k) for small k. Surprisingly, the distribution is at least bimodal; sumsets have an unexpected bias against missing exactly 7 sums. The proof of the latter is by reduction to questions on the distribution of related random variables, with large scale numerical computations a key ingredient in the analysis. We also derive an explicit formula for the variance of |A+A| in terms of Fibonacci numbers, finding Var(|A+A|) is approximately 35.9658. New difficulties arise in the form of weak dependence between events of the form {x in A+A}, {y in A+A}. We surmount these obstructions by translating the problem to graph theory. This approach also yields good bounds on the probability for A+A missing a consecutive block of length k.
△ Less
Submitted 20 December, 2012; v1 submitted 22 September, 2011;
originally announced September 2011.
-
Generalized More Sums Than Differences Sets
Authors:
Geoffrey Iyer,
Oleg Lazarev,
Steven J. Miller,
Liyang Zhang
Abstract:
A More Sums Than Differences (MSTD, or sum-dominant) set is a finite set $A\subset \mathbb{Z}$ such that $|A+A|<|A-A|$. Though it was believed that the percentage of subsets of $\{0,...,n\}$ that are sum-dominant tends to zero, in 2006 Martin and O'Bryant \cite{MO} proved a positive percentage are sum-dominant. We generalize their result to the many different ways of taking sums and differences of…
▽ More
A More Sums Than Differences (MSTD, or sum-dominant) set is a finite set $A\subset \mathbb{Z}$ such that $|A+A|<|A-A|$. Though it was believed that the percentage of subsets of $\{0,...,n\}$ that are sum-dominant tends to zero, in 2006 Martin and O'Bryant \cite{MO} proved a positive percentage are sum-dominant. We generalize their result to the many different ways of taking sums and differences of a set. We prove that $|ε_1A+...+ε_kA|>|δ_1A+...+δ_kA|$ a positive percent of the time for all nontrivial choices of $ε_j,δ_j\in \{-1,1\}$. Previous approaches proved the existence of infinitely many such sets given the existence of one; however, no method existed to construct such a set. We develop a new, explicit construction for one such set, and then extend to a positive percentage of sets.
We extend these results further, finding sets that exhibit different behavior as more sums/differences are taken. For example, notation as above we prove that for any $m$, $|ε_1A + ... + ε_kA| - |δ_1A + ... + δ_kA| = m$ a positive percentage of the time. We find the limiting behavior of $kA=A+...+A$ for an arbitrary set $A$ as $k\to\infty$ and an upper bound of $k$ for such behavior to settle down. Finally, we say $A$ is $k$-generational sum-dominant if $A$, $A+A$, ...,$kA$ are all sum-dominant. Numerical searches were unable to find even a 2-generational set (heuristics indicate the probability is at most $10^{-9}$, and almost surely significantly less). We prove the surprising result that for any $k$ a positive percentage of sets are $k$-generational, and no set can be $k$-generational for all $k$.
△ Less
Submitted 14 December, 2011; v1 submitted 23 August, 2011;
originally announced August 2011.
-
Finding and Counting MSTD sets
Authors:
Geoffrey Iyer,
Oleg Lazarev,
Steven J. Miller,
Liyang Zhang
Abstract:
We review the basic theory of More Sums Than Differences (MSTD) sets, specifically their existence, simple constructions of infinite families, the proof that a positive percentage of sets under the uniform binomial model are MSTD but not if the probability that each element is chosen tends to zero, and 'explicit' constructions of large families of MSTD sets. We conclude with some new constructions…
▽ More
We review the basic theory of More Sums Than Differences (MSTD) sets, specifically their existence, simple constructions of infinite families, the proof that a positive percentage of sets under the uniform binomial model are MSTD but not if the probability that each element is chosen tends to zero, and 'explicit' constructions of large families of MSTD sets. We conclude with some new constructions and results of generalized MSTD sets, including among other items results on a positive percentage of sets having a given linear combination greater than another linear combination, and a proof that a positive percentage of sets are $k$-generational sum-dominant (meaning $A$, $A+A$, $...$, $kA = A + ...+A$ are each sum-dominant).
△ Less
Submitted 13 July, 2011;
originally announced July 2011.
