arXiv subjects

Xiande Zhang

Publications and source records attributed to Xiande Zhang.

At least 55 records · Page 3Linked to original sources

arXiv2023

Unextendible product bases from orthogonality graphs

Unextendible product bases (UPBs) play a key role in the study of quantum entanglement and nonlocality. A famous open question is whether there exist genuinely unextendible product bases (GUPBs), namely multipartite product bases that are unextendible with respect to every possible bipartition. Here we shed light on this question by providing a characterization of UPBs and GUPBs in terms of orthogonality graphs. Building on this connection, we develop a method for constructing UPBs in low dimensions, and we derive a lower bound on the size of any GUPB, significantly improving over the state of the art. Moreover, we show that every minimal GUPB saturating our bound must be associated to regular graphs. Finally, we discuss a possible path towards the construction of a minimal GUPB in a tripartite system of minimal local dimension.

quant-ph↗

arXiv2023

Reconstruction of Sequences Distorted by Two Insertions

Reconstruction codes are generalizations of error-correcting codes that can correct errors by a given number of noisy reads. The study of such codes was initiated by Levenshtein in 2001 and developed recently due to applications in modern storage devices such as racetrack memories and DNA storage. The central problem on this topic is to design codes with redundancy as small as possible for a given number $N$ of noisy reads. In this paper, the minimum redundancy of such codes for binary channels with exactly two insertions is determined asymptotically for all values of $N\ge 5$. Previously, such codes were studied only for channels with single edit errors or two-deletion errors.

cs.IT↗

arXiv2022

Unextendible and uncompletable product bases in every bipartition

Unextendible product basis is an important object in quantum information theory and features a broad spectrum of applications, ranging bound entangled states, quantum nonlocality without entanglement, and Bell inequalities with no quantum violation. A generalized concept called uncompletable product basis also attracts much attention. In this paper, we find some unextendible product bases that are uncompletable product bases in every bipartition, which answers a 19 year-old open question proposed by DiVincenzo et al. [Commun. Math. Phys. 238, 379 (2003)]. As a consequence, we connect such unextendible product bases to local hiding of information and give a sufficient condition for the existence of an unextendible product basis, that is still an unextendible product basis in every bipartition. Our results advance the understanding of the geometry of unextendible product bases.

quant-ph↗

arXiv2022

Balanced reconstruction codes for single edits

Motivated by the sequence reconstruction problem initiated by Levenshtein, reconstruction codes were introduced by Cai \emph{et al}. to combat errors when a fixed number of noisy channels are available. The central problem on this topic is to design codes with sizes as large as possible, such that every codeword can be uniquely reconstructed from any $N$ distinct noisy reads, where $N$ is fixed. In this paper, we study binary reconstruction codes with the constraint that every codeword is balanced, which is a common requirement in the technique of DNA-based storage. For all possible channels with a single edit error and their variants, we design asymptotically optimal balanced reconstruction codes for all $N$, and show that the number of their redundant symbols decreases from $\frac{3}{2}\log_2 n+O(1)$ to $\frac{1}{2}\log_2n+\log_2\log_2n+O(1)$, and finally to $\frac{1}{2}\log_2n+O(1)$ but with different speeds, where $n$ is the length of the code. Compared with the unbalanced case, our results imply that the balanced property does not reduce the rate of the reconstruction code in the corresponding codebook.

cs.IT↗

arXiv2022

Strong quantum nonlocality in $N$-partite systems

A set of multipartite orthogonal quantum states is strongly nonlocal if it is locally irreducible for every bipartition of the subsystems [Phys. Rev. Lett. 122, 040403 (2019)]. Although this property has been shown in three-, four- and five-partite systems, the existence of strongly nonlocal sets in $N$-partite systems remains unknown when $N\geq 6$. In this paper, we successfully show that a strongly nonlocal set of orthogonal entangled states exists in $(\mathbb{C}^d)^{\otimes N}$ for all $N\geq 3$ and $d\geq 2$, which for the first time reveals the strong quantum nonlocality in general $N$-partite systems. For $N=3$ or $4$ and $d\geq 3$, we present a strongly nonlocal set consisting of genuinely entangled states, which has a smaller size than any known strongly nonlocal orthogonal product set. Finally, we connect strong quantum nonlocality with local hiding of information as an application.

