Source author record

Hiroshi Nozaki

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.MG cond-mat.mtrl-sci math.NA cond-mat.str-el Discrete Mathematics

Catalog footprint

Research overview

21works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On the spectrum and linear programming bound for hypergraphs

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.

preprint2022arXiv

Rationality of the inner products of spherical $s$ -distance $t$ -designs for $t \geq 2s-2$ , $s \geq 3$

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.

preprint2020arXiv

Maximal $2$ -distance sets containing the regular simplex

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.

preprint2016arXiv

Maximal $m$ -distance sets containing the representation of the Hamming graph $H(n,m)$

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$ .

preprint2015arXiv

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.

preprint2015arXiv

Linear programming bounds for regular graphs

Delsarte, Goethals, and Seidel (1977) used the linear programming method in order to find bounds for the size of spherical codes endowed with prescribed inner products between distinct points in the code. In this paper, we develop the linear programming method to obtain bounds for the number of vertices of connected regular graphs endowed with given distinct eigenvalues. This method is proved by some "dual" technique of the spherical case, motivated from the theory of association scheme. As an application of this bound, we prove that a connected $k$ -regular graph satisfying $g>2d-1$ has the minimum second-largest eigenvalue of all $k$ -regular graphs of the same size, where $d$ is the number of distinct non-trivial eigenvalues, and $g$ is the girth. The known graphs satisfying $g>2d-1$ are Moore graphs, incidence graphs of regular generalized polygons of order $(s,s)$ , triangle-free strongly regular graphs, and the odd graph of degree $4$ .

preprint2015arXiv

On the largest subsets avoiding the diameter of $(0,\pm 1)$ -vectors

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).

preprint2015arXiv

Polynomial properties on large symmetric association schemes

In this paper we characterize "large" regular graphs using certain entries in the projection matrices onto the eigenspaces of the graph. As a corollary of this result, we show that "large" association schemes become $P$ -polynomial association schemes. Our results are summarized as follows. Let $G=(V,E)$ be a connected $k$ -regular graph with $d+1$ distinct eigenvalues $k=θ_0>θ_1>\cdots>θ_d$ . Since the diameter of $G$ is at most $d$ , we have the Moore bound $|V| \leq M(k,d)=1+k \sum_{i=0}^{d-1}(k-1)^i.$ Note that if $|V|> M(k,d-1)$ holds, the diameter of $G$ is equal to $d$ . Let $E_i$ be the orthogonal projection matrix onto the eigenspace corresponding to $θ_i$ . Let $\partial(u,v)$ be the path distance of $u,v \in V$ . Theorem. Assume $|V|> M(k,d-1)$ holds. Then for $x,y \in V$ with $\partial(x,y)=d$ , the $(x,y)$ -entry of $E_i$ is equal to $-\frac{1}{|V|}\prod_{j=1,2,\ldots,d, j \ne i} \frac{θ_0-θ_j}{θ_i-θ_j}.$ If a symmetric association scheme $\mathfrak{X}=(X,\{R_i\}_{i=0}^d)$ has a relation $R_i$ such that the graph $(X,R_i)$ satisfies the above condition, then $\mathfrak{X}$ is $P$ -polynomial. Moreover we show the "dual" version of this theorem for spherical sets and $Q$ -polynomial association schemes.

preprint2014arXiv

A spectral equivalent condition of the $P$ -polynomial property for association schemes

We give an equivalent condition of the $P$ -polynomial property of symmetric association schemes.

preprint2014arXiv

Na-ion dynamics in Quasi-1D compound NaV2O4

We have used the pulsed muon source at ISIS to study high-temperature Na-ion dynamics in the quasi-one-dimensional (Q1D) metallic antiferromagnet NaV2O4. By performing systematic zero-field and longitudinal-field measurements as a function of temperature we clearly distinguish that the hopping rate increases exponentially above Tdiff=250 K. The data is well fitted to an Arrhenius type equation typical for a diffusion process, showing that the Na-ions starts to be mobile above Tdiff . Such results makes this compound very interesting for the tuning of Q1D magnetism using atomic-scale ion-texturing through the periodic potential from ordered Na-vacancies. Further, it also opens the door to possible use of NaV2O4 and related compounds in energy related applications.

preprint2014arXiv

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.

preprint2012arXiv

A characterization of skew Hadamard matrices and doubly regular tournaments

We give a new characterization of skew Hadamard matrices of size $n$ in terms of the data of the spectra of tournaments of size $n-2$ .

preprint2012arXiv

Remarks on Hilbert identities, isometric embeddings, and invariant cubature

