On the deficiency index of the vector-valued Sturm–Liouville operator

Let R₊:= [0, +∞), and let the matrix functions P, Q, and R of order n, n ∈ N, defined on the semiaxis R₊ be such that P(x) is a nondegenerate matrix, P(x) and Q(x) are Hermitian matrices for x ∈ R₊ and the elements of the matrix functions P^?1, Q, and R are measurable on R₊ and summable on each of its closed finite subintervals. We study the operators generated in the space L_n²(R₊) by formal expressions of the form l[f] = ?(P(f' ? Rf))' ? R*P(f' ? Rf) + Qf and, as a particular case, operators generated by expressions of the form l[f] = ?(P₀f')' + i((Q₀f)' + Q₀f') + P'₁f, where everywhere the derivatives are understood in the sense of distributions and P₀, Q₀, and P₁ are Hermitianmatrix functions of order n with Lebesgue measurable elements such that P₀^?1 exists and ∥P0∥, ∥P₀^?1∥, ∥P₀^?1∥∥P₁∥², ∥P₀^?1∥∥Q₀∥² ∈ L_loc¹(R₊). Themain goal in this paper is to study of the deficiency index of the minimal operator L₀ generated by expression l[f] in L_n²(R₊) in terms of the matrix functions P, Q, and R (P₀, Q₀, and P₁). The obtained results are applied to differential operators generated by expressions of the form \(l[f] = - f'' + \sum\limits_{k = 1}^{ + \infty } {{H_k}} \delta \left( {x - {x_k}} \right)f\), where x_k, k = 1, 2,..., is an increasing sequence of positive numbers, with lim_k→+∞x_k = +∞, H_k is a number Hermitian matrix of order n, and δ(x) is the Dirac δ-function.     

A stability result using the matrix norm to bound the permanent

We prove a stability version of a general result that bounds the permanent of a matrix in terms of its operator norm. More specifically, suppose A is an n × n matrix over C (resp. R), and let P denote the set of n × n matrices over C (resp. R) that can be written as a permutation matrix times a unitary diagonal matrix. Then it is known that the permanent of A satisfies |per(A)| ≤ ||A|| ⁿ ₂ with equality iff A/||A||₂ ∈ P (where ||A||₂ is the operator 2-norm of A). We show a stability version of this result asserting that unless A is very close (in a particular sense) to one of these extremal matrices, its permanent is exponentially smaller (as a function of n) than ||A|| ⁿ ₂. In particular, for any fixed α, β > 0, we show that |per(A)| is exponentially smaller than ||A|| ⁿ ₂ unless all but at most αn rows contain entries of modulus at least ||A||₂(1?β).     

A characterization of reflexive spaces of operators

We show that for a linear space of operators M ? B(H₁, H₂) the following assertions are equivalent. (i) M is reflexive in the sense of Loginov-Shulman. (ii) There exists an order-preserving map Ψ = (ψ₁, ψ₂) on a bilattice Bil(M) of subspaces determined by M with P ≤ ψ₁(P,Q) and Q ≤ ψ₂(P,Q) for any pair (P,Q) ∈ Bil(M), and such that an operator T ∈ B(H₁, H₂) lies in M if and only if ψ₂(P,Q)Tψ₁(P,Q) = 0 for all (P,Q) ∈ Bil(M). This extends the Erdos-Power type characterization of weakly closed bimodules over a nest algebra to reflexive spaces.     

A new class of metric divergences on probability spaces and its applicability in statistics

The classI _f β, βε(0, ∞], off-divergences investigated in this paper is defined in terms of a class of entropies introduced by Arimoto (1971,Information and Control,19, 181–194). It contains the squared Hellinger distance (for β=1/2), the sumI(Q ₁‖(Q ₁+Q ₂)/2)+I(Q ₂‖(Q ₁+Q ₂)/2) of Kullback-Leibler divergences (for β=1) and half of the variation distance (for β=∞) and continuously extends the class of squared perimeter-type distances introduced by Österreicher (1996,Kybernetika,32, 389–393) (for βε (1, ∞]). It is shown that\((I_{f_\beta } (Q_1 ,Q_2 ))^{\min (\beta ,1/2)}\) are distances of probability distributionsQ ₁,Q ₂ for β ε (0, ∞). The applicability of\(I_{f_\beta }\)-divergences in statistics is also considered. In particular, it is shown that the\(I_{f_\beta }\)-projections of appropriate empirical distributions to regular families define distribution estimates which are in the case of an i.i.d. sample of size'n consistent. The order of consistency is investigated as well.     

Systems that generate solutions with a small period

Let (j₁,..., j_n) be a permutation of the n-tuple (1, ..., n). A system of differential equations \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) in which each function f_i is continuous on ? is considered. This system is said to have the property of generation of solutions with a small period if, for any number M > 0, there exists a number ω₀ = ω₀(M) > 0 such that if 0 < ω ≤ ω₀ and h_i(t, x₁, ..., x_n) are continuous functions on ? × ?ⁿ ω-periodic in t that satisfy the inequalities |h_i| ≤ M the system \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) has an ω-periodic solution. It is shown that a system has the property of generation of solutions with a small period if and only if f_i(?) = ? for i = 1,..., n. It is also shown that the smallness condition on the period is essential.     

