SearcharxivSearch

arXiv subjects

Taro Hayashi

Publications and source records attributed to Taro Hayashi.

14 recordsLinked to original sources

Boundary-Moment Universality and Curvature Corrections in Random Geometric Graphs on Riemannian Manifolds

Let $(M,g)$ be a smooth, closed, connected $d$-dimensional Riemannian manifold, and let $X_1,\ldots,X_n$ be i.i.d.\ with common law $f\,d\mathrm{vol}_g$, where $f\in C^4(M)$ is strictly positive. We derive a uniform intrinsic second-order expansion for symmetric three-vertex edge-indicator statistics supported on connected configurations, including the induced-path and triangle kernels. The second-order term separates density variation, normal-coordinate Jacobians, and the curvature-induced motion of the internal-chord boundary. Within this three-vertex connected symmetric class, a universal boundary--moment identity reduces the kernel-dependent contribution to a common intrinsic functional involving $\int_M f\|\grad f\|_g^2\,d\mathrm{vol}_g$ and $\int_M f^3\operatorname{Scal}_g\,d\mathrm{vol}_g$. For the normalized path--triangle contrast, the Euclidean leading term cancels. We construct a consistent estimator of this intrinsic functional and, in a denser bandwidth regime, we prove an exact-expectation-centered root-\(n\) central limit theorem via the first Hoeffding projection. For uniform sampling on a closed surface, the estimator consistently recovers the Euler characteristic. We also study the threshold radius at which the maximum degree of a binomial random geometric graph first reaches two. Using the active-triple intensity expansion and a dependency-graph Poisson approximation, we obtain the order-$n^{-3/d}$ correction to the log-survival law for $d>6$.

math.PR

Singular fibers of elliptic fibrations on normal $K3$ surfaces

We study singular fibers of elliptic fibrations on normal \(K3\) surfaces. For a normal \(K3\) surface \(Y\) with minimal resolution \(\nu \colon X \to Y\), we describe singular fibers on \(Y\) in terms of contractions of suitable ADE configurations of \((-2)\)-curves in singular fibers on \(X\). We determine ADE configurations occurring in singular fibers and describe fibers obtained after contraction. As a consequence, we obtain a description of singular fibers of elliptic fibrations on normal \(K3\) surfaces.

math.AG

Iwasawa-Type Spectral Resultant Growth Laws for Grover Walks on Graph Towers

Let $X_0\leftarrow X_1\leftarrow\cdots$ be a $\mathbb Z_p^d$-tower of finite graphs, and let $U_n$ be the Grover transition matrix on $X_n$. We study Iwasawa-type $p$-adic growth laws for the polynomial spectral quantities \[ \det P(U_n), \] where $P(A)$ is a monic polynomial. The basic object is the spectral resultant \[ \mathcal R_{X,P}(T)=\operatorname{Res}_A(\mathcal F_X(A,T),P(A)), \] where $\mathcal F_X(A,T)$ is the universal Grover--Ihara spectral polynomial of the tower. In the integral setting, this resultant generates the zeroth Fitting ideal of a natural finite module over the Iwasawa algebra; when the resultant is nonzero, this module is torsion. The polynomial $P$ packages prescribed spectral values into a single spectral packet. If $P$ is coprime to the Bass factor $A^2-1$ and $\mathcal R_{X,P}$ does not vanish at torsion characters, then $\det P(U_n)$ is nonzero for all $n$ and we prove a Cuoco--Monsky type leading asymptotic formula for $v_p(\det P(U_n))$. The leading terms are given explicitly by the $\mu$- and $\lambda$-invariants of $\mathcal R_{X,P}$, with a separate correction coming from the Bass factor. For $P(A)=A-a$, with $a\ne\pm1$ and $a$ not an eigenvalue at any level, this recovers the leading invariants in the fixed non-eigenvalue formula for Grover characteristic polynomials. We also prove an equivariant factorization of spectral resultants for finite connected $p$-group covers. As a consequence, we obtain an unramified equivariant Kida formula under explicit integrality and nonzero-resultant assumptions. Finally, when $\gcd(P,A^2-1)=1$, we show that torsion zeros of $\mathcal R_{X,P}$ correspond exactly to occurrences of roots of $P$ as Grover eigenvalues at finite levels. The examples include the $K_3$-tower, non-abelian Heisenberg $5$-group covers, and an explicit torsion-zero spectral packet.

