LatNet Builder Manual  2.0.1-11
Software Package for Constructing Highly Uniform Point Sets
LatBuilder::Norm::IB Class Reference

Bound on the interlaced \(B_{d, \gamma, (2)}\) discrepancy. More...

#include <IB.h>

Inherits LatBuilder::Norm::NormAlphaBase< IB >.

Public Member Functions

 IB (unsigned int alpha, const LatticeTester::Weights &weights, Real normType=2)
 Constructor. More...
 
template<LatticeType LR, EmbeddingType L>
Real value (Real lambda, const SizeParam< LR, L > &sizeParam, Dimension dimension, Real norm=1.0) const
 
std::string name () const
 
- Public Member Functions inherited from LatBuilder::Norm::NormAlphaBase< IB >
 NormAlphaBase (unsigned int alpha, Real normType)
 Constructor. More...
 
unsigned alpha () const
 
Real normType () const
 
Real minExp () const
 
Real maxExp () const
 
Real value (Real lambda, const SizeParam< LR, L > &sizeParam, Dimension dimension, Real norm=1.0) const
 Returns the value of the bound. More...
 
Real operator() (const SizeParam< LR, L > &sizeParam, Dimension dimension, Real norm=1.0) const
 Returns the smallest value of the bound for dimension dimension. More...
 
Real minimum (const SizeParam< LR, L > &sizeParam, Dimension dimension, Real norm) const
 Returns the minimum value of the bound function. More...
 

Additional Inherited Members

- Static Public Attributes inherited from LatBuilder::Norm::NormAlphaBase< IB >
static const unsigned MINIMIZER_MAX_ITER
 Maximum number of iterations to be used with the minimizer.
 
static const int MINIMIZER_PREC_BITS
 Relative precision on the minimum value to be used with the minimizer.
 

Detailed Description

Bound on the interlaced \(B_{d, \gamma, (2)}\) discrepancy.

This is the bound

\[ B_{d, \gamma, (2)}(\boldsymbol q_tau, p) \leq \frac{1}{(2^m - 1)^{1/\lambda}} \left[ \sum_{\emptyset \neq \mathfrak v \subseteq \{1, \dots, j_0 - 1 \}} \tilde{\gamma}_{\mathfrak v}^\lambda G_{d, \lambda, d, (2)}^{|\mathfrak v|} + G_{d, \lambda, d, (2)} \sum_{\mathfrak v \subseteq \{1, \dots, j_0 - 1 \}} \tilde{\gamma}_{\mathfrak v \cup \{j_0\}}^\lambda G_{d, \lambda, d, (2)}^{|\mathfrak v|} \right]^{1/\lambda}. \]

for \(1/d < \lambda \leq 1\), where we write \(j_0 = \lceil \tau / d \rceil\), \(d_0 = \tau - (j_0 - 1)d\) and

\[ G_{d, \lambda, a, (2)} = - 1 + \prod_{l = 1}^{a}(1 + 2^{\lambda (d-l)}\tilde{G}_{d, \lambda, (2)}), \]

for \(a = 1, \dots, d\), in which we define:

\[ \tilde{G}_{d, \lambda, (2)}) = \max \left\{ \left(\frac{1}{2^{\lambda d} - 2}\right)^{\lambda}, \frac{1}{2^{\lambda d} - 2} \right\}. \]

from Theorem 5. in [10] (with the minimization on \(\lambda\) step proposed in Algorithm 2 in [7]).

If the \(\gamma\) are POD weights, the computation of this bound boils down to:

\[ G_{d, \lambda, d_0, (2)} (\gamma_{j_0} \Gamma_1)^\lambda + \sum_{l = 1}^{j_0-1} \left(\Gamma_l^\lambda + G_{d, \lambda, d_0, (2)} (\gamma_{j_0} \Gamma_{l + 1})^\lambda e_l^{j_0-1}(G_{d, \lambda, d, (2)} \gamma_1^\lambda, \dots, G_{d, \lambda, d, (2)} \gamma_{j_0-1}^\lambda\right), \]

where \(e_{i}^n\) denotes the symmetric elementary polynomial of degree \(i\) with \(n\) variables.

Constructor & Destructor Documentation

◆ IB()

LatBuilder::Norm::IB::IB ( unsigned int  alpha,
const LatticeTester::Weights weights,
Real  normType = 2 
)

Constructor.

Parameters
alphaSmoothness level \(\alpha\) of the class of functions. Equals \( d \) for this normalizer.
weightsProjection-dependent weights \( \gamma_{\mathfrak u} \).
normTypeType of cross-projection norm used by the figure of merit.

The documentation for this class was generated from the following file: