Showing 1–31 of 31 results for author: Potapov, V N

Asymptotic bounds on the numbers of vertices of polytopes of polystochastic matrices

Authors: Vladimir N. Potapov, Anna A. Taranenko

Abstract: A multidimensional nonnegative matrix is called polystochastic if the sum of entries in each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$. In the present paper, we compare known bounds on the number of vertices of the polytope $Ω_n^d$ and prove that the number of vertices of $Ω_3^d$ is doubly exponential on $d$. A multidimensional nonnegative matrix is called polystochastic if the sum of entries in each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$. In the present paper, we compare known bounds on the number of vertices of the polytope $Ω_n^d$ and prove that the number of vertices of $Ω_3^d$ is doubly exponential on $d$. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 8 pages, Section 2 is transferred from arXiv:2311.06905

MSC Class: 05A05; 15B51; 52B05

Combinatorial designs, difference sets and bent functions as perfect colorings of graphs and multigraphs

Authors: V. N. Potapov, S. V. Avgustinovich

Abstract: It is proved that 1) the indicator function of some onefold or multifold independent set in a regular graph is a perfect coloring if and only if the set attain the Delsarte--Hoffman bound; 2) each transversal in a uniform regular hypergraph is an independent set attaining the Delsarte--Hoffman bound in the vertex adjacency multigraph of this hypergraph; 3) combinatorial designs with parameters… ▽ More It is proved that 1) the indicator function of some onefold or multifold independent set in a regular graph is a perfect coloring if and only if the set attain the Delsarte--Hoffman bound; 2) each transversal in a uniform regular hypergraph is an independent set attaining the Delsarte--Hoffman bound in the vertex adjacency multigraph of this hypergraph; 3) combinatorial designs with parameters $t$-$(v,k,λ)$ and similar $q$-designs, difference sets, Hadamard matrices, and bent functions are equivalent to perfect colorings of special graphs and multigraphs, in particular, it is true in the cases of the Johnson graphs $J(n,k)$ for $(k-1)$-$(v,k,λ)$ designs and the Grassmann graphs $J_2(n,2)$ for bent functions. Keywords: perfect coloring, equitable partition, transversal of hypergraph, combinatorial design, $q$-design, difference set, bent function, Johnson graph, Grassmann graph, Delsarte--Hoffman bound △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: This is improved version of the paper published in Siberian Mathematical Journal. We fix some misprints and a gap in the proof of Theorem 2

MSC Class: 05C15; 05C50; 05B05

Journal ref: Siberian Mathematical Journal, 2020, Vol. 61, No. 5, P. 867-877

Partitioning the hypercube into smaller hypercubes

Authors: Noga Alon, Jozsef Balogh, Vladimir N. Potapov

Abstract: Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions. Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions. △ Less

Submitted 3 February, 2024; v1 submitted 30 December, 2023; originally announced January 2024.

Comments: Proofs slightly shortened

MSC Class: 05

Every latin hypercube of order 5 has transversals

Authors: A. L. Perezhogin, V. N. Potapov, S. Yu. Vladimirov

Abstract: We prove that for all n>1 every latin n-dimensional cube of order 5 has transversals. We find all 123 paratopy classes of layer-latin cubes of order 5 with no transversals. For each $n\geq 3$ and $q\geq 3$ we construct a (2q-2)-layer latin n-dimensional cuboid with no transversals. Moreover, we find all paratopy classes of nonextendible and noncompletable latin cuboids of order 5. We prove that for all n>1 every latin n-dimensional cube of order 5 has transversals. We find all 123 paratopy classes of layer-latin cubes of order 5 with no transversals. For each $n\geq 3$ and $q\geq 3$ we construct a (2q-2)-layer latin n-dimensional cuboid with no transversals. Moreover, we find all paratopy classes of nonextendible and noncompletable latin cuboids of order 5. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: Supplementary data https://zenodo.org/records/10204026

MSC Class: 05B15

Existence of balanced functions that are not derivative of bent functions

Authors: Vladimir N. Potapov

Abstract: It is disproved the Tokareva's conjecture that any balanced boolean function of appropriate degree is a derivative of some bent function. This result is based on new upper bounds for the numbers of bent and plateaued functions. It is disproved the Tokareva's conjecture that any balanced boolean function of appropriate degree is a derivative of some bent function. This result is based on new upper bounds for the numbers of bent and plateaued functions. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 3 pages

MSC Class: 06E30

Upper bounds on the numbers of binary plateaued and bent functions

Authors: Vladimir N. Potapov

