Linear preservers and quantum information science

In this article, a brief survey of recent results on linear preserver problems and quantum information science is given. In addition, characterization is obtained for linear operators φ on mn?×?mn Hermitian matrices such that φ(A???B) and A???B have the same spectrum for any m?×?m Hermitian A and n?×?n Hermitian B. Such a map has the form A???B???U(?₁(A)????₂(B))U* for mn?×?mn Hermitian matrices in tensor form A???B, where U is a unitary matrix, and for j?∈?{1,?2}, ? _j is the identity map?X???X or the transposition map?X???X ^t . The structure of linear maps leaving invariant the spectral radius of matrices in tensor form A???B is also obtained. The results are connected to bipartite (quantum) systems and are extended to multipartite systems.     

Quantum homogeneous spaces with faithfully flat module structures

LetA be a Hopf algebra with bijective antipode andB⊃A a right coideal subalgebra ofA. Formally, the inclusionB⊃A defines a quotient mapG→X whereG is a quantum group andX a right homogeneousG-space. From an algebraic point of view theG-spaceX only has good properties ifA is left (or right) faithfully flat as a module overB. In the last few years many interesting examples of quantumG-spaces for concrete quantum groupsG have been constructured by Podleś, Noumi, Dijkhuizen and others (as analogs of classical compact symmetric spaces). In these examplesB consists of infinitesimal invariants of the function algebraA of the quantum group. As a consequence of a general theorem we show that in all these casesA as a left or rightB-module is faithfully flat. Moreover, the coalgebraA/AB ⁺ is cosemisimple.     

Subfactors associated to compact Kac algebras

We construct inclusions of the form (B ₀P) ^G (B ₁P) ^G , whereG is a compact quantum group of Kac type acting on an inclusion of finite dimensional C^*-algebrasB ₀B ₁ and on aII ₁ factorP. Under suitable assumptions on the actions ofG, this is a subfactor, whose Jones tower and standard invariant can be computed by using techniques of A. Wassermann. The subfactors associated to subgroups of compact groups, to projective representations of compact groups, to finite quantum groups, to finitely generated discrete groups, to vertex models and to spin models are of this form.     

Do Uncertainty Minimizers Attain Minimal Uncertainty?

The uncertainty principle is a fundamental concept in quantum mechanics, harmonic analysis and signal and information theory. It is rooted in the framework of quantum mechanics, where it is known as the Heisenberg uncertainty principle. In general, the uncertainty principle gives a lower bound on the product of variances for any state f with respect to two self-adjoint operators:

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

Optimal query error of quantum approximation on some Sobolev classes

We study the approximation of the imbedding of functions from anisotropic and general-ized Sobolev classes into Lq([0,1]d) space in the quantum model of computation. Based on the quantum algorithms for approximation of finite imbedding from LpN to LNq , we develop quantum algorithms for approximating the imbedding from anisotropic Sobolev classes B(Wpr ([0,1]d)) to Lq([0,1]d) space for all 1 q,p ∞ and prove their optimality. Our results show that for p < q the quantum model of computation can bring a speedup roughly up to a squaring of the rate in the classical deterministic and randomized settings.     

On the reconstruction of boolean algebras from their automorphism groups

A Boolean algebraB is called faithful, if for every direct summandB ₁ ofB: ifB ₁ is rigid, (that is, it does not have any automorphisms other than the identity), then there isB ₂ such thatBB ₁×B ₁×B ₁×B ₂. LetB be a complete Boolean algebra, thenB can be uniquely represented asBB ^R×B ^D×B ^D×B ^F, whereB ^R,B ^D,B ^F are pairwise totally different, (that is, no two of them have non-zero isomorphic direct summands),B ^R,B ^D are rigid andB ^F is faithful. Aut(B) denotes the automorphism group ofB.I thank the NSF for supporting this research by a grant.     

Designs with mutually orthogonal resolutions and decompositions of edge‐colored graphs

