The L1-norm of exponential sums in d

2013 ◽  
Vol 154 (3) ◽  
pp. 381-392 ◽  
Author(s):  
GIORGIS PETRIDIS
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Absolute Constant ◽  
Exponential Sums ◽  
Exponential Sum ◽  
Correct Order ◽  
L1 Norm ◽  
Finite Set ◽  
Order Of Magnitude ◽  
Technical Sense

AbstractLet A be a finite set of integers and FA(x) = ∑a∈A exp(2πiax) be its exponential sum. McGehee, Pigno and Smith and Konyagin have independently proved that ∥FA∥1 ≥ c log|A| for some absolute constant c. The lower bound has the correct order of magnitude and was first conjectured by Littlewood. In this paper we present lower bounds on the L1-norm of exponential sums of sets in the d-dimensional grid d. We show that ∥FA∥1 is considerably larger than log|A| when A ⊂ d has multidimensional structure. We furthermore prove similar lower bounds for sets in , which in a technical sense are multidimensional and discuss their connection to an inverse result on the theorem of McGehee, Pigno and Smith and Konyagin.

SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA

2014 ◽  
Vol 25 (07) ◽  
pp. 877-896 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER ◽  
MATTHIAS WENDLANDT
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Finite Automaton ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Unary Languages ◽  
Order Of Magnitude ◽  
Simulation Results ◽  
Special Case ◽  
Nondeterministic Finite Automaton

We investigate the descriptional complexity of deterministic one-way multi-head finite automata accepting unary languages. It is known that in this case the languages accepted are regular. Thus, we study the increase of the number of states when an n-state k-head finite automaton is simulated by a classical (one-head) deterministic or nondeterministic finite automaton. In the former case upper and lower bounds that are tight in the order of magnitude are shown. For the latter case we obtain an upper bound of O(n2k) and a lower bound of Ω(nk) states. We investigate also the costs for the conversion of one-head nondeterministic finite automata to deterministic k-head finite automata, that is, we trade nondeterminism for heads. In addition, we study how the conversion costs vary in the special case of finite and, in particular, of singleton unary lanuages. Finally, as an application of the simulation results, we show that decidability problems for unary deterministic k-head finite automata such as emptiness or equivalence are LOGSPACE-complete.

scholarly journals Primes in Short Segments of Arithmetic Progressions

1998 ◽  
Vol 50 (3) ◽  
pp. 563-580 ◽  
Author(s):  
D. A. Goldston ◽  
C. Y. Yildirim
Keyword(s):  
Asymptotic Formula ◽  
Lower Bounds ◽  
Arithmetic Progression ◽  
Riemann Hypothesis ◽  
Total Variance ◽  
Correct Order ◽  
Asymptotic Results ◽  
Extended Range ◽  
Order Of Magnitude ◽  
Almost All

AbstractConsider the variance for the number of primes that are both in the interval [y,y + h] for y ∈ [x,2x] and in an arithmetic progression of modulus q. We study the total variance obtained by adding these variances over all the reduced residue classes modulo q. Assuming a strong form of the twin prime conjecture and the Riemann Hypothesis one can obtain an asymptotic formula for the total variance in the range when 1 ≤ h/q ≤ x1/2-∈ , for any ∈ > 0. We show that one can still obtain some weaker asymptotic results assuming the Generalized Riemann Hypothesis (GRH) in place of the twin prime conjecture. In their simplest form, our results are that on GRH the same asymptotic formula obtained with the twin prime conjecture is true for “almost all” q in the range 1 ≤ h/q ≤ x1/4-∈, that on averaging over q one obtains an asymptotic formula in the extended range 1 ≤ h/q ≤ x1/2-∈, and that there are lower bounds with the correct order of magnitude for all q in the range 1 ≤ h/q ≤ x1/3-∈.

scholarly journals Lower bounds to eigenvalues of the Schrödinger equation by solution of a 90-y challenge

2020 ◽  
Vol 117 (28) ◽  
pp. 16181-16186
Author(s):  
Rocco Martinazzo ◽  
Eli Pollak
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Upper Bound ◽  
Spectral Features ◽  
Numerical Examples ◽  
Tunneling Splittings ◽  
Order Of Magnitude ◽  
Bound Theorem ◽  
Math Phys ◽  
Better Than

