Semidefinite programming bounds for Lee codes

For $q,n,d \in \mathbb{N}$, let $A_q^L(n,d)$ denote the maximum cardinality of a code $C \subseteq \mathbb{Z}_q^n$ with minimum Lee distance at least $d$, where $\mathbb{Z}_q$ denotes the cyclic group of order $q$. We consider a semidefinite programming bound based on triples of codewords, which bound can be computed efficiently using symmetry reductions, resulting in several new upper bounds on $A_q^L(n,d)$. The technique also yields an upper bound on the independent set number of the $n$-th strong product power of the circular graph $C_{d,q}$, which number is related to the Shannon capacity of $C_{d,q}$. Here $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$, in which two vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The new bound does not seem to improve significantly over the bound obtained from Lov\'asz theta-function, except for very small $n$.Comment: 14 pages. arXiv admin note: text overlap with arXiv:1703.0517

Probabilistic lower bounds on maximal determinants of binary matrices

Let ${\mathcal D}(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and $\mathcal R(n) = {\mathcal D}(n)/n^{n/2}$ be the ratio of ${\mathcal D}(n)$ to the Hadamard upper bound. Using the probabilistic method, we prove new lower bounds on ${\mathcal D}(n)$ and $\mathcal R(n)$ in terms of $d = n-h$, where $h$ is the order of a Hadamard matrix and $h$ is maximal subject to $h \le n$. For example, $\mathcal R(n) > (\pi e/2)^{-d/2}$ if $1 \le d \le 3$, and $\mathcal R(n) > (\pi e/2)^{-d/2}(1 - d^2(\pi/(2h))^{1/2})$ if $d > 3$. By a recent result of Livinskyi, $d^2/h^{1/2} \to 0$ as $n \to \infty$, so the second bound is close to $(\pi e/2)^{-d/2}$ for large $n$. Previous lower bounds tended to zero as $n \to \infty$ with $d$ fixed, except in the cases $d \in \{0,1\}$. For $d \ge 2$, our bounds are better for all sufficiently large $n$. If the Hadamard conjecture is true, then $d \le 3$, so the first bound above shows that $\mathcal R(n)$ is bounded below by a positive constant $(\pi e/2)^{-3/2} > 0.1133$.Comment: 17 pages, 2 tables, 24 references. Shorter version of arXiv:1402.6817v4. Typos corrected in v2 and v3, new Lemma 7 in v4, updated references in v5, added Remark 2.8 and a reference in v6, updated references in v

On the number of coloured triangulations of dd-manifolds

We give superexponential lower and upper bounds on the number of coloured $d$-dimensional triangulations whose underlying space is an oriented manifold, when the number of simplices goes to infinity and $d\geq 3$ is fixed. In the special case of dimension $3$, the lower and upper bounds match up to exponential factors, and we show that there are $2^{O(n)} n^{\frac{n}{6}}$ coloured triangulations of $3$-manifolds with $n$ tetrahedra. Our results also imply that random coloured triangulations of $3$-manifolds have a sublinear number of vertices. Our upper bounds apply in particular to coloured $d$-spheres for which they seem to be the best known bounds in any dimension $d\geq 3$, even though it is often conjectured that exponential bounds hold in this case. We also ask a related question on regular edge-coloured graphs having the property that each $3$-coloured component is planar, which is of independent interest.Comment: 15 pages. New version, proof of the lower bound correcte

(Almost) tight bounds for randomized and quantum Local Search on hypercubes and grids

The Local Search problem, which finds a local minimum of a black-box function on a given graph, is of both practical and theoretical importance to many areas in computer science and natural sciences. In this paper, we show that for the Boolean hypercube \B^n, the randomized query complexity of Local Search is $\Theta(2^{n/2}n^{1/2})$ and the quantum query complexity is $\Theta(2^{n/3}n^{1/6})$. We also show that for the constant dimensional grid $[N^{1/d}]^d$, the randomized query complexity is $\Theta(N^{1/2})$ for $d \geq 4$ and the quantum query complexity is $\Theta(N^{1/3})$ for $d \geq 6$. New lower bounds for lower dimensional grids are also given. These improve the previous results by Aaronson [STOC'04], and Santha and Szegedy [STOC'04]. Finally we show for $[N^{1/2}]^2$ a new upper bound of $O(N^{1/4}(\log\log N)^{3/2})$ on the quantum query complexity, which implies that Local Search on grids exhibits different properties at low dimensions.Comment: 18 pages, 1 figure. v2: introduction rewritten, references added. v3: a line for grant added. v4: upper bound section rewritte