Victoir (2004) developed a method to construct cubature formulae with various combinatorial objects. Motivated by this, we generalize Victoir's method with one more combinatorial object, called regular t-wise balanced designs. Many cubature of small indices with few points are provided, which are used to update Shatalov's table (2001) of isometric embeddings in small-dimensional Banach spaces, as well as to improve some classical Hilbert identities. A famous theorem of Bajnok (2007) on Euclidean designs invariant under the Weyl group of Lie type B is extended to all finite irreducible reflection groups. A short proof of the Bajnok theorem is presented in terms of Hilbert identities.

preprint2011arXiv

A characterization of Q-polynomial association schemes

We prove a necessary and sufficient condition for a symmetric association scheme to be a Q-polynomial scheme.

preprint2011arXiv

A generalization of Larman-Rogers-Seidel's theorem

A finite set X in the d-dimensional Euclidean space is called an s-distance set if the set of Euclidean distances between any two distinct points of X has size s. Larman--Rogers--Seidel proved that if the cardinality of a two-distance set is greater than 2d+3, then there exists an integer k such that a^2/b^2=(k-1)/k, where a and b are the distances. In this paper, we give an extension of this theorem for any s. Namely, if the size of an s-distance set is greater than some value depending on d and s, then certain functions of s distances become integers. Moreover, we prove that if the size of X is greater than the value, then the number of s-distance sets is finite.

preprint2011arXiv

A new approach for the existence problem of minimal cubature formulas based on the Larman-Rogers-Seidel theorem

In this paper we consider the existence problem of cubature formulas of degree 4k+1 for spherically symmetric integrals for which the equality holds in the Möller lower bound. We prove that for sufficiently large dimensional minimal formulas, any two distinct points on some concentric sphere have inner products all of which are rational numbers. By applying this result we prove that for any d > 2 there exist no d-dimensional minimal formulas of degrees 13 and 21 for some special integral.

preprint2011arXiv

Bounds on three- and higher-distance sets

A finite set X in a metric space M is called an s-distance set if the set of distances between any two distinct points of X has size s. The main problem for s-distance sets is to determine the maximum cardinality of s-distance sets for fixed s and M. In this paper, we improve the known upper bound for s-distance sets in n-sphere for s=3,4. In particular, we determine the maximum cardinalities of three-distance sets for n=7 and 21. We also give the maximum cardinalities of s-distance sets in the Hamming space and the Johnson space for several s and dimensions.

preprint2011arXiv

Inside s-inner product sets and Euclidean designs

A finite set X in the Euclidean space is called an s-inner product set if the set of the usual inner products of any two distinct points in X has size s. First, we give a special upper bound for the cardinality of an s-inner product set on concentric spheres. The upper bound coincides with the known lower bound for the size of a Euclidean 2s-design. Secondly, we prove the non-existence of 2- or 3-inner product sets on two concentric spheres attaining the upper bound for any d>1. The efficient property needed to prove the upper bound for an s-inner product set gives the new concept, inside s-inner product sets. We characterize the most known tight Euclidean designs as inside s-inner product sets attaining the upper bound.

preprint2010arXiv

Geometrical approach to Seidel's switching for strongly regular graphs

In this paper, we simplify the known switching theorem due to Bose and Shrikhande as follows. Let $G=(V,E)$ be a primitive strongly regular graph with parameters $(v,k,λ,μ)$ . Let $S(G,H)$ be the graph from $G$ by switching with respect to a nonempty $H\subset V$ . Suppose $v=2(k-θ_1)$ where $θ_1$ is the nontrivial positive eigenvalue of the $(0,1)$ adjacency matrix of $G$ . This strongly regular graph is associated with a regular two-graph. Then, $S(G,H)$ is a strongly regular graph with the same parameters if and only if the subgraph induced by $H$ is $k-\frac{v-h}{2}$ regular. Moreover, $S(G,H)$ is a strognly regualr graph with the other parameters if and only if the subgraph induced by $H$ is $k-μ$ regular and the size of $H$ is $v/2$ . We prove these theorems with the view point of the geometrical theory of the finite set on the Euclidean unit sphere.

preprint2010arXiv

New upper bound for the cardinalities of $s$ -distance sets on the unit sphere

We have the Fisher type inequality and the linear programming bound as upper bounds for the cardinalities of $s$ -distance sets on $S^{d-1}$ . In this paper, we give a new upper bound for the cardinalities of $s$ -distance sets on $S^{d-1}$ for any $s$ . This upper bound improves the Fisher typer inequality and is useful for $s$ -distance sets which are not applicable to the linear programming bound.

