arXiv subjects
Publications and source records attributed to Semin Oh.
In 2025 Cornet, Dravec, and Torres determined the domination number $\gamma(J(n, 3))$ of the Johnson graph for every even $n \ge 6$, expressing it as a closed form $\phi_n$ in terms of Fort\textendash{}Hedlund covering numbers, and conjectured the same value for odd $n$. We prove this conjecture: $\gamma(J(n, 3)) = \phi_n$ for every odd $n \ge 7$, completing the determination of $\gamma(J(n, 3))$ for all $n \ge 6$.
Persistent homology is a central tool in topological data analysis, but its application to large and noisy datasets is often limited by computational cost and the presence of spurious topological features. Noise not only increases data size but also obscures the underlying structure of the data. In this paper, we propose the Refined Characteristic Lattice Algorithm (RCLA), a grid-based method that integrates data reduction with threshold-based denoising in a single procedure. By incorporating a threshold parameter $k$, RCLA removes noise while preserving the essential structure of the data in a single pass. We further provide a theoretical guarantee by proving a stability theorem under a homogeneous Poisson noise model, which bounds the bottleneck distance between the persistence diagrams of the output and the underlying shape with high probability. In addition, we introduce an automatic parameter selection method based on nearest-neighbor statistics. Experimental results demonstrate that RCLA consistently outperforms existing methods, and its effectiveness is further validated on a 3D shape classification task.
In this paper, we completely classify the connected non-bipartite graphs with integral signless Laplacian eigenvalues at most 6.
In this paper we aim to characterize association schemes all of whose symmetric fusion schemes have only integral eigenvalues, and classify those obtained from a regular action of a finite group by taking its orbitals.
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 $\zeta_{\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 $\zeta_{\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+\gamma)\mathbb{Z}[x]$ for each $\gamma\in \mathbb{Z}$. Thus, the problem is reduced to counting the number of ideals of $\mathbb{Z}[x]/x(x-\alpha)(x-\beta)\mathbb{Z}[x]$ with given finite index where $0,\alpha$ and $\beta$ are distinct integers.
The zeta function of an integral lattice $\Lambda$ is the generating function $\zeta_{\Lambda}(s) = \sum\limits_{n=0}^{\infty} a_n n^{-s}$, whose coefficients count the number of left ideals of $\Lambda$ of index $n$. We derive a formula for the zeta function of $\Lambda_1 \otimes \Lambda_2$, where $\Lambda_1$ and $\Lambda_2$ are $\mathbb{Z}$-orders contained in finite-dimensional semisimple $\mathbb{Q}$-algebras that satisfy a "locally coprime" condition. We apply the formula obtained above to $\mathbb{Z}S \otimes \mathbb{Z}T$ and obtain the zeta function of the adjacency algebra of the direct product of two finite association schemes $(X,S)$ and $(Y,T)$ in several cases where the $\mathbb{Z}$-orders $\mathbb{Z}S$ and $\mathbb{Z}T$ are locally coprime and their zeta functions are known.