Two resolutions R and R^′ of a combinatorial design are called orthogonal if |R_i∩R|≤1 for all R_i∈R and R∈R^′. A set Q={R¹, R², …, R^d} of d resolutions of a combinatorial design is called a set of mutually orthogonal resolutions (MORs) if the resolutions of Q are pairwise orthogonal. In this paper, we establish necessary and sufficient conditions for the asymptotic existence of a (v, k, 1)‐BIBD with d mutually orthogonal resolutions for d≥2 and k≥3 and necessary and sufficient conditions for the asymptotic existence of a (v, k, k?1)‐BIBD with d mutually orthogonal near resolutions for d≥2 and k≥3. We use complementary designs and the most general form of an asymptotic existence theorem for decompositions of edge‐colored complete digraphs into prespecified edge‐colored subgraphs. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 425–447, 2009     

Dual canonical bases,quantum shuffles and <Emphasis Type="Italic">q</Emphasis>-characters

Rosso and Green have shown how to embed the positive part U_q() of a quantum enveloping algebra U_q() in a quantum shuffle algebra. In this paper we study some properties of the image of the dual canonical basis B^* of U_q() under this embedding . This is motivated by the fact that when is of type A_r, the elements of (B^*) are q-analogues of irreducible characters of the affine Iwahori-Hecke algebras attached to the groups GL(m) over a p-adic field.     

Approximation of the bifurcation function for elliptic boundary value problems

The bifurcation function for an elliptic boundary value problem is a vector field B(ω) on R ^d whose zeros are in a one‐to‐one correspondence with the solutions of the boundary value problem. Finite element approximations of the boundary value problem are shown to give rise to an approximate bifurcation function B^h(ω), which is also a vector field on R ^d. Estimates of the difference B(ω) − B^h(ω) are derived, and methods for computing B^h(ω) are discussed. © 2000 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 16: 194–213, 2000     

Preservation theorems for Kripke models