The Ritz upper bound to eigenvalues of Hermitian operators is essential for many applications in science. It is a staple of quantum chemistry and physics computations. The lower bound devised by Temple in 1928 [G. Temple,Proc. R. Soc. A Math. Phys. Eng. Sci.119, 276–293 (1928)] is not, since it converges too slowly. The need for a good lower-bound theorem and algorithm cannot be overstated, since an upper bound alone is not sufficient for determining differences between eigenvalues such as tunneling splittings and spectral features. In this paper, after 90 y, we derive a generalization and improvement of Temple’s lower bound. Numerical examples based on implementation of the Lanczos tridiagonalization are provided for nontrivial lattice model Hamiltonians, exemplifying convergence over a range of 13 orders of magnitude. This lower bound is typically at least one order of magnitude better than Temple’s result. Its rate of convergence is comparable to that of the Ritz upper bound. It is not limited to ground states. These results complement Ritz’s upper bound and may turn the computation of lower bounds into a staple of eigenvalue and spectral problems in physics and chemistry.

scholarly journals Dense clusters of primes in subsets

2016 ◽  
Vol 152 (7) ◽  
pp. 1517-1554 ◽  
Author(s):  
James Maynard
Keyword(s):  
Lower Bounds ◽  
Arithmetic Progressions ◽  
Correct Order ◽  
Order Of Magnitude

We prove a generalization of the author’s work to show that any subset of the primes which is ‘well distributed’ in arithmetic progressions contains many primes which are close together. Moreover, our bounds hold with some uniformity in the parameters. As applications, we show there are infinitely many intervals of length$(\log x)^{{\it\epsilon}}$containing$\gg _{{\it\epsilon}}\log \log x$primes, and show lower bounds of the correct order of magnitude for the number of strings of$m$congruent primes with$p_{n+m}-p_{n}\leqslant {\it\epsilon}\log x$.

Few sums, many products

2003 ◽  
Vol 40 (3) ◽  
pp. 301-308 ◽  
Author(s):  
György Elekes Gy. ◽  
Imre Z. Ruzsa
Keyword(s):  
Absolute Constant ◽  
Correct Order ◽  
Real Numbers ◽  
Order Of Magnitude

Let A be a set of n real numbers such that the number of distinct twofold sums is a n. We show that the number of twofold products is = c n2/ (a4 log n), and the number of quotients is = c n2/ min (a6, a4 log n) with some absolute constant c. For bounded a this gives the correct order of magnitude for the quotients. For sums we think that the correct order is n2/ (log n)a with some a<1, perhaps with 2 log 2 -1, as a result of Pomerance and Sárközy suggests. We also give more general inequalities for sums, products and quotients formed with different sets. The proofs use geometric tools, mainly the Szemerédi-Trotter inequality.

scholarly journals ON THE DISTRIBUTION OF THE MAXIMUM OF CUBIC EXPONENTIAL SUMS

2018 ◽  
Vol 19 (4) ◽  
pp. 1259-1286
Author(s):  
Youness Lamzouri
Keyword(s):  
Algebraic Geometry ◽  
Lower Bound ◽  
Exponential Sums ◽  
Probabilistic Methods ◽  
Upper And Lower Bounds ◽  
Partial Sums ◽  
Log P ◽  
Analysis Techniques ◽  
Distribution Of The Maximum ◽  
Order Of Magnitude

In this paper, we investigate the distribution of the maximum of partial sums of certain cubic exponential sums, commonly known as ‘Birch sums’. Our main theorem gives upper and lower bounds (of nearly the same order of magnitude) for the distribution of large values of this maximum, that hold in a wide uniform range. This improves a recent result of Kowalski and Sawin. The proofs use a blend of probabilistic methods, harmonic analysis techniques, and deep tools from algebraic geometry. The results can also be generalized to other types of $\ell$-adic trace functions. In particular, the lower bound of our result also holds for partial sums of Kloosterman sums. As an application, we show that there exist $x\in [1,p]$ and $a\in \mathbb{F}_{p}^{\times }$ such that $|\sum _{n\leqslant x}\exp (2\unicode[STIX]{x1D70B}i(n^{3}+an)/p)|\geqslant (2/\unicode[STIX]{x1D70B}+o(1))\sqrt{p}\log \log p$. The uniformity of our results suggests that this bound is optimal, up to the value of the constant.

