## Abstract

We study the extreme \(L_p\) discrepancy of infinite sequences in the *d*-dimensional unit cube, which uses arbitrary sub-intervals of the unit cube as test sets. This is in contrast to the classical star \(L_p\) discrepancy, which uses exclusively intervals that are anchored in the origin as test sets. We show that for any dimension *d* and any \(p>1\), the extreme \(L_p\) discrepancy of every infinite sequence in \([0,1)^d\) is at least of order of magnitude \((\log N)^{d/2}\), where *N* is the number of considered initial terms of the sequence. For \(p \in (1,\infty )\), this order of magnitude is best possible.

### Similar content being viewed by others

## 1 Introduction

Let \({\mathcal {P}}=\{{\varvec{x}}_0,{\varvec{x}}_1,\ldots ,{\varvec{x}}_{N-1}\}\) be an arbitrary *N*-element point set in the *d*-dimensional unit cube \([0,1)^d\). For any measurable subset *B* of \([0,1]^d\), the *counting function*

counts the number of elements from \({\mathcal {P}}\) that belong to the set *B*. The *local discrepancy* of \({\mathcal {P}}\) with respect to a given measurable “test set” *B* is then given by

where \(\lambda \) denotes the Lebesgue measure of *B*. A global discrepancy measure is then obtained by considering a norm of the local discrepancy with respect to a fixed class of test sets.

In the following, let \(p \in [1,\infty )\).

The classical *(star)* \(L_p\) *discrepancy* uses as test sets the class of axis-parallel rectangles contained in the unit cube that are anchored in the origin. The formal definition is

where for \({\varvec{t}}=(t_1,t_2,\ldots ,t_d)\in [0,1]^d\), we set \([{\varvec{0}},{\varvec{t}})=[0,t_1)\times [0,t_2)\times \cdots \times [0,t_d)\) with volume \(\lambda ([{\varvec{0}},{\varvec{t}}))=t_1t_2\cdots t_d\).

The *extreme* \(L_p\) *discrepancy* uses as test sets arbitrary axis-parallel rectangles contained in the unit cube. For \({\varvec{u}}=(u_1,u_2,\ldots ,u_d)\) and \({\varvec{v}}=(v_1,v_2,\ldots ,v_d)\) in \([0,1]^d\) and \({\varvec{u}}\le {\varvec{v}}\), let \([{\varvec{u}},{\varvec{v}})=[u_1,v_1)\times [u_2,v_2) \times \cdots \times [u_d,v_d)\), where \({\varvec{u}}\le {\varvec{v}}\) means \(u_j\le v_j\) for all \(j \in \{1,2,\ldots ,d\}\). Obviously, \(\lambda ([{\varvec{u}},{\varvec{v}}))=\prod _{j=1}^d (v_j-u_j)\). The extreme \(L_p\) discrepancy of \({\mathcal {P}}\) is then defined as

Note that the only difference between the standard and the extreme \(L_p\) discrepancy is the use of anchored and arbitrary rectangles in \([0,1]^d\), respectively.

For an infinite sequence \({\mathcal {S}}_d\) in \([0,1)^d\), the star and the extreme \(L_p\) discrepancies \(L_{p,N}^{\bullet }({\mathcal {S}}_d)\) are defined as \(L_{p,N}^{\bullet }({\mathcal {P}}_{d,N})\), \(N \in {\mathbb {N}}\), of the point set \({\mathcal {P}}_{d,N}\) consisting of the initial *N* terms of \({\mathcal {S}}_d\), where \(\bullet \in \{\mathrm{star},\mathrm{extr}\}\).

Of course, with the usual adaptions the above definitions can be extended also to the case \(p=\infty \). However, it is well known that in this case the star and extreme \(L_{\infty }\) discrepancies are equivalent in the sense that \(L_{\infty ,N}^{\mathrm{star}}({\mathcal {P}}) \le L_{\infty ,N}^{\mathrm{extr}}({\mathcal {P}}) \le 2^d L_{\infty ,N}^{\mathrm{star}}({\mathcal {P}})\) for every *N*-element point set \({\mathcal {P}}\) in \([0,1)^d\). For this reason, we restrict the following discussion to the case of finite *p*.

