arXiv++ Combinatorics

We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this scheme for certain index sets $T$, using a relationship between $T$-designs in the nonbinary Johnson scheme and relative designs in the nonbinary Hamming scheme. In this paper, we obtain a characterization that applies to a strictly larger class of index sets $T$, based on a methodological extension of Delsarte's original framework (1973). This new characterization naturally recovers classical block designs and orthogonal arrays as special cases. To describe these designs uniformly, we introduce $(r,s)$-designs, a new family of combinatorial objects that arise naturally from our characterization. We also derive absolute lower bounds on the cardinality of $(r,s)$-designs from the multiplicities of the primitive idempotents of the nonbinary Johnson scheme, and construct examples with index $λ=1$ that attain certain natural lower bounds.

In this paper, we study the maximum order $v(k,θ)$ of a connected $k$-regular graph whose second largest eigenvalue is at most $θ$. From Alon-Boppana and Serre, we know that $v(k,θ)$ is finite when $θ< 2\sqrt{k-1}$ while the work of Marcus, Spielman, and Srivastava implies that $v(k,θ)$ is infinite if $θ\geq 2\sqrt{k-1}$. Cioabă, Koolen, Nozaki, and Vermette obtained a general upper bound on $v(k, θ)$ via Nozaki's linear programming bound and determined many values of $v(k,θ)$. The graphs attaining this bound are distance-regular and are called Moore polygons. Damerell and Georgiacodis proved that there are no Moore polygons of diameter $6$ or more. For smaller diameters, there are infinitely many Moore polygons. We complement these results by proving two nonexistence results for Moore polygons with specific parameters. We also determine new values of $v(k,θ)$: $v(4, \sqrt{2}) = 14$ and $v(5, \sqrt{2}) = v(5,\sqrt{5}-1)=16$. The former is achieved by the co-Heawood graph, and the latter by the folded $5$-cube. We verify that any connected $5$-regular graph with second eigenvalue $λ_2$ exceeding $1$ satisfies $λ_2 \geq \sqrt{5} - 1$, and that the unique $5$-regular graph attaining equality in this bound has $10$ vertices. We prove a stronger form of a 2015 conjecture of Kolokolnikov related to the second eigenvalue of cubic graphs of given order, and observe that other recent results on the second eigenvalue of regular graphs are consequences of the general upper bound theorem on $v(k,θ)$ mentioned above.

This paper considers minimum-dimensional representations of graphs in pseudo-Euclidean spaces, where adjacency and non-adjacency relations are reflected in fixed scalar square values. A representation of a simple graph $(V,E)$ is a mapping $\varphi$ from the vertices to the pseudo-Euclidean space $\mathbb{R}^{p,q}$ such that $||\varphi(u)-\varphi(v)|| = a$ if $(u,v) \in E$, $b$ if $(u,v) \notin E$ and $u \ne v$, and $0$ if $u = v$, for some $a,b \in \mathbb{R}$, where $||\boldsymbol{x}|| = \langle\langle \boldsymbol{x}, \boldsymbol{x} \rangle\rangle = \sum_{i=1}^p x_i^2 - \sum_{j=1}^q x_{p+j}^2$ is the scalar square of $\boldsymbol{x}$ in $\mathbb{R}^{p,q}$. For a finite set $X$ in $\mathbb{R}^{p,q}$, define $A(X) = \{||\boldsymbol{x}-\boldsymbol{y}|| : \boldsymbol{x},\boldsymbol{y} \in X, \boldsymbol{x} \ne \boldsymbol{y} \}$. We call $X$ an $s$-indefinite-distance set if $|A(X)| = s$. An $s$-indefinite-distance set in $\mathbb{R}^{p,0} = \mathbb{R}^p$ is called an $s$-distance set. Graphs obtained from Seidel switching of a Johnson graph sometimes admit Euclidean or pseudo-Euclidean representations in low dimensions relative to the number of vertices. For example, Lisoněk (1997) obtained a largest 2-distance set in $\mathbb{R}^8$ and spherical 2-indefinite-distance sets in $\mathbb{R}^{p,1}$ for $p \ge 10$ from the switching classes of Johnson graphs. In this paper, we consider graphs in the switching classes of Johnson and Hamming graphs and classify those that admit representations in $\mathbb{R}^{p,q}$ with the smallest possible dimension $p+q$ among all graphs in the same class. This method recovers known results, such as the largest 2-(indefinite)-distance sets constructed by Lisoněk, and also provides a unified framework for determining the minimum dimension of representations for entire switching classes of strongly regular graphs.

