-
A smoothing moving balls approximation method for a class of conic-constrained difference-of-convex optimization problems
Authors:
Jiefeng Xu,
Ting Kei Pong,
Nung-sing Sze
Abstract:
In this paper, we consider the problem of minimizing a difference-of-convex objective over a nonlinear conic constraint, where the cone is closed, convex, pointed and has a nonempty interior. We assume that the support function of a compact base of the polar cone exhibits a majorizing smoothing approximation, a condition that is satisfied by widely studied cones such as $\mathbb{R}^m_-$ and…
▽ More
In this paper, we consider the problem of minimizing a difference-of-convex objective over a nonlinear conic constraint, where the cone is closed, convex, pointed and has a nonempty interior. We assume that the support function of a compact base of the polar cone exhibits a majorizing smoothing approximation, a condition that is satisfied by widely studied cones such as $\mathbb{R}^m_-$ and ${\cal S}^m_-$. Leveraging this condition, we reformulate the conic constraint equivalently as a single constraint involving the aforementioned support function, and adapt the moving balls approximation (MBA) method for its solution. In essence, in each iteration of our algorithm, we approximate the support function by a smooth approximation function and apply one MBA step. The subproblems that arise in our algorithm always involve only one single inequality constraint, and can thus be solved efficiently via one-dimensional root-finding procedures. We design explicit rules to evolve the smooth approximation functions from iteration to iteration and establish the corresponding iteration complexity for obtaining an $ε$-Karush-Kuhn-Tucker point. In addition, in the convex setting, we establish convergence of the sequence generated, and study its local convergence rate under a standard Hölderian growth condition. Finally, we illustrate numerically the effects of different rules of evolving the smooth approximation functions on the rate of convergence.
△ Less
Submitted 18 May, 2025;
originally announced May 2025.
-
Characterizing High Schmidt Number Witnesses in Arbitrary Dimensions System
Authors:
Liang Xiong,
Nung-sing Sze
Abstract:
A profound comprehension of quantum entanglement is crucial for the progression of quantum technologies. The degree of entanglement can be assessed by enumerating the entangled degrees of freedom, leading to the determination of a parameter known as the Schmidt number. In this paper, we develop an efficient analytical tool for characterizing high Schmidt number witnesses for bipartite quantum stat…
▽ More
A profound comprehension of quantum entanglement is crucial for the progression of quantum technologies. The degree of entanglement can be assessed by enumerating the entangled degrees of freedom, leading to the determination of a parameter known as the Schmidt number. In this paper, we develop an efficient analytical tool for characterizing high Schmidt number witnesses for bipartite quantum states in arbitrary dimensions. Our methods not only offer viable mathematical methods for constructing high-dimensional Schmidt number witnesses in theory but also simplify the quantification of entanglement and dimensionality. Most notably, we develop high-dimensional Schmidt number witnesses within arbitrary-dimensional systems, with our Schmidt witness coefficients relying solely on the operator Schmidt coefficient. Subsequently, we demonstrate our theoretical advancements and computational superiority by constructing Schmidt number witnesses in arbitrary dimensional bipartite quantum systems with Schmidt numbers four and five.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
The dimension and Bose distance of certain primitive BCH codes
Authors:
Run Zheng,
Nung-Sing Sze,
Zejun Huang
Abstract:
Bose-Ray-Chaudhuri-Hocquenghem (BCH) codes are a significant class of cyclic codes that play an important role in both theoretical research and practical applications. Their strong error-correcting abilities and efficient encoding and decoding methods make BCH codes widely applicable in various areas, including communication systems, data storage devices, and consumer electronics. Although BCH cod…
▽ More
Bose-Ray-Chaudhuri-Hocquenghem (BCH) codes are a significant class of cyclic codes that play an important role in both theoretical research and practical applications. Their strong error-correcting abilities and efficient encoding and decoding methods make BCH codes widely applicable in various areas, including communication systems, data storage devices, and consumer electronics. Although BCH codes have been extensively studied, the parameters of BCH codes are not known in general.
Let $q$ be a prime power and $m$ be a positive integer. Denote by $\mathcal{C}_{(q,m,δ)}$ the narrow-sense primitive BCH code with length $q^m-1$ and designed distance $δ$. As of now, the dimensions of $\mathcal{C}_{(q,m,δ)}$ are fully understood only for $m \leq 2$. For $m \geq 4$, the dimensions of $\mathcal{C}_{(q,m,δ)}$ are known only for the range $2 \leq δ\leq q^{\lfloor (m+1)/2 \rfloor +1}$ and for a limited number of special cases. In this paper, we determined the dimension and Bose distance of $\mathcal{C}_{(q,m,δ)}$ for $m\geq 4$ and $δ\in [2, q^{\lfloor ( 2m-1)/{3}\rfloor+1}]. $ Additionally, we have also extended our results to primitive BCH codes that are not necessarily narrow-sense.
△ Less
Submitted 16 May, 2025; v1 submitted 2 March, 2025;
originally announced March 2025.
-
Characterizations of Strongly Entanglement Breaking channels for infinite-dimensional quantum systems
Authors:
Bui Ngoc Muoi,
Nung-Sing Sze
Abstract:
Entanglement breaking (EB) channels, as completely positive and trace-preserving linear operators, sever the entanglement between the input system and other systems. In the realm of infinite-dimensional systems, a related concept known as strongly entanglement breaking (SEB) channels emerges. This paper delves into characterizations of SEB channels, delineating necessary and sufficient conditions…
▽ More
Entanglement breaking (EB) channels, as completely positive and trace-preserving linear operators, sever the entanglement between the input system and other systems. In the realm of infinite-dimensional systems, a related concept known as strongly entanglement breaking (SEB) channels emerges. This paper delves into characterizations of SEB channels, delineating necessary and sufficient conditions for a channel to be classified as SEB, especially with respect to the commutativity of its range. Moreover, we demonstrate that every closed self-adjoint subspace of trace-zero operators, with the trace norm, is the null space of a SEB channel.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Criteria of absolutely separability from spectrum for qudit-qudits states
Authors:
Liang Xiong,
Nung-Sing Sze
Abstract:
Separability from the spectrum is a significant and ongoing research topic in quantum entanglement. In this study, we investigate properties related to absolute separability from the spectrum in qudits-qudits states in the bipartite states space $\mathcal{H}_{mn}=\mathcal{H}_m \otimes \mathcal{H}_n$. Firstly, we propose the necessary and sufficient conditions for absolute separable states in the H…
▽ More
Separability from the spectrum is a significant and ongoing research topic in quantum entanglement. In this study, we investigate properties related to absolute separability from the spectrum in qudits-qudits states in the bipartite states space $\mathcal{H}_{mn}=\mathcal{H}_m \otimes \mathcal{H}_n$. Firstly, we propose the necessary and sufficient conditions for absolute separable states in the Hilbert space $\mathcal{H}_{4n}$. These conditions are equivalent to the positive semidefiniteness of twelve matrices resulting from the symmetric matricizations of eigenvalues. Furthermore, we demonstrate that this sufficient condition can be extended to the general $\mathcal{H}_{mn}$ case, improving existing conclusions in the literature. These sufficient conditions depend only on the first few leading and last few leading eigenvalues, significantly reducing the complexity of determining absolute separable states. On the other hand, we also introduce additional sufficient conditions for determining that states in $\mathcal{H}_{mn}$ are not absolutely separable. These conditions only depend on $2m-1$ eigenvalues of the mixed states. Our sufficient conditions are not only simple and easy to implement. As applications, we derive distance bounds for eigenvalues and purity bounds for general absolutely separable states.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Linear maps preserving (p,k) norms of tensor products of matrices
Authors:
Zejun Huang,
Nung-Sing Sze,
Run Zheng
Abstract:
Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices. Let $\|\cdot\|_{(p,k)}$ be the $(p,k)$ norm on $M_{mn}$ with $1\leq k\leq mn$ and $2<p<\infty$. We show that a linear map $φ:M_{mn}\rightarrow M_{mn}$ satisfies $$\|φ(A\otimes B)\|_{(p,k)}=\|A\otimes B\|_{(p,k)} {\rm\quad for~ all\quad}A\in M_m {\rm ~and ~}B\in M_n$$ if and only if there exist unitary matrices…
▽ More
Let $m,n\ge 2$ be integers. Denote by $M_n$ the set of $n\times n$ complex matrices. Let $\|\cdot\|_{(p,k)}$ be the $(p,k)$ norm on $M_{mn}$ with $1\leq k\leq mn$ and $2<p<\infty$. We show that a linear map $φ:M_{mn}\rightarrow M_{mn}$ satisfies $$\|φ(A\otimes B)\|_{(p,k)}=\|A\otimes B\|_{(p,k)} {\rm\quad for~ all\quad}A\in M_m {\rm ~and ~}B\in M_n$$ if and only if there exist unitary matrices $U,V\in M_{mn}$ such that $$φ(A\otimes B)=U(\varphi_1(A)\otimes \varphi_2(B))V {\rm\quad for~ all\quad}A\in M_m {\rm~ and~ }B\in M_n,$$ where $\varphi_s$ is the identity map or the transposition map $X\to X^T$ for $s=1,2$. The result is also extended to multipartite systems.
△ Less
Submitted 22 August, 2023; v1 submitted 1 July, 2023;
originally announced July 2023.
-
Cliques and independent sets of the Birkhoff polytope graph
Authors:
Zejun Huang,
Chi-Kwong Li,
Eric Swartz,
Nung-Sing Sze
Abstract:
The Birkhoff polytope graph has a vertex set equal to the elements of the symmetric group of degree $n$, and two elements are adjacent if one element equals the product of the other element with a cycle. Maximal and maximum cliques (sets of pairwise adjacent elements) and independent sets (sets of pairwise nonadjacent elements) of the Birkhoff polytope graph are studied. Bounds are obtained for di…
▽ More
The Birkhoff polytope graph has a vertex set equal to the elements of the symmetric group of degree $n$, and two elements are adjacent if one element equals the product of the other element with a cycle. Maximal and maximum cliques (sets of pairwise adjacent elements) and independent sets (sets of pairwise nonadjacent elements) of the Birkhoff polytope graph are studied. Bounds are obtained for different sizes of such sets.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Addressing unobserved heterogeneity at road user level for the analysis of conflict risk at tunnel toll plaza: A correlated grouped random parameters logit approach with heterogeneity in means
Authors:
Penglin Song,
N. N. Sze,
Ou Zheng,
Mohamed Abdel-Aty
Abstract:
Toll plaza is a designated area of controlled-access roads like expressway, bridge, and tunnel for toll collection. A number of toll booths are often placed at the toll plaza accommodating high passing traffic and multiple payment methods. Traffic and safety characteristics of toll plazas are different from that of other road entities. Different conflict risk indicators, which are usually longitud…
▽ More
Toll plaza is a designated area of controlled-access roads like expressway, bridge, and tunnel for toll collection. A number of toll booths are often placed at the toll plaza accommodating high passing traffic and multiple payment methods. Traffic and safety characteristics of toll plazas are different from that of other road entities. Different conflict risk indicators, which are usually longitudinal, have been adopted for real-time safety assessment. In this study, correlated grouped random parameter logit models with heterogeneity in the means are established to capture the unobserved heterogeneity, with additional flexibility, at road user level for the association between conflict risk and influencing factors. In addition, modified conflict risk indicator is developed to assess the safety of diverging, merging, and weaving movements of traffic, with which vehicles' dimensions (width and length), and longitudinal and angular movements are considered. Also, prevalence and severity of both rear-end and sideswipe conflicts are assessed. Results indicate that toll collection type, vehicle's location, average longitudinal speed, angular speed, acceleration, and vehicle class all affect the risk of traffic conflicts. Furthermore, there are significant correlation among the random parameters of severe traffic conflicts. Proposed analytic method can accommodate the conflict risk analysis for different conflict types and account for the correlation of unobserved heterogeneity. Findings should shed light on appropriate remedial measures like traffic signs, road markings, and advanced traffic management system that can improve the safety at tunnel toll plazas.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Observing geometry of quantum states in a three-level system
Authors:
Jie Xie,
Aonan Zhang,
Ningping Cao,
Huichao Xu,
Kaimin Zheng,
Yiu-Tung Poon,
Nung-Sing Sze,
Ping Xu,
Bei Zeng,
Lijian Zhang
Abstract:
In quantum mechanics, geometry has been demonstrated as a useful tool for inferring non-classical behaviors and exotic properties of quantum systems. One standard approach to illustrate the geometry of quantum systems is to project the quantum state space to the Euclidean space via measurements of observables on the system. Despite the great success of this method in studying two-level quantum sys…
▽ More
In quantum mechanics, geometry has been demonstrated as a useful tool for inferring non-classical behaviors and exotic properties of quantum systems. One standard approach to illustrate the geometry of quantum systems is to project the quantum state space to the Euclidean space via measurements of observables on the system. Despite the great success of this method in studying two-level quantum systems (qubits) with the celebrated Bloch sphere representation, there is always the difficulty to reveal the geometry of multi-dimensional quantum systems. Here we report the first experiment measuring the geometry of such projections beyond the qubit. Specifically, we observe the joint numerical ranges (JNRs) of a triple of observables in a three-level photonic system, providing complete classification of the JNRs. We further show that the geometry of different classes reveal ground-state degeneracies of a Hamiltonian as a linear combination of the observables, which is related to quantum phases in the thermodynamic limit. Our results offer a versatile geometric approach for exploring the properties of higher-dimensional quantum systems.
△ Less
Submitted 17 January, 2021; v1 submitted 12 September, 2019;
originally announced September 2019.
-
The generalized numerical range of a set of matrices
Authors:
Pan-Shun Lau,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
For a given set of $n\times n$ matrices $\mathcal F$, we study the union of the $C$-numerical ranges of the matrices in the set $\mathcal F$, denoted by $W_C({\mathcal F})$. We obtain basic algebraic and topological properties of $W_C({\mathcal F})$, and show that there are connections between the geometric properties of $W_C({\mathcal F})$ and the algebraic properties of $C$ and the matrices in…
▽ More
For a given set of $n\times n$ matrices $\mathcal F$, we study the union of the $C$-numerical ranges of the matrices in the set $\mathcal F$, denoted by $W_C({\mathcal F})$. We obtain basic algebraic and topological properties of $W_C({\mathcal F})$, and show that there are connections between the geometric properties of $W_C({\mathcal F})$ and the algebraic properties of $C$ and the matrices in ${\mathcal F}$. Furthermore, we consider the starshapedness and convexity of the set $W_C({\mathcal F})$. In particular, we show that if ${\mathcal F}$ is the convex hull of two matrices such that $W_C(A)$ and $W_C(B)$ are convex, then the set $W_C({\mathcal F})$ is star-shaped. We also investigate the extensions of the results to the joint $C$-numerical range of an $m$-tuple of matrices.
△ Less
Submitted 1 May, 2018;
originally announced May 2018.
-
Convexity and Star-shapedness of Matricial Range
Authors:
Pan-Shun Lau,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
Let ${\bf A} = (A_1, \dots, A_m)$ be an $m$-tuple of bounded linear operators acting on a Hilbert space ${\cal H}$. Their joint $(p,q)$-matricial range $Λ_{p,q}({\bf A})$ is the collection of $(B_1, \dots, B_m) \in {\bf M}_q^m$, where $I_p\otimes B_j$ is a compression of $A_j$ on a $pq$-dimensional subspace. This definition covers various kinds of generalized numerical ranges for different values…
▽ More
Let ${\bf A} = (A_1, \dots, A_m)$ be an $m$-tuple of bounded linear operators acting on a Hilbert space ${\cal H}$. Their joint $(p,q)$-matricial range $Λ_{p,q}({\bf A})$ is the collection of $(B_1, \dots, B_m) \in {\bf M}_q^m$, where $I_p\otimes B_j$ is a compression of $A_j$ on a $pq$-dimensional subspace. This definition covers various kinds of generalized numerical ranges for different values of $p,q,m$. In this paper, it is shown that $Λ_{p,q}({\bf A})$ is star-shaped if the dimension of $\cal H$ is sufficiently large. If $\dim {\cal H}$ is infinite, we extend the definition of $Λ_{p,q}({\bf A})$ to $Λ_{\infty,q}({\bf A})$ consisting of $(B_1, \dots, B_m) \in {\bf M}_q^m$ such that $I_\infty \otimes B_j$ is a compression of $A_j$ on a closed subspace of ${\cal H}$, and consider the joint essential $(p,q)$-matricial range $$Λ^{ess}_{p,q}({\bf A}) = \bigcap \{ {\bf cl}(Λ_{p,q}(A_1+F_1, \dots, A_m+F_m)): F_1, \dots, F_m \hbox{ are compact operators}\}.$$ Both sets are shown to be convex, and the latter one is always non-empty and compact.
△ Less
Submitted 4 April, 2018; v1 submitted 26 October, 2017;
originally announced October 2017.
-
Unitary similarity invariant function preservers of skew products of operators
Authors:
Jianlian Cui,
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
Let ${\mathcal B}(H)$ denote the Banach algebra of all bounded linear operators on a complex Hilbert space $H$ with $\dim H\geq 3$, and let $\mathcal A$ and $\mathcal B$ be subsets of ${\mathcal B}(H)$ which contain all rank one operators. Suppose $F(\cdot )$ is a unitary invariant norm, the pseudo spectra, the pseudo spectral radius, the $C$-numerical range, or the $C$-numerical radius for some f…
▽ More
Let ${\mathcal B}(H)$ denote the Banach algebra of all bounded linear operators on a complex Hilbert space $H$ with $\dim H\geq 3$, and let $\mathcal A$ and $\mathcal B$ be subsets of ${\mathcal B}(H)$ which contain all rank one operators. Suppose $F(\cdot )$ is a unitary invariant norm, the pseudo spectra, the pseudo spectral radius, the $C$-numerical range, or the $C$-numerical radius for some finite rank operator $C$. The structure is determined for surjective maps $Φ:{\mathcal A}\rightarrow \mathcal B$ satisfying $F(A^*B)=F(Φ(A)^*Φ(B))$ for all $A, B \in {\mathcal A}$. To establish the proofs, some general results are obtained for functions $F:{\mathcal F}_1(H) \cup \{0\} \rightarrow [0, +\infty)$, where ${\mathcal F}_1(H)$ is the set of rank one operators in ${\mathcal B}(H)$, satisfying (a) $F(μUAU^*)=F(A)$ for a complex unit $μ$, $A\in {\mathcal F}_1(H)$ and unitary $U \in {\mathcal B}(H)$ (b) for any rank one operator $X\in {\mathcal F}_1(H)$ the map $t\mapsto F(tX)$ on $[0, \infty)$ is strictly increasing, and (c) the set $\{F(X): X \in {\mathcal F}_1(H) \hbox{ and } \|X\| = 1\}$ attains its maximum and minimum.
△ Less
Submitted 28 April, 2017; v1 submitted 5 August, 2016;
originally announced August 2016.
-
Linear rank preservers of tensor products of rank one matrices
Authors:
Zejun Huang,
Shiyu Shi,
Nung-Sing Sze
Abstract:
Let $n_1,\ldots,n_k $ be integers larger than or equal to 2. We characterize linear maps $φ: M_{n_1\cdots n_k}\rightarrow M_{n_1\cdots n_k}$ such that $${\mathrm rank}\,(φ(A_1\otimes \cdots \otimes A_k))=1\quad\hbox{whenever}\quad{\mathrm rank}\, (A_1\otimes \cdots \otimes A_k)=1 \quad \hbox{for all}\quad A_i \in M_{n_i},\, i = 1,\dots,k.$$ Applying this result, we extend two recent results on lin…
▽ More
Let $n_1,\ldots,n_k $ be integers larger than or equal to 2. We characterize linear maps $φ: M_{n_1\cdots n_k}\rightarrow M_{n_1\cdots n_k}$ such that $${\mathrm rank}\,(φ(A_1\otimes \cdots \otimes A_k))=1\quad\hbox{whenever}\quad{\mathrm rank}\, (A_1\otimes \cdots \otimes A_k)=1 \quad \hbox{for all}\quad A_i \in M_{n_i},\, i = 1,\dots,k.$$ Applying this result, we extend two recent results on linear maps that preserving the rank of special classes of matrices.
△ Less
Submitted 24 January, 2017; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Product of positive semi-definite matrices
Authors:
Jianlian Cui,
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
It is known that every complex square matrix with nonnegative determinant is the product of positive semi-definite matrices. There are characterizations of matrices that require two or five positive semi-definite matrices in the product. However, the characterizations of matrices that require three or four positive semi-definite matrices in the product are lacking. In this paper, we give a complet…
▽ More
It is known that every complex square matrix with nonnegative determinant is the product of positive semi-definite matrices. There are characterizations of matrices that require two or five positive semi-definite matrices in the product. However, the characterizations of matrices that require three or four positive semi-definite matrices in the product are lacking. In this paper, we give a complete characterization of these two types of matrices. With these results, we give an algorithm to determine whether a square matrix can be expressed as the product of $k$ positive semi-definite matrices but not fewer, for $k = 1,2,3,4,5$.
△ Less
Submitted 26 September, 2015; v1 submitted 30 June, 2015;
originally announced June 2015.
-
Solution to time-energy costs of quantum channels
Authors:
Chi-Hang Fred Fung,
H. F. Chau,
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
We derive a formula for the time-energy costs of general quantum channels proposed in [Phys. Rev. A 88, 012307 (2013)]. This formula allows us to numerically find the time-energy cost of any quantum channel using positive semidefinite programming. We also derive a lower bound to the time-energy cost for any channels and the exact the time-energy cost for a class of channels which includes the qudi…
▽ More
We derive a formula for the time-energy costs of general quantum channels proposed in [Phys. Rev. A 88, 012307 (2013)]. This formula allows us to numerically find the time-energy cost of any quantum channel using positive semidefinite programming. We also derive a lower bound to the time-energy cost for any channels and the exact the time-energy cost for a class of channels which includes the qudit depolarizing channels and projector channels as special cases.
△ Less
Submitted 16 December, 2014; v1 submitted 16 April, 2014;
originally announced April 2014.
-
Recursive encoding and decoding of the noiseless subsystem for qudits
Authors:
Utkan Güngördü,
Chi-Kwong Li,
Mikio Nakahara,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the…
▽ More
We give a full explanation of the noiseless subsystem that protects a single-qubit against collective errors and the corresponding recursive scheme described by C.-K. Li et. al. [Phys. Rev. A 84, 044301 (2011)] from a representation theory point of view. Furthermore, we extend the construction to qudits under the influence of collective SU($d$) errors. We find that under this recursive scheme, the asymptotic encoding rate is $1/d$.
△ Less
Submitted 3 April, 2014; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Conditions for degradability of tripartite quantum states
Authors:
Chi-Hang Fred Fung,
Chi-Kwong Li,
Nung-Sing Sze,
H. F. Chau
Abstract:
Alice, Bob, and Eve share a pure quantum state. We introduce the notion of state degradability by asking whether the joint density of Alice and Eve can be transformed to the joint density of Alice and Bob by processing Eve's part through a quantum channel, in order words, degrading Eve. We prove necessary and sufficient conditions for state degradability and provide an efficient method to quickly…
▽ More
Alice, Bob, and Eve share a pure quantum state. We introduce the notion of state degradability by asking whether the joint density of Alice and Eve can be transformed to the joint density of Alice and Bob by processing Eve's part through a quantum channel, in order words, degrading Eve. We prove necessary and sufficient conditions for state degradability and provide an efficient method to quickly rule out degradability for a given state. The problem of determining degradability of states is different from that of quantum channels, although the notion is similar. One application of state degradability is that it can be used to test channel degradability. In particular, the degradability of the output state of a channel obtained from the maximally entangled input state gives information about the degradability of the channel.
△ Less
Submitted 9 February, 2014; v1 submitted 29 August, 2013;
originally announced August 2013.
-
Determinantal and eigenvalue inequalities for matrices with numerical ranges in a sector
Authors:
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
Let $A = \pmatrix A_{11} & A_{12} \cr A_{21} & A_{22}\cr\pmatrix \in M_n$, where $A_{11} \in M_m$ with $m \le n/2$, be such that the numerical range of $A$ lies in the set $\{e^{i\varphi} z \in \IC: |\Im z| \le (\Re z) \tan α\}$, for some $\varphi \in [0, 2π)$ and $α\in [0, π/2)$. We obtain the optimal containment region for the generalized eigenvalue $λ$ satisfying…
▽ More
Let $A = \pmatrix A_{11} & A_{12} \cr A_{21} & A_{22}\cr\pmatrix \in M_n$, where $A_{11} \in M_m$ with $m \le n/2$, be such that the numerical range of $A$ lies in the set $\{e^{i\varphi} z \in \IC: |\Im z| \le (\Re z) \tan α\}$, for some $\varphi \in [0, 2π)$ and $α\in [0, π/2)$. We obtain the optimal containment region for the generalized eigenvalue $λ$ satisfying $$λ\pmatrix A_{11} & 0 \cr 0 & A_{22}\cr\pmatrix x = \pmatrix 0 & A_{12} \cr A_{21} & 0\cr\pmatrix x \quad \hbox{for some nonzero} x \in \IC^n,$$ and the optimal eigenvalue containment region of the matrix $I_m - A_{11}^{-1}A_{12} A_{22}^{-1}A_{21}$ in case $A_{11}$ and $A_{22}$ are invertible. From this result, one can show $|\det(A)| \le \sec^{2m}(α) |\det(A_{11})\det(A_{22})|$. In particular, if $A$ is a accretive-dissipative matrix, then $|\det(A)| \le 2^m |\det(A_{11})\det(A_{22})|$. These affirm some conjectures of Drury and Lin.
△ Less
Submitted 19 August, 2013; v1 submitted 20 June, 2013;
originally announced June 2013.
-
Maximal noiseless code rates for collective rotation channels on qudits
Authors:
Chi-Kwong Li,
Mikio Nakahara,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of th…
▽ More
We study noiseless subsystems on collective rotation channels of qudits, i.e., quantum channels with operators in the set ${\mathcal E}(d,n) = \{ U^{\otimes n}: U \in {\mathrm{SU}}(d)\}.$ This is done by analyzing the decomposition of the algebra ${\mathcal A}(d,n)$ generated by ${\mathcal E}(d,n)$. We summarize the results for the channels on qubits ($d=2$), and obtain the maximum dimension of the noiseless subsystem that can be used as the quantum error correction code for the channel. Then we extend our results to general $d$. In particular, it is shown that the code rate, i.e., the number of protected qudits over the number of physical qudits, always approaches 1 for a suitable noiseless subsystem. Moreover, one can determine the maximum dimension of the noiseless subsystem by solving a non-trivial discrete optimization problem. The maximum dimension of the noiseless subsystem for $d = 3$ (qutrits) is explicitly determined by a combination of mathematical analysis and the symbolic software Mathematica.
△ Less
Submitted 20 August, 2015; v1 submitted 5 June, 2013;
originally announced June 2013.
-
Factorization of permutations
Authors:
Zejun Huang,
Chi-Kwong Li,
Sharon H. Li,
Nung-Sing Sze
Abstract:
We consider the problem of factoring permutations as a product of special types of transpositions, namely, those transpositions involving two positions with bounded distances. In particular, we investigate the minimum number, $δ$, such that every permutation can be factored into no more than $δ$ special transpositions. This study is related to sorting algorithms, Cayley graphs, and genomics.
We consider the problem of factoring permutations as a product of special types of transpositions, namely, those transpositions involving two positions with bounded distances. In particular, we investigate the minimum number, $δ$, such that every permutation can be factored into no more than $δ$ special transpositions. This study is related to sorting algorithms, Cayley graphs, and genomics.
△ Less
Submitted 5 June, 2015; v1 submitted 15 March, 2013;
originally announced March 2013.
-
Linear maps preserving the higher numerical ranges of tensor product of matrices
Authors:
Ajda Fošner,
Zejun Huang,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
We study linear maps preserving the higher numerical ranges of tensor product of matrices.
We study linear maps preserving the higher numerical ranges of tensor product of matrices.
△ Less
Submitted 5 May, 2013; v1 submitted 5 February, 2013;
originally announced February 2013.
-
Linear maps preserving numerical radius of tensor product of matrices
Authors:
Ajda Fošner,
Zejun Huang,
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
We determine the structure of linear maps on the tensor product of matrices which preserve the numerical range or numerical radius.
We determine the structure of linear maps on the tensor product of matrices which preserve the numerical range or numerical radius.
△ Less
Submitted 5 May, 2013; v1 submitted 13 December, 2012;
originally announced December 2012.
-
Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices
Authors:
Ajda Fosner,
Zejun Huang,
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
For a positive integer $n$, let $M_n$ be the set of $n\times n$ complex matrices. Suppose $\|\cdot\|$ is the Ky Fan $k$-norm with $1 \le k \le mn$ or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$, where $m,n\ge 2$ are positive integers. It is shown that a linear map $φ: M_{mn} \rightarrow M_{mn}$ satisfying…
▽ More
For a positive integer $n$, let $M_n$ be the set of $n\times n$ complex matrices. Suppose $\|\cdot\|$ is the Ky Fan $k$-norm with $1 \le k \le mn$ or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$, where $m,n\ge 2$ are positive integers. It is shown that a linear map $φ: M_{mn} \rightarrow M_{mn}$ satisfying $$\|A\otimes B\| = \|φ(A\otimes B)\| \quad \hbox{for all} A \in M_m \hbox{and} B \in M_n$$ if and only if there are unitary $U, V \in M_{mn}$ such that $φ$ has the form $A\otimes B \mapsto U(\varphi_1(A) \otimes \varphi_2(B))V$, where $\varphi_s(X)$ is either the identity map $X \mapsto X$ or the transposition map $X \mapsto X^t$. The results are extended to tensor space $M_{n_1} \otimes \cdots \otimes M_{n_m}$ of higher level. The connection of the problem to quantum information science is mentioned.
△ Less
Submitted 10 April, 2013; v1 submitted 2 November, 2012;
originally announced November 2012.
-
Criteria and new classes of k-positive maps
Authors:
Jinchuan Hou,
Chi-Kwong Li,
Yiu-Tung Poon,
Xiaofei Qi,
Nung-Sing Sze
Abstract:
We study k-positive maps on operators. Proofs are given to different positivity criteria. Special attention is on positive maps arising in the study of quantum information science. Results of other researchers are extended and improved. New classes of positive maps are constructed. Some open questions are answered.
We study k-positive maps on operators. Proofs are given to different positivity criteria. Special attention is on positive maps arising in the study of quantum information science. Results of other researchers are extended and improved. New classes of positive maps are constructed. Some open questions are answered.
△ Less
Submitted 13 March, 2013; v1 submitted 2 November, 2012;
originally announced November 2012.
-
Linear preservers and quantum information science
Authors:
Ajda Fosner,
Zejun Huang,
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
Let $m,n\ge 2$ be positive integers, $M_m$ the set of $m\times m$ complex matrices and $M_n$ the set of $n\times n$ complex matrices. Regard $M_{mn}$ as the tensor space $M_m\otimes M_n$. Suppose $|\cdot|$ is the Ky Fan $k$-norm with $1 \le k \le mn$, or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$. It is shown that a linear map $φ: M_{mn} \rightarrow M_{mn}$ satisfying…
▽ More
Let $m,n\ge 2$ be positive integers, $M_m$ the set of $m\times m$ complex matrices and $M_n$ the set of $n\times n$ complex matrices. Regard $M_{mn}$ as the tensor space $M_m\otimes M_n$. Suppose $|\cdot|$ is the Ky Fan $k$-norm with $1 \le k \le mn$, or the Schatten $p$-norm with $1 \le p \le \infty$ ($p\ne 2$) on $M_{mn}$. It is shown that a linear map $φ: M_{mn} \rightarrow M_{mn}$ satisfying $$|A\otimes B| = |φ(A\otimes B)|$$ for all $A \in M_m$ and $B \in M_n$ if and only if there are unitary $U, V \in M_{mn}$ such that $φ$ has the form $A\otimes B \mapsto U(\varphi_1(A) \otimes \varphi_2(B))V$, where $\varphi_i(X)$ is either the identity map $X \mapsto X$ or the transposition map $X \mapsto X^t$. The results are extended to tensor space $M_{n_1} \otimes ... \otimes M_{n_m}$ of higher level. The connection of the problem to quantum information science is mentioned.
△ Less
Submitted 5 August, 2012;
originally announced August 2012.
-
Entanglement transformation between sets of bipartite pure quantum states using local operations
Authors:
H. F. Chau,
Chi-Hang Fred Fung,
Chi-Kwong Li,
Edward Poon,
Nung-Sing Sze
Abstract:
Alice and Bob are given an unknown initial state chosen from a set of pure quantum states. Their task is to transform the initial state to a corresponding final pure state using local operations only. We prove necessary and sufficient conditions on the existence of such a transformation. We also provide efficient algorithms that can quickly rule out the possibility of transforming a set of initial…
▽ More
Alice and Bob are given an unknown initial state chosen from a set of pure quantum states. Their task is to transform the initial state to a corresponding final pure state using local operations only. We prove necessary and sufficient conditions on the existence of such a transformation. We also provide efficient algorithms that can quickly rule out the possibility of transforming a set of initial states to a set of final states.
△ Less
Submitted 12 October, 2012; v1 submitted 5 August, 2012;
originally announced August 2012.
-
Physical transformations between quantum states
Authors:
Zejun Huang,
Chi-Kwong Li,
Edward Poon,
Nung-Sing Sze
Abstract:
Given two sets of quantum states {A_1, ..., A_k} and {B_1, ..., B_k}, represented as sets of density matrices, necessary and sufficient conditions are obtained for the existence of a physical transformation T, represented as a trace-preserving completely positive map, such that T(A_i) = B_i for i = 1, ..., k. General completely positive maps without the trace-preserving requirement, and unital com…
▽ More
Given two sets of quantum states {A_1, ..., A_k} and {B_1, ..., B_k}, represented as sets of density matrices, necessary and sufficient conditions are obtained for the existence of a physical transformation T, represented as a trace-preserving completely positive map, such that T(A_i) = B_i for i = 1, ..., k. General completely positive maps without the trace-preserving requirement, and unital completely positive maps transforming the states are also considered.
△ Less
Submitted 26 October, 2012; v1 submitted 25 March, 2012;
originally announced March 2012.
-
Induced Metric And Matrix Inequalities On Unitary Matrices
Authors:
H. F. Chau,
C. -K. Li,
Y. -T. Poon,
N. -S. Sze
Abstract:
Recently, Chau [Quant. Inform. & Comp. 11, 721 (2011)] showed that one can define certain metrics and pseudo-metrics on U(n), the group of all $n\times n$ unitary matrices, based on the arguments of the eigenvalues of the unitary matrices. More importantly, these metrics and pseudo-metrics have quantum information theoretical meanings. So it is instructive to study this kind of metrics and pseudo-…
▽ More
Recently, Chau [Quant. Inform. & Comp. 11, 721 (2011)] showed that one can define certain metrics and pseudo-metrics on U(n), the group of all $n\times n$ unitary matrices, based on the arguments of the eigenvalues of the unitary matrices. More importantly, these metrics and pseudo-metrics have quantum information theoretical meanings. So it is instructive to study this kind of metrics and pseudo-metrics on U(n). Here we show that any symmetric norm on ${\mathbb R}^n$ induces a metric on U(n). Furthermore, using the same technique, we prove an inequality concerning the eigenvalues of a product of two unitary matrices which generalizes a few inequalities obtained earlier by Chau [arXiv:1006.3614v1].
△ Less
Submitted 20 January, 2012; v1 submitted 6 July, 2011;
originally announced July 2011.
-
Recursive Encoding and Decoding of Noiseless Subsystem and Decoherence Free Subspace
Authors:
Chi-Kwong Li,
Mikio Nakahara,
Yiu-Tung Poon,
Nung-Sing Sze,
Hiroyuki Tomita
Abstract:
When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number…
▽ More
When the environmental disturbace to a quantum system has a wavelength much larger than the system size, all qubits localized within a small area are under action of the same error operators. Noiseless subsystem and decoherence free subspace are known to correct such collective errors. We construct simple quantum circuits, which implement these collective error correction codes, for a small number $n$ of physical qubits. A single logical qubit is encoded with $n=3$ and $n=4$, while two logical qubits are encoded with $n=5$. The recursive relations among the subspaces employed in noiseless subsystem and decoherence free subspace play essential rôles in our implementation. The recursive relations also show that the number of gates required to encode $m$ logical qubits increases linearly in $m$.
△ Less
Submitted 26 June, 2011;
originally announced June 2011.
-
Efficient Quantum Error Correction for Fully Correlated Noise
Authors:
Chi-Kwong Li,
Mikio Nakahara,
Yiu-Tung Poon,
Nung-Sing Sze,
Hiroyuki Tomita
Abstract:
We investigate an efficient quantum error correction of a fully correlated noise. Suppose the noise is characterized by a quantum channel whose error operators take fully correlated forms given by $σ_x^{\otimes n}$, $σ_y^{\otimes n}$ and $σ_z^{\otimes n}$, where $n>2$ is the number of qubits encoding the codeword. It is proved that (i) $n$ qubits codeword encodes $(n-1)$ data qubits when $n$ is od…
▽ More
We investigate an efficient quantum error correction of a fully correlated noise. Suppose the noise is characterized by a quantum channel whose error operators take fully correlated forms given by $σ_x^{\otimes n}$, $σ_y^{\otimes n}$ and $σ_z^{\otimes n}$, where $n>2$ is the number of qubits encoding the codeword. It is proved that (i) $n$ qubits codeword encodes $(n-1)$ data qubits when $n$ is odd and (ii) $n$ qubits codeword implements a noiseless subsystem encoding $(n-2)$ data qubits when $n$ is even. Quantum circuits implementing these schemes are constructed.
△ Less
Submitted 22 August, 2011; v1 submitted 25 April, 2011;
originally announced April 2011.
-
A note on the realignment criterion
Authors:
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
For a quantum state in a bipartite system represented as a density matrix, researchers used the realignment matrix and functions on its singular values to study the separability of the quantum state. We obtain bounds for elementary symmetric functions of singular values of realignment matrices. This answers some open problems proposed by Lupo, Aniello, and Scardicchio. As a consequence, we show th…
▽ More
For a quantum state in a bipartite system represented as a density matrix, researchers used the realignment matrix and functions on its singular values to study the separability of the quantum state. We obtain bounds for elementary symmetric functions of singular values of realignment matrices. This answers some open problems proposed by Lupo, Aniello, and Scardicchio. As a consequence, we show that the proposed scheme by these authors for testing separability would not work if the two subsystems of the bipartite system have the same dimension.
△ Less
Submitted 4 July, 2011; v1 submitted 13 March, 2011;
originally announced March 2011.
-
Recovery in quantum error correction for general noise without measurement
Authors:
Chi-Kwong Li,
Mikio Nakahara,
Yiu-Tung Poon,
Nung-Sing Sze,
Hiroyuki Tomita
Abstract:
It is known that one can do quantum error correction without syndrome measurement, which is often done in operator quantum error correction (OQEC). However, the physical realization could be challenging, especially when the recovery process involves high-rank projection operators and a superoperator. We use operator theory to improve OQEC so that the implementation can always be done by unitary ga…
▽ More
It is known that one can do quantum error correction without syndrome measurement, which is often done in operator quantum error correction (OQEC). However, the physical realization could be challenging, especially when the recovery process involves high-rank projection operators and a superoperator. We use operator theory to improve OQEC so that the implementation can always be done by unitary gates followed by a partial trace operation. Examples are given to show that our error correction scheme outperforms the existing ones in various scenarios.
△ Less
Submitted 24 November, 2011; v1 submitted 8 February, 2011;
originally announced February 2011.
-
The automorphism group of separable states in quantum information theory
Authors:
Shmuel Friedland,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
We show that the linear group of automorphism of Hermitian matrices which preserves the set of separable states is generated by \emph{natural} automorphisms: change of an orthonormal basis in each tensor factor, partial transpose in each tensor factor, and interchanging two tensor factors of the same dimension. We apply our results to preservers of the product numerical range.
We show that the linear group of automorphism of Hermitian matrices which preserves the set of separable states is generated by \emph{natural} automorphisms: change of an orthonormal basis in each tensor factor, partial transpose in each tensor factor, and interchanging two tensor factors of the same dimension. We apply our results to preservers of the product numerical range.
△ Less
Submitted 8 April, 2011; v1 submitted 19 December, 2010;
originally announced December 2010.
-
Higher rank numerical ranges of normal matrices
Authors:
Hwa-Long Gau,
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
The higher rank numerical range is closely connected to the construction of quantum error correction code for a noisy quantum channel. It is known that if a normal matrix $A \in M_n$ has eigenvalues $a_1, \..., a_n$, then its higher rank numerical range $Λ_k(A)$ is the intersection of convex polygons with vertices $a_{j_1}, \..., a_{j_{n-k+1}}$, where $1 \le j_1 < \... < j_{n-k+1} \le n$. In this…
▽ More
The higher rank numerical range is closely connected to the construction of quantum error correction code for a noisy quantum channel. It is known that if a normal matrix $A \in M_n$ has eigenvalues $a_1, \..., a_n$, then its higher rank numerical range $Λ_k(A)$ is the intersection of convex polygons with vertices $a_{j_1}, \..., a_{j_{n-k+1}}$, where $1 \le j_1 < \... < j_{n-k+1} \le n$. In this paper, it is shown that the higher rank numerical range of a normal matrix with $m$ distinct eigenvalues can be written as the intersection of no more than $\max\{m,4\}$ closed half planes. In addition, given a convex polygon ${\mathcal P}$ a construction is given for a normal matrix $A \in M_n$ with minimum $n$ such that $Λ_k(A) = {\mathcal P}$. In particular, if ${\mathcal P}$ has $p$ vertices, with $p \ge 3$, there is a normal matrix $A \in M_n$ with $n \le \max\left\{p+k-1, 2k+2 \right\}$ such that $Λ_k(A) = {\mathcal P}$.
△ Less
Submitted 2 November, 2010; v1 submitted 27 February, 2009;
originally announced February 2009.
-
Higher rank numerical ranges and low rank perturbations of quantum channels
Authors:
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
For a positive integer $k$, the rank-$k$ numerical range $Λ_k(A)$ of an operator $A$ acting on a Hilbert space $\cH$ of dimension at least $k$ is the set of scalars $λ$ such that $PAP = λP$ for some rank $k$ orthogonal projection $P$. In this paper, a close connection between low rank perturbation of an operator $A$ and $Λ_k(A)$ is established. In particular, for $1 \le r < k$ it is shown that…
▽ More
For a positive integer $k$, the rank-$k$ numerical range $Λ_k(A)$ of an operator $A$ acting on a Hilbert space $\cH$ of dimension at least $k$ is the set of scalars $λ$ such that $PAP = λP$ for some rank $k$ orthogonal projection $P$. In this paper, a close connection between low rank perturbation of an operator $A$ and $Λ_k(A)$ is established. In particular, for $1 \le r < k$ it is shown that $Λ_k(A) \subseteq Λ_{k-r}(A+F)$ for any operator $F$ with $\rank (F) \le r$. In quantum computing, this result implies that a quantum channel with a $k$-dimensional error correcting code under a perturbation of rank $\le r$ will still have a $(k-r)$-dimensional error correcting code. Moreover, it is shown that if $A$ is normal or if the dimension of $A$ is finite, then $Λ_k(A)$ can be obtained as the intersection of $Λ_{k-r}(A+F)$ for a collection of rank $r$ operators $F$. Examples are given to show that the result fails if $A$ is a general operator. The closure and the interior of the convex set $Λ_k(A)$ are completely determined. Analogous results are obtained for $Λ_\infty(A)$ defined as the set of scalars $λ$ such that $PAP = λP$ for an infinite rank orthogonal projection $P$. It is shown that $Λ_\infty(A)$ is the intersection of all $Λ_k(A)$ for $k = 1, 2, >...$. If $A - μI$ is not compact for any $μ\in \IC$, then the closure and the interior of $Λ_\infty(A)$ coincide with those of the essential numerical range of $A$. The situation for the special case when $A-μI$ is compact for some $μ\in \IC$ is also studied.
△ Less
Submitted 6 August, 2008; v1 submitted 15 October, 2007;
originally announced October 2007.
-
Condition for the higher rank numerical range to be non-empty
Authors:
Chi-Kwong Li,
Yiu-Tung Poon,
Nung-Sing Sze
Abstract:
It is shown that the rank-$k$ numerical range of every $n$-by-$n$ complex matrix is non-empty if $n \ge 3k - 2$. The proof is based on a recent characterization of the rank-$k$ numerical range by Li and Sze, the Helly's theorem on compact convex sets, and some eigenvalue inequalities. In particular, the result implies that $Λ_2(A)$ is non-empty if $n \ge 4$. This confirms a conjecture of Choi et…
▽ More
It is shown that the rank-$k$ numerical range of every $n$-by-$n$ complex matrix is non-empty if $n \ge 3k - 2$. The proof is based on a recent characterization of the rank-$k$ numerical range by Li and Sze, the Helly's theorem on compact convex sets, and some eigenvalue inequalities. In particular, the result implies that $Λ_2(A)$ is non-empty if $n \ge 4$. This confirms a conjecture of Choi et al. If $3k-2>n>0$, an $n$-by-$n$ complex matrix is given for which the rank-$k$ numerical range is empty. Extension of the result to bounded linear operators acting on an infinite dimensional Hilbert space is also discussed.
△ Less
Submitted 4 November, 2007; v1 submitted 11 June, 2007;
originally announced June 2007.
-
Canonical forms, higher rank numerical range, convexity, totally isotropic subspace, matrix equations
Authors:
Chi-Kwong Li,
Nung-Sing Sze
Abstract:
Results on matrix canonical forms are used to give a complete description of the higher rank numerical range of matrices arising from the study of quantum error correction. It is shown that the set can be obtained as the intersection of closed half planes (of complex numbers). As a result, it is always a convex set in $\mathcal C$. Moreover, the higher rank numerical range of a normal matrix is…
▽ More
Results on matrix canonical forms are used to give a complete description of the higher rank numerical range of matrices arising from the study of quantum error correction. It is shown that the set can be obtained as the intersection of closed half planes (of complex numbers). As a result, it is always a convex set in $\mathcal C$. Moreover, the higher rank numerical range of a normal matrix is a convex polygon determined by the eigenvalues. These two consequences confirm the conjectures of Choi et al. on the subject. In addition, the results are used to derive a formula for the optimal upper bound for the dimension of a totally isotropic subspace of a square matrix, and verify the solvability of certain matrix equations.
△ Less
Submitted 23 January, 2008; v1 submitted 11 June, 2007;
originally announced June 2007.