preprint2009arXiv

Li diffusion in Li $_x$ CoO $_2$ probed by muon-spin spectroscopy

The diffusion coefficient of Li $^+$ ions ( $D_{\rm Li}$ ) in the battery material Li $_x$ CoO $_2$ has been investigated by muon-spin relaxation ( $μ^+$ SR). Based on the experiments in zero-field and weak longitudinal-fields at temperatures up to 400 K, we determined the fluctuation rate ( $ν$ ) of the fields on the muons due to their interaction with the nuclear moments. Combined with susceptibility data and electrostatic potential calculations, clear Li $^+$ ion diffusion was detected above $\sim150$ K. The $D_{\rm Li}$ estimated from $ν$ was in very good agreement with predictions from first-principles calculations, and we present the $μ^+$ SR technique as an % novel and optimal probe to detect $D_{\rm Li}$ for materials containing magnetic ions.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hiroshi Nozaki

Research overview

Is this your work?

21 publications

On the spectrum and linear programming bound for hypergraphs

Rationality of the inner products of spherical $s$ -distance $t$ -designs for $t \geq 2s-2$ , $s \geq 3$

Maximal $2$ -distance sets containing the regular simplex

Maximal $m$ -distance sets containing the representation of the Hamming graph $H(n,m)$

Complex spherical codes with two inner products

Linear programming bounds for regular graphs

On the largest subsets avoiding the diameter of $(0,\pm 1)$ -vectors

Polynomial properties on large symmetric association schemes

A spectral equivalent condition of the $P$ -polynomial property for association schemes

Na-ion dynamics in Quasi-1D compound NaV2O4

Weighing matrices and spherical codes

A characterization of skew Hadamard matrices and doubly regular tournaments

Remarks on Hilbert identities, isometric embeddings, and invariant cubature

A characterization of Q-polynomial association schemes

A generalization of Larman-Rogers-Seidel's theorem

A new approach for the existence problem of minimal cubature formulas based on the Larman-Rogers-Seidel theorem

Bounds on three- and higher-distance sets

Inside s-inner product sets and Euclidean designs

Geometrical approach to Seidel's switching for strongly regular graphs

New upper bound for the cardinalities of $s$ -distance sets on the unit sphere

Li diffusion in Li $_x$ CoO $_2$ probed by muon-spin spectroscopy

See the researcher in context

Building this map preview

Hiroshi Nozaki

Research overview

Is this your work?

21 publications

On the spectrum and linear programming bound for hypergraphs

Rationality of the inner products of spherical sss-distance ttt-designs for t≥2s−2t \geq 2s-2t≥2s−2, s≥3s \geq 3s≥3

Maximal 222-distance sets containing the regular simplex

Maximal mmm-distance sets containing the representation of the Hamming graph H(n,m)H(n,m)H(n,m)

Complex spherical codes with two inner products

Linear programming bounds for regular graphs

On the largest subsets avoiding the diameter of (0,±1)(0,\pm 1)(0,±1)-vectors

Polynomial properties on large symmetric association schemes

A spectral equivalent condition of the PPP-polynomial property for association schemes

Na-ion dynamics in Quasi-1D compound NaV2O4

Weighing matrices and spherical codes

A characterization of skew Hadamard matrices and doubly regular tournaments

Remarks on Hilbert identities, isometric embeddings, and invariant cubature

A characterization of Q-polynomial association schemes

A generalization of Larman-Rogers-Seidel's theorem

A new approach for the existence problem of minimal cubature formulas based on the Larman-Rogers-Seidel theorem

Bounds on three- and higher-distance sets

Inside s-inner product sets and Euclidean designs

Geometrical approach to Seidel's switching for strongly regular graphs

New upper bound for the cardinalities of sss-distance sets on the unit sphere

Li diffusion in Lix_xx​CoO2_22​ probed by muon-spin spectroscopy

See the researcher in context

Building this map preview

Rationality of the inner products of spherical $s$ -distance $t$ -designs for $t \geq 2s-2$ , $s \geq 3$

Maximal $2$ -distance sets containing the regular simplex

Maximal $m$ -distance sets containing the representation of the Hamming graph $H(n,m)$

On the largest subsets avoiding the diameter of $(0,\pm 1)$ -vectors

A spectral equivalent condition of the $P$ -polynomial property for association schemes

New upper bound for the cardinalities of $s$ -distance sets on the unit sphere

Li diffusion in Li $_x$ CoO $_2$ probed by muon-spin spectroscopy