SearcharxivSearch

arXiv subjects

Takashi Suzuki

Publications and source records attributed to Takashi Suzuki.

At least 19 recordsLinked to original sources

On $μ$-invariants and isogenies for abelian varieties over function fields

We give several formulas for how Iwasawa $μ$-invariants of abelian varieties over unramified $\mathbb{Z}_{p}$-extensions of function fields change under isogeny. These are analogues of Schneider's formula in the number field setting. We also prove that the validity of the Birch--Swinnerton-Dyer conjecture (including the leading coefficient formula) over function fields is invariant under isogeny, without using the result of Kato--Trihan.

math.NT

Existence of global Néron models beyond semi-abelian varieties

We first prove Bosch-Lütkebohmert-Raynaud's conjectures on existence of global Néron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the imperfect residue fields case. Finally, as a complement to the conjectures, we classify unirational wound unipotent groups "up to relative perfection", again in the perfect residue fields case. The key ingredient for all these is the duality for relatively perfect unipotent groups.

math.NT

Bayesian Optimization Parameter Tuning Framework for a Lyapunov Based Path Following Controller

Parameter tuning in real-world experiments is constrained by the limited evaluation budget available on hardware. The path-following controller studied in this paper reflects a typical situation in nonlinear geometric controller, where multiple gains influence the dynamics through coupled nonlinear terms. Such interdependence makes manual tuning inefficient and unlikely to yield satisfactory performance within a practical number of trials. To address this challenge, we propose a Bayesian optimization (BO) framework that treats the closed-loop system as a black box and selects controller gains using a Gaussian-process surrogate. BO offers model-free exploration, quantified uncertainty, and data-efficient search, making it well suited for tuning tasks where each evaluation is costly. The framework is implemented on Honda's AI-Formula three-wheeled robot and assessed through repeated full-lap experiments on a fixed test track. The results show that BO improves controller performance within 32 trials, including 15 warm-start initial evaluations, indicating that it can efficiently locate high-performing regions of the parameter space under real-world conditions. These findings demonstrate that BO provides a practical, reliable, and data-efficient tuning approach for nonlinear path-following controllers on real robotic platforms.

cs.RO

Prototype-Based Learning for Healthcare: A Demonstration of Interpretable AI

Despite recent advances in machine learning and explainable AI, a gap remains in personalized preventive healthcare: predictions, interventions, and recommendations should be both understandable and verifiable for all stakeholders in the healthcare sector. We present a demonstration of how prototype-based learning can address these needs. Our proposed framework, ProtoPal, features both front- and back-end modes; it achieves superior quantitative performance while also providing an intuitive presentation of interventions and their simulated outcomes.

cs.LG

Duality invariance of Faltings heights, Hodge line bundles and global periods

We prove that an abelian variety and its dual over a global field have the same Faltings height and, more precisely, have isomorphic Hodge line bundles, including their natural metrized bundle structures. More carefully treating real places, we also show that these abelian varieties have the same real and global periods that appear in the Birch-Swinnerton-Dyer conjecture.

math.NT

Chai's conjectures on base change conductors

The base change conductor is an invariant introduced by Chai which measures the failure of a semiabelian variety to have semiabelian reduction. We investigate the behaviour of this invariant in short exact sequences, as well as under duality and isogeny. Our results imply Chai's conjecture on the additivity of the base change conductor in short exact sequences, while also showing that a proposed generalisation of this conjecture fails. We use similar methods to show that the base change conductor is invariant under duality of Abelian varieties in equal positive characteristic (answering a question of Chai), as well as giving a new short proof of a formula due to Chai, Yu, and de Shalit which expresses the base change conductor of a torus in terms of its (rational) cocharacter module.

math.NT

Constructible tori over Dedekind schemes

We introduce an exact category of torsion-free constructible tori and an abelian category of constructible tori over a Dedekind scheme with perfect residue fields. The first one has an explicit description as $2$-term complexes of smooth commutative group algebraic spaces. Using the second-named author's duality results arXiv:1806.07641, we prove that they are equivalent to the opposite of the categories of torsion-free $\mathbb{Z}$-constructible sheaves and all $\mathbb{Z}$-constructible sheaves, respectively. We then define $L$-functions for constructible tori over a Dedekind scheme proper over $\mathrm{Spec}(\mathbb{Z})$ in terms of their étale realizations and prove a special value formula at $s=0$ using the Weil-étale formalism developed by the first-named author in arXiv:2210.09102. This extends the results of the first-named author by removing the tame ramification hypothesis.

math.AG

