Source author record

Nung-Sing Sze

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

quant-ph math.FA math-ph math.CO math.MP math.NA

Catalog footprint

Research overview

25works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Cliques and independent subgroups of the Birkhoff polytope graph

The Birkhoff polytope $Ω_n$ is the polytope of doubly stochastic matrices of order $n$ . The Birkhoff polytope graph $G(Ω_n)$ is the skeleton of $Ω_n$ ; it is the Cayley graph whose vertex set consists of the elements of the symmetric group ${\rm Sym}(n)$ of degree $n$ , where two permutations are adjacent if one equals the product of the other with a cycle. We study the combinatorial structure of this graph, focusing on its maximal and maximum cliques and on its independent subgroups (subgroups of ${\rm Sym}(n)$ whose elements are pairwise nonadjacent in the graph). We obtain maximal subgroups of $G(Ω_n)$ and establish both a lower bound and an upper bound for its clique number. Especially, we prove that if $K$ is a subset of ${\rm Sym}(n)$ consisting of 3-cycle permutations such that $δ_1^{-1}δ_2$ is a single cycle for all $δ_1,δ_2\in K$ , then the maximum size of $K$ is $\lfloor (n-1)^2/4\rfloor$ , which can be viewed as an Erdős-Ko-Rado-type theorem for ${\rm Sym}(n)$ .

preprint2021arXiv

Observing geometry of quantum states in a three-level system

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.

preprint2015arXiv

Factorization of permutations

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.

preprint2015arXiv

Maximal noiseless code rates for collective rotation channels on qudits

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.

preprint2015arXiv

Product of positive semi-definite matrices

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$ .

preprint2014arXiv

Conditions for degradability of tripartite quantum states

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.

preprint2014arXiv

Recursive encoding and decoding of the noiseless subsystem for qudits

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$ .

preprint2014arXiv

Solution to time-energy costs of quantum channels

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.

preprint2013arXiv

Criteria and new classes of k-positive maps

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.

preprint2013arXiv

Determinantal and eigenvalue inequalities for matrices with numerical ranges in a sector

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φ} z \in \IC: |\Im z| \le (\Re z) \tan α\}$, for some $φ\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.

preprint2013arXiv

Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices

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(φ_1(A) \otimes φ_2(B))V$ , where $φ_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.

preprint2013arXiv

Linear maps preserving numerical radius of tensor product of matrices

We determine the structure of linear maps on the tensor product of matrices which preserve the numerical range or numerical radius.

preprint2013arXiv

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.

preprint2012arXiv

Entanglement transformation between sets of bipartite pure quantum states using local operations

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.

preprint2012arXiv

Linear preservers and quantum information science

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(φ_1(A) \otimes φ_2(B))V$ , where $φ_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.

preprint2012arXiv

Physical transformations between quantum states

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.

preprint2011arXiv

A note on the realignment criterion

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.

preprint2011arXiv

Efficient Quantum Error Correction for Fully Correlated Noise

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.

preprint2011arXiv

Recovery in quantum error correction for general noise without measurement

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.

preprint2011arXiv

Recursive Encoding and Decoding of Noiseless Subsystem and Decoherence Free Subspace

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$ .

preprint2011arXiv

The automorphism group of separable states in quantum information theory

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.

preprint2010arXiv

Higher rank numerical ranges of normal matrices

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}$ .

preprint2008arXiv

Canonical forms, higher rank numerical range, convexity, totally isotropic subspace, matrix equations

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.

preprint2008arXiv

Higher rank numerical ranges and low rank perturbations of quantum channels

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.

preprint2007arXiv

Condition for the higher rank numerical range to be non-empty

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Nung-Sing Sze

Research overview

Is this your work?

25 publications

Cliques and independent subgroups of the Birkhoff polytope graph

Observing geometry of quantum states in a three-level system

Factorization of permutations

Maximal noiseless code rates for collective rotation channels on qudits

Product of positive semi-definite matrices

Conditions for degradability of tripartite quantum states

Recursive encoding and decoding of the noiseless subsystem for qudits

Solution to time-energy costs of quantum channels

Criteria and new classes of k-positive maps

Determinantal and eigenvalue inequalities for matrices with numerical ranges in a sector

Linear maps preserving Ky Fan norms and Schatten norms of tensor products of matrices

Linear maps preserving numerical radius of tensor product of matrices

Linear maps preserving the higher numerical ranges of tensor product of matrices

Entanglement transformation between sets of bipartite pure quantum states using local operations

Linear preservers and quantum information science

Physical transformations between quantum states

A note on the realignment criterion

Efficient Quantum Error Correction for Fully Correlated Noise

Recovery in quantum error correction for general noise without measurement

Recursive Encoding and Decoding of Noiseless Subsystem and Decoherence Free Subspace

The automorphism group of separable states in quantum information theory

Higher rank numerical ranges of normal matrices

Canonical forms, higher rank numerical range, convexity, totally isotropic subspace, matrix equations

Higher rank numerical ranges and low rank perturbations of quantum channels

Condition for the higher rank numerical range to be non-empty

See the researcher in context

Building this map preview