A note on lower bound of centered L2-discrepancy on combined designs

This note provides a theoretical justification of optimal foldover plans in terms of uniformity. A new lower bound of the centered L ₂-discrepancy values of combined designs is obtained, which can be used as a benchmark for searching optimal foldover plans. Our numerical results show that this lower bound is sharper than existing results when more factors reverse the signs in the initial design.     

Optimum mechanism for breaking the confounding effects of mixed-level designs

Fractional factorial designs (FFD’s) are no doubt the most widely used designs in the experimental investigations due to their efficient use of experimental runs to study many factors simultaneously. One consequence of using FFD’s is the aliasing of factorial effects. Follow-up experiments may be needed to break the confounding. A simple strategy is to add a foldover of the initial design, the new fraction is called a foldover design. Combining a foldover design with the original design converts a design of resolution r into a combined design of resolution \(r+1\). In this paper, we take the centered \(L_2\)-discrepancy \(({\mathcal {CD}})\) as the optimality measure to construct the optimal combined design and take asymmetrical factorials with mixed two and three levels, which are most commonly used in practice, as the original designs. New and efficient analytical expressions based on the row distance of the \({\mathcal {CD}}\) for combined designs are obtained. Based on these new formulations, we present new and efficient lower bounds of the \({\mathcal {CD}}\). Using the new formulations and lower bounds as the benchmarks, we may implement a new algorithm for constructing optimal mixed-level combined designs. By this search heuristic, we may obtain mixed-level combined designs with low discrepancy.     

Note edge-colourings of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n,n</Emphasis></Subscript> with no long two-coloured cycles

Consider the set of all proper edge-colourings of a graph G with n colours. Among all such colourings, the minimum length of a longest two-coloured cycle is denoted L(n, G). The problem of understanding L(n, G) was posed by Häggkvist in 1978 and, specifically, L(n, K _n,n ) has received recent attention. Here we construct, for each prime power q ≥ 8, an edge-colouring of K _n,n with n colours having all two-coloured cycles of length ≤ 2q ², for integers n in a set of density 1 ? 3/(q ? 1). One consequence is that L(n, K _n,n ) is bounded above by a polylogarithmic function of n, whereas the best known general upper bound was previously 2n ? 4.     

SCAP-subalgebras of Lie algebras

A subalgebra H of a finite dimensional Lie algebra L is said to be a SCAP-subalgebra if there is a chief series 0 = L₀ ? L₁ ?... ? L_t = L of L such that for every i = 1, 2,..., t, we have H + L_i = H + L_i-1 or H ∩ L_i = H ∩ L_i-1. This is analogous to the concept of SCAP-subgroup, which has been studied by a number of authors. In this article, we investigate the connection between the structure of a Lie algebra and its SCAP-subalgebras and give some sufficient conditions for a Lie algebra to be solvable or supersolvable.     

On the nilpotent residuals of all subalgebras of Lie algebras

Let \(\mathcal{N}\) denote the class of nilpotent Lie algebras. For any finite-dimensional Lie algebra L over an arbitrary field \(\mathbb{F}\), there exists a smallest ideal I of L such that L/I ∈ \(\mathcal{N}\). This uniquely determined ideal of L is called the nilpotent residual of L and is denoted by L\(\mathcal{N}\). In this paper, we define the subalgebra S(L) = ∩_H≤LI_L(H\(\mathcal{N}\)). Set S₀(L) = 0. Define S_i+1(L)/S_i(L) = S(L/S_i(L)) for i > 1. By S_∞(L) denote the terminal term of the ascending series. It is proved that L = S_∞(L) if and only if L\(\mathcal{N}\) is nilpotent. In addition, we investigate the basic properties of a Lie algebra L with S(L) = L.     

Approximation of Gaussian Random Fields: General Results and Optimal Wavelet Representation of the Lévy Fractional Motion

We investigate the approximation rate for certain centered Gaussian fields by a general approach. Upper estimates are proved in the context of so–called Hölder operators and lower estimates follow from the eigenvalue behavior of some related self–adjoint integral operator in a suitable L ₂(μ)–space. In particular, we determine the approximation rate for the Lévy fractional Brownian motion X _H with Hurst parameter H∈(0,1), indexed by a self–similar set T?? ^N of Hausdorff dimension D. This rate turns out to be of order n ^?H/D (log?n)^1/2. In the case T=[0,1] ^N we present a concrete wavelet representation of X _H leading to an approximation of X _H with the optimal rate n ^?H/N (log?n)^1/2.     

