BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Takayuki Okuda

Takayuki Okuda contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COmath.DGmath.RTmath.MGDiscrete Mathematics

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

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.

Published work

10 published item(s)

preprint2022arXiv

Functoriality of Bose-Mesner algebras and profinite association schemes

We show that taking the set of primitive idempotents of commutative association schemes is a functor from the category of commutative association schemes with surjective morphisms to the category of finite sets with surjective partial functions. We then consider projective systems of commutative association schemes consisting of surjections (which we call profinite association schemes), for which Bose-Mesner algebra is defined, and describe a Delsarte theory on such schemes. This is another method for generalizing association schemes to those on infinite sets, related with the approach by Barg and Skriganov. Relation with $(t,m,s)$-nets and $(t,s)$-sequences is studied. We reprove some of the results of Martin-Stinson from this viewpoint.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Homogeneous space with non virtually abelian discontinuous groups but without any proper SL(2,R)-action

In the study of discontinuous groups for non-Riemannian homogeneous spaces, the idea of "continuous analogue" gives a powerful method (T. Kobayashi [Math. Ann. 1989]). For example, a semisimple symmetric space G/H admits a discontinuous group which is not virtually abelian if and only if G/H admits a proper SL(2,R)-action (T. Okuda [J. Differential Geom. 2013]). However, the action of discrete subgroups is not always approximated by that of connected groups. In this paper, we show that the theorem cannot be extended to general homogeneous spaces G/H of reductive type. We give a counterexample in the case G = SL(5,R).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Nonexistence of tight spherical design of harmonic index 4

We give a new upper bound of the cardinality of a set of equiangular lines in $\R^n$ with a fixed angle $θ$ for each $(n,θ)$ satisfying certain conditions. Our techniques are based on semi-definite programming methods for spherical codes introduced by Bachoc--Vallentin [J.Amer.Math.Soc.2008]. As a corollary to our bound, we show the nonexistence of spherical tight designs of harmonic index 4 on $S^{n-1}$ with $n \geq 3$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Smallest complex nilpotent orbits with real points

Let us fix a complex simple Lie algebra and its non-compact real form. This paper focuses on non-zero adjoint nilpotent orbits in the complex simple Lie algebra meeting the real form. We show that the poset consisting of such nilpotent orbits equipped with the closure ordering has the minimum. Furthermore, we determine such the minimum orbit in terms of the Dynkin--Kostant classification even in the cases where the orbit does not coincide with the minimal nilpotent orbit in the complex simple Lie algebra. We also prove that the intersection of the orbit and the real form is the union of all minimal nilpotent orbits in the real form.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Classification of semisimple symmetric spaces with proper SL(2,R)-actions

We give a complete classification of irreducible symmetric spaces for which there exist proper SL(2,R)-actions as isometries, using the criterion for proper actions by T. Kobayashi [Math. Ann. '89] and combinatorial techniques of nilpotent orbits. In particular, we classify irreducible symmetric spaces that admit surface groups as discontinuous groups, combining this with Benoist's theorem [Ann. Math. '96].

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Spherical designs of harmonic index t

Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint of this equivalent condition, and we give its construction and a Fisher type lower bound on the cardinality. Also we investigate whether there is a spherical design of harmonic index attaining the bound.

0 citations0 reviewsNo code linkedOpen access