English
Related papers

Related papers: Query-Efficient Locally Decodable Codes of Subexpo…

200 papers

We prove that the blocklength $n$ of a linear $3$-query locally correctable code (LCC) $\mathcal{L} \colon {\mathbb F}^k \to {\mathbb F}^n$ with distance $\delta$ must be at least $n \geq 2^{\Omega\left(\left(\frac{\delta^2 k}{(|{\mathbb…

Computational Complexity · Computer Science 2023-11-02 Pravesh K. Kothari , Peter Manohar

We give improved lower bounds for binary $3$-query locally correctable codes (3-LCCs) $C \colon \{0,1\}^k \rightarrow \{0,1\}^n$. Specifically, we prove: (1) If $C$ is a linear design 3-LCC, then $n \geq 2^{(1 - o(1))\sqrt{k} }$. A design…

Computational Complexity · Computer Science 2024-10-29 Pravesh K. Kothari , Peter Manohar

We present a database of rational elliptic curves, up to Q-isomorphism, with good reduction outside {2,3,5,7,11,13}. We provide a heuristic involving the abc and BSD conjectures that the database is likely to be the complete set of such…

Number Theory · Mathematics 2020-07-22 Alex J. Best , Benjamin Matschke

A code $C \colon \{0,1\}^k \to \{0,1\}^n$ is a $q$-locally decodable code ($q$-LDC) if one can recover any chosen bit $b_i$ of the message $b \in \{0,1\}^k$ with good confidence by randomly querying the encoding $x := C(b)$ on at most $q$…

Computational Complexity · Computer Science 2023-08-30 Omar Alrabiah , Venkatesan Guruswami , Pravesh K. Kothari , Peter Manohar

We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m\times m})^V \quad \xrightarrow{\delta^0}\quad…

Quantum Physics · Physics 2022-06-17 Irit Dinur , Min-Hsiu Hsieh , Ting-Chun Lin , Thomas Vidick

We propose a low-complexity method to find quasi-cyclic low-density parity-check block codes with girth 10 or 12 and shorter length than those designed through classical approaches. The method is extended to time-invariant spatially coupled…

Information Theory · Computer Science 2018-04-19 Mohammad H. Tadayon , Alireza Tasdighi , Massimo Battaglioni , Marco Baldi , Franco Chiaraluce

The results of the computer hunt for the primes of the form $q = m^2+1$ up to $10^{20}$ are reported. The number of sign changes of the difference $\pi_q(x) - \frac{C_q}{2}\int_2^x{du \over \sqrt{u}\log(u)}$ and the error term for this…

Number Theory · Mathematics 2015-12-22 Marek Wolf

We study a quantum analogue of locally decodable error-correcting codes. A q-query locally decodable quantum code encodes n classical bits in an m-qubit state, in such a way that each of the encoded bits can be recovered with high…

Quantum Physics · Physics 2008-06-13 Jop Briët , Ronald de Wolf

We show a nearly optimal lower bound on the length of linear relaxed locally decodable codes (RLDCs). Specifically, we prove that any $q$-query linear RLDC $C\colon \{0,1\}^k \to \{0,1\}^n$ must satisfy $n = k^{1+\Omega(1/q)}$. This bound…

Computational Complexity · Computer Science 2025-11-27 Guy Goldberg , Tom Gur , Sidhant Saraogi

We investigate the ratio $\rho_{n,L}$ of prefix codes to all uniquely decodable codes over an $n$-letter alphabet and with length distribution $L$. For any integers $n\geq 2$ and $m\geq 1$, we construct a lower bound and an upper bound for…

Combinatorics · Mathematics 2018-04-17 Adam Woryna

A locally correctable code (LCC) is an error correcting code that allows correction of any arbitrary coordinate of a corrupted codeword by querying only a few coordinates. We show that any {\em zero-error} $2$-query locally correctable code…

Computational Complexity · Computer Science 2017-05-02 Arnab Bhattacharyya , Sivakanth Gopi , Avishay Tal

We introduce list privacy amplification (LPA), a relaxation of the final step of quantum key distribution (QKD) in which Alice and Bob extract a list of $L$ candidate keys from a raw string correlated with an eavesdropper Eve, with the…

Quantum Physics · Physics 2026-03-20 Prateek P. Kulkarni

We consider the quantum decoding problem. It consists in recovering a codeword given a superposition of noisy versions of this codeword. By measuring the superposition, we get back to the classical decoding problem. It appears for the first…

Quantum Physics · Physics 2026-02-05 Agathe Blanvillain , André Chailloux , Jean-Pierre Tillich

Motivated by a growing list of nontraditional statistical estimation problems of the piecewise kind, this paper provides a survey of known results supplemented with new results for the class of piecewise linear-quadratic programs. These are…

Optimization and Control · Mathematics 2018-08-16 Ying Cui , Tsung-Hui Chang , Mingyi Hong , Jong-Shi Pang

A locally decodable code (LDC) C:{0,1}^k -> {0,1}^n is an error correcting code wherein individual bits of the message can be recovered by only querying a few bits of a noisy codeword. LDCs found a myriad of applications both in theory and…

Computational Complexity · Computer Science 2019-04-26 Tom Gur , Oded Lachish

Quantum low-density parity-check (qLDPC) codes are an important component in the quest for quantum fault tolerance. Dramatic recent progress on qLDPC codes has led to constructions which are asymptotically good, and which admit linear-time…

Quantum Physics · Physics 2024-11-08 Louis Golowich , Venkatesan Guruswami

We analyse preference inference, through consistency, for general preference languages based on lexicographic models. We identify a property, which we call strong compositionality, that applies for many natural kinds of preference…

Logic in Computer Science · Computer Science 2024-11-01 Nic Wilson , Anne-Marie George

We consider the problem of efficient construction of q-ary 2-deletion correcting codes with low redundancy. We show that our construction requires less redundancy than any existing efficiently encodable q-ary 2-deletion correcting codes.…

Information Theory · Computer Science 2023-06-12 Shu Liu , Ivan Tjuawinata , Chaoping Xing

Lipton's reduction theory provides an intuitive and simple way for deducing the non-interference properties of concurrent programs, but it is difficult to directly apply the technique to verify linearizability of sophisticated fine-grained…

Programming Languages · Computer Science 2018-08-31 Tangliu Wen

This study proposes an explicit construction method for quantum quasi-cyclic low-density parity-check (QC-LDPC) codes with a girth of 12. The proposed method designs parity-check matrices that maximize the girth while maintaining an…

Information Theory · Computer Science 2025-05-06 Daiki Komoto , Kenta Kasai