Showing 1–18 of 18 results for author: Kai, W

Equi-dimensionalization via subdivision of simplices

Authors: Wataru Kai

Abstract: We give an alternative proof of Suslin's equi-dimensionalization moving lemma, using a different geometric construction. The new construction provides better control of the degrees of the polynomials used to define endomorphisms of schemes along which algebraic cycles are pulled back. When applied to algebraic cycles with modulus, the new degree bound improves an earlier result of Hiroyasu Miyaz… ▽ More We give an alternative proof of Suslin's equi-dimensionalization moving lemma, using a different geometric construction. The new construction provides better control of the degrees of the polynomials used to define endomorphisms of schemes along which algebraic cycles are pulled back. When applied to algebraic cycles with modulus, the new degree bound improves an earlier result of Hiroyasu Miyazaki and the present author so that we do not need to take the limit over the thickenings of the given divisor anymore. △ Less

Submitted 4 April, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: v2: typos corrected. 20 pages, 3 figures

MSC Class: 14C25 (Primary) 14C15; 14F42; 19E45 (Secondary)

Deep Reinforcement Learning-Based Battery Conditioning Hierarchical V2G Coordination for Multi-Stakeholder Benefits

Authors: Yubao Zhang, Xin Chen, Yi Gu, Zhicheng Li, Wu Kai

Abstract: With the growing prevalence of electric vehicles (EVs) and advancements in EV electronics, vehicle-to-grid (V2G) techniques and large-scale scheduling strategies have emerged to promote renewable energy utilization and power grid stability. This study proposes a multi-stakeholder hierarchical V2G coordination based on deep reinforcement learning (DRL) and the Proof of Stake algorithm. Furthermore,… ▽ More With the growing prevalence of electric vehicles (EVs) and advancements in EV electronics, vehicle-to-grid (V2G) techniques and large-scale scheduling strategies have emerged to promote renewable energy utilization and power grid stability. This study proposes a multi-stakeholder hierarchical V2G coordination based on deep reinforcement learning (DRL) and the Proof of Stake algorithm. Furthermore, the multi-stakeholders include the power grid, EV aggregators (EVAs), and users, and the proposed strategy can achieve multi-stakeholder benefits. On the grid side, load fluctuations and renewable energy consumption are considered, while on the EVA side, energy constraints and charging costs are considered. The three critical battery conditioning parameters of battery SOX are considered on the user side, including state of charge, state of power, and state of health. Compared with four typical baselines, the multi-stakeholder hierarchical coordination strategy can enhance renewable energy consumption, mitigate load fluctuations, meet the energy demands of EVA, and reduce charging costs and battery degradation under realistic operating conditions. △ Less

Submitted 31 July, 2023; originally announced August 2023.

Linear patterns of prime elements in number fields

Authors: Wataru Kai

Abstract: We prove that the von Mangoldt function of a number field $K$ is well approximated by its Cramer/Siegel models in the Gowers norm sense. Via the inverse theory of Gowers norms, this is achieved by showing that the difference of the von Mangoldt function and its model is asymptotically orthogonal to nilsequences. To prove the asymptotic orthogonality, we use Mitsui's Prime Number Theorem as the bas… ▽ More We prove that the von Mangoldt function of a number field $K$ is well approximated by its Cramer/Siegel models in the Gowers norm sense. Via the inverse theory of Gowers norms, this is achieved by showing that the difference of the von Mangoldt function and its model is asymptotically orthogonal to nilsequences. To prove the asymptotic orthogonality, we use Mitsui's Prime Number Theorem as the base case and proceed by upgrading Green--Tao's type I/II computation to the general number field. As an application, we prove a number field analog of the Green--Tao--Ziegler theorem on simultaneous prime values of affine-linear forms of finite complexity. This in turn can be used to prove a Hasse principle result for certain fibrations $X\to \mathbb{P}^1$ over a number field $K$ extending a result of Harpaz--Skorobogatov--Wittenberg which was only available over $\mathbb Q$. △ Less

Submitted 26 December, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: Application to rational points added, Introduction rewritten, 110 pages

Notes on Mitsui's Prime Number Theorem with Siegel zeros

Authors: Wataru Kai