Abstract: The logarithm of the number of binary n-variable bent functions is asymptotically less than $11(2^n)/32$ as n tends to infinity. Keywords: boolean function, Walsh--Hadamard transform, plateaued function, bent function, upper bound The logarithm of the number of binary n-variable bent functions is asymptotically less than $11(2^n)/32$ as n tends to infinity. Keywords: boolean function, Walsh--Hadamard transform, plateaued function, bent function, upper bound △ Less

Submitted 22 June, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: 9 pages

MSC Class: 94D10; 94A60; 06E30

An upper bound on the number of frequency hypercubes

Authors: Denis S. Krotov, Vladimir N. Potapov

Abstract: A frequency $n$-cube $F^n(q;l_0,...,l_{m-1})$ is an $n$-dimensional $q$-by-...-by-$q$ array, where $q = l_0+...+l_{m-1}$, filled by numbers $0,...,m-1$ with the property that each line contains exactly $l_i$ cells with symbol $i$, $i = 0,...,m-1$ (a line consists of $q$ cells of the array differing in one coordinate). The trivial upper bound on the number of frequency $n$-cubes is $m^{(q-1)^{n}}$.… ▽ More A frequency $n$-cube $F^n(q;l_0,...,l_{m-1})$ is an $n$-dimensional $q$-by-...-by-$q$ array, where $q = l_0+...+l_{m-1}$, filled by numbers $0,...,m-1$ with the property that each line contains exactly $l_i$ cells with symbol $i$, $i = 0,...,m-1$ (a line consists of $q$ cells of the array differing in one coordinate). The trivial upper bound on the number of frequency $n$-cubes is $m^{(q-1)^{n}}$. We improve that lower bound for $n>2$, replacing $q-1$ by a smaller value, by constructing a testing set of size $s^{n}$, $s<q-1$, for frequency $n$-cubes (a testing sets is a collection of cells of an array the values in which uniquely determine the array with given parameters). We also construct new testing sets for generalized frequency $n$-cubes, which are essentially correlation-immune functions in $n$ $q$-valued arguments; the cardinalities of new testing sets are smaller than for testing sets known before. Keywords: frequency hypercube, correlation-immune function, latin hypercube, testing set. △ Less

Submitted 12 June, 2024; v1 submitted 7 December, 2022; originally announced December 2022.

MSC Class: 05B15

Journal ref: Discrete Math. 347(1) 2024, 113657(1-9)

On extremal properties of perfect 2-colorings

Authors: Vladimir N. Potapov

Abstract: A coloring of vertices of a graph is called perfect if, for every vertex, the collection of colors of its neighbors depends only on its own color. The correspondent color partition of vertices is called equitable. We note that a number of bounds (Hoffman bound, Cheeger bound, Bierbrauer--Friedman bound and other) is only reached on perfect $2$-colorings. We show that the Expander Mixing Lemma is a… ▽ More A coloring of vertices of a graph is called perfect if, for every vertex, the collection of colors of its neighbors depends only on its own color. The correspondent color partition of vertices is called equitable. We note that a number of bounds (Hoffman bound, Cheeger bound, Bierbrauer--Friedman bound and other) is only reached on perfect $2$-colorings. We show that the Expander Mixing Lemma is another example of an inequality that generates a perfect $2$-coloring. We prove a new upper bound for the size of $S\subset V(G)$ with the fixed average internal degree for an amply regular graph $G$. This bound is reached on the set $S$ if and only if $\{S, V(G)\setminus S\}$ is an equitable partition. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: 9 pages

MSC Class: 05C35; 05B30; 05E30

Embedding in MDS codes and Latin cubes

Authors: Vladimir N. Potapov

Abstract: An embedding of a code is a map** that preserves distances between codewords. We prove that any code with code distance $ρ$ and length $d$ can be embedded into an MDS code with the same code distance and length but under a larger alphabet. As a corollary we obtain embeddings of systems of partial mutually orthogonal Latin cubes and $n$-ary quasigroups. An embedding of a code is a map** that preserves distances between codewords. We prove that any code with code distance $ρ$ and length $d$ can be embedded into an MDS code with the same code distance and length but under a larger alphabet. As a corollary we obtain embeddings of systems of partial mutually orthogonal Latin cubes and $n$-ary quasigroups. △ Less

Submitted 30 September, 2021; originally announced September 2021.

Comments: 7 pages

MSC Class: 05B15

Journal ref: Journal of Combinatorial Designs. 2022. V. 30 (9). P. 626--633

An asymptotic lower bound on the number of bent functions

Authors: V. N. Potapov, A. A. Taranenko, Yu. V. Tarannikov