Recently it has been shown that the extreme \(L_p\) discrepancy is dominated – up to a multiplicative factor that depends only on *p* and *d* – by the star \(L_p\) discrepancy (see [21, Corollary 5]), i.e., for every \(d \in {\mathbb {N}}\) and \(p \in [1,\infty )\), there exists a positive quantity \(c_{d,p}\) such that for every \(N \in {\mathbb {N}}\) and every *N*-element point set in \([0,1)^d\), we have

For \(p=2\), we even have \(c_{d,2}=1\) for all \(d \in {\mathbb {N}}\); see [17, Theorem 5]. A corresponding estimate the other way round is in general not possible (see [17, Section 3]). So, in general, the star and the extreme \(L_p\) discrepancy for \(p< \infty \) are not equivalent, which is in contrast to the \(L_{\infty }\)-case.

**Bounds for finite point sets.** For finite point sets, the order of magnitude of the considered discrepancies is more or less known. For every \(p \in (1,\infty )\) and \(d \in {\mathbb {N}}\), there exists a \(c_{p,d}>0\) such that for every finite *N*-element point set \({\mathcal {P}}\) in \([0,1)^d\) with \(N \ge 2\), we have

For the star \(L_p\) discrepancy, the result for \(p \ge 2\) is a celebrated result by Roth [29] from 1954 that was extended later by Schmidt [31] to the case \(p \in (1,2)\). For the extreme \(L_p\) discrepancy, the result for \(p \ge 2\) was first given in [17, Theorem 6] and for \(p \in (1,2)\), in [21]. Halász [15] for the star discrepancy and the authors [21] for the extreme discrepancy proved that the lower bound is even true for \(p=1\) and \(d=2\), i.e., there exists a positive number \(c_{1,2}\) with the following property: for every *N*-element \({\mathcal {P}}\) in \([0,1)^2\) with \(N \ge 2\), we have

On the other hand, it is known that for every \(d,N \in {\mathbb {N}}\) and every \(p \in [1,\infty )\), there exist *N*-element point sets \({\mathcal {P}}\) in \([0,1)^d\) such that

(For \(f,g: D \subseteq {\mathbb {N}}\rightarrow {\mathbb {R}}^+\), we write \(f(N) \lesssim g(N)\) if there exists a positive number *C* such that \(f(N) \le C g(N)\) for all \(N \in D\). Possible implied dependencies of *C* are indicated as lower indices of the \(\lesssim \) symbol.)

Due to (1), the upper bound (3) even applies to the extreme \(L_p\) discrepancy. Hence, for \(p \in (1,\infty )\) and arbitrary \(d \in {\mathbb {N}}\) (and also for \(p=1\) and \(d=2\)), we have matching lower and upper bounds. The result in (3) was proved by Davenport [6] for \(p= 2\), \(d= 2\), by Roth [30] for \(p= 2\) and arbitrary *d* and finally by Chen [3] in the general case. Other proofs were found by Frolov [14], Chen [4], Dobrovol’skiĭ [12], Skriganov [32, 33], Hickernell and Yue [16], and Dick and Pillichshammer [9]. For more details on the early history of the subject, see the monograph [1]. Apart from Davenport, who gave an explicit construction in dimension \(d=2\), these results are pure existence results and explicit constructions of point sets were not known until the beginning of this millennium. First explicit constructions of point sets with optimal order of star \(L_2\) discrepancy in arbitrary dimensions have been provided in 2002 by Chen and Skriganov [5] for \(p=2\) and in 2006 by Skriganov [34] for general *p*. Other explicit constructions are due to Dick and Pillichshammer [11] for \(p=2\), and Dick [7] and Markhasin [23] for general *p*.

**Bounds for infinite sequences.** For the star \(L_p\) discrepancy, the situation is also more or less clear. Using a method from Proĭnov [25] (see also [10]), the results about lower bounds on star \(L_p\) discrepancy for finite sequences can be transferred to the following lower bounds for infinite sequences: for every \(p \in (1,\infty ]\) and every \(d \in {\mathbb {N}}\), there exists a \(C_{p,d}>0\) such that for every infinite sequence \({\mathcal {S}}_d\) in \([0,1)^d\),

For \(d=1\), the result holds also for the case \(p=1\), i.e., for every \({\mathcal {S}}\) in [0, 1), we have

