arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Gleb Kalachev

20 papers · 2014–2025

2014: 12015: 02016: 02017: 12018: 22019: 12020: 12021: 42022: 52023: 22024: 12025: 2
2014peak 5 in 20222025

Frequent co-authors

Papers

showing 1–20 of 20 RSS

Asymptotically Good Quantum and Locally Testable Classical LDPC Codes

Pavel Panteleev, Gleb Kalachev

cs.IT · · cited 539× · arXiv ↗ · more like this ·

We study classical and quantum LDPC codes of constant rate obtained by the lifted product construction over non-abelian groups. We show that the obtained families of quantum LDPC codes are asymptotically good, which proves the qLDPC conjecture. Moreover, we show that the produced classical LDPC codes are also asymptotically good and locally testable with constant query and soundness parameters, which proves a well-known conjecture in the field of locally testable codes.

Degenerate Quantum LDPC Codes With Good Finite Length Performance

Pavel Panteleev, Gleb Kalachev

quant-ph · · cited 457× · arXiv ↗ · more like this ·

We study the performance of medium-length quantum LDPC (QLDPC) codes in the depolarizing channel. Only degenerate codes with the maximal stabilizer weight much smaller than their minimum distance are considered. It is shown that with the help of OSD-like post-processing the performance of the standard belief propagation (BP) decoder on many QLDPC codes can be improved by several orders of magnitude. Using this new BP-OSD decoder we study the performance of several known classes of degenerate QLDPC codes including hypergraph product codes, hyperbicycle codes, homological product codes, and Haah's cubic codes. We also construct several interesting examples of short generalized bicycle codes. Some of them have an additional property that their syndromes are protected by small BCH codes, which may be useful for the fault-tolerant syndrome measurement. We also propose a new large family of…

Quantum LDPC Codes with Almost Linear Minimum Distance

Pavel Panteleev, Gleb Kalachev

cs.IT · · cited 278× · arXiv ↗ · more like this ·

We give a construction of quantum LDPC codes of dimension $Θ(\log N)$ and distance $Θ(N/\log N)$ as the code length $N\to\infty$. Using a product of chain complexes this construction also provides a family of quantum LDPC codes of distance $Ω(N^{1-α/2}/\log N)$ and dimension $Ω(N^α\log N)$, where $0 \le α< 1$. We also introduce and study a new operation called lifted product, which naturally generalizes the product operations for quantum codes and chain complexes. Moreover, as a simple byproduct of our results on quantum codes, we obtain a new result on classical codes. We show that for any fixed $R < 1$ there exists an asymptotically good family of classical quasi-cyclic LDPC codes of rate at least $R$ with, in some sense, optimal circulant size $Ω(N/\log N)$ as the code length $N\to\infty$.

Multi-Tensor Contraction for XEB Verification of Quantum Circuits

Gleb Kalachev, Pavel Panteleev, Man-Hong Yung

quant-ph · · cited 9× · arXiv ↗ · more like this ·

The computational advantage of noisy quantum computers has been demonstrated by sampling the bitstrings of quantum random circuits. An important issue is how the performance of quantum devices could be quantified in the so-called "supremacy regime". The standard approach is through the linear cross entropy benchmark (XEB), where the theoretical value of the probability is required for each bitstring. However, the computational cost of XEB grows exponentially. So far, random circuits of the 53-qubit Sycamore chip were verified up to 10 cycles of gates only; the XEB fidelities of deeper circuits were approximated with simplified circuits instead. Here we present a multi-tensor contraction algorithm for speeding up the calculations of XEB for quantum circuits, where the computational cost can be significantly reduced through some form of memoization. As a demonstration, we analyzed the…

Classical Sampling of Random Quantum Circuits with Bounded Fidelity

Gleb Kalachev, Pavel Panteleev, PengFei Zhou +1 more

quant-ph · · cited 6× · arXiv ↗ · more like this ·

Random circuit sampling has become a popular means for demonstrating the superiority of quantum computers over classical supercomputers. While quantum chips are evolving rapidly, classical sampling algorithms are also getting better and better. The major challenge is to generate bitstrings exhibiting an XEB fidelity above that of the quantum chips. Here we present a classical sampling algorithm for producing the probability distribution of any given random quantum circuit, where the fidelity can be rigorously bounded. Specifically, our algorithm performs rejection sampling after the introduced very recently multi-tensor contraction algorithm. We show that the fidelity can be controlled by partially contracting the dominant paths in the tensor network and by adjusting the number of batches used in the rejection sampling. As a demonstration, we classically produced 1 million samples with…

