-
Clustering in typical unit-distance avoiding sets
Authors:
Alex Cohen,
Nitya Mani
Abstract:
In the 1960s Moser asked how dense a subset of $\mathbb{R}^d$ can be if no pairs of points in the subset are exactly distance 1 apart. There has been a long line of work showing upper bounds on this density. One curious feature of dense unit distance avoiding sets is that they appear to be ``clumpy,'' i.e. forbidding unit distances comes hand in hand with having more than the expected number dista…
▽ More
In the 1960s Moser asked how dense a subset of $\mathbb{R}^d$ can be if no pairs of points in the subset are exactly distance 1 apart. There has been a long line of work showing upper bounds on this density. One curious feature of dense unit distance avoiding sets is that they appear to be ``clumpy,'' i.e. forbidding unit distances comes hand in hand with having more than the expected number distance $\approx 2$ pairs.
In this work we rigorously establish this phenomenon in $\mathbb{R}^2$. We show that dense unit distance avoiding sets have over-represented distance $\approx 2$ pairs, and that this clustering extends to typical unit distance avoiding sets. To do so, we build off of the linear programming approach used previously to prove upper bounds on the density of unit distance avoiding sets.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
Characterizing the fourth-moment phenomenon of monochromatic subgraph counts via influences
Authors:
Nitya Mani,
Dan Mikulincer
Abstract:
We investigate the distribution of monochromatic subgraph counts in random vertex $2$-colorings of large graphs. We give sufficient conditions for the asymptotic normality of these counts and demonstrate their essential necessity (particularly for monochromatic triangles). Our approach refines the fourth-moment theorem to establish new, local influence-based conditions for asymptotic normality; th…
▽ More
We investigate the distribution of monochromatic subgraph counts in random vertex $2$-colorings of large graphs. We give sufficient conditions for the asymptotic normality of these counts and demonstrate their essential necessity (particularly for monochromatic triangles). Our approach refines the fourth-moment theorem to establish new, local influence-based conditions for asymptotic normality; these findings more generally provide insight into fourth-moment phenomena for a broader class of Rademacher and Gaussian polynomials.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Multidisperse Random Sequential Adsorption and Generalizations
Authors:
Roger Fan,
Nitya Mani
Abstract:
In this paper, we present a unified study of the limiting density in one-dimensional random sequential adsorption (RSA) processes where segment lengths are drawn from a given distribution. In addition to generic bounds, we are also able to characterize specific cases, including multidisperse RSA, in which we draw from a finite set of lengths, and power-law RSA, in which we draw lengths from a powe…
▽ More
In this paper, we present a unified study of the limiting density in one-dimensional random sequential adsorption (RSA) processes where segment lengths are drawn from a given distribution. In addition to generic bounds, we are also able to characterize specific cases, including multidisperse RSA, in which we draw from a finite set of lengths, and power-law RSA, in which we draw lengths from a power-law distribution.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Variations on Sidorenko's conjecture in tournaments
Authors:
Jacob Fox,
Zoe Himwich,
Nitya Mani,
Yunkun Zhou
Abstract:
We study variants of Sidorenko's conjecture in tournaments, where new phenomena arise that do not have clear analogues in the setting of undirected graphs. We first consider oriented graphs that are systematically under-represented in tournaments (called tournament anti-Sidorenko). We prove that such oriented graphs must be quite sparse; specifically, the maximum number of edges of a $k$-vertex or…
▽ More
We study variants of Sidorenko's conjecture in tournaments, where new phenomena arise that do not have clear analogues in the setting of undirected graphs. We first consider oriented graphs that are systematically under-represented in tournaments (called tournament anti-Sidorenko). We prove that such oriented graphs must be quite sparse; specifically, the maximum number of edges of a $k$-vertex oriented graph which is tournament anti-Sidorenko is $(1+o(1))k\log_2 k$.
We also give several novel constructions of oriented graphs that are systematically over-represented in tournaments (tournament Sidorenko); as a representative example, we show that most ways to delete an edge from a transitive tournament yield a tournament Sidorenko oriented graph. As an illustration of our methods, we characterize which orientations of stars are tournament Sidorenko and which are tournament anti-Sidorenko.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
On sum-intersecting families of positive integers
Authors:
Aaron Berger,
Nitya Mani
Abstract:
We study the following natural arithmetic question regarding intersecting families: how large can a family of subsets of integers from $\{1, \ldots n\}$ be such that, for every pair of subsets in the family, the intersection contains a sum $x + y = z$? We conjecture that any such sum-intersecting family must have size at most $\frac14 \cdot 2^{n}$ (which would be tight if correct). Towards this co…
▽ More
We study the following natural arithmetic question regarding intersecting families: how large can a family of subsets of integers from $\{1, \ldots n\}$ be such that, for every pair of subsets in the family, the intersection contains a sum $x + y = z$? We conjecture that any such sum-intersecting family must have size at most $\frac14 \cdot 2^{n}$ (which would be tight if correct). Towards this conjecture, we show that every sum-intersecting family has at most $0.32 \cdot 2^n$ subsets.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
Strong spatial mixing for colorings on trees and its algorithmic applications
Authors:
Zongchen Chen,
Kuikui Liu,
Nitya Mani,
Ankur Moitra
Abstract:
Strong spatial mixing (SSM) is an important quantitative notion of correlation decay for Gibbs distributions arising in statistical physics, probability theory, and theoretical computer science. A longstanding conjecture is that the uniform distribution on proper $q$-colorings on a $Δ$-regular tree exhibits SSM whenever $q \ge Δ+1$. Moreover, it is widely believed that as long as SSM holds on boun…
▽ More
Strong spatial mixing (SSM) is an important quantitative notion of correlation decay for Gibbs distributions arising in statistical physics, probability theory, and theoretical computer science. A longstanding conjecture is that the uniform distribution on proper $q$-colorings on a $Δ$-regular tree exhibits SSM whenever $q \ge Δ+1$. Moreover, it is widely believed that as long as SSM holds on bounded-degree trees with $q$ colors, one would obtain an efficient sampler for $q$-colorings on all bounded-degree graphs via simple Markov chain algorithms. It is surprising that such a basic question is still open, even on trees, but then again it also highlights how much we still have to learn about random colorings. In this paper, we show the following:
(1) For any $Δ\ge 3$, SSM holds for random $q$-colorings on trees of maximum degree $Δ$ whenever $q \ge Δ+ 3$. Thus we almost fully resolve the aforementioned conjecture. Our result substantially improves upon the previously best bound which requires $q \ge 1.59Δ+γ^*$ for an absolute constant $γ^* > 0$.
(2) For any $Δ\ge 3$ and girth $g = Ω_Δ(1)$, we establish optimal mixing of the Glauber dynamics for $q$-colorings on graphs of maximum degree $Δ$ and girth $g$ whenever $q \ge Δ+3$. Our approach is based on a new general reduction from spectral independence on large-girth graphs to SSM on trees that is of independent interest.
Using the same techniques, we also prove near-optimal bounds on weak spatial mixing (WSM), a closely-related notion to SSM, for the antiferromagnetic Potts model on trees.
△ Less
Submitted 13 February, 2024; v1 submitted 4 April, 2023;
originally announced April 2023.
-
When will (game) wars end?
Authors:
Manan Bhatia,
Byron Chin,
Nitya Mani,
Elchanan Mossel
Abstract:
We study several variants of the classical card game war. As anyone who played this game knows, the game can take some time to terminate, but it usually does. Here, we analyze a number of asymptotic variants of the game, where the number of cards is $n$, and show that all have expected termination time of order $n^2$. This is the same expected termination time as in the game where at each turn a f…
▽ More
We study several variants of the classical card game war. As anyone who played this game knows, the game can take some time to terminate, but it usually does. Here, we analyze a number of asymptotic variants of the game, where the number of cards is $n$, and show that all have expected termination time of order $n^2$. This is the same expected termination time as in the game where at each turn a fair coin toss decides which player wins a card, known as Gambler's Ruin and studied by Pascal, Fermat and others in the seventeenth century.
△ Less
Submitted 29 February, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
A note on directed analogues of the Sidorenko and forcing conjectures
Authors:
Jacob Fox,
Zoe Himwich,
Nitya Mani,
Yunkun Zhou
Abstract:
We study analogues of Sidorenko's conjecture and the forcing conjecture in oriented graphs, showing that natural variants of these conjectures in directed graphs are equivalent to the asymmetric, undirected analogues of the conjectures.
We study analogues of Sidorenko's conjecture and the forcing conjecture in oriented graphs, showing that natural variants of these conjectures in directed graphs are equivalent to the asymmetric, undirected analogues of the conjectures.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Turán Problems for Mixed Graphs
Authors:
Nitya Mani,
Edward Yu
Abstract:
We investigate natural Turán problems for mixed graphs, generalizations of graphs where edges can be either directed or undirected. We study a natural \textit{Turán density coefficient} that measures how large a fraction of directed edges an $F$-free mixed graph can have; we establish an analogue of the Erdős-Stone-Simonovits theorem and give a variational characterization of the Turán density coe…
▽ More
We investigate natural Turán problems for mixed graphs, generalizations of graphs where edges can be either directed or undirected. We study a natural \textit{Turán density coefficient} that measures how large a fraction of directed edges an $F$-free mixed graph can have; we establish an analogue of the Erdős-Stone-Simonovits theorem and give a variational characterization of the Turán density coefficient of any mixed graph (along with an associated extremal $F$-free family). This characterization enables us to highlight an important divergence between classical extremal numbers and the Turán density coefficient. We show that Turán density coefficients can be irrational, but are always algebraic; for every positive integer $k$, we construct a family of mixed graphs whose Turán density coefficient has algebraic degree $k$.
△ Less
Submitted 25 March, 2024; v1 submitted 23 October, 2022;
originally announced October 2022.
-
Maximum gaps in one-dimensional hard-core models
Authors:
Dingding Dong,
Nitya Mani
Abstract:
We study the distribution of the maximum gap size in one-dimensional hard-core models. First, we randomly sequentially pack rods of length $2$ onto an interval of length $L$, subject to the hard-core constraint that rods do not overlap. We find that in a saturated packing, with high probability there is no gap of size $2 - o(1/L)$ between adjacent rods, but there are gaps of size at least…
▽ More
We study the distribution of the maximum gap size in one-dimensional hard-core models. First, we randomly sequentially pack rods of length $2$ onto an interval of length $L$, subject to the hard-core constraint that rods do not overlap. We find that in a saturated packing, with high probability there is no gap of size $2 - o(1/L)$ between adjacent rods, but there are gaps of size at least $2 - 1/L^{1-ε}$ for all $ε> 0$.
We subsequently study a variant of the hard-core process, the one-dimensional ghost hard-core model introduced by Torquato and Stillinger. In this model, we randomly sequentially pack rods of length $2$ onto an interval of length $L$, such that placed rods neither overlap with previously placed rods nor previously considered candidate rods. We find that in the infinite time limit, with high probability the maximum gap between adjacent rods is smaller than $\log L$ but at least $(\log L)^{1-ε}$ for all $ε> 0.$
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Nearly all $k$-SAT functions are unate
Authors:
József Balogh,
Dingding Dong,
Bernard Lidický,
Nitya Mani,
Yufei Zhao
Abstract:
We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003.
We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003.
△ Less
Submitted 3 October, 2023; v1 submitted 11 September, 2022;
originally announced September 2022.
-
On the number of error correcting codes
Authors:
Dingding Dong,
Nitya Mani,
Yufei Zhao
Abstract:
We show that for a fixed $q$, the number of $q$-ary $t$-error correcting codes of length $n$ is at most $2^{(1 + o(1)) H_q(n,t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}$ (for sufficiently large constant $C_q$), where $H_q(n, t) = q^n / V_q(n,t)$ is the Hamming bound and $V_q(n,t)$ is the cardinality of the radius $t$ Hamming ball. This proves a conjecture of Balogh, Treglown, and Wagne…
▽ More
We show that for a fixed $q$, the number of $q$-ary $t$-error correcting codes of length $n$ is at most $2^{(1 + o(1)) H_q(n,t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}$ (for sufficiently large constant $C_q$), where $H_q(n, t) = q^n / V_q(n,t)$ is the Hamming bound and $V_q(n,t)$ is the cardinality of the radius $t$ Hamming ball. This proves a conjecture of Balogh, Treglown, and Wagner, who showed the result for $t = o(n^{1/3} (\log n)^{-2/3})$.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
A fourth moment phenomenon for asymptotic normality of monochromatic subgraphs
Authors:
Sayan Das,
Zoe Himwich,
Nitya Mani
Abstract:
Given a graph sequence $\{G_n\}_{n\ge1}$ and a simple connected subgraph $H$, we denote by $T(H,G_n)$ the number of monochromatic copies of $H$ in a uniformly random vertex coloring of $G_n$ with $c \ge 2$ colors. In this article, we prove a central limit theorem for $T(H,G_n)$ with explicit error rates. The error rates arise from graph counts of collections formed by joining copies of $H$ that we…
▽ More
Given a graph sequence $\{G_n\}_{n\ge1}$ and a simple connected subgraph $H$, we denote by $T(H,G_n)$ the number of monochromatic copies of $H$ in a uniformly random vertex coloring of $G_n$ with $c \ge 2$ colors. In this article, we prove a central limit theorem for $T(H,G_n)$ with explicit error rates. The error rates arise from graph counts of collections formed by joining copies of $H$ that we call good joins. Counts of good joins are closely related to the fourth moment of a normalized version of $T(H,G_{n})$, and that connection allows us to show a fourth moment phenomenon for the central limit theorem.
Precisely, for $c\ge 30$, we show that $T(H,G_n)$ (appropriately centered and rescaled) converges in distribution to $\mathcal{N}(0,1)$ whenever its fourth moment converges to 3 (the fourth moment of the standard normal distribution). We show the convergence of the fourth moment is necessary to obtain a normal limit when $c\ge 2$. The combination of these results implies that the fourth moment condition characterizes the limiting normal distribution of $T(H,G_n)$ for all subgraphs $H$, whenever $c\ge 30$.
△ Less
Submitted 13 March, 2023; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Extremal results on feedback arc sets in digraphs
Authors:
Jacob Fox,
Zoe Himwich,
Nitya Mani
Abstract:
A directed graph is oriented if it can be obtained by orienting the edges of a simple, undirected graph. For an oriented graph $G$, let $β(G)$ denote the size of a minimum feedback arc set, a smallest subset of edges whose deletion leaves an acyclic subgraph. A simple consequence of a result of Berger and Shor is that any oriented graph $G$ with $m$ edges satisfies $β(G) = m/2 - Ω(m^{3/4})$.
We…
▽ More
A directed graph is oriented if it can be obtained by orienting the edges of a simple, undirected graph. For an oriented graph $G$, let $β(G)$ denote the size of a minimum feedback arc set, a smallest subset of edges whose deletion leaves an acyclic subgraph. A simple consequence of a result of Berger and Shor is that any oriented graph $G$ with $m$ edges satisfies $β(G) = m/2 - Ω(m^{3/4})$.
We observe that if an oriented graph $G$ has a fixed forbidden subgraph $B$, the upper bound of $β(G) = m/2 - Ω(m^{3/4})$ is best possible as a function of the number of edges if $B$ is not bipartite, but the exponent $3/4$ in the lower order term can be improved if $B$ is bipartite. We also show that for every rational number $r$ between $3/4$ and $1$, there is a finite collection of digraphs $\mathcal{B}$ such that every $\mathcal{B}$-free digraph $G$ with $m$ edges satisfies $β(G) = m/2 - Ω(m^r)$, and this bound is best possible up to the implied constant factor. The proof uses a connection to Turán numbers and a result of Bukh and Conlon. Both of our upper bounds come equipped with randomized linear-time algorithms that construct feedback arc sets achieving those bounds. Finally, we give a characterization of quasirandom directed graphs via minimum feedback arc sets.
△ Less
Submitted 19 April, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Enumerating k-SAT functions
Authors:
Dingding Dong,
Nitya Mani,
Yufei Zhao
Abstract:
How many $k$-SAT functions on $n$ boolean variables are there? What does a typical such function look like? Bollobás, Brightwell, and Leader conjectured that, for each fixed $k \ge 2$, the number of $k$-SAT functions on $n$ variables is $(1+o(1))2^{\binom{n}{k} + n}$, or equivalently: a $1-o(1)$ fraction of all $k$-SAT functions are unate, i.e., monotone after negating some variables. They proved…
▽ More
How many $k$-SAT functions on $n$ boolean variables are there? What does a typical such function look like? Bollobás, Brightwell, and Leader conjectured that, for each fixed $k \ge 2$, the number of $k$-SAT functions on $n$ variables is $(1+o(1))2^{\binom{n}{k} + n}$, or equivalently: a $1-o(1)$ fraction of all $k$-SAT functions are unate, i.e., monotone after negating some variables. They proved a weaker version of the conjecture for $k=2$. The conjecture was confirmed for $k=2$ by Allen and $k=3$ by Ilinca and Kahn.
We show that the problem of enumerating $k$-SAT functions is equivalent to a Turán density problem for partially directed hypergraphs. Our proof uses the hypergraph container method. Furthermore, we confirm the Bollobás--Brightwell--Leader conjecture for $k=4$ by solving the corresponding Turán density problem. Our solution applies a recent result of Füredi and Maleki on the minimum triangular edge density in a graph of given edge density. In an appendix (by Nitya Mani and Edward Yu), we further confirm the $k=5$ case of the conjecture via a brute force computer search.
△ Less
Submitted 25 April, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Making an $H$-Free Graph $k$-Colorable
Authors:
Jacob Fox,
Zoe Himwich,
Nitya Mani
Abstract:
We study the following question: how few edges can we delete from any $H$-free graph on $n$ vertices in order to make the resulting graph $k$-colorable? It turns out that various classical problems in extremal graph theory are special cases of this question. For $H$ any fixed odd cycle, we determine the answer up to a constant factor when $n$ is sufficiently large. We also prove an upper bound whe…
▽ More
We study the following question: how few edges can we delete from any $H$-free graph on $n$ vertices in order to make the resulting graph $k$-colorable? It turns out that various classical problems in extremal graph theory are special cases of this question. For $H$ any fixed odd cycle, we determine the answer up to a constant factor when $n$ is sufficiently large. We also prove an upper bound when $H$ is a fixed clique that we conjecture is tight up to a constant factor, and prove upper bounds for more general families of graphs. We apply our results to get a new bound on the maximum cut of graphs with a forbidden odd cycle in terms of the number of edges.
△ Less
Submitted 19 March, 2021; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Max-Cut in Degenerate $H$-Free Graphs
Authors:
Ray Li,
Nitya Mani
Abstract:
We obtain several lower bounds on the $\textsf{Max-Cut}$ of $d$-degenerate $H$-free graphs. Let $f(m,d,H)$ denote the smallest $\textsf{Max-Cut}$ of an $H$-free $d$-degenerate graph on $m$ edges. We show that $f(m,d,K_r)\ge \left(\frac{1}{2} + d^{-1+Ω(r^{-1})}\right)m$, generalizing a recent work of Carlson, Kolla, and Trevisan. We also give bounds on $f(m,d,H)$ when $H$ is a cycle, odd wheel, or…
▽ More
We obtain several lower bounds on the $\textsf{Max-Cut}$ of $d$-degenerate $H$-free graphs. Let $f(m,d,H)$ denote the smallest $\textsf{Max-Cut}$ of an $H$-free $d$-degenerate graph on $m$ edges. We show that $f(m,d,K_r)\ge \left(\frac{1}{2} + d^{-1+Ω(r^{-1})}\right)m$, generalizing a recent work of Carlson, Kolla, and Trevisan. We also give bounds on $f(m,d,H)$ when $H$ is a cycle, odd wheel, or a complete bipartite graph with at most 4 vertices on one side. We also show stronger bounds on $f(m,d,K_r)$ assuming a conjecture of Alon, Bollabas, Krivelevich, and Sudakov (2003). We conjecture that $f(m,d,K_r)= \left( \frac{1}{2} + Θ_r(d^{-1/2}) \right)m$ for every $r\ge 3$, and show that this conjecture implies the ABKS conjecture.
△ Less
Submitted 24 April, 2020; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Diophantine Tuples over $\mathbb{Z}_p$
Authors:
Nitya Mani,
Simon Rubinstein-Salzedo
Abstract:
For an element $r$ of a ring $R$, a Diophantine $D(r)$ $m$-tuple is an $m$-tuple $(a_1,a_2,\ldots,a_m)$ of elements of $R$ such that for all $i,j$ with $i\neq j$, $a_ia_j+r$ is a perfect square in $R$. In this article, we compute and estimate the measures of the sets of $D(r)$ $m$-tuples in the ring $\mathbb{Z}_p$ of $p$-adic integers, as well as its residue field $\mathbb{F}_p$.
For an element $r$ of a ring $R$, a Diophantine $D(r)$ $m$-tuple is an $m$-tuple $(a_1,a_2,\ldots,a_m)$ of elements of $R$ such that for all $i,j$ with $i\neq j$, $a_ia_j+r$ is a perfect square in $R$. In this article, we compute and estimate the measures of the sets of $D(r)$ $m$-tuples in the ring $\mathbb{Z}_p$ of $p$-adic integers, as well as its residue field $\mathbb{F}_p$.
△ Less
Submitted 24 February, 2019;
originally announced February 2019.
-
Lower bounds for Max-Cut in $H$-free graphs via semidefinite programming
Authors:
Charles Carlson,
Alexandra Kolla,
Ray Li,
Nitya Mani,
Benny Sudakov,
Luca Trevisan
Abstract:
For a graph $G$, let $f(G)$ denote the size of the maximum cut in $G$. The problem of estimating $f(G)$ as a function of the number of vertices and edges of $G$ has a long history and was extensively studied in the last fifty years. In this paper we propose an approach, based on semidefinite programming (SDP), to prove lower bounds on $f(G)$. We use this approach to find large cuts in graphs with…
▽ More
For a graph $G$, let $f(G)$ denote the size of the maximum cut in $G$. The problem of estimating $f(G)$ as a function of the number of vertices and edges of $G$ has a long history and was extensively studied in the last fifty years. In this paper we propose an approach, based on semidefinite programming (SDP), to prove lower bounds on $f(G)$. We use this approach to find large cuts in graphs with few triangles and in $K_r$-free graphs.
△ Less
Submitted 22 April, 2020; v1 submitted 23 October, 2018;
originally announced October 2018.
-
$\mathcal{P}$ Play in Candy Nim
Authors:
Nitya Mani,
Rajiv Nelakanti,
Simon Rubinstein-Salzedo,
Alex Tholen
Abstract:
Candy Nim is a variant of Nim in which both players aim to take the last candy in a game of Nim, with the added simultaneous secondary goal of taking as many candies as possible. We give bounds on the number of candies the first and second players obtain in 3-pile $\mathcal{P}$ positions as well as strategies that are provably optimal for some families of such games. We also show how to construct…
▽ More
Candy Nim is a variant of Nim in which both players aim to take the last candy in a game of Nim, with the added simultaneous secondary goal of taking as many candies as possible. We give bounds on the number of candies the first and second players obtain in 3-pile $\mathcal{P}$ positions as well as strategies that are provably optimal for some families of such games. We also show how to construct a game with $N$ candies such that the loser takes the largest possible number of candies and bound the number of candies the winner can take in an arbitrary $\mathcal{P}$ position with $N$ total candies.
△ Less
Submitted 17 May, 2018;
originally announced May 2018.
-
Shifted Convolution $L$-Series Values for Elliptic Curves
Authors:
Asra Ali,
Nitya Mani
Abstract:
Using explicit constructions of the Weierstrass mock modular form, we offer a closed formula for generating the values of shifted convolution $L$-values for certain elliptic curves that can be computed to arbitrary precision. These identities provide a surprising relation between weight $2$ newforms and shifted convolution $L$-values.
Using explicit constructions of the Weierstrass mock modular form, we offer a closed formula for generating the values of shifted convolution $L$-values for certain elliptic curves that can be computed to arbitrary precision. These identities provide a surprising relation between weight $2$ newforms and shifted convolution $L$-values.
△ Less
Submitted 14 May, 2019; v1 submitted 18 August, 2016;
originally announced August 2016.
-
Infinite Product Exponents for Modular Forms
Authors:
Asra Ali,
Nitya Mani
Abstract:
Recently, D. Choi obtained a description of the coefficients of the infinite product expansions of meromorphic modular forms over $Γ_0(N)$. Using this result, we provide some bounds on these infinite product coefficients for holomorphic modular forms. We give an exponential upper bound for the growth of these coefficients. We show that this bound is also a lower bound in the case that the genus of…
▽ More
Recently, D. Choi obtained a description of the coefficients of the infinite product expansions of meromorphic modular forms over $Γ_0(N)$. Using this result, we provide some bounds on these infinite product coefficients for holomorphic modular forms. We give an exponential upper bound for the growth of these coefficients. We show that this bound is also a lower bound in the case that the genus of the associated modular curve $X_0(N)$ is $0$ or $1$.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
-
$N$-Division Points of Hypocycloids
Authors:
Nitya Mani,
Simon Rubinstein-Salzedo
Abstract:
We show that the $n$-division points of all rational hypocycloids are constructible with an unmarked straightedge and compass for all integers $n$, given a pre-drawn hypocycloid. We also consider the question of constructibility of $n$-division points of hypocycloids without a pre-drawn hypocycloid in the case of a tricuspoid, concluding that only the $1$, $2$, $3$, and $6$-division points of a tr…
▽ More
We show that the $n$-division points of all rational hypocycloids are constructible with an unmarked straightedge and compass for all integers $n$, given a pre-drawn hypocycloid. We also consider the question of constructibility of $n$-division points of hypocycloids without a pre-drawn hypocycloid in the case of a tricuspoid, concluding that only the $1$, $2$, $3$, and $6$-division points of a tricuspoid are constructible in this manner.
△ Less
Submitted 26 February, 2015;
originally announced March 2015.
