Showing 1–50 of 90 results for author: Schmidt, K

The linear programming optimum for packings in classical association schemes

Authors: Kai-Uwe Schmidt, Charlene Weiß

Abstract: Association schemes are central objects in algebraic combinatorics, with the classical schemes lying at their core. These classical association schemes essentially consist of the Hamming and Johnson schemes, and their $q$-analogs: bilinear forms scheme, alternating bilinear forms scheme, Hermitian forms scheme, $q$-Johnson scheme, and polar space schemes. Each of them gives rise to a distance-regu… ▽ More Association schemes are central objects in algebraic combinatorics, with the classical schemes lying at their core. These classical association schemes essentially consist of the Hamming and Johnson schemes, and their $q$-analogs: bilinear forms scheme, alternating bilinear forms scheme, Hermitian forms scheme, $q$-Johnson scheme, and polar space schemes. Each of them gives rise to a distance-regular graph on a vertex set $X$, naturally endowed with the path metric. We study $d$-codes in these schemes, that is, subsets $Y$ of $X$ in which every pair of distinct elements has path distance at least $d$. A powerful tool for deriving upper bounds on the size of $d$-codes is the linear programming method. In the case of the Hamming and Johnson schemes, the linear program has been studied since the 1970s, but its optimum is still unknown. We determine the optimum of the linear program for nearly all classical association schemes distinct from the Hamming and Johnson schemes. This is achieved by constructing feasible solutions to both the primal and dual linear programs whose objective values coincide. As a corollary, we obtain upper bounds on $t$-intersecting sets in classical association schemes, providing new proofs of several known results and, in particular, improving earlier bounds on $t$-intersecting sets of generators in polar spaces. These results can be viewed as analogs of the classical Erdős-Ko-Rado Theorem in extremal set theory. Our proofs draw on techniques from algebraic combinatorics and the duality theory of linear programming. △ Less

Submitted 18 August, 2025; originally announced August 2025.

Comments: 70 pages

MSC Class: 05E30 (primary); 94B65; 90C05; 33C80 (secondary)

Restricted Permutations and Permanents of Infinite Amenable Groups

Authors: Hanfeng Li, Klaus Schmidt

Abstract: Let $Γ$ be an infinite discrete group and $\mathsf{A}\subset Γ$ a nonempty finite subset. The set of permutations $σ$ of $Γ$ such that $s^{-1}σ(s)\in \mathsf{A}$ for every $s\in Γ$ can be identified with a shift of finite type $X_\mathsf{A}\subset \mathsf{A}^Γ$ over $Γ$. In this paper we study dynamical properties of such shift spaces, like invariant probability measures, topological entropy, and… ▽ More Let $Γ$ be an infinite discrete group and $\mathsf{A}\subset Γ$ a nonempty finite subset. The set of permutations $σ$ of $Γ$ such that $s^{-1}σ(s)\in \mathsf{A}$ for every $s\in Γ$ can be identified with a shift of finite type $X_\mathsf{A}\subset \mathsf{A}^Γ$ over $Γ$. In this paper we study dynamical properties of such shift spaces, like invariant probability measures, topological entropy, and topological pressure, under the hypothesis that $Γ$ is amenable. In this case the topological entropy $\textrm{h}_{\textrm{top}}(X_\mathsf{A})$ can be expressed as logarithmic growth rate of permanents of certain finite (0,1)-matrices associated with right Følner sequences in $Γ$. Motivated by the difficulty of computing such permanents we introduce the notion of the permanent $\textrm{per}(f)$ for nonnegative elements $f$ in the real group ring $\mathbb{R}Γ$ of $Γ$ whose support is the alphabet $\mathsf{A}$ of the shift space $X_\mathsf{A}$, and compare, for arbitrary $f \in \mathbb{R}Γ$, the Fuglede-Kadison determinant $\textrm{det} _\textrm{FK}(f)$ with the permanent $\textrm{per}(|f|)$ of the absolute value $|f|$ of $f$. Although this approach is effective in only few examples, discussed below, it is interesting from a conceptual point of view that the permanent $\textrm{per}(f)$ of a nonnegative element $f\in \mathbb{R}Γ$ can be viewed as topological pressure of the restricted-permutation shift space $X_\mathsf{A}$ associated with the function $\log f$ on the alphabet $\mathsf{A}=\textrm{supp}(f)$ of $X_\mathsf{A}$. △ Less

Submitted 9 January, 2025; originally announced January 2025.

MSC Class: 37A15 (Primary) 37A20; 37A35; 37B10; 37B51 (Secondary)

Eigenvalue Bounds for Perturbed Periodic Dirac Operators

Authors: Ghada Shuker Jameel, Karl Michael Schmidt

Abstract: We characterise regions in the complex plane that contain all non-embedded eigenvalues of a perturbed periodic Dirac operator on the real line with real-valued periodic potential and a generally non-symmetric matrix-valued perturbation V . We show that the eigenvalues are located close to the end-points of the spectral bands for small V in L^1(R)^{2x2} , but only close to the spectral bands as a w… ▽ More We characterise regions in the complex plane that contain all non-embedded eigenvalues of a perturbed periodic Dirac operator on the real line with real-valued periodic potential and a generally non-symmetric matrix-valued perturbation V . We show that the eigenvalues are located close to the end-points of the spectral bands for small V in L^1(R)^{2x2} , but only close to the spectral bands as a whole for small V in L^p(R)^{2x2} , p > 1. As auxiliary results, we prove the relative compactness of matrix multiplication operators in L^{2p}(R)^{2x2} with respect to the periodic operator under minimal hypotheses, and find the asymptotic solution of the Dirac equation on a finite interval for spectral parameters with large imaginary part. △ Less

Submitted 16 October, 2024; originally announced October 2024.

MSC Class: 47B28; 34L40; 47A55; 81Q15

Transitivity in wreath products with symmetric groups

Authors: Lukas Klawuhn, Kai-Uwe Schmidt

Abstract: It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subset… ▽ More It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$. △ Less

Submitted 1 October, 2024; v1 submitted 30 September, 2024; originally announced September 2024.

Comments: 38 pages, added Acknowledgements

MSC Class: 05B99; 05E30; 20C99

On a multiscale formulation for multiperforated plates

Authors: Kersten Schmidt, Sven Pfaff

Abstract: Multiperforated plates exhibit high gradients and a loss of regularity concentrated in a boundary layer for which a direct numerical simulation becomes very expensive. For elliptic equations the solution at some distance of the boundary is only affected in an effective way and the macroscopic and mesoscopic behaviour can be separated. A multiscale formulation in the spirit of the heterogeneous mul… ▽ More Multiperforated plates exhibit high gradients and a loss of regularity concentrated in a boundary layer for which a direct numerical simulation becomes very expensive. For elliptic equations the solution at some distance of the boundary is only affected in an effective way and the macroscopic and mesoscopic behaviour can be separated. A multiscale formulation in the spirit of the heterogeneous multiscale method is introduced on the example of the Poisson equation. Based on the method of matched asymptotic expansion the solution is separated into a macroscopic far field defined in a domain with only slowly varying boundary and a mesoscopic near field defined in scaled coordinates on possibly varying infinite periodicity cells. The near field has a polynomial behaviour that is coupled to the traces of the macroscopic variable on the mid-line of the multiperforated plate. A variational formulation using a Beppo-Levi space in the strip is introduced and its well-posedness is shown. The variational framework when truncating the infinite strip is discussed and the truncation error is estimated. △ Less

Submitted 20 August, 2024; v1 submitted 2 July, 2024; originally announced July 2024.

Comments: mainly added more introductionary sentences to some sections and cited two-scale FEM of Matache & Schwab

MSC Class: 35C20; 35J25; 35B40; 41A60

Divisibility of Integer Laurent Polynomials, Homoclinic Points, and Lacunary Independence

Authors: Douglas Lind, Klaus Schmidt

