Zobrazeno 1 - 10
of 12 419
pro vyhledávání: '"Shin YA"'
Proving compositionality of behavioral equivalence on state-based systems with respect to algebraic operations is a classical and widely studied problem. We study a categorical formulation of this problem, where operations on state-based systems mode
Externí odkaz:
http://arxiv.org/abs/2404.08308
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12288
Categorical semantics of type theories are often characterized as structure-preserving functors. This is because in category theory both the syntax and the domain of interpretation are uniformly treated as structured categories, so that we can expres
Externí odkaz:
http://arxiv.org/abs/2309.08822
Autor:
Kaneko, Ikuya, Koyama, Shin-ya
This work proves the quantum unique ergodicity conjecture for Eisenstein series over function fields in the level aspect. Following the notion of Luo-Sarnak (1995), we utilise the spectral decomposition and handle the cuspidal and Eisenstein contribu
Externí odkaz:
http://arxiv.org/abs/2303.09327
In this paper, we study sum formulas for Schur multiple zeta values and give a generalization of the sum formulas for multiple zeta(-star) values. We show that for ribbons of certain types, the sum over all admissible Young tableaux of this shape eva
Externí odkaz:
http://arxiv.org/abs/2302.03187
Autor:
Shimizu, Yuji1,2 (AUTHOR) simizu@iph.osaka.jp, Kawashiri, Shin-Ya3,4 (AUTHOR), Yamanashi, Hirotomo1,4 (AUTHOR), Nakamichi, Seiko1 (AUTHOR), Hayashida, Naomi4,5 (AUTHOR), Nagata, Yasuhiro3,4 (AUTHOR), Maeda, Takahiro1,4,6 (AUTHOR)
Publikováno v:
Scientific Reports. 9/20/2024, Vol. 14 Issue 1, p1-8. 8p.
Autor:
Nitta, Shin-ya, Kondoh, Koji
The spontaneous evolution of magnetic reconnection in generalized situations (with thermodynamic asymmetry regarding the current sheet and magnetic shear) is investigated using two-dimensional magnetohydrodynamic simulation. We focus on the asymptoti
Externí odkaz:
http://arxiv.org/abs/2206.07205
Autor:
Sato, Tetsuya, Katsumata, Shin-ya
Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computational effects. Towards a general framework for such logics, in this pa
Externí odkaz:
http://arxiv.org/abs/2206.05716
Autor:
Kaneko, Ikuya, Koyama, Shin-ya
Publikováno v:
Proceedings of the American Mathematical Society, 151:12 (2023), 5059-5068
This work considers the prime number races for non-constant elliptic curves $E$ over function fields. We prove that if $\mathrm{rank}(E) > 0$, then there exist Chebyshev biases towards being negative, and otherwise there exist Chebyshev biases toward
Externí odkaz:
http://arxiv.org/abs/2206.05445
We explicate the deep Riemann hypothesis for the general linear group $\mathrm{GL}_{n}$ on the convergence of normalised Euler products of standard $L$-functions on the critical line. It conditionally improves upon the error term in the prime number
Externí odkaz:
http://arxiv.org/abs/2206.02612