Abstract: A Boolean function $f$ on $n$ variables is said to be a bent function if the absolute value of all its Walsh coefficients is $2^{n/2}$. Our main result is a new asymptotic lower bound on the number of Boolean bent functions. It is based on a modification of the Maiorana--McFarland family of bent functions and recent progress in the estimation of the number of transversals in latin squares and hype… ▽ More A Boolean function $f$ on $n$ variables is said to be a bent function if the absolute value of all its Walsh coefficients is $2^{n/2}$. Our main result is a new asymptotic lower bound on the number of Boolean bent functions. It is based on a modification of the Maiorana--McFarland family of bent functions and recent progress in the estimation of the number of transversals in latin squares and hypercubes. By-products of our proofs are the asymptotics of the logarithm of the numbers of partitions of the Boolean hypercube into $2$-dimensional affine and linear subspaces. △ Less

Submitted 20 April, 2023; v1 submitted 31 July, 2021; originally announced August 2021.

Comments: v.1: 10 pages v.2: 13 pages; all main results remain the same, but we extend the introduction, add many references, change the title, and make a large number of other small improvements

An Upper Bound on the Number of Bent Functions

Authors: Vladimir N. Potapov

Abstract: The number of $n$-ary bent functions is less than $2^{3\cdot2^{n-3}(1+o(1))}$ as $n$ is even and $n\rightarrow\infty$. Keywords: Boolean function, bent function, upper bound The number of $n$-ary bent functions is less than $2^{3\cdot2^{n-3}(1+o(1))}$ as $n$ is even and $n\rightarrow\infty$. Keywords: Boolean function, bent function, upper bound △ Less

Submitted 30 July, 2021; originally announced July 2021.

Journal ref: Proceedings of 2021 XVII International Symposium on Problems of Redundancy in Information and Control Systems

On weight spectrum of linear codes

Authors: Vladimir N. Potapov

Abstract: We study sequences of linear or affine codes with uniform weight spectrum, i.e., a part of codewords with any fixed weight tends to zero. It is proved that a sequence of linear codes has a uniform weight spectrum if the number of vectors from codes with weight $1$ grows to infinity. We find an example of a sequence of linear codes such that the dimension of the code is the half of the codelength b… ▽ More We study sequences of linear or affine codes with uniform weight spectrum, i.e., a part of codewords with any fixed weight tends to zero. It is proved that a sequence of linear codes has a uniform weight spectrum if the number of vectors from codes with weight $1$ grows to infinity. We find an example of a sequence of linear codes such that the dimension of the code is the half of the codelength but it has not a uniform weight spectrum. This example generates eigenfunctions of the Fourier transform with minimal support and partial covering sets. Moreover, we generalize some MacWilliams-type identity. Keywords: weight distribution of code, dual code, MacWilliams identity, Fourier transform, partial covering array △ Less

Submitted 30 July, 2021; originally announced July 2021.

Journal ref: Proceedings of 2021 XVII International Symposium on Problems of Redundancy in Information and Control Systems

Constructions of Pairs of Orthogonal Latin Cubes

Authors: Vladimir N. Potapov

Abstract: A pair of orthogonal latin cubes of order $q$ is equivalent to an MDS code with distance $3$ or to an ${\rm OA}_1(3,5,q)$ orthogonal array. We construct pairs of orthogonal latin cubes for a sequence of previously unknown orders $q_i=16(18i-1)+4$ and $q'_i=16(18i+5)+4$. The minimal new obtained parameters of orthogonal arrays are ${\rm OA}_1(3,5,84)$. Keywords: latin square, latin cube, MOLS, MD… ▽ More A pair of orthogonal latin cubes of order $q$ is equivalent to an MDS code with distance $3$ or to an ${\rm OA}_1(3,5,q)$ orthogonal array. We construct pairs of orthogonal latin cubes for a sequence of previously unknown orders $q_i=16(18i-1)+4$ and $q'_i=16(18i+5)+4$. The minimal new obtained parameters of orthogonal arrays are ${\rm OA}_1(3,5,84)$. Keywords: latin square, latin cube, MOLS, MDS code, block design, Steiner system, orthogonal array △ Less

Submitted 12 March, 2020; v1 submitted 29 November, 2019; originally announced November 2019.

Comments: New pairs of orthogonal latin 3-cubes are available on the website https://ieee-dataport.org/open-access/graeco-latin-cubes

MSC Class: 05B15; 94B05; 05B05

Journal ref: Journal of Combinatorial Designs. 2020. V. 28 (8). P. 604--613

On q-ary Bent and Plateaued Functions

Authors: Vladimir N. Potapov

