-
On the Pair Correlation Statistic of Sequences with Finite Gap Property
Authors:
Jasmin Fiedler,
Christian Weiß
Abstract:
The limiting function $f(s)$ of the pair correlation \[ \frac{1}{N} \# \left\{ 1 \leq i\neq j\leq N \middle\vert \left\lVert x_i - x_j \right\rVert \leq \frac{s}{N} \right\} \] for a sequence $(x_N)_{N \in \mathbb{N}}$ on the torus $\mathbb{T}^1$ is said to be Poissonian if it exists and equals $2s$ for all $s \geq 0$. For instance, independent, uniformly distributed random variables generically h…
▽ More
The limiting function $f(s)$ of the pair correlation \[ \frac{1}{N} \# \left\{ 1 \leq i\neq j\leq N \middle\vert \left\lVert x_i - x_j \right\rVert \leq \frac{s}{N} \right\} \] for a sequence $(x_N)_{N \in \mathbb{N}}$ on the torus $\mathbb{T}^1$ is said to be Poissonian if it exists and equals $2s$ for all $s \geq 0$. For instance, independent, uniformly distributed random variables generically have this property. Obviously $f(s)$ is always a monotonic function if existent. There are only few examples of sequences where $f(s) \neq 2s$, but where the limit can still be explicitly calculated. Therefore, it is an open question which types of functions $f(s)$ can or cannot appear here. In this note, we give a partial answer on this question by addressing the case that the number of different gap lengths in the sequence is finite and showing that $f$ cannot be continuous then.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Poissonian pair correlations for dependent random variables
Authors:
Jasmin Fielder,
Michael Gnewuch,
Christian Weiß
Abstract:
We consider Poissonian pair correlations (PPC) for uniformly distributed sequences of random numbers with a dependency structure. More specifically, we treat two classes of dependent random variables which have widely been studied in the literature, namely sequences of jittered samples and random walks on the torus. We show that for the former class, the PPC property depends on how the finite samp…
▽ More
We consider Poissonian pair correlations (PPC) for uniformly distributed sequences of random numbers with a dependency structure. More specifically, we treat two classes of dependent random variables which have widely been studied in the literature, namely sequences of jittered samples and random walks on the torus. We show that for the former class, the PPC property depends on how the finite sample is extended to an infinite sequence. Moreover, we prove that, under some mild assumptions, the random walk on the torus generically has PPC.
△ Less
Submitted 31 January, 2025; v1 submitted 29 November, 2024;
originally announced November 2024.
-
Scrambled Halton Subsequences and Inverse Star-Discrepancy
Authors:
Christian Weiß
Abstract:
Braaten and Weller discovered that the star-discrepancy of Halton sequences can be strongly reduced by scrambling them. In this paper, we apply a similar approach to those subsequences of Halton sequences which can be identified to have low-discrepancy by results from $p$-adic discrepancy theory. For given finite $N$, it turns out that the star-discrepancy of these sequences is surprisingly low. B…
▽ More
Braaten and Weller discovered that the star-discrepancy of Halton sequences can be strongly reduced by scrambling them. In this paper, we apply a similar approach to those subsequences of Halton sequences which can be identified to have low-discrepancy by results from $p$-adic discrepancy theory. For given finite $N$, it turns out that the star-discrepancy of these sequences is surprisingly low. By that known empiric bounds for the inverse star-discrepancy can be improved. Furthermore, we establish the existence of $N$-point sets in dimension $d$ whose star-discrepancy satisfies $\leq 2.4631832 \sqrt{\frac{d}{N}}$, where the constant improves upon all previously known bounds.
△ Less
Submitted 18 June, 2025; v1 submitted 15 November, 2024;
originally announced November 2024.
-
P-adic Poissonian Pair Correlations via the Monna Map
Authors:
Christian Weiß
Abstract:
Although the existence of sequences in the p-adic integers with Poissonian pair correlations has already been shown, no explicit examples had been found so far. In this note we discuss how to transfer real sequences with Poissonian pair correlations to the p-adic setting by making use of the Monna map.
Although the existence of sequences in the p-adic integers with Poissonian pair correlations has already been shown, no explicit examples had been found so far. In this note we discuss how to transfer real sequences with Poissonian pair correlations to the p-adic setting by making use of the Monna map.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Polynomial p-adic Low-Discrepancy Sequences
Authors:
Christian Weiß
Abstract:
The classic example of a low-discrepancy sequence in $\mathbb{Z}_p$ is $(x_n) = an+b$ with $a \in \mathbb{Z}_p^x$ and $b \in \mathbb{Z}_p$. Here we address the non-linear case and show that a polynomial $f$ generates a low-discrepancy sequence in $\mathbb{Z}_p$ if and only if it is a permutation polynomial $\mod p$ and $\mod p^2$. By this it is possible to construct non-linear examples of low-disc…
▽ More
The classic example of a low-discrepancy sequence in $\mathbb{Z}_p$ is $(x_n) = an+b$ with $a \in \mathbb{Z}_p^x$ and $b \in \mathbb{Z}_p$. Here we address the non-linear case and show that a polynomial $f$ generates a low-discrepancy sequence in $\mathbb{Z}_p$ if and only if it is a permutation polynomial $\mod p$ and $\mod p^2$. By this it is possible to construct non-linear examples of low-discrepancy sequences in $\mathbb{Z}_p$ for all primes $p$. Moreover, we prove a criterion which decides for any given polynomial in $\mathbb{Z}_p$ with $p \in \left\{ 3,5, 7\right\}$ if it generates a low-discrepancy sequence. We also discuss connections to the theories of Poissonian pair correlations and real discrepancy.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Weak Poissonian box correlations of higher order
Authors:
Jasmin Fiedler,
Christian Weiß
Abstract:
Poissonian pair correlations have sparked interest within the mathematical community, because of their number theoretic properties, and their connections to quantum physics and probability theory, particularly uniformly distributed random numbers. Rather recently, several generalizations of the concept have been introduced, including weak Poissonian pair correlations and $k$-th order Poissonian co…
▽ More
Poissonian pair correlations have sparked interest within the mathematical community, because of their number theoretic properties, and their connections to quantum physics and probability theory, particularly uniformly distributed random numbers. Rather recently, several generalizations of the concept have been introduced, including weak Poissonian pair correlations and $k$-th order Poissonian correlations. In this paper, we propose a new generalized concept called $(k,m,β)$-Poissonian box correlations. We study their properties and more specifically their relation to uniform distribution theory, discrepancy theory, random numbers and gap distributions.
△ Less
Submitted 19 February, 2025; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Nontrivial $t$-designs in polar spaces exist for all $t$
Authors:
Charlene Weiß
Abstract:
A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space over $\mathbb{F}_q$ equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-$(n,k,λ)$ design in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $k$-spaces such that each totally isotropic $t$-space is contain…
▽ More
A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space over $\mathbb{F}_q$ equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-$(n,k,λ)$ design in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $k$-spaces such that each totally isotropic $t$-space is contained in exactly $λ$ members of $Y$. Nontrivial examples are currently only known for $t\leq 2$. We show that $t$-$(n,k,λ)$ designs in polar spaces exist for all $t$ and $q$ provided that $k>\frac{21}{2}t$ and $n$ is sufficiently large enough. The proof is based on a probabilistic method by Kuperberg, Lovett, and Peled, and it is thus nonconstructive.
△ Less
Submitted 13 August, 2024; v1 submitted 14 November, 2023;
originally announced November 2023.
-
A p-adic Poissonian Pair Correlation Concept
Authors:
Christian Weiss
Abstract:
The pair correlation statistic is an important concept in real uniform distribution theory. Therefore, sequences in the unit interval with (weak) Poissonian pair correlations have attracted a lot of attention in recent time. The aim of this paper is to suggest a generalization to the p-adic integers and to prove some of its main properties. In particular, connections to the theory of p-adic discre…
▽ More
The pair correlation statistic is an important concept in real uniform distribution theory. Therefore, sequences in the unit interval with (weak) Poissonian pair correlations have attracted a lot of attention in recent time. The aim of this paper is to suggest a generalization to the p-adic integers and to prove some of its main properties. In particular, connections to the theory of p-adic discrepancy theory are discussed.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
On the finite pair correlation function of van der Corput sequences
Authors:
Christian Weiß
Abstract:
In this note we derive an explicit formula for the finite empiric pair correlation function $F_N(s)$ of the van der Corput sequence in base $2$ for all $N \in \mathbb{N}$ and $s \geq 0$. The formula can be evaluated without explicit knowledge about the elements of the van der Corput sequence. Moreover, it can be immediately read off that $\lim_{N \to \infty} F_N(s)$ exists only for…
▽ More
In this note we derive an explicit formula for the finite empiric pair correlation function $F_N(s)$ of the van der Corput sequence in base $2$ for all $N \in \mathbb{N}$ and $s \geq 0$. The formula can be evaluated without explicit knowledge about the elements of the van der Corput sequence. Moreover, it can be immediately read off that $\lim_{N \to \infty} F_N(s)$ exists only for $0 \leq s \leq 1/2$.
△ Less
Submitted 17 June, 2023;
originally announced June 2023.
-
New Bounds for the Extreme and the Star Discrepancy of Double-Infinite Matrices
Authors:
Jasmin Fiedler,
Michael Gnewuch,
Christian Weiß
Abstract:
According to Aistleitner and Weimar, there exist two-dimensional (double) infinite matrices whose star-discrepancy $D_N^{*s}$ of the first $N$ rows and $s$ columns, interpreted as $N$ points in $[0,1]^s$, satisfies an inequality of the form $$D_N^{*s} \leq \sqrtα \sqrt{A+B\frac{\ln(\log_2(N))}{s}}\sqrt{\frac{s}{N}}$$ with $α= ζ^{-1}(2) \approx 1.73, A=1165$ and $B=178$. These matrices are obtained…
▽ More
According to Aistleitner and Weimar, there exist two-dimensional (double) infinite matrices whose star-discrepancy $D_N^{*s}$ of the first $N$ rows and $s$ columns, interpreted as $N$ points in $[0,1]^s$, satisfies an inequality of the form $$D_N^{*s} \leq \sqrtα \sqrt{A+B\frac{\ln(\log_2(N))}{s}}\sqrt{\frac{s}{N}}$$ with $α= ζ^{-1}(2) \approx 1.73, A=1165$ and $B=178$. These matrices are obtained by using i.i.d sequences, and the parameters $s$ and $N$ refer to the dimension and the sample size respectively. In this paper, we improve their result in two directions: First, we change the character of the equation so that the constant $A$ gets replaced by a value $A_s$ dependent on the dimension $s$ such that for $s>1$ we have $A_s<A$. Second, we generalize the result to the case of the (extreme) discrepancy. The paper is complemented by a section where we show numerical results for the dependence of the parameter $A_s$ on $s$.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
An Explicit non-Poissonian Pair Correlation Function
Authors:
Christian Weiß
Abstract:
A generic uniformly distributed random sequence on the unit interval has Poissonian pair correlations. At the same time, there are only very few explicitly known examples of sequences with this property. Moreover, many types of deterministic sequences, which are important in other contexts of equidistribution theory, have been proven to fail having the Poissonian pair correlation property. In all…
▽ More
A generic uniformly distributed random sequence on the unit interval has Poissonian pair correlations. At the same time, there are only very few explicitly known examples of sequences with this property. Moreover, many types of deterministic sequences, which are important in other contexts of equidistribution theory, have been proven to fail having the Poissonian pair correlation property. In all known examples for the non-Poissonian case, rather sophisticated arguments were used to derive information on the limiting pair correlation function. In this paper, we derive therefore the first elementary such example, namely for the sequence $x_n := \left\{ \frac{\log(2n-1)}{\log(2)} \right\}$, which is also a low-dispersion sequence. The proof only heavily relies on a full understanding of the gap structure of $(x_n)_{n \in \mathbb{N}}$. Furthermore, we discuss differences to the weak pair correlation function.
△ Less
Submitted 2 May, 2023; v1 submitted 27 April, 2023;
originally announced April 2023.
-
Conditional-mean Multiplicative Operator Models for Count Time Series
Authors:
Christian H. Weiß,
Fukang Zhu
Abstract:
Multiplicative error models (MEMs) are commonly used for real-valued time series, but they cannot be applied to discrete-valued count time series as the involved multiplication would not preserve the integer nature of the data. Thus, the concept of a multiplicative operator for counts is proposed (as well as several specific instances thereof), which are then used to develop a kind of MEMs for cou…
▽ More
Multiplicative error models (MEMs) are commonly used for real-valued time series, but they cannot be applied to discrete-valued count time series as the involved multiplication would not preserve the integer nature of the data. Thus, the concept of a multiplicative operator for counts is proposed (as well as several specific instances thereof), which are then used to develop a kind of MEMs for count time series (CMEMs). If equipped with a linear conditional mean, the resulting CMEMs are closely related to the class of so-called integer-valued generalized autoregressive conditional heteroscedasticity (INGARCH) models and might be used as a semi-parametric extension thereof. Important stochastic properties of different types of INGARCH-CMEM as well as relevant estimation approaches are derived, namely types of quasi-maximum likelihood and weighted least squares estimation. The performance and application are demonstrated with simulations as well as with two real-world data examples.
△ Less
Submitted 27 November, 2023; v1 submitted 12 December, 2022;
originally announced December 2022.
-
The Pair Correlation Function of Multi-Dimensional Low-Discrepancy Sequences with Small Stochastic Error Terms
Authors:
Anja Schmiedt,
Christian Weiß
Abstract:
In any dimension $d \geq 2$, there is no known example of a low-discrepancy sequence which possess Poisssonian pair correlations. This is in some sense rather surprising, because low-discrepancy sequences always have $β$-Poissonian pair correlations for all $0 < β< \tfrac{1}{d}$ and are therefore arbitrarily close to having Poissonian pair correlations (which corresponds to the case…
▽ More
In any dimension $d \geq 2$, there is no known example of a low-discrepancy sequence which possess Poisssonian pair correlations. This is in some sense rather surprising, because low-discrepancy sequences always have $β$-Poissonian pair correlations for all $0 < β< \tfrac{1}{d}$ and are therefore arbitrarily close to having Poissonian pair correlations (which corresponds to the case $β= \tfrac{1}{d}$). In this paper, we further elaborate on the closeness of the two notions. We show that $d$-dimensional Kronecker sequences for badly approximable vectors $\vecα$ with an arbitrary small uniformly distributed stochastic error term generically have $β= \tfrac{1}{d}$-Poissonian pair correlations.
△ Less
Submitted 22 March, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
Packings and Steiner systems in polar spaces
Authors:
Kai-Uwe Schmidt,
Charlene Weiß
Abstract:
A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-Steiner system in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $n$-spaces such that each totally isotropic $t$-space is contained in exactly one memb…
▽ More
A finite classical polar space of rank $n$ consists of the totally isotropic subspaces of a finite vector space equipped with a nondegenerate form such that $n$ is the maximal dimension of such a subspace. A $t$-Steiner system in a finite classical polar space of rank $n$ is a collection $Y$ of totally isotropic $n$-spaces such that each totally isotropic $t$-space is contained in exactly one member of $Y$. Nontrivial examples are known only for $t=1$ and $t=n-1$. We give an almost complete classification of such $t$-Steiner systems, showing that such objects can only exist in some corner cases. This classification result arises from a more general result on packings in polar spaces.
△ Less
Submitted 20 December, 2022; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Approximation of Discrete Measures by Finite Point Sets
Authors:
Christian Weiß
Abstract:
For a probability measure $μ$ on $[0,1]$ without discrete component, the best possible order of approximation by a finite point set in terms of the star-discrepancy is $\frac{1}{2N}$ as has been proven relatively recently. However, if $μ$ contains a discrete component no non-trivial lower bound holds in general because it is straightforward to construct examples without any approximation error in…
▽ More
For a probability measure $μ$ on $[0,1]$ without discrete component, the best possible order of approximation by a finite point set in terms of the star-discrepancy is $\frac{1}{2N}$ as has been proven relatively recently. However, if $μ$ contains a discrete component no non-trivial lower bound holds in general because it is straightforward to construct examples without any approximation error in this case. This might explain, why the approximation of discrete measures on $[0,1]$ by finite point sets has so far not been completely covered in the existing literature. In this note, we close this gap by giving a complete description of the discrete case. Most importantly, we prove that for any discrete measure the best possible order of approximation is for infinitely many $N$ bounded from below by $\frac{1}{cN}$ for some constant $c \geq 2$ which depends on the measure. This implies, that for a finitely supported discrete measure on $[0,1]^d$ the known possible order of approximation $\frac{1}{N}$ is indeed the optimal one.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
A study in quantitative equidistribution on the unit square
Authors:
Max Goering,
Christian Weiss
Abstract:
The distributional properties of the translation flow on the unit square have been considered in different fields of mathematics, including algebraic geometry and discrepancy theory. One method to quantify equidistribution is to compare the error between the actual time the translation flow spent in specific sets $E \subset [0,1]^2$ to the expected time. In this article, we prove that when $E$ is…
▽ More
The distributional properties of the translation flow on the unit square have been considered in different fields of mathematics, including algebraic geometry and discrepancy theory. One method to quantify equidistribution is to compare the error between the actual time the translation flow spent in specific sets $E \subset [0,1]^2$ to the expected time. In this article, we prove that when $E$ is in the algebra generated by convex sets the error is of order at most $\log(T)^{1+\varepsilon}$ for all but countably many directions. Whenever the direction is badly approximable the bound can be sharpened to $\log(T)^{1/2+\varepsilon}$. The error estimates we produce are smaller than for general measurable sets as proved by Beck, while our class of examples is larger than in the work of Grepstad-Larcher who obtained the bounded remainder property for their sets. Our proof relies on the duality between local convexity of the boundary and regularity of sections of the flow.
△ Less
Submitted 27 February, 2023; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Some Connections Between Discrepancy, Finite Gap Properties, and Pair Correlations
Authors:
Christian Weiß
Abstract:
A generic uniformly distributed sequence $(x_n)_{n \in \mathbb{N}}$ in $[0,1)$ possesses Poissonian pair correlations (PPC). Vice versa, it has been proven that a sequence with PPC is uniformly distributed. Grepstad and Larcher gave an explicit upper bound for the discrepancy of a sequence given that it has PPC. As a first result, we generalize here their result to the case of $α$-pair correlation…
▽ More
A generic uniformly distributed sequence $(x_n)_{n \in \mathbb{N}}$ in $[0,1)$ possesses Poissonian pair correlations (PPC). Vice versa, it has been proven that a sequence with PPC is uniformly distributed. Grepstad and Larcher gave an explicit upper bound for the discrepancy of a sequence given that it has PPC. As a first result, we generalize here their result to the case of $α$-pair correlations with $0 < α< 1$. Since the highest possible level of uniformity is achieved by low-discrepancy sequences it is tempting to assume that there are examples of such sequences which also have PPC. Although there are no such known examples, we prove that every low-discrepancy sequence has at least $α$-pair correlations for $0 < α<1$. According to Larcher and Stockinger, the reason why many known classes of low-discrepancy sequences fail to have PPC is their finite gap property. In this article, we furthermore show that the discrepancy of a sequence with the finite gap property plus a condition on the distribution of the different gap lengths can be estimated. As a concrete application of this estimation, we re-prove the fact that van der Corput and Kronecker sequences are low-discrepancy sequences. Consequently, it follows from the finite gap property that these sequences have $α$-pair correlations for $0 < α< 1$.
△ Less
Submitted 29 June, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Remarks on the Pair Correlation Statistic of Kronecker Sequences and Lattice Point Counting
Authors:
Christian Weiß
Abstract:
In this short note, we reformulate the task of calculating the pair correlation statistics of a Kronecker sequence as a lattice point counting problem. This can be done analogously to the lattice based approach which was used to (re-)prove the famous three gap property for Kronecker sequences. We show that recently developed lattice point counting techniques can then be applied to derive that a ce…
▽ More
In this short note, we reformulate the task of calculating the pair correlation statistics of a Kronecker sequence as a lattice point counting problem. This can be done analogously to the lattice based approach which was used to (re-)prove the famous three gap property for Kronecker sequences. We show that recently developed lattice point counting techniques can then be applied to derive that a certain class of Kronecker sequences have $β$-pair correlations for all $0 < β< 1$.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Existence of small ordered orthogonal arrays
Authors:
Kai-Uwe Schmidt,
Charlene Weiß
Abstract:
We show that there exist ordered orthogonal arrays, whose sizes deviate from the Rao bound by a factor that is polynomial in the parameters of the ordered orthogonal array. The proof is nonconstructive and based on a probabilistic method due to Kuperberg, Lovett and Peled.
We show that there exist ordered orthogonal arrays, whose sizes deviate from the Rao bound by a factor that is polynomial in the parameters of the ordered orthogonal array. The proof is nonconstructive and based on a probabilistic method due to Kuperberg, Lovett and Peled.
△ Less
Submitted 26 February, 2023; v1 submitted 3 September, 2021;
originally announced September 2021.
-
Systems of Rank One, Explicit Rokhlin Towers, and Covering Numbers
Authors:
Christian Weiß
Abstract:
Rotations $f_α$ of the one-dimensional torus (equipped with the normalized Lebesgue measure) by an irrational angle $α$ are known to be dynamical systems of rank one. This is equivalent to the property that the covering number $F^*(f_α)$ of the dynamical system is one. In other words, there exists a basis $B$ such that for arbitrarily high $h$ an arbitrarily large proportion of the unit torus can…
▽ More
Rotations $f_α$ of the one-dimensional torus (equipped with the normalized Lebesgue measure) by an irrational angle $α$ are known to be dynamical systems of rank one. This is equivalent to the property that the covering number $F^*(f_α)$ of the dynamical system is one. In other words, there exists a basis $B$ such that for arbitrarily high $h$ an arbitrarily large proportion of the unit torus can be covered by the Rokhlin tower $(f_α^kB)_{k=0}^{h-1}$. Although $B$ can be chosen with diameter smaller than any fixed $\varepsilon > 0$, it is not always possible to take an interval for $B$ but this can only be done when the partial quotients of $α$ are unbounded. In the present paper, we ask what maximum proportion of the torus can be covered when $B$ is the union of $n_B \in \mathbb{N}$ disjoint intervals. This question has been answered in the case $n_B =1$ by Checkhova, and here we address the general situation. If $n_B = 2$ we give a precise formula for the maximum proportion. Furthermore, we show that for fixed $α$ the maximum proportion converges to $1$ when $n_B \to \infty$. Explicit lower bounds can be given if $α$ has constant partial quotients. Our approach is inspired by the construction involved in the proof of the Rokhlin Lemma and furthermore makes use of the Three Gap Theorem.
△ Less
Submitted 18 June, 2021;
originally announced June 2021.
-
Multi-dimensional Kronecker Sequences with a Small Number of Gap Lengths
Authors:
Christian Weiß
Abstract:
Recently, generalizations of the classical Three Gap Theorem to higher dimensions attracted a lot of attention. In particular, upper bounds for the number of nearest neighbor distances have been established for the Euclidean and the maximum metric. It was proved that a generic multi-dimensional Kronecker attains the maximal possible number of different gap lengths for every sub-exponential subsequ…
▽ More
Recently, generalizations of the classical Three Gap Theorem to higher dimensions attracted a lot of attention. In particular, upper bounds for the number of nearest neighbor distances have been established for the Euclidean and the maximum metric. It was proved that a generic multi-dimensional Kronecker attains the maximal possible number of different gap lengths for every sub-exponential subsequence. We mirror this result in dimension $d \in \left\{ 2, 3 \right\}$ by constructing Kronecker sequences which have a surprisingly low number of different nearest neighbor distances for infinitely $N \in \mathbb{N}$. Our proof relies on simple arguments from the theory of continued fractions.
△ Less
Submitted 6 May, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
A Generalized Faulhaber Inequality, Improved Bracketing Covers, and Applications to Discrepancy
Authors:
Michael Gnewuch,
Hendrik Pasing,
Christian Weiß
Abstract:
We prove a generalized Faulhaber inequality to bound the sums of the $j$-th powers of the first $n$ (possibly shifted) natural numbers. With the help of this inequality we are able to improve the known bounds for bracketing numbers of $d$-dimensional axis-parallel boxes anchored in $0$ (or, put differently, of lower left orthants intersected with the $d$-dimensional unit cube $[0,1]^d$). We use th…
▽ More
We prove a generalized Faulhaber inequality to bound the sums of the $j$-th powers of the first $n$ (possibly shifted) natural numbers. With the help of this inequality we are able to improve the known bounds for bracketing numbers of $d$-dimensional axis-parallel boxes anchored in $0$ (or, put differently, of lower left orthants intersected with the $d$-dimensional unit cube $[0,1]^d$). We use these improved bracketing numbers to establish new bounds for the star-discrepancy of negatively dependent random point sets and its expectation. We apply our findings also to the weighted star-discrepancy.
△ Less
Submitted 20 April, 2021; v1 submitted 22 October, 2020;
originally announced October 2020.
-
Discrepancy Properties and Conjugacy Classes of Interval Exchange Transformations
Authors:
Christian Weiß
Abstract:
Interval exchange transformations are typically uniquely ergodic maps and therefore have uniformly distributed orbits. Their degree of uniformity can be measured in terms of the star-discrepancy. Few examples of interval exchange transformations with low-discrepancy orbits are known so far and only for $n=2,3$ intervals, there are criteria to completely characterize those interval exchange transfo…
▽ More
Interval exchange transformations are typically uniquely ergodic maps and therefore have uniformly distributed orbits. Their degree of uniformity can be measured in terms of the star-discrepancy. Few examples of interval exchange transformations with low-discrepancy orbits are known so far and only for $n=2,3$ intervals, there are criteria to completely characterize those interval exchange transformations. In this paper, it is shown that having low-discrepancy orbits is a conjugacy class invariant under composition of maps. To a certain extent, this approach allows us to distinguish interval exchange transformations with low-discrepancy orbits from those without. For $n=4$ intervals, the classification is almost complete with the only exceptional case having monodromy invariant $ρ= (4,3,2,1)$. This particular monodromy invariant is discussed in detail.
△ Less
Submitted 12 July, 2021; v1 submitted 23 July, 2020;
originally announced July 2020.
-
Lagrange spectrum of a circle over the Eisensteinian field
Authors:
Byungchul Cha,
Heather Chapman,
Brittany Gelb,
Chooka Weiss
Abstract:
We study an intrinsic Lagrange spectrum of the unit circle $|z|=1$ in the complex plane with respect to the Eisensteinian field $\mathbb{Q}(\sqrt{-3})$. We prove that the minimum of the Lagrange spectrum is $2$ and that its smallest accumulation point is $4/\sqrt{3}$. In addition, we characterize the set of all values in the spectrum between $2$ and $4/\sqrt3$.
We study an intrinsic Lagrange spectrum of the unit circle $|z|=1$ in the complex plane with respect to the Eisensteinian field $\mathbb{Q}(\sqrt{-3})$. We prove that the minimum of the Lagrange spectrum is $2$ and that its smallest accumulation point is $4/\sqrt{3}$. In addition, we characterize the set of all values in the spectrum between $2$ and $4/\sqrt3$.
△ Less
Submitted 28 October, 2021; v1 submitted 29 March, 2020;
originally announced March 2020.
-
Families of well approximable measures
Authors:
Samantha Fairchild,
Max Goering,
Christian Weiß
Abstract:
We provide an algorithm to approximate a finitely supported discrete measure $μ$ by a measure $ν_{N}$ corresponding to a set of $N$ points so that the total variation between $μ$ and $ν_N$ has an upper bound. As a consequence if $μ$ is a (finite or infinitely supported) discrete probability measure on $[0,1]^{d}$ with a sufficient decay rate on the weights of each point, then $μ$ can be approximat…
▽ More
We provide an algorithm to approximate a finitely supported discrete measure $μ$ by a measure $ν_{N}$ corresponding to a set of $N$ points so that the total variation between $μ$ and $ν_N$ has an upper bound. As a consequence if $μ$ is a (finite or infinitely supported) discrete probability measure on $[0,1]^{d}$ with a sufficient decay rate on the weights of each point, then $μ$ can be approximated by $ν_N$ with total variation, and hence star-discrepancy, bounded above by $(\log N) N^{-1}$. Our result improves, in the discrete case, recent work by Aistleitner, Bilyk, and Nikolov who show that for any normalized Borel measure $μ$, there exist finite sets whose star-discrepancy with respect to $μ$ is at most $(\log N)^{d-\frac{1}{2}} N^{-1}$. Moreover we close a gap in the literature for discrepancy in the case $d=1$ showing both that Lebesgue is indeed the hardest measure to approximate by finite sets and also that all measures without discrete components have the same order of discrepancy as the Lebesgue measure.
△ Less
Submitted 26 April, 2020; v1 submitted 29 March, 2020;
originally announced March 2020.
-
The $κ$-Strongly Proper Forcing Axiom
Authors:
David Asperó,
Sean Cox,
Asaf Karagila,
Christoph Weiss
Abstract:
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $θ>κ$ to get the consistency of the forcing axiom for $κ$-strongly proper forcing notions which are also $κ$-lattice, and then eliminate the need for large cardinals. The proof goes through a natural reflection property for $κ$-strongly prop…
▽ More
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $θ>κ$ to get the consistency of the forcing axiom for $κ$-strongly proper forcing notions which are also $κ$-lattice, and then eliminate the need for large cardinals. The proof goes through a natural reflection property for $κ$-strongly proper forcings. We also produce a model of this forcing axiom with $2^κ$ arbitrarily large, and prove the inconsistency of certain natural strengthenings of the axiom.
△ Less
Submitted 18 March, 2024; v1 submitted 4 December, 2019;
originally announced December 2019.
-
Sequences with almost Poissonian Pair Correlations
Authors:
Christian Weiß,
Thomas Skill
Abstract:
Although a generic uniformly distributed sequence has Poissonian pair correlations, only one explicit example has been found up to now. Additionally, it is even known that many classes of uniformly distributed sequences, like van der Corput sequences, Kronecker sequences and LS sequences, do not have Poissonian pair correlations. In this paper, we show that van der Corput sequences and the Kroneck…
▽ More
Although a generic uniformly distributed sequence has Poissonian pair correlations, only one explicit example has been found up to now. Additionally, it is even known that many classes of uniformly distributed sequences, like van der Corput sequences, Kronecker sequences and LS sequences, do not have Poissonian pair correlations. In this paper, we show that van der Corput sequences and the Kronecker sequence for the golden mean are as close to having Poissonian pair correlations as possible: they both have $α$-pair correlations for all $0 < α< 1$ but not for $α= 1$ which corresponds to Poissonian pair correlations.
△ Less
Submitted 8 February, 2021; v1 submitted 7 May, 2019;
originally announced May 2019.
-
Fractional Operators Applied to Geophysical Electromagnetics
Authors:
Chester J. Weiss,
Bart G. van Bloemen Waanders,
Harbir Antil
Abstract:
A growing body of applied mathematics literature in recent years has focussed on the application of fractional calculus to problems of anomalous transport. In these analyses, the anomalous transport (of charge, tracers, fluid, etc.) is presumed attributable to long-range correlations of material properties within an inherently complex, and in some cases self-similar, conducting medium. Rather than…
▽ More
A growing body of applied mathematics literature in recent years has focussed on the application of fractional calculus to problems of anomalous transport. In these analyses, the anomalous transport (of charge, tracers, fluid, etc.) is presumed attributable to long-range correlations of material properties within an inherently complex, and in some cases self-similar, conducting medium. Rather than considering an exquisitely discretized (and computationally intractable) representation of the medium, the complex and spatially correlated heterogeneity is represented through reformulation of the PDE governing the relevant transport physics such that its coefficients are, instead, smooth but paired with fractional-order space derivatives. Here we apply these concepts to the scalar Helmholtz equation and its use in electromagnetic interrogation of Earth's interior through the magnetotelluric method. We outline a practical algorithm for solving the Helmholtz equation using spectral methods coupled with finite element discretization. Execution of this algorithm for the magnetotelluric problem reveals several interesting features observable in field data: long--range correlation of the predicted electromagnetic fields; a power-law relationship between the squared impedance amplitude and squared wavenumber whose slope is a function of the fractional exponent within the governing Helmholtz equation; and, a non-constant apparent resistivity spectrum whose variability arises solely from the fractional exponent. In geologic settings characterized by self--similarity (e.g. fracture systems; thick and richly-textured sedimentary sequences, etc.) we posit that diagnostics are useful for geologic characterization of features far below the typical resolution limit of electromagnetic methods in geophysics.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Improving a Constant in High-Dimensional Discrepancy Estimates
Authors:
Hendrik Pasing,
Christian Weiß
Abstract:
For all $s \geq 1$ and $N \geq 1$ there exist sequences $(z_1,\ldots,z_N)$ in $[0,1]^s$ such that the star-discrepancy of these points can be bounded by $$D_N^*(z_1,\ldots,z_N) \leq c \frac{\sqrt{s}}{\sqrt{N}}.$$ The best known value for the constant is $c=10$ as has been calculated by Aistleitner in \cite{Ais11}. In this paper we improve the bound to $c=9$.
For all $s \geq 1$ and $N \geq 1$ there exist sequences $(z_1,\ldots,z_N)$ in $[0,1]^s$ such that the star-discrepancy of these points can be bounded by $$D_N^*(z_1,\ldots,z_N) \leq c \frac{\sqrt{s}}{\sqrt{N}}.$$ The best known value for the constant is $c=10$ as has been calculated by Aistleitner in \cite{Ais11}. In this paper we improve the bound to $c=9$.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
Deducing Three Gap Theorem From Rauzy-Veech Induction
Authors:
Christian Weiß
Abstract:
The Three Gap Theorem states that there are at most three distinct lengths of gaps if one places $n$ points on a circle, at angles of $z, 2z, 3z, \ldots nz$ from the starting point. The theorem was first proven in 1958 by Sós and many proofs have been found since then. In this note we show how the Three Gap Theorem can easily be deduced by using Rauzy-Veech induction.
The Three Gap Theorem states that there are at most three distinct lengths of gaps if one places $n$ points on a circle, at angles of $z, 2z, 3z, \ldots nz$ from the starting point. The theorem was first proven in 1958 by Sós and many proofs have been found since then. In this note we show how the Three Gap Theorem can easily be deduced by using Rauzy-Veech induction.
△ Less
Submitted 2 February, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Interval Exchange Transformations and Low-Discrepancy
Authors:
Christian Weiß
Abstract:
In [Mas82] and [Vee78] it was proved independently that almost every interval exchange transformation is uniquely ergodic. The Birkhoff ergodic theorem implies that these maps mainly have uniformly distributed orbits. This raises the question under which conditions the orbits yield low-discrepancy sequences. The case of $n=2$ intervals corresponds to circle rotation, where conditions for low-discr…
▽ More
In [Mas82] and [Vee78] it was proved independently that almost every interval exchange transformation is uniquely ergodic. The Birkhoff ergodic theorem implies that these maps mainly have uniformly distributed orbits. This raises the question under which conditions the orbits yield low-discrepancy sequences. The case of $n=2$ intervals corresponds to circle rotation, where conditions for low-discrepancy are well-known. In this paper, we give corresponding conditions in the case $n=3$. Furthermore, we construct infinitely many interval exchange transformations with low-discrepancy orbits for $n \geq 4$. We also show that these examples do not coincide with $LS$-sequences if $S \geq 2$.
△ Less
Submitted 13 February, 2018; v1 submitted 20 November, 2017;
originally announced November 2017.
-
On the Classification of LS-Sequences
Authors:
Christian Weiß
Abstract:
This paper adresses the question whether the $LS$-sequences constructed by Carbone yield indeed a new family of low discrepancy sequences. While it is well known that the case $S=0$ corresponds to van der Corput sequences, we prove here that the case $S=1$ can be traced back to two-sided Kronecker sequences and moreover that for $S \geq 2$ none of these two types occurs anymore. In addition, our a…
▽ More
This paper adresses the question whether the $LS$-sequences constructed by Carbone yield indeed a new family of low discrepancy sequences. While it is well known that the case $S=0$ corresponds to van der Corput sequences, we prove here that the case $S=1$ can be traced back to two-sided Kronecker sequences and moreover that for $S \geq 2$ none of these two types occurs anymore. In addition, our approach allows for an improved discrepancy bound for $S=1$ and $L$ arbitrary.
△ Less
Submitted 4 December, 2017; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Non-congruence of homology Veech groups in genus two
Authors:
Christian Weiß
Abstract:
We study the action of the Veech group of square-tiled surfaces of genus two on homology. This action defines the homology Veech group which is a subgroup of $\textrm{SL}_2(\mathcal{O}_D)$ where $\mathcal{O}_D$ is a quadratic order of square discriminant. Extending a result of Weitze-Schmithüsen we show that also the homology Veech group is a totally non-congruence subgroup with exceptions stemmin…
▽ More
We study the action of the Veech group of square-tiled surfaces of genus two on homology. This action defines the homology Veech group which is a subgroup of $\textrm{SL}_2(\mathcal{O}_D)$ where $\mathcal{O}_D$ is a quadratic order of square discriminant. Extending a result of Weitze-Schmithüsen we show that also the homology Veech group is a totally non-congruence subgroup with exceptions stemming only from the prime ideals lying above 2. While Weitze-Schmithüsen's result for Veech groups is asymmetric with respect to the spin structure our use of the homology Veech group yields a completely symmetric picture.
△ Less
Submitted 10 May, 2017; v1 submitted 28 January, 2013;
originally announced January 2013.
-
Twisted Teichmüller curves
Authors:
Christian Weiß
Abstract:
Let $X_D$ denote the Hilbert modular surface $\HH \times \HH^- / \SL_2(\OD)$. In \cite{HZ76}, F. Hirzebruch and D. Zagier introduced Hirzebruch-Zagier cycles, that could also be called twisted diagonals. These are maps $\HH \to \HH \times \HH^-$ given by $z \mapsto (Mz,-M^σz)$ where $M \in \GL_2^+(K)$ and $σ$ denotes the Galois conjugate. The projection of a twisted diagonal to $X_D$ yields a Koba…
▽ More
Let $X_D$ denote the Hilbert modular surface $\HH \times \HH^- / \SL_2(\OD)$. In \cite{HZ76}, F. Hirzebruch and D. Zagier introduced Hirzebruch-Zagier cycles, that could also be called twisted diagonals. These are maps $\HH \to \HH \times \HH^-$ given by $z \mapsto (Mz,-M^σz)$ where $M \in \GL_2^+(K)$ and $σ$ denotes the Galois conjugate. The projection of a twisted diagonal to $X_D$ yields a Kobayashi curve, i.e. an algebraic curve which is a geodesic for the Kobayashi metric on $X_D$. Properties of Hirzebruch-Zagier cycles have been abundantly studied in the literature.\\Teichmüller curves are algebraic curves in the moduli space of Riemann surfaces $\mathcal{M}_g$, which are geodesic for the Kobayashi metric. Some Teichmüller curves in $\mathcal{M}_2$, namely the primitive ones, can also be regarded as Kobayashi curves on $X_D$. This implies that in the universal cover the curve is of the form $z \mapsto (z,\varphi(z))$ for some holomorphic map $\varphi$. A possibility to construct even more Kobayashi curves on $X_D$ is to consider the projection of $(Mz,M^σ\varphi(z))$ to $X_D$ where again $M \in \GL_2^+(K)$. These new objects are called twisted Teichmüller curves because their construction reminds very much of twisted diagonals. In these notes we analyze twisted Teichmüller curves in detail and describe some of their main properties. In particular, we calculate their volume and partially classify components.
△ Less
Submitted 5 November, 2013; v1 submitted 9 August, 2012;
originally announced August 2012.
-
On the consistency strength of the proper forcing axiom
Authors:
Matteo Viale,
Christoph Weiß
Abstract:
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles hold for $ω_2$. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact c…
▽ More
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles hold for $ω_2$. Using this, we argue to show that any of the known methods for forcing models of PFA from a large cardinal assumption requires a strongly compact cardinal. If one forces PFA using a proper forcing, then we get the optimal result that a supercompact cardinal is necessary.
△ Less
Submitted 9 December, 2010;
originally announced December 2010.
-
The combinatorial essence of supercompactness
Authors:
Christoph Weiß
Abstract:
We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal. Utilizing the failure of a weak version of square, we show that the best currently known lower bounds for the consistency strength of these principles can be applied.
We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal. Utilizing the failure of a weak version of square, we show that the best currently known lower bounds for the consistency strength of these principles can be applied.
△ Less
Submitted 9 December, 2010;
originally announced December 2010.