math.NT

Automorphisms of Smooth Hypersurfaces with Fixed Loci of Codimension at Most Two

We study automorphisms of smooth hypersurfaces in projective space $\mathbb{P}^{n+1}$ whose fixed loci have codimension at most two for $n\geq2$. While classifications of possible orders of automorphisms are known, our aim is to explore the relationship between the order of an automorphism and its algebraic and geometric properties. In this paper, we show that the assumption on the fixed locus restricts the possible orders of automorphisms. Moreover, when the fixed locus has codimension at most two, we investigate the rationality of quotient spaces associated with automorphisms whose orders are multiples of $d-1$ or $d$, where $d$ denotes the degree of the hypersurface.

math.AG

Large orders of automorphisms of smooth curves in $\mathbb P^1\times \mathbb P^1$

For $a,b\geq 3$, we calculate the orders of automorphisms of smooth curves with bidegree $(a,b)$ in the product $\pp$ of the projective line $\mathbb P^1$. We identify smooth curves in $\pp$ which have automorphisms with the largest orders. In addition, we study the relationship between symmetry and geometric structure of curves. We provide a sufficient condition for the quotient space by an automorphism to be $\mathbb P^1$.

math.AG

Subgroups of the Projective Linear Group Realized by wild Galois Points

We work over an algebraically closed field of positive characteristic. This paper investigates linear representations of Galois groups arising from wild Galois points on projective hypersurfaces. We prove that these Galois groups lift to the general linear group and act naturally on vector spaces. Furthermore, we establish necessary and sufficient conditions for subgroups of the projective linear group to be realized as Galois groups of wild Galois points. In addition, we show that projections from wild Galois points on normal hypersurfaces are necessarily wildly ramified. We provide a geometric criterion for detecting wild ramification via the fixed loci of birational automorphisms, linking group-theoretic properties to the geometry of the hypersurface.

math.AG

Persistence of Galois property of hypersurfaces over algebraic integers across other characteristics

In this paper, we investigate hypersurfaces defined over a ring of algebraic integers, and show that if the projection from a point induces a Galois extension over either a number field or the residue field associated with a prime ideal satisfying certain conditions, then the Galois property persists under reduction modulo the residue field associated with all but finitely many such prime ideals. Furthermore, for quartic hypersurfaces, we provide necessary and sufficient conditions for the Galois group to be given by a projective linear group, depending on the characteristic of the base field.

math.AG

Cross-sectional shape analysis for risk assessment and prognosis of patients with true lumen narrowing after type-A aortic dissection surgery

Background: For acute type-A aortic dissection (ATAAD) surgery, early post-surgery assessment is crucially important for effective treatment plans, underscoring the need for a framework to identify the risk level of aortic dissection cases. We examined true-lumen narrowing during follow-up examinations, collected morphological data 14 days (early stages) after surgery, and assessed patient risk levels over 2.8 years. Purpose: To establish an implementable framework supported by mathematical techniques to predict the risk of aortic dissection patients experiencing true-lumen narrowing after ATAAD surgery. Materials and Methods: This retrospective study analyzed CT data from 21 ATAAD patients. Forty uniformly distributed cross-sectional shapes (CSSs) are derived from each lumen to account for gradual changes in shape. We introduced the form factor (FF) to assess CSS morphology. Linear discriminant analysis (LDA) is used for the risk classification of aortic dissection patients. Leave-one-patient-out cross-validation (LOPO-CV) is used for risk prediction. Results: For this investigation, we examined data of 21 ATAAD patients categorized into high-risk, medium-risk, and low-risk cases based on clinical observations of the range of true-lumen narrowing. Our risk classification machine-learning (ML) model preserving the model's generalizability. The model's predictions reliably identified low-risk patients, thereby potentially reducing hospital visits. It also demonstrated proficiency in accurately predicting the risk for all high-risk patients. Conclusion: The suggested method anticipates the risk linked to aortic enlargement in patients with a narrowing true lumen in the early stage following ATAAD surgery, thereby aiding follow-up doctors in enhancing patient care.

physics.med-ph

Finite abelian groups of K3 surfaces with smooth quotient

The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, we will study finite groups which act faithfully on $K3$ surfaces such that the quotient space are smooth. In particular, we will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian cover from a $K3$ surface to a Hirzebrunch surface such that the branch divisor is that effective divisor. Furthermore, we will decide the Galois group and give the way to construct that Abelian cover from an effective divisor on a Hirzebruch surface. Subsequently, we study the same theme for Enriques surfaces.

math.AG

Linear automorphisms of smooth hypersurfaces giving Galois points

Let $X$ be a smooth hypersurface $X$ of degree $d\geq4$ in a projective space $\mathbb P^{n+1}$. We consider a projection of $X$ from $p\in\mathbb P^{n+1}$ to a plane $H\cong\mathbb P^n$. This projection induces an extension of function fields $\mathbb C(X)/\mathbb C(\mathbb P^n)$. The point $p$ is called a Galois point if the extension is Galois. In this paper, we will give a necessary and sufficient conditions for $X$ to have Galois points by using linear automorphisms.

math.AG

Universal covering calabi-yau manifolds of the Hilbert schemes of n points of Enriques surfaces

Throughout this paper, we work over ${\mathbb C}$, and $n$ is an integer such that $n\geq 2$. For an Enriques surface $E$, let $E^{[n]}$ be the Hilbert scheme of $n$ points of $E$. By Oguiso and Schröer, $E^{[n]}$ has a Calabi-Yau manifold $X$ as the universal covering space, $π:X\rightarrow E^{[n]}$ of degree $2$. The purpose of this paper is to investigate a relationship of the small deformation of $E^{[n]}$ and that of $X$ $({\rm Theorem}\ 1.1)$, the natural automorphism of $E^{[n]}$ $({\rm Theorem}\,1.2)$, and count the number of isomorphism classes of the Hilbert schemes of $n$ points of Enriques surfaces which has $X$ as the universal covering space when we fix one $X$ $({\rm Theorem}\,1.3)$.

math.AG

Controlling phase separation of binary Bose-Einstein condensates via mixed-spin-channel Feshbach resonance

We investigate controlled phase separation of a binary Bose-Einstein condensate (BEC) in the proximity of mixed-spin-channel Feshbach resonance in the |F = 1, mF = +1> and |F = 2,mF = -1> states of 87Rb at a magnetic field of 9.10 G. Phase separation occurs on the lower magnetic-field side of the Feshbach resonance while the two components overlap on the higher magnetic-field side. The Feshbach resonance curve of the scattering length is obtained from the shape of the atomic cloud by comparison with the numerical analysis of coupled Gross-Pitaevskii equations.

cond-mat.quant-gas

Spin-dependent inelastic collisions in spin-2 Bose-Einstein condensates

We studied spin-dependent two-body inelastic collisions in F=2 87Rb Bose-Einstein condensates both experimentally and theoretically. The 87Rb condensates were confined in an optical trap and selectively prepared in various spin states in the F=2 manifold at a magnetic field of 3.0 G. Measured atom loss rates are found to depend on spin states of colliding atoms. We measured two fundamental loss coefficients for two-body inelastic collisions with the total spin of 0 and 2; the coefficients determine loss rates for all the spin pairs. The experimental results for mixtures of all the spin combinations are in good agreement with numerical solutions of the Gross-Pitaevskii equations that include the effect of a magnetic field gradient.

cond-mat.quant-gas