Abstract: We obtain the following results. For any prime $q$ the minimal Hamming distance between distinct regular $q$-ary bent functions of $2n$ variables is equal to $q^n$. The number of $q$-ary regular bent functions at the distance $q^n$ from the quadratic bent function $Q_n=x_1x_2+\dots+x_{2n-1}x_{2n}$ is equal to $q^n(q^{n-1}+1)\cdots(q+1)(q-1)$ for $q>2$. The Hamming distance between distinct binary… ▽ More We obtain the following results. For any prime $q$ the minimal Hamming distance between distinct regular $q$-ary bent functions of $2n$ variables is equal to $q^n$. The number of $q$-ary regular bent functions at the distance $q^n$ from the quadratic bent function $Q_n=x_1x_2+\dots+x_{2n-1}x_{2n}$ is equal to $q^n(q^{n-1}+1)\cdots(q+1)(q-1)$ for $q>2$. The Hamming distance between distinct binary $s$-plateaued functions of $n$ variables is not less than $2^{\frac{s+n-2}{2}}$ and the Hamming distance between distinctternary $s$-plateaued functions of $n$ variables is not less than $3^{\frac{s+n-1}{2}}$. These bounds are tight. For $q=3$ we prove an upper bound on nonlinearity of ternary functions in terms of their correlation immunity. Moreover, functions reaching this bound are plateaued. For $q=2$ analogous result are well known but for large $q$ it seems impossible. Constructions and some properties of $q$-ary plateaued functions are discussed. △ Less

Submitted 16 November, 2019; originally announced November 2019.

Comments: 14 pages, the results are partialy reported on XV and XVI International Symposia "Problems of Redundancy in Information and Control Systems"

MSC Class: 94A60; 94C10; 06E30

Journal ref: Des. Codes Cryptogr. 88(10), 2037-2049 (2020)

A Lower Bound on the Number of Boolean Functions with Median Correlation Immunity

Authors: Vladimir N. Potapov

Abstract: The number of $n$-ary balanced correlation immune (resilient) Boolean functions of order $\frac{n}{2}$ is not less than $n^{2^{(n/2)-2}(1+o(1))}$ as $n\rightarrow\infty$. Keywords: resilient function, correlation immune function, orthogonal array The number of $n$-ary balanced correlation immune (resilient) Boolean functions of order $\frac{n}{2}$ is not less than $n^{2^{(n/2)-2}(1+o(1))}$ as $n\rightarrow\infty$. Keywords: resilient function, correlation immune function, orthogonal array △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 3 pages

Journal ref: Proceedings of 2019 XVI International Symposium "Problems of Redundancy in Information and Control Systems"

DP-colorings of uniform hypergraphs and splittings of Boolean hypercube into faces

Authors: Vladimir N. Potapov

Abstract: We develop a connection between DP-colorings of $k$-uniform hypergraphs of order $n$ and coverings of $n$-dimensional Boolean hypercube by pairs of antipodal $(n-k)$-dimensional faces. Bernshteyn and Kostochka established that the lower bound on edges in a non-2-DP-colorable $k$-uniform hypergraph is equal to $2^{k-1}$ for odd $k$ and $2^{k-1}+1$ for even $k$. They proved that these bounds are tig… ▽ More We develop a connection between DP-colorings of $k$-uniform hypergraphs of order $n$ and coverings of $n$-dimensional Boolean hypercube by pairs of antipodal $(n-k)$-dimensional faces. Bernshteyn and Kostochka established that the lower bound on edges in a non-2-DP-colorable $k$-uniform hypergraph is equal to $2^{k-1}$ for odd $k$ and $2^{k-1}+1$ for even $k$. They proved that these bounds are tight for $k=3,4$. In this paper, we prove that the bound is achieved for all odd $k\geq 3$. △ Less

Submitted 7 April, 2022; v1 submitted 11 May, 2019; originally announced May 2019.

Comments: The previous versions of paper contains a significant error

MSC Class: 05C15; 05C65; 05C35; 05B05; 51E05

Journal ref: Electronic J. Combin. 2022. 29(3), \#P3.37

On the number of autotopies of an $n$-ary qusigroup of order $4$

Authors: Denis S. Krotov, Evgeny V. Gorkunov, Vladimir N. Potapov