Martingale Approximation and Optimality of Some Conditions for the Central Limit Theorem

Let (X _i ) be a stationary and ergodic Markov chain with kernel Q and f an L ² function on its state space. If Q is a normal operator and f=(I?Q)^1/2 g (which is equivalent to the convergence of \(\sum_{n=1}^{\infty}\frac{\sum_{k=0}^{n-1}Q^{k}f}{n^{3/2}}\) in L ²), we have the central limit theorem [cf. (Derriennic and Lin in C.R. Acad. Sci. Paris, Sér. I 323:1053–1057, 1996; Gordin and Lif?ic in Third Vilnius conference on probability and statistics, vol. 1, pp. 147–148, 1981)]. Without assuming normality of Q, the CLT is implied by the convergence of \(\sum_{n=1}^{\infty}\frac{\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}}{n^{3/2}}\), in particular by \(\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}=o(\sqrt{n}/\log^{q}n)\), q>1 by Maxwell and Woodroofe (Ann. Probab. 28:713–724, 2000) and Wu and Woodroofe (Ann. Probab. 32:1674–1690, 2004), respectively. We show that if Q is not normal and f∈(I?Q)^1/2 L ², or if the conditions of Maxwell and Woodroofe or of Wu and Woodroofe are weakened to \(\sum_{n=1}^{\infty}c_{n}\frac{\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}}{n^{3/2}}<\infty\) for some sequence c _n ↘0, or by \(\|\sum_{k=0}^{n-1}Q^{k}f\|_{2}=O(\sqrt{n}/\log n)\), the CLT need not hold.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

Hyperbolic Chevalley groups on ℂ<Superscript>2</Superscript>

Let Γ ? U (1, 1) be the subgroup generated by the complex reflections. Suppose that Γ acts discretely on the domain K = {(z ₁, z ₂) ∈ ?² ||z ₁|² ? |z ₂|² < 0} and that the projective group PΓ acts on the unit disk B = {|z ₁/z ₂| < 1} as a Fuchsian group of signature (n ₁, ..., n _s ), s ? 3, n _i ? 2. For such groups, we prove a Chevalley type theorem, i.e., find a necessary and sufficient condition for the quotient space K/Γ to be isomorphic to ?² ? {0}.     

Asymptotic behavior of the spectrum of one-dimensional vibrations in a layered medium consisting of elastic and Kelvin–Voigt viscoelastic materials

For every algebraically closed field k of characteristic different from 2, we prove the following: (1) Finite-dimensional (not necessarily associative) k-algebras of general type of a fixed dimension, considered up to isomorphism, are parametrized by the values of a tuple of algebraically independent (over k) rational functions of the structure constants. (2) There exists an “algebraic normal form” to which the set of structure constants of every such algebra can be uniquely transformed by means of passing to its new basis—namely, there are two finite systems of nonconstant polynomials on the space of structure constants, {f_i}i∈I and {b_j}j∈J, such that the ideal generated by the set {f_i}i∈I is prime and, for every tuple c of structure constants satisfying the property b_j(c) ≠ 0 for all j ∈ J, there exists a unique new basis of this algebra in which the tuple c′ of its structure constants satisfies the property f_i(c′) = 0 for all i ∈ I.     

Composite meromorphic functions and normal families