Two-sided Robustly Testable Codes

Gleb Kalachev, Pavel Panteleev

cs.IT · · cited 5× · arXiv ↗ · more like this ·

We show that the tensor product of two random linear codes is robustly testable with high probability. This implies that one can obtain pairs of linear codes such that their product and the product of their dual codes are simultaneously robustly testable. Such two-sided robustly testable codes (with a much weaker form of robustness) were the key ingredient in the recent constructions of asymptotically good quantum LDPC codes, which ensured their linear minimum distance. We hope that the existence of such codes with a stronger form of robustness, shown here, can be used to simplify the proofs and provide better distance bounds in these constructions. We also give new very simple examples of non-robustly testable codes. We show that if the parity-checks of two codes are mutually orthogonal, then their product is not robustly testable. In particular, this implies that the product of a code…

Order of power of planar circuits implementing Boolean functions

Gleb Kalachev

Artificial Intelligence · Discrete Mathematics and Applications · · cited 3× · DOI ↗ · more like this ·

The paper is devoted to Shannon function of "power" of planar circuits that implement Boolean functions. We consider two measures of power. The first measure is potential; it is equal to the number of outputs of gates that are equal to one for the given input collection. The second measure is defened for pairs of input collections; it is equal to the number of outputs of gates that are different for members of the given pair. For these measureswe consider average and maximal values for all possible input collections.We obtain the order of Shannon function of circuit power; it particular, we show that the order of Shannon function for both measures is the same and is equal to 2n/2.

A Logarithmic Inequality

Gleb Kalachev, Sergey Sadov

Applied Mathematics · Mathematical Notes · · cited 2× · DOI ↗ · more like this ·

The inequality $$\ln {\kern 1pt} \ln \left( {r - \ln r} \right) + 1 < \mathop {\min }\limits_{0 < x \leqslant r - 1} \left( {\ln x + {x^{ - 1}}\ln \left( {r - x} \right)} \right) < \ln {\kern 1pt} \ln \left( {r - \ln \left( {r - {2^{ - 1}}\ln r} \right)} \right) + 1,$$ where r > 2, is proved. A combinatorial optimization problem which involves the function to be minimized is described.

On maximizers of convolution operators in $L_p$ spaces

Gleb Kalachev, Sergey Sadov

math.CA · · cited 2× · arXiv ↗ · more like this ·

A convolution operator in $\mathbb{R}^d$ with kernel in $L_q$ acts from $L_p$ to $L_s$, where $1/p+1/q=1+1/s$. The main theorem states that if $1<q,p,s<\infty$, then there exists an $L_p$ function of unit norm on which the $s$-norm of the convolution is attained. A number of questions, solved and open, related to the statement and proof of the main theorem, are discussed. The problem of computing best constants in the Hausdorff-Young inequality for the Laplace transform, which prompted this research, is considered.

An Existence Criterion for Maximizers of Convolution Operators in $$\boldsymbol{L}_{\mathbf{1}}\boldsymbol{(\mathbb{R}^{n})}$$

Gleb Kalachev, Sergey Sadov

Applied Mathematics · Moscow University Mathematics Bulletin · · cited 1× · DOI ↗ · more like this ·

The convolution operator with a complex-valued integrable kernel in the space of integrable functions is considered; a necessary and sufficient condition for the existence of a maximizer, i.e., a norm-one function that maximizes the norm of the convolution, is given. The analysis of measurable solutions of Pexider’s functional equation defined on subsets of positive measure in $$\mathbb{R}^{n}$$ plays the key role.

Generalization of Cardinality Estimates for Plane Circuits Realizing Partial Boolean Operators

Gleb Kalachev

Computational Theory and Mathematics · Moscow University Mathematics Bulletin · · cited 1× · DOI ↗ · more like this ·

The order of the Shannon function of plane circuit activity is considered for a class of partial Boolean operators with restrictions on the number of different values. It is proved that for the class of partial operators with m outputs, domain of cardinality d, and the number of different values not exceeding r the mean and maximal orders of activity are equal to $$(\sqrt {\text{a}} + m\sqrt r /\log r)\sqrt {\log r} $$ by the order.

Maximally Extendable Sheaf Codes

Pavel Panteleev, Gleb Kalachev

cs.IT · · cited 0× · arXiv ↗ · more like this ·