Abstract: An algebraic system from a finite set $Σ$ of cardinality $k$ and an $n$-ary operation $f$ invertible in each argument is called an $n$-ary quasigroup of order $k$. An autotopy of an $n$-ary quasigroup $(Σ,f)$ is a collection $(θ_0,θ_1,...,θ_n)$ of $n+1$ permutations of $Σ$ such that $f(θ_1(x_1),...,θ_n(x_n))\equiv θ_0(f(x_1,\ldots,x_n))$. We show that every $n$-ary quasigroup of order $4$ has at l… ▽ More An algebraic system from a finite set $Σ$ of cardinality $k$ and an $n$-ary operation $f$ invertible in each argument is called an $n$-ary quasigroup of order $k$. An autotopy of an $n$-ary quasigroup $(Σ,f)$ is a collection $(θ_0,θ_1,...,θ_n)$ of $n+1$ permutations of $Σ$ such that $f(θ_1(x_1),...,θ_n(x_n))\equiv θ_0(f(x_1,\ldots,x_n))$. We show that every $n$-ary quasigroup of order $4$ has at least $2^{[n/2]+2}$ and not more than $6\cdot 4^n$ autotopies. We characterize the $n$-ary quasigroups of order $4$ with $2^{(n+3)/2}$, $2\cdot 4^n$, and $6\cdot 4^n$ autotopies. △ Less

Submitted 1 March, 2019; originally announced March 2019.

Comments: English: 21 pages; Russian: 22 pages

MSC Class: 05B15; 20N05

Journal ref: Quasigroups Relat. Syst. 27(2) 2019, 227-259

On multifold packings of radius-1 balls in Hamming graphs

Authors: Denis S. Krotov, Vladimir N. Potapov

Abstract: A $λ$-fold $r$-packing (multiple radius-$r$ covering) in a Hamming metric space is a code $C$ such that the radius-$r$ balls centered in $C$ cover each vertex of the space by not more (not less, respectively) than $λ$ times. The well-known $r$-error-correcting codes correspond to the case $λ=1$, while in general multifold $r$-packing are related with list decodable codes. We (a) propose asymptotic… ▽ More A $λ$-fold $r$-packing (multiple radius-$r$ covering) in a Hamming metric space is a code $C$ such that the radius-$r$ balls centered in $C$ cover each vertex of the space by not more (not less, respectively) than $λ$ times. The well-known $r$-error-correcting codes correspond to the case $λ=1$, while in general multifold $r$-packing are related with list decodable codes. We (a) propose asymptotic bounds for the maximum size of a $q$-ary $2$-fold $1$-packing as $q$ grows; (b) prove that a $q$-ary distance-$2$ MDS code of length $n$ is an optimal $n$-fold $1$-packing if $q\ge 2n$; (c) derive an upper bound for the size of a binary $λ$-fold $1$-packing and a lower bound for the size of a binary multiple radius-$1$ covering (the last bound allows to update the small-parameters table); (d) classify all optimal binary $2$-fold $1$-packings up to length $9$, in particular, establish the maximum size $96$ of a binary $2$-fold $1$-packing of length $9$; (e) prove some properties of $1$-perfect unitrades, which are a special case of $2$-fold $1$-packings. Keywords: Hamming graph, multifold ball packings, two-fold ball packings, list decodable codes, multiple coverings, completely regular codes, linear programming bound △ Less

Submitted 13 May, 2020; v1 submitted 31 January, 2019; originally announced February 2019.

Comments: 17pp. V.3: revised, added: classification of small binary 2-fold 1-packings (Sect. Va), discussion of multifold perfect codes (Sect. Vb), lower bound on the size of multiple coverings (Sect. IVb) V.2: Sections about MDS codes and unitrades added, the proof in Section II rewritten and completed; other revisions

MSC Class: 94B65; 94B25; 05B40

Journal ref: IEEE Trans. Inf. Theory 67(6) 2021, 3585-3598

On the cardinality spectrum and the number of latin bitrades of order 3

Authors: Denis S. Krotov, Vladimir N. Potapov

Abstract: By a (latin) unitrade, we call a set of vertices of the Hamming graph that is intersects with every maximal clique in $0$ or $2$ vertices. A bitrade is a bipartite unitrade, that is, a unitrade splittable into two independent sets. We study the cardinality spectrum of the bitrades in the Hamming graph $H(n,k)$ with $k=3$ (ternary hypercube) and the growth of the number of such bitrades as $n$ grow… ▽ More By a (latin) unitrade, we call a set of vertices of the Hamming graph that is intersects with every maximal clique in $0$ or $2$ vertices. A bitrade is a bipartite unitrade, that is, a unitrade splittable into two independent sets. We study the cardinality spectrum of the bitrades in the Hamming graph $H(n,k)$ with $k=3$ (ternary hypercube) and the growth of the number of such bitrades as $n$ grows. In particular, we determine all possible (up to $2.5\cdot 2^n$) and large (from $14\cdot 3^{n-3}$) cardinatities of bitrades and prove that the cardinality of a bitrade is compartible to $0$ or $2^n$ modulo $3$ (this result has a treatment in terms of a ternary code of Reed--Muller type). A part of the results is valid for any $k$. We prove that the number of nonequivalent bitrades is not less than $2^{(2/3-o(1))n}$ and is not greater than $2^{α^n}$, $α<2$, as $n\to\infty$. △ Less