In this paper, we study the normality of families of meromorphic functions. We prove the result: Let α(z) be a holomorphic function and \({\mathcal{F}}\) a family of meromorphic functions in a domain D, P(z) be a polynomial of degree at least 3. If P ○ f(z) and P ○ g(z) share α(z) IM for each pair \({f(z),g(z)\in \mathcal{F}}\) and one of the following conditions holds: (1) P(z) ? α(z ₀) has at least three distinct zeros for any \({z_{0}\in D}\); (2) There exists \({z_{0}\in D}\) such that P(z) ? α(z ₀) has at most two distinct zeros and α(z) is nonconstant. Assume that β ₀ is a zero of P(z) ? α(z ₀) with multiplicity p and that the multiplicities l and k of zeros of f(z) ? β ₀ and α(z) ? α(z ₀) at z ₀, respectively, satisfy k ≠ lp, for all \({f(z)\in\mathcal{F}}\). Then \({\mathcal{F}}\) is normal in D. In particular, the result is a kind of generalization of the famous Montel criterion.     

A pure smoothness condition for radó’s theorem for α-analytic functions

Let \(\Omega \subset {{\Bbb C}^n}\) be a bounded, simply connected ?-convex domain. Let α ∈ ?₊ⁿ and let f be a function on Ω which is separately \({C^{2{\alpha _j} - 1}}\)-smooth with respect to z_j (by which we mean jointly \({C^{2{\alpha _j} - 1}}\)-smooth with respect to Rez_j, Imz_j). If f is α-analytic on Ω\f^?1(0), then f is α-analytic on Ω. The result is well-known for the case α_i = 1, 1 ? i ? n, even when f a priori is only known to be continuous.     

Boolean Lattices: Ramsey Properties and Embeddings

A subposet Q ^′ of a poset Q is a copy of a poset P if there is a bijection f between elements of P and Q ^′ such that x ≤ y in P iff f(x) ≤ f(y) in Q. For posets P, P ^′, let the poset Ramsey number R(P, P ^′) be the smallest N such that no matter how the elements of the Boolean lattice Q _N are colored red and blue, there is a copy of P with all red elements or a copy of P ^′ with all blue elements. We provide some general bounds on R(P, P ^′) and focus on the situation when P and P ^′ are both Boolean lattices. In addition, we give asymptotically tight bounds for the number of copies of Q _n in Q _N and for a multicolor version of a poset Ramsey number.     

The degree of biholomorphic mappings between special domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> preserving 0

Let G _i be a closed Lie subgroup of U(n), Ω _i be a bounded G _i -invariant domain in C ⁿ which contains 0, and \(O{\left( {{\mathbb{C}^n}} \right)^{{G_i}}} = \mathbb{C}\), for i = 1; 2. If f: Ω₁ → Ω₂ is a biholomorphism, and f(0) = 0, then f is a polynomial mapping (see Ning et al. (2017)). In this paper, we provide an upper bound for the degree of such polynomial mappings. It is a natural generalization of the well-known Cartan’s theorem.     

Multiple commutator formulas for unitary groups

Let (A,Λ) be a formring such that A is quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. We consider the hyperbolic Bak’s unitary groups GU(2n, A, Λ), n ≥ 3. For a form ideal (I, Γ) of the form ring (A, Λ) we denote by EU(2n, I, Γ) and GU(2n, I, Γ) the relative elementary group and the principal congruence subgroup of level (I, Γ), respectively. Now, let (I _i , Γ _i ), i = 0,...,m, be form ideals of the form ring (A, Λ). The main result of the present paper is the following multiple commutator formula: [EU(2n, I ₀, Γ ₀),GU(2n, I ₁, Γ ₁), GU(2n, I ₂, Γ ₂),..., GU(2n, I _m , Γ _m )] =[EU(2n, I ₀, Γ ₀), EU(2n, I ₁, Γ ₁), EU(2n, I ₂, Γ ₂),..., EU(2n, I _m , Γ _m )], which is a broad generalization of the standard commutator formulas. This result contains all previous results on commutator formulas for classicallike groups over commutative and finite-dimensional rings.     

Differences of idempotents in <Emphasis Type="Italic">C</Emphasis>*-algebras

Suppose that P and Q are idempotents on a Hilbert space H, while Q = Q* and I is the identity operator in H. If U = P ? Q is an isometry then U = U* is unitary and Q = I ? P. We establish a double inequality for the infimum and the supremum of P and Q in H and P ? Q. Applications of this inequality are obtained to the characterization of a trace and ideal F-pseudonorms on a W*-algebra. Let φ be a trace on the unital C*-algebra A and let tripotents P and Q belong to A. If P ? Q belongs to the domain of definition of φ then φ(P ? Q) is a real number. The commutativity of some operators is established.     

