-
Interpolant of truncated multiple zeta functions
Authors:
Kentaro Ihara,
Yayoi Nakamura,
Shuji Yamamoto
Abstract:
We introduce an analytic function $Ψ(s_1,\ldots,s_r;w)$ that interpolates truncated multiple zeta functions $ζ_N(s_1,\ldots,s_r)$. We represent this interpolant as a Mellin transform of a function $G(q_1,\ldots,q_r;w)$ and, using this expression, give the analytic continuation. Further, the harmonic product relations for $Ψ$ and $G$ are established via relevant Hopf algebra structures, and some pr…
▽ More
We introduce an analytic function $Ψ(s_1,\ldots,s_r;w)$ that interpolates truncated multiple zeta functions $ζ_N(s_1,\ldots,s_r)$. We represent this interpolant as a Mellin transform of a function $G(q_1,\ldots,q_r;w)$ and, using this expression, give the analytic continuation. Further, the harmonic product relations for $Ψ$ and $G$ are established via relevant Hopf algebra structures, and some properties of the function $G$ are provided.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
Contrasting magnetothermal conductivity in sibling Co-based honeycomb-lattice antiferromagnets
Authors:
Masato Ueno,
Takashi Kurumaji,
Shunsuke Kitou,
Masaki Gen,
Yuiga Nakamura,
Yusuke Tokunaga,
Taka-hisa Arima
Abstract:
Honeycomb-lattice antiferromagnets have attracted wide attention for exploration of exotic heat transport and their interplay with magnetic excitations. In this work, we have revealed a contrasting behavior in the magneto-thermal conductivity (MTC) between two Co-based honeycomb-lattice magnets Co4M2O9 (M = Nb, Ta), despite their identical lattice structures and quite similar magnetism. Co4Ta2O9 e…
▽ More
Honeycomb-lattice antiferromagnets have attracted wide attention for exploration of exotic heat transport and their interplay with magnetic excitations. In this work, we have revealed a contrasting behavior in the magneto-thermal conductivity (MTC) between two Co-based honeycomb-lattice magnets Co4M2O9 (M = Nb, Ta), despite their identical lattice structures and quite similar magnetism. Co4Ta2O9 exhibits enhanced MTC of about 550% at 9 T of an in-plane magnetic field, comparable to other honeycomb-magnets, while MTC for Co4Nb2O9 reaches only ~30%. This marked difference is ascribed to distinct features in the field-induced evolution of magnetic excitations that resonantly scatter phonons. This finding sheds light on implicit impacts of non-magnetic ions on thermal transport, and hints at the potential for broad heat-transport tunability while preserving magnetism and lattice structures.
△ Less
Submitted 18 July, 2024; v1 submitted 1 July, 2024;
originally announced July 2024.
-
New high-precision measurement system for electron-positron pairs from sub-GeV/GeV gamma-rays in the emulsion telescope
Authors:
Yuya Nakamura,
Shigeki Aoki,
Tomohiro Hayakawa,
Atsushi Iyono,
Ayaka Karasuno,
Kohichi Kodama,
Ryosuke Komatani,
Masahiro Komatsu,
Masahiro Komiyama,
Kenji Kuretsubo,
Toshitsugu Marushima,
Syota Matsuda,
Kunihiro Morishima,
Misaki Morishita,
Naotaka Naganawa,
Mitsuhiro Nakamura,
Motoya Nakamura,
Takafumi Nakamura,
Noboru Nakano,
Toshiyuki Nakano,
Akira Nishio,
Miyuki Oda,
Hiroki Rokujo,
Osamu Sato,
Kou Sugimura
, et al. (5 additional authors not shown)
Abstract:
The GRAINE project observes cosmic gamma-rays, using a balloon-borne emulsion-film-based telescope in the sub-GeV/GeV energy band. We reported in our previous balloon experiment in 2018, GRAINE2018, the detection of the known brightest source, Vela pulsar, with the highest angular resolution ever reported in an energy range of $>$80 MeV. However, the emulsion scanning system used in the experiment…
▽ More
The GRAINE project observes cosmic gamma-rays, using a balloon-borne emulsion-film-based telescope in the sub-GeV/GeV energy band. We reported in our previous balloon experiment in 2018, GRAINE2018, the detection of the known brightest source, Vela pulsar, with the highest angular resolution ever reported in an energy range of $>$80 MeV. However, the emulsion scanning system used in the experiment was designed to achieve a high-speed scanning, and it was not accurate enough to ensure the optimum spacial resolution of the emulsion film and limited the performance. Here, we report a new high-precision scanning system that can be used to greatly improve the observation result of GRAINE2018 and also be employed in future experiments. The system involves a new algorithm that recognizes each silver grain on an emulsion film and is capable of measuring tracks with a positional resolution for the passing points of tracks of almost the same as the intrinsic resolution of nuclear emulsion film ($\sim$70 nm). This resolution is approximately one order of magnitude smaller than that obtained with the high-speed scanning system. With this system, an angular resolution for gamma-rays of 0.1$^\circ$ at 1 GeV is expected to be achieved. Furthermore, we successfully combine the new high-precision system with the existing high-speed system, establishing the system to make a high-speed and high-precision measurement. Employing these systems, we reanalyze the gamma-ray events detected previously by only the high-speed system in GRAINE2018 and obtain an about three times higher angular resolution (0.22$^\circ$) in 500--700 MeV than the original value. The high-resolution observation may bring new insights into the gamma-ray emission from the Galactic center region and may realize polarization measurements of high-energy cosmic gamma-rays.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
A hybrid atom tweezer array of nuclear spin and optical clock qubits
Authors:
Yuma Nakamura,
Toshi Kusano,
Rei Yokoyama,
Keito Saito,
Koichiro Higashi,
Naoya Ozawa,
Tetsushi Takano,
Yosuke Takasu,
Yoshiro Takahashi
Abstract:
While data qubits with a long coherence time are essential for the storage of quantum information, ancilla qubits are pivotal in quantum error correction (QEC) for fault-tolerant quantum computing. The recent development of optical tweezer arrays, such as the preparation of large-scale qubit arrays and high-fidelity gate operations, offers the potential for realizing QEC protocols, and one of the…
▽ More
While data qubits with a long coherence time are essential for the storage of quantum information, ancilla qubits are pivotal in quantum error correction (QEC) for fault-tolerant quantum computing. The recent development of optical tweezer arrays, such as the preparation of large-scale qubit arrays and high-fidelity gate operations, offers the potential for realizing QEC protocols, and one of the important next challenges is to control and detect ancilla qubits while minimizing atom loss and crosstalk. Here, we present the realization of a hybrid system consisting of a dual-isotope ytterbium (Yb) atom array, in which we can utilize a nuclear spin qubit of fermionic ${}^{171}\mathrm{Yb}$ as a data qubit and an optical clock qubit of bosonic ${}^{174}\mathrm{Yb}$ as an ancilla qubit with a capacity of non-destructive qubit readout. We evaluate the crosstalk between qubits regarding the impact on the coherence of the nuclear spin qubits from the imaging light for ${}^{174}\mathrm{Yb}$. The Ramsey sequence with a 556 nm probe beam shows negligible influence on the coherence up to 100 ms exposure time. In the Hahn-echo sequence with a 399 nm probe and 556 nm cooling beams for ${}^{174}\mathrm{Yb}$, we observe retaining a 98.4(2.1) % coherence under 30 ms exposure. This result highlights the potential of the hybrid-Yb atom array for ancilla-qubit-based QEC protocols.
△ Less
Submitted 27 June, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
Josephson Parametric Amplifier based Quantum Noise Limited Amplifier Development for Axion Search Experiments in CAPP
Authors:
Sergey V. Uchaikin,
Jinmyeong Kim,
Caglar Kutlu,
Boris I. Ivanov,
Jinsu Kim,
Arjan F. van Loo,
Yasunobu Nakamura,
Saebyeok Ahn,
Seonjeong Oh,
Minsu Ko,
Yannis K. Semertzidis
Abstract:
This paper provides a comprehensive overview of the development of flux-driven Josephson Parametric Amplifiers (JPAs) as Quantum Noise Limited Amplifier for axion search experiments conducted at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science. It focuses on the characterization, and optimization of JPAs, which are crucial for achieving the highest sens…
▽ More
This paper provides a comprehensive overview of the development of flux-driven Josephson Parametric Amplifiers (JPAs) as Quantum Noise Limited Amplifier for axion search experiments conducted at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science. It focuses on the characterization, and optimization of JPAs, which are crucial for achieving the highest sensitivity in axion particle detection. We discuss various characterization techniques, methods for improving bandwidth, and the attainment of ultra-low noise temperatures. JPAs have emerged as indispensable tools in CAPPs axion search endeavors, playing a significant role in advancing our understanding of fundamental physics and unraveling the mysteries of the universe.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Surface criticality in the mixed-field Ising model with sign-inverted next-nearest-neighbor interaction
Authors:
Yuki Nakamura,
Ryui Kaneko,
Ippei Danshita
Abstract:
Rydberg atoms in an optical tweezer array have been used as a quantum simulator of the spin-$1/2$ antiferromagnetic Ising model with longitudinal and transverse fields. We suggest how to implement the next-nearest-neighbor (NNN) interaction whose sign is opposite to that of the nearest neighbor one in the Rydberg atom systems. We show that this can be achieved by weakly coupling one Rydberg state…
▽ More
Rydberg atoms in an optical tweezer array have been used as a quantum simulator of the spin-$1/2$ antiferromagnetic Ising model with longitudinal and transverse fields. We suggest how to implement the next-nearest-neighbor (NNN) interaction whose sign is opposite to that of the nearest neighbor one in the Rydberg atom systems. We show that this can be achieved by weakly coupling one Rydberg state with another Rydberg state. We further study the surface criticality associated with the first-order quantum phase transition between the antiferromagnetic and paramagnetic phases, which emerges due to the sign-inverted NNN interaction. From the microscopic model, we derive a Ginzburg-Landau (GL) equation, which describes static and dynamic properties of the antiferromagnetic order parameter near the transition. Using both analytical GL theory and numerical method based on a mean-field theory, we calculate the order parameter in the proximity of a boundary of the system in order to show that the healing length of the order parameter logarithmically diverges, signaling the surface criticality.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Pb Substitution Effects on Lattice and Electronic System of the BiS2-based Superconductors La(O F)BiS2
Authors:
Miku Sasaki,
Kotaro Inada,
Fumito Mori,
Takaaki Hirase,
Haruki Yamada,
Shota Shimoyama,
Yasushi Nakamura,
Tetta Nakamura,
Yoshiyuki Shibayama,
Naoki Momono
Abstract:
We examined the effect of Pb substitution in the layered superconductor LaO0.5F0.5Bi1-xPbxS2 (x=0~0.15) through the measurements of the resistivity, thermal expansion, specific heat, and Seebeck coefficient. These transport and thermal properties show anomalies at certain temperatures (T*) for x${\geq}$0.08. The large thermal expansion anomalies, specific heat anomalies, and the existence of hyste…
▽ More
We examined the effect of Pb substitution in the layered superconductor LaO0.5F0.5Bi1-xPbxS2 (x=0~0.15) through the measurements of the resistivity, thermal expansion, specific heat, and Seebeck coefficient. These transport and thermal properties show anomalies at certain temperatures (T*) for x${\geq}$0.08. The large thermal expansion anomalies, specific heat anomalies, and the existence of hystereses in the above measurements indicate a first-order structural phase transition at T*. Additionally, the Seebeck coefficient indicates that the anomalies at T* are related not only to the lattice system, but also to the electronic system. Superconductivity is not observed above 2 K at x=0.08, which is around the phase boundary where T* vanishes. The suppression of superconductivity around the structural phase boundary suggests a close relationship between the lattice and superconductivity.
△ Less
Submitted 5 June, 2024; v1 submitted 3 June, 2024;
originally announced June 2024.
-
Estimating Speech Duration by Measuring the Abdominal Movement Using a Barometric Sensor
Authors:
Rintaro Katagiri,
Yutaka Arakawa,
Yugo Nakamura
Abstract:
Measuring the amount of speech production in daily life is important for understanding communication in organizations and identifying mental disorders. However, measuring the amount of speech production can be problematic in terms of privacy. We observed the whole body condition during speech and noted that the abdomen strains during speech production.Therefore, we developed a less uncomfortable,…
▽ More
Measuring the amount of speech production in daily life is important for understanding communication in organizations and identifying mental disorders. However, measuring the amount of speech production can be problematic in terms of privacy. We observed the whole body condition during speech and noted that the abdomen strains during speech production.Therefore, we developed a less uncomfortable, inflatable abdominal motion measurement device using a barometric sensor to measure speech production indirectly. We measured speech production in 10 subjects and created a speech discrimination model using machine learning. However, the estimated speech duration in an actual meeting using this model was much longer than the actual duration. We found that the wearer's posture significantly affects the accuracy of the speech discrimination model developed in this study. We plan to improve the abdominal motion measurement device to minimize the effect of posture and achieve more accurate speech production measurement.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Zero-shot Degree of Ill-posedness Estimation for Active Small Object Change Detection
Authors:
Koji Takeda,
Kanji Tanaka,
Yoshimasa Nakamura,
Asako Kanezaki
Abstract:
In everyday indoor navigation, robots often needto detect non-distinctive small-change objects (e.g., stationery,lost items, and junk, etc.) to maintain domain knowledge. Thisis most relevant to ground-view change detection (GVCD), a recently emerging research area in the field of computer vision.However, these existing techniques rely on high-quality class-specific object priors to regularize a c…
▽ More
In everyday indoor navigation, robots often needto detect non-distinctive small-change objects (e.g., stationery,lost items, and junk, etc.) to maintain domain knowledge. Thisis most relevant to ground-view change detection (GVCD), a recently emerging research area in the field of computer vision.However, these existing techniques rely on high-quality class-specific object priors to regularize a change detector modelthat cannot be applied to semantically nondistinctive smallobjects. To address ill-posedness, in this study, we explorethe concept of degree-of-ill-posedness (DoI) from the newperspective of GVCD, aiming to improve both passive and activevision. This novel DoI problem is highly domain-dependent,and manually collecting fine-grained annotated training datais expensive. To regularize this problem, we apply the conceptof self-supervised learning to achieve efficient DoI estimationscheme and investigate its generalization to diverse datasets.Specifically, we tackle the challenging issue of obtaining self-supervision cues for semantically non-distinctive unseen smallobjects and show that novel "oversegmentation cues" from openvocabulary semantic segmentation can be effectively exploited.When applied to diverse real datasets, the proposed DoI modelcan boost state-of-the-art change detection models, and it showsstable and consistent improvements when evaluated on real-world datasets.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Parameter optimization of Josephson parametric amplifiers using a heuristic search algorithm for axion haloscope search
Authors:
Younggeun Kim,
Junu Jeong,
SungWoo Youn,
Sungjae Bae,
Arjan F. van Loo,
Yasunobu Nakamura,
Sergey Uchaikin,
Yannis K. Semertzidis
Abstract:
The cavity haloscope is among the most widely adopted experimental platforms designed to detect dark matter axions with its principle relying on the conversion of axions into microwave photons in the presence of a strong magnetic field. The Josephson parametric amplifier (JPA), known for its quantum-limited noise characteristics, has been incorporated in the detection system to capture the weakly…
▽ More
The cavity haloscope is among the most widely adopted experimental platforms designed to detect dark matter axions with its principle relying on the conversion of axions into microwave photons in the presence of a strong magnetic field. The Josephson parametric amplifier (JPA), known for its quantum-limited noise characteristics, has been incorporated in the detection system to capture the weakly interacting axion signals. However, the performance of the JPA can be influenced by its environment, leading to potential unreliability of a predefined parameter set obtained in a specific laboratory setting. Furthermore, conducting a broadband search requires consecutive characterization of the amplifier across different tuning frequencies. To ensure more reliable measurements, we utilize the Nelder-Mead technique as a numerical search method to dynamically determine the optimal operating conditions. This heuristic search algorithm explores the multidimensional parameter space of the JPA, optimizing critical characteristics such as gain and noise temperature to maximize signal-to-noise ratios for a given experimental setup. Our study presents a comprehensive analysis of the properties of a flux-driven JPA to demonstrate the effectiveness of the algorithm. This approach contributes to ongoing efforts in axion dark matter research by offering an efficient method to enhance axion detection sensitivity through the optimized utilization of JPAs.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
A counterexample to the PIA conjecture for minimal log discrepancies
Authors:
Yusuke Nakamura,
Kohsuke Shibata
Abstract:
We give a counterexample to the PIA (precise inversion of adjunction) conjecture for minimal log discrepancies. We also give a counterexample to the LSC conjecture for families.
We give a counterexample to the PIA (precise inversion of adjunction) conjecture for minimal log discrepancies. We also give a counterexample to the LSC conjecture for families.
△ Less
Submitted 29 April, 2024; v1 submitted 9 April, 2024;
originally announced April 2024.
-
High-energy extension of the gamma-ray band observable with an electron-tracking Compton camera
Authors:
Tomohiko Oka,
Shingo Ogio,
Mitsuru Abe,
Kenji Hamaguchi,
Tomonori Ikeda,
Hidetoshi Kubo,
Shunsuke Kurosawa,
Kentaro Miuchi,
Yoshitaka Mizumura,
Yuta Nakamura,
Tatsuya Sawano,
Atsushi Takada,
Taito Takemura,
Toru Tanimori,
Kei Yoshikawa
Abstract:
Although the MeV gamma-ray band is a promising energy-band window in astrophysics, the current situation of MeV gamma-ray astronomy significantly lags behind those of the other energy bands in angular resolution and sensitivity. An electron-tracking Compton camera (ETCC), a next-generation MeV detector, is expected to revolutionize the situation. An ETCC tracks each Compton-recoil electron with a…
▽ More
Although the MeV gamma-ray band is a promising energy-band window in astrophysics, the current situation of MeV gamma-ray astronomy significantly lags behind those of the other energy bands in angular resolution and sensitivity. An electron-tracking Compton camera (ETCC), a next-generation MeV detector, is expected to revolutionize the situation. An ETCC tracks each Compton-recoil electron with a gaseous electron tracker and determines the incoming direction of each gamma-ray photon; thus, it has a strong background rejection power and yields a better angular resolution than classical Compton cameras. Here, we study ETCC events in which the Compton-recoil electrons do not deposit all energies to the electron tracker but escape and hit the surrounding pixel scintillator array (PSA). We developed an analysis method for this untapped class of events and applied it to laboratory and simulation data. We found that the energy spectrum obtained from the simulation agreed with that of the actual data within a factor of 1.2. We then evaluated the detector performance using the simulation data. The angular resolution for the new-class events was found to be twice as good as in the previous study at the energy range 1.0--2.0~MeV, where both analyses overlap. We also found that the total effective area is dominated by the contribution of the double-hit events above an energy of 1.5~MeV. Notably, applying this new method extends the sensitive energy range with the ETCC from 0.2--2.1 MeV in the previous studies to up to 3.5~MeV. Adjusting the PSA dynamic range should improve the sensitivity in even higher energy gamma-rays. The development of this new analysis method would pave the way for future observations by ETCC to fill the MeV-band sensitivity gap in astronomy.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Realization of High-Fidelity CZ Gate based on a Double-Transmon Coupler
Authors:
Rui Li,
Kentaro Kubo,
Yinghao Ho,
Zhiguang Yan,
Yasunobu Nakamura,
Hayato Goto
Abstract:
Striving for higher gate fidelity is crucial not only for enhancing existing noisy intermediate-scale quantum (NISQ) devices but also for unleashing the potential of fault-tolerant quantum computation through quantum error correction. A recently proposed theoretical scheme, the double-transmon coupler (DTC), aims to achieve both suppressed residual interaction and a fast high-fidelity two-qubit ga…
▽ More
Striving for higher gate fidelity is crucial not only for enhancing existing noisy intermediate-scale quantum (NISQ) devices but also for unleashing the potential of fault-tolerant quantum computation through quantum error correction. A recently proposed theoretical scheme, the double-transmon coupler (DTC), aims to achieve both suppressed residual interaction and a fast high-fidelity two-qubit gate simultaneously, particularly for highly detuned qubits. Harnessing the state-of-the-art fabrication techniques and a model-free pulse-optimization process based on reinforcement learning, we translate the theoretical DTC scheme into reality, attaining fidelities of 99.92% for a CZ gate and 99.98% for single-qubit gates. The performance of the DTC scheme demonstrates its potential as a competitive building block for superconducting quantum processors.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Extensive search for axion dark matter over 1\,GHz with CAPP's Main Axion eXperiment
Authors:
Saebyeok Ahn,
JinMyeong Kim,
Boris I. Ivanov,
Ohjoon Kwon,
HeeSu Byun,
Arjan F. van Loo,
SeongTae Par,
Junu Jeong,
Soohyung Lee,
Jinsu Kim,
Çağlar Kutlu,
Andrew K. Yi,
Yasunobu Nakamura,
Seonjeong Oh,
Danho Ahn,
SungJae Bae,
Hyoungsoon Choi,
Jihoon Choi,
Yonuk Chong,
Woohyun Chung,
Violeta Gkika,
Jihn E. Kim,
Younggeun Kim,
Byeong Rok Ko,
Lino Miceli
, et al. (11 additional authors not shown)
Abstract:
We report an extensive high-sensitivity search for axion dark matter above 1\,GHz at the Center for Axion and Precision Physics Research (CAPP). The cavity resonant search, exploiting the coupling between axions and photons, explored the frequency (mass) range of 1.025\,GHz (4.24\,$μ$eV) to 1.185\,GHz (4.91\,$μ$eV). We have introduced a number of innovations in this field, demonstrating the practi…
▽ More
We report an extensive high-sensitivity search for axion dark matter above 1\,GHz at the Center for Axion and Precision Physics Research (CAPP). The cavity resonant search, exploiting the coupling between axions and photons, explored the frequency (mass) range of 1.025\,GHz (4.24\,$μ$eV) to 1.185\,GHz (4.91\,$μ$eV). We have introduced a number of innovations in this field, demonstrating the practical approach of optimizing all the relevant parameters of axion haloscopes, extending presently available technology. The CAPP 12\,T magnet with an aperture of 320\,mm made of Nb$_3$Sn and NbTi superconductors surrounding a 37-liter ultralight-weight copper cavity is expected to convert DFSZ axions into approximately $10^2$ microwave photons per second. A powerful dilution refrigerator, capable of keeping the core system below 40\,mK, combined with quantum-noise limited readout electronics, achieved a total system noise of about 200\,mK or below, which corresponds to a background of roughly $4\times 10^3$ photons per second within the axion bandwidth. The combination of all those improvements provides unprecedented search performance, imposing the most stringent exclusion limits on axion--photon coupling in this frequency range to date. These results also suggest an experimental capability suitable for highly-sensitive searches for axion dark matter above 1\,GHz.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
The parity-odd structure function of nucleon from the Compton amplitude
Authors:
K. U. Can,
R. Horsley,
Y. Nakamura,
P. E. L. Rakow,
G. Schierholz,
H. Stüben,
R. D. Young,
J. M. Zanotti
Abstract:
The dominant contribution to the theoretical uncertainty in the extracted weak parameters of the Standard Model comes from the hadronic uncertainties in the electroweak boxes, i.e. $γ-W^\pm/Z$ exchange diagrams. A dispersive analysis relates the box diagrams to the parity-odd structure function, $F_3$, for which the experimental data either do not exist or belong to a separate isospin channel. The…
▽ More
The dominant contribution to the theoretical uncertainty in the extracted weak parameters of the Standard Model comes from the hadronic uncertainties in the electroweak boxes, i.e. $γ-W^\pm/Z$ exchange diagrams. A dispersive analysis relates the box diagrams to the parity-odd structure function, $F_3$, for which the experimental data either do not exist or belong to a separate isospin channel. Therefore a first-principles calculation of $F_3$ is highly desirable. In this contribution, we report on the QCDSF/UKQCD Collaboration's progress in calculating the moments of the $F_3^{γZ}$ structure function from the forward Compton amplitude at the SU(3) symmetric point.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
Axial U(1) symmetry near the pseudocritical temperature in $N_f=2+1$ lattice QCD with chiral fermions
Authors:
Sinya Aoki,
Yasumichi Aoki,
Hidenori Fukaya,
Shoji Hashimoto,
Issaku Kanamori,
Takashi Kaneko,
Yoshifumi Nakamura,
Christian Rohrhofer,
Kei Suzuki,
David Ward
Abstract:
We study the $U(1)_A$ anomaly at high temperatures of $N_f=2+1$ lattice QCD with chiral fermions. Gauge ensembles are generated with Möbius domain-wall (MDW) fermions, and the measurements are reweighted to those with overlap fermions. We report on the results for the Dirac spectra, the $U(1)_A$ susceptibility, and the topological susceptibility in the temperature range of $T=136$, $153$, $175$, a…
▽ More
We study the $U(1)_A$ anomaly at high temperatures of $N_f=2+1$ lattice QCD with chiral fermions. Gauge ensembles are generated with Möbius domain-wall (MDW) fermions, and the measurements are reweighted to those with overlap fermions. We report on the results for the Dirac spectra, the $U(1)_A$ susceptibility, and the topological susceptibility in the temperature range of $T=136$, $153$, $175$, and $204$ MeV, where the up and down quark masses are set to be near the physical point as well as at lighter or heavier masses.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Well-posedness results for general reaction-diffusion transport of oxygen in encapsulated cells
Authors:
Yuma Nakamura,
Kharisma Surya Putri,
Alef Sterk,
Thomas Geert de Jong
Abstract:
In this paper, we provide well-posedness results for nonlinear parabolic PDEs given by reaction-diffusion equations describing the concentration of oxygen in encapsulated cells. The cells are described in terms of a core and a shell, which introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. In addition, the cells are subject to general nonlinea…
▽ More
In this paper, we provide well-posedness results for nonlinear parabolic PDEs given by reaction-diffusion equations describing the concentration of oxygen in encapsulated cells. The cells are described in terms of a core and a shell, which introduces a discontinuous diffusion coefficient as the material properties of the core and shell differ. In addition, the cells are subject to general nonlinear consumption of oxygen. As no monotonicity condition is imposed on the consumption monotone operator theory cannot be used. Moreover, the discontinuity in the diffusion coefficient bars us to apply classical results. However, by directly applying a Galerkin method we obtain uniqueness and existence of the strong form solution. These results will provide the basis to study the dynamics of cells in critical states.
△ Less
Submitted 3 July, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
Chiral susceptibility and axial U(1) anomaly near the (pseudo-)critical temperature
Authors:
S. Aoki,
Y. Aoki,
H. Fukaya,
S. Hashimoto,
I. Kanamori,
T. Kaneko,
Y. Nakamura,
K. Suzuki,
D. Ward
Abstract:
We investigate relations between the chiral susceptibility and axial $U(1)$ anomaly in lattice QCD at high temperatures. Employing the exactly chiral symmetric Dirac operator, we separate the purely axial $U(1)$ breaking effect in the connected and disconnected chiral susceptibilites in a theoretically clean manner. Preliminary results for two-flavor lattice QCD near the critical temperature are p…
▽ More
We investigate relations between the chiral susceptibility and axial $U(1)$ anomaly in lattice QCD at high temperatures. Employing the exactly chiral symmetric Dirac operator, we separate the purely axial $U(1)$ breaking effect in the connected and disconnected chiral susceptibilites in a theoretically clean manner. Preliminary results for two-flavor lattice QCD near the critical temperature are presented.
△ Less
Submitted 26 March, 2024; v1 submitted 12 January, 2024;
originally announced January 2024.
-
Exploring the QCD phase diagram with three flavors of Möbius domain wall fermions
Authors:
Yu Zhang,
Yasumichi Aoki,
Shoji Hashimoto,
Issaku Kanamori,
Takashi Kaneko,
Yoshifumi Nakamura
Abstract:
We present an update on the study of the QCD phase transition with 3 flavors of Möbius domain wall fermions at zero baryon density. We performed simulations on lattices of size $36^3\times12\times16$ and $24^3\times12\times32$ with a variety of quark masses at a fixed lattice spacing $a=0.1361(20)$ fm, which correspond to a temperature 121(2) MeV. By analyzing the chiral condensate, chiral suscept…
▽ More
We present an update on the study of the QCD phase transition with 3 flavors of Möbius domain wall fermions at zero baryon density. We performed simulations on lattices of size $36^3\times12\times16$ and $24^3\times12\times32$ with a variety of quark masses at a fixed lattice spacing $a=0.1361(20)$ fm, which correspond to a temperature 121(2) MeV. By analyzing the chiral condensate, chiral susceptibilitities and Binder cumulant on $36^3\times12\times16$ lattices together with the result obtained from our previous study on $24^3\times12\times16$ lattices, we identified a crossover occurring at quark mass around $m_q^{\mathrm{\overline {MS}}}(2\, \mathrm{GeV}) \sim 3-4$ MeV for this temperature. Besides, we show the effects of residual chiral symmetry breaking on chiral condensate and chiral susceptibilities between $L_s=16$ and 32.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Cluster rearrangement by chiral charge order in lacunar spinel GaNb$_4$Se$_8$
Authors:
Shunsuke Kitou,
Masaki Gen,
Yuiga Nakamura,
Yusuke Tokunaga,
Taka-hisa Arima
Abstract:
Transition-metal atoms with d electrons sometimes form clusters in crystals, which significantly affects the physical properties. Such a cluster formation frequently accompanies a change in the crystal system, leading to the presence of domains with different crystal orientations. In particular, the cubic symmetry is rarely retained after the cluster formation. Here, we identify a cubic-to-cubic p…
▽ More
Transition-metal atoms with d electrons sometimes form clusters in crystals, which significantly affects the physical properties. Such a cluster formation frequently accompanies a change in the crystal system, leading to the presence of domains with different crystal orientations. In particular, the cubic symmetry is rarely retained after the cluster formation. Here, we identify a cubic-to-cubic phase transition in lacunar spinel GaNb$_4$Se$_8$, where the change in the lattice parameter is less than 0.0001%. Each Nb$^{3.25+}$ tetramer with seven 4d electrons is distorted into a Nb$^{3+}$ trimer and a Nb$^{4+}$ monomer induced by charge disproportionation among Nb ions. While the Nb$^{3+}$ trimer with six 4d electrons forms spin-singlets in the sigma-bonding orbitals for three Nb-Nb bonds, a localized S=1/2 spin remains on the Nb$^{4+}$ ion. Furthermore, a local electric dipole moment is induced along the three-fold rotation axis of each distorted tetramer by the cluster rearrangement. The electric dipole moments are regularly arranged to maintain the cubic symmetry, giving rise to chiral order.
△ Less
Submitted 11 March, 2024; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Experimental search for invisible dark matter axions around 22 μeV
Authors:
Younggeun Kim,
Junu Jeong,
SungWoo Youn,
Sungjae Bae,
Kiwoong Lee,
Arjan F. van Loo,
Yasunobu Nakamura,
Seonjeong Oh,
Taehyeon Seong,
Sergey Uchaikin,
Jihn E. Kim,
Yannis K. Semertzidis
Abstract:
The axion has emerged as the most attractive solution to two fundamental questions in modern physics related to the charge-parity invariance in strong interactions and the invisible matter component of our universe. Over the past decade, there have been many theoretical efforts to constrain the axion mass based on various cosmological assumptions. Interestingly, different approaches from independe…
▽ More
The axion has emerged as the most attractive solution to two fundamental questions in modern physics related to the charge-parity invariance in strong interactions and the invisible matter component of our universe. Over the past decade, there have been many theoretical efforts to constrain the axion mass based on various cosmological assumptions. Interestingly, different approaches from independent groups produce good overlap between 20 and 30 μeV. We performed an experimental search to probe the presence of dark matter axions within this particular mass region. The experiment utilized a multi-cell cavity haloscope embedded in a 12 T magnetic field to seek for microwave signals induced by the axion-photon coupling. The results ruled out the KSVZ axions as dark matter over a mass range between 21.86 and 22.00 μeV at a 90% confidence level. This represents a sensitive experimental search guided by specific theoretical predictions
△ Less
Submitted 1 July, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Inversion of adjunction for quotient singularities III: semi-invariant case
Authors:
Yusuke Nakamura,
Kohsuke Shibata
Abstract:
We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for them. These results extend the results in our first paper, where we prove the same results for complete intersection varieties defined by ``invariant equations"…
▽ More
We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for them. These results extend the results in our first paper, where we prove the same results for complete intersection varieties defined by ``invariant equations".
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Anisotropic Optical Conductivity Accompanied by a Small Energy Gap in One-Dimensional Thermoelectric Telluride Ta4SiTe4
Authors:
Fumiya Matsunaga,
Yoshihiko Okamoto,
Yasunori Yokoyama,
Kanji Takehana,
Yasutaka Imanaka,
Yuto Nakamura,
Hideo Kishida,
Shoya Kawano,
Kazuyuki Matsuhira,
Koshi Takenaka
Abstract:
We investigated the optical properties of single crystals of one-dimensional telluride Ta4SiTe4, which shows high thermoelectric performance below room temperature. Optical conductivity estimated from reflectivity spectra indicates the presence of a small energy gap of 0.1-0.15 eV at the Fermi energy. At the lowest energy, optical conductivity along the Ta4SiTe4 chain is an order of magnitude high…
▽ More
We investigated the optical properties of single crystals of one-dimensional telluride Ta4SiTe4, which shows high thermoelectric performance below room temperature. Optical conductivity estimated from reflectivity spectra indicates the presence of a small energy gap of 0.1-0.15 eV at the Fermi energy. At the lowest energy, optical conductivity along the Ta4SiTe4 chain is an order of magnitude higher than that perpendicular to this direction, reflecting the anisotropic electron conduction in Ta4SiTe4. These results indicate that coexistence of a very small band gap and anisotropic electron conduction is a promising strategy to develop a high-performance thermoelectric material for low temperature applications.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Demonstration of microwave single-shot quantum key distribution
Authors:
F. Fesquet,
F. Kronowetter,
M. Renger,
W. K. Yam,
S. Gandorfer,
K. Inomata,
Y. Nakamura,
A. Marx,
R. Gross,
K. G. Fedorov
Abstract:
Security of modern classical data encryption often relies on computationally hard problems, which can be trivialized with the advent of quantum computers. A potential remedy for this is quantum communication which takes advantage of the laws of quantum physics to provide secure exchange of information. Here, quantum key distribution (QKD) represents a powerful tool, allowing for unconditionally se…
▽ More
Security of modern classical data encryption often relies on computationally hard problems, which can be trivialized with the advent of quantum computers. A potential remedy for this is quantum communication which takes advantage of the laws of quantum physics to provide secure exchange of information. Here, quantum key distribution (QKD) represents a powerful tool, allowing for unconditionally secure quantum communication between remote parties. At the same time, microwave quantum communication is set to play an important role in future quantum networks because of its natural frequency compatibility with superconducting quantum processors and modern near-distance communication standards. To this end, we present an experimental realization of a continuous-variable QKD protocol based on propagating displaced squeezed microwave states. We use superconducting parametric devices for generation and single-shot quadrature detection of these states. We demonstrate unconditional security in our experimental microwave QKD setting. We show that security performance can be improved by adding finite trusted noise to the preparation side. Our results indicate feasibility of secure microwave quantum communication with the currently available technology in both open-air (up to $\sim$ 80 m) and cryogenic (over 1000 m) conditions.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
Adaptive measurement strategy for quantum subspace methods
Authors:
Yuma Nakamura,
Yoshichika Yano,
Nobuyuki Yoshioka
Abstract:
Estimation of physical observables for unknown quantum states is an important problem that underlies a wide range of fields, including quantum information processing, quantum physics, and quantum chemistry. In the context of quantum computation, in particular, existing studies have mainly focused on holistic state tomography or estimation on specific observables with known classical descriptions,…
▽ More
Estimation of physical observables for unknown quantum states is an important problem that underlies a wide range of fields, including quantum information processing, quantum physics, and quantum chemistry. In the context of quantum computation, in particular, existing studies have mainly focused on holistic state tomography or estimation on specific observables with known classical descriptions, while this lacks the important class of problems where the estimation target itself relies on the measurement outcome. In this work, we propose an adaptive measurement optimization method that is useful for the quantum subspace methods, namely the variational simulation methods that utilize classical postprocessing on measurement outcomes. The proposed method first determines the measurement protocol for classically simulatable states, and then adaptively updates the protocol of quantum subspace expansion (QSE) according to the quantum measurement result. As a numerical demonstration, we have shown for excited-state simulation of molecules that (i) we are able to reduce the number of measurements by an order of magnitude by constructing an appropriate measurement strategy (ii) the adaptive iteration converges successfully even for a strongly correlated molecule of H$_4$. Our work reveals that the potential of the QSE method can be empowered by elaborated measurement protocols, and opens a path to further pursue efficient quantum measurement techniques in practical computations.
△ Less
Submitted 20 May, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
Spatial distribution of reduced density of hard spheres near a hard-sphere dimer: Results from three-dimensional Ornstein-Zernike equations coupled with several different closures and from grand canonical Monte Carlo simulation
Authors:
Mika Matsuo,
Yuka Nakamura,
Masahiro Kinoshita,
Ryo Akiyama
Abstract:
We calculated the spatial distribution of reduced density and pair distribution function (PDF) of solvent hard spheres near a solute using three-dimensional Ornstein-Zernike (OZ) equations coupled with closures in which Percus-Yevick (PY) and hypernetted-chain (HNC) approximations were employed or bridge functions (BFs) proposed by Verlet, Duh and Henderson, and Kinoshita were incorporated. The so…
▽ More
We calculated the spatial distribution of reduced density and pair distribution function (PDF) of solvent hard spheres near a solute using three-dimensional Ornstein-Zernike (OZ) equations coupled with closures in which Percus-Yevick (PY) and hypernetted-chain (HNC) approximations were employed or bridge functions (BFs) proposed by Verlet, Duh and Henderson, and Kinoshita were incorporated. The solute was formed by two solvent hard spheres in contact with each other, with the result that the system is not radial-symmetric, necessitating the extension of Verlet, Duh-Henderson, and Kinoshita BFs to three-variable functions considered in the Cartesian coordinate system. The results were compared with those from grand canonical Monte Carlo (MC) simulation. In terms of the PDF, HNC is superior to PY in the sense that the results from the former are closer to those from MC. The incorporation of the three BFs makes the results further closer to those from MC. The three BFs share almost the same performance for a solute immersed in a one-component solvent at the infinite-dilution limit. Analyses on the triplet distribution function (TDF) were also performed. It was found that in terms of the TDF the incorporation of the BFs does not necessarily lead to improvement.
△ Less
Submitted 23 November, 2023; v1 submitted 10 November, 2023;
originally announced November 2023.
-
Ehrhart theory on periodic graphs II: Stratified Ehrhart ring theory
Authors:
Takuya Inoue,
Yusuke Nakamura
Abstract:
We investigate the "stratified Ehrhart ring theory" for periodic graphs, which gives an algorithm for determining the growth sequences of periodic graphs. The growth sequence $(s_{Γ, x_0, i})_{i \ge 0}$ is defined for a graph $Γ$ and its fixed vertex $x_0$, where $s_{Γ, x_0, i}$ is defined as the number of vertices of $Γ$ at distance $i$ from $x_0$. Although the sequences…
▽ More
We investigate the "stratified Ehrhart ring theory" for periodic graphs, which gives an algorithm for determining the growth sequences of periodic graphs. The growth sequence $(s_{Γ, x_0, i})_{i \ge 0}$ is defined for a graph $Γ$ and its fixed vertex $x_0$, where $s_{Γ, x_0, i}$ is defined as the number of vertices of $Γ$ at distance $i$ from $x_0$. Although the sequences $(s_{Γ, x_0, i})_{i \ge 0}$ for periodic graphs are known to be of quasi-polynomial type, their determination had not been established, even in dimension two. Our theory and algorithm can be applied to arbitrary periodic graphs of any dimension. As an application of the algorithm, we determine the growth sequences in several new examples.
△ Less
Submitted 3 July, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Triangular solution to the planar elliptic three-body problem in the parametrized post-Newtonian formalism
Authors:
Yuya Nakamura,
Hideki Asada
Abstract:
A triangular solution [Phys. Rev. D 107, 044005 (2023)] has recently been found to the planar circular three-body problem in the parametrized post-Newtonian (PPN) formalism, for which they focus on a class of fully conservative theories characterized by the Eddington-Robertson parameters $β$ and $γ$. The present paper extends the PPN triangular solution to quasi-elliptic motion, for which the shap…
▽ More
A triangular solution [Phys. Rev. D 107, 044005 (2023)] has recently been found to the planar circular three-body problem in the parametrized post-Newtonian (PPN) formalism, for which they focus on a class of fully conservative theories characterized by the Eddington-Robertson parameters $β$ and $γ$. The present paper extends the PPN triangular solution to quasi-elliptic motion, for which the shape of the triangular configuration changes with time at the PPN order. The periastron shift due to the PPN effects is also obtained.
△ Less
Submitted 8 February, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Molecular orbital formation and metastable short-range ordered structure in VO$_2$
Authors:
Shunsuke Kitou,
Akitoshi Nakano,
Masato Imaizumi,
Yuiga Nakamura,
Ichiro Terasaki,
Taka-hisa Arima
Abstract:
The metal-insulator transition (MIT) in vanadium dioxide VO$_2$ due to V-V dimerization has been extensively discussed for decades. While it is widely acknowledged that electron correlations, Peierls instabilities, and molecular orbital formations are crucial for understanding the MIT of VO$_2$, the primary origin of the MIT remains controversial. In this study, we delve into the crystal structure…
▽ More
The metal-insulator transition (MIT) in vanadium dioxide VO$_2$ due to V-V dimerization has been extensively discussed for decades. While it is widely acknowledged that electron correlations, Peierls instabilities, and molecular orbital formations are crucial for understanding the MIT of VO$_2$, the primary origin of the MIT remains controversial. In this study, we delve into the crystal structure and orbital state of VO$_2$ through synchrotron x-ray diffraction experiments. The molecular orbital formation corresponding to the V-V dimerization is directly observed in the low-temperature insulating monoclinic phase, called the M1 phase, as indicated by the valence electron density distribution. Moreover, diffuse scattering observed in the high-temperature metal phase of rutile structure suggests the presence of short-range correlation of V displacements, which is not directly attributed to the structural fluctuation of the M1 phase. The short-range order in the rutile phase will be the key to understanding the MIT in this system.
△ Less
Submitted 8 March, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Theory for Planar Hall Effect in Organic Dirac Fermion System
Authors:
Yuki Nakamura,
Takao Morinari
Abstract:
In a recent experiment on the interlayer magnetoresistance in the quasi-two-dimensional organic salt, $α$-(BEDT-TTF)$_2$I$_3$, it has been observed that at low temperatures, interlayer tunneling attains phase coherence, leading to the emergence of a three-dimensional electronic structure. Theoretically and experimentally it has been suggested that the system exhibits characteristics of a three-dim…
▽ More
In a recent experiment on the interlayer magnetoresistance in the quasi-two-dimensional organic salt, $α$-(BEDT-TTF)$_2$I$_3$, it has been observed that at low temperatures, interlayer tunneling attains phase coherence, leading to the emergence of a three-dimensional electronic structure. Theoretically and experimentally it has been suggested that the system exhibits characteristics of a three-dimensional Dirac semimetal as a consequence of broken time-reversal symmetry and inversion symmetry. Here, we perform a theoretical calculation of the magnetoconductivity under an in-plane magnetic field and demonstrate that the system displays a planar Hall effect. Our calculations are based on a realistic model for $α$-(BEDT-TTF)$_2$I$_3$ incorporating interlayer tunneling and the tilt of the Dirac cone. Given that the planar Hall effect is anticipated as a consequence of chiral anomaly, our findings provide support for the classification of $α$-(BEDT-TTF)$_2$I$_3$ as a three-dimensional Dirac semimetal.
△ Less
Submitted 19 November, 2023; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
Authors:
Yoshiki Nakamura
Abstract:
In this note, we give a linear-size translation from formulas of first-order logic into equations of the calculus of relations preserving validity and finite validity. Our translation also gives a linear-size conservative reduction from formulas of first-order logic into formulas of the three-variable fragment of first-order logic.
In this note, we give a linear-size translation from formulas of first-order logic into equations of the calculus of relations preserving validity and finite validity. Our translation also gives a linear-size conservative reduction from formulas of first-order logic into formulas of the three-variable fragment of first-order logic.
△ Less
Submitted 21 May, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
ZZ-Interaction-Free Single-Qubit-Gate Optimization in Superconducting Qubits
Authors:
Shu Watanabe,
Yutaka Tabuchi,
Kentaro Heya,
Shuhei Tamate,
Yasunobu Nakamura
Abstract:
Overcoming the issue of qubit-frequency fluctuations is essential to realize stable and practical quantum computing with solid-state qubits. Static ZZ interaction, which causes a frequency shift of a qubit depending on the state of neighboring qubits, is one of the major obstacles to integrating fixed-frequency transmon qubits. Here we propose and experimentally demonstrate ZZ-interaction-free sin…
▽ More
Overcoming the issue of qubit-frequency fluctuations is essential to realize stable and practical quantum computing with solid-state qubits. Static ZZ interaction, which causes a frequency shift of a qubit depending on the state of neighboring qubits, is one of the major obstacles to integrating fixed-frequency transmon qubits. Here we propose and experimentally demonstrate ZZ-interaction-free single-qubit-gate operations on a superconducting transmon qubit by utilizing a semi-analytically optimized pulse based on a perturbative analysis. The gate is designed to be robust against slow qubit-frequency fluctuations. The robustness of the optimized gate spans a few MHz, which is sufficient for suppressing the adverse effects of the ZZ interaction. Our result paves the way for an efficient approach to overcoming the issue of ZZ interaction without any additional hardware overhead.
△ Less
Submitted 5 January, 2024; v1 submitted 25 September, 2023;
originally announced September 2023.
-
High-entropy effect at rare-earth site in DyNi
Authors:
Yuito Nakamura,
Koshin Takeshita,
Terukazu Nishizaki,
Jiro Kitagawa
Abstract:
We report the structural and magnetic properties of RNi (R=Dy, Tb$_{1/3}$Dy$_{1/3}$Ho$_{1/3}$, and Gd$_{1/5}$Tb$_{1/5}$Dy$_{1/5}$Ho$_{1/5}$Er$_{1/5}$) to investigate the high-entropy effect at the rare-earth site. The lattice parameters are almost unchanged by the increase of configurational entropy, which is due to the successive partial substitution of Dy by pair of rare earth elements located o…
▽ More
We report the structural and magnetic properties of RNi (R=Dy, Tb$_{1/3}$Dy$_{1/3}$Ho$_{1/3}$, and Gd$_{1/5}$Tb$_{1/5}$Dy$_{1/5}$Ho$_{1/5}$Er$_{1/5}$) to investigate the high-entropy effect at the rare-earth site. The lattice parameters are almost unchanged by the increase of configurational entropy, which is due to the successive partial substitution of Dy by pair of rare earth elements located on both sides of Dy in the periodic table. All compounds exhibit ferromagnetic ground states. The replacement of Dy with Tb+Ho, which does not have magnetic interactions in competition with Dy, does not affect the magnetic ordering temperature. Although (Gd$_{1/5}$Tb$_{1/5}$Dy$_{1/5}$Ho$_{1/5}$Er$_{1/5}$)Ni shows the Curie temperature close to that of DyNi, an additional magnetic anomaly, which would be a spin reorientation, is observed probably due to the introduction of competing magnetic interactions between R=Gd and Er compounds and R=Tb, Dy, and Ho ones. We have also assessed the magnetocaloric effect, and the configurational entropy dependence of the magnetic entropy change reflects that of the temperature derivative of the magnetic susceptibility. Our analysis suggests the possibility of enhancing magnetocaloric properties by designing the anisotropy of rare-earth magnetic moments in the high-entropy state.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Photon-noise-tolerant dispersive readout of a superconducting qubit using a nonlinear Purcell filter
Authors:
Yoshiki Sunada,
Kenshi Yuki,
Zhiling Wang,
Takeaki Miyamura,
Jesper Ilves,
Kohei Matsuura,
Peter A. Spring,
Shuhei Tamate,
Shingo Kono,
Yasunobu Nakamura
Abstract:
Residual noise photons in a readout resonator become a major source of dephasing for a superconducting qubit when the resonator is optimized for a fast, high-fidelity dispersive readout. Here, we propose and demonstrate a nonlinear Purcell filter that suppresses such an undesirable dephasing process without sacrificing the readout performance. When a readout pulse is applied, the filter automatica…
▽ More
Residual noise photons in a readout resonator become a major source of dephasing for a superconducting qubit when the resonator is optimized for a fast, high-fidelity dispersive readout. Here, we propose and demonstrate a nonlinear Purcell filter that suppresses such an undesirable dephasing process without sacrificing the readout performance. When a readout pulse is applied, the filter automatically reduces the effective linewidth of the readout resonator, increasing the sensitivity of the qubit to the input field. The noise tolerance of the device we have fabricated is shown to be enhanced by a factor of 3 relative to a device with a linear filter. The measurement rate is enhanced by another factor of 3 by utilizing the bifurcation of the nonlinear filter. A readout fidelity of 99.4% and a quantum nondemolition fidelity of 99.2% are achieved using a 40-ns readout pulse. The nonlinear Purcell filter will be an effective tool for realizing a fast, high-fidelity readout without compromising the coherence time of the qubit.
△ Less
Submitted 25 January, 2024; v1 submitted 8 September, 2023;
originally announced September 2023.
-
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements
Authors:
Yoshiki Nakamura,
Ryoma Sin'ya
Abstract:
We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the equational theory w.r.t. languages coincides with the language equivalence (under the standard language valuation) for Kleene algebra terms, this coincidence is broken if we extend the terms with complements. In this paper…
▽ More
We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the equational theory w.r.t. languages coincides with the language equivalence (under the standard language valuation) for Kleene algebra terms, this coincidence is broken if we extend the terms with complements. In this paper, we prove the decidability of some fragments of the equational theory: the universality problem is coNP-complete, and the inequational theory t <= s is coNP-complete when t does not contain Kleene-star. To this end, we introduce words-to-letters valuations; they are sufficient valuations for the equational theory and ease us in investigating the equational theory w.r.t. languages. Additionally, we prove that for words with variable complements, the equational theory coincides with the word equivalence.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Observation of gamma rays up to 320 TeV from the middle-aged TeV pulsar wind nebula HESS J1849$-$000
Authors:
M. Amenomori,
S. Asano,
Y. W. Bao,
X. J. Bi,
D. Chen,
T. L. Chen,
W. Y. Chen,
Xu Chen,
Y. Chen,
Cirennima,
S. W. Cui,
Danzengluobu,
L. K. Ding,
J. H. Fang,
K. Fang,
C. F. Feng,
Zhaoyang Feng,
Z. Y. Feng,
Qi Gao,
A. Gomi,
Q. B. Gou,
Y. Q. Guo,
Y. Y. Guo,
Y. Hayashi,
H. H. He
, et al. (93 additional authors not shown)
Abstract:
Gamma rays from HESS J1849$-$000, a middle-aged TeV pulsar wind nebula (PWN), are observed by the Tibet air shower array and the muon detector array. The detection significance of gamma rays reaches $4.0\, σ$ and $4.4\, σ$ levels above 25 TeV and 100 TeV, respectively, in units of Gaussian standard deviation $σ$. The energy spectrum measured between $40\, {\rm TeV} < E < 320\, {\rm TeV}$ for the f…
▽ More
Gamma rays from HESS J1849$-$000, a middle-aged TeV pulsar wind nebula (PWN), are observed by the Tibet air shower array and the muon detector array. The detection significance of gamma rays reaches $4.0\, σ$ and $4.4\, σ$ levels above 25 TeV and 100 TeV, respectively, in units of Gaussian standard deviation $σ$. The energy spectrum measured between $40\, {\rm TeV} < E < 320\, {\rm TeV}$ for the first time is described with a simple power-law function of ${\rm d}N/{\rm d}E = (2.86 \pm 1.44) \times 10^{-16}(E/40\, {\rm TeV})^{-2.24 \pm 0.41}\, {\rm TeV}^{-1}\, {\rm cm}^{-2}\, {\rm s}^{-1}$. The gamma-ray energy spectrum from the sub-TeV ($E < 1\, {\rm TeV}$) to sub-PeV ($100\, {\rm TeV} < E < 1\, {\rm PeV}$) ranges including the results of previous studies can be modeled with the leptonic scenario, inverse Compton scattering by high-energy electrons accelerated by the PWN of PSR J1849$-$0001. On the other hand, the gamma-ray energy spectrum can also be modeled with the hadronic scenario in which gamma rays are generated from the decay of neutral pions produced by collisions between accelerated cosmic-ray protons and the ambient molecular cloud found in the gamma-ray emitting region. The cutoff energy of cosmic-ray protons $E_{\rm p\, cut}$, cut is estimated at ${\rm log}_{10}(E_{\rm p,\, cut}/{\rm TeV}) = 3.73^{+2.98}_{-0.66}$, suggesting that protons are accelerated up to the PeV energy range. Our study thus proposes that HESS J1849$-$000 should be further investigated as a new candidate for a Galactic PeV cosmic-ray accelerator, PeVatron.
△ Less
Submitted 26 August, 2023;
originally announced August 2023.
-
Measurement of the Gamma-Ray Energy Spectrum beyond 100 TeV from the HESS J1843$-$033 Region
Authors:
M. Amenomori,
S. Asano,
Y. W. Bao,
X. J. Bi,
D. Chen,
T. L. Chen,
W. Y. Chen,
Xu Chen,
Y. Chen,
Cirennima,
S. W. Cui,
Danzengluobu,
L. K. Ding,
J. H. Fang,
K. Fang,
C. F. Feng,
Zhaoyang Feng,
Z. Y. Feng,
Qi Gao,
A. Gomi,
Q. B. Gou,
Y. Q. Guo,
Y. Y. Guo,
H. H. He,
Z. T. He
, et al. (91 additional authors not shown)
Abstract:
HESS J1843$-$033 is a very-high-energy gamma-ray source whose origin remains unidentified. This work presents, for the first time, the energy spectrum of gamma rays beyond $100\, {\rm TeV}$ from the HESS J1843$-$033 region using the data recorded by the Tibet air shower array and its underground muon detector array. A gamma-ray source with an extension of $0.34^{\circ} \pm 0.12^{\circ}$ is success…
▽ More
HESS J1843$-$033 is a very-high-energy gamma-ray source whose origin remains unidentified. This work presents, for the first time, the energy spectrum of gamma rays beyond $100\, {\rm TeV}$ from the HESS J1843$-$033 region using the data recorded by the Tibet air shower array and its underground muon detector array. A gamma-ray source with an extension of $0.34^{\circ} \pm 0.12^{\circ}$ is successfully detected above $25\, {\rm TeV}$ at $(α,\, δ) = (281.09^{\circ}\pm 0.10^{\circ},\, -3.76^{\circ}\pm 0.09^{\circ})$ near HESS J1843$-$033 with a statistical significance of $6.2\, σ$, and the source is named TASG J1844$-$038. The position of TASG J1844$-$038 is consistent with those of HESS J1843$-$033, eHWC J1842$-$035, and LHAASO J1843$-$0338. The measured gamma-ray energy spectrum in $25\, {\rm TeV} < E < 130\, {\rm TeV}$ is described with ${\rm d}N/{\rm d}E = (9.70\pm 1.89)\times 10^{-16} (E/40\, {\rm TeV})^{-3.26\pm 0.30}\, {\rm TeV}^{-1} {\rm cm}^{-2} {\rm s}^{-1}$, and the spectral fit to the combined spectra of HESS J1843$-$033, LHAASO J1843$-$0338, and TASG J1844$-$038 implies the existence of a cutoff at $49.5\pm 9.0\, {\rm TeV}$. Associations of TASG J1844-038 with SNR G28.6$-$0.1 and PSR J1844-0346 are also discussed in detail for the first time.
△ Less
Submitted 26 August, 2023;
originally announced August 2023.
-
The Compton amplitude and nucleon structure functions in lattice QCD
Authors:
K. U. Can,
M. Batelaan,
A. Hannaford-Gunn,
R. Horsley,
Y. Nakamura,
H. Perlt,
P. E. L. Rakow,
G. Schierholz,
H. Stüben,
R. D. Young,
J. M. Zanotti
Abstract:
The structure of hadrons relevant for deep-inelastic scattering are completely characterised by the Compton amplitude. A direct calculation of the Compton amplitude in a lattice QCD setup provides a way to accessing the structure functions, circumventing the operator mixing and renormalisation issues of the standard operator product expansion approach. In this contribution, we focus on the QCDSF/U…
▽ More
The structure of hadrons relevant for deep-inelastic scattering are completely characterised by the Compton amplitude. A direct calculation of the Compton amplitude in a lattice QCD setup provides a way to accessing the structure functions, circumventing the operator mixing and renormalisation issues of the standard operator product expansion approach. In this contribution, we focus on the QCDSF/UKQCD Collaboration's advances in calculating the forward Compton amplitude via an implementation of the second-order Feynman-Hellmann theorem. We highlight our progress in investigating the moments of nucleon structure functions.
△ Less
Submitted 15 July, 2023;
originally announced July 2023.
-
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
Authors:
Yoshiki Nakamura
Abstract:
We introduce the $k$-variable-occurrence fragment, which is the set of terms having at most $k$ occurrences of variables. We give a sufficient condition for the decidability of the equational theory of the $k$-variable-occurrence fragment using the finiteness of a monoid. As a case study, we prove that for Tarski's calculus of relations with bounded dot-dagger alternation (an analogy of quantifier…
▽ More
We introduce the $k$-variable-occurrence fragment, which is the set of terms having at most $k$ occurrences of variables. We give a sufficient condition for the decidability of the equational theory of the $k$-variable-occurrence fragment using the finiteness of a monoid. As a case study, we prove that for Tarski's calculus of relations with bounded dot-dagger alternation (an analogy of quantifier alternation in first-order logic), the equational theory of the $k$-variable-occurrence fragment is decidable for each $k$.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Experimental demonstration of a high-fidelity virtual two-qubit gate
Authors:
Akhil Pratap Singh,
Kosuke Mitarai,
Yasunari Suzuki,
Kentaro Heya,
Yutaka Tabuchi,
Keisuke Fujii,
Yasunobu Nakamura
Abstract:
We experimentally demonstrate a virtual two-qubit gate and characterize it using quantum process tomography~(QPT). The virtual two-qubit gate decomposes an actual two-qubit gate into single-qubit unitary gates and projection gates in quantum circuits for expectation-value estimation. We implement projection gates via mid-circuit measurements. The deterministic sampling scheme reduces the number of…
▽ More
We experimentally demonstrate a virtual two-qubit gate and characterize it using quantum process tomography~(QPT). The virtual two-qubit gate decomposes an actual two-qubit gate into single-qubit unitary gates and projection gates in quantum circuits for expectation-value estimation. We implement projection gates via mid-circuit measurements. The deterministic sampling scheme reduces the number of experimental circuit evaluations required for decomposing a virtual two-qubit gate. We also apply quantum error mitigation to suppress the effect of measurement errors and improve the average gate fidelity of a virtual controlled-$Z$ (CZ) gate to $f_{\rm av} = 0.9938 \pm 0.0002$. Our results highlight a practical approach to implement virtual two-qubit gates with high fidelities, which are useful for simulating quantum circuits using fewer qubits and implementing two-qubit gates on a distant pair of qubits.
△ Less
Submitted 9 December, 2023; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Lifelong Change Detection: Continuous Domain Adaptation for Small Object Change Detection in Every Robot Navigation
Authors:
Koji Takeda,
Kanji Tanaka,
Yoshimasa Nakamura
Abstract:
The recently emerging research area in robotics, ground view change detection, suffers from its ill-posed-ness because of visual uncertainty combined with complex nonlinear perspective projection. To regularize the ill-posed-ness, the commonly applied supervised learning methods (e.g., CSCD-Net) rely on manually annotated high-quality object-class-specific priors. In this work, we consider general…
▽ More
The recently emerging research area in robotics, ground view change detection, suffers from its ill-posed-ness because of visual uncertainty combined with complex nonlinear perspective projection. To regularize the ill-posed-ness, the commonly applied supervised learning methods (e.g., CSCD-Net) rely on manually annotated high-quality object-class-specific priors. In this work, we consider general application domains where no manual annotation is available and present a fully self-supervised approach. The present approach adopts the powerful and versatile idea that object changes detected during everyday robot navigation can be reused as additional priors to improve future change detection tasks. Furthermore, a robustified framework is implemented and verified experimentally in a new challenging practical application scenario: ground-view small object change detection.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Exploring the Robustness of Large Language Models for Solving Programming Problems
Authors:
Atsushi Shirafuji,
Yutaka Watanobe,
Takumi Ito,
Makoto Morishita,
Yuki Nakamura,
Yusuke Oda,
Jun Suzuki
Abstract:
Using large language models (LLMs) for source code has recently gained attention. LLMs, such as Transformer-based models like Codex and ChatGPT, have been shown to be highly capable of solving a wide range of programming problems. However, the extent to which LLMs understand problem descriptions and generate programs accordingly or just retrieve source code from the most relevant problem in traini…
▽ More
Using large language models (LLMs) for source code has recently gained attention. LLMs, such as Transformer-based models like Codex and ChatGPT, have been shown to be highly capable of solving a wide range of programming problems. However, the extent to which LLMs understand problem descriptions and generate programs accordingly or just retrieve source code from the most relevant problem in training data based on superficial cues has not been discovered yet. To explore this research question, we conduct experiments to understand the robustness of several popular LLMs, CodeGen and GPT-3.5 series models, capable of tackling code generation tasks in introductory programming problems. Our experimental results show that CodeGen and Codex are sensitive to the superficial modifications of problem descriptions and significantly impact code generation performance. Furthermore, we observe that Codex relies on variable names, as randomized variables decrease the solved rate significantly. However, the state-of-the-art (SOTA) models, such as InstructGPT and ChatGPT, show higher robustness to superficial modifications and have an outstanding capability for solving programming problems. This highlights the fact that slight modifications to the prompts given to the LLMs can greatly affect code generation performance, and careful formatting of prompts is essential for high-quality code generation, while the SOTA models are becoming more robust to perturbations.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Background contributions in the electron-tracking Compton camera onboard SMILE-2+
Authors:
Tomonori Ikeda,
Atsushi Takada,
Taito Takemura,
Kei Yoshikawa,
Yuta nakamura,
Ken Onozaka,
Mitsuru Abe,
Toru Tanimori
Abstract:
The Mega electron volt (MeV) gamma-ray observation is a promising diagnostic tool for observing the universe. However, the sensitivity of MeV gamma-ray telescopes is limited due to peculiar backgrounds, restricting the application of MeV gamma rays for observation. Identification of backgrounds is crucial for designing next-generation telescopes. Therefore, herein, we assessed the background contr…
▽ More
The Mega electron volt (MeV) gamma-ray observation is a promising diagnostic tool for observing the universe. However, the sensitivity of MeV gamma-ray telescopes is limited due to peculiar backgrounds, restricting the application of MeV gamma rays for observation. Identification of backgrounds is crucial for designing next-generation telescopes. Therefore, herein, we assessed the background contribution in the electron-tracking Compton camera (ETCC) on board the SMILE- 2+ balloon experiment. This assessment was performed using the Monte Carlo simulation. The results revealed that the background below 400 keV existed due to the atmospheric gamma-ray background, the cosmic-ray/secondary-particle background, and the accidental background. On the other hand, the unresolved background component, which was not likely to be relevant to direct Compton-scattering events in the ETCC, was confirmed above 400 keV. Overall, this study demonstrated that the Compton-kinematics test provides a powerful tool to remove the background and principally improves the signal-to-noise ratio at 400 keV by an order of magnitude.
△ Less
Submitted 28 September, 2023; v1 submitted 5 June, 2023;
originally announced June 2023.
-
Demonstration of geometric diabatic control of quantum states
Authors:
Kento Sasaki,
Yuki Nakamura,
Tokuyuki Teraji,
Takashi Oka,
Kensuke Kobayashi
Abstract:
Geometric effects can play a pivotal role in streamlining quantum manipulation. We demonstrate a geometric diabatic control, that is, perfect tunneling between spin states in a diamond by a quadratic sweep of a driving field. The field sweep speed for the perfect tunneling is determined by the geometric amplitude factor and can be tuned arbitrarily. Our results are obtained by testing a quadratic…
▽ More
Geometric effects can play a pivotal role in streamlining quantum manipulation. We demonstrate a geometric diabatic control, that is, perfect tunneling between spin states in a diamond by a quadratic sweep of a driving field. The field sweep speed for the perfect tunneling is determined by the geometric amplitude factor and can be tuned arbitrarily. Our results are obtained by testing a quadratic version of Berry's twisted Landau-Zener model. This geometric tuning is robust over a wide parameter range. Our work provides a basis for quantum control in various systems, including condensed matter physics, quantum computation, and nuclear magnetic resonance.
△ Less
Submitted 27 May, 2023;
originally announced May 2023.
-
Systematic Approach for Tuning Flux-driven Josephson Parametric Amplifiers for Stochastic Small Signals
Authors:
Çağlar Kutlu,
Saebyeok Ahn,
Sergey V. Uchaikin,
Soohyung Lee,
Arjan F. van Loo,
Yasunobu Nakamura,
Seonjeong Oh,
Yannis K. Semertzidis
Abstract:
Many experiments operating at millikelvin temperatures with signal frequencies in the microwave regime are beginning to incorporate Josephson Parametric Amplifiers (JPA) as their first amplification stage. While there are implementations for a wideband frequency response with a minimal need for tuning, designs using resonant structures with small numbers of Josephson elements still achieve the bes…
▽ More
Many experiments operating at millikelvin temperatures with signal frequencies in the microwave regime are beginning to incorporate Josephson Parametric Amplifiers (JPA) as their first amplification stage. While there are implementations for a wideband frequency response with a minimal need for tuning, designs using resonant structures with small numbers of Josephson elements still achieve the best noise performance. In a typical measurement scheme involving a JPA, one needs to control the resonance frequency, pump frequency and pump power to achieve the desired amplification and noise properties. In this work, we propose a straightforward approach for operating JPAs with the help of a look-up table (LUT) and online fine-tuning. Using the proposed approach, we demonstrate the operation of a flux-driven JPA with 20 dB gain around 5.9 GHz, covering approximately 100 MHz with 20 kHz tuning steps. The proposed methodology was successfully used in the context of a haloscope axion experiment.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Ehrhart theory on periodic graphs
Authors:
Takuya Inoue,
Yusuke Nakamura
Abstract:
The purpose of this paper is to extend the scope of the Ehrhart theory to periodic graphs. We give sufficient conditions for the growth sequences of periodic graphs to be a quasi-polynomial and to satisfy the reciprocity laws. Furthermore, we apply our theory to determine the growth series in several new examples.
The purpose of this paper is to extend the scope of the Ehrhart theory to periodic graphs. We give sufficient conditions for the growth sequences of periodic graphs to be a quasi-polynomial and to satisfy the reciprocity laws. Furthermore, we apply our theory to determine the growth series in several new examples.
△ Less
Submitted 9 April, 2024; v1 submitted 14 May, 2023;
originally announced May 2023.
-
Feynman--Hellmann approach to transition matrix elements and quasi-degenerate energy states
Authors:
M. Batelaan,
K. U. Can,
R. Horsley,
Y. Nakamura,
P. E. L. Rakow,
G. Schierholz,
H. Stüben,
R. D. Young,
J. M. Zanotti
Abstract:
The Feynman--Hellmann approach to computing matrix elements in lattice QCD by first adding a perturbing operator to the action is described using the transition matrix and the Dyson expansion formalism. This perturbs the energies in the two-point baryon correlation function, from which the matrix element can be obtained. In particular at leading order in the perturbation we need to diagonalise a m…
▽ More
The Feynman--Hellmann approach to computing matrix elements in lattice QCD by first adding a perturbing operator to the action is described using the transition matrix and the Dyson expansion formalism. This perturbs the energies in the two-point baryon correlation function, from which the matrix element can be obtained. In particular at leading order in the perturbation we need to diagonalise a matrix of near-degenerate energies. While the method is general for all hadrons, we apply it here to a study of a Sigma to Nucleon baryon transition vector matrix element.
△ Less
Submitted 21 August, 2023; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Four-channel System for Characterization of Josephson Parametric Amplifiers
Authors:
Boris I. Ivanov,
Jinmyeong Kim,
Çağlar Kutlu,
Arjan F. van Loo,
Yasunobu Nakamura,
Sergey V. Uchaikin,
Seonjeong Oh,
Violeta Gkika,
Andrei Matlashov,
Woohyun Chung,
Yannis K. Semertzidis
Abstract:
The axion search experiments based on haloscopes at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science (IBS) in South Korea are performed in the frequency range from 1 GHz to 6 GHz. In order to perform the experiments in a strong magnetic field of 12 T and a large-volume cavity of close to 40 liters, we use He wet dilution refrigerators with immersed supe…
▽ More
The axion search experiments based on haloscopes at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science (IBS) in South Korea are performed in the frequency range from 1 GHz to 6 GHz. In order to perform the experiments in a strong magnetic field of 12 T and a large-volume cavity of close to 40 liters, we use He wet dilution refrigerators with immersed superconducting magnets. The measurements require continuous operation for months without interruptions for microwave component replacements. This is achieved by using different cryogenic engineering approaches including microwave RF-switching. The critical components, defining the scanning rate and the sensitivity of the setup, are the Josephson parametric amplifiers (JPA) and cryogenic low noise amplifiers (cLNA) based on high-electron-mobility-transistor (HEMT) technology. It is desirable for both devices to have a wide frequency range and low noise close to the quantum limit for the JPA. In this paper, we show a recent design of a 4-channel measurement setup for JPA and HEMT measurements. The setup is based on a 4-channel wideband noise source (NS) and is used for both JPA and HEMT gain and noise measurements. The setup is placed at 20 mK inside the dry dilution refrigerator. The NS is thermally decoupled from the environment using plastic spacers, superconducting wires and superconducting coaxial cables. We show the gain and noise temperature curves measured for 4 HEMT amplifiers and 2 JPAs in one cool-down
△ Less
Submitted 9 May, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.
-
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
Authors:
Yoshiki Nakamura
Abstract:
We study the decidability and complexity of equational theories of the existential calculus of relations with transitive closure (ECoR*) and its fragments, where ECoR* is the positive calculus of relations with transitive closure extended with complements of term variables and constants. We give characterizations of these equational theories by using edge saturations and we show that the equationa…
▽ More
We study the decidability and complexity of equational theories of the existential calculus of relations with transitive closure (ECoR*) and its fragments, where ECoR* is the positive calculus of relations with transitive closure extended with complements of term variables and constants. We give characterizations of these equational theories by using edge saturations and we show that the equational theory is 1) coNP-complete for ECoR* without transitive closure; 2) in coNEXP for ECoR* without intersection and PSPACE-complete for two smaller fragments; 3) $Π_{1}^{0}$-complete for ECoR*. The second result gives PSPACE-upper bounds for some extensions of Kleene algebra, including Kleene algebra with top w.r.t. binary relations.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
CAPP Axion Search Experiments with Quantum Noise Limited Amplifiers
Authors:
Sergey V. Uchaikin,
Boris I. Ivanov,
Jinmyeong Kim,
Çağlar Kutlu,
Arjan F. Van Loo,
Yasunobu Nakamura,
Seonjeong OH,
Violeta Gkika,
Andrei Matlashov,
Woohyun Chung,
Yannis K. Semertzidis
Abstract:
The axion is expected to solve the strong CP problem of quantum chromodynamics and is one of the leading candidates for dark matter. CAPP in South Korea has several axion search experiments based on cavity haloscopes in the frequency range of 1-6 GHz. The main effort focuses on operation of the experiments with the highest possible sensitivity. It requires maintenance of the haloscopes at the lowe…
▽ More
The axion is expected to solve the strong CP problem of quantum chromodynamics and is one of the leading candidates for dark matter. CAPP in South Korea has several axion search experiments based on cavity haloscopes in the frequency range of 1-6 GHz. The main effort focuses on operation of the experiments with the highest possible sensitivity. It requires maintenance of the haloscopes at the lowest physical temperature in the range of mK and usage of low noise components to amplify the weak axion signal. We report development and operation of low noise amplifiers for 5 haloscope experiments targeting at different frequency ranges. The amplifiers show noise temperatures approaching the quantum limit.
△ Less
Submitted 24 April, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.