Abstract: Let $f$, $p$, and $q$ be Laurent polynomials with integer coefficients in one or several variables, and suppose that $f$ divides $p+q$. We establish sufficient conditions to guarantee that $f$ individually divides $p$ and $q$. These conditions involve a bound on coefficients, a separation between the supports of $p$ and $q$, and, surprisingly, a requirement on the complex variety of $f$ called ato… ▽ More Let $f$, $p$, and $q$ be Laurent polynomials with integer coefficients in one or several variables, and suppose that $f$ divides $p+q$. We establish sufficient conditions to guarantee that $f$ individually divides $p$ and $q$. These conditions involve a bound on coefficients, a separation between the supports of $p$ and $q$, and, surprisingly, a requirement on the complex variety of $f$ called atorality satisfied by many but not all polynomials. Our proof involves a related dynamical system and the fundamental dynamical notion of homoclinic point. Without the atorality assumption our methods fail, and it is unknown whether our results hold without this assumption. △ Less

Submitted 15 April, 2024; v1 submitted 29 March, 2024; originally announced March 2024.

Comments: 8 pages

MSC Class: Primary: 37A15; 13F20; 37A44; Secondary: 37B40; 13F20

Designs in finite classical polar spaces

Authors: Michael Kiermaier, Kai-Uwe Schmidt, Alfred Wassermann

Abstract: Combinatorial designs have been studied for nearly 200 years. 50 years ago, Cameron, Delsarte, and Ray-Chaudhury started investigating their $q$-analogs, also known as subspace designs or designs over finite fields. Designs can be defined analogously in finite classical polar spaces, too. The definition includes the $m$-regular systems from projective geometry as the special case where the block… ▽ More Combinatorial designs have been studied for nearly 200 years. 50 years ago, Cameron, Delsarte, and Ray-Chaudhury started investigating their $q$-analogs, also known as subspace designs or designs over finite fields. Designs can be defined analogously in finite classical polar spaces, too. The definition includes the $m$-regular systems from projective geometry as the special case where the blocks are generators of the polar space. The first nontrivial such designs for $t > 1$ were found by De Bruyn and Vanhove in 2012, and some more designs appeared recently in the PhD thesis of Lansdown. In this article, we investigate the theory of classical and subspace designs for applicability to designs in polar spaces, explicitly allowing arbitrary block dimensions. In this way, we obtain divisibility conditions on the parameters, derived and residual designs, intersection numbers and an analog of Fisher's inequality. We classify the parameters of symmetric designs. Furthermore, we conduct a computer search to construct designs of strength $t=2$, resulting in designs for more than 140 previously unknown parameter sets in various classical polar spaces over $\mathbb{F}_2$ and $\mathbb{F}_3$. △ Less

Submitted 20 March, 2024; v1 submitted 17 March, 2024; originally announced March 2024.

A common generalization of hypercube partitions and ovoids in polar spaces

Authors: Jozefien D'haeseleer, Ferdinand Ihringer, Kai-Uwe Schmidt

Abstract: We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). O… ▽ More We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 10 pages

Intrinsic Ergodicity, Generators and Symbolic Representations of Algebraic Group Actions

Authors: Hanfeng Li, Klaus Schmidt

Abstract: We construct natural symbolic representations of intrinsically ergodic, but not necessarily expansive, principal algebraic actions of countably infinite amenable groups and use these representations to find explicit generating partitions (up to null-sets) for such actions We construct natural symbolic representations of intrinsically ergodic, but not necessarily expansive, principal algebraic actions of countably infinite amenable groups and use these representations to find explicit generating partitions (up to null-sets) for such actions △ Less

Submitted 18 November, 2023; originally announced November 2023.

Comments: 26 pages

MSC Class: 37A20 (Primary) 37A15; 37A35; 37B10 (Secondary)

Multifactorisations and Divisor Functions

Authors: Ambrose D. Law, Matthew C. Lettington, Karl Michael Schmidt

Abstract: We consider a joint ordered multifactorisation for a given positive integer $n\geq 2$ into $m$ parts, where $n=n_1~\times~\ldots~\times~n_m$, and each part $n_j$ is split into one or more component factors. Our central result gives an enumeration formula for all such joint ordered multifactorisations $\mathcal{N}_m(n)$. As an illustrative application, we show how each such factorisation can be use… ▽ More We consider a joint ordered multifactorisation for a given positive integer $n\geq 2$ into $m$ parts, where $n=n_1~\times~\ldots~\times~n_m$, and each part $n_j$ is split into one or more component factors. Our central result gives an enumeration formula for all such joint ordered multifactorisations $\mathcal{N}_m(n)$. As an illustrative application, we show how each such factorisation can be used to uniquely construct and so count the number of distinct additive set systems (historically referred to as complementing set systems). These set systems under set addition generate the first $n$ non-negative consecutive integers uniquely and, when each component set is centred about 0, exhibit algebraic invariances. For fixed integers $n$ and $m$, invariance properties for $\mathcal{N}_m(n)$ are established. The formula for $\mathcal{N}_m(n)$ is comprised of sums over associated divisor functions and the Stirling numbers of the second kind, and we conclude by deducing sum over divisor relations for our counting function $\mathcal{N}_m(n)$. △ Less

Submitted 19 August, 2025; v1 submitted 21 March, 2023; originally announced March 2023.

MSC Class: 11B13; 11E25; 11B25; 11B30; 11A51

U-statistics of local sample moments under weak dependence

Authors: Herold G. Dehling, Davide Giraudo, Sara K. Schmidt

Abstract: In this paper, we study the asymptotic distribution of some U-statistics whose entries are functions of empirical moments computed from non-overlapping consecutive blocks of an underlying weakly dependent process. The length of these blocks converges to infinity, and thus we consider U-statistics of triangular arrays. We establish asymptotic normality of such U-statistics. The results can be used… ▽ More In this paper, we study the asymptotic distribution of some U-statistics whose entries are functions of empirical moments computed from non-overlapping consecutive blocks of an underlying weakly dependent process. The length of these blocks converges to infinity, and thus we consider U-statistics of triangular arrays. We establish asymptotic normality of such U-statistics. The results can be used to construct tests for changes of higher order moments. △ Less

Submitted 11 September, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Journal ref: ALEA Lat. Am. J. Probab. Math. Stat.20(2023)

Transitivity in finite general linear groups

Authors: Alena Ernst, Kai-Uwe Schmidt

Abstract: It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural char… ▽ More It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Comments: 28 pages

MSC Class: 05B99; 05E30; 20C33

Linear codes associated with the Desarguesian ovoids in $Q^+(7,q)$

Authors: Tao Feng, Michael Kiermaier, Peixian Lin, Kai-Uwe Schmidt

Abstract: The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to… ▽ More The Desarguesian ovoids in the orthogonal polar space $Q^+(7,q)$ with $q$ even have first been introduced by Kantor by examining the $8$-dimensional absolutely irreducible modular representations of $\text{PGL}(2,q^3)$. We investigate this module for all prime power values of $q$. The shortest $\text{PGL}(2,q^3)$-orbit $O$ gives the Desarguesian ovoid in $Q^+(7,q)$ for even $q$ and it is known to give a complete partial ovoid of the symplectic polar space $W(7,q)$ for odd~$q$. We determine the hyperplane sections of $O$. As a corollary, we obtain the parameters $[q^3+1,8,q^3-q^2-q]_q$ and the weight distribution of the associated $\mathbb{F}_q$-linear code $C_O$ and the parameters $[q^3+1,q^3-7,5]_q$ of the dual code $C_O^\perp$ for $q \ge 4$. We also show that both codes $C_O$ and $C_O^\perp$ are length-optimal for all prime power values of $q$. △ Less

Submitted 26 August, 2022; originally announced August 2022.

Intersection theorems for finite general linear groups

Authors: Alena Ernst, Kai-Uwe Schmidt

Abstract: A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser… ▽ More A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser of a basis of a $t$-dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\operatorname{GL}(n,q)$ that intersect not necessarily pointwise in $t$-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erdős-Ko-Rado Theorem in extremal set theory and are $q$-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$. △ Less

Submitted 2 February, 2023; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 34 pages, minor changes

MSC Class: 05D99 (Primary); 05E30; 20C33 (Secondary)

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.