For a finite subset $X$ of the $d$-dimensional unit sphere, the harmonic strength $T(X)$ of $X$ is the set of $\ell\in \mathbb{N}$ such that $\sum_{x\in X} P(x)=0$ for all harmonic polynomials $P$ of homogeneous degree $\ell$. We will study three exceptional finite groups of unit quaternions, called the binary tetrahedral group $2T$ of order 24, the octahedral group $2O$ of order 48, and the icosahedral group $2I$ of order 120, which can be viewed as a subset of the 3-dimensional unit sphere. For these three groups, we determine the harmonic strength and show the minimality and the uniqueness as spherical designs. In particular, the group $2O$ is unique as a minimal subset $X$ of the 3-dimensional unit sphere with $T(X)=\{22,14,10,6,4,2 \}\cup \mathbb{O}^+$, where $\mathbb{O}^+$ denotes the set of all positive odd integers. This result provides the first characterization of $2O$ from the spherical design viewpoint. For $G\in \{2T,2O,2I\}$, we consider the lattice $\mathcal{O}_{G}$ generated by $G$ over $R_G$ on which the group $G$ acts on by multiplication, where $R_{2T}=\mathbb{Z},\ R_{2O}=\mathbb{Z}[\sqrt{2}],\ R_{2I}=\mathbb{Z}[(1+\sqrt{5})/2]$ are the ring of integers. We introduce the spherical theta function $θ_{G,P}(z)$ attached to the lattice $\mathcal{O}_G$ and a harmonic polynomial $P$ of degree $\ell$ and prove that they are modular forms. By applying our results on the characterization of $G$ as a spherical design, we determine the cases in which the $\mathbb{C}$-vector space spanned by all $θ_{G,P}(z)$ of harmonic polynomials $P$ of homogeneous degree $\ell$ has dimension zero--without relying on the theory of modular forms.

A weighted $t$-design in $\mathbb{R}^d$ is a finite weighted set that exactly integrates all polynomials of degree at most $t$ with respect to a given probability measure. A fundamental problem is to construct weighted $t$-designs with as few points as possible. Victoir (2004) proposed a method to reduce the size of weighted $t$-designs while preserving the $t$-design property by using combinatorial objects such as combinatorial designs or orthogonal arrays with two levels. In this paper, we give an algebro-combinatorial generalization of both Victoir's method and its variant by the present authors (2014) in the framework of Euclidean polynomial spaces, enabling us to reduce the size of weighted designs obtained from the classical product rule. Our generalization allows the use of orthogonal arrays with arbitrary levels, whereas Victoir only treated the case of two levels. As an application, we present a construction of equi-weighted $5$-designs with $O(d^4)$ points for product measures such as Gaussian measure $π^{-d/2} e^{-\sum_{i=1}^d x_i^2} dx_1 \cdots dx_d$ on $\mathbb{R}^d$ or equilibrium measure $π^{-d} \prod_{i=1}^d (1-x_i^2)^{-1/2} dx_1 \cdots dx_d$ on $(-1,1)^d$, where $d$ is any integer at least 5. The construction is explicit and does not rely on numerical approximations. Moreover, we establish an existence theorem of Gaussian $t$-designs with $N$ points for any $t \geq 2$, where $N< q^{t}d^{t-1}=O(d^{t-1})$ for fixed sufficiently large prime power $q$. As a corollary of this result, we give an improvement of a famous theorem by Milman (1988) on isometric embeddings of the classical finite-dimensional Banach spaces.