Abstract: In these notes, we refine Mitsui's Prime Number Theorem from 1957, which for a number field $K$ predicts how many prime elements there are in bounded convex sets in $K \otimes_{\mathbf Q} \mathbf R$, by incorporating potential Siegel zeros of Hecke L-functions. This allows the norm of the modulus $\mathbf N (\mathfrak q) $ to grow at a pseudopolynomial rate with respect to the size $X$ of the conv… ▽ More In these notes, we refine Mitsui's Prime Number Theorem from 1957, which for a number field $K$ predicts how many prime elements there are in bounded convex sets in $K \otimes_{\mathbf Q} \mathbf R$, by incorporating potential Siegel zeros of Hecke L-functions. This allows the norm of the modulus $\mathbf N (\mathfrak q) $ to grow at a pseudopolynomial rate with respect to the size $X$ of the convex set as opposed to powers of $\log X$. The extra flexibility and precision will be essential in our future application to the study of linear patterns of prime elements. We also hope that our updated exposition will make Mitsui's work accessible to a wider mathematical audience. △ Less

Submitted 26 July, 2023; v1 submitted 23 September, 2022; originally announced September 2022.

Comments: Annual maintenance. Some boring explanations of conventions are now in appendices. 30 pages, 3 figures

MSC Class: 11R45; 11N32

Unramified logarithmic Hodge-Witt cohomology and $\mathbb{P}^1$-invariance

Authors: Wataru Kai, Shusuke Otabe, Takao Yamazaki

Abstract: Let $X$ be a smooth proper variety over a field $k$ and suppose that the degree map $\mathrm{CH}_0(X \otimes_k K) \to \mathbb{Z}$ is isomorphic for any field extension $K/k$. We show that $G(\mathrm{Spec} k) \to G(X)$ is an isomorphism for any $\mathbb{P}^1$-invariant Nisnevich sheaf with transfers $G$. This generalize a result of Binda-Rülling-Saito that proves the same conclusion for reciprocity… ▽ More Let $X$ be a smooth proper variety over a field $k$ and suppose that the degree map $\mathrm{CH}_0(X \otimes_k K) \to \mathbb{Z}$ is isomorphic for any field extension $K/k$. We show that $G(\mathrm{Spec} k) \to G(X)$ is an isomorphism for any $\mathbb{P}^1$-invariant Nisnevich sheaf with transfers $G$. This generalize a result of Binda-Rülling-Saito that proves the same conclusion for reciprocity sheaves. We also give a direct proof of the fact that the unramified logarithmic Hodge-Witt cohomology is a $\mathbb{P}^1$-invariant Nisnevich sheaf with transfers. △ Less

Submitted 8 September, 2021; v1 submitted 16 May, 2021; originally announced May 2021.

Comments: 19 pages. The introduction and the proof of Proposition 6.1 are largely modified

MSC Class: 14C15; 14M20

The Green-Tao theorem for affine curves over F_q

Authors: Wataru Kai

Abstract: Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by Lê for the polynomial rings over finite fields. In 2020 this was extented to orders of arbitrary number fields by Kai-Mimura-Munemasa-Seki-Yoshino. We settle the case of the coordinat… ▽ More Green and Tao famously proved in a 2008 paper that there are arithmetic progressions of prime numbers of arbitrary lengths. Soon after, analogous statements were proved by Tao for the ring of Gaussian integers and by Lê for the polynomial rings over finite fields. In 2020 this was extented to orders of arbitrary number fields by Kai-Mimura-Munemasa-Seki-Yoshino. We settle the case of the coordinate rings of affine curves over finite fields. The main contribution of this paper is subtle choice of a polynomial subring of the given ring which plays the role of $\mathbb Z$ in the number field case. This choice and the proof of its pleasant properties eventually depend on the Riemann-Roch formula. △ Less

Submitted 9 April, 2022; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: Minor corrections. 31 pages

MSC Class: 11P32; 11G20; 14H05; 05C55

Constellations in prime elements of number fields

Authors: Wataru Kai, Masato Mimura, Akihiro Munemasa, Shin-ichiro Seki, Kiyoto Yoshino

