Source author record

Dong-Sheng Wang

Dong-Sheng Wang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

preprint2026arXiv

Towards Minimal Fault-tolerant Error-Correction Sequence with Quantum Hamming Codes

The high overhead of fault-tolerant measurement sequences (FTMSs) poses a major challenge for implementing quantum stabilizer codes. Here, we address this problem by constructing efficient FTMSs for the class of quantum Hamming codes $[\![2^r-1, 2^r-1-2r, 3]\!]$ with $r=3k+1$ ($k \in \mathbb{Z}^+$). Our key result demonstrates that the sequence length can be reduced to exactly $2r+1$-only one additional measurement beyond the original non-fault-tolerant sequence, establishing a tight lower bound. The proposed method leverages cyclic matrix transformations to systematically combine rows of the initial stabilizer matrix and preserving a self-dual CSS-like symmetry analogous to that of the original quantum Hamming codes. This induced symmetry enables hardware-efficient circuit reuse: the measurement circuits for the first $r$ stabilizers are transformed into circuits for the remaining $r$ stabilizers simply by toggling boundary Hadamard gates, eliminating redundant hardware. For distance-3 fault-tolerant error correction, our approach simultaneously reduces the time overhead via shorting the FTMS length and the hardware overhead through symmetry-enabled circuit multiplexing. These results provide an important advance towards the important open problem regarding the design of minimal FTMSs for quantum Hamming codes and may shed light on similar challenges in other quantum stabilizer codes.

preprint2021arXiv

Theory of quasi-exact fault-tolerant quantum computing and valence-bond-solid codes

In this work, we develop the theory of quasi-exact fault-tolerant quantum (QEQ) computation, which uses qubits encoded into quasi-exact quantum error-correction codes ("quasi codes"). By definition, a quasi code is a parametric approximate code that can become exact by tuning its parameters. The model of QEQ computation lies in between the two well-known ones: the usual noisy quantum computation without error correction and the usual fault-tolerant quantum computation, but closer to the later. Many notions of exact quantum codes need to be adjusted for the quasi setting. Here we develop quasi error-correction theory using quantum instrument, the notions of quasi universality, quasi code distances, and quasi thresholds, etc. We find a wide class of quasi codes which are called valence-bond-solid codes, and we use them as concrete examples to demonstrate QEQ computation.

preprint2020arXiv

Choi states, symmetry-based quantum gate teleportation, and stored-program quantum computing

The stored-program architecture is canonical in classical computing, while its power has not been fully recognized for the quantum case. We study quantum information processing with stored quantum program states, i.e., using qubits instead of bits to encode quantum operations. We develop a stored-program model based on Choi states, following from channel-state duality, and a symmetry-based generalization of deterministic gate teleportation. Our model enriches the family of universal models for quantum computing, and can also be employed for tasks including quantum simulation and communication.

preprint2020arXiv

Quasi-exact quantum computation

We study quasi-exact quantum error correcting codes and quantum computation with them. A quasi-exact code is an approximate code such that it contains a finite number of scaling parameters, the tuning of which can flow it to corresponding exact codes, serving as its fixed points. The computation with a quasi-exact code cannot realize any logical gate to arbitrary accuracy. To overcome this, the notion of quasi-exact universality is proposed, which makes quasi-exact quantum computation a feasible model especially for executing moderate-size algorithms. We find that the incompatibility between universality and transversality of the set of logical gates does not persist in the quasi-exact scenario. A class of covariant quasi-exact codes is defined which proves to support transversal and quasi-exact universal set of logical gates for $SU(d)$. This work opens the possibility of quantum computation with quasi-exact universality, transversality, and fault tolerance.

preprint2019arXiv

A local model of quantum Turing machines

The model of local Turing machines is introduced, including classical and quantum ones, in the framework of matrix-product states. The locality refers to the fact that at any instance of the computation the heads of a Turing machine have definite locations. The local Turing machines are shown to be equivalent to the corresponding circuit models and standard models of Turing machines by simulation methods. This work reveals the fundamental connection between tensor-network states and information processing.