Kolmogorov type inequalities for norms of Riesz derivatives of multivariate functions and some applications

Let L _∞,s ¹ (? ^m ) be the space of functions f ∈ L _∞(? ^m ) such that ?f/?x _i ∈ L _s (? ^{m) for each i = 1, ...,m} . New sharp Kolmogorov type inequalities are obtained for the norms of the Riesz derivatives ∥D ^α f∥_∞ of functions f ∈ L _∞,s ¹ (? ^m ). Stechkin’s problem on approximation of unbounded operators D ^α by bounded operators on the class of functions f ∈ L _∞,s ¹ (? ^m ) such that ∥?f∥ _s ≤ 1 and the problem of optimal recovery of the operator D ^α on elements from this class given with error δ are solved.     

〈2, 1〉-Compact operators

We consider the class of the continuous L _2,1 linear operators in L ₂ that are sums of the operators of multiplication by bounded measurable functions and the operators sending the unit ball of L ₂ into a compact subset of L ₁. We prove that a functional equation with an operator from L _2,1 is equivalent to an integral equation with kernel satisfying the Carleman condition. We also prove that if T ∈ L _2,1 and VTV ^?1 ∈ L _2,1 for all unitary operators V in L ₂ then T = α1 + C, where α is a scalar, 1 is the identity operator in L ₂, and C is a compact operator in L ₂.     

Planar Graded Lattices and the <Emphasis Type="Bold">c</Emphasis><Subscript>1</Subscript>-Median Property

Let L be a lattice of finite length, ξ = (x ₁,…, x _k )∈L ^k , and y ∈ L. The remoteness r(y, ξ) of y from ξ is d(y, x ₁)+?+d(y, x _k ), where d stands for the minimum path length distance in the covering graph of L. Assume, in addition, that L is a graded planar lattice. We prove that whenever r(y, ξ) ≤ r(z, ξ) for all z ∈ L, then y ≤ x ₁∨?∨x _k . In other words, L satisfies the so-called c ₁ -median property.     

Riesz transform characterization of Hardy spaces associated with Schrödinger operators with compactly supported potentials

Let L=?Δ+V be a Schrödinger operator on ? ^d , d≥3. We assume that V is a nonnegative, compactly supported potential that belongs to L ^p (? ^d ), for some p>d /2. Let K _t be the semigroup generated by ?L. We say that an L ¹(? ^d )-function f belongs to the Hardy space \(H^{1}_{L}\) associated with L if sup?_t>0|K _t f| belongs to L ¹(? ^d ). We prove that \(f\in H^{1}_{L}\) if and only if R _j f∈L ¹(? ^d ) for j=1,…,d, where R _j =(?/? x _j )L ^?1/2 are the Riesz transforms associated with L.     

Cauchy independent measures and almost-additivity of analytic capacity

We show that, given a family of discs centered at a chord-arc curve, the analytic capacity of a union of subsets of these discs (one subset in each disc) is comparable with the sum of their analytic capacities. However, we need the discs in question to be separated, and it is not clear whether the separation condition is essential. We apply this result to find families {μ_j} of measures in ? with the following property. If the Cauchy integral operators \({C_{{\mu _j}}}\) from L²(μ_j) to itself are bounded uniformly in j, then C_μ, μ = Σμ_j, is also bounded from L²(μ) to itself.     

Kazhdan-Lusztig cells in some weighted Coxeter groups

Let(W,S) be a Coxeter group with S = I■J such that J consists of all universal elements of S and that I generates a finite parabolic subgroup W_I of W with w_0 the longest element of W_I. We describe all the left cells and two-sided cells of the weighted Coxeter group(W,S,L) that have non-empty intersection with W_J,where the weight function L of(W, S) is in one of the following cases:(i) max{L(s) | s ∈J} min{L(t)|t∈I};(ii) min{L(s)|s ∈J} ≥L(w_0);(iii) there exists some t ∈ I satisfying L(t) L(s) for any s ∈I-{t} and L takes a constant value L_J on J with L_J in some subintervals of [1, L(w_0)-1]. The results in the case(iii) are obtained under a certain assumption on(W, W_I).     

Graded Lie algebras with few nontrivial components

