Source author record

Tomoyuki Shirai

Tomoyuki Shirai appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
18topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

18 published item(s)

preprint2022arXiv

Disordered complex networks: energy optimal lattices and persistent homology

Disordered complex networks are of fundamental interest as stochastic models for information transmission over wireless networks. Well-known networks based on the Poisson point process model have limitations vis-a-vis network efficiency, whereas strongly correlated alternatives, such as those based on random matrix spectra (RMT), have tractability and robustness issues. In this work, we demonstrate that network models based on random perturbations of Euclidean lattices interpolate between Poisson and rigidly structured networks, and allow us to achieve the best of both worlds : significantly improve upon the Poisson model in terms of network efficacy measured by the Signal to Interference plus Noise Ratio (abbrv. SINR) and the related concept of coverage probabilities, at the same time retaining a considerable measure of mathematical and computational simplicity and robustness to erasure and noise. We investigate the optimal choice of the base lattice in this model, connecting it to the celebrated problem optimality of Euclidean lattices with respect to the Epstein Zeta function, which is in turn related to notions of lattice energy. This leads us to the choice of the triangular lattice in 2D and face centered cubic lattice in 3D. We demonstrate that the coverage probability decreases with increasing strength of perturbation, eventually converging to that of the Poisson network. In the regime of low disorder, we approximately characterize the statistical law of the coverage function. In 2D, we determine the disorder strength at which the PTL and the RMT networks are the closest measured by comparing their network topologies via a comparison of their Persistence Diagrams . We demonstrate that the PTL network at this disorder strength can be taken to be an effective substitute for the RMT network model, while at the same time offering the advantages of greater tractability.

preprint2022arXiv

Local universality of determinantal point processes on Riemannian manifolds

We consider the Laplace-Beltrami operator $Δ_g$ on a smooth, compact Riemannian manifold $(M,g)$ and the determinantal point process $\mathcal{X}_λ$ on $M$ associated with the spectral projection of $-Δ_g$ onto the subspace corresponding to the eigenvalues up to $λ^2$. We show that the pull-back of $\mathcal{X}_λ$ by the exponential map $\exp_p : T_p^*M \to M$ under a suitable scaling converges weakly to the universal determinantal point process on $T_p^* M$ as $λ\to \infty$.

preprint2022arXiv

Scaling limit for determinantal point processes on spheres

The unitary group with the Haar probability measure is called Circular Unitary Ensemble. All the eigenvalues lie on the unit circle in the complex plane and they can be regarded as a determinantal point process on $\mathbb{S}^1$. It is also known that the scaled point processes converge weakly to the determinantal point process associated with the so-called sine kernel as the size of matrices tends to $\infty$. We extend this result to the case of high-dimensional spheres and show that the scaling limit processes are determinantal point processes associated with the kernels expressed by the Bessel functions of the first kind.

preprint2022arXiv

Zeros of the i.i.d. Gaussian Laurent series on an annulus: weighted Szegő kernels and permanental-determinantal point processes

On an annulus ${\mathbb{A}}_q :=\{z \in {\mathbb{C}}: q < |z| < 1\}$ with a fixed $q \in (0, 1)$, we study a Gaussian analytic function (GAF) and its zero set which defines a point process on ${\mathbb{A}}_q$ called the zero point process of the GAF. The GAF is defined by the i.i.d.~Gaussian Laurent series such that the covariance kernel parameterized by $r >0$ is identified with the weighted Szegő kernel of ${\mathbb{A}}_q$ with the weight parameter $r$ studied by Mccullough and Shen. The GAF and the zero point process are rotationally invariant and have a symmetry associated with the $q$-inversion of coordinate $z \leftrightarrow q/z$ and the parameter change $r \leftrightarrow q^2/r$. When $r=q$ they are invariant under conformal transformations which preserve ${\mathbb{A}}_q$. Conditioning the GAF by adding zeros, new GAFs are induced such that the covariance kernels are also given by the weighted Szegő kernel of Mccullough and Shen but the weight parameter $r$ is changed depending on the added zeros. We also prove that the zero point process of the GAF provides a permanental-determinantal point process (PDPP) in which each correlation function is expressed by a permanent multiplied by a determinant. Dependence on $r$ of the unfolded 2-correlation function of the PDPP is studied. If we take the limit $q \to 0$, a simpler but still non-trivial PDPP is obtained on the unit disk ${\mathbb{D}}$. We observe that the limit PDPP indexed by $r \in (0, \infty)$ can be regarded as an interpolation between the determinantal point process (DPP) on ${\mathbb{D}}$ studied by Peres and Virág ($r \to 0$) and that DPP of Peres and Virág with a deterministic zero added at the origin ($r \to \infty$).