preprint2016arXiv

Convex decomposition of dimension-altering quantum channels

Quantum channels, which are completely positive and trace preserving mappings, can alter the dimension of a system; e.g., a quantum channel from a qubit to a qutrit. We study the convex set properties of dimension-altering quantum channels, and particularly the channel decomposition problem in terms of convex sum of extreme channels. We provide various quantum circuit representations of extreme and generalized extreme channels, which can be employed in an optimization to approximately decompose an arbitrary channel. Numerical simulations of low-dimensional channels are performed to demonstrate our channel decomposition scheme.

preprint2015arXiv

Quantum circuit design for accurate simulation of qudit channels

We construct a classical algorithm that designs quantum circuits for algorithmic quantum simulation of arbitrary qudit channels on fault-tolerant quantum computers within a pre-specified error tolerance with respect to diamond-norm distance. The classical algorithm is constructed by decomposing a quantum channel into a convex combination of generalized extreme channels by optimization of a set of nonlinear coupled algebraic equations. The resultant circuit is a randomly chosen generalized extreme channel circuit whose run-time is logarithmic with respect to the error tolerance and quadratic with respect to Hilbert space dimension, which requires only a single ancillary qudit plus classical dits.

preprint2013arXiv

Solovay-Kitaev Decomposition Strategy for Single-Qubit Channels

Inspired by the Solovay-Kitaev decomposition for approximating unitary operations as a sequence of operations selected from a universal quantum computing gate set, we introduce a method for approximating any single-qubit channel using single-qubit gates and the controlled-NOT (CNOT). Our approach uses the decomposition of the single-qubit channel into a convex combination of "quasiextreme" channels. Previous techniques for simulating general single-qubit channels would require as many as 20 CNOT gates, whereas ours only needs one, bringing it within the range of current experiments.

preprint2013arXiv

Spinless Quantum Field Theory and Interpretation

Quantum field theory is mostly known as the most advanced and well-developed theory in physics, which combines quantum mechanics and special relativity consistently. In this work, we study the spinless quantum field theory, namely the Klein-Gordon equation, and we find that there exists a Dirac form of this equation which predicts the existence of spinless fermion. For its understanding, we start from the interpretation of quantum field based on the concept of quantum scope, we also extract new meanings of wave-particle duality and quantum statistics. The existence of spinless fermion is consistent with spin-statistics theorem and also supersymmetry, and it leads to several new kinds of interactions among elementary particles. Our work contributes to the study of spinless quantum field theory and could have implications for the case of higher spin.

preprint2012arXiv

Quantum Fine-Grained Entropy

Regarding the strange properties of quantum entropy and entanglement, e.g., the negative quantum conditional entropy, we revisited the foundations of quantum entropy, namely, von Neumann entropy, and raised the new method of quantum fine-grained entropy. With the applications in entanglement theory, quantum information processing, and quantum thermodynamics, we demonstrated the capability of quantum fine-grained entropy to resolve some notable confusions and problems, including the measure of entanglement and quantumness, the additivity conjecture of entanglement of formation etc, and the definition of temperature for single quantum system.

preprint2011arXiv

On the Quantum Structure

Quantum mechanics is a special kind of description of motion. The concept of wave function itself implies the openness of quantum system. We show that quantum mechanics describes the quantum correlation, i.e., entanglement, and information in a new kind of space, tangnet T^2, where exist the basic quantum structure of qubit and the universal out-in symmetry. This work tries to form a new view to the fundamental problems of the foundation of quantum mechanics.

preprint2011arXiv

Superposition and Entanglement from Quantum Scope

The abstract framework of quantum mechanics (QM) causes the well-known weirdness, which leads to the field of foundation of QM. We constructed the new concept, i.e., scope, to lay the foundation of quantum coherence and openness, also the principles of superposition and entanglement. We studied analytically and quantitatively the quantum correlations and information, also we discussed the physical essence of the existed entanglement measures. We compared with several other approaches to the foundation of QM, and we stated that the concept of scope is unique and has not been demonstrated before.