There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds A^α and B^α of them, A^α is a subset of B^α and forcing of atomic formulas with parameters in the smaller one, in A and B, are the same. In this case, B is called an extension of A. We characterize theories that are preserved under taking submodels and also those that are preserved under taking extensions as universal and existential theories, respectively. We also study the notion elementary submodel defined in the same style and give some results concerning this notion. In particular, we prove that the relation between each two corresponding worlds of finite Kripke models A ≤ B is elementary extension (in the classical sense) (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Least‐squares solutions and least‐rank solutions of the matrix equation AXA* = B and their relations

A Hermitian matrix X is called a least‐squares solution of the inconsistent matrix equation AXA^* = B, where B is Hermitian. A^* denotes the conjugate transpose of A if it minimizes the F‐norm of B ? AXA^*; it is called a least‐rank solution of AXA^* = B if it minimizes the rank of B ? AXA^*. In this paper, we study these two types of solutions by using generalized inverses of matrices and some matrix decompositions. In particular, we derive necessary and sufficient conditions for the two types of solutions to coincide. Copyright © 2012 John Wiley & Sons, Ltd.     

The Structure Theorem of Weak Comodule Algebras

This article mainly gives the structure theorem of weak comodule algebras, that is, assume that H is a weak Hopf algebra, and B a weak right H-comodule algebra, if there exists a morphism φ: H → B of a weak right H-comodule algebras, then there exists an algebra isomorphism: B ? B ^coH #H, where B ^coH denotes the coinvariant subalgebra of B, and B ^coH #H denotes the weak smash product.     

Maximal commutative subalgebras of matrix algebras

Maximal commutative subalgebras of the algebra of n by n matrices over a field k very rarely have dimension smaller than n. There is a (B, N)-construction which yields subalgebras of this kind. The Courter's algebra that is of this kind was shown a (B, N)-construction where B is the Schur algebra of size 4 and N = k ⁴. That is, the Courter's algebra is isomorphic to B ? (k ⁴)², the idealization of (k ⁴)². It was questioned how many isomorphism classes can be produced by varying the finitely generated faithful B-module N. In this paper, we will show that the set of all algebras B ? N ² fall into a single isomorphism class, where B is the Schur algebra of size 4 and N a finitely generated faithful B-module.     

Théorie tannakienne non commutative

Inspired by a recent paper by Deligne [2], we extend the Tannaka-Krein duility results (over a field) to the non-commutative situation. To be precise, we establish a 1-1 corresponde:ice between ‘tensorial autonomous categories’ equipped with a ‘fibre functor’ (i. e. tannakian categories without the commutativity condition on the tensor product), and ‘quantum groupoids’ (as defined by Maltsiniotis, [9]) which are ‘transitive’ (7.1.). When the base field is perfect, a quantum groupoid over Spec B is transitive iff it is projective and faithfully fiat over B? _k B. Moreover, the fibre functor is unique up to ‘quantum isomorphism’ (7.6.). Actually, we show Tannaka-Krein duality results in the more general setting where there is no monoidal structure on the category (and the functor); the algebraic object corresponding to such a category is a ‘semi-transitive’ coalgebroid (5.2. and 5.8.).     

DÉVELOPPEMENTS ASYMPTOTIQUES DE L'OPÉRATEUR DE SCHRÖDINGER AVEC CHAMP MAGNÉTIQUE FORT

We consider the Schrödinger operator P _B (V) = P _B + V, in L ² (R ^2d ) where P _B = (i ? + BA(x))². Here V is a decreasing potential and B is a large constant. We assume that the magnetic field “dA(x)” is constant. For f ∈ C ₀ ^∞ (I), where I is an open interval noncontaining the origin, we obtain an asymptotic expansion in powers of B ^?1, of tr (f(P _B (V) ? BΛ)), when B → + ∞. Here B Λ is a fixed Landau level of σ (P _B ). We give plicitly the two leading terms. Hence, we get precise remainder estimates for the counting function of eigenvalues of P _B (V) near BΛ. We apply these results to the Pauli operator in the two-dimensional case.     

Wellposedness for anisotropic rotating fluid equations

The wellposedness problem for an anisotropic incompressible viscous fluid in R3,rotating around a vector B(t,x):=(b1(t,x),b2(t,x),b3(t,x)),is studied.The global wellposedness in the homogeneous case (B...     

On the infimum problem of Hilbert space effects

The quantum effects for a physical system can be described by the set ε(H) of positive operators on a complex Hilbert space H that are bounded above by the identity operator I. The infimum problem of Hilbert space effects is to find under what condition the infimum A∧B exists for two quantum effects A and B∈ε(H). The problem has been studied in different contexts by R. Kadison, S. Gudder, M. Moreland, and T. Ando. In this note, using the method of the spectral theory of operators, we give a complete answer of the infimum problem. The characterizations of the existence of infimum A∧B for two effects A. B∈ε(H) are established.     

Recognition problems for special classes of polynomials in 0–1 variables

This paper investigates the complexity of various recognition problems for pseudo-Boolean functions (i.e., real-valued functions defined on the unit hypercubeB ⁿ = {0, 1} ⁿ ), when such functions are represented as multilinear polynomials in their variables. Determining whether a pseudo-Boolean function (a) is monotonic, or (b) is supermodular, or (c) is threshold, or (d) has a unique local maximum in each face ofB ⁿ , or (e) has a unique local maximum inB ⁿ , is shown to be NP-hard. A polynomial-time recognition algorithm is presented for unimodular functions, previously introduced by Hansen and Simeone as a class of functions whose maximization overB ⁿ is reducible to a network minimum cut problem.     

The Characteristic Intersection Property of Line-Free Choquet Simplices in <Emphasis Type="Italic">E</Emphasis><Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

   Abstract. Generalizing the characteristic intersection property of Choquet simplices, it is proved that for line-free convex bodies B ₁ and B ₂ in E ^d , the following conditions are equivalent: (i) there is a line-free convex body B ⊂ E ^d such that every nonempty intersection B ₁ ∩ (v + B ₂ ) , v ∈ E ^d , is a homothetic copy of B , (ii) both B ₁ and B ₂ are Choquet simplices and the nonempty intersections B ₁ ∩ (v + B ₂ ) , v ∈ E ^d , are homothetic copies of a Choquet simplex B . All such triplets B ₁ ,B ₂ ,B are described.