This paper investigates the existence of $m$-stiff configurations in the unit sphere $S^{d-1}$, which are spherical $(2m-1)$-designs that lie on $m$ parallel hyperplanes. We establish two non-existence results: (1) for each fixed integer $m > 5$, there exists no $m$-stiff configuration in $S^{d-1}$ for sufficiently large $d$; (2) for each fixed integer $d > 10$, there exists no $m$-stiff configuration in $S^{d-1}$ for sufficiently large $m$. Furthermore, we provide a complete classification of the dimensions where $m$-stiff configurations exist for $m=2,3,4,5$. We also determine the non-existence (and the existence) of $m$-stiff configurations in $S^{d-1}$ for small $d$ ($3 \leq d \leq 120$) with arbitrary $m$, and also for small $m$ ($6 \leq m \leq 10$) with arbitrary $d$. Finally, we conjecture that there is no $m$-stiff configuration in $S^{d-1}$ for $(d,m)$ with $d\geq 3$ and $m\geq 6$.

Let $X$ be a finite set in the Euclidean space $\mathbb{R}^d$. If the squared distance between any two distinct points in $X$ is an odd integer, then the cardinality of $X$ is bounded above by $d+2$, as shown by Rosenfeld (1997) or Smith (1995). They proved that there exists a $(d+2)$-point set $X$ in $\mathbb{R}^d$ having only odd integral squared distances if and only if $d+2$ is congruent to $0$ modulo $4$. The distances can be interpreted as an element of the finite field $\mathbb{Z}/2\mathbb{Z}$. We generalize this result for a local ring $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ as follows. Let $K$ be an algebraic number field that can be embedded into $\mathbb{R}$. Fix an embedding of $K$ into $\mathbb{R}$, and $K$ is interpreted as a subfield of $\mathbb{R}$. Let $A=O_K$ be the ring of integers of $K$, and $\mathfrak{p}$ a prime ideal of $O_K$. Let $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ be the local ring obtained from the localization $(A\setminus \mathfrak{p})^{-1} A$, which is interpreted as a subring of $\mathbb{R}$. If the squared distances of $X\subset \mathbb{R}^d$ are in $A_\mathfrak{p}$ and each squared distance is congruent to some constant $k \not\equiv 0 $ modulo $\mathfrak{p} A_\mathfrak{p}$, then $|X| \leq d+2$, as shown by Nozaki (2023). In this paper, we prove that there exists a set $X\subset \mathbb{R}^d$ attaining the upper bound $|X| \leq d+2$ if and only if $d+2$ is congruent to $0$ modulo $4$ when the finite field $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic 2, and $d+2$ is congruent to $0$ modulo $p$ when $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic $p$ odd. We also provide examples attaining this upper bound.

In this paper, we study shells of the $D_4$ lattice with a {slight generalization} of spherical $t$-designs due to Delsarte-Goethals-Seidel, namely, the spherical design of harmonic index $T$ (spherical $T$-design for short) introduced by Delsarte-Seidel. We first observe that{, for any positive integer $m$,} the $2m$-shell of $D_4$ is an antipodal spherical $\{10,4,2\}$-design on the three dimensional sphere. We then prove that the $2$-shell, which is the $D_4$ root system, is a tight $\{10,4,2\}$-design, using the linear programming method. The uniqueness of the $D_4$ root system as an antipodal spherical $\{10,4,2\}$-design with 24 points is shown. We give two applications of the uniqueness: a decomposition of the shells of the $D_4$ lattice in terms of orthogonal transformations of the $D_4$ root system, and the uniqueness of the $D_4$ lattice as an even integral lattice of level 2 in the four dimensional Euclidean space. We also reveal a connection between the harmonic strength of the shells of the $D_4$ lattice and non-vanishing of the Fourier coefficients of a certain newform of level 2. Motivated by this, congruence relations for the Fourier coefficients are discussed.

