We (J. Baldeaux, J.D., F. Pillichshammer) just submitted a manuscript on Duality Theory and Propagation Rules for Higher Order Nets (you can download the manuscript by clicking on the title). In a nutshell, propagation rules are methods to construct, from given nets with some given parameters, new nets with at least one parameter different from the given nets. Duality theory on the other hand is the vehicle which allows us to analyse those propagation rules. It is an analytic description (using Walsh functions in our case) of the geometric properties of nets.

The manuscript is a continuation of the paper with P. Kritzer on Duality Theory and Propagation Rules for Generalized Digital Nets [44]. (Note that in some papers the notion `generalized (digital) net’ was used instead of the term `(digital) higher order net’.) The difference is that we do not assume that the point sets are constructed by the digital construction scheme.

Most propagation rules for classical -nets have a higher order analogue. This applies to digital as well as geometric nets. Additionally there are also some further propagation rules which do not exist for classical nets (for example the higher order to higher order construction). The higher order to higher order propagation rule is, as of now, still the only method to obtain higher order nets from classical nets. Fortunately it works in the digital as well as geometric case.

**1. A subnet propagation rule for digital higher order nets **

We give an example of a propagation rule in the following. In the classical case there is a propagation rule which states that:

- If there exists a (digital) -net in base (over ), then for any there exists a (digital) -net in base (over ).

A reference to the original result and the proof of this statement can be found in the book [B1], Lemma 4.17 on page 138 for the geometric case and Theorem 4.60 on page 173 for the digital case.

Let be the generating matrices of a digital higher order net in the sense of Definition 4.3 in [31].

Definition 1Let be natural numbers, let be a real number and let be a natural number. Let be the finite field of order and let with . If for all , withthe vectors

are linearly independent over , then the digital net with generating matrices is called a digital -net over .

We are interested in cases where . Informally we refer to such nets as digital higher order nets.

We now want to show that the subnet propagation rule applies for digital -nets with generating matrices . First note that Lemma 4.61, p. 173 in the book [B1], applies also for digital higher order nets.

Lemma 4.62 does not apply directly since it demands that the first rows of the generating matrices are linearly independent. This is not necessarily true and, as in the classical case, one cannot easily make the first rows linearly independent.

Let be the generating matrices of a digital -net. We can apply Theorem 4.11 in [31] for each generating matrix individually. We have that each generates a digital -net.

Let be the largest integer such that the first rows of are linearly independent and let . Let be the largest integer such that for with we have

From this we obtain

By the linear independence property of Definition 1 it follows that the first rows of are linearly independent. Hence the generating matrices of a digital -net each satisfy that the first rows are linearly independent. Hence

Lemma 2Let be the generating matrices of a digital -net over . Let denote the largest integer such that the first rows of are linearly independent and let . Then

If one uses the construction of [31] based on a digital -net, then the generating matrices obtained this way satisfy . In fact, it suffices if the projection onto the first coordinates of the underlying classical digital net have , since then and therefore .

Let be the generating matrices of a digital -net over . Assume that the first rows of are linearly independent. Then we can multiply with a matrix , , such that the first rows of are given by , , and so on.

Let and let be the left upper submatrix of for and be the left lower submatrix of . We have the following theorem.

Theorem 3Let be the generating matrices of a digital -net over where . Assume that the first rows of are linearly independent. Let be an integer and define as above. Then generate a digital -net over where

*Proof:* The proof follows along the same lines as the proof of Theorem 4.60, p. 174, in the book [B1]. We choose for such that

We need to show that the rows of corresponding to the as in Definition 1 are linearly independent.

Arrange the rows of , where , with the left part being the rows of apart from the rows of zeroes, as in the proof of Theorem 4.60. For and let . For let for and for . For let for . Let if and let if .

Then, the digital -net property of the digital higher order net with generating matrices implies that the rows corresponding to are linearly independent whenever

When the rows of corresponding to are linearly independent, then the rows of corresponding to are linearly independent. Hence it suffices to show that (2) holds.

Equation (1) implies that

Hence the corresponding rows of are linearly independent and therefore the result follows.

Theorem 3 implies the classical case where and , since there we can assume that . (Note that if we obtain a -net, which always holds.)

For small the result only shows that . This happens if . Hence Theorem 3 is only useful if

On the other hand, Lemma 2 implies that

Hence Theorem 3 covers all relevant cases.

Corollary 4 (Propagation Rule XV)Let be the generating matrices of a digital -net over where . Let be an integer and define as above. Then generate a digital -net over where

Pingback: Construction Algorithms for Higher Order Polynomial Lattice Rules « Quasi-Random Ideas. By Josef Dick.