Searcharxiv⌕ Search

arXiv subjects

Sho Suda

Publications and source records attributed to Sho Suda.

70 records · Page 4Linked to original sources

Complex spherical codes with two inner products

A finite set $X$ in a complex sphere is called a complex spherical $2$-code if the number of inner products between two distinct vectors in $X$ is equal to $2$. In this paper, we characterize the tight complex spherical $2$-codes by doubly regular tournaments, or skew Hadamard matrices. We also give certain maximal 2-codes relating to skew-symmetric $D$-optimal designs. To prove them, we show the smallest embedding dimension of a tournament into a complex sphere by the multiplicity of the smallest or second-smallest eigenvalue of the Seidel matrix.

math.CO↗

Mutually Unbiased Bush-type Hadamard Matrices and Association Schemes

It was shown by LeCompte, Martin, and Oweans in 2010 that the existence of mutually unbiased Hadamard matrices and the identity matrix, which coincide with mutually unbiased bases, is equivalent to that of a $Q$-polynomial association scheme of class four which is both $Q$-antipodal and $Q$-bipartite. We prove that the existence of a set of mutually unbiased Bush-type Hadamard matrices is equivalent to that of an association scheme of class five. As an application of this equivalence, we obtain the upper bound of the number of mutually unbiased Bush-type Hadamard matrices of order $4n^2$ to be $2n-1$. This is in contrast to the fact that the upper bound of mutually unbiased Hadamard matrices of order $4n^2$ is $2n^2$. We also discuss a relation of our scheme to some fusion schemes which are $Q$-antipodal and $Q$-bipartite $Q$-polynomial of class $4$.

math.CO↗

Weighing matrices and spherical codes

Mutually unbiased weighing matrices (MUWM) are closely related to an antipodal spherical code with 4 angles. In the present paper, we clarify the relationship between MUWM and the spherical sets, and give the complete solution about the maximum size of a set of MUWM of weight 4 for any order. Moreover we describe some natural generalization of a set of MUWM from the viewpoint of spherical codes, and determine several maximum sizes of the generalized sets. They include an affirmative answer of the problem of Best, Kharaghani, and Ramp.

math.CO↗

A cross-intersection theorem for vector spaces based on semidefinite programming

Let $\mathscr{F}$ and $\mathscr{G}$ be families of $k$- and $\ell$-dimensional subspaces, respectively, of a given $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Suppose that $x \cap y \ne 0$ for all $x \in \mathscr{F}$ and $y \in \mathscr{G}$. By explicitly constructing optimal feasible solutions to a semidefinite programming problem which is akin to Lovász's theta function, we show that $|\mathscr{F}| |\mathscr{G}| \leq {n-1 \brack k-1} {n-1 \brack \ell-1}$, provided that $n \geq 2k$ and $n \geq 2\ell$. The characterization of the extremal families is also established.

math.CO↗

Gram matrices of reproducing kernel Hilbert spaces over graphs

In this paper, we introduce the notion of reproducing kernel Hilbert spaces for graphs and the Gram matrices associated with them. Our aim is to investigate the Gram matrices of reproducing kernel Hilbert spaces. We provide several bounds on the entries of the Gram matrices of reproducing kernel Hilbert spaces and characterize the graphs which attain our bounds.

math.CO↗

On $Q$-polynomial association schemes of small class

We show an inequality involving the third largest or second smallest dual eigenvalues of $Q$-polynomial association schemes of class at least three. Also we characterize dual-tight $Q$-polynomial association schemes of class three. Our method is based on tridiagonal matrices and can be applied to distance-regular graphs as well.

math.CO↗

Complex spherical designs and codes

Real spherical designs and real and complex projective designs have been shown by Delsarte, Goethals, and Seidel to give rise to association schemes when the strength of the design is high compared to its degree as a code. In contrast, designs on the complex unit sphere remain relatively uninvestigated, despite their importance in numerous applications. In this paper we develop the notion of a complex spherical design and show how many such designs carry the structure of an association scheme. In contrast with the real spherical designs and the real and complex projective designs, these association schemes are nonsymmetric.