Comments: 25 pages; this revision contains a strengthened version of Cor. 3.4, and also small changes taking into account referee comments

Continuum limits for discrete Dirac operators on 2D square lattices

Authors: Karl Michael Schmidt, Tomio Umeda

Abstract: We discuss the continuum limit of discrete Dirac operators on the square lattice in $\mathbb R^2$ as the mesh size tends to zero. To this end, we propose the most natural and simplest embedding of $\ell^2(\mathbb Z_h^d)$ into $L^2(\mathbb R^d)$, which enables us to compare the discrete Dirac operators with the continuum Dirac operators in the same Hilbert space $L^2(\mathbb R^2)^2$. In particular,… ▽ More We discuss the continuum limit of discrete Dirac operators on the square lattice in $\mathbb R^2$ as the mesh size tends to zero. To this end, we propose the most natural and simplest embedding of $\ell^2(\mathbb Z_h^d)$ into $L^2(\mathbb R^d)$, which enables us to compare the discrete Dirac operators with the continuum Dirac operators in the same Hilbert space $L^2(\mathbb R^2)^2$. In particular, we prove that the discrete Dirac operators converge to the continuum Dirac operators in the strong resolvent sense. Potentials are assumed to be bounded and uniformly continuous functions on $\mathbb R^2$ and allowed to be complex matrix-valued. We also prove that the discrete Dirac operators do not converge to the continuum Dirac operators in the norm resolvent sense. This is closely related to the observation that the Liouville theorem does not hold in discrete complex analysis. △ Less

Submitted 18 May, 2023; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 29 pages

MSC Class: Primary 47A10; Secondary 47B37; 47B93

Journal ref: Analysis and Mathematical Physics volume 13, Article number: 46 (2023)

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.

Comments: 11 pages; this revision contains a corrected version of Theorem 1, and small changes taking into account referee comments

Detecting changes in the trend function of heteroscedastic time series

Authors: Sara Kristin Schmidt

Abstract: We propose a new asymptotic test to assess the stationarity of a time series' mean that is applicable in the presence of both heteroscedasticity and short-range dependence. Our test statistic is composed of Gini's mean difference of local sample means. To analyse its asymptotic behaviour, we develop new limit theory for U-statistics of strongly mixing triangular arrays under non-stationarity. Most… ▽ More We propose a new asymptotic test to assess the stationarity of a time series' mean that is applicable in the presence of both heteroscedasticity and short-range dependence. Our test statistic is composed of Gini's mean difference of local sample means. To analyse its asymptotic behaviour, we develop new limit theory for U-statistics of strongly mixing triangular arrays under non-stationarity. Most importantly, we show asymptotic normality of the test statistic under the hypothesis of a constant mean and prove the test's consistency against a very general class of alternatives, including both smooth and abrupt changes in the mean. We propose estimators for all parameters involved, including an adapted subsampling estimator for the long run variance, and show their consistency. Our procedure is practically evaluated in an extensive simulation study and in two data examples. △ Less

Submitted 20 August, 2021; originally announced August 2021.

MSC Class: Primary 62G10; secondary 62M10; 60F05

Decimation limits of principal algebraic $\mathbb{Z}^d$-actions

Authors: Elizaveta Arzhakova, Douglas Lind, Klaus Schmidt, Evgeny Verbitskiy

Abstract: Let $f$ be a Laurent polynomial in $d$ commuting variables with integer coefficients. Associated to $f$ is the principal algebraic $\mathbb{Z}^d$-action $α_f$ on a compact subgroup $X_f$ of $\mathbb{T}^{\mathbb{Z}^d}$ determined by $f$. Let $N\ge1$ and restrict points in $X_f$ to coordinates in $N\mathbb{Z}^d$. The resulting algebraic $N\mathbb{Z}^d$-action is again principal, and is associated to… ▽ More Let $f$ be a Laurent polynomial in $d$ commuting variables with integer coefficients. Associated to $f$ is the principal algebraic $\mathbb{Z}^d$-action $α_f$ on a compact subgroup $X_f$ of $\mathbb{T}^{\mathbb{Z}^d}$ determined by $f$. Let $N\ge1$ and restrict points in $X_f$ to coordinates in $N\mathbb{Z}^d$. The resulting algebraic $N\mathbb{Z}^d$-action is again principal, and is associated to a polynomial $g_N$ whose support grows with $N$ and whose coefficients grow exponentially with $N$. We prove that by suitably renormalizing these decimations we can identify a limiting behavior given by a continuous concave function on the Newton polytope of $f$, and show that this decimation limit is the negative of the Legendre dual of the Ronkin function of $f$. In certain cases with two variables, the decimation limit coincides with the surface tension of random surfaces related to dimer models, but the statistical physics methods used to prove this are quite different and depend on special properties of the polynomial. △ Less

Submitted 22 August, 2022; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: 33 pages with 8 figures. An informal account, with background and motivation, in contained in a talk by Lind that can be viewed at https://www.youtube.com/watch?v=jT2OQifgldk&t=120s

MSC Class: 37A15; 37A35; 37A44; 13F20

Bohr chaoticity of principal algebraic actions and Riesz product measures

Authors: Aihua Fan, Klaus Schmidt, Evgeny Verbitskiy

Abstract: For a continuous $\mathbb{N}^d$ or $\mathbb{Z}^d$ action on a compact space, we introduce the notion of Bohr chaoticity, which is an invariant of topological conjugacy and which is proved stronger than having positive entropy. We prove that all principal algebraic $\mathbb{Z}$ actions of positive entropy are Bohr-chaotic. The same is proved for principal algebraic $\mathbb{Z}^d$ ($d\ge 2$) actions… ▽ More For a continuous $\mathbb{N}^d$ or $\mathbb{Z}^d$ action on a compact space, we introduce the notion of Bohr chaoticity, which is an invariant of topological conjugacy and which is proved stronger than having positive entropy. We prove that all principal algebraic $\mathbb{Z}$ actions of positive entropy are Bohr-chaotic. The same is proved for principal algebraic $\mathbb{Z}^d$ ($d\ge 2$) actions of positive entropy under the condition of existence of summable homoclinic points. △ Less

Submitted 6 March, 2024; v1 submitted 8 March, 2021; originally announced March 2021.

MSC Class: 37B02; 42A55

Integer matrix factorisations, superalgebras and the quadratic form obstruction

Authors: Nicholas J. Higham, Matthew C. Lettington, Karl Michael Schmidt

Abstract: We identify and analyse obstructions to factorisation of integer matrices into products $N^T N$ or $N^2$ of matrices with rational or integer entries. The obstructions arise as quadratic forms with integer coefficients and raise the question of the discrete range of such forms. They are obtained by considering matrix decompositions over a superalgebra. We further obtain a formula for the determina… ▽ More We identify and analyse obstructions to factorisation of integer matrices into products $N^T N$ or $N^2$ of matrices with rational or integer entries. The obstructions arise as quadratic forms with integer coefficients and raise the question of the discrete range of such forms. They are obtained by considering matrix decompositions over a superalgebra. We further obtain a formula for the determinant of a square matrix in terms of adjugates of these matrix decompositions, as well as identifying a $\it co-Latin$ symmetry space. △ Less

Submitted 6 March, 2021; originally announced March 2021.

Comments: 20 Pages

MSC Class: 15A23; 15CA30; 11H55; 05B15

The inverse problem for a spectral asymmetry function of the Schrödinger operator on a finite interval

Authors: B. Malcolm Brown, Karl Michael Schmidt, Stephen P. Shipman, Ian Wood

Abstract: For the Schrödinger equation $-d^2 u/dx^2 + q(x)u = λu$ on a finite $x$-interval, there is defined an "asymmetry function" $a(λ;q)$, which is entire of order $1/2$ and type $1$ in $λ$. Our main result identifies the classes of square-integrable potentials $q(x)$ that possess a common asymmetry function. For any given $a(λ)$, there is one potential for each Dirichlet spectral sequence. For the Schrödinger equation $-d^2 u/dx^2 + q(x)u = λu$ on a finite $x$-interval, there is defined an "asymmetry function" $a(λ;q)$, which is entire of order $1/2$ and type $1$ in $λ$. Our main result identifies the classes of square-integrable potentials $q(x)$ that possess a common asymmetry function. For any given $a(λ)$, there is one potential for each Dirichlet spectral sequence. △ Less

