scholarly journals Discrepancy of Cartesian Products of Arithmetic Progressions

10.37236/1758 ◽  
2004 ◽  
Vol 11 (1) ◽  
Author(s):  
Benjamin Doerr ◽  
Anand Srivastav ◽  
Petra Wehr

We determine the combinatorial discrepancy of the hypergraph ${\cal H}$ of cartesian products of $d$ arithmetic progressions in the $[N]^d$–lattice ($[N] = \{0,1,\ldots,N-1\}$). The study of such higher dimensional arithmetic progressions is motivated by a multi-dimensional version of van der Waerden's theorem, namely the Gallai-theorem (1933). We solve the discrepancy problem for $d$–dimensional arithmetic progressions by proving ${\rm disc}({\cal H}) = \Theta(N^{d/4})$ for every fixed integer $d \ge 1$. This extends the famous lower bound of $\Omega(N^{1/4})$ of Roth (1964) and the matching upper bound $O(N^{1/4})$ of Matoušek and Spencer (1996) from $d=1$ to arbitrary, fixed $d$. To establish the lower bound we use harmonic analysis on locally compact abelian groups. For the upper bound a product coloring arising from the theorem of Matoušek and Spencer is sufficient. We also regard some special cases, e.g., symmetric arithmetic progressions and infinite arithmetic progressions.

2010 ◽  
Vol 47 (03) ◽  
pp. 611-629
Author(s):  
Mark Fackrell ◽  
Qi-Ming He ◽  
Peter Taylor ◽  
Hanqin Zhang

This paper is concerned with properties of the algebraic degree of the Laplace-Stieltjes transform of phase-type (PH) distributions. The main problem of interest is: given a PH generator, how do we find the maximum and the minimum algebraic degrees of all irreducible PH representations with that PH generator? Based on the matrix exponential (ME) order of ME distributions and the spectral polynomial algorithm, a method for computing the algebraic degree of a PH distribution is developed. The maximum algebraic degree is identified explicitly. Using Perron-Frobenius theory of nonnegative matrices, a lower bound and an upper bound on the minimum algebraic degree are found, subject to some conditions. Explicit results are obtained for special cases.


1991 ◽  
Vol 34 (1) ◽  
pp. 121-142 ◽  
Author(s):  
D. M. E. Foster

