Showing 1–27 of 27 results for author: Barg, A

Coxeter codes: Extending the Reed-Muller family

Authors: Nolan J. Coble, Alexander Barg

Abstract: Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic… ▽ More Binary Reed-Muller (RM) codes are defined via evaluations of Boolean-valued functions on $\mathbb{Z}_2^m$. We introduce a class of binary linear codes that generalizes the RM family by replacing the domain $\mathbb{Z}_2^m$ with an arbitrary finite Coxeter group. Like RM codes, this class is closed under duality, forms a nested code sequence, satisfies a multiplication property, and has asymptotic rate determined by a Gaussian distribution. Coxeter codes also give rise to a family of quantum codes for which transversal diagonal $Z$ rotations can perform non-trivial logic. △ Less

Submitted 10 June, 2025; v1 submitted 20 February, 2025; originally announced February 2025.

Comments: This version, v2, is a a full version of the previous submission, v1, with additional results and full proofs added

Geometric structure and transversal logic of quantum Reed-Muller codes

Authors: Alexander Barg, Nolan J. Coble, Dominik Hangleiter, Christopher Kang

Abstract: Designing efficient and noise-tolerant quantum computation protocols generally begins with an understanding of quantum error-correcting codes and their native logical operations. The simplest class of native operations are transversal gates, which are naturally fault-tolerant. In this paper, we aim to characterize the transversal gates of quantum Reed-Muller (RM) codes by exploiting the well-studi… ▽ More Designing efficient and noise-tolerant quantum computation protocols generally begins with an understanding of quantum error-correcting codes and their native logical operations. The simplest class of native operations are transversal gates, which are naturally fault-tolerant. In this paper, we aim to characterize the transversal gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. We start our work by establishing a new geometric characterization of quantum RM codes via the Boolean hypercube and its associated subcube complex. More specifically, a set of stabilizer generators for a quantum RM code can be described via transversal $X$ and $Z$ operators acting on subcubes of particular dimensions. This characterization leads us to define subcube operators composed of single-qubit $π/2^k$ $Z$-rotations that act on subcubes of given dimensions. We first characterize the action of subcube operators on the code space: depending on the dimension of the subcube, these operators either (1) act as a logical identity on the code space, (2) implement non-trivial logic, or (3) rotate a state away from the code space. Second, and more remarkably, we uncover that the logic implemented by these operators corresponds to circuits of multi-controlled-$Z$ gates that have an explicit and simple combinatorial description. Overall, this suite of results yields a comprehensive understanding of a class of natural transversal operators for quantum RM codes. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Storage codes and recoverable systems on lines and grids

Authors: Alexander Barg, Ohad Elishco, Ryan Gabrys, Geyang Wang, Eitan Yaakobi

Abstract: A storage code is an assignment of symbols to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors, or more generally, of a certain neighborhood of the vertex in $G$. In this work we introduce a new construction method of storage codes, enabling one to construct new codes from known ones via an interleaving procedur… ▽ More A storage code is an assignment of symbols to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors, or more generally, of a certain neighborhood of the vertex in $G$. In this work we introduce a new construction method of storage codes, enabling one to construct new codes from known ones via an interleaving procedure driven by resolvable designs. We also study storage codes on $\mathbb Z$ and ${\mathbb Z}^2$ (lines and grids), finding closed-form expressions for the capacity of several one and two-dimensional systems depending on their recovery set, using connections between storage codes, graphs, anticodes, and difference-avoiding sets. △ Less

Submitted 28 August, 2023; originally announced August 2023.

Quantum spherical codes

Authors: Shubham P. Jain, Joseph T. Iosue, Alexander Barg, Victor V. Albert

Abstract: We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large se… ▽ More We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large separation that at the same time form averaging sets known as spherical designs. We also recast concatenations of CSS codes with cat codes as quantum spherical codes, revealing a new way to autonomously protect against dephasing noise. △ Less

Submitted 7 December, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 5 + 12 pages, 3 figures, 5 tables