Finiteness and cofiniteness of fine Selmer groups over function fields

We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of Coates--Sujatha. We further prove that the fine Selmer group is finite (respectively zero) if the separable $p$-primary torsion of the abelian variety is finite (respectively zero). These results are then generalized to certain ramified $p$-adic Lie extensions.

math.NT

Blow-up of solutions to the Keller-Segel model with tensorial flux in high dimensions

Over the course of the last decade, there has been a significant level of interest in the analysis of Keller-Segel models incorporating tensorial flux. Despite this interest, the question of whether finite-time blowup solutions exist remains a topic of ongoing research. Our study provides evidence that solutions of this nature are indeed possible in dimensions $n\geq3,$ when utilizing a tensorial flux expressed in the form of $A\nabla v$, where $A$ denotes a matrix with constant components

math.AP

Hadamard's variational formula for simple eigenvalues

We study Hadamard's variational formula for simple eigenvalues under dynamical and conformal deformations. Particularly, harmonic convexity of the first eigenvalue of the Laplacian under the mixed boundary condition is established for two-dimensional domain, which implies several new inequalities.

math.AP

Hadamard variation of eigenvalues with respect to general domain perturbations

We study Hadamard variation of eigenvalues of Laplacian with respect to general domain perturbations. We show their existence up to the second order rigorously and characterize the derivatives, using associated eigenvalue problems in finite dimensional spaces. Then smooth rearrangement of multiple eigenvalues is explicitly given. This result follows from an abstract theory, applicable to general perturbations of symmetric bilinear forms.

math.SP

The relatively perfect Greenberg transform and cycle class maps

Given a scheme over a complete discrete valuation ring of mixed characteristic with perfect residue field, the Greenberg transform produces a new scheme over the residue field thicker than the special fiber. In this paper, we will generalize this transform to the case of imperfect residue field. We will then construct a certain kind of cycle class map defined on this generalized Greenberg transform applied to the Néron model of a semi-abelian variety, which takes values in the relatively perfect nearby cycle functor defined by Kato and the second author.

math.NT

Class field theory, Hasse principles and Picard-Brauer duality for two-dimensional local rings

We draw concrete consequences from our arithmetic duality for two-dimensional local rings with perfect residue field. These consequences include class field theory, Hasse principles for coverings and $K_{2}$ and a duality between divisor class groups and Brauer groups. To obtain these, we analyze the ind-pro-algebraic group structures on arithmetic cohomology obtained earlier and prove some finiteness properties about them.

math.NT

Finite generation of nilpotent quotients of fundamental groups of punctured spectra

In SGA 2, Grothendieck conjectures that the étale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In this paper, we prove a weaker statement, namely that the maximal pro-nilpotent quotient of the fundamental group is topologically finitely generated. The proof uses $p$-adic nearby cycles and negative definiteness of intersection pairings over resolutions of singularities as well as some analysis of Lie algebras of certain algebraic group structures on deformation cohomology.

math.NT

Unique Itinerant Ferromagnetism in 4d-electron System Ca2RuO4

We have studied the magnetic properties of pressure-induced ferromagnet Ca2RuO4 to reveal the uniqueness of the 4d-electron ferromagnetism in the quasi-two-dimensional conductor. The magnetic parameters have been estimated from the paramagnetic susceptibility and the magnetisation process under pressure up to 2 GPa. The parameters can well be interpreted on the basis of the self-consistent renormalization theory of spin fluctuation for 3D-itinerant ferromagnet. Nevertheless, the metallic Ca2RuO4 shows quite strong anisotropy not only in the conductivity but also in the magnetisation process. Such the strong anisotropy is rare for an itinerant ferromagnet and is a unique characteristic of the 4d electron system Ca2RuO4.

cond-mat.str-el

Liouville's formulae and Hadamard variation with respect to general domain perturbations

We study Hadamard variations with respect to general domain perturbations, particularly for the Neumann boundary condition. They are derived from new Liouville's formulae concerning the transformation of volume and area integrals. Then, relations to several geometric quantities are discussed; differential forms and the second fundamental form on the boundary.

math.AP

Special values of L-functions of one-motives over function fields

The purpose of this paper is to give a formula for the leading coefficient at $s=1$ of the $L$-function of one-motives over function fields in terms of Weil-étale cohomology, generalizing the Weil-étale version of the Birch and Swinnerton-Dyer conjecture in the authors' previous work. As a consequence we express the Tamagawa number of a torus introduced by Ono-Oesterlé in terms of Weil-étale cohomology, and reprove their Tamagawa number formula.

math.NT