We study sheaf codes, a type of linear codes with a fixed hierarchical collection of local codes, viewed as a sheaf of vector spaces on a finite topological space we call coded space. Many existing codes, such as tensor product codes, Sipser-Spielman codes, and their more recent high-dimensional analogs, can be naturally represented as sheaf codes on simplicial and cubical complexes, considered as coded spaces. We introduce a new property of a sheaf code, called maximal extendibility, which ensures that within a class of codes on the same coded space, we encounter as few obstructions as possible when extending local sections globally. We show that in every class of sheaf codes defined on the same space and parameterized by parity-check matrices with polynomial entries, there always exists a maximally extendable sheaf code. Such codes are very interesting since it is possible to show…

High-dimensional Expansion of Product Codes is Stronger than Robust and Agreement Testability

Gleb Kalachev

cs.IT · · cited 0× · arXiv ↗ · more like this ·

We study the coboundary expansion property of product codes called product expansion, which played a key role in all recent constructions of good qLDPC codes. It was shown before that this property is equivalent to robust testability and agreement testability for products of two codes with linear distance. First, we show that robust testability for product of many codes with linear distance is equivalent to agreement testability. Second, we provide an example of product of three codes with linear distance which is robustly testable but not product expanding.

Asymptotically good families of quantum and locally testable classical LDPC codes

Gleb Kalachev, Pavel Panteleev

Computer Networks and Communications · Mathematical Problems of Cybernetics · · cited 0× · DOI ↗ · more like this ·

In this paper we study classical and quantum LDPC codes with constant rate obtained using tensor product operation over noncommutative group algebra for chain complexes. It is shown that these families of quantum LDPC codes are asymptotically good, which proves the qLDPC conjecture. The existence of asymptotically good families of locally testable codes with constant parameters of locality and soundness is also shown, which gives the solution of the known conjecture in the field of classical locally testable codes.

On maximizers of convolution operators in $L_{p}(\mathbb{R}^{n})$

Sergey Sadov, Gleb Kalachev

Applied Mathematics · · cited 0× · DOI ↗ · more like this ·

We discuss some facts and open problems related to maximizers of convolution operators with kernels in <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$L_{q}(\mathbb{R}^{n})$</tex> from the perspective of our existence theorem (Sbornik Mathematics, 2019). The results on evaluation of <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$L_{p}\rightarrow L_{p^{\prime}}$</tex> norms of the Laplace transform, which motivated this research, are reported.

On the Cleaning Lemma of Quantum Coding Theory

Gleb Kalachev, Sergey Sadov

quant-ph · · cited 0× · arXiv ↗ · more like this ·

The term "Cleaning Lemma" refers to a family of similar propositions that have been used in Quantum Coding Theory to estimate the minimum distance of a code in terms of its length and dimension. We show that the mathematical core is a simple fact of linear algebra of inner product spaces; moreover, it admits a further reduction to a combinatorial, lattice-theoretical level. Several concrete variants of the Cleaning Lemma and some additional propositions are derived as corollaries of the proposed approach.

Pilot-Wave Simulator: Exact Classical Sampling from Ideal and Noisy Quantum Circuits up to Hundreds of Qubits

Gleb Kalachev, Pavel Mosharev, Zuoheng Zou +2 more

quant-ph · · arXiv ↗ · more like this ·

Quantum circuit simulators running on classical computers offer a vital platform for designing, testing, and optimizing quantum algorithms, driving innovation despite limited access to real quantum hardware. However, their scalability is inherently constrained by exponential memory and computational overhead, which restricts accurate simulation of large-scale quantum circuits and often results in approximate output distributions. Here, we propose an exact sampling algorithm that integrates tensor network contraction techniques with a Markov process, wherein a classical state evolves according to the local structure of the quantum circuit. As a demonstration, we target the challenge of generating samples from ideal and noisy QAOA circuits with up to 476 qubits, incorporating both depolarizing and amplitude damping noise models. These results enable further validation of several…

Maximally Extendable Product Codes are Good Coboundary Expanders

Gleb Kalachev, Pavel Panteleev

cs.IT · · arXiv ↗ · more like this ·

We investigate the coboundary expansion property of tensor product codes, known as product expansion, which plays an important role in recent constructions of good quantum LDPC codes and classical locally testable codes. Prior research has shown that this property is equivalent to agreement testability and robust testability for products of two codes with linear distance. However, for products of more than two codes, product expansion is a strictly stronger property. In this paper, we prove that a collection of an arbitrary number of random codes over a sufficiently large field has good product expansion. We believe that, in the case of four codes, the same ideas can be used to construct good quantum locally testable codes, in a way similar to the current constructions that use only products of two codes.