preprint2020arXiv

Zeta functions of periodic cubical lattices and cyclotomic-like polynomials

Zeta functions of periodic cubical lattices are explicitly derived by computing all the eigenvalues of the adjacency operators and their characteristic polynomials. We introduce cyclotomic-like polynomials to give factorization of the zeta function in terms of them and count the number of orbits of the Galois action associated with each cyclotomic-like polynomial to obtain its further factorization. We also give a necessary and sufficient condition for such a polynomial to be irreducible and discuss its irreducibility from this point of view.

preprint2016arXiv

A sufficient condition for tail asymptotics of SIR distribution in downlink cellular networks

We consider the spatial stochastic model of single-tier downlink cellular networks, where the wireless base stations are deployed according to a general stationary point process on the Euclidean plane with general i.i.d. propagation effects. Recently, Ganti & Haenggi (2016) consider the same general cellular network model and, as one of many significant results, derive the tail asymptotics of the signal-to-interference ratio (SIR) distribution. However, they do not mention any conditions under which the result holds. In this paper, we compensate their result for the lack of the condition and expose a sufficient condition for the asymptotic result to be valid. We further illustrate some examples satisfying such a sufficient condition and indicate the corresponding asymptotic results for the example models. We give also a simple counterexample violating the sufficient condition.

preprint2016arXiv

Limit theorems for persistence diagrams

The persistent homology of a stationary point process on ${\bf R}^N$ is studied in this paper. As a generalization of continuum percolation theory, we study higher dimensional topological features of the point process such as loops, cavities, etc. in a multiscale way. The key ingredient is the persistence diagram, which is an expression of the persistent homology. We prove the strong law of large numbers for persistence diagrams as the window size tends to infinity and give a sufficient condition for the limiting persistence diagram to have the full support. We also discuss a central limit theorem for persistent Betti numbers.

preprint2016arXiv

Spatial modeling and analysis of cellular networks using the Ginibre point process: A tutorial

Spatial stochastic models have been much used for performance analysis of wireless communication networks. This is due to the fact that the performance of wireless networks depends on the spatial configuration of wireless nodes and the irregularity of node locations in a real wireless network can be captured by a spatial point process. Most works on such spatial stochastic models of wireless networks have adopted homogeneous Poisson point processes as the models of wireless node locations. While this adoption makes the models analytically tractable, it assumes that the wireless nodes are located independently of each other and their spatial correlation is ignored. Recently, the authors have proposed to adopt the Ginibre point process---one of the determinantal point processes---as the deployment models of base stations (BSs) in cellular networks. The determinantal point processes constitute a class of repulsive point processes and have been attracting attention due to their mathematically interesting properties and efficient simulation methods. In this tutorial, we provide a brief guide to the Ginibre point process and its variant, $α$-Ginibre point process, as the models of BS deployments in cellular networks and show some existing results on the performance analysis of cellular network models with $α$-Ginibre deployed BSs. The authors hope the readers to use such point processes as a tool for analyzing various problems arising in future cellular networks.

preprint2016arXiv

Tutte polynomials and random-cluster models in Bernoulli cell complexes