Differences of Idempotents In <Emphasis Type="Italic">C</Emphasis>*-Algebras and the Quantum Hall Effect

Let ? be a trace on the unital C*-algebra A and M _? be the ideal of the definition of the trace ?. We obtain a C*analogue of the quantum Hall effect: if P,Q ∈ A are idempotents and P ? Q ∈ M _? , then ?((P ? Q)²ⁿ⁺¹) = ?(P ? Q) ∈ R for all n ∈ N. Let the isometries U ∈ A and A = A*∈ A be such that I+A is invertible and U-A ∈ M _? with ?(U-A) ∈ R. Then I-A, I?U ∈ M _? and ?(I?U) ∈ R. Let n ∈ N, dimH = 2n + 1, the symmetry operators U, V ∈ B(H), and W = U ? V. Then the operator W is not a symmetry, and if V = V*, then the operator W is nonunitary.     

On idempotent <Emphasis Type="Italic">τ</Emphasis>-measurable operators affiliated to a von Neumann algebra

Let τ be a faithful normal semifinite trace on a von Neumann algebra M, let p, 0 < p < ∞, be a number, and let L_p(M, τ) be the space of operators whose pth power is integrable (with respect to τ). Let P and Q be τ-measurable idempotents, and let A ≡ P ? Q. In this case, 1) if A ≥ 0, then A is a projection and QA = AQ = 0; 2) if P is quasinormal, then P is a projection; 3) if Q ∈ M and A ∈ L_p(M, τ), then A² ∈ L_p(M, τ). Let n be a positive integer, n > 2, and A = Aⁿ ∈ M. In this case, 1) if A ≠ 0, then the values of the nonincreasing rearrangement μ_t(A) belong to the set {0} ∪ [‖A^n?2‖^?1, ‖A‖] for all t > 0; 2) either μ_t(A) ≥ 1 for all t > 0 or there is a t₀ > 0 such that μ_t(A) = 0 for all t > t₀. For every τ-measurable idempotent Q, there is aunique rank projection P ∈ M with QP = P, PQ = Q, and PM = QM. There is a unique decomposition Q = P + Z, where Z² = 0, ZP = 0, and PZ = Z. Here, if Q ∈ L_p(M, τ), then P is integrable, and τ(Q) = τ(P) for p = 1. If A ∈ L₁(M, τ) and if A = A³ and A ? A² ∈ M, then τ(A) ∈ R.     

Sharp Weak Type Inequalities for Fractional Integral Operators

Suppose that d≥1 is an integer, α∈(0,d) is a fixed parameter and let I _α be the fractional integral operator associated with d-dimensional Walsh-Fourier series on (0,1] ^d . Let p, q be arbitrary numbers satisfying the conditions 1≤p<d/α and 1/q=1/p?α/d. We determine the optimal constant K, which depends on α, d and p, such that for any f∈L ^p ((0,1] ^d ) we have

$$ ||I_{\alpha } f||_{L^{q,\infty }((0,1]^{d})}\leq K||f||_{L^{p}((0,1]^{d})}. $$

In fact, we shall prove this inequality in the more general context of probability spaces equipped with a regular tree-like structures. This allows us to obtain this result also for non-integer dimension. The proof exploits a certain modification of the so-called Bellman function method and appropriate interpolation-type arguments. We also present a sharp weighted weak-type bound for I _α , which can be regarded as a version of the Muckenhoupt-Wheeden conjecture for fractional integral operators.

     

On structural decompositions of finite frames

A frame in an n-dimensional Hilbert space H _n is a possibly redundant collection of vectors {f _i } _i∈I that span the space. A tight frame is a generalization of an orthonormal basis. A frame {f _i } _i∈I is said to be scalable if there exist nonnegative scalars {c _i } _i∈I such that {c _i f _i } _i∈I is a tight frame. In this paper we study the combinatorial structure of frames and their decomposition into tight or scalable subsets by using partially-ordered sets (posets). We define the factor poset of a frame {f _i } _i∈I to be a collection of subsets of I ordered by inclusion so that nonempty J?I is in the factor poset iff {f _j } _j∈J is a tight frame for H _n . We study various properties of factor posets and address the inverse factor poset problem, which inquires when there exists a frame whose factor poset is some given poset P. We then turn our attention to scalable frames and present partial results regarding when a frame can be scaled to have a given factor poset; in doing so we present a bridge between erasure resilience (as studied via prime tight frames) and scalability.