Matching upper bounds on the star \(L_p\) discrepancy of infinite sequences have been shown in [11] (for \(p=2\)) and in [8] (for general *p*). For every \(d \in {\mathbb {N}}\), there exist infinite sequences \({\mathcal {S}}_d\) in \([0,1)^d\) such that for any \(p \in [1,\infty )\), we have

So far, the extreme \(L_p\) discrepancy of infinite sequences has not yet been studied. Obviously, due to (1), the upper bounds on the star \(L_p\) discrepancy also apply to the extreme \(L_p\) discrepancy. However, a similar reasoning for obtaining a lower bound is not possible. In this paper, we show that the lower bound (4) also holds true for the extreme \(L_p\) discrepancy. Thereby we prove that for fixed dimension *d* and for \(p\in (1,\infty )\), the minimal extreme \(L_p\) discrepancy is, like the star \(L_p\) discrepancy, of exact order of magnitude \((\log N)^{d/2}\) when *N* tends to infinity.

## 2 The result

We extend the lower bound (4) for the star \(L_p\) discrepancy of infinite sequences to extreme \(L_p\) discrepancy.

### Theorem 1

For every dimension \(d \in {\mathbb {N}}\) and any \(p>1\), there exists a real \(\alpha _{d,p} >0\) with the following property: For any infinite sequence \({\mathcal {S}}_d\) in \([0,1)^d\), we have

For \(d=1\), the results even holds true for the case \(p=1\).

For the proof, we require the following lemma. For the usual star discrepancy, this lemma goes back to Roth [29]. We require a similar result for the extreme discrepancy.

### Lemma 2

For \(d\in {\mathbb {N}}\), let \({\mathcal {S}}_d=({\varvec{y}}_k)_{k\ge 0}\), where \({\varvec{y}}_k=(y_{1,k},\ldots ,y_{d,k})\) for \(k \in {\mathbb {N}}_0\), be an arbitrary sequence in the *d*-dimensional unit cube with extreme \(L_p\) discrepancy \(L_{p,N}^{\mathrm{extr}}({\mathcal {S}}_d)\) for \(p \in [1,\infty ]\). Then for every \(N\in {\mathbb {N}}\), there exists an \(n \in \{1,2,\ldots ,N\}\) such that

with the adaption that \(2^{1/p}\) and \(2^{d/p}\) have to be set 1 if \(p =\infty \), where \({\mathcal {P}}_{N,d+1}\) is the finite point set in \([0,1)^{d+1}\) consisting of the *N* points

### Proof

We present the proof for finite *p*. For \(p=\infty \), the proof is similar.

Choose \(n \in \{1,2,\ldots ,N\}\) such that