quant-ph↗

arXiv2022

Strong quantum nonlocality for unextendible product bases in heterogeneous systems

A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition, which shows the phenomenon of strong quantum nonlocality without entanglement. It is known that unextendible product bases (UPBs) can show the phenomenon of quantum nonlocality without entanglement. Thus it is interesting to investigate the strong quantum nonlocality for UPBs. Most of the UPBs with the minimum size cannot demonstrate strong quantum nonlocality. In this paper, we construct a series of UPBs with different large sizes in $d_A\otimes d_B\otimes d_C$ and $d_A\otimes d_B\otimes d_C\otimes d_D$ for $d_A, d_B, d_C, d_D\geq 3$, and we also show that these UPBs have strong quantum nonlocality, which answers an open question given by Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)] and Yuan \emph{et al.} [Phys. Rev. A \textbf{102}, 042228 (2020)] for any possible three and four-partite systems. Furthermore, we propose an entanglement-assisted protocol to locally discriminate the UPB in $3\otimes 3\otimes 4$, and it consumes less entanglement resource than the teleportation-based protocol. Our results build the connection between strong quantum nonlocality and UPBs.

quant-ph↗

arXiv2022

Strongly nonlocal unextendible product bases do exist

A set of multipartite orthogonal product states is locally irreducible, if it is not possible to eliminate one or more states from the set by orthogonality-preserving local measurements. An effective way to prove that a set is locally irreducible is to show that only trivial orthogonality-preserving local measurement can be performed to this set. In general, it is difficult to show that such an orthogonality-preserving local measurement must be trivial. In this work, we develop two basic techniques to deal with this problem. Using these techniques, we successfully show the existence of unextendible product bases (UPBs) that are locally irreducible in every bipartition in $d\otimes d\otimes d$ for any $d\geq 3$, and $3\otimes3\otimes 3$ achieves the minimum dimension for the existence of such UPBs. These UPBs exhibit the phenomenon of strong quantum nonlocality without entanglement. Our result solves an open question given by Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)] and Yuan \emph{et al.} [Phys. Rev. A \textbf{102}, 042228 (2020)]. It also sheds new light on the connections between UPBs and strong quantum nonlocality.

quant-ph↗

arXiv2021

Strong quantum nonlocality from hypercubes

A set of multipartite orthogonal product states is strongly nonlocal if it is locally irreducible in every bipartition. Most known constructions of strongly nonlocal orthogonal product set (OPS) are limited to tripartite systems, and they are lack of intuitive structures. In this work, based on the decomposition for the outermost layer of an $n$-dimensional hypercube for $n= 3,4,5$, we successfully construct strongly nonlocal OPSs in any possible three, four and five-partite systems, which answers an open question given by Halder et al. [Phys. Rev. Lett.122, 040403 (2019)] and Yuan et al. [Phys. Rev. A102, 042228 (2020)] for any possible three, four and five-partite systems. Our results build the connection between hypercubes and strongly nonlocal OPSs, and exhibit the phenomenon of strong quantum nonlocality without entanglement in multipartite systems.

quant-ph↗

arXiv2021

Bollobás type theorems for hemi-bundled two families

Let $\{(A_i,B_i)\}_{i=1}^{m}$ be a collection of pairs of sets with $|A_i|=a$ and $|B_i|=b$ for $1\leq i\leq m$. Suppose that $A_i\cap B_j=\emptyset$ if and only if $i=j$, then by the famous Bollobás theorem, we have the size of this collection $m\leq {a+b\choose a}$. In this paper, we consider a variant of this problem by setting $\{A_i\}_{i=1}^{m}$ to be intersecting additionally. Using exterior algebra method, we prove a weighted Bollobás type theorem for finite dimensional real vector spaces under these constraints. As a consequence, we have a similar theorem for finite sets, which settles a recent conjecture of Gerbner et. al \cite{GKMNPTX2019}. Moreover, we also determine the unique extremal structure of $\{(A_i,B_i)\}_{i=1}^{m}$ for the primary case of the theorem for finite sets.

