David Poulin

dblp:19/6010 · DBLP profile ↗
← Back
7ranked-venue papers
2as first author
0since 2021 · last 2018
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
3 papers
Coding theory · 47% Quantum computing and quantum information · 41% Computational complexity · 12%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Emerging computing paradigms · 100%

Topics — the 13 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Quantum computing and quantum information
quantum error correction
0.322015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015
Quantum serial turbo codes · IEEE Trans. Inf. Theory 2009
Computational complexity › counting complexity
#p-completeness
0.212015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015
Coding theory › error-correcting codes › decoding › decoding problems
decoding complexity
0.212015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015
Quantum computing and quantum information › quantum error correction
quantum code decoding
0.212015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015
Quantum computing and quantum information › quantum error correction
stabilizer codes
0.212015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015
Emerging computing paradigms
quantum computing and quantum information
0.212013
Degenerate Viterbi Decoding · IEEE Trans. Inf. Theory 2013
Emerging computing paradigms › quantum computer architecture
quantum error correction
0.212013
Degenerate Viterbi Decoding · IEEE Trans. Inf. Theory 2013
Coding theory › error-correcting codes
convolutional codes
0.212013
Degenerate Viterbi Decoding · IEEE Trans. Inf. Theory 2013
Coding theory › error-correcting codes › convolutional codes › convolutional code decoding
viterbi decoding
0.212013
Degenerate Viterbi Decoding · IEEE Trans. Inf. Theory 2013
Coding theory › error-correcting codes › decoding
iterative decoding
0.112009
Quantum serial turbo codes · IEEE Trans. Inf. Theory 2009
Coding theory › channel coding
turbo codes
0.112009
Quantum serial turbo codes · IEEE Trans. Inf. Theory 2009
Coding theory › error-correcting codes › block codes
linear code
0.112015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015
Coding theory › error-correcting codes › decoding › decoding algorithms
optimal decoding
0.112015
Hardness of Decoding Quantum Stabilizer Codes · IEEE Trans. Inf. Theory 2015

Methods — techniques the papers use, named apart from their topics