Submitted 7 September, 2020; originally announced September 2020.

MSC Class: 34A55; 34L05; 30E05

Surface homogenization of an array of Helmholtz resonators for a viscoacoustic model using two-scale convergence

Authors: Kersten Schmidt, Adrien Semin

Abstract: We derive the weak limit of a linear viscoacoustic model in an acoustic liner that is a chamber connected to a periodic repetition of elongated chambers -- the Helmholtz resonators. As model we consider the time-harmonic and linearized compressible Navier-Stokes equations for the acoustic velocity and pressure. Following the approach in Schmidt et al., J. Math. Ind 8:15, 2018 for the viscoacoustic… ▽ More We derive the weak limit of a linear viscoacoustic model in an acoustic liner that is a chamber connected to a periodic repetition of elongated chambers -- the Helmholtz resonators. As model we consider the time-harmonic and linearized compressible Navier-Stokes equations for the acoustic velocity and pressure. Following the approach in Schmidt et al., J. Math. Ind 8:15, 2018 for the viscoacoustic transmission problem of multiperforated plates the viscosity is scaled as $δ^{4}$ with the period $δ$ of the array of chambers and the size of the necks as well as the wall thickness like $δ^2$ such that the viscous boundary layers are of the order of the size of the necks. Applying the method of two-scale convergence we obtain with a stability assumption in the limit $δ\to 0$ that the acoustic pressure fulfills the Helmholz equation with impedance boundary conditions. These boundary conditions depend on the frequency, the length of the resonators and through the effective Rayleigh conductivity -- that can be computed numerically -- on the shape of their necks. We compare the limit model to semi-analytical models in the literature. △ Less

Submitted 27 March, 2020; v1 submitted 25 March, 2020; originally announced March 2020.

Comments: 33 pages, 10 figures, 1 table. arXiv admin note: text overlap with arXiv:1905.08566

MSC Class: 32S05; 35C20; 35J05; 35J20; 41A60; 65D15

An Asymptotic Test for Constancy of the Variance under Short-Range Dependence

Authors: Sara Kristin Schmidt, Max Wornowizki, Roland Fried, Herold Dehling

Abstract: We present a novel approach to test for heteroscedasticity of a non-stationary time series that is based on Gini's mean difference of logarithmic local sample variances. In order to analyse the large sample behaviour of our test statistic, we establish new limit theorems for U-statistics of dependent triangular arrays. We derive the asymptotic distribution of the test statistic under the null hypo… ▽ More We present a novel approach to test for heteroscedasticity of a non-stationary time series that is based on Gini's mean difference of logarithmic local sample variances. In order to analyse the large sample behaviour of our test statistic, we establish new limit theorems for U-statistics of dependent triangular arrays. We derive the asymptotic distribution of the test statistic under the null hypothesis of a constant variance and show that the test is consistent against a large class of alternatives, including multiple structural breaks in the variance. Our test is applicable even in the case of non-stationary processes, assuming a locally stationary mean function. The performance of the test and its comparatively low computation time are illustrated in an extensive simulation study. As an application, we analyse Google Trends data, monitoring the relative search interest for the topic "global warming." △ Less

Submitted 21 May, 2021; v1 submitted 24 February, 2020; originally announced February 2020.

MSC Class: Primary 62G10; secondary 62M10; 60F05

Homogenization of the time-dependent heat equation on planar one-dimensional periodic structures

Authors: Matko Ljulj, Kersten Schmidt, Adrien Semin, Josip Tambača

Abstract: In this paper we consider the homogenization of a time-dependent heat conduction problem on a planar one-dimensional periodic structure. On the edges of a graph the one-dimensional heat equation is posed, while the Kirchhoff junction condition is applied at all (inner) vertices. Using the two-scale convergence adapted to homogenization of lower-dimensional problems we obtain the limit homogenized… ▽ More In this paper we consider the homogenization of a time-dependent heat conduction problem on a planar one-dimensional periodic structure. On the edges of a graph the one-dimensional heat equation is posed, while the Kirchhoff junction condition is applied at all (inner) vertices. Using the two-scale convergence adapted to homogenization of lower-dimensional problems we obtain the limit homogenized problem defined on a two-dimensional domain that is occupied by the mesh when the mesh period $δ$ tends to $0$. The homogenized model is given by the classical heat equation with the conductivity tensor depending on the unit cell graph only through the topology of the graph and lengthes of its edges. We show the well-posedness of the limit problem and give a purely algebraic formula for the computation of the homogenized conductivity tensor. The analysis is completed by numerical experiments showing a convergence to the limit problem where the convergence order in $δ$. △ Less

Submitted 30 December, 2019; originally announced December 2019.

Divisor Functions and the Number of Sum Systems

Authors: Matthew C. Lettington, Karl Michael Schmidt

Abstract: Divisor functions have attracted the attention of number theorists from Dirichlet to the present day. Here we consider associated divisor functions $c_j^{(r)}(n)$ which for non-negative integers $j, r$ count the number of ways of representing $n$ as an ordered product of $j+r$ factors, of which the first $j$ must be non-trivial, and their natural extension to negative integers $r.$ We give recurre… ▽ More Divisor functions have attracted the attention of number theorists from Dirichlet to the present day. Here we consider associated divisor functions $c_j^{(r)}(n)$ which for non-negative integers $j, r$ count the number of ways of representing $n$ as an ordered product of $j+r$ factors, of which the first $j$ must be non-trivial, and their natural extension to negative integers $r.$ We give recurrence properties and explicit formulae for these novel arithmetic functions. Specifically, the functions $c_j^{(-j)}(n)$ count, up to a sign, the number of ordered factorisations of $n$ into $j$ square-free non-trivial factors. These functions are related to a modified version of the Möbius function and turn out to play a central role in counting the number of sum systems of given dimensions. \par Sum systems are finite collections of finite sets of non-negative integers, of prescribed cardinalities, such that their set sum generates consecutive integers without repetitions. Using a recently established bijection between sum systems and joint ordered factorisations of their component set cardinalities, we prove a formula expressing the number of different sum systems in terms of associated divisor functions. △ Less

Submitted 6 October, 2019; originally announced October 2019.

Comments: 12 Pages

MSC Class: 11A25; 11A51; 11B65; 11B75; 05A10; 05A15

Highly nonlinear functions over finite fields

Authors: Kai-Uwe Schmidt

Abstract: We consider a generalisation of a conjecture by Patterson and Wiedemann from 1983 on the Hamming distance of a function from $\mathbb{F}_q^n$ to $\mathbb{F}_q$ to the set of affine functions from $\mathbb{F}_q^n$ to $\mathbb{F}_q$. We prove the conjecture for each $q$ such that the characteristic of $\mathbb{F}_q$ lies in a subset of the primes with density $1$ and we prove the conjecture for all… ▽ More We consider a generalisation of a conjecture by Patterson and Wiedemann from 1983 on the Hamming distance of a function from $\mathbb{F}_q^n$ to $\mathbb{F}_q$ to the set of affine functions from $\mathbb{F}_q^n$ to $\mathbb{F}_q$. We prove the conjecture for each $q$ such that the characteristic of $\mathbb{F}_q$ lies in a subset of the primes with density $1$ and we prove the conjecture for all $q$ by assuming the generalised Riemann hypothesis. Roughly speaking, we show the existence of functions for which the distance to the affine functions is maximised when $n$ tends to infinity. This also determines the asymptotic behaviour of the covering radius of the $[q^n,n+1]$ Reed-Muller code over $\mathbb{F}_q$ and so answers a question raised by Leducq in 2013. Our results extend the case $q=2$, which was recently proved by the author and which corresponds to the original conjecture by Patterson and Wiedemann. Our proof combines evaluations of Gauss sums in the semiprimitive case, probabilistic arguments, and methods from discrepancy theory. △ Less