math.CO↗

arXiv2020

Optimal Fraction Repetition Codes for Access-Balancing in Distributed Storage

To solve the access-balancing problem in distributed storage systems, we introduce a new combinatorial model, called MinVar model for fractional repetition (FR) codes. Since FR codes are based on graphs or set systems, our MinVar model is characterized by the property that the variance among the sums of block-labels incident to a fixed vertex is minimized. This characterization is different from Dau and Milenkovic's MaxMinSum model, while the minimum sum of labels is maximized. We show that our MinVar model is meaningful by distinguishing labelings with different variances but with the same MaxMin value for some FR codes. By reformulating the MinVar model to an equivalent vertex-labeling problem of graphs, we find several families of optimal FR codes with balanced access frequency, and provide fundamental results for both problems. It is interesting that MinVar model is closely related to the concept of magic-labeling in graph theory.

cs.IT↗

arXiv2020

Sparse and Balanced MDS Codes over Small Fields

Maximum Distance Separable (MDS) codes with a sparse and balanced generator matrix are appealing in distributed storage systems for balancing and minimizing the computational load. Such codes have been constructed via Reed-Solomon codes over large fields. In this paper, we focus on small fields. We prove that there exists an $[n,k]_q$ MDS code that has a sparse and balanced generator matrix for any $q\geq n$ provided that $n\leq 2k$, by designing several algorithms with complexity running in polynomial time in $k$ and $n$.

cs.IT↗

arXiv2020

Optimal Ternary Codes with Weight $w$ and Distance $2w-2$ in $\ell_1$-Metric

The study of constant-weight codes in $\ell_1$-metric was motivated by the duplication-correcting problem for data storage in live DNA. It is interesting to determine the maximum size of a code given the length $n$, weight $w$, minimum distance $d$ and the alphabet size $q$. In this paper, based on graph decompositions, we determine the maximum size of ternary codes with constant weight $w$ and distance $2w-2$ for all sufficiently large length $n$. Previously, this was known only for a very sparse family $n$ of density $4/w(w-1)$.

math.CO↗

arXiv2020

$k$-Uniform states and quantum information masking

A pure state of $N$ parties with local dimension $d$ is called a $k$-uniform state if all the reductions to $k$ parties are maximally mixed. Based on the connections among $k$-uniform states, orthogonal arrays and linear codes, we give general constructions for $k$-uniform states. We show that when $d\geq 4k-2$ (resp. $d\geq 2k-1$) is a prime power, there exists a $k$-uniform state for any $N\geq 2k$ (resp. $2k\leq N\leq d+1$). Specially, we give the existence of $4,5$-uniform states for almost every $N$-qudits. Further, we generalize the concept of quantum information masking in bipartite systems given by [Modi \emph{et al.} {Phys. Rev. Lett. \textbf{120}, 230501 (2018)}] to $k$-uniform quantum information masking in multipartite systems, and we show that $k$-uniform states and quantum error-correcting codes can be used for $k$-uniform quantum information masking.

quant-ph↗

arXiv2020

Optimal codes with small constant weight in $\ell_1$-metric

Motivated by the duplication-correcting problem for data storage in live DNA, we study the construction of constant-weight codes in $\ell_1$-metric. By using packings and group divisible designs in combinatorial design theory, we give constructions of optimal codes over non-negative integers and optimal ternary codes with $\ell_1$-weight $w\leq 4$ for all possible distances. In general, we derive the size of the largest ternary code with constant weight $w$ and distance $2w-2$ for sufficiently large length $n$ satisfying $n\equiv 1,w,-w+2,-2w+3\pmod{w(w-1)}$.

