Researcher profile

Mitsugu Hirasaka

Mitsugu Hirasaka contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.CO math.GR

Trust snapshot

Quick read

Trust 21 - Emerging

6works

0followers

2topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2016arXiv

Coherent configurations over copies of association schemes of prime order

Let $G$ be a group acting faithfully and transitively on $Ω_i$ for $i=1,2$. A famous theorem by Burnside implies the following fact: If $|Ω_1|=|Ω_2|$ is a prime and the rank of one of the actions is greater than two, then the actions are equivalent, or equivalently $|(α,β)^G|=|Ω_1|=|Ω_2|$ for some $(α,β)\in Ω_1\times Ω_2$. In this paper we consider a combinatorial analogue to this fact through the theory of coherent configurations, and give some arithmetic sufficient conditions for a coherent configuration with two homogeneous components of prime order to be uniquely determined by one of the homogeneous components.

preprint2016arXiv

The number of ideals of $\mathbb{Z}[x]$ containing $x(x-α)(x-β)$ with given index

It is well-known that a connected regular graph is strongly-regular if and only if its adjacency matrix has exactly three eigenvalues. Let $B$ denote an integral square matrix and $\langle B \rangle$ denote the subring of the full matrix ring generated by $B$. Then $\langle B \rangle$ is a free $\mathbb{Z}$-module of finite rank, which guarantees that there are only finitely many ideals of $\langle B \rangle$ with given finite index. Thus, the formal Dirichlet series $ζ_{\langle B \rangle}(s)=\sum_{n\geq 1}a_n n^{-s}$ is well-defined where $a_n$ is the number of ideals of $\langle B \rangle$ with index $n$. In this article we aim to find an explicit form of $ζ_{\langle B \rangle}(s)$ when $B$ has exactly three eigenvalues all of which are integral, e.g., the adjacency matrix of a strongly-regular graph which is not a conference graph with a non-squared number of vertices. By isomorphism theorem for rings, $\langle B \rangle$ is isomorphic to $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ where $m(x)$ is the minimal polynomial of $B$ over $\mathbb{Q}$, and $\mathbb{Z}[x]/m(x)\mathbb{Z}[x]$ is isomorphic to $\mathbb{Z}[x]/m(x+γ)\mathbb{Z}[x]$ for each $γ\in \mathbb{Z}$. Thus, the problem is reduced to counting the number of ideals of $\mathbb{Z}[x]/x(x-α)(x-β)\mathbb{Z}[x]$ with given finite index where $0,α$ and $β$ are distinct integers.

preprint2015arXiv

Association schemes in which the thin residue is an elementary abelian $p$-group of rank $2$

In this article, we investigate the existence and schurity problem of association schemes whose thin residues are isomorphic to an elementary abelian $p$-group of rank $2$.

preprint2015arXiv

Isomorphism classes of association schemes induced by Hadamard matrices

Every Hadamard matrix $H$ of order $n > 1$ induces a graph with $4n$ vertices, called the Hadamard graph $Γ(H)$ of $H$. Since $Γ(H)$ is a distance-regular graph with diameter $4$, it induces a $4$-class association scheme $(Ω, S)$ of order $4n$. In this article we deal with fission schemes of $(Ω, S)$ under certain conditions, and for such a fission scheme we estimate the number of isomorphism classes with the same intersection numbers as the fission scheme.

preprint2012arXiv

On $p$-schemes of order $p^3$

Let $(X,S)$ be a $p$-scheme of order $p^3$ and $T$ the thin residue of $S$. Now we assume that $T$ has valency $p^2$. It is easy to see that one of the following holds: (i) $|T|=p^2$ and $T\simeq C_{p^2}$; (ii) $|T|=p^2$ and $T\simeq C_p\times C_p$; (iii) $|T|<p^2$. It is known that $(X,S)$ is Schurian if (i) holds. If (ii) holds, we will show that $(X,S)$ induces a partial linear space on $X/T$. Moreover, the character degrees of $(X,S)$ coincide with the sizes of the lines of the partial linear space. Under the assumption (iii) we will show a construction of non-Schurian $p$-schemes which are algebraically isomorphic to a Schurian $p$-scheme of order $p^3$.

preprint2010arXiv

Characterization of Balanced Coherent Configurations

Let $G$ be a group acting on a finite set $Ω$. Then $G$ acts on $Ω\times Ω$ by its entry-wise action and its orbits form the basis relations of a coherent configuration (or shortly scheme). Our concern is to consider what follows from the assumption that the number of orbits of $G$ on $Ω_i\times Ω_j$ is constant whenever $Ω_i$ and $Ω_j$ are orbits of $G$ on $Ω$. One can conclude from the assumption that the actions of $G$ on ${Ω_i}$'s have the same permutation character and are not necessarily equivalent. From this viewpoint one may ask how many inequivalent actions of a given group with the same permutation character there exist. In this article we will approach to this question by a purely combinatorial method in terms of schemes and investigate the following topics: (i) balanced schemes and their central primitive idempotents, (ii) characterization of reduced balanced schemes.