Source author record

Akiyoshi Sannai

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

ResearcherUnclaimed source record

math.AC math.AG Machine Learning math.KT math.AT math.CT math.OC

Catalog footprint

Research overview

12works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Bézier Flow: a Surface-wise Gradient Descent Method for Multi-objective Optimization

In this paper, we propose a strategy to construct a multi-objective optimization algorithm from a single-objective optimization algorithm by using the Bézier simplex model. Also, we extend the stability of optimization algorithms in the sense of Probability Approximately Correct (PAC) learning and define the PAC stability. We prove that it leads to an upper bound on the generalization with high probability. Furthermore, we show that multi-objective optimization algorithms derived from a gradient descent-based single-objective optimization algorithm are PAC stable. We conducted numerical experiments and demonstrated that our method achieved lower generalization errors than the existing multi-objective optimization algorithm.

preprint2021arXiv

Group Equivariant Conditional Neural Processes

We present the group equivariant conditional neural process (EquivCNP), a meta-learning method with permutation invariance in a data set as in conventional conditional neural processes (CNPs), and it also has transformation equivariance in data space. Incorporating group equivariance, such as rotation and scaling equivariance, provides a way to consider the symmetry of real-world data. We give a decomposition theorem for permutation-invariant and group-equivariant maps, which leads us to construct EquivCNPs with an infinite-dimensional latent space to handle group symmetries. In this paper, we build architecture using Lie group convolutional layers for practical implementation. We show that EquivCNP with translation equivariance achieves comparable performance to conventional CNPs in a 1D regression task. Moreover, we demonstrate that incorporating an appropriate Lie group equivariance, EquivCNP is capable of zero-shot generalization for an image-completion task by selecting an appropriate Lie group equivariance.

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.

preprint2016arXiv

A characterization of ordinary abelian varieties by the Frobenius push-forward of the structure sheaf

For an ordinary abelian variety $X$ , $F^e_*\mathcal{O}_X$ is decomposed into line bundles for every positive integer $e$ . Conversely, if a smooth projective variety $X$ satisfies this property and its Kodaira dimension is non-negative, then $X$ is an ordinary abelian variety.

preprint2014arXiv

Homotopy invariance of higher K-theory for abelian categories

The main theorem in this paper is that the base change functor from a noetherian abelian category to its noetherian polynomial category induces an isomorphism on K-theory. The main theorem implies the well-known fact that A^1-homotopy invariance of K'-theory for noetherian schemes.

preprint2013arXiv

Dual F-signature

We define the dual F-signature of modules, which is equivalent to the F-signature if the module is the base ring. By using this invariant, We give characterizations of regular, F-regular, F-rational, and Gorenstein singularities.

preprint2012arXiv

Characterization of varieties of Fano type via singularities of Cox rings

We show that every Mori dream space of globally $F$ -regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings.

preprint2011arXiv

F-signature of graded Gorenstein rings

For a commutative ring $R$ , the $F$ -signature was defined by Huneke and Leuschke \cite{H-L}. It is an invariant that measures the order of the rank of the free direct summand of $R^{(e)}$ . Here, $R^{(e)}$ is $R$ itself, regarded as an $R$ -module through $e$ -times Frobenius action $F^e$ .In this paper, we show a connection of the F-signature of a graded ring with other invariants. More precisely, for a graded $F$ -finite Gorenstein ring $R$ of dimension $d$ , we give an inequality among the $F$ -signature $s(R)$ , $a$ -invariant $a(R)$ and Poincaré polynomial $P(R,t)$ . $s(R)\le\frac{(-a(R))^d}{2^{d-1}d!}\lim_{t\rightarrow 1}(1-t)^dP(R,t)$ Moreover, we show that $R^{(e)}$ has only one free direct summand for any $e$ , if and only if $R$ is $F$ -pure and $a(R)=0$ . This gives a characterization of such rings.

preprint2011arXiv

Galois extensions, plus closure, and maps on local cohomology

Given a local domain $(R,m)$ of prime characteristic that is a homomorphic image of a Gorenstein ring, Huneke and Lyubeznik proved that there exists a module-finite extension domain $S$ such that the induced map on local cohomology modules $H^i_m(R)\to H^i_m(S)$ is zero for each $i<\dim R$ . We prove that the extension $S$ may be chosen to be generically Galois, and analyze the Galois groups that arise.

preprint2011arXiv

Generalized Koszul resolutions

The main objective of this paper is to generalize a notion of Koszul resolutions and charcterizing modules which admits such a resolution. We turn out that for a noetherian ring $A$ and a coherent $A$ module $M$ , $M$ has a two dimensional generalized Koszul resolution if and only if $M$ is a pure weight two module in the sense of \cite{HM09}.

preprint2011arXiv

Higher K-theory of polynomial categories

The main theorem in this paper is that the base change functor from an abelian category $\cA$ to its polynomial category in the sense of Schlichting $-\otimes_{\cA}\bbZ[t]:\cA \to \cA[t]$ induces an isomorphism on their $K$ -theories if $\cA$ is noetherian and has enough projective objects. The main theorem implies the well-known fact that $\mathbb{A}^1$ -homotopy invariance of $K'$ -theory for noetherian schemes.

preprint2011arXiv

Jet schemes of homogeneous hypersurfaces

This paper studies the singularities of jet schemes of homogeneous hypersurfaces of general type. We obtain the condition of the degree and the dimension for the singularities of the jet schemes to be of dense $F$ -regular type. This provides us with examples of singular varieties whose $m$ -jet schemes have rational singularities for every $m$ .

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.

Akiyoshi Sannai

Research overview

Is this your work?

12 publications

Bézier Flow: a Surface-wise Gradient Descent Method for Multi-objective Optimization

Group Equivariant Conditional Neural Processes

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

A characterization of ordinary abelian varieties by the Frobenius push-forward of the structure sheaf

Homotopy invariance of higher K-theory for abelian categories

Dual F-signature

Characterization of varieties of Fano type via singularities of Cox rings

F-signature of graded Gorenstein rings

Galois extensions, plus closure, and maps on local cohomology

Generalized Koszul resolutions

Higher K-theory of polynomial categories

Jet schemes of homogeneous hypersurfaces

See the researcher in context

Building this map preview