For a fixed integer q≧2, every positive integer k = Σr≧0ar(q, k)qr where each ar(q, k)∈{0,1,2,…, q−1}. The sum of digits function α(q, k) Σr≧0ar(q, k) behaves rather erratically but on averaging has a uniform behaviour. In particular if , where n>1, then it is well known that A(q, n)∼½((q − 1)/log q)n logn as n → ∞. For odd values of q, a lower bound is now obtained for the difference 2S(q, n) = A(q, n)−½(q − 1))[log n/log q, where [log n/log q] denotes the greatest integer ≦log n /log q. This complements an upper bound already found.


2017 ◽  
Vol 2019 (14) ◽  
pp. 4419-4430 ◽  
Author(s):  
Jonathan M Fraser ◽  
Kota Saito ◽  
Han Yu

AbstractWe provide estimates for the dimensions of sets in $\mathbb{R}$ which uniformly avoid finite arithmetic progressions (APs). More precisely, we say $F$ uniformly avoids APs of length $k \geq 3$ if there is an $\epsilon>0$ such that one cannot find an AP of length $k$ and gap length $\Delta>0$ inside the $\epsilon \Delta$ neighbourhood of $F$. Our main result is an explicit upper bound for the Assouad (and thus Hausdorff) dimension of such sets in terms of $k$ and $\epsilon$. In the other direction, we provide examples of sets which uniformly avoid APs of a given length but still have relatively large Hausdorff dimension. We also consider higher dimensional analogues of these problems, where APs are replaced with arithmetic patches lying in a hyperplane. As a consequence, we obtain a discretized version of a “reverse Kakeya problem:” we show that if the dimension of a set in $\mathbb{R}^d$ is sufficiently large, then it closely approximates APs in every direction.


10.37236/1521 ◽  
2000 ◽  
Vol 7 (1) ◽  
Author(s):  
Paul J. Tanenbaum

Bound polysemy is the property of any pair $(G_1, G_2)$ of graphs on a shared vertex set $V$ for which there exists a partial order on $V$ such that any pair of vertices has an upper bound precisely when the pair is an edge in $G_1$ and a lower bound precisely when it is an edge in $G_2$. We examine several special cases and prove a characterization of the bound polysemic pairs that illuminates a connection with the squared graphs.


10.37236/8085 ◽  
2019 ◽  
Vol 26 (2) ◽  
Author(s):  
Dhruv Rohatgi

For ordered graphs $G$ and $H$, the ordered Ramsey number $r_<(G,H)$ is the smallest $n$ such that every red/blue edge coloring of the complete ordered graph on vertices $\{1,\dots,n\}$ contains either a blue copy of $G$ or a red copy of $H$, where the embedding must preserve the relative order of vertices. One number of interest, first studied by Conlon, Fox, Lee, and Sudakov, is the off-diagonal ordered Ramsey number $r_<(M, K_3)$, where $M$ is an ordered matching on $n$ vertices. In particular, Conlon et al. asked what asymptotic bounds (in $n$) can be obtained for $\max r_<(M, K_3)$, where the maximum is over all ordered matchings $M$ on $n$ vertices. The best-known upper bound is $O(n^2/\log n)$, whereas the best-known lower bound is $\Omega((n/\log n)^{4/3})$, and Conlon et al. hypothesize that there is some fixed $\epsilon > 0$ such that $r_<(M, K_3) = O(n^{2-\epsilon})$ for every ordered matching $M$. We resolve two special cases of this conjecture. We show that the off-diagonal ordered Ramsey numbers for ordered matchings in which edges do not cross are nearly linear. We also prove a truly sub-quadratic upper bound for random ordered matchings with interval chromatic number $2$.


Mathematics ◽  
2021 ◽  
Vol 9 (21) ◽  
pp. 2779
Author(s):  
Petr Karlovsky

Diophantine equations ∏i=1nxi=F∑i=1nxi with xi,F∈ℤ+ associate the products and sums of n natural numbers. Only special cases have been studied so far. Here, we provide new parametric solutions depending on F and the divisors of F or F2. One of these solutions shows that the equation of any degree with any F is solvable. For n = 2, exactly two solutions exist if and only if F is a prime. These solutions are (2F,2F) and (F + 1, F(F + 1)). We generalize an upper bound for the sum of solution terms from n = 3 established by Crilly and Fletcher in 2015 to any n to be F+1F+n−1 and determine a lower bound to be nnFn−1. Confining the solutions to n-tuples consisting of distinct terms, equations of the 4th degree with any F are solvable but equations of the 5th to 9th degree are not. An upper bound for the sum of terms of distinct-term solutions is conjectured to be F+1F+n−2n−1!/2+1/n−2!. The conjecture is supported by computation, which also indicates that the upper bound equals the largest sum of solution terms if and only if F=n+k−2n−2!−1, k∈ℤ+. Computation provides further insights into the relationships between F and the sum of terms of distinct-term solutions.


Filomat ◽  
2017 ◽  
Vol 31 (20) ◽  
pp. 6241-6246 ◽  
Author(s):  
Zohreh Sepehrizadeh ◽  
Mohammad Rismanchian

In this article we introduce a formula for the probability which an autocommutator element of a finite group G, equals to a fixed element 1 of G and derive some properties of this formula. Moreover, we obtain a lower bound and an upper bound for this probability in the special cases. This generalizes some results of Das et al. in 2010 and Moghaddam et al. in 2011.


2010 ◽  
Vol 47 (3) ◽  
pp. 611-629 ◽  
Author(s):  
Mark Fackrell ◽  
Qi-Ming He ◽  
Peter Taylor ◽  
Hanqin Zhang

This paper is concerned with properties of the algebraic degree of the Laplace-Stieltjes transform of phase-type (PH) distributions. The main problem of interest is: given a PH generator, how do we find the maximum and the minimum algebraic degrees of all irreducible PH representations with that PH generator? Based on the matrix exponential (ME) order of ME distributions and the spectral polynomial algorithm, a method for computing the algebraic degree of a PH distribution is developed. The maximum algebraic degree is identified explicitly. Using Perron-Frobenius theory of nonnegative matrices, a lower bound and an upper bound on the minimum algebraic degree are found, subject to some conditions. Explicit results are obtained for special cases.


2011 ◽  
Vol 07 (04) ◽  
pp. 921-931 ◽  
Author(s):  
RYAN SCHWARTZ ◽  
JÓZSEF SOLYMOSI ◽  
FRANK DE ZEEUW

A simultaneous arithmetic progression (s.a.p.) of length k consists of k points (xi, yσ(i)), where [Formula: see text] and [Formula: see text] are arithmetic progressions and σ is a permutation. Garcia-Selfa and Tornero asked whether there is a bound on the length of an s.a.p. on an elliptic curve in Weierstrass form over ℚ. We show that 4319 is such a bound for curves over ℝ. This is done by considering translates of the curve in a grid as a graph. A simple upper bound is found for the number of crossings and the "crossing inequality" gives a lower bound. Together these bound the length of an s.a.p. on the curve. We also extend this method to bound the k for which a real algebraic curve can contain k points from a k × k grid. Lastly, these results are extended to complex algebraic curves.


1998 ◽  
Vol 58 (1) ◽  
pp. 1-13 ◽  
Author(s):  
Shiqing Zhang

Using the equivariant Ljusternik-Schnirelmann theory and the estimate of the upper bound of the critical value and lower bound for the collision solutions, we obtain some new results in the large concerning multiple geometrically distinct periodic solutions of fixed energy for a class of planar N-body type problems.


Sign in / Sign up

Export Citation Format

Share Document