Submitted 16 September, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 17 pages, this revision contains a strengthened version of Thm. 4.1

MSC Class: 05D40; 94B05

New Examples of Bernoulli Algebraic Actions

Authors: Douglas Lind, Klaus Schmidt

Abstract: We give examples of principal algebraic actions of the noncommutative free group $F$ of rank two, as well as other groups, by automorphisms of a connected compact abelian group for which there is an explicit measurable isomorphism to a Bernoulli action of the group. The isomorphism is defined using homoclinic points, a method that has been used earlier to construct symbolic covers of algebraic act… ▽ More We give examples of principal algebraic actions of the noncommutative free group $F$ of rank two, as well as other groups, by automorphisms of a connected compact abelian group for which there is an explicit measurable isomorphism to a Bernoulli action of the group. The isomorphism is defined using homoclinic points, a method that has been used earlier to construct symbolic covers of algebraic actions. To our knowledge, these are the first nontrivial examples of the Bernoullicity of an algebraic action of $F$. △ Less

Submitted 3 August, 2020; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: 13 pages. This update to our previous version generalizes our arguments to more acting groups and a more general class of principal actions. It also includes a different proof that the Bernoulli measure maps to Haar measure using a Fourier coefficient argument due to Ben Hayes

MSC Class: 37A35

Impedance boundary conditions for acoustic time harmonic wave propagation in viscous gases

Authors: Kersten Schmidt, Anastasia Thöns-Zueva

Abstract: We present Helmholtz or Helmholtz like equations for the approximation of the time-harmonic wave propagation in gases with small viscosity, which are completed with local boundary conditions on rigid walls. We derived approximative models based on the method of multiple scales for the pressure and the velocity separately, both up to order 2. Approximations to the pressure are described by the Helm… ▽ More We present Helmholtz or Helmholtz like equations for the approximation of the time-harmonic wave propagation in gases with small viscosity, which are completed with local boundary conditions on rigid walls. We derived approximative models based on the method of multiple scales for the pressure and the velocity separately, both up to order 2. Approximations to the pressure are described by the Helmholtz equations with impedance boundary conditions, which relate its normal derivative to the pressure itself. The boundary conditions from first order on are of Wentzell type and include a second tangential derivative of the pressure proportional to the square root of the viscosity, and take thereby absorption inside the viscosity boundary layer of the underlying velocity into account. The velocity approximations are described by Helmholtz like equations for the velocity, where the Laplace operator is replaced by $\nabla \operatorname{div}$, and the local boundary conditions relate the normal velocity component to its divergence. The velocity approximations are for the so-called far field and do not exhibit a boundary layer. Including a boundary corrector, the so called near field, the velocity approximation is accurate even up to the domain boundary. The boundary conditions are stable and asymptotically exact, which is justified by a complete mathematical analysis. The results of some numerical experiments are presented to illustrate the theoretical foundation. △ Less

Submitted 21 May, 2019; originally announced May 2019.

On liners viscoacoustic impedance boundary conditions for an array of Helmholtz resonators in 3D

Authors: Adrien Semin, Kersten Schmidt

Abstract: The present work deals with the resolution of the Linearized Navier-Stokes problem in a domain made of an array that consists into a repetition of elongated resonators connected to an half-space. We provide and justify a limit equivalent model which takes into account the presence of resonators array as an equivalent boundary condition. Our approach combines the method of matched asymptotic expans… ▽ More The present work deals with the resolution of the Linearized Navier-Stokes problem in a domain made of an array that consists into a repetition of elongated resonators connected to an half-space. We provide and justify a limit equivalent model which takes into account the presence of resonators array as an equivalent boundary condition. Our approach combines the method of matched asymptotic expansions and the method of periodic surface homogenization adapted to more than two scales, and a complete justification is included in the paper. △ Less

Submitted 3 September, 2019; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: After discussion, it appears that the derivation condition derived in Eq. (2.7) page 3 does not seem to take into account resonance phenomena in resonators

MSC Class: 32S05; 35C20; 35J05; 35J20; 41A60; 65D15

Multistep and Runge-Kutta convolution quadrature methods for coupled dynamical systems

Authors: Herbert Egger, Vsevolod Shashkov, Kersten Schmidt

Abstract: We consider the efficient numerical solution of coupled dynamical systems, consisting of a small nonlinear part and a large linear time invariant part, possibly stemming from spatial discretization of an underlying partial differential equation. The linear subsystem can be eliminated in frequency domain and for the numerical solution of the resulting integro-differential algebraic equations, we pr… ▽ More We consider the efficient numerical solution of coupled dynamical systems, consisting of a small nonlinear part and a large linear time invariant part, possibly stemming from spatial discretization of an underlying partial differential equation. The linear subsystem can be eliminated in frequency domain and for the numerical solution of the resulting integro-differential algebraic equations, we propose a a combination of Runge-Kutta or multistep time stepping methods with appropriate convolution quadrature to handle the integral terms. The resulting methods are shown to be algebraically equivalent to a Runge-Kutta or multistep solution of the coupled system and thus automatically inherit the corresponding stability and accuracy properties. After a computationally expensive pre-processing step, the online simulation can, however, be performed at essentially the same cost as solving only the small nonlinear subsystem. The proposed method is, therefore, particularly attractive, if repeated simulation of the coupled dynamical system is required. △ Less

Submitted 24 November, 2018; originally announced November 2018.

Low-degree planar polynomials over finite fields of characteristic two

Authors: Daniele Bartoli, Kai-Uwe Schmidt

Abstract: Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ t… ▽ More Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ that induce planar functions on $\mathbb{F}_q$, by showing that such polynomials are precisely those in which the degree of every monomial is a power of two. As a corollary we obtain a complete classification of exceptional planar polynomials, namely polynomials over $\mathbb{F}_q$ that induce planar functions on infinitely many extensions of~$\mathbb{F}_q$. The proof strategy is to study the number of $\mathbb{F}_q$-rational points of an algebraic curve attached to a putative planar function.~Our methods also give a simple proof of a new partial result for the classification of almost perfect nonlinear~functions. △ Less

Submitted 17 September, 2018; originally announced September 2018.

MSC Class: 51E20; 11T71

On Kendall's Tau for Order Statistics

Authors: Sebastian Fuchs, Klaus D. Schmidt

Abstract: Every copula $ C $ for a random vector $ {\bf X}=(X_1,\dots,X_d) $ with identically distributed coordinates determines a unique copula $ C_{:d} $ for its order statistic $ {\bf X}_{:d}=(X_{1:d},\dots,X_{d:d}) $. In the present paper we study the dependence structure of $ C_{:d} $ via Kendall's tau, denoted by $ κ$. As a general result, we show that $ κ[C_{:d}] $ is at least as large as $ κ[C] $. F… ▽ More Every copula $ C $ for a random vector $ {\bf X}=(X_1,\dots,X_d) $ with identically distributed coordinates determines a unique copula $ C_{:d} $ for its order statistic $ {\bf X}_{:d}=(X_{1:d},\dots,X_{d:d}) $. In the present paper we study the dependence structure of $ C_{:d} $ via Kendall's tau, denoted by $ κ$. As a general result, we show that $ κ[C_{:d}] $ is at least as large as $ κ[C] $. For the product copula $ Π$, which corresponds to the case of independent coordinates of $ {\bf X} $, we provide an explicit formula for $ κ[Π_{:d}] $ showing that the inequality between $ κ[Π] $ and $ κ[Π_{:d}] $ is strict. We also compute Kendall's tau for certain multivariate margins of $ Π_{:d} $ corresponding to the lower or upper coordinates of $ {\bf X}_{:d} $. △ Less

Submitted 3 August, 2018; originally announced August 2018.

Some Properties and Applications of Non-trivial Divisor Functions

Authors: S. L. Hill, M. N. Huxley, M. C. Lettington, K. M. Schmidt