A Lower Bound for Schur Numbers and Multicolor Ramsey Numbers

10.37236/1188 ◽  
1994 ◽  
Vol 1 (1) ◽  
Author(s):  
Geoffrey Exoo
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Ramsey Numbers

For $k \geq 5$, we establish new lower bounds on the Schur numbers $S(k)$ and on the k-color Ramsey numbers of $K_3$.

scholarly journals A Lower Bound for the Query Phase of Contraction Hierarchies and Hub Labels and a Provably Optimal Instance-Based Schema

Algorithms ◽  
2021 ◽  
Vol 14 (6) ◽  
pp. 164
Author(s):  
Tobias Rupp ◽  
Stefan Funke
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Real World ◽  
Road Network ◽  
Upper And Lower Bounds ◽  
Bounded Degree ◽  
Shortest Path Routing ◽  
Graph Classes ◽  
Speed Up ◽  
To Come

We prove a Ω(n) lower bound on the query time for contraction hierarchies (CH) as well as hub labels, two popular speed-up techniques for shortest path routing. Our construction is based on a graph family not too far from subgraphs that occur in real-world road networks, in particular, it is planar and has a bounded degree. Additionally, we borrow ideas from our lower bound proof to come up with instance-based lower bounds for concrete road network instances of moderate size, reaching up to 96% of an upper bound given by a constructed CH. For a variant of our instance-based schema applied to some special graph classes, we can even show matching upper and lower bounds.

scholarly journals A note on two-term exponential sum and the reciprocal of the quartic Gauss sums

2021 ◽  
Vol 2021 (1) ◽  
Author(s):  
Wenpeng Zhang ◽  
Xingxing Lv
Keyword(s):  
Exponential Sums ◽  
Exponential Sum ◽  
Gauss Sums ◽  
Power Mean ◽  
Hybrid Power ◽  
Analytic Methods ◽  
Hybrid Power Mean

AbstractThe main purpose of this article is by using the properties of the fourth character modulo a prime p and the analytic methods to study the calculating problem of a certain hybrid power mean involving the two-term exponential sums and the reciprocal of quartic Gauss sums, and to give some interesting calculating formulae of them.

scholarly journals On Computing Multilinear Polynomials Using Multi- r -ic Depth Four Circuits

2021 ◽  
Vol 13 (3) ◽  
pp. 1-21
Author(s):  
Suryajith Chillara
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Complexity Measure ◽  
Natural Question ◽  
Multilinear Polynomial ◽  
Arithmetic Circuit ◽  
Theory Of Computing ◽  
Small Constant ◽  
Multilinear Polynomials ◽  
The Individual

In this article, we are interested in understanding the complexity of computing multilinear polynomials using depth four circuits in which the polynomial computed at every node has a bound on the individual degree of r ≥ 1 with respect to all its variables (referred to as multi- r -ic circuits). The goal of this study is to make progress towards proving superpolynomial lower bounds for general depth four circuits computing multilinear polynomials, by proving better bounds as the value of r increases. Recently, Kayal, Saha and Tavenas (Theory of Computing, 2018) showed that any depth four arithmetic circuit of bounded individual degree r computing an explicit multilinear polynomial on n O (1) variables and degree d must have size at least ( n / r 1.1 ) Ω(√ d / r ) . This bound, however, deteriorates as the value of r increases. It is a natural question to ask if we can prove a bound that does not deteriorate as the value of r increases, or a bound that holds for a larger regime of r . In this article, we prove a lower bound that does not deteriorate with increasing values of r , albeit for a specific instance of d = d ( n ) but for a wider range of r . Formally, for all large enough integers n and a small constant η, we show that there exists an explicit polynomial on n O (1) variables and degree Θ (log 2 n ) such that any depth four circuit of bounded individual degree r ≤ n η must have size at least exp(Ω(log 2 n )). This improvement is obtained by suitably adapting the complexity measure of Kayal et al. (Theory of Computing, 2018). This adaptation of the measure is inspired by the complexity measure used by Kayal et al. (SIAM J. Computing, 2017).

Sign in / Sign up

Export Citation Format

Share Document