Storage codes on coset graphs with asymptotically unit rate

Authors: Alexander Barg, Moshe Schwartz, Lev Yohananov

Abstract: A storage code on a graph $G$ is a set of assignments of symbols to the vertices such that every vertex can recover its value by looking at its neighbors. We consider the question of constructing large-size storage codes on triangle-free graphs constructed as coset graphs of binary linear codes. Previously it was shown that there are infinite families of binary storage codes on coset graphs with r… ▽ More A storage code on a graph $G$ is a set of assignments of symbols to the vertices such that every vertex can recover its value by looking at its neighbors. We consider the question of constructing large-size storage codes on triangle-free graphs constructed as coset graphs of binary linear codes. Previously it was shown that there are infinite families of binary storage codes on coset graphs with rate converging to 3/4. Here we show that codes on such graphs can attain rate asymptotically approaching 1. Equivalently, this question can be phrased as a version of hat-guessing games on graphs (e.g., P.J. Cameron e.a., \emph{Electronic J. Comb.} 2016). In this language, we construct triangle-free graphs with success probability of the players approaching one as the number of vertices tends to infinity. Furthermore, finding linear index codes of rate approaching zero is also an equivalent problem. Another family of storage codes on triangle-free graphs of rate approaching 1 was constructed earlier by A. Golovnev and I. Haviv (36th Computational Complexity Conf., 2021) relying on a different family of graphs. △ Less

Submitted 11 June, 2024; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: Final version, to appear in Combinatorics

MSC Class: 94B25

On the size of maximal binary codes with 2, 3, and 4 distances

Authors: Alexander Barg, Alexey Glazyrin, Wei-Jiun Kao, Ching-Yi Lai, Pin-Chieh Tseng, Wei-Hsuan Yu

Abstract: We address the maximum size of binary codes and binary constant weight codes with few distances. Previous works established a number of bounds for these quantities as well as the exact values for a range of small code lengths. As our main results, we determine the exact size of maximal binary codes with two distances for all lengths $n\ge 6$ as well as the exact size of maximal binary constant wei… ▽ More We address the maximum size of binary codes and binary constant weight codes with few distances. Previous works established a number of bounds for these quantities as well as the exact values for a range of small code lengths. As our main results, we determine the exact size of maximal binary codes with two distances for all lengths $n\ge 6$ as well as the exact size of maximal binary constant weight codes with 2,3, and 4 distances for several values of the weight and for all but small lengths. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: Main text 23 pp. and Appendix 17pp

Semidefinite programming bounds for few-distance sets in the Hamming and Johnson spaces

Authors: Alexander Barg, Ching-Yi Lai, Pin-Chieh Tseng, Wei-Hsuan Yu

Abstract: We study the maximum cardinality problem of a set of few distances in the Hamming and Johnson spaces. We formulate semidefinite programs for this problem and extend the 2011 works by Barg-Musin and Musin-Nozaki. As our main result, we find new parameters for which the maximum size of two- and three-distance sets is known exactly. We study the maximum cardinality problem of a set of few distances in the Hamming and Johnson spaces. We formulate semidefinite programs for this problem and extend the 2011 works by Barg-Musin and Musin-Nozaki. As our main result, we find new parameters for which the maximum size of two- and three-distance sets is known exactly. △ Less

Submitted 7 July, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: Renew the whole article to add more results and authors

High-rate storage codes on triangle-free graphs

Authors: Alexander Barg, Gilles Zémor