A finite set of the Euclidean space is called an $s$-distance set provided the number of Euclidean distances in the set is $s$. Determining the largest possible $s$-distance set for the Euclidean space of a given dimension is challenging. This problem was solved only when dealing with small values of $s$ and dimensions. Lisoněk (1997) achieved the classification of the largest 2-distance sets for dimensions up to $7$, using computer assistance and graph representation theory. In this study, we consider a theory analogous to these results of Lisoněk for the pseudo-Euclidean space $\mathbb{R}^{p,q}$. We consider an $s$-indefinite-distance set in a pseudo-Euclidean space that uses the value \[ || x-y ||=(x_1-y_1)^2 +\cdots +(x_p -y_p)^2-(x_{p+1}-y_{p+1})^2-\cdots -(x_{p+q}-y_{p+q})^2 \] instead of the Euclidean distance. We develop a representation theory for symmetric matrices in the context of $s$-indefinite-distance sets, which includes or improves the results of Euclidean $s$-distance sets with large $s$ values. Moreover, we classify the largest possible $2$-indefinite-distance sets for small dimensions.

We prove that the inner products of spherical $s$-distance $t$-designs with $t \geq 2s-2$ (Delsarte codes) and $s \geq 3$ are rational with the only exception being the icosahedron. In other formulations, we prove that all sharp configurations have rational inner products and all spherical codes which attain the Levenshtein bound, have rational inner products, except for the icosahedron.

Let $\mathcal{O}_K$ be the ring of integers of an algebraic number field $K$ embedded into $\mathbb{C}$. Let $X$ be a subset of the Euclidean space $\mathbb{R}^d$, and $D(X)$ be the set of the squared distances of two distinct points in $X$. In this paper, we prove that if $D(X)\subset \mathcal{O}_K$ and there exist $s$ values $a_1,\ldots, a_s \in \mathcal{O}_K$ distinct modulo a prime ideal $\mathfrak{p}$ of $\mathcal{O}_K$ such that each $a_i$ is not zero modulo $\mathfrak{p}$ and each element of $D(X)$ is congruent to some $a_i$, then $|X| \leq \binom{d+s}{s}+\binom{d+s-1}{s-1}$.

A finite subset of a Euclidean space is called an $s$-distance set if there exist exactly $s$ values of the Euclidean distances between two distinct points in the set. In this paper, we prove that the maximum cardinality among all 5-distance sets in $\mathbb{R}^3$ is 20, and every $5$-distance set in $\mathbb{R}^3$ with $20$ points is similar to the vertex set of a regular dodecahedron.

The spectrum of a graph is closely related to many graph parameters. In particular, the spectral gap of a regular graph which is the difference between its valency and second eigenvalue, is widely seen an algebraic measure of connectivity and plays a key role in the theory of expander graphs. In this paper, we extend previous work done for graphs and bipartite graphs and present a linear programming method for obtaining an upper bound on the order of a regular uniform hypergraph with prescribed distinct eigenvalues. Furthermore, we obtain a general upper bound on the order of a regular uniform hypergraph whose second eigenvalue is bounded by a given value. Our results improve and extend previous work done by Feng-Li (1996) on Alon-Boppana theorems for regular hypergraphs and by Dinitz-Schapira-Shahaf (2020) on the Moore or degree-diameter problem. We also determine the largest order of an $r$-regular $u$-uniform hypergraph with second eigenvalue at most $θ$ for several parameters $(r,u,θ)$. In particular, orthogonal arrays give the structure of the largest hypergraphs with second eigenvalue at most $1$ for every sufficiently large $r$. Moreover, we show that a generalized Moore geometry has the largest spectral gap among all hypergraphs of that order and degree.

A finite subset $X$ of the Euclidean space is called an $m$-distance set if the number of distances between two distinct points in $X$ is equal to $m$. An $m$-distance set $X$ is said to be maximal if any vector cannot be added to $X$ while maintaining the $m$-distance condition. We investigate a necessary and sufficient condition for vectors to be added to a regular simplex such that the set has only $2$ distances. We construct several $d$-dimensional maximal $2$-distance sets that contain a $d$-dimensional regular simplex. In particular, there exist infinitely many maximal non-spherical $2$-distance sets that contain both the regular simplex and the representation of a strongly resolvable design. The maximal $2$-distance set has size $2s^2(s+1)$, and the dimension is $d=(s-1)(s+1)^2-1$, where $s$ is a prime power.