This paper studies Bernoulli cell complexes from the perspective of persistent homology, Tutte polynomials, and random-cluster models. Following the previous work [9], we first show the asymptotic order of the expected lifetime sum of the persistent homology for the Bernoulli cell complex process on the $\ell$-cubical lattice. Then, an explicit formula of the expected lifetime sum using the Tutte polynomial is derived. Furthermore, we study a higher dimensional generalization of the random-cluster model derived from the Edwards-Sokal type coupling, and show some basic results such as the positive association and the relation to the Tutte polynomial.

preprint2015arXiv

Absolute continuity and singularity of Palm measures of the Ginibre point process

We prove a dichotomy between absolute continuity and singularity of the Ginibre point process $\mathsf{G}$ and its reduced Palm measures $\{\mathsf{G}_{\mathbf{x}}, \mathbf{x} \in \mathbb{C}^{\ell}, \ell = 0,1,2\dots\}$, namely, reduced Palm measures $\G_{\mathbf{x}}$ and $\G_{\mathbf{y}}$ for $\mathbf{x} \in \mathbb{C}^{\ell}$ and $\mathbf{y} \in \mathbb{C}^{n}$ are mutually absolutely continuous if and only if $\ell = n$; they are singular each other if and only if $\ell \not= n$. Furthermore, we give an explicit expression of the Radon-Nikodym density $d\G_{\mathbf{x}}/d \G_{\mathbf{y}}$ for $\mathbf{x}, \mathbf{y} \in \mathbb{C}^{\ell}$.

preprint2015arXiv

Downlink Coverage Probability in a Cellular Network with Ginibre Deployed Base Stations and Nakagami-m Fading Channels

Recently, spatial stochastic models based on determinantal point processes (DPP) are studied as promising models for analysis of cellular wireless networks. Indeed, the DPPs can express the repulsive nature of the macro base station (BS) configuration observed in a real cellular network and have many desirable mathematical properties to analyze the network performance. However, almost all the prior works on the DPP based models assume the Rayleigh fading while the spatial models based on Poisson point processes have been developed to allow arbitrary distributions of fading/shadowing propagation effects. In order for the DPP based model to be more promising, it is essential to extend it to allow non-Rayleigh propagation effects. In the present paper, we propose the downlink cellular network model where the BSs are deployed according to the Ginibre point process, which is one of the main examples of the DPPs, over Nakagami-m fading. For the proposed model, we derive a numerically computable form of the coverage probability and reveal some properties of it numerically and theoretically.

preprint2015arXiv

Minimum spanning acycle and lifetime of persistent homology in the Linial-Meshulam process

This paper studies a higher dimensional generalization of Frieze's $ζ(3)$-limit theorem in the Erdös-Rényi graph process. Frieze's theorem states that the expected weight of the minimum spanning tree converges to $ζ(3)$ as the number of vertices goes to infinity. In this paper, we study the $d$-Linial-Meshulam process as a model for random simplicial complexes, where $d=1$ corresponds to the Erdös-Rényi graph process. First, we define spanning acycles as a higher dimensional analogue of spanning trees, and connect its minimum weight to persistent homology. Then, our main result shows that the expected weight of the minimum spanning acycle behaves in $O(n^{d-1})$.

preprint2014arXiv

Eigenvalue problem for some special class of anti-triangular matrices

We study the eigenvalue problem for some special class of anti-triangular matrices. Though the eigenvalue problem is quite classical, as far as we know, almost nothing is known about properties of eigenvalues for anti-triangular matrices. In this paper, we show that there is a nice class of anti-triangular matrices whose eigenvalues are given explicitly by their elements. Moreover, this class contains several interesting subclasses which we characterize in terms of probability measures. We also discuss the application of our main theorem to the study of interacting particle systems, which are stochastic processes studied in extensive literature.

preprint2012arXiv

Note on the spectrum of discrete Schrödinger operators

The spectrum of discrete Schrödinger operator $L+V$ on the $d$-dimensional lattice is considered, where $L$ denotes the discrete Laplacian and $V$ a delta function with mass at a single point. Eigenvalues of $L+V$ are specified and the absence of singular continuous spectrum is proven. In particular it is shown that an embedded eigenvalue does appear for $d\geq5$ but does not for $1\leq d\leq 4$.