Submitted 2 December, 2018; originally announced December 2018.

Comments: 18 pp. In Russian

MSC Class: 05B30

Journal ref: Probl. Inf. Transm. 55(4) 2019, 343-365 (English); Probl. Peredachi Inf. 55(4) 2019, 52-75 (Russian)

On shortening u-cycles and u-words for permutations

Authors: Sergey Kitaev, Vladimir N. Potapov, Vincent Vajnovszki

Abstract: This paper initiates the study of shortening universal cycles (u-cycles) and universal words (u-words) for permutations either by using incomparable elements, or by using non-deterministic symbols. The latter approach is similar in nature to the recent relevant studies for the de Bruijn sequences. A particular result we obtain in this paper is that u-words for $n$-permutations exist of lengths… ▽ More This paper initiates the study of shortening universal cycles (u-cycles) and universal words (u-words) for permutations either by using incomparable elements, or by using non-deterministic symbols. The latter approach is similar in nature to the recent relevant studies for the de Bruijn sequences. A particular result we obtain in this paper is that u-words for $n$-permutations exist of lengths $n!+(1-k)(n-1)$ for $k=0,1,\ldots,(n-2)!$. △ Less

Submitted 30 October, 2018; v1 submitted 19 July, 2017; originally announced July 2017.

On minimal distance between q-ary bent functions

Authors: Vladimir N. Potapov

Abstract: The minimal Hamming distance between distinct $p$-ary bent functions of $2n$ variables is proved to be $p^n$ for any prime $p$. It is shown that the number of $p$-ary bent functions at the distance $p^n$ from the quadratic bent function is equal to $p^n(p^{n-1}+1)\cdots(p+1)(p-1)$ as $p>2$. The minimal Hamming distance between distinct $p$-ary bent functions of $2n$ variables is proved to be $p^n$ for any prime $p$. It is shown that the number of $p$-ary bent functions at the distance $p^n$ from the quadratic bent function is equal to $p^n(p^{n-1}+1)\cdots(p+1)(p-1)$ as $p>2$. △ Less

Submitted 8 June, 2016; originally announced June 2016.

Comments: 2 pages

MSC Class: 94A60

On the number of SQS

Authors: Vladimir N. Potapov

Abstract: A Steiner quadruple system (briefly $SQS(n)$) is a pair $(X,B)$ where $|X|=n$ and $B$ is a collection of 4-element blocks such that every 3-subset of $X$ is contained in exactly one member of $B$. Hanani \cite{Hanani} proved that the necessary condition $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$ for the existence of a Steiner quadruple systems of order $n$ is also sufficient. Lenz \cite{Lenz} proved that t… ▽ More A Steiner quadruple system (briefly $SQS(n)$) is a pair $(X,B)$ where $|X|=n$ and $B$ is a collection of 4-element blocks such that every 3-subset of $X$ is contained in exactly one member of $B$. Hanani \cite{Hanani} proved that the necessary condition $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$ for the existence of a Steiner quadruple systems of order $n$ is also sufficient. Lenz \cite{Lenz} proved that the logarithm of the number of different $SQS(n)$ is greater than $cn^3$ where $c>0$ is a constant and $n$ is admissible. We prove that the logarithm of the number of different $SQS(n)$ is $Θ(n^3\ln n)$ as $n\rightarrow\infty$ and $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$. △ Less

Submitted 8 June, 2016; originally announced June 2016.

Comments: 5 pages. arXiv admin note: substantial text overlap with arXiv:1510.06212

MSC Class: 05B05; 05B15

Partial covering arrays for data hiding and quantization

Authors: Vladimir N. Potapov

Abstract: We consider the problem of finding a set (partial covering array) $S$ of vertices of the Boolean $n$-cube having cardinality $2^{n-k}$ and intersecting with maximum number of $k$-dimensional faces. We prove that the ratio between the numbers of the $k$-faces containing elements of $S$ to $k$-faces is less than $1-\frac{1+o(1)}{\sqrt{2πk}}$ as $n\rightarrow\infty$ for sufficiently large $k$. The so… ▽ More We consider the problem of finding a set (partial covering array) $S$ of vertices of the Boolean $n$-cube having cardinality $2^{n-k}$ and intersecting with maximum number of $k$-dimensional faces. We prove that the ratio between the numbers of the $k$-faces containing elements of $S$ to $k$-faces is less than $1-\frac{1+o(1)}{\sqrt{2πk}}$ as $n\rightarrow\infty$ for sufficiently large $k$. The solution of the problem in the class of linear codes is found. Connections between this problem, cryptography and an efficiency of quantization are discussed. △ Less

