Source author record

Hiroki Kajiura

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

ResearcherUnclaimed source record

math.CO

Catalog footprint

Research overview

2works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2025arXiv

A categorical proof of the nonexistence of (120, 35, 10)-difference sets

A difference set with parameters $(v, k, λ)$ is a subset $D$ of cardinality $k$ in a finite group $G$ of order $v$ , such that the number $λ$ of occurrences of $g \in G$ as the ratio $d^{-1}d'$ in distinct pairs $(d, d')\in D\times D$ is independent of $g$ . We prove the nonexistence of $(120, 35, 10)$ -difference sets, which has been an open problem for 70 years since Bruck introduced the notion of nonabelian difference sets. Our main tools are 1. a generalization of the category of finite groups to that of association schemes (actually, to that of relation partitions), 2. a generalization of difference sets to equi-distributed functions and its preservation by pushouts along quotients, 3. reduction to a linear programming in the nonnegative integer lattice with quadratic constraints.

preprint2020arXiv

Approximation of integration over finite groups, difference sets and association schemes

Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$ , let $I_Y(f)$ denote the average of $f$ over $Y$ . Then, $I_G(f)$ is the average of $f$ over $G$ . Using the decomposition of $f$ into irreducible components of ${\mathbb C}^G$ as a representation of $G\times G$ , we define non-negative real numbers $V(f)$ and $D(Y)$ , each depending only on $f$ , $Y$ , respectively, such that an inequality of the form $|I_G(f)-I_Y(f)|\leq V(f)\cdot D(Y)$ holds. We give a lower bound of $D(Y)$ depending only on $\#Y$ and $\#G$ . We show that the lower bound is achieved if and only if $\#\{(x,y)\in Y^2 \mid x^{-1}y \in [a]\}/\#[a]$ is independent of the choice of the conjugacy class $[a]\subset G$ for $a \neq 1$ . We call such a $Y\subset G$ as a pre-difference set in $G$ , since the condition is satisfied if $Y$ is a difference set. If $G$ is abelian, the condition is equivalent to that $Y$ is a difference set. We found a non-trivial pre-difference set in the dihedral group of order 16, where no non-trivial difference set exists. The pre-difference sets in non-abelian groups of order 16 are classified. A generalization to commutative association schemes is also given.

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.