Abstract: The $j$th divisor function $d_j$, which counts the ordered factorisations of a positive integer into $j$ positive integer factors, is a very well-known arithmetic function; in particular, $d_2(n)$ gives the number of divisors of $n$. However, the $j$th non-trivial divisor function $c_j$, which counts the ordered proper factorisations of a positive integer into $j$ factors, each of which is greater… ▽ More The $j$th divisor function $d_j$, which counts the ordered factorisations of a positive integer into $j$ positive integer factors, is a very well-known arithmetic function; in particular, $d_2(n)$ gives the number of divisors of $n$. However, the $j$th non-trivial divisor function $c_j$, which counts the ordered proper factorisations of a positive integer into $j$ factors, each of which is greater than or equal to 2, is rather less well-studied. We also consider associated divisor functions $c_j^{(r)}$, whose definition is motivated by the sum-over divisors recurrence for $d_j$. After reviewing properties of $d_j$, we study analogous properties of $c_j$ and $c_j^{(r)}$, specifically regarding their Dirichlet series and generating functions, as well as representations in terms of binomial coefficient sums and hypergeometric series. We also express their ratios as binomial coefficient sums and hypergeometric series, and find explicit Dirichlet series and Euler products in some cases. As an illustrative application of the non-trivial and associated divisor functions, we show how they can be used to count principal reversible square matrices of the type considered by Ollerenshaw and Brée, and hence sum-and-distance systems of integers. △ Less

Submitted 2 June, 2018; originally announced June 2018.

MSC Class: 11A25; 11A51; 11M41; 33C20; 11B30

Mahler's Work and Algebraic Dynamical Systems

Authors: Douglas Lind, Klaus Schmidt

Abstract: After Furstenberg had provided a first glimpse of remarkable rigidity phenomena associated with the joint action of several commuting automorphisms (or endomorphisms) of a compact abelian group, further key examples motivated the development of an extensive theory of such actions. Two of Mahler's achievements, the recognition of the significance of Mahler measure of multivariate polynomials in r… ▽ More After Furstenberg had provided a first glimpse of remarkable rigidity phenomena associated with the joint action of several commuting automorphisms (or endomorphisms) of a compact abelian group, further key examples motivated the development of an extensive theory of such actions. Two of Mahler's achievements, the recognition of the significance of Mahler measure of multivariate polynomials in relating the lengths and heights of products of polynomials in terms of the corresponding quantities for the constituent factors, and his work on additive relations in fields, have unexpectedly played important roles in the study of entropy and higher order mixing for these actions. This article briefly surveys these connections between Mahler's work and dynamics. It also sketches some of the dynamical outgrowths of his work that are very active today, including the investigation of the Fuglede-Kadison determinant of a convolution operator in a group von Neumann algebra as a noncommutative generalization of Mahler measure, as well as diophantine questions related to the growth rates of periodic points and their relation to entropy. △ Less

Submitted 4 April, 2018; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: 20 pages, to appear in the book "Mahler Selecta" in the book series of Documenta Mathematica. This version corrects a few typos and also Example 2.2

MSC Class: Primary: 37A45; 37A15; Secondary 11R06; 11K60

Quadratic and symmetric bilinear forms over finite fields and their association schemes

Authors: Kai-Uwe Schmidt

Abstract: Let $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ be the sets of quadratic forms and symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$, respectively. The orbits of $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ under a natural group action induce two translation association schemes, which are known to be dual to each other. We give explicit expressions for the eigenvalues of t… ▽ More Let $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ be the sets of quadratic forms and symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$, respectively. The orbits of $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ under a natural group action induce two translation association schemes, which are known to be dual to each other. We give explicit expressions for the eigenvalues of these association schemes in terms of linear combinations of generalised Krawtchouk polynomials, generalising earlier results for odd $q$ to the more difficult case when $q$ is even. We then study $d$-codes in these schemes, namely subsets $X$ of $\mathscr{Q}(m,q)$ or $\mathscr{S}(m,q)$ with the property that, for all distinct $A,B\in X$, the rank of $A-B$ is at least $d$. We prove tight bounds on the size of $d$-codes and show that, when these bounds hold with equality, the inner distributions of the subsets are often uniquely determined by their parameters. We also discuss connections to classical error-correcting codes and show how the Hamming distance distribution of large classes of codes over $\mathbb{F}_q$ can be determined from the results of this paper. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 33 pages

MSC Class: Primary 05E30; 15A63; Secondary 11T71; 94B15

On impedance conditions for circular multiperforated acoustic liners

Authors: Kersten Schmidt, Adrien Semin, Anastasia Thöns-Zueva, Friedrich Bake

Abstract: Background: The acoustic damping in gas turbines and aero-engines relies to a great extent on acoustic liners that consists of a cavity and a perforated face sheet. The prediction of the impedance of the liners by direct numerical simulations is nowadays not feasible due to the hundreds to thousands repetitions of tiny holes. We introduce a procedure to numerically obtain the Rayleigh conductivity… ▽ More Background: The acoustic damping in gas turbines and aero-engines relies to a great extent on acoustic liners that consists of a cavity and a perforated face sheet. The prediction of the impedance of the liners by direct numerical simulations is nowadays not feasible due to the hundreds to thousands repetitions of tiny holes. We introduce a procedure to numerically obtain the Rayleigh conductivity for acoustic liners for viscous gases at rest, and with it define the acoustic impedance of the perforated sheet. Results: The proposed method decouples the effects that are dominant on different scales: (a) viscous and incompressible flow at the scale of one hole, (b) inviscid and incompressible flow at the scale of the hole pattern, and (c) inviscid and compressible flow at the scale of the wave-length. With the method of matched asymptotic expansions we couple the different scales and eventually obtain effective impedance conditions on the macroscopic scale. For this the effective Rayleigh conductivity results by numerical solution of an instationary Stokes problem in frequency domain around one hole with prescribed pressure at infinite distance to the aperture. It depends on hole shape, frequency, mean density and viscosity divided by the area of the periodicity cell. This enables us to estimate dissipation losses and transmission properties, that we compare with acoustic measurements in a duct acoustic test rig with a circular cross-section by DLR Berlin. Conclusions: A precise and reasonable definition of an effective Rayleigh conductivity at the scale of one hole is proposed and impedance conditions for the macroscopic pressure or velocity are derived in a systematic procedure. The comparison with experiments shows that the derived impedance conditions give a good prediction of the dissipation losses. △ Less

Submitted 16 January, 2018; v1 submitted 12 January, 2018; originally announced January 2018.

Comments: 18 pages, 10 figures, related to the ECMI 2016 conference

MSC Class: 35Q30; 35B27; 74Q15; 76M50

On the Structure of Additive Systems of Integers

Authors: M. N. Huxley, M. C. Lettington, K. M. Schmidt

Abstract: A sum-and-distance system is a collection of finite sets of integers such that the sums and differences formed by taking one element from each set generate a prescribed arithmetic progression. Such systems, with two component sets, arise naturally in the study of matrices with symmetry properties and consecutive integer entries. Sum systems are an analogous concept where only sums of elements are… ▽ More A sum-and-distance system is a collection of finite sets of integers such that the sums and differences formed by taking one element from each set generate a prescribed arithmetic progression. Such systems, with two component sets, arise naturally in the study of matrices with symmetry properties and consecutive integer entries. Sum systems are an analogous concept where only sums of elements are considered. We establish a bijection between sum systems and sum-and-distance systems of corresponding size, and show that sum systems are equivalent to principal reversible cuboids, which are tensors with integer entries and a symmetry of "reversible square" type. We prove a structure theorem for principal reversible cuboids, which gives rise to an explicit construction formula for all sum systems in terms of joint ordered factorisations of their component set cardinalities. △ Less

Submitted 14 December, 2017; originally announced December 2017.

Asymptotically optimal Boolean functions

Authors: Kai-Uwe Schmidt