Submitted 5 August, 2017; v1 submitted 31 December, 2015; originally announced December 2015.

Comments: 7 pages

Journal ref: SEMR, 2018. V. 15, P. 561-569

On the number of SQSs, latin hypercubes and MDS codes

Authors: Vladimir N. Potapov

Abstract: It is established that the logarithm of the number of latin $d$-cubes of order $n$ is $Θ(n^{d}\ln n)$ and the logarithm of the number of pairs of orthogonal latin squares of order $n$ is $Θ(n^2\ln n)$. Similar estimations are obtained for systems of mutually strong orthogonal latin $d$-cubes. As a consequence, it is constructed a set of Steiner quadruple systems of order $n$ such that the logarith… ▽ More It is established that the logarithm of the number of latin $d$-cubes of order $n$ is $Θ(n^{d}\ln n)$ and the logarithm of the number of pairs of orthogonal latin squares of order $n$ is $Θ(n^2\ln n)$. Similar estimations are obtained for systems of mutually strong orthogonal latin $d$-cubes. As a consequence, it is constructed a set of Steiner quadruple systems of order $n$ such that the logarithm of its cardinality is $Θ(n^3\ln n)$ as $n\rightarrow\infty$ and $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$. △ Less

Submitted 4 August, 2017; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: 10 pages

Journal ref: Journal of Combinatorial Designs. 2018. V. 26 (5)

Gray coding planar maps

Authors: Sergey Avgustinovich, Sergey Kitaev, Vladimir N. Potapov, Vincent Vajnovszki

Abstract: The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps. The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps. △ Less

Submitted 18 September, 2015; originally announced September 2015.

On the number of transversals in latin squares

Authors: Vladimir N. Potapov

Abstract: The logarithm of the maximum number of transversals over all latin squares of order $n$ is greater than $\frac{n}{6}(\ln n+ O(1))$. The logarithm of the maximum number of transversals over all latin squares of order $n$ is greater than $\frac{n}{6}(\ln n+ O(1))$. △ Less

Submitted 21 October, 2015; v1 submitted 4 June, 2015; originally announced June 2015.

Journal ref: Discrete Appl. Math. 2016. V. 202. P. 194-196

Multidimensional Latin Bitrade

Authors: Vladimir N. Potapov

Abstract: A subset $S$ of $k$-ary $n$-dimensional hypercube is called latin bitrade if $|S\cap F|\in\{0,2\} $ for each 1-face $F$. We find all admissible small (less than $2^{n+1}$) cardinalities of latin bitrades. A subset $M$ of $k$-ary $n$-dimensional hypercube is called $t$-fold MDS code if $|M\cap F|=t $ for each 1-face $F$. Symmetric difference of two 1-fold MDS codes is always a latin bitrade. Symmet… ▽ More A subset $S$ of $k$-ary $n$-dimensional hypercube is called latin bitrade if $|S\cap F|\in\{0,2\} $ for each 1-face $F$. We find all admissible small (less than $2^{n+1}$) cardinalities of latin bitrades. A subset $M$ of $k$-ary $n$-dimensional hypercube is called $t$-fold MDS code if $|M\cap F|=t $ for each 1-face $F$. Symmetric difference of two 1-fold MDS codes is always a latin bitrade. Symmetric difference of two $t$-fold MDS codes may also be a latin bitrade. In this case we say that this latin bitrade embedded into $t$-fold MDS code. The intersection of $t$-fold MDS code and a latin bitrade embedded into it is called a component of the code. We study the questions of embedding of latin bitrades into $t$-fold MDS and admissible cardinalities of the component of $t$-fold MDS. Keywords: MDS code, latin bitrade, component. △ Less

Submitted 15 April, 2014; v1 submitted 7 April, 2011; originally announced April 2011.

Comments: in Russian

MSC Class: 05B05; 05B15

Journal ref: Siberian Math. J. 2013. V.54, N 2. P.317--324

On perfect 2-colorings of the q-ary n-cube

Authors: Vladimir N. Potapov

Abstract: A coloring of the $q$-ary $n$-dimensional cube (hypercube) is called perfect if, for every $n$-tuple $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean-valued function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-dimensional face of the hypercube. Let $f=χ^S$ be a characteristic functio… ▽ More A coloring of the $q$-ary $n$-dimensional cube (hypercube) is called perfect if, for every $n$-tuple $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean-valued function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-dimensional face of the hypercube. Let $f=χ^S$ be a characteristic function of some subset $S$ of hypercube. In the present paper it is proven the inequality $ρ(S)q({\rm cor}(f)+1)\leq α(S)$, where ${\rm cor}(f)$ is the maximum degree of the correlation immunity of $f$, $α(S)$ is the average number of neighbors in the set $S$ for $n$-tuples in the complement of a set $S$, and $ρ(S)=|S|/q^n$ is the density of the set $S$. Moreover, the function $f$ is a perfect coloring if and only if we obtain an equality in the above formula.Also we find new lower bound for the cardinality of components of perfect coloring and 1-perfect code in the case $q>2$. Keywords: hypercube, perfect coloring, perfect code, MDS code, bitrade, equitable partition, orthogonal array. △ Less

