-
MaterialBENCH: Evaluating College-Level Materials Science Problem-Solving Abilities of Large Language Models
Authors:
Michiko Yoshitake,
Yuta Suzuki,
Ryo Igarashi,
Yoshitaka Ushiku,
Keisuke Nagato
Abstract:
A college-level benchmark dataset for large language models (LLMs) in the materials science field, MaterialBENCH, is constructed. This dataset consists of problem-answer pairs, based on university textbooks. There are two types of problems: one is the free-response answer type, and the other is the multiple-choice type. Multiple-choice problems are constructed by adding three incorrect answers as…
▽ More
A college-level benchmark dataset for large language models (LLMs) in the materials science field, MaterialBENCH, is constructed. This dataset consists of problem-answer pairs, based on university textbooks. There are two types of problems: one is the free-response answer type, and the other is the multiple-choice type. Multiple-choice problems are constructed by adding three incorrect answers as choices to a correct answer, so that LLMs can choose one of the four as a response. Most of the problems for free-response answer and multiple-choice types overlap except for the format of the answers. We also conduct experiments using the MaterialBENCH on LLMs, including ChatGPT-3.5, ChatGPT-4, Bard (at the time of the experiments), and GPT-3.5 and GPT-4 with the OpenAI API. The differences and similarities in the performance of LLMs measured by the MaterialBENCH are analyzed and discussed. Performance differences between the free-response type and multiple-choice type in the same models and the influence of using system massages on multiple-choice problems are also studied. We anticipate that MaterialBENCH will encourage further developments of LLMs in reasoning abilities to solve more complicated problems and eventually contribute to materials research and discovery.
△ Less
Submitted 4 September, 2024;
originally announced September 2024.
-
Type-Based Verification of Connectivity Constraints in Lattice Surgery
Authors:
Ryo Wakizaka,
Yasunari Suzuki,
Atsushi Igarashi
Abstract:
Fault-tolerant quantum computation using lattice surgery can be abstracted as operations on graphs, wherein each logical qubit corresponds to a vertex of the graph, and multi-qubit measurements are accomplished by connecting the vertices with paths between them. Operations attempting to connect vertices without a valid path will result in abnormal termination. As the permissible paths may evolve d…
▽ More
Fault-tolerant quantum computation using lattice surgery can be abstracted as operations on graphs, wherein each logical qubit corresponds to a vertex of the graph, and multi-qubit measurements are accomplished by connecting the vertices with paths between them. Operations attempting to connect vertices without a valid path will result in abnormal termination. As the permissible paths may evolve during execution, it is necessary to statically verify that the execution of a quantum program can be completed.
This paper introduces a type-based method to statically verify that well-typed programs can be executed without encountering halts induced by surgery operations. Alongside, we present $\mathcal{Q}_{LS}$, a first-order quantum programming language to formalize the execution model of surgery operations. Furthermore, we provide a type checking algorithm by reducing the type checking problem to the offline dynamic connectivity problem.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
Chirality-dependent spin polarization in diffusive metals: linear and quadratic responses
Authors:
Yusuke Kato,
Yuta Suzuki,
Takuro Sato,
Hiroshi M. Yamamoto,
Yoshihiko Togawa,
Hiroaki Kusunose,
Jun-ichiro Kishine
Abstract:
We study spin polarization induced by electric fields in an isotropic chiral metal with boundaries using the Boltzmann formalism. We calculate both spin polarization in bulk in the linear response and antiparallel spin polarization near the boundary in the quadratic response against electric fields. We also work out spin polarization induced by the fluctuating electric fields, i.e., noises. Based…
▽ More
We study spin polarization induced by electric fields in an isotropic chiral metal with boundaries using the Boltzmann formalism. We calculate both spin polarization in bulk in the linear response and antiparallel spin polarization near the boundary in the quadratic response against electric fields. We also work out spin polarization induced by the fluctuating electric fields, i.e., noises. Based on these results, we address chirality-induced spin selectivity (CISS) without biased inputs, CISS at room temperature, and the enantio-selective interaction between chiral materials and a magnetic substrate.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Environments around quasars at $z\sim$3 revealed by wide-field imaging with Subaru HSC and CFHT
Authors:
Yuta Suzuki,
Hisakazu Uchiyama,
Yoshiki Matsuoka,
Jun Toshikawa,
Stephen Gwyn,
Masatoshi Imanishi,
Chengze Liu,
Akatoki Noboriguchi,
Marcin Sawicki,
Yoshiki Toba
Abstract:
We examine the local density environments around 67 quasars at $z\sim3$, by combining the imaging data of Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) and Canada-France-Hawaii Telescope Large Area U-band Survey (CLAUDS) over about 20 deg$^{2}$. Our measurements exploit $U$-dropout galaxies in the vicinities of quasars taken from Sloan Digital Sky Survey (SDSS). We find that the quasars hav…
▽ More
We examine the local density environments around 67 quasars at $z\sim3$, by combining the imaging data of Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) and Canada-France-Hawaii Telescope Large Area U-band Survey (CLAUDS) over about 20 deg$^{2}$. Our measurements exploit $U$-dropout galaxies in the vicinities of quasars taken from Sloan Digital Sky Survey (SDSS). We find that the quasars have the indistinguishable surrounding density distribution from the $U$-dropout galaxies, and that three quasars are associated with protocluster candidates within a projected separation of 3 arcmin. According to a halo evolutionary model, our results suggest that quasars at this epoch occupy haloes with a typical mass of $1.3^{+1.4}_{-0.9} \times 10^{13} h^{-1} \mathrm{M_{\odot}}$. We also investigate the dependence of the local galaxy overdensity on ultraviolet (UV) luminosities, black hole (BH) masses, and proximity zone sizes of the quasars, but no statistically-significant correlation was found. Finally, we find that the local density of faint $U$-dropout galaxies are lower than that of bright $U$-dropout galaxies within a projected distance of $0.51\pm0.05$ physical Mpc, where the quasar UV radiation is 30 times intenser than backgroung UV radiation. We argue that photoevaporation may suppress galaxy formation at short distances where the quasar UV intensity is strong, even in massive haloes.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Diffraction modelling of a 2023 March 5 stellar occultation by subkilometer-sized asteroid (98943) 2001 CC21
Authors:
Ko Arimatsu,
Fumi Yoshida,
Tsutomu Hayamizu,
Miyoshi Ida,
George L Hashimoto,
Takashi Abe,
Hiroshi Akitaya,
Akari Aratani,
Hidekazu Fukuda,
Yasuhide Fujita,
Takao Fujiwara,
Toshihiro Horikawa,
Tamio Iihoshi,
Kazuyoshi Imamura,
Ryo Imazawa,
Hisashi Kasebe,
Ryosuke Kawasaki,
Hiroshi Kishimoto,
Kazuhisa Mishima,
Machiko Miyachi,
Masanori Mizutani,
Maya Nakajima,
Hiroyoshi Nakatani,
Kazuhiko Okamura,
Misaki Okanobu
, et al. (9 additional authors not shown)
Abstract:
We present an analysis of a stellar occultation event caused by a near-Earth asteroid (98943) 2001 CC21, an upcoming flyby target in the Hayabusa2 extended mission, on March 5, 2023. To accurately determine the asteroid's shape from diffraction-affected light curves, we developed a novel data reduction technique named the Diffracted Occultation's United Simulator for Highly Informative Transient E…
▽ More
We present an analysis of a stellar occultation event caused by a near-Earth asteroid (98943) 2001 CC21, an upcoming flyby target in the Hayabusa2 extended mission, on March 5, 2023. To accurately determine the asteroid's shape from diffraction-affected light curves, we developed a novel data reduction technique named the Diffracted Occultation's United Simulator for Highly Informative Transient Explorations (DOUSHITE). Using DOUSHITE-generated synthetic models, we derived constraints on (98943) 2001 CC21's shadow shape from the single-chord occultation data. Our results suggest a significant elongation of the shadow with an axis ratio of $b/a = 0.37\pm0.09$. This shape can be crucial for planning Hayabusa2's high-speed flyby to optimise the limited imaging opportunities.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Möbius-Transformed Trapezoidal Rule
Authors:
Yuya Suzuki,
Nuutti Hyvönen,
Toni Karvonen
Abstract:
We study numerical integration by combining the trapezoidal rule with a Möbius transformation that maps the unit circle onto the real line. We prove that the resulting transformed trapezoidal rule attains the optimal rate of convergence if the integrand function lives in a weighted Sobolev space with a weight that is only assumed to be a positive Schwartz function decaying monotonically to zero cl…
▽ More
We study numerical integration by combining the trapezoidal rule with a Möbius transformation that maps the unit circle onto the real line. We prove that the resulting transformed trapezoidal rule attains the optimal rate of convergence if the integrand function lives in a weighted Sobolev space with a weight that is only assumed to be a positive Schwartz function decaying monotonically to zero close to infinity. Our algorithm only requires the ability to evaluate the weight at the selected nodes, and it does not require sampling from a probability measure defined by the weight nor information on its derivatives. In particular, we show that the Möbius transformation, as a change of variables between the real line and the unit circle, sends a function in the weighted Sobolev space to a periodic Sobolev space with the same smoothness. Since there are various results available for integrating and approximating periodic functions, we also describe several extensions of the Möbius-transformed trapezoidal rule, including function approximation via trigonometric interpolation, integration with randomized algorithms, and multivariate integration.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Relative leftmost path principles and omega-model reflections of transfinite inductions
Authors:
Yudai Suzuki
Abstract:
In this paper, we show that the omega-model reflection of $Π^1_{n+1}$ transfinite induction is equivalent to Towsner's $Σ^0_n$ relative leftmost path principle $Σ^0_n\mathsf{LPP}$ over $\mathsf{RCA}_0$ for $n > 1$. As a consequence, we have that $Σ^0_{n+1}\mathsf{LPP}$ is strictly stronger than $Σ^0_{n}\mathsf{LPP}$.
In this paper, we show that the omega-model reflection of $Π^1_{n+1}$ transfinite induction is equivalent to Towsner's $Σ^0_n$ relative leftmost path principle $Σ^0_n\mathsf{LPP}$ over $\mathsf{RCA}_0$ for $n > 1$. As a consequence, we have that $Σ^0_{n+1}\mathsf{LPP}$ is strictly stronger than $Σ^0_{n}\mathsf{LPP}$.
△ Less
Submitted 18 July, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
MagicPool: Dealing with Magic State Distillation Failures on Large-Scale Fault-Tolerant Quantum Computer
Authors:
Yutaka Hirano,
Yasunari Suzuki,
Keisuke Fujii
Abstract:
Magic state distillation, which is a probabilistic process used to generate magic states, plays an important role in universal fault-tolerant quantum computers. On the other hand, to solve interesting problems, we need to run complex programs on fault-tolerant quantum computers, and hence, the system needs to use hardware resources efficiently. Taking advantage of parallelism is a major optimizati…
▽ More
Magic state distillation, which is a probabilistic process used to generate magic states, plays an important role in universal fault-tolerant quantum computers. On the other hand, to solve interesting problems, we need to run complex programs on fault-tolerant quantum computers, and hence, the system needs to use hardware resources efficiently. Taking advantage of parallelism is a major optimization strategy and compilers are responsible for performing optimizations to allow parallel processing. However, the probabilistic nature of magic state distillation is not compatible with compile-time optimizations and results in an additional run-time delay. To reduce the additional run-time delay, we propose introducing a pool of magic states. We run simulations of quantum circuits to verify the magnitude of the run-time delay and the usefulness of the mitigation approach. The experimental results show that the run-time delay is amplified by parallel processing, and pooling effectively reduces the run-time delay with a small spatial cost.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Integrated Grasping Controller Leveraging Optical Proximity Sensors for Simultaneous Contact, Impact Reduction, and Force Control
Authors:
Shunsuke Tokiwa,
Hikaru Arita,
Yosuke Suzuki,
Kenji Tahara
Abstract:
Grasping an unknown object is difficult for robot hands. When the characteristics of the object are unknown, knowing how to plan the speed at and width to which the fingers are narrowed is difficult. In this paper, we propose a method to realize the three functions of simultaneous finger contact, impact reduction, and contact force control, which enable effective grasping of an unknown object. We…
▽ More
Grasping an unknown object is difficult for robot hands. When the characteristics of the object are unknown, knowing how to plan the speed at and width to which the fingers are narrowed is difficult. In this paper, we propose a method to realize the three functions of simultaneous finger contact, impact reduction, and contact force control, which enable effective grasping of an unknown object. We accomplish this by using a control framework called multiple impedance control, which was proposed in a previous study. The advantage of this control is that multiple functions can be realized without switching control laws. The previous study achieved two functions, impact reduction and contact force control, with a two layers of impedance control which was applied independently to individual fingers. In this paper, a new idea of virtual dynamics that treats multiple fingers comprehensively is introduced, which enables the function of simultaneous contact without compromising the other two functions. This research provides a method to achieve delicate grasping by using proximity sensors. For the effectiveness of the proposed method, please refer to https://youtu.be/q0OrJBal4yA.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
A Study on Quantum Car-Parrinello Molecular Dynamics with Classical Shadows for Resource Efficient Molecular Simulation
Authors:
Honomi Kashihara,
Yudai Suzuki,
Kenji Yasuoka
Abstract:
Ab-initio molecular dynamics (AIMD) is a powerful tool to simulate physical movements of molecules for investigating properties of materials. While AIMD is successful in some applications, circumventing its high computational costs is imperative to perform large-scale and long-time simulations. In recent days, near-term quantum computers have attracted much attentions as a possible solution to all…
▽ More
Ab-initio molecular dynamics (AIMD) is a powerful tool to simulate physical movements of molecules for investigating properties of materials. While AIMD is successful in some applications, circumventing its high computational costs is imperative to perform large-scale and long-time simulations. In recent days, near-term quantum computers have attracted much attentions as a possible solution to alleviate the challenge. Specifically, Kuroiwa et al. proposed a new AIMD method called quantum Car-Parrinello molecular dynamics (QCPMD), which exploits the Car-Parrinello method and Langevin formulation to realize cost-efficient simulations at the equilibrium state, using near-term quantum devices. In this work, we build on the proposed QCPMD method and introduce the classical shadow technique to further improve resource efficiency of the simulations. More precisely, classical shadows are used to estimate the forces of all nuclei simultaneously, implying this approach is more effective as the number of molecules increases. We numerically study the performance of our scheme on the $\text{H}_2$ molecule and show that QCPMD with classical shadows can simulate the equilibrium state. Our results will give some insights into efficient AIMD simulations on currently-available quantum computers.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Vertical CNT-Si Photodiode Array
Authors:
Arman Ahnood,
Hang Zhou,
Qing Dai,
Yuri Vygranenko,
Yuji Suzuki,
MR Esmaeili-Rad,
Gehan Amaratunga,
Arokia Nathan
Abstract:
A photodiode consisting of nanopillars of thin-film silicon p-i-n on an array of vertically aligned carbon nanotubes (CNTs) with a noncontinuous cathode electrode is demonstrated. The structure exploits the intrinsic enhancement of the CNTs electric field, which leads to reduction in the photodiodes operating voltage and response time and enhancement of optical coupling due to better light trappin…
▽ More
A photodiode consisting of nanopillars of thin-film silicon p-i-n on an array of vertically aligned carbon nanotubes (CNTs) with a noncontinuous cathode electrode is demonstrated. The structure exploits the intrinsic enhancement of the CNTs electric field, which leads to reduction in the photodiodes operating voltage and response time and enhancement of optical coupling due to better light trapping, as compared with the conventional planar photodiode. These improvements translate to higher resolution and higher frame rate flat-panel imaging systems for a broad range of applications, including computed tomography and particle detection.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
On Telhcirid's theorem on arithmetic progressions
Authors:
Gautami Bhowmik,
Yuta Suzuki
Abstract:
In this paper, we study the distribution of the digital reverses of prime numbers, which we call the "reversed primes". We prove the infinitude of reversed primes in any arithmetic progression satisfying straightforward necessary conditions provided the base is sufficiently large. We indeed prove an effective Siegel--Walfisz type result for reversed primes, which has a larger admissible level of m…
▽ More
In this paper, we study the distribution of the digital reverses of prime numbers, which we call the "reversed primes". We prove the infinitude of reversed primes in any arithmetic progression satisfying straightforward necessary conditions provided the base is sufficiently large. We indeed prove an effective Siegel--Walfisz type result for reversed primes, which has a larger admissible level of modulus than the classical case.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
W-boson pair production at lepton colliders in the Feynman-diagram gauge
Authors:
Hiroyuki Furusato,
Kentarou Mawatari,
Yutaro Suzuki,
Ya-Juan Zheng
Abstract:
We calculate helicity amplitudes for $e^-e^+\to W^-W^+$ analytically in the Feynman-diagram (FD) gauge. We show that, unlike in the unitary gauge, there is no energy growth of the individual Feynman amplitudes for the longitudinally polarized W bosons, and the contributions from the associated Goldstone bosons are manifest even without taking the high-energy limit. We also find that the physical d…
▽ More
We calculate helicity amplitudes for $e^-e^+\to W^-W^+$ analytically in the Feynman-diagram (FD) gauge. We show that, unlike in the unitary gauge, there is no energy growth of the individual Feynman amplitudes for the longitudinally polarized W bosons, and the contributions from the associated Goldstone bosons are manifest even without taking the high-energy limit. We also find that the physical distributions can be interpreted by the individual amplitudes in the FD gauge.
△ Less
Submitted 10 September, 2024; v1 submitted 13 June, 2024;
originally announced June 2024.
-
Crossed product splitting of intermediate operator algebras via 2-cocycles
Authors:
Yuhei Suzuki
Abstract:
We investigate the C*-algebra inclusions $B \subset A \rtimes_{\rm r} Γ$ arising from inclusions $B \subset A$ of $Γ$-C*-algebras. The main result shows that, when $B \subset A$ is C*-irreducible in the sense of Rørdam, and is centrally $Γ$-free in the sense of the author, then after tensoring with the Cuntz algebra $\mathcal{O}_2$, all intermediate C*-algebras…
▽ More
We investigate the C*-algebra inclusions $B \subset A \rtimes_{\rm r} Γ$ arising from inclusions $B \subset A$ of $Γ$-C*-algebras. The main result shows that, when $B \subset A$ is C*-irreducible in the sense of Rørdam, and is centrally $Γ$-free in the sense of the author, then after tensoring with the Cuntz algebra $\mathcal{O}_2$, all intermediate C*-algebras $B \subset C\subset A \rtimes_{\rm r} Γ$ enjoy a natural crossed product splitting \[\mathcal{O}_2\otimes C=(\mathcal{O}_2 \otimes D) \rtimes_{{\rm r}, γ, \mathfrak{w}} Λ\] for $D:= C \cap A$, some $Λ<Γ$, and a subsystem $(γ, \mathfrak{w})$ of a unitary perturbed cocycle action $Λ\curvearrowright \mathcal{O}_2\otimes A$. As an application, we give a new Galois's type theorem for the Bisch--Haagerup type inclusions \[A^K \subset A\rtimes_{\rm r} Γ\] for actions of compact-by-discrete groups $K \rtimes Γ$ on simple C*-algebras.
Due to a K-theoretical obstruction, the operation $\mathcal{O}_2\otimes -$ is necessary to obtain the clean splitting. Also, in general 2-cocycles $\mathfrak{w}$ appearing in the splitting cannot be removed even further tensoring with any unital (cocycle) action. We show them by examples, which further show that $\mathcal{O}_2$ is a minimal possible choice.
We also establish a von Neumann algebra analogue, where $\mathcal{O}_2$ is replaced by the type I factor $\mathbb{B}(\ell^2(\mathbb{N}))$.
△ Less
Submitted 1 June, 2024;
originally announced June 2024.
-
Error Crafting in Probabilistic Quantum Gate Synthesis
Authors:
Nobuyuki Yoshioka,
Seiseki Akibue,
Hayata Morisaki,
Kento Tsubouchi,
Yasunari Suzuki
Abstract:
At the early stage of fault-tolerant quantum computing, it is envisioned that the gate synthesis of a general unitary gate into universal gate sets yields error whose magnitude is comparable with the noise inherent in the gates themselves. While it is known that the use of probabilistic synthesis already suppresses such coherent errors quadratically, there is no clear understanding on its remnant…
▽ More
At the early stage of fault-tolerant quantum computing, it is envisioned that the gate synthesis of a general unitary gate into universal gate sets yields error whose magnitude is comparable with the noise inherent in the gates themselves. While it is known that the use of probabilistic synthesis already suppresses such coherent errors quadratically, there is no clear understanding on its remnant error, which hinders us from designing a holistic error countermeasure that is effectively combined with error suppression and mitigation. In this work, we propose that, by exploiting the fact that synthesis error can be characterized completely and efficiently, we can craft the remnant error of probabilistic synthesis such that the error profile satisfies desirable properties. We prove for the case of single-qubit unitary synthesis that, there is a guaranteed way to perform probabilistic synthesis such that we can craft the remnant error to be described by Pauli and depolarizing errors, while the conventional twirling cannot be applied in principle. Furthermore, we show a numerical evidence for the synthesis of Pauli rotations based on Clifford+T formalism that, we can craft the remnant error so that it can be eliminated up to {\it cubic} order by combining logical measurement and feedback operations. As a result, Pauli rotation gates can be implemented with T counts of $\log_2(1/\varepsilon)$ on average up to accuracy of $\varepsilon=10^{-9}$, which can be applied to early fault-tolerant quantum computation beyond classical tractability. Our work opens a novel avenue in quantum circuit design and architecture that orchestrates error countermeasures.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Adaptive measurement strategy for noisy quantum amplitude estimation with variational quantum circuits
Authors:
Kohei Oshio,
Yohichi Suzuki,
Kaito Wada,
Keigo Hisanaga,
Shumpei Uno,
Naoki Yamamoto
Abstract:
In quantum computation, amplitude estimation is a fundamental subroutine that is utilized in various quantum algorithms. A general important task of such estimation problems is to characterize the estimation lower bound, which is referred to as quantum Cramér-Rao bound (QCRB), and to construct an optimal estimator that achieves QCRB. This paper studies the amplitude estimation in the presence of d…
▽ More
In quantum computation, amplitude estimation is a fundamental subroutine that is utilized in various quantum algorithms. A general important task of such estimation problems is to characterize the estimation lower bound, which is referred to as quantum Cramér-Rao bound (QCRB), and to construct an optimal estimator that achieves QCRB. This paper studies the amplitude estimation in the presence of depolarizing noise with unknown intensity. The main difficulty in this problem is that the optimal measurement depends on both the unknown quantum state and the amplitude we aim to estimate. To deal with these issues, we utilize the variational quantum circuits to approximate the (unknown) optimal measurement basis combined with the 2-step adaptive estimation strategy which was proposed in the quantum estimation theory.We numerically show that the proposed method can nearly attain the QCRB.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Probing de Sitter Space Using CFT States
Authors:
Kazuki Doi,
Naoki Ogawa,
Kotaro Shinmyo,
Yu-ki Suzuki,
Tadashi Takayanagi
Abstract:
In this paper we construct CFT states dual to local excitations in the three-dimensional de Sitter space (dS), called the bulk local states. We find that the conjugation operation in dS$_3/$CFT$_2$ is notably different from that in AdS$_3/$CFT$_2$. This requires us to combine two bulk local states constructed out of different primary states in a CPT-invariant way. This analysis explains why Green'…
▽ More
In this paper we construct CFT states dual to local excitations in the three-dimensional de Sitter space (dS), called the bulk local states. We find that the conjugation operation in dS$_3/$CFT$_2$ is notably different from that in AdS$_3/$CFT$_2$. This requires us to combine two bulk local states constructed out of different primary states in a CPT-invariant way. This analysis explains why Green's functions in the dS Euclidean vacuum cannot simply be obtained from the Wick rotation of those in AdS. We also argue that this characteristic feature explains the emergence of time coordinate from the dual Euclidean CFT. We show that the information metric for the quantum estimation of bulk coordinate values replicates the de Sitter space metric.
△ Less
Submitted 10 June, 2024; v1 submitted 23 May, 2024;
originally announced May 2024.
-
First joint oscillation analysis of Super-Kamiokande atmospheric and T2K accelerator neutrino data
Authors:
Super-Kamiokande,
T2K collaborations,
:,
S. Abe,
K. Abe,
N. Akhlaq,
R. Akutsu,
H. Alarakia-Charles,
A. Ali,
Y. I. Alj Hakim,
S. Alonso Monsalve,
S. Amanai,
C. Andreopoulos,
L. H. V. Anthony,
M. Antonova,
S. Aoki,
K. A. Apte,
T. Arai,
T. Arihara,
S. Arimoto,
Y. Asada,
R. Asaka,
Y. Ashida,
E. T. Atkin,
N. Babu
, et al. (524 additional authors not shown)
Abstract:
The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of…
▽ More
The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of $19.7(16.3) \times 10^{20}$ protons on target in (anti)neutrino mode, the analysis finds a 1.9$σ$ exclusion of CP-conservation (defined as $J_{CP}=0$) and a preference for the normal mass ordering.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
RDRec: Rationale Distillation for LLM-based Recommendation
Authors:
Xinfeng Wang,
Jin Cui,
Yoshimi Suzuki,
Fumiyo Fukumoto
Abstract:
Large language model (LLM)-based recommender models that bridge users and items through textual prompts for effective semantic reasoning have gained considerable attention. However, few methods consider the underlying rationales behind interactions, such as user preferences and item attributes, limiting the reasoning capability of LLMs for recommendations. This paper proposes a rationale distillat…
▽ More
Large language model (LLM)-based recommender models that bridge users and items through textual prompts for effective semantic reasoning have gained considerable attention. However, few methods consider the underlying rationales behind interactions, such as user preferences and item attributes, limiting the reasoning capability of LLMs for recommendations. This paper proposes a rationale distillation recommender (RDRec), a compact model designed to learn rationales generated by a larger language model (LM). By leveraging rationales from reviews related to users and items, RDRec remarkably specifies their profiles for recommendations. Experiments show that RDRec achieves state-of-the-art (SOTA) performance in both top-N and sequential recommendations. Our source code is released at https://github.com/WangXFng/RDRec.
△ Less
Submitted 14 June, 2024; v1 submitted 17 May, 2024;
originally announced May 2024.
-
Amenable actions on ill-behaved simple C*-algebras
Authors:
Yuhei Suzuki
Abstract:
By combining Rørdam's construction and author's previous construction, we provide the first examples of amenable actions on simple separable nuclear C*-algebras that are neither stable finite nor purely infinite. For free groups, we also provide unital examples. We arrange the actions so that the crossed products are still simple with both a finite and an infinite projection.
By combining Rørdam's construction and author's previous construction, we provide the first examples of amenable actions on simple separable nuclear C*-algebras that are neither stable finite nor purely infinite. For free groups, we also provide unital examples. We arrange the actions so that the crossed products are still simple with both a finite and an infinite projection.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
X-ray imaging camera using INTPIX4NA SOIPIX detector with SiTCP-XG 10GbE based high-speed readout system
Authors:
Ryutaro Nishimura,
Noriyuki Igarashi,
Daisuke Wakabayashi,
Yuki Shibazaki,
Yoshio Suzuki,
Keiichi Hirano,
Yasuo Arai
Abstract:
The silicon-on-insulator pixel (SOIPIX) detector is a unique monolithic-structure imaging device currently being developed by the SOIPIX group led by the High Energy Accelerator Research Organization (KEK). The detector team at KEK Photon Factory (PF) is also developing an X-ray camera using INTPIX4NA with a 14.1 $\times$ 8.7 $\mathsf{mm^2}$ sensitive area and 425,984 (832 column $\times$ 512 row…
▽ More
The silicon-on-insulator pixel (SOIPIX) detector is a unique monolithic-structure imaging device currently being developed by the SOIPIX group led by the High Energy Accelerator Research Organization (KEK). The detector team at KEK Photon Factory (PF) is also developing an X-ray camera using INTPIX4NA with a 14.1 $\times$ 8.7 $\mathsf{mm^2}$ sensitive area and 425,984 (832 column $\times$ 512 row matrix) pixels, with a pixel size of 17 $\times$ 17 $\mathsf{μm^2}$. The detector has high resolution and sensitivity for low-intensity X-rays, making it suitable for imaging in optical systems with lower X-ray intensities, such as an X-ray zooming microscope using two Fresnel zone plates (FZPs), which is also under development at PF. To enable imaging under such conditions, we developed a detector cooling system using a Peltier element to support longer exposure time (~0.5 seconds per frame). Additionally, we developed a new readout system using DAQ boards developed by PF, equipped with SiTCP-XG (network controller implemented on field-programmable gate array) that supports 10 Gbps Ethernet for high-frame-rate imaging at several hundred hertz. The new X-ray camera was tested at the PF BL-14A, BL-14B, and AR-NE1A experimental stations, and the resolution and sensitivity characteristics were confirmed. Given these confirmed characteristics, this X-ray camera is suitable for X-ray imaging using 5--20 keV X-rays under low-intensity, low-contrast conditions. These conditions are ideal for capturing soft tissues with poor contrast, objects with fine structures, and specimens vulnerable to radiation damage.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Asymptotic formula for the sum of a prime and a square-full number in short intervals
Authors:
Fumi Ogihara,
Yuta Suzuki
Abstract:
Let $R_{m, \mathrm{sq-full}}(N)$ be a representation function for the sum of a prime and a square-full number. In this article, we prove an asymptotic formula for the sum of $R_{m, \mathrm{sq-full}}(N)$ over positive integers $N$ in a short interval ($X$, $X+H$] of length $H$ slightly bigger than $X^{\frac{1}{2}}$.
Let $R_{m, \mathrm{sq-full}}(N)$ be a representation function for the sum of a prime and a square-full number. In this article, we prove an asymptotic formula for the sum of $R_{m, \mathrm{sq-full}}(N)$ over positive integers $N$ in a short interval ($X$, $X+H$] of length $H$ slightly bigger than $X^{\frac{1}{2}}$.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
IPFed: Identity protected federated learning for user authentication
Authors:
Yosuke Kaga,
Yusei Suzuki,
Kenta Takahashi
Abstract:
With the development of laws and regulations related to privacy preservation, it has become difficult to collect personal data to perform machine learning. In this context, federated learning, which is distributed learning without sharing personal data, has been proposed. In this paper, we focus on federated learning for user authentication. We show that it is difficult to achieve both privacy pre…
▽ More
With the development of laws and regulations related to privacy preservation, it has become difficult to collect personal data to perform machine learning. In this context, federated learning, which is distributed learning without sharing personal data, has been proposed. In this paper, we focus on federated learning for user authentication. We show that it is difficult to achieve both privacy preservation and high accuracy with existing methods. To address these challenges, we propose IPFed which is privacy-preserving federated learning using random projection for class embedding. Furthermore, we prove that IPFed is capable of learning equivalent to the state-of-the-art method. Experiments on face image datasets show that IPFed can protect the privacy of personal data while maintaining the accuracy of the state-of-the-art method.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Combined Pre-Supernova Alert System with Kamland and Super-Kamiokande
Authors:
KamLAND,
Super-Kamiokande Collaborations,
:,
Seisho Abe,
Minori Eizuka,
Sawako Futagi,
Azusa Gando,
Yoshihito Gando,
Shun Goto,
Takahiko Hachiya,
Kazumi Hata,
Koichi Ichimura,
Sei Ieki,
Haruo Ikeda,
Kunio Inoue,
Koji Ishidoshiro,
Yuto Kamei,
Nanami Kawada,
Yasuhiro Kishimoto,
Masayuki Koga,
Maho Kurasawa,
Tadao Mitsui,
Haruhiko Miyake,
Daisuke Morita,
Takeshi Nakahata
, et al. (290 additional authors not shown)
Abstract:
Preceding a core-collapse supernova, various processes produce an increasing amount of neutrinos of all flavors characterized by mounting energies from the interior of massive stars. Among them, the electron antineutrinos are potentially detectable by terrestrial neutrino experiments such as KamLAND and Super-Kamiokande via inverse beta decay interactions. Once these pre-supernova neutrinos are ob…
▽ More
Preceding a core-collapse supernova, various processes produce an increasing amount of neutrinos of all flavors characterized by mounting energies from the interior of massive stars. Among them, the electron antineutrinos are potentially detectable by terrestrial neutrino experiments such as KamLAND and Super-Kamiokande via inverse beta decay interactions. Once these pre-supernova neutrinos are observed, an early warning of the upcoming core-collapse supernova can be provided. In light of this, KamLAND and Super-Kamiokande, both located in the Kamioka mine in Japan, have been monitoring pre-supernova neutrinos since 2015 and 2021, respectively. Recently, we performed a joint study between KamLAND and Super-Kamiokande on pre-supernova neutrino detection. A pre-supernova alert system combining the KamLAND detector and the Super-Kamiokande detector was developed and put into operation, which can provide a supernova alert to the astrophysics community. Fully leveraging the complementary properties of these two detectors, the combined alert is expected to resolve a pre-supernova neutrino signal from a 15 M$_{\odot}$ star within 510 pc of the Earth, at a significance level corresponding to a false alarm rate of no more than 1 per century. For a Betelgeuse-like model with optimistic parameters, it can provide early warnings up to 12 hours in advance.
△ Less
Submitted 1 July, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Development of a data overflow protection system for Super-Kamiokande to maximize data from nearby supernovae
Authors:
M. Mori,
K. Abe,
Y. Hayato,
K. Hiraide,
K. Hosokawa,
K. Ieki,
M. Ikeda,
J. Kameda,
Y. Kanemura,
R. Kaneshima,
Y. Kashiwagi,
Y. Kataoka,
S. Miki,
S. Mine,
M. Miura,
S. Moriyama,
Y. Nakano,
M. Nakahata,
S. Nakayama,
Y. Noguchi,
K. Okamoto,
K. Sato,
H. Sekiya,
H. Shiba,
K. Shimizu
, et al. (230 additional authors not shown)
Abstract:
Neutrinos from very nearby supernovae, such as Betelgeuse, are expected to generate more than ten million events over 10\,s in Super-Kamokande (SK). At such large event rates, the buffers of the SK analog-to-digital conversion board (QBEE) will overflow, causing random loss of data that is critical for understanding the dynamics of the supernova explosion mechanism. In order to solve this problem,…
▽ More
Neutrinos from very nearby supernovae, such as Betelgeuse, are expected to generate more than ten million events over 10\,s in Super-Kamokande (SK). At such large event rates, the buffers of the SK analog-to-digital conversion board (QBEE) will overflow, causing random loss of data that is critical for understanding the dynamics of the supernova explosion mechanism. In order to solve this problem, two new DAQ modules were developed to aid in the observation of very nearby supernovae. The first of these, the SN module, is designed to save only the number of hit PMTs during a supernova burst and the second, the Veto module, prescales the high rate neutrino events to prevent the QBEE from overflowing based on information from the SN module. In the event of a very nearby supernova, these modules allow SK to reconstruct the time evolution of the neutrino event rate from beginning to end using both QBEE and SN module data. This paper presents the development and testing of these modules together with an analysis of supernova-like data generated with a flashing laser diode. We demonstrate that the Veto module successfully prevents DAQ overflows for Betelgeuse-like supernovae as well as the long-term stability of the new modules. During normal running the Veto module is found to issue DAQ vetos a few times per month resulting in a total dead time less than 1\,ms, and does not influence ordinary operations. Additionally, using simulation data we find that supernovae closer than 800~pc will trigger Veto module resulting in a prescaling of the observed neutrino data.
△ Less
Submitted 13 August, 2024; v1 submitted 12 April, 2024;
originally announced April 2024.
-
Reflectance Estimation for Proximity Sensing by Vision-Language Models: Utilizing Distributional Semantics for Low-Level Cognition in Robotics
Authors:
Masashi Osada,
Gustavo A. Garcia Ricardez,
Yosuke Suzuki,
Tadahiro Taniguchi
Abstract:
Large language models (LLMs) and vision-language models (VLMs) have been increasingly used in robotics for high-level cognition, but their use for low-level cognition, such as interpreting sensor information, remains underexplored. In robotic grasping, estimating the reflectance of objects is crucial for successful grasping, as it significantly impacts the distance measured by proximity sensors. W…
▽ More
Large language models (LLMs) and vision-language models (VLMs) have been increasingly used in robotics for high-level cognition, but their use for low-level cognition, such as interpreting sensor information, remains underexplored. In robotic grasping, estimating the reflectance of objects is crucial for successful grasping, as it significantly impacts the distance measured by proximity sensors. We investigate whether LLMs can estimate reflectance from object names alone, leveraging the embedded human knowledge in distributional semantics, and if the latent structure of language in VLMs positively affects image-based reflectance estimation. In this paper, we verify that 1) LLMs such as GPT-3.5 and GPT-4 can estimate an object's reflectance using only text as input; and 2) VLMs such as CLIP can increase their generalization capabilities in reflectance estimation from images. Our experiments show that GPT-4 can estimate an object's reflectance using only text input with a mean error of 14.7%, lower than the image-only ResNet. Moreover, CLIP achieved the lowest mean error of 11.8%, while GPT-3.5 obtained a competitive 19.9% compared to ResNet's 17.8%. These results suggest that the distributional semantics in LLMs and VLMs increases their generalization capabilities, and the knowledge acquired by VLMs benefits from the latent structure of language.
△ Less
Submitted 8 August, 2024; v1 submitted 11 April, 2024;
originally announced April 2024.
-
NFARec: A Negative Feedback-Aware Recommender Model
Authors:
Xinfeng Wang,
Fumiyo Fukumoto,
Jin Cui,
Yoshimi Suzuki,
Dongjin Yu
Abstract:
Graph neural network (GNN)-based models have been extensively studied for recommendations, as they can extract high-order collaborative signals accurately which is required for high-quality recommender systems. However, they neglect the valuable information gained through negative feedback in two aspects: (1) different users might hold opposite feedback on the same item, which hampers optimal info…
▽ More
Graph neural network (GNN)-based models have been extensively studied for recommendations, as they can extract high-order collaborative signals accurately which is required for high-quality recommender systems. However, they neglect the valuable information gained through negative feedback in two aspects: (1) different users might hold opposite feedback on the same item, which hampers optimal information propagation in GNNs, and (2) even when an item vastly deviates from users' preferences, they might still choose it and provide a negative rating. In this paper, we propose a negative feedback-aware recommender model (NFARec) that maximizes the leverage of negative feedback. To transfer information to multi-hop neighbors along an optimal path effectively, NFARec adopts a feedback-aware correlation that guides hypergraph convolutions (HGCs) to learn users' structural representations. Moreover, NFARec incorporates an auxiliary task - predicting the feedback sentiment polarity (i.e., positive or negative) of the next interaction - based on the Transformer Hawkes Process. The task is beneficial for understanding users by learning the sentiment expressed in their previous sequential feedback patterns and predicting future interactions. Extensive experiments demonstrate that NFARec outperforms competitive baselines. Our source code and data are released at https://github.com/WangXFng/NFARec.
△ Less
Submitted 4 September, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
CaDRec: Contextualized and Debiased Recommender Model
Authors:
Xinfeng Wang,
Fumiyo Fukumoto,
Jin Cui,
Yoshimi Suzuki,
Jiyi Li,
Dongjin Yu
Abstract:
Recommender models aimed at mining users' behavioral patterns have raised great attention as one of the essential applications in daily life. Recent work on graph neural networks (GNNs) or debiasing methods has attained remarkable gains. However, they still suffer from (1) over-smoothing node embeddings caused by recursive convolutions with GNNs, and (2) the skewed distribution of interactions due…
▽ More
Recommender models aimed at mining users' behavioral patterns have raised great attention as one of the essential applications in daily life. Recent work on graph neural networks (GNNs) or debiasing methods has attained remarkable gains. However, they still suffer from (1) over-smoothing node embeddings caused by recursive convolutions with GNNs, and (2) the skewed distribution of interactions due to popularity and user-individual biases. This paper proposes a contextualized and debiased recommender model (CaDRec). To overcome the over-smoothing issue, we explore a novel hypergraph convolution operator that can select effective neighbors during convolution by introducing both structural context and sequential context. To tackle the skewed distribution, we propose two strategies for disentangling interactions: (1) modeling individual biases to learn unbiased item embeddings, and (2) incorporating item popularity with positional encoding. Moreover, we mathematically show that the imbalance of the gradients to update item embeddings exacerbates the popularity bias, thus adopting regularization and weighting schemes as solutions. Extensive experiments on four datasets demonstrate the superiority of the CaDRec against state-of-the-art (SOTA) methods. Our source code and data are released at https://github.com/WangXFng/CaDRec.
△ Less
Submitted 4 September, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
Spanning plane subgraphs of $1$-plane graphs
Authors:
Kenta Noguchi,
Katsuhiro Ota,
Yusuke Suzuki
Abstract:
A graph drawn on the plane is called $1$-plane if each edge is crossed at most once by another edge. In this paper, we show that every $4$-connected $1$-plane graph has a connected spanning plane subgraph. We also show that there exist infinitely many $4$-connected $1$-plane graphs that have no $2$-connected spanning plane subgraphs. Moreover, we consider the condition of $k$ and $l$ such that eve…
▽ More
A graph drawn on the plane is called $1$-plane if each edge is crossed at most once by another edge. In this paper, we show that every $4$-connected $1$-plane graph has a connected spanning plane subgraph. We also show that there exist infinitely many $4$-connected $1$-plane graphs that have no $2$-connected spanning plane subgraphs. Moreover, we consider the condition of $k$ and $l$ such that every $k$-connected $1$-plane graph has an $l$-connected spanning plane subgraph.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Observation of Gravitational Waves from the Coalescence of a $2.5\text{-}4.5~M_\odot$ Compact Object and a Neutron Star
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
I. Abouelfettouh,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
D. Agarwal,
M. Agathos,
M. Aghaei Abchouyeh,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
S. Akçay,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Al-Jodah
, et al. (1771 additional authors not shown)
Abstract:
We report the observation of a coalescing compact binary with component masses $2.5\text{-}4.5~M_\odot$ and $1.2\text{-}2.0~M_\odot$ (all measurements quoted at the 90% credible level). The gravitational-wave signal GW230529_181500 was observed during the fourth observing run of the LIGO-Virgo-KAGRA detector network on 2023 May 29 by the LIGO Livingston Observatory. The primary component of the so…
▽ More
We report the observation of a coalescing compact binary with component masses $2.5\text{-}4.5~M_\odot$ and $1.2\text{-}2.0~M_\odot$ (all measurements quoted at the 90% credible level). The gravitational-wave signal GW230529_181500 was observed during the fourth observing run of the LIGO-Virgo-KAGRA detector network on 2023 May 29 by the LIGO Livingston Observatory. The primary component of the source has a mass less than $5~M_\odot$ at 99% credibility. We cannot definitively determine from gravitational-wave data alone whether either component of the source is a neutron star or a black hole. However, given existing estimates of the maximum neutron star mass, we find the most probable interpretation of the source to be the coalescence of a neutron star with a black hole that has a mass between the most massive neutron stars and the least massive black holes observed in the Galaxy. We provisionally estimate a merger rate density of $55^{+127}_{-47}~\text{Gpc}^{-3}\,\text{yr}^{-1}$ for compact binary coalescences with properties similar to the source of GW230529_181500; assuming that the source is a neutron star-black hole merger, GW230529_181500-like sources constitute about 60% of the total merger rate inferred for neutron star-black hole coalescences. The discovery of this system implies an increase in the expected rate of neutron star-black hole mergers with electromagnetic counterparts and provides further evidence for compact objects existing within the purported lower mass gap.
△ Less
Submitted 26 July, 2024; v1 submitted 5 April, 2024;
originally announced April 2024.
-
Light-cone feature selection for quantum machine learning
Authors:
Yudai Suzuki,
Rei Sakuma,
Hideaki Kawaguchi
Abstract:
Feature selection plays an essential role in improving the predictive performance and interpretability of trained models in classical machine learning. On the other hand, the usability of conventional feature selection could be limited for quantum machine learning tasks; the technique might not provide a clear interpretation on embedding quantum circuits for classical data tasks and, more importan…
▽ More
Feature selection plays an essential role in improving the predictive performance and interpretability of trained models in classical machine learning. On the other hand, the usability of conventional feature selection could be limited for quantum machine learning tasks; the technique might not provide a clear interpretation on embedding quantum circuits for classical data tasks and, more importantly, is not applicable to quantum data tasks. In this work, we propose a feature selection method with a specific focus on quantum machine learning. Our scheme treats the light-cones (i.e., subspace) of quantum models as features and then select relevant ones through training of the corresponding local quantum kernels. We numerically demonstrate its versatility for four different applications using toy tasks: (1) feature selection of classical inputs, (2) circuit architecture search for data embedding, (3) compression of quantum machine learning models and (4) subspace selection for quantum data. The proposed framework paves the way towards applications of quantum machine learning to practical tasks. Also, this technique could be used to practically test if the quantum machine learning tasks really need quantumness, while it is beyond the scope of this work.
△ Less
Submitted 28 April, 2024; v1 submitted 27 March, 2024;
originally announced March 2024.
-
Single-Motor Robotic Gripper with Multi-Surface Fingers for Variable Grasping Configurations
Authors:
Toshihiro Nishimura,
Yosuke Suzuki,
Tokuo Tsuj,
Tetsuyou Watanabe
Abstract:
This study proposes a novel robotic gripper with variable grasping configurations for grasping various objects. The fingers of the developed gripper incorporate multiple different surfaces. The gripper possesses the function of altering the finger surfaces facing a target object by rotating the fingers in its longitudinal direction. In the proposed design equipped with two fingers, the two fingers…
▽ More
This study proposes a novel robotic gripper with variable grasping configurations for grasping various objects. The fingers of the developed gripper incorporate multiple different surfaces. The gripper possesses the function of altering the finger surfaces facing a target object by rotating the fingers in its longitudinal direction. In the proposed design equipped with two fingers, the two fingers incorporate three and four surfaces, respectively, resulting in the nine available grasping configurations by the combination of these finger surfaces. The developed gripper is equipped with the functions of opening/closing its fingers for grasping and rotating its fingers to alter the grasping configuration -all achieved with a single motor. To enable the two motions using a single motor, this study introduces a self-motion switching mechanism utilizing magnets. This mechanism automatically transitions between gripper motions based on the direction of the motor rotation when the gripper is fully opened. In this state, rotating the motor towards closing initiates the finger closing action, while further opening the fingers from the fully opened state activates the finger rotation. This letter presents the gripper design, the mechanics of the self-motion switching mechanism, the control method, and the grasping configuration selection strategy. The performance of the gripper is experimentally demonstrated.
△ Less
Submitted 24 March, 2024;
originally announced March 2024.
-
Projective squeezing for translation symmetric bosonic codes
Authors:
Suguru Endo,
Keitaro Anai,
Yuichiro Matsuzaki,
Yuuki Tokunaga,
Yasunari Suzuki
Abstract:
The design of translation symmetric bosonic codes, e.g., Gottesmann-Kitaev-Preskill and squeezed cat codes, is robust against photon loss, but the computation accuracy is limited by the available squeezing level. Here, we introduce the \textit{projective squeezing} (PS) method for computing outcomes for a higher squeezing level by revealing that a linear combination of displacement operators with…
▽ More
The design of translation symmetric bosonic codes, e.g., Gottesmann-Kitaev-Preskill and squeezed cat codes, is robust against photon loss, but the computation accuracy is limited by the available squeezing level. Here, we introduce the \textit{projective squeezing} (PS) method for computing outcomes for a higher squeezing level by revealing that a linear combination of displacement operators with periodic displacement values constitutes the smeared projector onto the better code space; we also show the analytical relationship between the increased squeezing level and the projection probability. We introduce concrete implementation methods for PS based on linear-combination-of-unitaries and virtual quantum error detection. We also numerically verify our analytical arguments and show that our protocol can mitigate the effect of photon loss.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Crystalformer: Infinitely Connected Attention for Periodic Structure Encoding
Authors:
Tatsunori Taniai,
Ryo Igarashi,
Yuta Suzuki,
Naoya Chiba,
Kotaro Saito,
Yoshitaka Ushiku,
Kanta Ono
Abstract:
Predicting physical properties of materials from their crystal structures is a fundamental problem in materials science. In peripheral areas such as the prediction of molecular properties, fully connected attention networks have been shown to be successful. However, unlike these finite atom arrangements, crystal structures are infinitely repeating, periodic arrangements of atoms, whose fully conne…
▽ More
Predicting physical properties of materials from their crystal structures is a fundamental problem in materials science. In peripheral areas such as the prediction of molecular properties, fully connected attention networks have been shown to be successful. However, unlike these finite atom arrangements, crystal structures are infinitely repeating, periodic arrangements of atoms, whose fully connected attention results in infinitely connected attention. In this work, we show that this infinitely connected attention can lead to a computationally tractable formulation, interpreted as neural potential summation, that performs infinite interatomic potential summations in a deeply learned feature space. We then propose a simple yet effective Transformer-based encoder architecture for crystal structures called Crystalformer. Compared to an existing Transformer-based model, the proposed model requires only 29.4% of the number of parameters, with minimal modifications to the original Transformer architecture. Despite the architectural simplicity, the proposed method outperforms state-of-the-art methods for various property regression tasks on the Materials Project and JARVIS-DFT datasets.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Relatively prime pairs in the Piatetski-Shapiro sequences
Authors:
Yuta Suzuki
Abstract:
In this paper, we prove an asymptotic formula for the number of relatively prime pairs in the Piatetski-Shapiro sequence of arbitrarily large order. This improves the result of Pimsert, Srichan and Tangsupphathawat (2023), the order of which was restricted to be $<\frac{3}{2}$. The key ingredients of the proof are a simple averaging trick and an extension of Deshouillers' result on the distributio…
▽ More
In this paper, we prove an asymptotic formula for the number of relatively prime pairs in the Piatetski-Shapiro sequence of arbitrarily large order. This improves the result of Pimsert, Srichan and Tangsupphathawat (2023), the order of which was restricted to be $<\frac{3}{2}$. The key ingredients of the proof are a simple averaging trick and an extension of Deshouillers' result on the distribution of the Piatetski-Shapiro sequence in arithmetic progressions.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Enhanced Coherence-Aware Network with Hierarchical Disentanglement for Aspect-Category Sentiment Analysis
Authors:
Jin Cui,
Fumiyo Fukumoto,
Xinfeng Wang,
Yoshimi Suzuki,
Jiyi Li,
Noriko Tomuro,
Wanzeng Kong
Abstract:
Aspect-category-based sentiment analysis (ACSA), which aims to identify aspect categories and predict their sentiments has been intensively studied due to its wide range of NLP applications. Most approaches mainly utilize intrasentential features. However, a review often includes multiple different aspect categories, and some of them do not explicitly appear in the review. Even in a sentence, ther…
▽ More
Aspect-category-based sentiment analysis (ACSA), which aims to identify aspect categories and predict their sentiments has been intensively studied due to its wide range of NLP applications. Most approaches mainly utilize intrasentential features. However, a review often includes multiple different aspect categories, and some of them do not explicitly appear in the review. Even in a sentence, there is more than one aspect category with its sentiments, and they are entangled intra-sentence, which makes the model fail to discriminately preserve all sentiment characteristics. In this paper, we propose an enhanced coherence-aware network with hierarchical disentanglement (ECAN) for ACSA tasks. Specifically, we explore coherence modeling to capture the contexts across the whole review and to help the implicit aspect and sentiment identification. To address the issue of multiple aspect categories and sentiment entanglement, we propose a hierarchical disentanglement module to extract distinct categories and sentiment features. Extensive experimental and visualization results show that our ECAN effectively decouples multiple categories and sentiments entangled in the coherence representations and achieves state-of-the-art (SOTA) performance. Our codes and data are available online: \url{https://github.com/cuijin-23/ECAN}.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Measurements of the charge ratio and polarization of cosmic-ray muons with the Super-Kamiokande detector
Authors:
H. Kitagawa,
T. Tada,
K. Abe,
C. Bronner,
Y. Hayato,
K. Hiraide,
K. Hosokawa,
K. Ieki,
M. Ikeda,
J. Kameda,
Y. Kanemura,
R. Kaneshima,
Y. Kashiwagi,
Y. Kataoka,
S. Miki,
S. Mine,
M. Miura,
S. Moriyama,
Y. Nakano,
M. Nakahata,
S. Nakayama,
Y. Noguchi,
K. Okamoto,
K. Sato,
H. Sekiya
, et al. (231 additional authors not shown)
Abstract:
We present the results of the charge ratio ($R$) and polarization ($P^μ_{0}$) measurements using the decay electron events collected from 2008 September to 2022 June by the Super-Kamiokande detector. Because of its underground location and long operation, we performed high precision measurements by accumulating cosmic-ray muons. We measured the muon charge ratio to be $R=1.32 \pm 0.02$…
▽ More
We present the results of the charge ratio ($R$) and polarization ($P^μ_{0}$) measurements using the decay electron events collected from 2008 September to 2022 June by the Super-Kamiokande detector. Because of its underground location and long operation, we performed high precision measurements by accumulating cosmic-ray muons. We measured the muon charge ratio to be $R=1.32 \pm 0.02$ $(\mathrm{stat.}{+}\mathrm{syst.})$ at $E_μ\cos θ_{\mathrm{Zenith}}=0.7^{+0.3}_{-0.2}$ $\mathrm{TeV}$, where $E_μ$ is the muon energy and $θ_{\mathrm{Zenith}}$ is the zenith angle of incoming cosmic-ray muons. This result is consistent with the Honda flux model while this suggests a tension with the $πK$ model of $1.9σ$. We also measured the muon polarization at the production location to be $P^μ_{0}=0.52 \pm 0.02$ $(\mathrm{stat.}{+}\mathrm{syst.})$ at the muon momentum of $0.9^{+0.6}_{-0.1}$ $\mathrm{TeV}/c$ at the surface of the mountain; this also suggests a tension with the Honda flux model of $1.5σ$. This is the most precise measurement ever to experimentally determine the cosmic-ray muon polarization near $1~\mathrm{TeV}/c$. These measurement results are useful to improve the atmospheric neutrino simulations.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Second gadolinium loading to Super-Kamiokande
Authors:
K. Abe,
C. Bronner,
Y. Hayato,
K. Hiraide,
K. Hosokawa,
K. Ieki,
M. Ikeda,
J. Kameda,
Y. Kanemura,
R. Kaneshima,
Y. Kashiwagi,
Y. Kataoka,
S. Miki,
S. Mine,
M. Miura,
S. Moriyama,
Y. Nakano,
M. Nakahata,
S. Nakayama,
Y. Noguchi,
K. Sato,
H. Sekiya,
H. Shiba,
K. Shimizu,
M. Shiozawa
, et al. (225 additional authors not shown)
Abstract:
The first loading of gadolinium (Gd) into Super-Kamiokande in 2020 was successful, and the neutron capture efficiency on Gd reached 50\%. To further increase the Gd neutron capture efficiency to 75\%, 26.1 tons of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was additionally loaded into Super-Kamiokande (SK) from May 31 to July 4, 2022. As the amount of loaded $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was do…
▽ More
The first loading of gadolinium (Gd) into Super-Kamiokande in 2020 was successful, and the neutron capture efficiency on Gd reached 50\%. To further increase the Gd neutron capture efficiency to 75\%, 26.1 tons of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was additionally loaded into Super-Kamiokande (SK) from May 31 to July 4, 2022. As the amount of loaded $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$ was doubled compared to the first loading, the capacity of the powder dissolving system was doubled. We also developed new batches of gadolinium sulfate with even further reduced radioactive impurities. In addition, a more efficient screening method was devised and implemented to evaluate these new batches of $\rm Gd_2(\rm SO_4)_3\cdot \rm 8H_2O$. Following the second loading, the Gd concentration in SK was measured to be $333.5\pm2.5$ ppm via an Atomic Absorption Spectrometer (AAS). From the mean neutron capture time constant of neutrons from an Am/Be calibration source, the Gd concentration was independently measured to be 332.7 $\pm$ 6.8(sys.) $\pm$ 1.1(stat.) ppm, consistent with the AAS result. Furthermore, during the loading the Gd concentration was monitored continually using the capture time constant of each spallation neutron produced by cosmic-ray muons,and the final neutron capture efficiency was shown to become 1.5 times higher than that of the first loaded phase, as expected.
△ Less
Submitted 18 June, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Performance of SK-Gd's Upgraded Real-time Supernova Monitoring System
Authors:
Y. Kashiwagi,
K. Abe,
C. Bronner,
Y. Hayato,
K. Hiraide,
K. Hosokawa,
K. Ieki,
M. Ikeda,
J. Kameda,
Y. Kanemura,
R. Kaneshima,
Y. Kataoka,
S. Miki,
S. Mine,
M. Miura,
S. Moriyama,
Y. Nakano,
M. Nakahata,
S. Nakayama,
Y. Noguchi,
K. Sato,
H. Sekiya,
H. Shiba,
K. Shimizu,
M. Shiozawa
, et al. (214 additional authors not shown)
Abstract:
Among multi-messenger observations of the next galactic core-collapse supernova, Super-Kamiokande (SK) plays a critical role in detecting the emitted supernova neutrinos, determining the direction to the supernova (SN), and notifying the astronomical community of these observations in advance of the optical signal. On 2022, SK has increased the gadolinium dissolved in its water target (SK-Gd) and…
▽ More
Among multi-messenger observations of the next galactic core-collapse supernova, Super-Kamiokande (SK) plays a critical role in detecting the emitted supernova neutrinos, determining the direction to the supernova (SN), and notifying the astronomical community of these observations in advance of the optical signal. On 2022, SK has increased the gadolinium dissolved in its water target (SK-Gd) and has achieved a Gd concentration of 0.033%, resulting in enhanced neutron detection capability, which in turn enables more accurate determination of the supernova direction. Accordingly, SK-Gd's real-time supernova monitoring system (Abe te al. 2016b) has been upgraded. SK_SN Notice, a warning system that works together with this monitoring system, was released on December 13, 2021, and is available through GCN Notices (Barthelmy et al. 2000). When the monitoring system detects an SN-like burst of events, SK_SN Notice will automatically distribute an alarm with the reconstructed direction to the supernova candidate within a few minutes. In this paper, we present a systematic study of SK-Gd's response to a simulated galactic SN. Assuming a supernova situated at 10 kpc, neutrino fluxes from six supernova models are used to characterize SK-Gd's pointing accuracy using the same tools as the online monitoring system. The pointing accuracy is found to vary from 3-7$^\circ$ depending on the models. However, if the supernova is closer than 10 kpc, SK_SN Notice can issue an alarm with three-degree accuracy, which will benefit follow-up observations by optical telescopes with large fields of view.
△ Less
Submitted 13 March, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
Noise Robustness of Quantum Relaxation for Combinatorial Optimization
Authors:
Kentaro Tamura,
Yohichi Suzuki,
Rudy Raymond,
Hiroshi C. Watanabe,
Yuki Sato,
Ruho Kondo,
Michihiko Sugawara,
Naoki Yamamoto
Abstract:
QRAO (Quantum Random Access Optimization) is a relaxation algorithm that reduces the number of qubits required to solve a problem by encoding multiple variables per qubit using QRAC (Quantum Random Access Code). Reducing the number of qubits is a common way of dealing with the impact of noise on a quantum algorithm. Our interest lies in the impact of noise on the quality of the binary solution of…
▽ More
QRAO (Quantum Random Access Optimization) is a relaxation algorithm that reduces the number of qubits required to solve a problem by encoding multiple variables per qubit using QRAC (Quantum Random Access Code). Reducing the number of qubits is a common way of dealing with the impact of noise on a quantum algorithm. Our interest lies in the impact of noise on the quality of the binary solution of QRAO, which is unknown. We demonstrate that the mean approximation ratio of the (3, 1)-QRAC Hamiltonian, i.e., the Hamiltonian utilizing the encoding of 3 bits into 1 qubit by QRAC, is less affected by noise compared to the Ising Hamiltonian used in quantum annealer and QAOA (Quantum Approximate Optimization Algorithm). Based on this observation, we discuss a plausible mechanism behind the robustness of QRAO under depolarizing noise. Finally, we assess the number of shots required to estimate the values of binary variables correctly under depolarizing noise and show that the (3, 1)-QRAC Hamiltonian requires less shots to achieve the same accuracy compared to the Ising Hamiltonian.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Isospin-forbidden electric dipole transition of the 9.64 MeV state of $^{12}$C
Authors:
Y. Suzuki,
W. Horiuchi,
M. Kimura
Abstract:
The electric dipole transition of the 3$^-$ state at 9.64 MeV of $^{12}$C to the 2$^+$ state at 4.44 MeV is speculated to play a key role in the triple-$α$ reaction at high temperatures. A theoretical prediction of its transition width is a challenge to nuclear theory because it belongs to a class of isospin-forbidden transitions. We extend a microscopic 3$α$ cluster-model to include isospin 1 imp…
▽ More
The electric dipole transition of the 3$^-$ state at 9.64 MeV of $^{12}$C to the 2$^+$ state at 4.44 MeV is speculated to play a key role in the triple-$α$ reaction at high temperatures. A theoretical prediction of its transition width is a challenge to nuclear theory because it belongs to a class of isospin-forbidden transitions. We extend a microscopic 3$α$ cluster-model to include isospin 1 impurity components, and take into account both isovector and isoscalar electirc dipole operators. Several sets of $2^+$ and $3^-$ wave functions are generated by solving a radius-constrained equation of motion with the stochastic variational method, resulting in reproducing very well the electric quadrupole and octupole transition probabilities to the ground state. The electric dipole transition width is found to be 7--31 meV, 16 meV on the average, and more than half of the width is contributed by the isospin mixing of $α$ particles.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
The Folland-Stein spectrum of some Heisenberg Bieberbach manifolds
Authors:
Yoshiaki Suzuki
Abstract:
We study the eigenvalues and eigenfunctions of the Folland-Stein operator $\mathscr{L}_α$ on some examples of 3-dimensional Heisenberg Bieberbach manifolds, that is, compact quotients $Γ\backslash\mathbb{H}$ of the Heisenberg group $\mathbb{H}$ by a discrete torsion-free subgroup $Γ$ of $\mathbb{H}\rtimes U(1)$.
We study the eigenvalues and eigenfunctions of the Folland-Stein operator $\mathscr{L}_α$ on some examples of 3-dimensional Heisenberg Bieberbach manifolds, that is, compact quotients $Γ\backslash\mathbb{H}$ of the Heisenberg group $\mathbb{H}$ by a discrete torsion-free subgroup $Γ$ of $\mathbb{H}\rtimes U(1)$.
△ Less
Submitted 30 May, 2024; v1 submitted 22 February, 2024;
originally announced February 2024.
-
Uncovering the Sign of Nuclear Deformations: Prolate or Oblate Shape via Low-Energy $α$ Inelastic Scattering
Authors:
Shin Watanabe,
Yoshiki Suzuki,
Masaaki Kimura,
Kazuyuki Ogata
Abstract:
Background: Understanding nuclear shape is a crucial problem in nuclear physics. In particular, determining the sign of quadrupole deformation, i.e., whether prolate or oblate, remains a challenging problem. Purpose: Our aim is to propose a method for determining the sign of quadrupole deformation using $α$ inelastic scattering data and to demonstrate its effectiveness. Method: Our approach is the…
▽ More
Background: Understanding nuclear shape is a crucial problem in nuclear physics. In particular, determining the sign of quadrupole deformation, i.e., whether prolate or oblate, remains a challenging problem. Purpose: Our aim is to propose a method for determining the sign of quadrupole deformation using $α$ inelastic scattering data and to demonstrate its effectiveness. Method: Our approach is the standard coupled-channel method based on the macroscopic model. We utilize the nuclear reorientation effect, a phenomenon associated with the self coupling of excited states, as a probe sensitive to the sign of deformation. Results: We first provide an overview of how the reorientation effect influences inelastic scattering cross sections, and numerically confirm its validity in realistic cases. We then demonstrate that the sign of deformation can be uniquely determined from inelastic scattering cross section data. Conclusion: Our technique offers a systematic approach for determining the sign of deformation in both stable and unstable nuclei. The broad applicability of $α$ inelastic scattering will make it a valuable tool to study shape of nuclei, especially unstable nuclei.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
Authors:
Yudai Suzuki,
Keita Yokoyama
Abstract:
The system $Π^1_1$-$\mathsf{CA}_0$ is known as the strongest system of the \textit{big five} in reverse mathematics. It is known that some theorems represented by a $Π^1_2$ sentence, for example Kruskal's theorem, are provable from $Π^1_1$-$\mathsf{CA}_0$ but not provable from the second strongest system $\mathsf{ATR}_0$ of the big five. However, since any $Π^1_2$ sentence is not equivalent to…
▽ More
The system $Π^1_1$-$\mathsf{CA}_0$ is known as the strongest system of the \textit{big five} in reverse mathematics. It is known that some theorems represented by a $Π^1_2$ sentence, for example Kruskal's theorem, are provable from $Π^1_1$-$\mathsf{CA}_0$ but not provable from the second strongest system $\mathsf{ATR}_0$ of the big five. However, since any $Π^1_2$ sentence is not equivalent to $Π^1_1$-$\mathsf{CA}_0$, $Π^1_1$-$\mathsf{CA}_0$ is too strong to prove such theorems. In this paper, we introduce a hierarchy dividing the set $\{σ\in Π^1_2 : Π^1_1\text{-}\mathsf{CA}_0 \vdash σ\}$. Then, we give some characterizations of this hierarchy using some principles equivalent to $Π^1_1$-$\mathsf{CA}_0$: leftmost path principle, Ramsey's theorem for $Σ^0_n$ classes of $[\mathbb{N}]^{\mathbb{N}}$ and determinacy for $(Σ^0_1)_n$ classes of $\mathbb{N}^{\mathbb{N}}$. As an application, our hierarchy explicitly shows that the number of application of the hyperjump operator needed to prove $Σ^0_n$ Ramsey's theorem or $(Σ^0_1)_n$ determinacy increases when the subscript $n$ increases.
△ Less
Submitted 11 February, 2024;
originally announced February 2024.
-
Construction of Optimal Algorithms for Function Approximation in Gaussian Sobolev Spaces
Authors:
Yuya Suzuki,
Toni Karvonen
Abstract:
This paper studies function approximation in Gaussian Sobolev spaces over the real line and measures the error in a Gaussian-weighted $L^p$-norm. We construct two linear approximation algorithms using $n$ function evaluations that achieve the optimal or almost optimal rate of worst-case convergence in a Gaussian Sobolev space of order $α$. The first algorithm is based on scaled trigonometric inter…
▽ More
This paper studies function approximation in Gaussian Sobolev spaces over the real line and measures the error in a Gaussian-weighted $L^p$-norm. We construct two linear approximation algorithms using $n$ function evaluations that achieve the optimal or almost optimal rate of worst-case convergence in a Gaussian Sobolev space of order $α$. The first algorithm is based on scaled trigonometric interpolation and achieves the optimal rate $n^{-α}$ up to a logarithmic factor. This algorithm can be constructed in almost-linear time with the fast Fourier transform. The second algorithm is more complicated, being based on spline smoothing, but attains the optimal rate $n^{-α}$.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Exploring faint white dwarfs and the luminosity function with Subaru HSC and SDSS in Stripe 82
Authors:
Tian Qiu,
Masahiro Takada,
Naoki Yasuda,
Akira Tokiwa,
Kazumi Kashiyama,
Yoshihisa Suzuki,
Kenta Hotokezaka
Abstract:
We present 4,987 white dwarf (WD) candidates selected from matched stars between the multi-band imaging datasets of Subaru Hyper Suprime-Cam (HSC) Survey and SDSS in the Stripe82 region covering about 165 deg$^2$. We first select WD candidates from the "reduced proper motion" diagram that is obtained by combining the apparent magnitude in the range $i=19$ -- 24 and the proper motion measured by co…
▽ More
We present 4,987 white dwarf (WD) candidates selected from matched stars between the multi-band imaging datasets of Subaru Hyper Suprime-Cam (HSC) Survey and SDSS in the Stripe82 region covering about 165 deg$^2$. We first select WD candidates from the "reduced proper motion" diagram that is obtained by combining the apparent magnitude in the range $i=19$ -- 24 and the proper motion measured by comparing the astrometric positions of each object between the two datasets over about 14 yr time baseline. We refine the WD candidates by fitting blackbody and template WD atmosphere models to HSC photometries for each candidate, enabling the estimation of photometric distance and tangential velocity ($v_{\rm t}$) with respect to the Sun. The deep HSC data allows us to identify low-temperature ($<4000$ K) and faint WD candidates down to absolute magnitude, $M_{\rm bol}\simeq 17$. We evaluate the selection function of our WD candidates using the mock catalogue for spatial and kinematic distributions of WDs in the (thin and thick) disc and halo regions based on the standard Milky Way model. We construct the samples of disc and halo WD candidates by selecting WDs with the cuts of tangential velocity, $40<v_{\rm t}/[{\rm km}~{\rm s}^{-1}]<80$ and $200<v_{\rm t}/[{\rm km}~{\rm s}^{-1}]<500$, respectively. The total number densities of the disc and halo WDs are $(9.45 \pm 0.94) \times 10^{-3}$ pc$^{-3}$ and $(4.20 \pm 1.74) \times 10^{-4}$ pc$^{-3}$, respectively. Our LFs extend down to fainter absolute magnitudes compared with previous work. The faint WDs could represent the oldest generation of building blocks in the tens of billions of years of our Milky Way's assembly history.
△ Less
Submitted 31 January, 2024;
originally announced January 2024.
-
Efficient and high-performance routing of lattice-surgery paths on three-dimensional lattice
Authors:
Kou Hamada,
Yasunari Suzuki,
Yuuki Tokunaga
Abstract:
Encoding logical qubits with surface codes and performing multi-qubit logical operations with lattice surgery is one of the most promising approaches to demonstrate fault-tolerant quantum computing. Thus, a method to efficiently schedule a sequence of lattice-surgery operations is vital for high-performance fault-tolerant quantum computing. A possible strategy to improve the throughput of lattice-…
▽ More
Encoding logical qubits with surface codes and performing multi-qubit logical operations with lattice surgery is one of the most promising approaches to demonstrate fault-tolerant quantum computing. Thus, a method to efficiently schedule a sequence of lattice-surgery operations is vital for high-performance fault-tolerant quantum computing. A possible strategy to improve the throughput of lattice-surgery operations is splitting a large instruction into several small instructions such as Bell state preparation and measurements and executing a part of them in advance. However, scheduling methods to fully utilize this idea have yet to be explored. In this paper, we propose a fast and high-performance scheduling algorithm for lattice-surgery instructions leveraging this strategy. We achieved this by converting the scheduling problem of lattice-surgery instructions to a graph problem of embedding 3D paths into a 3D lattice, which enables us to explore efficient scheduling by solving path search problems in the 3D lattice. Based on this reduction, we propose a method to solve the path-finding problems, Dijkstra projection. We numerically show that this method reduced the execution time of benchmark programs generated from quantum phase estimation algorithms by 2.7 times compared with a naive method based on greedy algorithms. Our study establishes the relation between the lattice-surgery scheduling and graph search problems, which leads to further theoretical analysis on compiler optimization of fault-tolerant quantum computing.
△ Less
Submitted 28 January, 2024;
originally announced January 2024.
-
Entanglement Entropy via Double Cone Regularization
Authors:
Taishi Kawamoto,
Yu-ki Suzuki
Abstract:
This paper proposes an alternative regularization method for handling the ultraviolet behavior of entanglement entropy. Utilizing an $iε$ prescription in the Euclidean double cone geometry, it accurately reproduces the universal behavior of entanglement entropy. The method is demonstrated in the free boson theory in arbitrary dimensions and two-dimensional conformal field theories. The findings hi…
▽ More
This paper proposes an alternative regularization method for handling the ultraviolet behavior of entanglement entropy. Utilizing an $iε$ prescription in the Euclidean double cone geometry, it accurately reproduces the universal behavior of entanglement entropy. The method is demonstrated in the free boson theory in arbitrary dimensions and two-dimensional conformal field theories. The findings highlight the effectiveness of the $iε$ regularization method in addressing ultraviolet issues in quantum field theory and gravity, suggesting potential applications to other calculable quantities.
△ Less
Submitted 16 July, 2024; v1 submitted 30 December, 2023;
originally announced January 2024.
-
Some remarks on the $[x/n]$-sequence
Authors:
Kota Saito,
Yuta Suzuki,
Wataru Takeda,
Yuuya Yoshida
Abstract:
After the work of Bordellès, Dai, Heyman, Pan and Shparlinki (2018) and Heyman (2019), several authors studied the averages of arithmetic functions over the sequence $[x/n]$ and the integers of the form $[x/n]$. In this paper, we give three remarks on this topic. Firstly, we improve the result of Wu and Yu (2022) on the distribution of the integers of the form $[x/n]$ in arithmetic progressions by…
▽ More
After the work of Bordellès, Dai, Heyman, Pan and Shparlinki (2018) and Heyman (2019), several authors studied the averages of arithmetic functions over the sequence $[x/n]$ and the integers of the form $[x/n]$. In this paper, we give three remarks on this topic. Firstly, we improve the result of Wu and Yu (2022) on the distribution of the integers of the form $[x/n]$ in arithmetic progressions by using a variant of Dirichlet's hyperbola method. Secondly, we prove an asymptotic formula for the number of primitive lattice points with coordinates of the form $[x/n]$, for which we introduce a certain averaging trick. Thirdly, we study a certain "multiplicative" analog of the Titchmarsh divisor problem. We derive asymptotic formulas for such "multiplicative" Titchmarsh divisor problems for "small" arithmetic functions and the Euler totient function with the von Mangoldt function. However, it turns out that the average of the Euler totient function over the $[x/p]$-sequence seems rather difficult and we propose a hypothetical asymptotic formula for this average.
△ Less
Submitted 25 December, 2023;
originally announced December 2023.
-
Solar neutrino measurements using the full data period of Super-Kamiokande-IV
Authors:
Super-Kamiokande Collaboration,
:,
K. Abe,
C. Bronner,
Y. Hayato,
K. Hiraide,
K. Hosokawa,
K. Ieki,
M. Ikeda,
S. Imaizumi,
K. Iyogi,
J. Kameda,
Y. Kanemura,
R. Kaneshima,
Y. Kashiwagi,
Y. Kataoka,
Y. Kato,
Y. Kishimoto,
S. Miki,
S. Mine,
M. Miura,
T. Mochizuki,
S. Moriyama,
Y. Nagao,
M. Nakahata
, et al. (305 additional authors not shown)
Abstract:
An analysis of solar neutrino data from the fourth phase of Super-Kamiokande~(SK-IV) from October 2008 to May 2018 is performed and the results are presented. The observation time of the data set of SK-IV corresponds to $2970$~days and the total live time for all four phases is $5805$~days. For more precise solar neutrino measurements, several improvements are applied in this analysis: lowering th…
▽ More
An analysis of solar neutrino data from the fourth phase of Super-Kamiokande~(SK-IV) from October 2008 to May 2018 is performed and the results are presented. The observation time of the data set of SK-IV corresponds to $2970$~days and the total live time for all four phases is $5805$~days. For more precise solar neutrino measurements, several improvements are applied in this analysis: lowering the data acquisition threshold in May 2015, further reduction of the spallation background using neutron clustering events, precise energy reconstruction considering the time variation of the PMT gain. The observed number of solar neutrino events in $3.49$--$19.49$ MeV electron kinetic energy region during SK-IV is $65,443^{+390}_{-388}\,(\mathrm{stat.})\pm 925\,(\mathrm{syst.})$ events. Corresponding $\mathrm{^{8}B}$ solar neutrino flux is $(2.314 \pm 0.014\, \rm{(stat.)} \pm 0.040 \, \rm{(syst.)}) \times 10^{6}~\mathrm{cm^{-2}\,s^{-1}}$, assuming a pure electron-neutrino flavor component without neutrino oscillations. The flux combined with all SK phases up to SK-IV is $(2.336 \pm 0.011\, \rm{(stat.)} \pm 0.043 \, \rm{(syst.)}) \times 10^{6}~\mathrm{cm^{-2}\,s^{-1}}$. Based on the neutrino oscillation analysis from all solar experiments, including the SK $5805$~days data set, the best-fit neutrino oscillation parameters are $\rm{sin^{2} θ_{12,\,solar}} = 0.306 \pm 0.013 $ and $Δm^{2}_{21,\,\mathrm{solar}} = (6.10^{+ 0.95}_{-0.81}) \times 10^{-5}~\rm{eV}^{2}$, with a deviation of about 1.5$σ$ from the $Δm^{2}_{21}$ parameter obtained by KamLAND. The best-fit neutrino oscillation parameters obtained from all solar experiments and KamLAND are $\sin^{2} θ_{12,\,\mathrm{global}} = 0.307 \pm 0.012 $ and $Δm^{2}_{21,\,\mathrm{global}} = (7.50^{+ 0.19}_{-0.18}) \times 10^{-5}~\rm{eV}^{2}$.
△ Less
Submitted 20 February, 2024; v1 submitted 20 December, 2023;
originally announced December 2023.