Abstract: Consider an assignment of bits to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors. A collection of such assignments is called a {\em storage code} of length $|V|$ on $G$. The storage code problem can be equivalently formulated as maximizing the probability of success in a {\em guessing game} on graphs, or const… ▽ More Consider an assignment of bits to the vertices of a connected graph $G(V,E)$ with the property that the value of each vertex is a function of the values of its neighbors. A collection of such assignments is called a {\em storage code} of length $|V|$ on $G$. The storage code problem can be equivalently formulated as maximizing the probability of success in a {\em guessing game} on graphs, or constructing {\em index codes} of small rate. If $G$ contains many cliques, it is easy to construct codes of rate close to 1, so a natural problem is to construct high-rate codes on triangle-free graphs, where constructing codes of rate $>1/2$ is a nontrivial task, with few known results. In this work we construct infinite families of linear storage codes with high rate relying on coset graphs of binary linear codes. We also derive necessary conditions for such codes to have high rate, and even rate potentially close to one. We also address correction of multiple erasures in the codeword, deriving recovery guarantees based on expansion properties of the graph. Finally, we point out connections between linear storage codes and quantum CSS codes, a link to bootstrap percolation and contagion spread in graphs, and formulate a number of open problems. △ Less

Submitted 27 March, 2022; v1 submitted 5 October, 2021; originally announced October 2021.

Comments: 20 pages. V2: minor corrections and additions

Journal ref: IEEE Transactions on Information Theory, 2022, vol. 68, no. 12, pp. 7787-7797

A construction of maximally recoverable codes

Authors: Alexander Barg, Zitan Chen, Itzhak Tamo

Abstract: We construct a family of linear maximally recoverable codes with locality $r$ and dimension $r+1.$ For codes of length $n$ with $r\approx n^α, 0\leα\le 1$ the code alphabet is of the order $n^{1+3α},$ which improves upon the previously known constructions of maximally recoverable codes. We construct a family of linear maximally recoverable codes with locality $r$ and dimension $r+1.$ For codes of length $n$ with $r\approx n^α, 0\leα\le 1$ the code alphabet is of the order $n^{1+3α},$ which improves upon the previously known constructions of maximally recoverable codes. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Bounds for the sum of distances of spherical sets of small size

Authors: Alexander Barg, Peter Boyvalenkov, Maya Stoyanova

Abstract: We derive upper and lower bounds on the sum of distances of a spherical code of size $N$ in $n$ dimensions when $N\sim n^α, 0<α\le 2.$ The bounds are derived by specializing recent general, universal bounds on energy of spherical sets. We discuss asymptotic behavior of our bounds along with several examples of codes whose sum of distances closely follows the upper bound. We derive upper and lower bounds on the sum of distances of a spherical code of size $N$ in $n$ dimensions when $N\sim n^α, 0<α\le 2.$ The bounds are derived by specializing recent general, universal bounds on energy of spherical sets. We discuss asymptotic behavior of our bounds along with several examples of codes whose sum of distances closely follows the upper bound. △ Less

Submitted 21 December, 2022; v1 submitted 7 May, 2021; originally announced May 2021.

Comments: 21 pp

Bounds for discrepancies in the Hamming space

Authors: Alexander Barg, Maxim Skriganov

Abstract: We derive bounds for the ball $L_p$-discrepancies in the Hamming space for $0<p<\infty$ and $p=\infty$. Sharp estimates of discrepancies have been obtained for many spaces such as the Euclidean spheres and more general compact Riemannian manifolds. In the present paper, we show that the behavior of discrepancies in the Hamming space differs fundamentally because the volume of the ball in this spac… ▽ More We derive bounds for the ball $L_p$-discrepancies in the Hamming space for $0<p<\infty$ and $p=\infty$. Sharp estimates of discrepancies have been obtained for many spaces such as the Euclidean spheres and more general compact Riemannian manifolds. In the present paper, we show that the behavior of discrepancies in the Hamming space differs fundamentally because the volume of the ball in this space depends on its radius exponentially while such a dependence for the Riemannian manifolds is polynomial. △ Less

Submitted 27 August, 2020; v1 submitted 19 July, 2020; originally announced July 2020.

Stolarsky's invariance principle for finite metric spaces

Authors: Alexander Barg

