Source author record

Yuuki Takai

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

ResearcherUnclaimed source record

Discrete Mathematics Machine Learning math.CO math.NT math.PR

Catalog footprint

Research overview

3works

5topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Cover time of graphs with bounded genus

The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all vertices of the graph. It is known that the cover time of any finite connected $n$ -vertex graph is at least $(1 + o(1)) n \log n$ and at most $(1 + o(1)) \frac{4}{27} n^3$ . By Jonasson and Schramm, the cover time of any bounded-degree finite connected $n$ -vertex planar graph is at least $c n(\log n)^2$ and at most $6n^2$ , where $c$ is a positive constant depending only on the maximal degree of the graph. In particular, the lower bound is established via the use of circle packing of planar graphs on the Riemann sphere. In this paper, we show that the cover time of any finite $n$ -vertex graph $G$ with maximum degree $Δ$ on the compact Riemann surface $S$ of given genus $g$ is at least $c n(\log n)^2/ Δ(g + 1)$ and at most $(6 + o(1))n^2$ , where $c$ is an absolute constant, if $n$ is sufficiently large and three sufficient conditions for $S$ and a circle packing of $G$ filling $S$ .

preprint2021arXiv

On the Number of Linear Functions Composing Deep Neural Network: Towards a Refined Definition of Neural Networks Complexity

The classical approach to measure the expressive power of deep neural networks with piecewise linear activations is based on counting their maximum number of linear regions. This complexity measure is quite relevant to understand general properties of the expressivity of neural networks such as the benefit of depth over width. Nevertheless, it appears limited when it comes to comparing the expressivity of different network architectures. This lack becomes particularly prominent when considering permutation-invariant networks, due to the symmetrical redundancy among the linear regions. To tackle this, we propose a refined definition of piecewise linear function complexity: instead of counting the number of linear regions directly, we first introduce an equivalence relation among the linear functions composing a piecewise linear function and then count those linear functions relative to that equivalence relation. Our new complexity measure can clearly distinguish between the two aforementioned models, is consistent with the classical measure, and increases exponentially with depth.

preprint2010arXiv

An effective isomorphy criterion for mod $\ell$ Galois representations

In this paper, we consider mod $\ell$ Galois representations of $\mathbb{Q}$ . In particular, we obtain an effective criterion to distinguish two semisimple 2-dimensional, odd mod $\ell$ Galois representations up to isomorphism. Serre's conjecture (Khare-Wintenberger's theorem), Sturm's theorem, and its modification by Kohnen are used in our proof.

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.

Yuuki Takai

Research overview

Is this your work?

3 publications

Cover time of graphs with bounded genus

On the Number of Linear Functions Composing Deep Neural Network: Towards a Refined Definition of Neural Networks Complexity

An effective isomorphy criterion for mod $\ell$ Galois representations

See the researcher in context

Building this map preview

Yuuki Takai

Research overview

Is this your work?

3 publications

Cover time of graphs with bounded genus

On the Number of Linear Functions Composing Deep Neural Network: Towards a Refined Definition of Neural Networks Complexity

An effective isomorphy criterion for mod ℓ\ellℓ Galois representations

See the researcher in context

Building this map preview

An effective isomorphy criterion for mod $\ell$ Galois representations