Abstract: The largest Hamming distance between a Boolean function in $n$ variables and the set of all affine Boolean functions in $n$ variables is known as the covering radius $ρ_n$ of the $[2^n,n+1]$ Reed-Muller code. This number determines how well Boolean functions can be approximated by linear Boolean functions. We prove that \[ \lim_{n\to\infty}2^{n/2}-ρ_n/2^{n/2-1}=1, \] which resolves a conjecture du… ▽ More The largest Hamming distance between a Boolean function in $n$ variables and the set of all affine Boolean functions in $n$ variables is known as the covering radius $ρ_n$ of the $[2^n,n+1]$ Reed-Muller code. This number determines how well Boolean functions can be approximated by linear Boolean functions. We prove that \[ \lim_{n\to\infty}2^{n/2}-ρ_n/2^{n/2-1}=1, \] which resolves a conjecture due to Patterson and Wiedemann from 1983. △ Less

Submitted 22 November, 2017; originally announced November 2017.

MSC Class: 11T71; 94B05; 06E30

On Quantile Risk Measures and Their Domain

Authors: Sebastian Fuchs, Ruben Schlotter, Klaus D. Schmidt

Abstract: In the present paper we study quantile risk measures and their domain. Our starting point is that, for a probability measure $ Q $ on the open unit interval and a wide class $ \mathcal{L}_Q $ of random variables, we define the quantile risk measure $ \varrho_Q $ as the map which integrates the quantile function of a random variable in $ \mathcal{L}_Q $ with respect to $ Q $. The definition of… ▽ More In the present paper we study quantile risk measures and their domain. Our starting point is that, for a probability measure $ Q $ on the open unit interval and a wide class $ \mathcal{L}_Q $ of random variables, we define the quantile risk measure $ \varrho_Q $ as the map which integrates the quantile function of a random variable in $ \mathcal{L}_Q $ with respect to $ Q $. The definition of $ \mathcal{L}_Q $ ensures that $ \varrho_Q $ cannot attain the value $ +\infty $ and cannot be extended beyond $ \mathcal{L}_Q $ without losing this property. The notion of a quantile risk measure is a natural generalization of that of a spectral risk measure and provides another view at the distortion risk measures generated by a distribution function on the unit interval. In this general setting, we prove several results on quantile or spectral risk measures and their domain with special consideration of the expected shortfall. △ Less

Submitted 21 July, 2017; originally announced July 2017.

On the number of inequivalent Gabidulin codes

Authors: Kai-Uwe Schmidt, Yue Zhou

Abstract: Maximum rank-distance (MRD) codes are extremal codes in the space of $m\times n$ matrices over a finite field, equipped with the rank metric. Up to generalizations, the classical examples of such codes were constructed in the 1970s and are today known as Gabidulin codes. Motivated by several recent approaches to construct MRD codes that are inequivalent to Gabidulin codes, we study the equivalence… ▽ More Maximum rank-distance (MRD) codes are extremal codes in the space of $m\times n$ matrices over a finite field, equipped with the rank metric. Up to generalizations, the classical examples of such codes were constructed in the 1970s and are today known as Gabidulin codes. Motivated by several recent approaches to construct MRD codes that are inequivalent to Gabidulin codes, we study the equivalence issue for Gabidulin codes themselves. This shows in particular that the family of Gabidulin codes already contains a huge subset of MRD codes that are pairwise inequivalent, provided that $2\le m\le n-2$. △ Less

Submitted 13 February, 2018; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: 11 pages

Journal ref: Designs, codes and cryptography. 2017 online

Hermitian rank distance codes

Authors: Kai-Uwe Schmidt

Abstract: Let $X=X(n,q)$ be the set of $n\times n$ Hermitian matrices over $\mathbb{F}_{q^2}$. It is well known that $X$ gives rise to a metric translation association scheme whose classes are induced by the rank metric. We study $d$-codes in this scheme, namely subsets $Y$ of $X$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-cod… ▽ More Let $X=X(n,q)$ be the set of $n\times n$ Hermitian matrices over $\mathbb{F}_{q^2}$. It is well known that $X$ gives rise to a metric translation association scheme whose classes are induced by the rank metric. We study $d$-codes in this scheme, namely subsets $Y$ of $X$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-code and show that, under certain conditions, the inner distribution of a $d$-code is determined by its parameters. Except if $n$ and $d$ are both even and $4\le d\le n-2$, constructions of $d$-codes are given, which are optimal among the $d$-codes that are subgroups of $(X,+)$. This work complements results previously obtained for several other types of matrices over finite fields. △ Less

Submitted 17 August, 2017; v1 submitted 9 February, 2017; originally announced February 2017.

MSC Class: 05E15; 05E30

Factorizable Module Algebras

Authors: Arkady Berenstein, Karl Schmidt

Abstract: The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras of corresponding reductive groups $G$, their parabolic subgroups, basic affine spaces and many others. It turns out that tensor products of factorizable algebra… ▽ More The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras of corresponding reductive groups $G$, their parabolic subgroups, basic affine spaces and many others. It turns out that tensor products of factorizable algebras are also factorizable and it is easy to create a factorizable algebra out of virtually any $\mathfrak{g}$-module algebra. We also have quantum versions of all these constructions in the category of $U_q(\mathfrak{g})$-module algebras. Quite surprisingly, our quantum factorizable algebras are naturally acted on by the quantized enveloping algebra $U_q(\mathfrak{g}^*)$ of the dual Lie bialgebra $\mathfrak{g}^*$ of $\mathfrak{g}$. △ Less

Submitted 29 January, 2018; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: AmsLaTex 31 pages, Typos corrected, to appear in IMRN

Yield Trajectory Tracking for Hyperbolic Age-Structured Population Systems

Authors: Kevin Schmidt, Iasson Karafyllis, Miroslav Krstic

Abstract: For population systems modeled by age-structured hyperbolic partial differential equations (PDEs) that are bilinear in the input and evolve with a positive-valued infinite-dimensional state, global stabilization of constant yield set points was achieved in prior work. Seasonal demands in biotechnological production processes give rise to time-varying yield references. For the proposed control obje… ▽ More For population systems modeled by age-structured hyperbolic partial differential equations (PDEs) that are bilinear in the input and evolve with a positive-valued infinite-dimensional state, global stabilization of constant yield set points was achieved in prior work. Seasonal demands in biotechnological production processes give rise to time-varying yield references. For the proposed control objective aiming at a global attractivity of desired yield trajectories, multiple non-standard features have to be considered: a non-local boundary condition, a PDE state restricted to the positive orthant of the function space and arbitrary restrictive but physically meaningful input constraints. Moreover, we provide Control Lyapunov Functionals ensuring an exponentially fast attraction of adequate reference trajectories. To achieve this goal, we make use of the relation between first-order hyperbolic PDEs and integral delay equations leading to a decoupling of the input-dependent dynamics and the infinite-dimensional internal one. Furthermore, the dynamic control structure does not necessitate exact knowledge of the model parameters or online measurements of the age-profile. With a Galerkin-based numerical simulation scheme using the key ideas of the Karhunen-Loève-decomposition, we demonstrate the controller's performance. △ Less

Submitted 31 March, 2017; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: 11 pages, 3 figures, submitted to Automatica for possible publication

Estimators for a Class of Bivariate Measures of Concordance for Copulas

Authors: Sebastian Fuchs, Klaus D. Schmidt

Abstract: In the present paper we propose and study estimators for a wide class of bivariate measures of concordance for copulas. These measures of concordance are generated by a copula and generalize Spearman's rho and Gini's gamma. In the case of Spearman's rho and Gini's gamma the estimators turn out to be the usual sample versions of these measures of concordance. In the present paper we propose and study estimators for a wide class of bivariate measures of concordance for copulas. These measures of concordance are generated by a copula and generalize Spearman's rho and Gini's gamma. In the case of Spearman's rho and Gini's gamma the estimators turn out to be the usual sample versions of these measures of concordance. △ Less

Submitted 17 January, 2017; originally announced January 2017.

Comments: 13 pages

MSC Class: 62H20

Multiharmonic analysis for nonlinear acoustics with different scales

Authors: Anastasia Thoens-Zueva, Kersten Schmidt, Adrien Semin

