-
Symmetry groups and deformations of sums of exponentials
Authors:
Florian Pausinger,
David Petrecca
Abstract:
We study the symmetry groups and winding numbers of planar curves obtained by taking the image of the complex unit circle under a Laurent polynomial, a class that includes weighted sums of exponentials. We generalize various results on such sums of exponentials and relate them to other classes of curves present in the literature. Moreover, we consider the evolution under the wave equation of such…
▽ More
We study the symmetry groups and winding numbers of planar curves obtained by taking the image of the complex unit circle under a Laurent polynomial, a class that includes weighted sums of exponentials. We generalize various results on such sums of exponentials and relate them to other classes of curves present in the literature. Moreover, we consider the evolution under the wave equation of such curves for the case of binomials. Interestingly, our methods provide a unified and systematic way of constructing curves with prescribed properties, such as number of cusps, number of intersection points or winding number.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Learn2Extend: Extending sequences by retaining their statistical properties with mixture models
Authors:
Dimitris Vartziotis,
George Dasoulas,
Florian Pausinger
Abstract:
This paper addresses the challenge of extending general finite sequences of real numbers within a subinterval of the real line, maintaining their inherent statistical properties by employing machine learning. Our focus lies on preserving the gap distribution and pair correlation function of these point sets. Leveraging advancements in deep learning applied to point processes, this paper explores t…
▽ More
This paper addresses the challenge of extending general finite sequences of real numbers within a subinterval of the real line, maintaining their inherent statistical properties by employing machine learning. Our focus lies on preserving the gap distribution and pair correlation function of these point sets. Leveraging advancements in deep learning applied to point processes, this paper explores the use of an auto-regressive \textit{Sequence Extension Mixture Model} (SEMM) for extending finite sequences, by estimating directly the conditional density, instead of the intensity function. We perform comparative experiments on multiple types of point processes, including Poisson, locally attractive, and locally repelling sequences, and we perform a case study on the prediction of Riemann $ζ$ function zeroes. The results indicate that the proposed mixture model outperforms traditional neural network architectures in sequence extension with the retention of statistical properties. Given this motivation, we showcase the capabilities of a mixture model to extend sequences, maintaining specific statistical properties, i.e. the gap distribution, and pair correlation indicators.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
On the expected L2-discrepancy of stratified samples from parallel lines
Authors:
Florian Pausinger
Abstract:
We study the expected $\mathcal{L}_2$-discrepancy of stratified samples generated from special equi-volume partitions of the unit square. The partitions are defined via parallel lines that are all orthogonal to the diagonal of the square. It is shown that the expected discrepancy of stratified samples derived from these partitions is a factor 2 smaller than the expected discrepancy of the same num…
▽ More
We study the expected $\mathcal{L}_2$-discrepancy of stratified samples generated from special equi-volume partitions of the unit square. The partitions are defined via parallel lines that are all orthogonal to the diagonal of the square. It is shown that the expected discrepancy of stratified samples derived from these partitions is a factor 2 smaller than the expected discrepancy of the same number of i.i.d uniformly distributed random points in the unit square. We conjecture that this is best possible among all partitions generated from parallel lines.
△ Less
Submitted 1 January, 2024; v1 submitted 21 October, 2023;
originally announced October 2023.
-
On the symmetry of finite sums of exponentials II
Authors:
Florian Pausinger,
Dimtris Vartziotis
Abstract:
In this note we extend our study of the rich geometry of the graph of a curve defined as the weighted sum of two exponentials. Let $γ_{a,b}^{s}: [0,1] \rightarrow \mathbb{C}$ be defined as $$γ_{a,b}^s(t) = (1-s) \exp(2 πi a t) + (1+s) \exp(2πi b t) $$ in which $1\leq a < b$ are two positive integers and $s \in [-1,1]$. In the first part we determined the symmetry groups of the graphs of…
▽ More
In this note we extend our study of the rich geometry of the graph of a curve defined as the weighted sum of two exponentials. Let $γ_{a,b}^{s}: [0,1] \rightarrow \mathbb{C}$ be defined as $$γ_{a,b}^s(t) = (1-s) \exp(2 πi a t) + (1+s) \exp(2πi b t) $$ in which $1\leq a < b$ are two positive integers and $s \in [-1,1]$. In the first part we determined the symmetry groups of the graphs of $γ_{a,b}:=γ_{a,b}^0$. The main aim of this note is to study the continuous transition of the graph of the curve when $s$ changes from $-1$ to $1$. As a main result we determine the winding numbers $\mathrm{wind}(γ_{a,b}^s,0)$ for $s \in [-1,1] \setminus \{ 0 \}$ as well as the set of cusp points of each such curve. This sheds further light on our initial symmetry result and provides more non-trivial albeit easy-to-state examples of advanced concepts of geometry and topology.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
On the expected L2-discrepancy of jittered sampling
Authors:
Nathan Kirk,
Florian Pausinger
Abstract:
For $m, d \in \mathbb{N}$, a jittered sample of $N=m^d$ points can be constructed by partitioning $[0,1]^d$ into $m^d$ axis-aligned equivolume boxes and placing one point independently and uniformly at random inside each box. We utilise a formula for the expected $\mathcal{L}_2-$discrepancy of stratified samples stemming from general equivolume partitions of $[0,1]^d$ which recently appeared, to d…
▽ More
For $m, d \in \mathbb{N}$, a jittered sample of $N=m^d$ points can be constructed by partitioning $[0,1]^d$ into $m^d$ axis-aligned equivolume boxes and placing one point independently and uniformly at random inside each box. We utilise a formula for the expected $\mathcal{L}_2-$discrepancy of stratified samples stemming from general equivolume partitions of $[0,1]^d$ which recently appeared, to derive a closed form expression for the expected $\mathcal{L}_2-$discrepancy of a jittered point set for any $m, d \in \mathbb{N}$. As a second main result we derive a similar formula for the expected Hickernell $\mathcal{L}_2-$discrepancy of a jittered point set which also takes all projections of the point set to lower dimensional faces of the unit cube into account.
△ Less
Submitted 12 September, 2022; v1 submitted 18 August, 2022;
originally announced August 2022.
-
Partitions for stratified sampling
Authors:
Francois Clement,
Nathan Kirk,
Florian Pausinger
Abstract:
Classical jittered sampling partitions $[0,1]^d$ into $m^d$ cubes for a positive integer $m$ and randomly places a point inside each of them, providing a point set of size $N=m^d$ with small discrepancy. The aim of this note is to provide a construction of partitions that works for arbitrary $N$ and improves straight-forward constructions. We show how to construct equivolume partitions of the $d$-…
▽ More
Classical jittered sampling partitions $[0,1]^d$ into $m^d$ cubes for a positive integer $m$ and randomly places a point inside each of them, providing a point set of size $N=m^d$ with small discrepancy. The aim of this note is to provide a construction of partitions that works for arbitrary $N$ and improves straight-forward constructions. We show how to construct equivolume partitions of the $d$-dimensional unit cube with hyperplanes that are orthogonal to the main diagonal of the cube. We investigate the discrepancy of such point sets and optimise the expected discrepancy numerically by relaxing the equivolume constraint using different black-box optimisation techniques.
△ Less
Submitted 29 June, 2023; v1 submitted 20 April, 2022;
originally announced April 2022.
-
On a partition with a lower expected $\mathcal{L}_2$-discrepancy than classical jittered sampling
Authors:
Markus Kiderlen,
Florian Pausinger
Abstract:
We prove that classical jittered sampling of the $d$-dimensional unit cube does not yield the smallest expected $\mathcal{L}_2$-discrepancy among all stratified samples with $N=m^d$ points. Our counterexample can be given explicitly and consists of convex partitioning sets of equal volume.
We prove that classical jittered sampling of the $d$-dimensional unit cube does not yield the smallest expected $\mathcal{L}_2$-discrepancy among all stratified samples with $N=m^d$ points. Our counterexample can be given explicitly and consists of convex partitioning sets of equal volume.
△ Less
Submitted 19 October, 2021; v1 submitted 3 June, 2021;
originally announced June 2021.
-
Discrepancy of stratified samples from partitions of the unit cube
Authors:
Markus Kiderlen,
Florian Pausinger
Abstract:
We extend the notion of jittered sampling to arbitrary partitions and study the discrepancy of the related point sets. Let $\mathbfΩ=(Ω_1,\ldots,Ω_N)$ be a partition of $[0,1]^d$ and let the $i$th point in $\mathcal{P}$ be chosen uniformly in the $i$th set of the partition (and stochastically independent of the other points), $i=1,\ldots,N$. For the study of such sets we introduce the concept of a…
▽ More
We extend the notion of jittered sampling to arbitrary partitions and study the discrepancy of the related point sets. Let $\mathbfΩ=(Ω_1,\ldots,Ω_N)$ be a partition of $[0,1]^d$ and let the $i$th point in $\mathcal{P}$ be chosen uniformly in the $i$th set of the partition (and stochastically independent of the other points), $i=1,\ldots,N$. For the study of such sets we introduce the concept of a uniformly distributed triangular array and compare this notion to related notions in the literature. We prove that the expected ${\mathcal{L}_p}$-discrepancy, $\mathbb{E} {\mathcal{L}_p}(\mathcal{P}_{\mathbfΩ})^p$, of a point set $\mathcal{P}_\mathbfΩ$ generated from any equivolume partition $\mathbfΩ$ is always strictly smaller than the expected ${\mathcal{L}_p}$-discrepancy of a set of $N$ uniform random samples for $p>1$. For fixed $N$ we consider classes of stratified samples based on equivolume partitions of the unit cube into convex sets or into sets with a uniform positive lower bound on their reach. It is shown that these classes contain at least one minimizer of the expected ${\mathcal{L}_p}$-discrepancy. We illustrate our results with explicit constructions for small $N$. In addition, we present a family of partitions that seems to improve the expected discrepancy of Monte Carlo sampling by a factor of 2 for every $N$.
△ Less
Submitted 29 January, 2021; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Long shortest vectors in low dimensional lattices
Authors:
Florian Pausinger
Abstract:
For coprime integers $N,a,b,c$, with $0<a<b<c<N$, we define the set $$ \{ (na \! \! \! \! \pmod{N}, nb \! \! \! \! \pmod{N}, nc \! \! \! \! \pmod{N}) : 0 \leq n < N\}. $$ We study which parameters $N,a,b,c$ generate point sets with long shortest distances between the points of the set in dependence of $N$ and relate such sets to lattices of a particular form. As a main result, we present an infini…
▽ More
For coprime integers $N,a,b,c$, with $0<a<b<c<N$, we define the set $$ \{ (na \! \! \! \! \pmod{N}, nb \! \! \! \! \pmod{N}, nc \! \! \! \! \pmod{N}) : 0 \leq n < N\}. $$ We study which parameters $N,a,b,c$ generate point sets with long shortest distances between the points of the set in dependence of $N$ and relate such sets to lattices of a particular form. As a main result, we present an infinite family of such lattices with the property that the normalised norm of the shortest vector of each lattice converges to the square root of the Hermite constant $γ_3$. We obtain a similar result for the generalisation of our construction to $4$ and $5$ dimensions.
△ Less
Submitted 26 August, 2020; v1 submitted 31 May, 2020;
originally announced June 2020.
-
Greedy energy minimization can count in binary: point charges and the van der Corput sequence
Authors:
Florian Pausinger
Abstract:
This paper establishes a connection between a problem in Potential Theory and Mathematical Physics, arranging points so as to minimize an energy functional, and a problem in Combinatorics and Number Theory, constructing 'well-distributed' sequences of points on $[0,1)$. Let $f:[0,1] \rightarrow \mathbb{R}$ be (i) symmetric $f(x) = f(1-x)$, (ii) twice differentiable on $(0,1)$, and (iii) such that…
▽ More
This paper establishes a connection between a problem in Potential Theory and Mathematical Physics, arranging points so as to minimize an energy functional, and a problem in Combinatorics and Number Theory, constructing 'well-distributed' sequences of points on $[0,1)$. Let $f:[0,1] \rightarrow \mathbb{R}$ be (i) symmetric $f(x) = f(1-x)$, (ii) twice differentiable on $(0,1)$, and (iii) such that $f''(x)>0$ for all $x \in (0,1)$. We study the greedy dynamical system, where, given an initial set $\{x_0, \ldots, x_{N-1}\} \subset [0,1)$, the point $x_N$ is obtained as $$ x_{N} = \arg\min_{x \in [0,1)} \sum_{k=0}^{N-1}{f(|x-x_k|)}.$$ We prove that if we start this construction with the single element $x_0=0$, then all arising constructions are permutations of the van der Corput sequence (counting in binary and reflected about the comma): \textit{greedy energy minimization recovers the way we count in binary.} This gives a new construction of the classical van der Corput sequence. The special case $f(x) = 1-\log(2 \sin(πx))$ answers a question of Steinerberger. Interestingly, the point sets we derive are also known in a different context as Leja sequences on the unit disk. Moreover, we give a general bound on the discrepancy of any sequence constructed in this way for functions $f$ satisfying an additional assumption.
△ Less
Submitted 24 January, 2020; v1 submitted 23 May, 2019;
originally announced May 2019.
-
On the symmetry of finite sums of exponentials
Authors:
Florian Pausinger,
Dimitris Vartziotis
Abstract:
In this note we are interested in the rich geometry of the graph of a curve $γ_{a,b}: [0,1] \rightarrow \mathbb{C}$ defined as \begin{equation*} γ_{a,b}(t) = \exp(2πi a t) + \exp(2πi b t), \end{equation*} in which $a,b$ are two different positive integers. It turns out that the sum of only two exponentials gives already rise to intriguing graphs. We determine the symmetry group and the points of s…
▽ More
In this note we are interested in the rich geometry of the graph of a curve $γ_{a,b}: [0,1] \rightarrow \mathbb{C}$ defined as \begin{equation*} γ_{a,b}(t) = \exp(2πi a t) + \exp(2πi b t), \end{equation*} in which $a,b$ are two different positive integers. It turns out that the sum of only two exponentials gives already rise to intriguing graphs. We determine the symmetry group and the points of self intersection of any such graph using only elementary arguments and describe various interesting phenomena that arise in the study of graphs of sums of more than two exponentials.
△ Less
Submitted 3 October, 2018;
originally announced October 2018.
-
On the intriguing search for good permutations
Authors:
Florian Pausinger
Abstract:
The intriguing search for permutations that generate generalised van der Corput sequences with exceptionally small discrepancy forms an important part of the research work of Henri Faure. On the occasion of Henri's 80th birthday we aim to survey (some of) his contributions over the last four decades which considerably improved our understanding of one-dimensional van der Corput sequences and inspi…
▽ More
The intriguing search for permutations that generate generalised van der Corput sequences with exceptionally small discrepancy forms an important part of the research work of Henri Faure. On the occasion of Henri's 80th birthday we aim to survey (some of) his contributions over the last four decades which considerably improved our understanding of one-dimensional van der Corput sequences and inspired a lot of related work. We recall and compare the different approaches in the search for generalised van der Corput sequences with low discrepancy, i.e., using a single generating permutation versus using a sequence of permutations. Throughout, we collect, sharpen and extend open questions which all stem from the extensive work of Henri and his coworkers and which will hopefully inspire more work in the future.
△ Less
Submitted 27 July, 2018; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Persistent Betti numbers of random Čech complexes
Authors:
Ulrich Bauer,
Florian Pausinger
Abstract:
We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Ka…
▽ More
We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting.
△ Less
Submitted 25 January, 2018;
originally announced January 2018.
-
Optimal Jittered Sampling for two Points in the Unit Square
Authors:
Florian Pausinger,
Manas Rachh,
Stefan Steinerberger
Abstract:
Jittered Sampling is a refinement of the classical Monte Carlo sampling method. Instead of picking $n$ points randomly from $[0,1]^2$, one partitions the unit square into $n$ regions of equal measure and then chooses a point randomly from each partition. Currently, no good rules for how to partition the space are available. In this paper, we present a solution for the special case of subdividing t…
▽ More
Jittered Sampling is a refinement of the classical Monte Carlo sampling method. Instead of picking $n$ points randomly from $[0,1]^2$, one partitions the unit square into $n$ regions of equal measure and then chooses a point randomly from each partition. Currently, no good rules for how to partition the space are available. In this paper, we present a solution for the special case of subdividing the unit square by a decreasing function into two regions so as to minimize the expected squared $\mathcal{L}_2-$discrepancy. The optimal partitions are given by a \textit{highly} nonlinear integral equation for which we determine an approximate solution. In particular, there is a break of symmetry and the optimal partition is not into two sets of equal measure. We hope this stimulates further interest in the construction of good partitions.
△ Less
Submitted 18 April, 2017;
originally announced April 2017.
-
Pair correlations and equidistribution
Authors:
Christoph Aistleitner,
Thomas Lachmann,
Florian Pausinger
Abstract:
A deterministic sequence of real numbers in the unit interval is called \emph{equidistributed} if its empirical distribution converges to the uniform distribution. Furthermore, the limit distribution of the pair correlation statistics of a sequence is called Poissonian if the number of pairs $x_k,x_l \in (x_n)_{1 \leq n \leq N}$ which are within distance $s/N$ of each other is asymptotically…
▽ More
A deterministic sequence of real numbers in the unit interval is called \emph{equidistributed} if its empirical distribution converges to the uniform distribution. Furthermore, the limit distribution of the pair correlation statistics of a sequence is called Poissonian if the number of pairs $x_k,x_l \in (x_n)_{1 \leq n \leq N}$ which are within distance $s/N$ of each other is asymptotically $\sim 2sN$. A randomly generated sequence has both of these properties, almost surely. There seems to be a vague sense that having Poissonian pair correlations is a "finer" property than being equidistributed. In this note we prove that this really is the case, in a precise mathematical sense: a sequence whose asymptotic distribution of pair correlations is Poissonian must necessarily be equidistributed. Furthermore, for sequences which are not equidistributed we prove that the square-integral of the asymptotic density of the sequence gives a lower bound for the asymptotic distribution of the pair correlations.
△ Less
Submitted 16 December, 2016;
originally announced December 2016.
-
Bounds for the traveling salesman paths of two-dimensional modular lattices
Authors:
Florian Pausinger
Abstract:
We present tight upper and lower bounds for the traveling salesman path through the points of two-dimensional modular lattices. We use these results to bound the traveling salesman path of two-dimensional Kronecker point sets. Our results rely on earlier work on shortest vectors in lattices as well as on the strong convergence of Jacobi-Perron type algorithms.
We present tight upper and lower bounds for the traveling salesman path through the points of two-dimensional modular lattices. We use these results to bound the traveling salesman path of two-dimensional Kronecker point sets. Our results rely on earlier work on shortest vectors in lattices as well as on the strong convergence of Jacobi-Perron type algorithms.
△ Less
Submitted 9 June, 2016;
originally announced June 2016.
-
On functions of bounded variation
Authors:
Christoph Aistleitner,
Florian Pausinger,
Anne Marie Svane,
Robert F. Tichy
Abstract:
The recently introduced concept of $\mathcal{D}$-variation unifies previous concepts of variation of multivariate functions. In this paper, we give an affirmative answer to the open question from Pausinger \& Svane (J. Complexity, 2014) whether every function of bounded Hardy--Krause variation is Borel measurable and has bounded $\mathcal{D}$-variation. Moreover, we show that the space of function…
▽ More
The recently introduced concept of $\mathcal{D}$-variation unifies previous concepts of variation of multivariate functions. In this paper, we give an affirmative answer to the open question from Pausinger \& Svane (J. Complexity, 2014) whether every function of bounded Hardy--Krause variation is Borel measurable and has bounded $\mathcal{D}$-variation. Moreover, we show that the space of functions of bounded $\mathcal{D}$-variation can be turned into a commutative Banach algebra.
△ Less
Submitted 10 June, 2016; v1 submitted 15 October, 2015;
originally announced October 2015.
-
On the Discrepancy of Jittered Sampling
Authors:
Florian Pausinger,
Stefan Steinerberger
Abstract:
We study the discrepancy of jittered sampling sets: such a set $\mathcal{P} \subset [0,1]^d$ is generated for fixed $m \in \mathbb{N}$ by partitioning $[0,1]^d$ into $m^d$ axis aligned cubes of equal measure and placing a random point inside each of the $N = m^d$ cubes. We prove that, for $N$ sufficiently large,…
▽ More
We study the discrepancy of jittered sampling sets: such a set $\mathcal{P} \subset [0,1]^d$ is generated for fixed $m \in \mathbb{N}$ by partitioning $[0,1]^d$ into $m^d$ axis aligned cubes of equal measure and placing a random point inside each of the $N = m^d$ cubes. We prove that, for $N$ sufficiently large, $$ \frac{1}{10}\frac{d}{N^{\frac{1}{2} + \frac{1}{2d}}} \leq \mathbb{E} D_N^*(\mathcal{P}) \leq \frac{\sqrt{d} (\log{N})^{\frac{1}{2}}}{N^{\frac{1}{2} + \frac{1}{2d}}},$$ where the upper bound with an unspecified constant $C_d$ was proven earlier by Beck. Our proof makes crucial use of the sharp Dvoretzky-Kiefer-Wolfowitz inequality and a suitably taylored Bernstein inequality; we have reasons to believe that the upper bound has the sharp scaling in $N$. Additional heuristics suggest that jittered sampling should be able to improve known bounds on the inverse of the star-discrepancy in the regime $N \gtrsim d^d$. We also prove a partition principle showing that every partition of $[0,1]^d$ combined with a jittered sampling construction gives rise to a set whose expected squared $L^2-$discrepancy is smaller than that of purely random points.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
Local Extrema in Quantum Chaos
Authors:
Florian Pausinger,
Stefan Steinerberger
Abstract:
We numerically investigate the distribution of extrema of 'chaotic' Laplacian eigenfunctions on two-dimensional manifolds. Our contribution is two-fold: (a) we count extrema on grid graphs with a small number of randomly added edges and show the behavior to coincide with the 1957 prediction of Longuet-Higgins for the continuous case and (b) compute the regularity of their spatial distribution usin…
▽ More
We numerically investigate the distribution of extrema of 'chaotic' Laplacian eigenfunctions on two-dimensional manifolds. Our contribution is two-fold: (a) we count extrema on grid graphs with a small number of randomly added edges and show the behavior to coincide with the 1957 prediction of Longuet-Higgins for the continuous case and (b) compute the regularity of their spatial distribution using \textit{discrepancy}, which is a classical measure from the theory of Monte Carlo integration. The first part suggests that grid graphs with randomly added edges should behave like two-dimensional surfaces with ergodic geodesic flow; in the second part we show that the extrema are more regularly distributed in space than the grid $\mathbb{Z}^2$.
△ Less
Submitted 7 December, 2014; v1 submitted 18 June, 2014;
originally announced June 2014.
-
Uniformly distributed sequences in the orthogonal group and on the Grassmannian manifold
Authors:
Florian Pausinger
Abstract:
Quasi-Monte Carlo methods replaced classical Monte Carlo methods in many areas of numerical analysis over the last decades. The purpose of this paper is to extend quasi-Monte Carlo methods into a new direction. We construct and implement a uniformly distributed sequence in the orthogonal group O(n). From this sequence we obtain a uniformly distributed sequence on the Grassmannian manifold…
▽ More
Quasi-Monte Carlo methods replaced classical Monte Carlo methods in many areas of numerical analysis over the last decades. The purpose of this paper is to extend quasi-Monte Carlo methods into a new direction. We construct and implement a uniformly distributed sequence in the orthogonal group O(n). From this sequence we obtain a uniformly distributed sequence on the Grassmannian manifold $G(n,k)$, which we use to approximate integral-geometric formulas. We show that our algorithm compares well with classical random constructions and, thus, motivate various directions for future research.
△ Less
Submitted 17 September, 2014; v1 submitted 16 May, 2014;
originally announced May 2014.