We prove that if a (?/n?)-graded Lie algebra L = ? _i=0 ^n?1 L _i has d nontrivial components L _i and the null component L ₀ has finite dimension m, then L has a homogeneous solvable ideal of derived length bounded by a function of d and of codimension bounded by a function of m and d. An analogous result holds also for the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 with few nontrivial components L _i if the null component L ₀ has finite order m. These results generalize Kreknin’s theorem on the solvability of the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 L _i with trivial component L ₀ and Shalev’s theorem on the solvability of such Lie rings with few nontrivial components L _i . The proof is based on the method of generalized centralizers which was created by E. I. Khukhro for Lie rings and nilpotent groups with almost regular automorphisms of prime order [1], as well as on the technique developed in the work of N. Yu. Makarenko and E. I. Khukhro on the almost solvability of Lie algebras with an almost regular automorphism of finite order [2].     

On the geometric mean operator with variable limits of integration

A new criterion for the weighted L _p ?L _q boundedness of the Hardy operator with two variable limits of integration is obtained for 0 < q < q + 1 ≤ p < ∞. This criterion is applied to the characterization of the weighted L _p ?L _q boundedness of the corresponding geometric mean operator for 0 < q < p < ∞.     

Approach regions for the square root of the Poisson kernel and boundary functions in certain Orlicz spaces

If the Poisson integral of the unit disc is replaced by its square root, it is known that normalized Poisson integrals of L ^p and weak L ^p boundary functions converge along approach regions wider than the ordinary nontangential cones, as proved by Rönning and the author, respectively. In this paper we characterize the approach regions for boundary functions in two general classes of Orlicz spaces. The first of these classes contains spaces L _Φ having the property L ^∞ ? L _Φ L ^p , 1 ? p > ∞. The second contains spaces L _Φ that resemble L ^p spaces.     

Convergence of greedy algorithm in Walsh system in <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

Convergence of the greedy algorithm in Walsh system in L _p , p > 1 is studied. It is proved that there exists a function in L _p , 1 < p < 2, with greedy algorithm not converging in measure to that function. A continuous function with divergent in L _p , p > 2, greedy algorithm is constructed and sufficient conditions for convergence of the greedy algorithm in L _p , p > 1 are given.     

Estimates of reachable sets of control systems with nonlinearity and parametric perturbations

In the Banach space L₁(M, τ) of operators integrable with respect to a tracial state τ on a von Neumann algebra M, convergence is analyzed. A notion of dispersion of operators in L₂(M, τ) is introduced, and its main properties are established. A convergence criterion in L₂(M, τ) in terms of the dispersion is proposed. It is shown that the following conditions for X ∈ L₁(M, τ) are equivalent: (i) τ(X) = 0, and (ii) ‖I + zX‖₁ ≥ 1 for all z ∈ C. A.R. Padmanabhan’s result (1979) on a property of the norm of the space L₁(M, τ) is complemented. The convergence in L₂(M, τ) of the imaginary components of some bounded sequences of operators from M is established. Corollaries on the convergence of dispersions are obtained.     

BMO and exponential Orlicz space estimates of the discrepancy function in arbitrary dimension

In the current paper, we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension d ≥ 3. In particular, we use dyadic harmonic analysis to prove that the dyadic product BMO and exp(L^2/(d?1)) norms of the discrepancy function of so-called digital nets of order two are bounded above by (logN)^(d?1)/2. The latter bound has been recently conjectured in several papers and is consistent with the best known low-discrepancy constructions. Such estimates play an important role as an intermediate step between the well-understood L_p bounds and the notorious open problem of finding the precise L_∞ asymptotics of the discrepancy function in higher dimensions, which is still elusive.     

Riesz Transforms Associated with Higher-Order Schrödinger Type Operators

Let L = L ₀ + V be a Schrödinger type operator, where L ₀ is a higher order elliptic operator with bounded complex coefficients in divergence form and V is a signed measurable function. Under the strongly subcritical assumption on V, we study the L ^q boundedness of Riesz transform ? ^m L ^?1/2 for q ≤ 2 based on the off-diagonal estimates of semigroup e ^{?t L} . Furthermore, the authors impose extra regularity assumptions on V to obtain the L ^q boundedness of Riesz transform ? ^m L ^?1/2 for some q > 2. In particular, these results are applied to the more interesting Schrödinger operators L = P(D) + V, where P(D) is any homogeneous positive elliptic operator with constant coefficients.     

The sixth moment of the family of Γ<Subscript>1</Subscript>(<Emphasis Type="Italic">q</Emphasis>)-automorphic <Emphasis Type="Italic">L</Emphasis>-functions

In this paper we investigate the sixth moment of the family of L-functions associated to holomorphic modular forms on GL ₂ with respect to a congruence subgroup Γ₁(q). The bound for central values averaged over the family, consistent with the Lindelöf hypothesis, is obtained for prime levels q.