Abstract: Stolarsky's invariance principle quantifies the deviation of a subset of a metric space from the uniform distribution. Classically derived for spherical sets, it has been recently studied in a number of other situations, revealing a general structure behind various forms of the main identity. In this work we consider the case of finite metric spaces, relating the quadratic discrepancy of a subset… ▽ More Stolarsky's invariance principle quantifies the deviation of a subset of a metric space from the uniform distribution. Classically derived for spherical sets, it has been recently studied in a number of other situations, revealing a general structure behind various forms of the main identity. In this work we consider the case of finite metric spaces, relating the quadratic discrepancy of a subset to a certain function of the distribution of distances in it. Our main results are related to a concrete form of the invariance principle for the Hamming space. We derive several equivalent versions of the expression for the discrepancy of a code, including expansions of the discrepancy and associated kernels in the Krawtchouk basis. Codes that have the smallest possible quadratic discrepancy among all subsets of the same cardinality can be naturally viewed as energy minimizing subsets in the space. Using linear programming, we find several bounds on the minimal discrepancy and give examples of minimizing configurations. In particular, we show that all binary perfect codes have the smallest possible discrepancy. △ Less

Submitted 1 September, 2021; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 26pp. This version corrects the statement of Theorem 6.3 and contains a new Appendix with a simple proof of the formula for the sum of squares of Krawtchouk polynomials

Journal ref: Mathematika, vol. 67, no. 1, 2021, pp. 158-186

Optimal locally private estimation under $\ell_p$ loss for $1\le p\le 2$

Authors: Min Ye, Alexander Barg