Submitted 7 April, 2011; originally announced April 2011.

Comments: 6 pages

MSC Class: 05B15; 05C15

Journal ref: Discrete Math. 2012. V. 312, N 6. P. 1269--1272

On completion of latin hypercuboids of order 4

Authors: Vladimir N. Potapov

Abstract: A latin hypercuboid of order $N$ is an $N\times...\times N\times k$ array filled with symbols from the set $\{0,...,N-1\} $ in such a way that every symbol occurs at most once in every line. If $k=N$, such an array is a latin hypercube. We prove that any latin hypercuboid of order 4 is completable to a latin hypercube. Keywords: latin hypercube, n-ary quasigroup A latin hypercuboid of order $N$ is an $N\times...\times N\times k$ array filled with symbols from the set $\{0,...,N-1\} $ in such a way that every symbol occurs at most once in every line. If $k=N$, such an array is a latin hypercube. We prove that any latin hypercuboid of order 4 is completable to a latin hypercube. Keywords: latin hypercube, n-ary quasigroup △ Less

Submitted 19 January, 2011; originally announced January 2011.

Comments: 5 pages

MSC Class: 05B15; 20N15; 94B25

Journal ref: Proceedings of Twelfth International Workshop on Algebraic and Combinatorial Coding Theory (ACCT2010). 2010. P. 251-255

On the multidimensional permanent and q-ary designs

Authors: Vladimir N. Potapov

Abstract: An $H(n,q,w,t)$ design is considered as a collection of $(n-w)$-faces of the hypercube $Q^n_q$ perfectly piercing all $(n-t)$-faces. We define an $A(n,q,w,t)$ design as a collection of $(n-t)$-faces of hypercube $Q^n_q$ perfectly cowering all $(n-w)$-faces. The numbers of H- and A-designs are expressed in terms of multidimensional permanent. We present several constructions of H- and A-design and… ▽ More An $H(n,q,w,t)$ design is considered as a collection of $(n-w)$-faces of the hypercube $Q^n_q$ perfectly piercing all $(n-t)$-faces. We define an $A(n,q,w,t)$ design as a collection of $(n-t)$-faces of hypercube $Q^n_q$ perfectly cowering all $(n-w)$-faces. The numbers of H- and A-designs are expressed in terms of multidimensional permanent. We present several constructions of H- and A-design and prove the existence of $H(2^{t+1},s2^t,2^{t+1}-1,2^{t+1}-2)$ designs for every $s,t\geq 1$. Keywords: perfect matching, clique matching, permanent, MDS code, generalized Steiner system, H-design. △ Less

Submitted 15 April, 2014; v1 submitted 19 January, 2011; originally announced January 2011.

Comments: 4 pages

MSC Class: 05B05

Journal ref: Siberian Electronic Mathematical Reports. 2014. V. 11, 451--456

On the connection between correlation-immune functions and perfect 2-colorings of the Boolean n-cube

Authors: Vladimir N. Potapov

Abstract: A coloring of the Boolean $n$-cube is called perfect if, for every vertex $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-face of the Boolean $n$-cube. In the present paper it is proven that each Boolean function $χ^S$ (… ▽ More A coloring of the Boolean $n$-cube is called perfect if, for every vertex $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-face of the Boolean $n$-cube. In the present paper it is proven that each Boolean function $χ^S$ ($S\subset E^n$) satisfies the inequality $${\rm nei}(S)+ 2({\rm cor}(S)+1)(1-ρ(S))\leq n,$$ where ${\rm cor}(S)$ is the maximum degree of the correlation immunity of $χ^S$, ${\rm nei} (S)= \frac{1}{|S|}\sum\limits_{x\in S}|B(x)\cap S|-1$ is the average number of neighbors in the set $S$ for vertices in $S$, and $ρ(S)=|S|/2^n$ is the density of the set $S$. Moreover, the function $χ^S$ is a perfect coloring if and only if we obtain an equality in the above formula. Keywords: hypercube, perfect coloring, perfect code, correlation-immune function. △ Less

Submitted 19 January, 2011; originally announced January 2011.

Comments: 5 pages

MSC Class: 05B15; 05C15