Abstract: Given any number field, we prove that there exist arbitrarily shaped constellations consisting of pairwise non-associate prime elements of the ring of integers. This result extends the celebrated Green-Tao theorem on arithmetic progressions of rational primes and Tao's theorem on constellations of Gaussian primes. Furthermore, we prove a constellation theorem on prime representations of binary qua… ▽ More Given any number field, we prove that there exist arbitrarily shaped constellations consisting of pairwise non-associate prime elements of the ring of integers. This result extends the celebrated Green-Tao theorem on arithmetic progressions of rational primes and Tao's theorem on constellations of Gaussian primes. Furthermore, we prove a constellation theorem on prime representations of binary quadratic forms with integer coefficients. More precisely, for a non-degenerate primitive binary quadratic form $F$ which is not negative definite, there exist arbitrarily shaped constellations consisting of pairs of integers $(x,y)$ for which $F(x,y)$ is a rational prime. The latter theorem is obtained by extending the framework from the ring of integers to the pair of an order and its invertible fractional ideal. △ Less

Submitted 4 April, 2022; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: Minor revision (v2), explanations brushed up, 149 pages, 4 figures

MSC Class: 11B30 (Primary) 11B25; 11H55; 11N05; 11R04; 05C55 (Secondary)

Real-time Exciton-Manipulation of Plexcitonic Coupling in a WS2-Ag nanocavity

Authors: Han Xiaobo, Wang Kai, Jiang Yanan, Xing Xiangyuan, Li Shujin, Li Fang, Liu Weiwei, Wang Bing, Lu Peixiang

Abstract: We demonstrate the real-time exciton-manipulation of plexcitonic coupling in monolayer WS2 coupled to a plasmonic nanocavity by immersing into a mixed solution of dichloromethane (DCM) and ethanol. By adjusting the mixture ratio, a continuous tuning of the Rabi splitting energy ranged from 178 meV (in ethanol) to 266 meV (in DCM) is achieved. The results are mainly attributed to the remarkable inc… ▽ More We demonstrate the real-time exciton-manipulation of plexcitonic coupling in monolayer WS2 coupled to a plasmonic nanocavity by immersing into a mixed solution of dichloromethane (DCM) and ethanol. By adjusting the mixture ratio, a continuous tuning of the Rabi splitting energy ranged from 178 meV (in ethanol) to 266 meV (in DCM) is achieved. The results are mainly attributed to the remarkable increase of the proportion of neutral exciton in the monolayer WS2 (from 59% to 100%) as the concentration of DCM is increased. It offers an important stepping stone towards a further study of plexcitonic coupling in layered materials, along with potential applications in quantum information processing and nonlinear optical materials. △ Less

Submitted 23 February, 2020; originally announced February 2020.

Comments: 5 pages, 4 figures

Entropy numbers of weighted Sobolev classes on the unit sphere

Authors: Heping Wang, Wang Kai

Abstract: We obtain the asymptotic orders of entropy numbers of Sobolev classes on the unit sphere with Dunkl weight which associates with the finite reflection group. Moreover, the asymptotic order of entropy numbers of weighted Sobolev classes on the unit ball and on the standard simplex are discussed. We obtain the asymptotic orders of entropy numbers of Sobolev classes on the unit sphere with Dunkl weight which associates with the finite reflection group. Moreover, the asymptotic order of entropy numbers of weighted Sobolev classes on the unit ball and on the standard simplex are discussed. △ Less

Submitted 21 February, 2021; v1 submitted 7 December, 2019; originally announced December 2019.

Comments: 25 pages

MSC Class: 41A25; 41A46

Isomorphisms up to bounded torsion between relative $K_0$-groups and Chow groups with modulus

Authors: Ryomei Iwasa, Wataru Kai

Abstract: In this note, we establish isomorphisms up to bounded torsion between relative $K_0$-groups and Chow groups with modulus as defined by Binda-Saito. In this note, we establish isomorphisms up to bounded torsion between relative $K_0$-groups and Chow groups with modulus as defined by Binda-Saito. △ Less

Submitted 12 November, 2018; originally announced November 2018.

Comments: 15pages

Chern classes with modulus

Authors: Ryomei Iwasa, Wataru Kai

Abstract: In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda-Saito. An application to relative motivic cohomology of henselian dvr is given. In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda-Saito. An application to relative motivic cohomology of henselian dvr is given. △ Less

Submitted 14 November, 2019; v1 submitted 23 November, 2016; originally announced November 2016.

Comments: Compatible numbering (sections, theorems, equations) with the published version. The content unchanged. 36 pages

MSC Class: 19D10; 14C35

