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.     

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.     

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.     

On the Duality of Semiantichains and Unichain Coverings

We study a min-max relation conjectured by Saks and West: For any two posets P and Q the size of a maximum semiantichain and the size of a minimum unichain covering in the product P×Q are equal. As a positive result, we state conditions on P and Q that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs for several instances where the conjecture had been verified before. However, we also have examples showing that in general the min-max relation is false, i.e., we disprove the Saks-West conjecture.     

On the Probabilistic Nature of Quantum Mechanics and the Notion of Closed Systems

The notion of “closed systems” in Quantum Mechanics is discussed. For this purpose, we study two models of a quantum mechanical system P spatially far separated from the “rest of the universe” Q. Under reasonable assumptions on the interaction between P and Q, we show that the system P behaves as a closed system if the initial state of P ∨ Q belongs to a large class of states, including ones exhibiting entanglement between P and Q. We use our results to illustrate the non-deterministic nature of quantum mechanics. Studying a specific example, we show that assigning an initial state and a unitary time evolution to a quantum system is generally not sufficient to predict the results of a measurement with certainty.     

A note on the perturbations of compact quantum metric spaces

In this short note,we consider the perturbation of compact quantum metric spaces.We first show that for two compact quantum metric spaces(A,P) and(B,Q) for which A and B are subspaces of an order-unit space C and P and Q are Lip-norms on A and B respectively,the quantum Gromov–Hausdorff distance between(A,P) and(B,Q) is small under certain conditions.Then some other perturbation results on compact quantum metric spaces derived from spectral triples are also given.     

Free Mutual Information for Two Projections

The present paper provides a proof of \(i^*(\mathbb {C}P+\mathbb {C}(I-P); \mathbb {C}Q+\mathbb {C}(I-Q))=-\chi _{{ orb}}(P,Q)\) for two projections P, Q without any extra assumptions. An analytic approach is adopted to the proof, based on a subordination result for the liberation process of symmetries associated with P, Q.     

The Injective Leavitt Complex

For a finite quiver Q without sinks, we consider the corresponding finite dimensional algebra A with radical square zero. We construct an explicit compact generator for the homotopy category of acyclic complexes of injective A-modules. We call such a generator the injective Leavitt complex of Q. This terminology is justified by the following result: the differential graded endomorphism algebra of the injective Leavitt complex of Q is quasi-isomorphic to the Leavitt path algebra of Q. Here, the Leavitt path algebra is naturally \(\mathbb {Z}\)-graded and viewed as a differential graded algebra with trivial differential.     

Coercivity results of a modified <Emphasis Type="Italic">Q</Emphasis><Subscript>1</Subscript>-finite volume element scheme for anisotropic diffusion problems

In this paper, we study a so-called modified Q ₁-finite volume element scheme that is obtained by employing the trapezoidal rule to approximate the line integrals in the classical Q ₁-finite volume element method. A necessary and sufficient condition is obtained for the positive definiteness of a certain element stiffness matrix. Based on this result, a sufficient condition is suggested to guarantee the coercivity of the scheme on arbitrary convex quadrilateral meshes. When the diffusion tensor is an identity matrix, this sufficient condition reduces to a geometric one, covering some standard meshes, such as the traditional h ^1+γ -parallelogram meshes and some trapezoidal meshes. More interesting is that, this sufficient condition has explicit expression, by which one can easily judge on any diffusion tensor and any mesh with any mesh size h > 0. The H ¹ error estimate of the modified Q ₁-finite volume element scheme is obtained without the traditional h ^1+γ -parallelogram assumption. Some numerical experiments are carried out to validate the theoretical analysis.     

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.     

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.     

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.     

Strictly singular operators in pairs of <Emphasis Type="Italic">L</Emphasis> <Subscript> <Emphasis Type="Italic">p</Emphasis> </Subscript> space

Let E and F be Banach spaces. A linear operator from E to F is said to be strictly singular if, for any subspace Q ? E, the restriction of A to Q is not an isomorphism. A compactness criterion for any strictly singular operator from L_p to L_q is found. There exists a strictly singular but not superstrictly singular operator on L_p, provided that p ≠ 2.     

Explicit subspace designs