Let $b(k,θ)$ be the maximum order of a connected bipartite $k$-regular graph whose second largest eigenvalue is at most $θ$. In this paper, we obtain a general upper bound for $b(k,θ)$ for any $0\leq θ< 2\sqrt{k-1}$. Our bound gives the exact value of $b(k,θ)$ whenever there exists a bipartite distance-regular graph of degree $k$, second largest eigenvalue $θ$, diameter $d$ and girth $g$ such that $g\geq 2d-2$. For certain values of $d$, there are infinitely many such graphs of various valencies $k$. However, for $d=11$ or $d\geq 15$, we prove that there are no bipartite distance-regular graphs with $g\geq 2d-2$.

We deal with connected $k$-regular multigraphs of order $n$ that has only three distinct eigenvalues. In this paper, we study the largest possible number of vertices of such a graph for given $k$. For $k=2,3,7$, the Moore graphs are largest. For $k\ne 2,3,7,57$, we show an upper bound $n\leq k^2-k+1$, with equality if and only if there exists a finite projective plane of order $k-1$ that admits a polarity.

A set $X$ in the Euclidean space $\mathbb{R}^d$ is called an $m$-distance set if the set of Euclidean distances between two distinct points in $X$ has size $m$. An $m$-distance set $X$ in $\mathbb{R}^d$ is said to be maximal if there does not exist a vector $x$ in $\mathbb{R}^d$ such that the union of $X$ and $\{x\}$ still has only $m$ distances. Bannai--Sato--Shigezumi (2012) investigated the maximal $m$-distance sets which contain the Euclidean representation of the Johnson graph $J(n,m)$. In this paper, we consider the same problem for the Hamming graph $H(n,m)$. The Euclidean representation of $H(n,m)$ is an $m$-distance set in $\mathbb{R}^{m(n-1)}$. We prove that the maximum $n$ is $m^2 + m - 1$ such that the representation of $H(n,m)$ is not maximal as an $m$-distance set. Moreover we classify the largest $m$-distance sets which contain the representation of $H(n,m)$ for $m\leq 4$ and any $n$. We also classify the maximal $2$-distance sets in $\mathbb{R}^{2n-1}$ which contain the representation of $H(n,2)$ for any $n$.

Let $X$ be a finite set in a complex sphere of $d$ dimension. Let $D(X)$ be the set of usual inner products of two distinct vectors in $X$. A set $X$ is called a complex spherical $s$-code if the cardinality of $D(X)$ is $s$ and $D(X)$ contains an imaginary number. We would like to classify the largest possible $s$-codes for given dimension $d$. In this paper, we consider the problem for the case $s=3$. Roy and Suda (2014) gave a certain upper bound for the cardinalities of $3$-codes. A $3$-code $X$ is said to be tight if $X$ attains the bound. We show that there exists no tight $3$-code except for dimensions $1$, $2$. Moreover we make an algorithm to classify the largest $3$-codes by considering representations of oriented graphs. By this algorithm, the largest $3$-codes are classified for dimensions $1$, $2$, $3$ with a current computer.

Let $L_{mkl}\subset \mathbb{R}^{m+k+l}$ be the set of vectors which have $m$ of entries $-1$, $k$ of entries $0$, and $l$ of entries $1$. In this paper, we investigate the largest subset of $L_{mkl}$ whose diameter is smaller than that of $L_{mkl}$. The largest subsets for $m=1$, $l=2$, and any $k$ will be classified. From this result, we can classify the largest $4$-distance sets containing the Euclidean representation of the Johnson scheme $J(9,4)$. This was an open problem in Bannai, Sato, and Shigezumi (2012).

From Alon and Boppana, and Serre, we know that for any given integer $k\geq 3$ and real number $λ<2\sqrt{k-1}$, there are finitely many $k$-regular graphs whose second largest eigenvalue is at most $λ$. In this paper, we investigate the largest number of vertices of such graphs.