Journal ref: Nagoya Math. J., 236 (2019), 84-133

Suslin's moving lemma with modulus

Authors: Wataru Kai, Hiroyasu Miyazaki

Abstract: The moving lemma of Suslin states that a cycle on $X\times \mathbb{A} ^n$ meeting all faces properly can be moved so that it becomes equidimensional over $\mathbb{A}^n$. This leads to an isomorphism of motivic Borel-Moore homology and higher Chow groups. In this short paper we formulate and prove a variant of this. It leads to an isomorphism of Suslin homology with modulus and higher Chow groups… ▽ More The moving lemma of Suslin states that a cycle on $X\times \mathbb{A} ^n$ meeting all faces properly can be moved so that it becomes equidimensional over $\mathbb{A}^n$. This leads to an isomorphism of motivic Borel-Moore homology and higher Chow groups. In this short paper we formulate and prove a variant of this. It leads to an isomorphism of Suslin homology with modulus and higher Chow groups with modulus, in an appropriate pro setting. △ Less

Submitted 15 April, 2016; originally announced April 2016.

Comments: 13 pages

MSC Class: 14F43 (Primary); 14C15; 14C25; 14F42; 19E15 (Secondary)

Journal ref: Ann. K-Th. 3 (2018) 55-70

A higher dimensional generalization of Lichtenbaum duality in terms of the Albanese map

Authors: Wataru Kai

Abstract: We present a conjectural formula describing the cokernel of the Albanese map of zero-cycles of smooth projective varieties $X$ over $p$-adic fields in terms of the Néron-Severi group and provide a proof under additional assumptions on an integral model of $X$. The proof depends on a non-degeneracy result of Brauer-Manin pairing due to Saito-Sato and on Gabber-de Jong's comparison result of cohomol… ▽ More We present a conjectural formula describing the cokernel of the Albanese map of zero-cycles of smooth projective varieties $X$ over $p$-adic fields in terms of the Néron-Severi group and provide a proof under additional assumptions on an integral model of $X$. The proof depends on a non-degeneracy result of Brauer-Manin pairing due to Saito-Sato and on Gabber-de Jong's comparison result of cohomological- and Azumaya-Brauer groups. We will also mention the local-global problem of the Albanese-cokernel; the abelian group on the "local side" turns out to be a finite group. △ Less

Submitted 27 April, 2016; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 20 pages, to appear in Compositio Mathematica

MSC Class: 14F22; 14G20

Journal ref: Compositio Math. 152 (2016) 1915-1934

A low-complexity 2D signal space diversity solution for future broadcasting systems

Authors: Jianxiao Yang, Wan Kai, Benoit Geller, Charbel Abdel Nour, Olivier Rioul, Catherine Douillard

Abstract: -DVB-T2 was the first industrial standard deploying rotated and cyclic Q delayed (RCQD)modulation to improve performance over fading channels. This enablesimportantgains compared toconventional quadrature amplitude modulations(QAM) under severe channel conditions.However, the corresponding demodulation complexitystill prevents its use forwider applications. This paper proposes several rotation ang… ▽ More -DVB-T2 was the first industrial standard deploying rotated and cyclic Q delayed (RCQD)modulation to improve performance over fading channels. This enablesimportantgains compared toconventional quadrature amplitude modulations(QAM) under severe channel conditions.However, the corresponding demodulation complexitystill prevents its use forwider applications. This paper proposes several rotation angles for different QAM constellations anda corresponding low-complexity detection method. Results show that the proposed solution simplifies both the transmitter and the receiver with often betterperformancethan the proposed angles in DVB-T2. Compared with the lowest complexity demappers currently used in DVB-T2, the proposed solution achieves an additional reduction bymore than 60%. Index Terms- DVB-T2, Rotated and Cyclic Q Delayed (RCQD) Modulations, Signal Space Diversity (SSD), Fading Channel, Quadrature Amplitude Modulations (QAM), Max-Log, ComputationalComplexity. △ Less

Submitted 4 November, 2015; originally announced November 2015.

A moving lemma for algebraic cycles with modulus and contravariance

Authors: Wataru Kai