A subspace design is a collection {H ₁, H ₂, ...,H _M } of subspaces of \(\mathbb{F}_q^m\) with the property that no low-dimensional subspace W of \(\mathbb{F}_q^m\) intersects too many subspaces of the collection. Subspace designs were introduced by Guruswami and Xing (STOC 2013) who used them to give a randomized construction of optimal rate list-decodable codes over constant-sized large alphabets and sub-logarithmic (and even smaller) list size. Subspace designs are the only non-explicit part of their construction. In this paper, we give explicit constructions of subspace designs with parameters close to the probabilistic construction, and this implies the first deterministic polynomial time construction of list-decodable codes achieving the above parameters.Our constructions of subspace designs are natural and easily described, and are based on univariate polynomials over finite fields. Curiously, the constructions are very closely related to certain good list-decodable codes (folded RS codes and univariate multiplicity codes). The proof of the subspace design property uses the polynomial method (with multiplicities): Given a target low-dimensional subspace W, we construct a nonzero low-degree polynomial P _W that has several roots for each H _i that non-trivially intersects W. The construction of P _W is based on the classical Wronskian determinant and the folded Wronskian determinant, the latter being a recently studied notion that we make explicit in this paper. Our analysis reveals some new phenomena about the zeroes of univariate polynomials, namely that polynomials with many structured roots or many high multiplicity roots tend to be linearly independent.     

The complete reducibility of some <Emphasis Type="Italic">GF</Emphasis>(2)<Emphasis Type="Italic">A</Emphasis><Subscript>7</Subscript>-modules

It is proved that, if G is a finite group with a nontrivial normal 2-subgroup Q such that G/Q ～= A ₇ and an element of order 5 from G acts freely on Q, then the extension G over Q is splittable, Q is an elementary abelian group, and Q is the direct product of minimal normal subgroups of G each of which is isomorphic, as a G/Q-module, to one of the two 4-dimensional irreducible GF(2)A ₇-modules that are conjugate with respect to an outer automorphism of the group A ₇.     

Dirac Operator with a Potential of Special Form and with the Periodic Boundary Conditions

We consider the Dirac operator on the interval [0, 1] with the periodic boundary conditions and with a continuous potential Q(x) whose diagonal is zero and which satisfies the condition Q(x) = Q^T(1?x), x ∈ [0, 1]. We establish a relationship between the spectrum of this operator and the spectra of related functional-differential operators with involution. We prove that the system of eigenfunctions of this Dirac operator has the Riesz basis property in the space L ₂ ² [0, 1].     

Elliptic ovoids and their rosettes in a classical generalized quadrangle of even order

Let Q₀ be the classical generalized quadrangle of order q = 2ⁿ(n≥2) arising from a non-degenerate quadratic form in a 5-dimensional vector space defined over a finite field of order q. We consider the rank two geometry \(\mathcal {X}\) having as points all the elliptic ovoids of Q₀ and as lines the maximal pencils of elliptic ovoids of Q₀ pairwise tangent at the same point. We first prove that \(\mathcal {X}\) is isomorphic to a 2-fold quotient of the affine generalized quadrangle Q?Q₀, where Q is the classical (q,q²)-generalized quadrangle admitting Q₀ as a hyperplane. Further, we classify the cliques in the collinearity graph Γ of \(\mathcal {X}\). We prove that any maximal clique in Γ is either a line of \(\mathcal {X}\) or it consists of 6 or 4 points of \(\mathcal {X}\) not contained in any line of \(\mathcal {X}\), accordingly as n is odd or even. We count the number of cliques of each type and show that those cliques which are not contained in lines of \(\mathcal {X}\) arise as subgeometries of Q defined over \(\mathbb {F}_{2}\).     

Decomposition theorems for<Emphasis Type="Italic">Q</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> spaces

We study the Möbius invariant spacesQ _p andQ _{p, 0} of analytic functions. These scales of spaces include BMOA=Q₁, VMOA=Q_{1, 0} and the Dirichlet space=Q₀. Using the Bergman metric, we establish decomposition theorems for these spaces. We obtain also a fractional derivative characterization for bothQ _p andQ _{p, 0} .     

On the centers of quantum groups of <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-type

Let g be the finite dimensional simple Lie algebra of type An, and let U? = U _q (g,Λ) and U = U _q (g,Q) be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U? for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U? = U _q (g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U? = U _q (g,Λ) and U = U _q (g,Q).