cs.IT↗

arXiv2020

Strong quantum nonlocality with entanglement

Strong quantum nonlocality was introduced recently as a stronger manifestation of nonlocality in multipartite systems through the notion of local irreducibility in all bipartitions. Known existence results for sets of strongly nonlocal orthogonal states are limited to product states. In this paper, based on the Rubik's cube, we give the first construction of such sets consisting of entangled states in $d\otimes d\otimes d$ for all $d\geq 3$. Consequently, we answer an open problem given by Halder \emph{et al.} [Phys. Rev. Lett. \textbf{122}, 040403 (2019)], that is, orthogonal entangled bases that are strongly nonlocal do exist. Furthermore, we propose two entanglement-assisted protocols for local discrimination of our results. Each protocol consumes less entanglement resource than the teleportation-based protocol averagely. Our results exhibit the phenomenon of strong quantum nonlocality with entanglement.

quant-ph↗

arXiv2020

Constructions of $k$-uniform states from mixed orthogonal arrays

We study $k$-uniform states in heterogeneous systems whose local dimensions are mixed. Based on the connections between mixed orthogonal arrays with certain minimum Hamming distance, irredundant mixed orthogonal arrays and $k$-uniform states, we present two constructions of $2$-uniform states in heterogeneous systems. We also construct a family of $3$-uniform states in heterogeneous systems, which solves a question posed in [D. Goyeneche et al., Phys. Rev. A 94, 012346 (2016)]. We also show two methods of generating $(k-1)$-uniform states from $k$-uniform states. Some new results on the existence and nonexistence of absolutely maximally entangled states are provided. For the applications, we present an orthogonal basis consisting of $k$-uniform states with minimum support. Moreover, we show that some $k$-uniform bases can not be distinguished by local operations and classical communications, and this shows quantum nonlocality with entanglement.

quant-ph↗

arXiv2020

Unextendible product bases from tile structures and their local entanglement-assisted distinguishability

We completely characterize the condition when a tile structure provides an unextendible product basis (UPB), and construct UPBs of different large sizes in $\mathbb{C}^m\otimes\mathbb{C}^n$ for any $n\geq m\geq 3$. This solves an open problem in [S. Halder et al., Phys. Rev. A 99, 062329 (2019)]. As an application, we show that our UPBs of size $(mn-4\lfloor\frac{m-1}{2}\rfloor)$ in $\mathbb{C}^m\otimes\mathbb{C}^n$ can be perfectly distinguished by local operations and classical communications assisted with a $\lceil\frac{m}{2}\rceil\otimes\lceil\frac{m}{2}\rceil$ maximally entangled state.

quant-ph↗

arXiv2019

Constructions of mutually unbiased entangled bases

We construct two mutually unbiased bases by maximally entangled states (MUMEB$s$) in $\mathbb{C}^{2}\otimes \mathbb{C}^{3}$. This is the first example of MUMEB$s$ in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ when $d\nmid d'$, namely $d'$ is not divisible by $d$. We show that they cannot be extended to four MUBs in $\mathbb{C}^6$. We propose a recursive construction of mutually unbiased bases formed by special entangled states with a fixed Schmidt number $k$ (MUSEB$k$s). It shows that $\min \{t_{1},t_{2}\}$ MUSEB$k_{1}k_{2}$s in $\mathbb{C}^{pd}\otimes \mathbb{C}^{qd'}$ can be constructed from $t_{1}$ MUSEB$k_{1}$s in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ and $t_{2}$ MUSEB$k_{2}$s in $\mathbb{C}^{p}\otimes \mathbb{C}^{q}$ for any $d,d',p,q$. Further, we show that three MUMEB$s$ exist in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for any $d,d'$ with $d\mid d'$, and two MUMEB$s$ exist in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for infinitely many $d,d'$ with $d\nmid d'$.

quant-ph↗