Abstract: We prove a moving lemma which implies the contravariance of Bloch-Esnault's additive higher Chow group in smooth affine varieties and Binda-Saito's higher Chow group (taken in the Nisnevich topology) in smooth varieties equipped with effective Cartier divisors. The new ingredients in the moving method are parallel translation {\em with modulus} in the affine space that involves a new integer param… ▽ More We prove a moving lemma which implies the contravariance of Bloch-Esnault's additive higher Chow group in smooth affine varieties and Binda-Saito's higher Chow group (taken in the Nisnevich topology) in smooth varieties equipped with effective Cartier divisors. The new ingredients in the moving method are parallel translation {\em with modulus} in the affine space that involves a new integer parameter, and Noether's normalization lemma over a Dedekind base. △ Less

Submitted 19 May, 2018; v1 submitted 27 July, 2015; originally announced July 2015.

Comments: v4: 39 pages. Rewritten for submission for publication

MSC Class: 14C25; 19E15

Precise Determination of the Crystallographic Orientations in Single ZnS Nanowires by Second-Harmonic Generation Microscopy

Authors: Hu Hongbo, Wang Kai, Long Hua, Liu Weiwei, Wang Bing, Lu Peixiang

Abstract: We report on the systematical study of the second-harmonic generation (SHG) in single zinc sulfide nanowires (ZnS NWs). The high quality ZnS NWs with round cross-section were fabricated by chemical vapor deposition method. The transmission electron microscopy images show that the actual growth-axis has a deviation angle of 0o~20o with the preferential growth direction [120], which leads to the var… ▽ More We report on the systematical study of the second-harmonic generation (SHG) in single zinc sulfide nanowires (ZnS NWs). The high quality ZnS NWs with round cross-section were fabricated by chemical vapor deposition method. The transmission electron microscopy images show that the actual growth-axis has a deviation angle of 0o~20o with the preferential growth direction [120], which leads to the various polarization-dependent SHG response patterns in different individual ZnS NWs. The SHG response is quite sensitive to the orientations of c-axis as well as the (100) and (010) crystal-axis of ZnS NWs, thus all the three crystal-axis orientations of ZnS NWs are precisely determined by the SHG method. A high SHG conversion efficiency of 7*10^(-6) is obtained in single ZnS NWs, which shows potential applications in nanoscale ultraviolet light source, nonlinear optical microscopy and nanophotonic devices. △ Less

Submitted 17 April, 2015; v1 submitted 30 March, 2015; originally announced March 2015.

Comments: 19 pages, 5 figures

Torsion and divisibility for reciprocity sheaves and 0-cycles with modulus

Authors: Federico Binda, Jin Cao, Wataru Kai, Rin Sugiyama

Abstract: The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, Rülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over… ▽ More The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, Rülling, Krishna-Levine. Recently, Kerz-Saito introduced a notion of Chow group of $0$-cycles with modulus in connection with geometric class field theory with wild ramification for varieties over finite fields. We study the non-homotopy invariant part of the Chow group of $0$-cycles with modulus and show their torsion and divisibility properties. Modulus is being brought to sheaf theory by Kahn-Saito-Yamazaki in their attempt to construct a generalization of Voevodsky-Suslin-Friedlander's theory of homotopy invariant presheaves with transfers. We prove parallel results about torsion and divisibility properties for them. △ Less

Submitted 23 May, 2016; v1 submitted 7 March, 2015; originally announced March 2015.

Comments: 15 pages, exposition improved

MSC Class: 14C25

Notes on a p-adic exponential map for the Picard group

Authors: Wataru Kai

Abstract: Part of these notes was written as the author's 2013 master thesis. For proper flat schemes over a complete discrete valuation ring of mixed characteristic, we construct an isomorphism of certain subgroups of the Picard group and the first cohomology group of the structure sheaf. When the Picard scheme is available and smooth, it recovers the isomorphism coming from its formal completion. A reinte… ▽ More Part of these notes was written as the author's 2013 master thesis. For proper flat schemes over a complete discrete valuation ring of mixed characteristic, we construct an isomorphism of certain subgroups of the Picard group and the first cohomology group of the structure sheaf. When the Picard scheme is available and smooth, it recovers the isomorphism coming from its formal completion. A reinterpretation of an old theorem of Mattuck is given. △ Less

Submitted 26 January, 2017; v1 submitted 24 September, 2013; originally announced September 2013.

Comments: v2: exposition improved. 14 pages

MSC Class: 14C22