Abstract: The acoustic wave-propagation without mean flow and heat flux can be described in terms of velocity and pressure by the compressible nonlinear Navier-Stokes equations, where boundary layers appear at walls due to the viscosity and a frequency interaction appears, $\textit{i.e.}$ sound at higher harmonics of the excited frequency $ω$ is generated due to nonlinear advection. We use the multiharmonic… ▽ More The acoustic wave-propagation without mean flow and heat flux can be described in terms of velocity and pressure by the compressible nonlinear Navier-Stokes equations, where boundary layers appear at walls due to the viscosity and a frequency interaction appears, $\textit{i.e.}$ sound at higher harmonics of the excited frequency $ω$ is generated due to nonlinear advection. We use the multiharmonic analysis to derive asymptotic expansions for small sound amplitudes and small viscosities both of order $\varepsilon^2$ in which velocity and pressure fields are separated into far field and correcting near field close to walls and into contributions to the multiples of $ω$. Based on the asymptotic expansion we present approximate models for either the pressure or the velocity for order $0$, $1$ and $2$, in which impedance boundary conditions include the effect of viscous boundary layers and contributions at frequencies $0$ and $2\cdotω$ depend nonlinearly on the approximation at frequency $ω$. In difference to the Navier-Stokes equations in time domain, which has to be resolved numerically with meshes adaptively refined towards the wall boundaries and explicit schemes require the use of very small time steps, the approximative models can be solved in frequency domain on macroscopic meshes. We studied the accuracy of the approximated models of different orders in numerical experiments comparing with reference solutions in time-domain. △ Less

Submitted 9 January, 2017; originally announced January 2017.

Comments: 20 pages, colored figures

MSC Class: 35C20; 41A60; 42A16; 35Q30; 76D05

On the homogenization of the Helmholtz problem with thin perforated walls of finite length

Authors: Adrien Semin, Bérangère Delourme, Kersten Schmidt

Abstract: In this work, we present a new solution representation for the Helmholtz transmission problem in a bounded domain in $\mathbb{R}^2$ with a thin and periodic layer of finite length. The layer may consists of a periodic pertubation of the material coefficients or it is a wall modelled by boundary conditions with an periodic array of small perforations. We consider the periodicity in the layer as the… ▽ More In this work, we present a new solution representation for the Helmholtz transmission problem in a bounded domain in $\mathbb{R}^2$ with a thin and periodic layer of finite length. The layer may consists of a periodic pertubation of the material coefficients or it is a wall modelled by boundary conditions with an periodic array of small perforations. We consider the periodicity in the layer as the small variable $δ$ and the thickness of the layer to be at the same order. Moreover we assume the thin layer to terminate at re-entrant corners leading to a singular behaviour in the asymptotic expansion of the solution representation. This singular behaviour becomes visible in the asymptotic expansion in powers of $δ$ where the powers depend on the opening angle. We construct the asymptotic expansion order by order. It consists of a macroscopic representation away from the layer, a boundary layer corrector in the vicinity of the layer, and a near field corrector in the vicinity of the end-points. The boundary layer correctors and the near field correctors are obtained by the solution of canonical problems based, respectively, on the method of periodic surface homogenization and on the method of matched asymptotic expansions. This will lead to transmission conditions for the macroscopic part of the solution on an infinitely thin interface and corner conditions to fix the unbounded singular behaviour at its end-points. Finally, theoretical justifications of the second order expansion are given and illustrated by numerical experiments. The solution representation introduced in this article can be used to compute a highly accurate approximation of the solution with a computational effort independent of the small periodicity $δ$. △ Less

Submitted 22 June, 2017; v1 submitted 18 November, 2016; originally announced November 2016.

Comments: arXiv admin note: text overlap with arXiv:1506.06964

MSC Class: 32S05; 35C20; 35J05; 35J20; 41A60; 65D15 ACM Class: G.1.8

On Block Representations and Spectral Properties of Semimagic Square Matrices

Authors: S. L. Hill, M. C. Lettington, K. M. Schmidt

Abstract: Using the decomposition of semimagic squares into the associated and balanced symmetry types as a motivation, we introduce an equivalent representation in terms of block-structured matrices. This block representation provides a way of constructing such matrices with further symmetries and of studying their algebraic behaviour, significantly advancing and contributing to the understanding of these… ▽ More Using the decomposition of semimagic squares into the associated and balanced symmetry types as a motivation, we introduce an equivalent representation in terms of block-structured matrices. This block representation provides a way of constructing such matrices with further symmetries and of studying their algebraic behaviour, significantly advancing and contributing to the understanding of these symmetry properties. In addition to studying classical attributes, such as dihedral equivalence and the spectral properties of these matrices, we show that the inherent structure of the block representation facilitates the definition of low-rank semimagic square matrices. This is achieved by means of tensor product blocks. Furthermore, we study the rank and eigenvector decomposition of these matrices, enabling the construction of a corresponding two-sided eigenvector matrix in rational terms of their entries. The paper concludes with the derivation of a correspondence between the tensor product block representations and quadratic form expressions of Gaussian type. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 27 pages

MSC Class: 15A24; 15A63; 15A18; 16W50; 11E20

On Superalgebras of Matrices with Symmetry Properties

Authors: S. L. Hill, M. C. Lettington, K. M. Schmidt

Abstract: It is known that semi-magic square matrices form a 2-graded algebra or superalgebra with the even and odd subspaces under centre-point reflection symmetry as the two components. We show that other symmetries which have been studied for square matrices give rise to similar superalgebra structures, pointing to novel symmetry types in their complementary parts. In particular, this provides a unifying… ▽ More It is known that semi-magic square matrices form a 2-graded algebra or superalgebra with the even and odd subspaces under centre-point reflection symmetry as the two components. We show that other symmetries which have been studied for square matrices give rise to similar superalgebra structures, pointing to novel symmetry types in their complementary parts. In particular, this provides a unifying framework for the composite `most perfect square' symmetry and the related class of `reversible squares'; moreover, the semi-magic square algebra is identified as part of a 2-gradation of the general square matrix algebra. We derive explicit representation formulae for matrices of all symmetry types considered, which can be used to construct all such matrices. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 25 pages

MSC Class: 17A70; 16W50; 15B99; 15B36

A Wiener Lemma for the discrete Heisenberg group: Invertibility criteria and applications to algebraic dynamics

Authors: Martin Göll, Klaus Schmidt, Evgeny Verbitskiy

Abstract: This article contains a Wiener Lemma for the convolution algebra $\ell^1(\mathbb H,\mathbb C)$ and group $C^\ast$-algebra $C^\ast(\mathbb H)$ of the discrete Heisenberg group $\mathbb H$. At first, a short review of Wiener's Lemma in its classical form and general results about invertibility in group algebras of nilpotent groups will be presented. The known literature on this topic suggests that i… ▽ More This article contains a Wiener Lemma for the convolution algebra $\ell^1(\mathbb H,\mathbb C)$ and group $C^\ast$-algebra $C^\ast(\mathbb H)$ of the discrete Heisenberg group $\mathbb H$. At first, a short review of Wiener's Lemma in its classical form and general results about invertibility in group algebras of nilpotent groups will be presented. The known literature on this topic suggests that invertibility investigations in the group algebras of $\mathbb H$ rely on the complete knowledge of $\widehat{\mathbb H}$ -- the dual of $\mathbb H$, i.e., the space of unitary equivalence classes of irreducible unitary representations. We will describe the dual of ${\mathbb H}$ explicitly and discuss its structure. Wiener's Lemma provides a convenient condition to verify invertibility in $\ell^1(\mathbb H,\mathbb C)$ and $C^\ast(\mathbb H)$ which bypasses $\widehat{\mathbb H}$. The proof of Wiener's Lemma for $\mathbb H$ relies on local principles and can be generalised to countable nilpotent groups. As our analysis shows, the main representation theoretical objects to study invertibility in group algebras of nilpotent groups are the corresponding primitive ideal spaces. Wiener's Lemma for $\mathbb H$ has interesting applications in algebraic dynamics and Time-Frequency Analysis which will be presented in this article as well. △ Less

Submitted 27 March, 2016; originally announced March 2016.

Comments: Monatshefte für Mathematik 2016

MSC Class: 54H20 37A45 22D10 37C85 47B38