math.CO↗

Bounds on $s$-distance sets with strength $t$

A finite set $X$ in the Euclidean unit sphere is called an $s$-distance set if the set of distances between any distinct two elements of $X$ has size $s$. We say that $t$ is the strength of $X$ if $X$ is a spherical $t$-design but not a spherical $(t+1)$-design. Delsarte-Goethals-Seidel gave an absolute bound for the cardinality of an $s$-distance set. The results of Neumaier and Cameron-Goethals-Seidel imply that if $X$ is a spherical 2-distance set with strength 2, then the known absolute bound for 2-distance sets is improved. This bound are also regarded as that for a strongly regular graph with the certain condition of the Krein parameters. In this paper, we give two generalizations of this bound to spherical $s$-distance sets with strength $t$ (more generally, to $s$-distance sets with strength $t$ in a two-point-homogeneous space), and to $Q$-polynomial association schemes. First, for any $s$ and $s-1 \leq t \leq 2s-2$, we improve the known absolute bound for the size of a spherical $s$-distance set with strength $t$. Secondly, for any $d$, we give an absolute bound for the size of a $Q$-polynomial association scheme of class $d$ with the certain conditions of the Krein parameters.

math.CO↗

New parameters of subsets in polynomial schemes

We define new parameters, a zero interval and a dual zero interval, of subsets in $P$- or $Q$-polynomial schemes. A zero interval of a subset in a $P$-polynomial scheme is a successive interval index for which the inner distribution vanishes, and a dual zero interval of a subset in a $Q$-polynomial scheme is a successive interval index for which the dual inner distribution vanishes. We derive the bounds of the lengths of a zero interval and a dual zero interval using the degree and dual degree respectively, and show that a subset in a $P$-polynomial scheme (resp. a $Q$-polynomial scheme) having a large length of a zero interval (resp. a dual zero interval) induces a completely regular code (resp. a $Q$-polynomial scheme). Moreover, we consider the spherical analogue of a dual zero interval.

math.CO↗

On spherical designs obtained from $Q$-polynomial association schemes

We characterize that the image of the embedding of the $Q$-polynomial association scheme into eigenspace by primitive idempotent $E_1$ is a spherical $t$-design in terms of the Krein numbers. And we show that the strengths of $P$- and $Q$-polynomial schemes as spherical designs are bounded by constant.

math.CO↗

Characterizations of regularity for certain $Q$-polynomial association schemes

It is shown that linked systems of symmetric designs with $a_1^*=0$ and mutually unbiased bases (MUB) are triply regular association schemes. In this paper, we characterize triple regularity of linked systems of symmetric designs by its Krein number. And we prove that maximal MUB carries a quadruply regular association scheme and characterize the quadruple regularity of MUB by its parameter.

math.CO↗

Coherent configurations and triply regular association schemes obtained from spherical designs

Delsarte-Goethals-Seidel showed that if $X$ is a spherical $t$-design with degree $s$ satisfying $t\geq 2s-2$, $X$ carries the structure of an association scheme. Also Bannai-Bannai showed that the same conclusion holds if $X$ is an antipodal spherical $t$-design with degree $s$ satisfying $t=2s-3$. As a generalization of these results, we prove that a union of spherical designs with a certain property carries the structure of a coherent configuration. We derive triple regularity of tight spherical $4,5,7$-designs, mutually unbiased bases, linked symmetric designs with certain parameters.

math.CO↗

Association schemes related to universally optimal configurations, Kerdock codes and extremal Euclidean line-sets

H. Cohn et. al. proposed an association scheme of 64 points in R^{14} which is conjectured to be a universally optimal code. We show that this scheme has a generalization in terms of Kerdock codes, as well as in terms of maximal real mutually unbiased bases. These schemes also related to extremal line-sets in Euclidean spaces and Barnes-Wall lattices. D. de Caen and E. R. van Dam constructed two infinite series of formally dual 3-class association schemes. We explain this formal duality by constructing two dual abelian schemes related to quaternary linear Kerdock and Preparata codes.

math.CO↗