Consider a sub-interval of the \((d+1)\)-dimensional unit cube of the form \(E=\prod _{i=1}^{d+1}[u_i,v_i)\) with \({\varvec{u}}=(u_1,u_2,\ldots ,u_{d+1}) \in [0,1)^{d+1}\) and \({\varvec{v}}\!=\!(v_1,v_2,\ldots ,v_{d+1}) \in [0,1)^{d+1}\) satisfying \({\varvec{u}}\le {\varvec{v}}\). Put \({\overline{m}}={\overline{m}}(v_{d+1}):=\lceil N v_{d+1}\rceil \) and \({\underline{m}}={\underline{m}}(u_{d+1}):=\lceil N u_{d+1}\rceil \). Then a point \({\varvec{x}}_k\), \(k \in \{0,1,\ldots , N-1\}\), belongs to *E* if and only if \({\varvec{y}}_k \in \prod _{i=1}^d[u_i,v_i)\) and \(N u_{d+1} \le k < N v_{d+1}\). Denoting \(E'=\prod _{i=1}^d[u_i,v_i)\), we have

and therefore

We obviously have \(|{\overline{m}}-N v_{d+1}| \le 1\), \(|{\underline{m}}-N u_{d+1}| \le 1\), and \(|\prod _{i=1}^d (v_i-u_i)| \le 1\). Hence

which yields

where the last step easily follows from the triangle-inequality for the \(L_p\)-semi-norm. For every \(u_{d+1},v_{d+1} \in [0,1]\), we have \(L_{{\overline{m}},p}^{\mathrm{extr}}({\mathcal {S}}_d) \le L_{n,p}^{\mathrm{extr}}({\mathcal {S}}_d)\) and \(L_{{\underline{m}},p}^{\mathrm{extr}}({\mathcal {S}}_d) \le L_{n,p}^{\mathrm{extr}}({\mathcal {S}}_d)\), respectively. Setting \({\varvec{u}}'=(u_1,\dots ,u_d)\) and \({\varvec{v}}'=(v_1,\dots ,v_d)\), we obtain

Likewise we also have

Also

Therefore we obtain

From here the result follows immediately. \(\square \)

Now we can give the proof of Theorem 1.

### Proof of Theorem 1

We use the notation from Lemma 2. For the extreme \(L_p\) discrepancy of the finite point set \({\mathcal {P}}_{N,d+1}\) in \([0,1)^{d+1}\), we obtain from [21, Corollary 4] (for \(d \in {\mathbb {N}}\) and \(p>1\)) and [21, Theorem 7] (for \(d=1\) and \(p=1\)) that

for some real \(c_{d+1,q}>0\) which is independent of *N*. Let \(\alpha _{d,p} \in (0,2^{\frac{1}{p}-1}c_{d+1,p})\) and let \(N \in {\mathbb {N}}\) be large enough such that

According to Lemma 2, there exists an \(n \in \{1,2,\ldots ,N\}\) such that

Thus we have shown that for every large enough \(N \in {\mathbb {N}}\), there exists an \(n \in \{1,2,\ldots ,N\}\) such that

It remains to show that (6) holds for infinitely many \(n \in {\mathbb {N}}\). Assume on the contrary that (6) holds for finitely many \(n \in {\mathbb {N}}\) only and let *m* be the largest integer with this property. Then choose \(N \in {\mathbb {N}}\) large enough such that

For this *N*, we can find an \(n \in \{1,2,\ldots ,N\}\) for which (5) and (6) hold true. However, (5) implies that \(n > m\) which leads to a contradiction since *m* is the largest integer such that (6) is true. Thus we have shown that (6) holds for infinitely many \(n \in {\mathbb {N}}\) and this completes the proof. \(\square \)

As already mentioned, there exist explicit constructions of infinite sequences \({\mathcal {S}}_d\) in \([0,1)^d\) with the property that

This result follows from (1) together with [8, Theorem 1.1]. These explicitly constructed sequences are so-called order 2 digital (*t*, *d*)-sequence over the finite field \({\mathbb {F}}_2\); see [8, Section 2.2]. The result (7) implies that the lower bound from Theorem 1 is best possible in the order of magnitude in *N* for fixed dimension *d*.

### Remark 3

Although the optimality of the lower bound in Theorem 1 is shown by means of matching upper bounds on the star \(L_p\) discrepancy, we point out that in general the extreme \(L_p\) discrepancy is really lower than the star \(L_p\) discrepancy. An easy example is the van der Corput sequence \({\mathcal {S}}^{\mathrm{vdC}}\) in dimension \(d=1\), whose extreme \(L_p\) discrepancy is of the optimal order of magnitude

but its star \(L_p\) discrepancy is only of order of magnitude \(\log N\) since

For a proof of (9), see, e.g., [2, 27] for \(p=2\) and [24] for general *p*. A proof of (8) can be given by means of a Haar series representation of the extreme \(L_p\) discrepancy as given in [21, Proposition 3, Eq. (9)]. One only requires good estimates for all Haar coefficients of the discrepancy function of the first *N* elements of the van der Corput sequence, but these can be found in [20]. Employing these estimates yields after some lines of algebra the optimal order result (8).

### Remark 4

The periodic \(L_p\) discrepancy is another type of discrepancy that is based on the class of periodic intervals modulo one as test sets; see [17, 21]. Denote it by \(L_{p,N}^{\mathrm{per}}\). The periodic \(L_p\) discrepancy dominates the extreme \(L_p\) discrepancy because the range of integration in the definition of the extreme \(L_p\) discrepancy is a subset of the range of integration in the definition of the periodic \(L_p\) discrepancy, as already noted in [17, Eq. (1)] for the special case \(p=2\). Furthermore, it is well known that the periodic \(L_2\) discrepancy, normalized by the number of elements of the point set, is equivalent to the diaphony, which was introduced by Zinterhof [35] and which is yet another quantitative measure for the irregularity of distribution; see [22, Theorem 1] or [18, p. 390]. For \({\mathcal {P}}=\{{\varvec{x}}_0,{\varvec{x}}_1,\ldots ,{\varvec{x}}_{N-1}\}\) in \([0,1)^d\), it is defined as

where for \({\varvec{h}}=(h_1,h_2,\ldots ,h_d)\in {\mathbb {Z}}^d\), we set \(r({\varvec{h}})= \prod _{j=1}^d \max (1,|h_j|)\). Now, for every \(p>1\) for every infinite sequence \({\mathcal {S}}_d\) in \([0,1)^d\), we have for infinitely many \(N \in {\mathbb {N}}\) the lower bound

Choosing \(p=2\), we obtain

Thus, there exists a positive \(C_d\) such that for every sequence \({\mathcal {S}}_d\) in \([0,1)^d\), we have

This result was first shown by Proĭnov [26] by means of a different reasoning. The publication [26] is only available in Bulgarian; a survey presenting the relevant result is published by Kirk [19]. At least in dimension \(d=1\), the lower bound (10) is best possible since, for example, \(F_N({\mathcal {S}}^{\mathrm{vdC}}) \lesssim \sqrt{\log N}/N\) for all \(N \in \mathbb {N} \setminus \{1\}\) as shown in [28] (see also [2, 13]). Note that this also yields another proof of (8) for the case \(p=2\). A corresponding result for dimensions \(d>1\) is yet missing.

## References

Beck, J., Chen, W.W.L.: Irregularities of Distribution. Cambridge University Press, Cambridge (1987)

Chaix, H., Faure, H.: Discrépance et diaphonie en dimension un. Acta Arith.

**63**, 103–141 (1993)Chen, W.W.L.: On irregularities of distribution. Mathematika

**27**, 153–170 (1981)Chen, W.W.L.: On irregularities of distribution II. Quart. J. Math. Oxford Ser. (2)

**34**, 257–279 (1983)Chen, W.W.L., Skriganov, M.M.: Explicit constructions in the classical mean squares problem in irregularities of point distribution. J. Reine Angew. Math.

**545**, 67–95 (2002)Davenport, H.: Note on irregularities of distribution. Mathematika

**3**, 131–135 (1956)Dick, J.: Discrepancy bounds for infinite-dimensional order two digital sequences over \({\mathbb{F}}_2\). J. Number Theory

**136**, 204–232 (2014)Dick, J., Hinrichs, A., Markhasin, M., Pillichshammer, F.: Optimal \(L_p\)-discrepancy bounds for second order digital sequences. Israel J. Math.

**221**(1), 489–510 (2017)Dick, J., Pillichshammer, F.: On the mean square weighted \(L_2\) discrepancy of randomized digital \((t, m, s)\)-nets over \({\mathbb{Z}}_2\). Acta Arith.

**117**, 371–403 (2005)Dick, J., Pillichshammer, F.: Explicit constructions of point sets and sequences with low discrepancy. In: Uniform Distribution and Quasi-Monte Carlo Methods, Radon Series on Computational and Applied Mathematics 15, De Gruyter, pp. 63–86 (2014)

Dick, J., Pillichshammer, F.: Optimal \({\cal{L}}_2\) discrepancy bounds for higher order digital sequences over the finite field \({\mathbb{F}}_2\). Acta Arith.

**162**, 65–99 (2014)Dobrovol’skiĭ, N.M.: An effective proof of Roth’s theorem on quadratic dispersion. Uspekhi Mat. Nauk

**39**, 155–156 (1984); English translation in Russian Mathematical Surveys**39**, 117–118 (1984)Faure, H.: Discrepancy and diaphony of digital \((0,1)\)-sequences in prime base. Acta Arith.

**117**(2), 125–148 (2005)Frolov, K.K.: Upper bound of the discrepancy in metric \(L_{p}\), \(2\le p<\infty \). Doklady Akademii Nauk SSSR

**252**, 805–807 (1980)Halász, G.: On Roth’s method in the theory of irregularities of point distributions. In: Recent Progress in Analytic Number Theory, Vol. 2, pp. 79–94. Academic Press, London-New York (1981)

Hickernell, F.J., Yue, R.-X.: The mean square discrepancy of scrambled \((t, s)\)-sequences. SIAM J. Numer. Anal.

**38**, 1089–1112 (2000)Hinrichs, A., Kritzinger, R., Pillichshammer, F.: Extreme and periodic \(L_2\) discrepancy of plane point sets. Acta Arith.

**199**(2), 163–198 (2021)Hinrichs, A., Oettershagen, J.: Optimal point sets for quasi-Monte Carlo integration of bivariate periodic functions with bounded mixed derivatives. In: Monte Carlo and quasi-Monte Carlo methods, pp. 385–405, Springer Proc. Math. Stat., 163. Springer, Cham (2016)

Kirk, N.: On Proinov‘s lower bound for the diaphony. Unif. Distrib. Theory

**15**(2), 39–72 (2020)Kritzinger, R., Pillichshammer, F.: \(L_p\)-discrepancy of the symmetrized van der Corput sequence. Arch. Math. (Basel)

**104**, 407–418 (2015)Kritzinger, R., Pillichshammer, F.: Point sets with optimal order of extreme and periodic discrepancy. Submitted for publication (2021). arXiv:2109.05781

Lev, V.F.: On two versions of \(L^2\)-discrepancy and geometrical interpretation of diaphony. Acta Math. Hungar.

**69**(4), 281–300 (1995)Markhasin, L.: \(L_p\)- and \(S_{p, q}^rB\)-discrepancy of (order \(2\)) digital nets. Acta Arith.

**168**, 139–159 (2015)Pillichshammer, F.: On the discrepancy of \((0,1)\)-sequences. J. Number. Theory

**104**, 301–314 (2004)Proinov, P.D.: On irregularities of distribution. C. R. Acad. Bulgare Sci.

**39**, 31–34 (1986)Proinov, P.D.: Quantitative Theory of Uniform Distribution and Integral Approximation. University of Plovdiv, Bulgaria (2000) (in Bulgarian)

Proinov, P.D., Atanassov, E.Y.: On the distribution of the van der Corput generalized sequences. C. R. Acad. Sci. Paris Sér. I Math.

**307**, 895–900 (1988)Proinov, P.D., Grozdanov, V.S.: On the diaphony of the van der Corput-Halton sequence. J. Number Theory

**30**(1), 94–104 (1988)Roth, K.F.: On irregularities of distribution. Mathematika

**1**, 73–79 (1954)Roth, K.F.: On irregularities of distribution. IV. Acta Arith.

**37**, 67–75 (1980)Schmidt, W.M.: Irregularities of distribution X. In: Number Theory and Algebra, pp. 311–329. Academic Press, New York, (1977)

Skriganov, M.M.: Lattices in algebraic number fields and uniform distribution mod \(1\). Algebra i Analiz

**1**(2), 207–228 (1989); English translation in Leningrad Math. J.**1**(2), 535–558 (1990)Skriganov, M.M.: Constructions of uniform distributions in terms of geometry of numbers. Algebra i Analiz

**6**(3), 200–230 (1994). English translation in St. Petersburg Math. J.**6**(3), 635–664 (1995)Skriganov, M.M.: Harmonic analysis on totally disconnected groups and irregularities of point distributions. J. Reine Angew. Math.

**600**, 25–49 (2006)Zinterhof, P.: Über einige Abschätzungen bei der Approximation von Funktionen mit Gleichverteilungsmethoden (German). Österr. Akad. Wiss. Math. Naturwiss. Kl. S.-B.

**II**(185), 121–132 (1976)

## Funding

Open access funding provided by Johannes Kepler University Linz.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The first author is supported by the Austrian Science Fund (FWF), Project F5509-N26, which is a part of the Special Research Program “Quasi-Monte Carlo Methods: Theory and Applications”.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Kritzinger, R., Pillichshammer, F. Exact order of extreme \(L_p\) discrepancy of infinite sequences in arbitrary dimension.
*Arch. Math.* **118**, 169–179 (2022). https://doi.org/10.1007/s00013-021-01688-9

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00013-021-01688-9