Abstract: We consider the minimax estimation problem of a discrete distribution with support size $k$ under locally differential privacy constraints. A privatization scheme is applied to each raw sample independently, and we need to estimate the distribution of the raw samples from the privatized samples. A positive number $ε$ measures the privacy level of a privatization scheme. In our previous work (IEE… ▽ More We consider the minimax estimation problem of a discrete distribution with support size $k$ under locally differential privacy constraints. A privatization scheme is applied to each raw sample independently, and we need to estimate the distribution of the raw samples from the privatized samples. A positive number $ε$ measures the privacy level of a privatization scheme. In our previous work (IEEE Trans. Inform. Theory, 2018), we proposed a family of new privatization schemes and the corresponding estimator. We also proved that our scheme and estimator are order optimal in the regime $e^ε \ll k$ under both $\ell_2^2$ (mean square) and $\ell_1$ loss. In this paper, we sharpen this result by showing asymptotic optimality of the proposed scheme under the $\ell_p^p$ loss for all $1\le p\le 2.$ More precisely, we show that for any $p\in[1,2]$ and any $k$ and $ε,$ the ratio between the worst-case $\ell_p^p$ estimation loss of our scheme and the optimal value approaches $1$ as the number of samples tends to infinity. The lower bound on the minimax risk of private estimation that we establish as a part of the proof is valid for any loss function $\ell_p^p, p\ge 1.$ △ Less

Submitted 16 October, 2018; originally announced October 2018.

Comments: This paper generalizes the optimality results of the preprint arXiv:1708.00059 from $ell_2$ to a broader class of loss functions. The new approach taken here also results in a much shorter proof

Codes with hierarchical locality from covering maps of curves

Authors: Sean Ballentine, Alexander Barg, Serge Vladuts

Abstract: Locally recoverable (LRC) codes provide ways of recovering erased coordinates of the codeword without having to access each of the remaining coordinates. A subfamily of LRC codes with hierarchical locality (H-LRC codes) provides added flexibility to the construction by introducing several tiers of recoverability for correcting different numbers of erasures. We present a general construction of cod… ▽ More Locally recoverable (LRC) codes provide ways of recovering erased coordinates of the codeword without having to access each of the remaining coordinates. A subfamily of LRC codes with hierarchical locality (H-LRC codes) provides added flexibility to the construction by introducing several tiers of recoverability for correcting different numbers of erasures. We present a general construction of codes with 2-level hierarchical locality from maps between algebraic curves and specialize it to several code families obtained from quotients of curves by a subgroup of the automorphism group, including rational, elliptic, Kummer, and Artin-Schreier curves. We further address the question of H-LRC codes with availability, and suggest a general construction of such codes from fiber products of curves. Detailed calculations of parameters for H-LRC codes with availability are performed for Reed-Solomon- and Hermitian-like code families. Finally, we construct asymptotically good families of H-LRC codes from curves related to the Garcia-Stichtenoth tower. △ Less

Submitted 2 April, 2019; v1 submitted 14 July, 2018; originally announced July 2018.

Comments: V2: We added a construction of codes with two-level hierarchical locality and availability in each of the levels. \\ V3: The section on locality and availability has been rewritten; a new section was added with two general families of codes with two-level locality and availability in each of the levels, Sec. VIII.E

Asymptotically optimal private estimation under mean square loss

Authors: Min Ye, Alexander Barg

Abstract: We consider the minimax estimation problem of a discrete distribution with support size $k$ under locally differential privacy constraints. A privatization scheme is applied to each raw sample independently, and we need to estimate the distribution of the raw samples from the privatized samples. A positive number $ε$ measures the privacy level of a privatization scheme. In our previous work (arX… ▽ More We consider the minimax estimation problem of a discrete distribution with support size $k$ under locally differential privacy constraints. A privatization scheme is applied to each raw sample independently, and we need to estimate the distribution of the raw samples from the privatized samples. A positive number $ε$ measures the privacy level of a privatization scheme. In our previous work (arXiv:1702.00610), we proposed a family of new privatization schemes and the corresponding estimator. We also proved that our scheme and estimator are order optimal in the regime $e^ε \ll k$ under both $\ell_2^2$ and $\ell_1$ loss. In other words, for a large number of samples the worst-case estimation loss of our scheme was shown to differ from the optimal value by at most a constant factor. In this paper, we eliminate this gap by showing asymptotic optimality of the proposed scheme and estimator under the $\ell_2^2$ (mean square) loss. More precisely, we show that for any $k$ and $ε,$ the ratio between the worst-case estimation loss of our scheme and the optimal value approaches $1$ as the number of samples tends to infinity. △ Less

Submitted 31 July, 2017; originally announced August 2017.

Locally recoverable codes from algebraic curves and surfaces

Authors: Alexander Barg, Kathryn Haymaker, Everett W. Howe, Gretchen L. Matthews, Anthony Várilly-Alvarado

Abstract: A locally recoverable code is a code over a finite alphabet such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. Building on work of Barg, Tamo, and Vlăduţ, we present several constructions of locally recoverable codes from algebraic curves and surfaces. A locally recoverable code is a code over a finite alphabet such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. Building on work of Barg, Tamo, and Vlăduţ, we present several constructions of locally recoverable codes from algebraic curves and surfaces. △ Less

Submitted 18 January, 2017; originally announced January 2017.

Comments: 27 pages

MSC Class: 94B27; 14G50

Journal ref: pp. 95-127 in: Algebraic Geometry for Coding Theory and Cryptography (E. W. Howe, K. E. Lauter, and J. L. Walker, eds.), Springer, Cham, 2017

Locally recoverable codes on algebraic curves

Authors: Alexander Barg, Itzhak Tamo, Serge Vladut

Abstract: A code over a finite alphabet is called locally recoverable (LRC code) if every symbol in the encoding is a function of a small number (at most r) other symbols. A family of linear LRC codes that generalize the classic construction of Reed-Solomon codes was constructed in a recent paper by I. Tamo and A. Barg. In this paper we extend this construction to codes on algebraic curves. We give a genera… ▽ More A code over a finite alphabet is called locally recoverable (LRC code) if every symbol in the encoding is a function of a small number (at most r) other symbols. A family of linear LRC codes that generalize the classic construction of Reed-Solomon codes was constructed in a recent paper by I. Tamo and A. Barg. In this paper we extend this construction to codes on algebraic curves. We give a general construction of LRC codes on curves and compute some examples, including asymptotically good families of codes derived from the Garcia- Stichtenoth towers. The local recovery procedure is performed by polynomial interpolation over r coordinates of the codevector. We also obtain a family of Hermitian codes with two disjoint recovering sets for every symbol of the codeword. △ Less

Submitted 10 May, 2015; v1 submitted 20 January, 2015; originally announced January 2015.

Comments: Will appear at ISIT 2015

Finite two-distance tight frames

Authors: Alexander Barg, Alexei Glazyrin, Kasso Okoudjou, Wei-Hsuan Yu

Abstract: A finite collection of unit vectors $S \subset \mathbb{R}^n$ is called a spherical two-distance set if there are two numbers $a$ and $b$ such that the inner products of distinct vectors from $S$ are either $a$ or $b$. We prove that if $a\ne -b,$ then a two-distance set that forms a tight frame for $\mathbb{R}^n$ is a spherical embedding of a strongly regular graph, and every strongly regular graph… ▽ More A finite collection of unit vectors $S \subset \mathbb{R}^n$ is called a spherical two-distance set if there are two numbers $a$ and $b$ such that the inner products of distinct vectors from $S$ are either $a$ or $b$. We prove that if $a\ne -b,$ then a two-distance set that forms a tight frame for $\mathbb{R}^n$ is a spherical embedding of a strongly regular graph, and every strongly regular graph gives rise to two-distance tight frames through standard spherical embeddings. Together with an earlier work by S. Waldron on the equiangular case ({\em Linear Alg. Appl.}, vol. 41, pp. 2228-2242, 2009) this completely characterizes two-distance tight frames. As an intermediate result, we obtain a classification of all two-distance 2-designs.\ △ Less

Submitted 24 February, 2015; v1 submitted 14 February, 2014; originally announced February 2014.

New bounds for equiangular lines

Authors: Alexander Barg, Wei-Hsuan Yu

Abstract: A set of lines in $\mathbb{R}^n$ is called equiangular if the angle between each pair of lines is the same. We address the question of determining the maximum size of equiangular line sets in $\mathbb{R}^n$, using semidefinite programming to improve the upper bounds on this quantity. Improvements are obtained in dimensions $24 \leq n \leq 136$. In particular, we show that the maximum number of equ… ▽ More A set of lines in $\mathbb{R}^n$ is called equiangular if the angle between each pair of lines is the same. We address the question of determining the maximum size of equiangular line sets in $\mathbb{R}^n$, using semidefinite programming to improve the upper bounds on this quantity. Improvements are obtained in dimensions $24 \leq n \leq 136$. In particular, we show that the maximum number of equiangular lines in $\mathbb{R}^n$ is $276$ for all $24 \leq n \leq 41$ and is 344 for $n=43.$ This provides a partial resolution of the conjecture set forth by Lemmens and Seidel (1973). △ Less

Submitted 25 May, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: Minor corrections; added one new reference. To appear in "Discrete Geometry and Algebraic Combinatorics," A. Barg and O. R. Musin, Editors, Providence: RI, AMS (2014). AMS Contemporary Mathematics series

Association schemes on general measure spaces and zero-dimensional Abelian groups

Authors: Alexander Barg, Maxim Skriganov

Abstract: Association schemes form one of the main objects of algebraic combinatorics, classically defined on finite sets. In this paper we define association schemes on arbitrary, possibly uncountable sets with a measure. We study operator realizations of the adjacency algebras of schemes and derive simple properties of these algebras. To develop a theory of general association schemes, we focus on schemes… ▽ More Association schemes form one of the main objects of algebraic combinatorics, classically defined on finite sets. In this paper we define association schemes on arbitrary, possibly uncountable sets with a measure. We study operator realizations of the adjacency algebras of schemes and derive simple properties of these algebras. To develop a theory of general association schemes, we focus on schemes on topological Abelian groups where we can employ duality theory and the machinery of harmonic analysis. We construct translation association schemes on such groups using the language of spectrally dual partitions. Such partitions are shown to arise naturally on topological zero-dimensional Abelian groups, for instance, Cantor-type groups or the groups of p-adic numbers. This enables us to construct large classes of dual pairs of association schemes on zero-dimensional groups with respect to their Haar measure, and to compute their eigenvalues and intersection numbers. We also derive properties of infinite metric schemes, connecting them with the properties of the non-Archimedean metric on the group. Pursuing the connection between schemes on zero-dimensional groups and harmonic analysis, we show that the eigenvalues have a natural interpretation in terms of Littlewood-Paley wavelet bases, and in the (equivalent) language of martingale theory. For a class of nonmetric schemes constructed in the paper, the eigenvalues coincide with values of orthogonal functions on zero-dimensional groups. We observe that these functions, which we call Haar-like bases, have the properties of wavelets on the group, including in some special cases the self-similarity property. This establishes a seemingly new link between algebraic combinatorics and harmonic analysis. We conclude the paper by studying some analogs of problems of classical coding theory related to the theory of association schemes. △ Less

Submitted 12 May, 2014; v1 submitted 20 October, 2013; originally announced October 2013.

Comments: 80 pages, no figures. This revision contains several minor corrections; we also added a short Sect. 6-B on the non-polynomiality of metric schemes with a non-Archimedean metric

MSC Class: 05E30; 22B05; 42C40; 43A70; 94B60

Journal ref: Advances in Mathematics, vol. 281 (2015), pp. 142-247

New bounds for spherical two-distance sets

Authors: Alexander Barg, Wei-Hsuan Yu

Abstract: A spherical two-distance set is a finite collection of unit vectors in $\reals^n$ such that the set of distances between any two distinct vectors has cardinality two. We use the semidefinite programming method to compute improved estimates of the maximum size of spherical two-distance sets. Exact answers are found for dimensions $n=23$ and $40\le n\le 93\; (n\ne 46,78)$ where previous results gave… ▽ More A spherical two-distance set is a finite collection of unit vectors in $\reals^n$ such that the set of distances between any two distinct vectors has cardinality two. We use the semidefinite programming method to compute improved estimates of the maximum size of spherical two-distance sets. Exact answers are found for dimensions $n=23$ and $40\le n\le 93\; (n\ne 46,78)$ where previous results gave divergent bounds. △ Less

Submitted 22 January, 2013; v1 submitted 24 April, 2012; originally announced April 2012.

Bounds on sets with few distances

Authors: Alexander Barg, Oleg R. Musin

Abstract: We derive a new estimate of the size of finite sets of points in metric spaces with few distances. The following applications are considered: (1) we improve the Ray-Chaudhuri--Wilson bound of the size of uniform intersecting families of subsets; (2) we refine the bound of Delsarte-Goethals-Seidel on the maximum size of spherical sets with few distances; (3) we prove a new bound on codes with… ▽ More We derive a new estimate of the size of finite sets of points in metric spaces with few distances. The following applications are considered: (1) we improve the Ray-Chaudhuri--Wilson bound of the size of uniform intersecting families of subsets; (2) we refine the bound of Delsarte-Goethals-Seidel on the maximum size of spherical sets with few distances; (3) we prove a new bound on codes with few distances in the Hamming space, improving an earlier result of Delsarte. We also find the size of maximal binary codes and maximal constant-weight codes of small length with 2 and 3 distances. △ Less

Submitted 8 September, 2010; v1 submitted 14 May, 2009; originally announced May 2009.

Comments: 11 pages

Journal ref: Journal of Combinatorial Theory Ser. A, 118 , no. 4, 2011, pp. 1465-1474,

Bounds on ordered codes and orthogonal arrays

Authors: Alexander Barg, Punarbasu Purkayastha

Abstract: We derive new estimates of the size of codes and orthogonal arrays in the ordered Hamming space (the Niederreiter-Rosenbloom-Tsfasman space). We also show that the eigenvalues of the ordered Hamming scheme, the association scheme that describes the combinatorics of the space, are given by the multivariable Krawtchouk polynomials, and establish some of their properties. We derive new estimates of the size of codes and orthogonal arrays in the ordered Hamming space (the Niederreiter-Rosenbloom-Tsfasman space). We also show that the eigenvalues of the ordered Hamming scheme, the association scheme that describes the combinatorics of the space, are given by the multivariable Krawtchouk polynomials, and establish some of their properties. △ Less

Submitted 10 July, 2009; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: Final version, minor corrections

Journal ref: Moscow Mathematical Journal, vol. 9, no. 2, 2009, pp. 211-243.

Codes in spherical caps

Authors: Alexander Barg, Oleg R. Musin

Abstract: We consider bounds on codes in spherical caps and related problems in geometry and coding theory. An extension of the Delsarte method is presented that relates upper bounds on the size of spherical codes to upper bounds on codes in caps. Several new upper bounds on codes in caps are derived. Applications of these bounds to estimates of the kissing numbers and one-sided kissing numbers are consid… ▽ More We consider bounds on codes in spherical caps and related problems in geometry and coding theory. An extension of the Delsarte method is presented that relates upper bounds on the size of spherical codes to upper bounds on codes in caps. Several new upper bounds on codes in caps are derived. Applications of these bounds to estimates of the kissing numbers and one-sided kissing numbers are considered. It is proved that the maximum size of codes in spherical caps for large dimensions is determined by the maximum size of spherical codes, so these problems are asymptotically equivalent. △ Less

Submitted 21 March, 2007; v1 submitted 28 June, 2006; originally announced June 2006.

Journal ref: Advances in Mathematics of Communications, vol. 1, no. 1, 2007, 131-149

Spectral approach to linear programming bounds on codes

Authors: Alexander Barg, Dmitry Nogin

Abstract: We give new proofs of asymptotic upper bounds of coding theory obtained within the frame of Delsarte's linear programming method. The proofs rely on the analysis of eigenvectors of some finite-dimensional operators related to orthogonal polynomials. The examples of the method considered in the paper include binary codes, binary constant-weight codes, spherical codes, and codes in the projective… ▽ More We give new proofs of asymptotic upper bounds of coding theory obtained within the frame of Delsarte's linear programming method. The proofs rely on the analysis of eigenvectors of some finite-dimensional operators related to orthogonal polynomials. The examples of the method considered in the paper include binary codes, binary constant-weight codes, spherical codes, and codes in the projective spaces. △ Less

Submitted 13 March, 2006; v1 submitted 5 December, 2005; originally announced December 2005.

Comments: 11 pages, submitted

Journal ref: Problems of Information Transmission 42, 2, 2006, 77-89

A bound on Grassmannian codes

Authors: Alexander Barg, Dmitry Nogin

Abstract: We give a new asymptotic upper bound on the size of a code in the Grassmannian space. The bound is better than the upper bounds known previously in the entire range of distances except very large values. We give a new asymptotic upper bound on the size of a code in the Grassmannian space. The bound is better than the upper bounds known previously in the entire range of distances except very large values. △ Less

Submitted 5 December, 2005; originally announced December 2005.

Comments: 5 pages, submitted

Journal ref: Journal of Combinatorial Theory, Ser. A, vol.113,no.8, 2006, pp.1629-1635

Polynomial method in coding and information theory

Authors: A. Ashikhmin, A. Barg, S. Litsyn

Abstract: Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the applicability of the method was extended to cover a wider range of problems in coding and information theory. In this paper we present a general framework for the met… ▽ More Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the applicability of the method was extended to cover a wider range of problems in coding and information theory. In this paper we present a general framework for the method which includes previous results as particular cases. We explain how this generalization leads to new asymptotic bounds on the performance of codes in binary-input memoryless channels and the Gaussian channel, which improve the results of Shannon et al. of 1959-67, and to a number of other results in combinatorial coding theory. △ Less

Submitted 30 October, 1999; originally announced October 1999.

Comments: 11 pages

MSC Class: 94A24; 94B27; 05E30; 33C45