monte carlo simulation · 0.3syndrome decoding · 0.2degeneracy analysis · 0.2tanner graph analysis · 0.1state diagram analysis · 0.1iterative decoding · 0.1
YearPublicationVenuePosition
2018 Depth versus Breadth in Convolutional Polar Codes
abstract
Polar codes were introduced in 2009 by Arikan as the first efficient encoding and decoding scheme that is capacity achieving for symmetric binary-input memoryless channels. Recently, this code family was extended by replacing the block-structured polarization step of polar codes by a convolutional structure. This article presents a numerical exploration of this so-called convolutional polar codes family to find efficient generalizations of polar codes, both in terms of decoding speed and decoding error probability. The main conclusion drawn from our study is that increasing the convolution depth is more efficient than increasing the polarization kernel's breadth as previously explored.
Maxime Tremblay, Benjamin Bourassa, David Poulin
ITW3
2015 Hardness of Decoding Quantum Stabilizer Codes
abstract
In this paper, we address the computational hardness of optimally decoding a quantum stabilizer code. Much like classical linear codes, errors are detected by measuring certain check operators which yield an error syndrome, and the decoding problem consists of determining the most likely recovery given the syndrome. The corresponding classical problem is known to be NP-complete, and are appropriate a similar decoding problem for quantum codes is also known to be NP-complete. However, this decoding strategy is not optimal in the quantum setting as it does not consider error degeneracy, which causes distinct errors to have the same effect on the code. Here, we show that optimal decoding of stabilizer codes (previously known to be NP-hard) is in fact computationally much harder than optimal decoding of classical linear codes, it is #P-complete.
Pavithran Iyer, David Poulin
IEEE Trans. Inf. Theory2
2014 Branching MERA codes: A natural extension of classical and quantum polar codes
abstract
We introduce a new class of circuits for constructing efficiently decodable quantum and classical error-correction codes, based on a recently discovered contractible tensor network known as branching multi-scale entanglement renormalization ansatz [1]. We perform an in-depth study of a particular example that can be thought of as an extension to Arikan's polar code [2]-[4]. Notably, our numerical simulation show that these codes polarize the logical channels more strongly while retaining the log-linear decoding complexity using the successive cancellation decoder. These codes also display improved error-correcting capability with only a minor impact on decoding complexity. Efficient decoding is realized using powerful graphical calculus tools developed in the field of quantum many-body physics.
Andrew J. Ferris, David Poulin
ISIT2
2013 Degenerate Viterbi Decoding
abstract
We present a decoding algorithm for quantum convolutional codes that finds the class of degenerate errors with the largest probability conditioned on a given error syndrome. The algorithm runs in time linear with the number of qubits. Previous decoding algorithms for quantum convolutional codes optimized the probability over individual errors instead of classes of degenerate errors. Using Monte Carlo simulations, we show that this modification to the decoding algorithm results in a significantly lower block error rate.
Emilie Pelchat, David Poulin
IEEE Trans. Inf. Theory2
2010 A renormalization group decoding algorithm for topological quantum codes
abstract
Topological quantum error-correcting codes are defined by geometrically local checks on a two-dimensional lattice of quantum bits (qubits), making them particularly well suited for fault-tolerant quantum information processing. Here, we present a decoding algorithm for topological codes that is faster than previously known algorithms and applies to a wider class of topo-logical codes. Our algorithm makes use of two methods inspired from statistical physics: renormalization groups and mean-field approximations. First, the topological code is approximated by a concatenated block code that can be efficiently decoded. To improve this approximation, additional consistency conditions are imposed between the blocks, and are solved by a belief propagation algorithm.
Guillaume Duclos-Cianci, David Poulin
ITW2
2009 Quantum serial turbo codes
abstract
In this paper, we present a theory of quantum serial turbo codes, describe their iterative decoding algorithm, and study their performances numerically on a depolarization channel. Our construction offers several advantages over quantum low-density parity-check (LDPC) codes. First, the Tanner graph used for decoding is free of 4-cycles that deteriorate the performances of iterative decoding. Second, the iterative decoder makes explicit use of the code's degeneracy. Finally, there is complete freedom in the code design in terms of length, rate, memory size, and interleaver choice. We define a quantum analogue of a state diagram that provides an efficient way to verify the properties of a quantum convolutional code, and in particular, its recursiveness and the presence of catastrophic error propagation. We prove that all recursive quantum convolutional encoders have catastrophic error propagation. In our constructions, the convolutional codes have thus been chosen to be noncatastrophic and nonrecursive. While the resulting families of turbo codes have bounded minimum distance, from a pragmatic point of view, the effective minimum distances of the codes that we have simulated are large enough not to degrade the iterative decoding performance up to reasonable word error rates and block sizes. With well-chosen constituent convolutional codes, we observe an important reduction of the word error rate as the code length increases.
David Poulin, Jean-Pierre Tillich, Harold Ollivier
IEEE Trans. Inf. Theory1
2008 Quantum serial turbo-codes
abstract
We present a theory of quantum serial turbo-codes and study their performance numerically on a depolarization channel. These codes can be considered as a generalization of classical serial turbo-codes. As their classical cousins, they can be iteratively decoded and with well chosen constituent convolutional codes, we observe an important reduction of the word error rate as the number of encoded qubits increases. Our construction offers several advantages over quantum LDPC codes. First, the Tanner graph used for decoding can be chosen to be free of 4-cycles that deteriorate the performances of iterative decoding. Secondly, the iterative decoder makes explicit use of the code's degeneracy. Finally, there is complete freedom in the code design in terms of length, rate, memory size, and interleaver choice. We address two issues related to the encoding of convolutional codes that are directly relevant for turbo-codes, namely the character of being recursive and non-catastrophic. We define a quantum analogue of a state diagram that provides an efficient way to verify these properties on a given quantum convolutional encoder. Unfortunately, we also prove that all recursive quantum convolutional encoder have catastrophic error propagation. In our constructions, the convolutional codes have thus been chosen to be non-catastrophic and non-recursive. While the resulting families of turbo-codes have bounded minimum distance, from a pragmatic point of view the effective minimum distances of the codes that we have simulated are large enough for not degrading iterative decoding performance up to reasonable word error rates and block sizes.
David Poulin, Jean-Pierre Tillich, Harold Ollivier
ISIT1