-
Solving a Stackelberg Game on Transportation Networks in a Dynamic Crime Scenario: A Mixed Approach on Multi-Layer Networks
Authors:
Sukanya Samanta,
Kei Kimura,
Makoto Yokoo
Abstract:
Interdicting a criminal with limited police resources is a challenging task as the criminal changes location over time. The size of the large transportation network further adds to the difficulty of this scenario. To tackle this issue, we consider the concept of a layered graph. At each time stamp, we create a copy of the entire transportation network to track the possible movements of both player…
▽ More
Interdicting a criminal with limited police resources is a challenging task as the criminal changes location over time. The size of the large transportation network further adds to the difficulty of this scenario. To tackle this issue, we consider the concept of a layered graph. At each time stamp, we create a copy of the entire transportation network to track the possible movements of both players, the attacker and the defenders. We consider a Stackelberg game in a dynamic crime scenario where the attacker changes location over time while the defenders attempt to interdict the attacker on his escape route. Given a set of defender strategies, the optimal attacker strategy is determined by applying Dijkstra's algorithm on the layered networks. Here, the attacker aims to minimize while the defenders aim to maximize the probability of interdiction. We develop an approximation algorithm on the layered networks to find near-optimal strategy for defenders. The efficacy of the developed approach is compared with the adopted MILP approach. We compare the results in terms of computational time and solution quality. The quality of the results demonstrates the need for the developed approach, as it effectively solves the complex problem within a short amount of time.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Triple decomposition and sparse representation for noisy pressure-sensitive paint data
Authors:
Koyo Kubota,
Makoto Takagi,
Tsubasa Ikami,
Yasuhiro Egami,
Hiroki Nagai,
Takahiro Kashikawa,
Koichi Kimura,
Yu Matsuda
Abstract:
Triple decomposition is a useful analytical method for extracting the mean value, organized coherent motion, and stochastic part from a fluctuating quantity. Although the pressure-sensitive paint (PSP) method is widely used to measure the pressure distribution on a surface, the PSP data measuring near atmospheric pressure contain significant noise. Here, we perform triple decomposition of noisy PS…
▽ More
Triple decomposition is a useful analytical method for extracting the mean value, organized coherent motion, and stochastic part from a fluctuating quantity. Although the pressure-sensitive paint (PSP) method is widely used to measure the pressure distribution on a surface, the PSP data measuring near atmospheric pressure contain significant noise. Here, we perform triple decomposition of noisy PSP data. To construct phase-averaged data representing an organized coherent motion, we propose a relatively simple method based on a multi-dimensional scaling plot of the cosine similarity between each PSP datum. Then, the stochastic part is extracted by selecting phase-averaged data with an appropriate phase angle based on the similarity between the measurement and phase-averaged data. As a data-driven approach, we also reconstruct the pressure distribution based on the triple decomposition and the pressure data at sparse optimal sensor positions determined from the proper orthogonal decomposition modes of the stochastic part. The optimal sensor positions are determined as a combinatorial optimization problem and are estimated using Fujitsu computing as a service digital annealer. Based on the results obtained, the root mean square error between the pressure measured by a pressure transducer and the reconstructed pressure obtained by the proposed method is small, even when the number of modes and sensor points is small. The application of PSP measurement is expected to expand further, and the framework for calculating triple decomposition and sparse representation based on the decomposition will be useful for flow analysis.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Spin dynamics in linear magnetoelectric material Mn$_{3}$Ta$_{2}$O$_{8}$
Authors:
Hodaka Kikuchi,
SHunsuke Hasegawa,
Shinichiro Asai,
Tao Hong,
Kenta Kimura,
Tsuyoshi Kimura,
Shinichi Itoh,
Takatsugu Masuda
Abstract:
We performed inelastic neutron scattering experiments on single crystal samples of a linear magnetoelectric material Mn$_{3}$Ta$_{2}$O$_{8}$, which exhibits a collinear antiferromagnetic order, to reveal the spin dynamics. Numerous modes observed in the neutron spectra were reasonably reproduced by linear spin-wave theory on the basis of the spin Hamiltonian including eight Heisenberg interactions…
▽ More
We performed inelastic neutron scattering experiments on single crystal samples of a linear magnetoelectric material Mn$_{3}$Ta$_{2}$O$_{8}$, which exhibits a collinear antiferromagnetic order, to reveal the spin dynamics. Numerous modes observed in the neutron spectra were reasonably reproduced by linear spin-wave theory on the basis of the spin Hamiltonian including eight Heisenberg interactions and an easy-plane type single-ion anisotropy. The presence of strong frustration was found in the identified spin Hamiltonian.
△ Less
Submitted 4 May, 2024;
originally announced May 2024.
-
Online $\mathrm{L}^{\natural}$-Convex Minimization
Authors:
Ken Yokoyama,
Shinji Ito,
Tatsuya Matsuoka,
Kei Kimura,
Makoto Yokoo
Abstract:
An online decision-making problem is a learning problem in which a player repeatedly makes decisions in order to minimize the long-term loss. These problems that emerge in applications often have nonlinear combinatorial objective functions, and develo** algorithms for such problems has attracted considerable attention. An existing general framework for dealing with such objective functions is th…
▽ More
An online decision-making problem is a learning problem in which a player repeatedly makes decisions in order to minimize the long-term loss. These problems that emerge in applications often have nonlinear combinatorial objective functions, and develo** algorithms for such problems has attracted considerable attention. An existing general framework for dealing with such objective functions is the online submodular minimization. However, practical problems are often out of the scope of this framework, since the domain of a submodular function is limited to a subset of the unit hypercube. To manage this limitation of the existing framework, we in this paper introduce the online $\mathrm{L}^{\natural}$-convex minimization, where an $\mathrm{L}^{\natural}$-convex function generalizes a submodular function so that the domain is a subset of the integer lattice. We propose computationally efficient algorithms for the online $\mathrm{L}^{\natural}$-convex function minimization in two major settings: the full information and the bandit settings. We analyze the regrets of these algorithms and show in particular that our algorithm for the full information setting obtains a tight regret bound up to a constant factor. We also demonstrate several motivating examples that illustrate the usefulness of the online $\mathrm{L}^{\natural}$-convex minimization.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Simulator Demonstration of Large Scale Variational Quantum Algorithm on HPC Cluster
Authors:
Mikio Morita,
Yoshinori Tomita,
Junpei Koyama,
Koichi Kimura
Abstract:
Advances in quantum simulator technology is increasingly required because research on quantum algorithms is becoming more sophisticated and complex. State vector simulation utilizes CPU and memory resources in computing nodes exponentially with respect to the number of qubits; furthermore, in a variational quantum algorithm, the large number of repeated runs by classical optimization is also a hea…
▽ More
Advances in quantum simulator technology is increasingly required because research on quantum algorithms is becoming more sophisticated and complex. State vector simulation utilizes CPU and memory resources in computing nodes exponentially with respect to the number of qubits; furthermore, in a variational quantum algorithm, the large number of repeated runs by classical optimization is also a heavy load. This problem has been addressed by preparing numerous computing nodes or simulation frameworks that work effectively. This study aimed to accelerate quantum simulation using two newly proposed methods: to efficiently utilize limited computational resources by adjusting the ratio of the MPI and distributed processing parallelism corresponding to the target problem settings and to slim down the Hamiltonian by considering the effect of accuracy on the calculation result. Ground-state energy calculations of fermionic model were performed using variational quantum eigensolver (VQE) on an HPC cluster with up to 1024 FUJITSU Processor A64FX connected to each other by InfiniBand; the processor is also used on supercomputer Fugaku. We achieved 200 times higher speed over VQE simulations and demonstrated 32 qubits ground-state energy calculations in acceptable time. This result indicates that > 30 qubit state vector simulations can be realistically utilized to further research on variational quantum algorithms.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Optimal standoff distance for a highly focused microjet penetrating a soft material
Authors:
Daichi Igarashi,
Kento Kimura,
Nanami Endo,
Yuto Yokoyama,
Hiroaki Kusuno,
Yoshiyuki Tagawa
Abstract:
A needle-free injector using a highly focused microjet has the potential to minimize the invasiveness of drug delivery. In this study, the jet penetration depth in a soft material-which is a critical parameter for practical needle-free injections-was investigated. We conducted jet penetration experiments by varying the inner diameter of the injection tube and the standoff distance between the meni…
▽ More
A needle-free injector using a highly focused microjet has the potential to minimize the invasiveness of drug delivery. In this study, the jet penetration depth in a soft material-which is a critical parameter for practical needle-free injections-was investigated. We conducted jet penetration experiments by varying the inner diameter of the injection tube and the standoff distance between the meniscus surface and the soft material. Interestingly, the results showed that the penetration depths peaked at certain distances from the meniscus, and the positions shifted further away as the inner diameter was increased. By analyzing the velocity distribution of the microjet, the peak positions of the penetration depth and the maximum velocities were inconsistent due to the effects of the jet shape. To account for this, we introduce the concept of the 'jet pressure impulse', a physical quantity that unifies the velocity and jet shape. However, direct estimation of this parameter from experimental data is challenging due to limitations in spatiotemporal resolution. Therefore, we used numerical simulations to replicate the experimental conditions and calculate the jet pressure impulse. Remarkably, the results show that the jet pressure impulse has peak values, which is consistent with the penetration depth. In addition, there is a correlation between the magnitude of the jet pressure impulse and the penetration depth, highlighting its importance as a key parameter. This study underlines the importance of the jet pressure impulse in controlling the penetration depth of a focused microjet, providing valuable insights for the practical use of needle-free injection techniques.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Fairness and efficiency trade-off in two-sided matching
Authors:
Sung-Ho Cho,
Kei Kimura,
Kiki Liu,
Kwei-guu Liu,
Zhengjie Liu,
Zhaohong Sun,
Kentaro Yahiro,
Makoto Yokoo
Abstract:
The theory of two-sided matching has been extensively developed and applied to many real-life application domains. As the theory has been applied to increasingly diverse types of environments, researchers and practitioners have encountered various forms of distributional constraints. As a mechanism can handle a more general class of constraints, we can assign students more flexibly to colleges to…
▽ More
The theory of two-sided matching has been extensively developed and applied to many real-life application domains. As the theory has been applied to increasingly diverse types of environments, researchers and practitioners have encountered various forms of distributional constraints. As a mechanism can handle a more general class of constraints, we can assign students more flexibly to colleges to increase students' welfare. However, it turns out that there exists a trade-off between students' welfare (efficiency) and fairness (which means no student has justified envy). Furthermore, this trade-off becomes sharper as the class of constraints becomes more general. The first contribution of this paper is to clarify the boundary on whether a strategyproof and fair mechanism can satisfy certain efficiency properties for each class of constraints. Our second contribution is to establish a weaker fairness requirement called envy-freeness up to $k$ peers (EF-$k$), which is inspired by a similar concept used in the fair division of indivisible items. EF-$k$ guarantees that each student has justified envy towards at most $k$ students. By varying $k$, EF-$k$ can represent different levels of fairness. We investigate theoretical properties associated with EF-$k$. Furthermore, we develop two contrasting strategyproof mechanisms that work for general hereditary constraints, i.e., one mechanism can guarantee a strong efficiency requirement, while the other can guarantee EF-$k$ for any fixed $k$. We evaluate the performance of these mechanisms through computer simulation.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Characterizing the integer points in 2-decomposable polyhedra by closedness under operations
Authors:
Kei Kimura,
Kazuhisa Makino,
Shota Yamada,
Ryo Yoshizumi
Abstract:
Characterizing the solution sets in a problem by closedness under operations is recognized as one of the key aspects of algorithm development, especially in constraint satisfaction. An example from the Boolean satisfiability problem is that the solution set of a Horn conjunctive normal form (CNF) is closed under the minimum operation, and this property implies that minimizing a nonnegative linear…
▽ More
Characterizing the solution sets in a problem by closedness under operations is recognized as one of the key aspects of algorithm development, especially in constraint satisfaction. An example from the Boolean satisfiability problem is that the solution set of a Horn conjunctive normal form (CNF) is closed under the minimum operation, and this property implies that minimizing a nonnegative linear function over a Horn CNF can be done in polynomial time. In this paper, we focus on the set of integer points (vectors) in a polyhedron, and study the relation between these sets and closedness under operations from the viewpoint of 2-decomposability. By adding further conditions to the 2-decomposable polyhedra, we show that important classes of sets of integer vectors in polyhedra are characterized by 2-decomposability and closedness under certain operations, and in some classes, by closedness under operations alone. The most prominent result we show is that the set of integer vectors in a unit-two-variable-per-inequality polyhedron can be characterized by closedness under the median and directed discrete midpoint operations, each of these operations was independently considered in constraint satisfaction and discrete convex analysis.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Compactness of the Alexandrov topology of maximal Cohen-Macaulay modules
Authors:
Kaito Kimura
Abstract:
Let $R$ be a Cohen-Macaulay local ring. In this paper, we first describe the radicals of annihilators of stable categories of maximal Cohen-Macaulay $R$-modules. We then prove that the Alexandrov topology of the stable category of maximal Cohen-Macaulay $R$-modules is compact provided that the completion of $R$ has an isolated singularity. Finally, we consider the case of a hypersurface of countab…
▽ More
Let $R$ be a Cohen-Macaulay local ring. In this paper, we first describe the radicals of annihilators of stable categories of maximal Cohen-Macaulay $R$-modules. We then prove that the Alexandrov topology of the stable category of maximal Cohen-Macaulay $R$-modules is compact provided that the completion of $R$ has an isolated singularity. Finally, we consider the case of a hypersurface of countable CM-representation type.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Sensor Data Simulation for Anomaly Detection of the Elderly Living Alone
Authors:
Kai Tanaka,
Mineichi Kudo,
Keigo Kimura
Abstract:
With the increase of the number of elderly people living alone around the world, there is a growing demand for sensor-based detection of anomalous behaviors. Although smart homes with ambient sensors could be useful for detecting such anomalies, there is a problem of lack of sufficient real data for develo** detection algorithms. For co** with this problem, several sensor data simulators have…
▽ More
With the increase of the number of elderly people living alone around the world, there is a growing demand for sensor-based detection of anomalous behaviors. Although smart homes with ambient sensors could be useful for detecting such anomalies, there is a problem of lack of sufficient real data for develo** detection algorithms. For co** with this problem, several sensor data simulators have been proposed, but they have not been able to model appropriately the long-term transitions and correlations between anomalies that exist in reality. In this paper, therefore, we propose a novel sensor data simulator that can model these factors in generation of sensor data. Anomalies considered in this study were classified into three types of \textit{state anomalies}, \textit{activity anomalies}, and \textit{moving anomalies}. The simulator produces 10 years data in 100 min. including six anomalies, two for each type. Numerical evaluations show that this simulator is superior to the past simulators in the sense that it simulates well day-to-day variations of real data.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
A necessary and sufficient condition for the existence of a properly coloured $f$-factor in an edge-coloured graph
Authors:
Roman Čada,
Michitaka Furuya,
Kenji Kimura,
Kenta Ozeki,
Christopher Purcell,
Takamasa Yashima
Abstract:
The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the…
▽ More
The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the $f$-factor theorem given by Tutte in 1954. An alternative statement, analogous to the original $f$-factor theorem, is also given. We show that our theorem generalises the $f$-factor theorem; that is, the former implies the latter. We consider other properties of edge-coloured graphs, and show that similar results are unlikely for $f$-factors with rainbow components and distance-$d$-coloured $f$-factors, even when $d=2$ and the number of colours used is asymptotically minimal.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Surface transfer do** of hydrogen-terminated diamond probed by shallow nitrogen-vacancy centers
Authors:
Taisuke Kageura,
Yosuke Sasama,
Keisuke Yamada,
Kosuke Kimura,
Shinobu Onoda,
Yamaguchi Takahide
Abstract:
The surface conductivity of hydrogen-terminated diamond is a topic of great interest from both scientific and technological perspectives. This is primarily due to the fact that the conductivity is exceptionally high without the need for substitutional do**, thus enabling a wide range of electronic applications. Although the conductivity is commonly explained by the surface transfer do** due to…
▽ More
The surface conductivity of hydrogen-terminated diamond is a topic of great interest from both scientific and technological perspectives. This is primarily due to the fact that the conductivity is exceptionally high without the need for substitutional do**, thus enabling a wide range of electronic applications. Although the conductivity is commonly explained by the surface transfer do** due to air-borne surface acceptors, there remains uncertainty regarding the main determining factors that govern the degree of band bending and hole density, which are crucial for the design of electronic devices. Here, we elucidate the dominant factor influencing band bending by creating shallow nitrogen-vacancy (NV) centers beneath the hydrogen-terminated diamond surface through nitrogen ion implantation at varying fluences. We measured the photoluminescence and optically detected magnetic resonance of the NV centers as well as the surface conductivity as a function of the implantation fluence. Our findings indicate that band bending is not exclusively determined by the work-function difference between diamond and the surface acceptor material, but by the finite density of surface acceptors. Furthermore, this study also suggests the presence of spatial inhomogeneities in the surface conductivity and the charge state of the NV centers when the implantation fluence is close to the density of negatively charged surface acceptors. This work emphasizes the importance of distinguishing work-function-difference-limited band bending and surface-acceptor-density-limited band bending when modeling the surface transfer do** and provides useful insights for the development of devices based on hydrogen-terminated diamond.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
On the vanishing of Ext modules over a local unique factorization domain with an isolated singularity
Authors:
Kaito Kimura,
Justin Lyle,
Yuya Otake,
Ryo Takahashi
Abstract:
This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the (non)vanishing of Ext modules. It is proved that there exist a Gorenstein local UFD $A$ having an isolated singularity such that…
▽ More
This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the (non)vanishing of Ext modules. It is proved that there exist a Gorenstein local UFD $A$ having an isolated singularity such that $\operatorname{Ext}_A^{\gg0}(M,N)=0$ does not imply $\operatorname{Ext}_A^{\gg0}(N,M)=0$, a Gorenstein local UFD $B$ having an isolated singularity such that $\operatorname{Tor}_{>0}^B(M,N)=0$ does not imply $\operatorname{depth}(M\otimes_B N)=\operatorname{depth} M+\operatorname{depth} N-\operatorname{depth} B$, and a Cohen-Macaulay local UFD $C$ having an isolated singularity such that $\operatorname{Ext}_C^{>0}(M,C)=0$ does not imply the total reflexivity of $M$.
△ Less
Submitted 31 October, 2023; v1 submitted 25 October, 2023;
originally announced October 2023.
-
Asymptotic behavior of homological invariants of localizations of modules
Authors:
Kaito Kimura
Abstract:
Let $R$ be a commutative noetherian ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module. We consider the asymptotic injective dimensions, projective dimensions, Bass numbers, and Betti numbers of localizations of $M/I^n M$ at prime ideals of $R$ and prove that these invariants are stable or have polynomial growth for large integers $n$ that do not depend on the prime ideals.
Let $R$ be a commutative noetherian ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module. We consider the asymptotic injective dimensions, projective dimensions, Bass numbers, and Betti numbers of localizations of $M/I^n M$ at prime ideals of $R$ and prove that these invariants are stable or have polynomial growth for large integers $n$ that do not depend on the prime ideals.
△ Less
Submitted 29 October, 2023; v1 submitted 18 October, 2023;
originally announced October 2023.
-
Multi-Stage Generalized Deferred Acceptance Mechanism: Strategyproof Mechanism for Handling General Hereditary Constraints
Authors:
Kei Kimura,
Kwei-guu Liu,
Zhaohong Sun,
Kentaro Yahiro,
Makoto Yokoo
Abstract:
The theory of two-sided matching has been extensively developed and applied to many real-life application domains. As the theory has been applied to increasingly diverse types of environments, researchers and practitioners have encountered various forms of distributional constraints. Arguably, the most general class of distributional constraints would be hereditary constraints; if a matching is fe…
▽ More
The theory of two-sided matching has been extensively developed and applied to many real-life application domains. As the theory has been applied to increasingly diverse types of environments, researchers and practitioners have encountered various forms of distributional constraints. Arguably, the most general class of distributional constraints would be hereditary constraints; if a matching is feasible, then any matching that assigns weakly fewer students at each college is also feasible. However, under general hereditary constraints, it is shown that no strategyproof mechanism exists that simultaneously satisfies fairness and weak nonwastefulness, which is an efficiency (students' welfare) requirement weaker than nonwastefulness. We propose a new strategyproof mechanism that works for hereditary constraints called the Multi-Stage Generalized Deferred Acceptance mechanism (MS-GDA). It uses the Generalized Deferred Acceptance mechanism (GDA) as a subroutine, which works when distributional constraints belong to a well-behaved class called hereditary M$^\natural$-convex set. We show that GDA satisfies several desirable properties, most of which are also preserved in MS-GDA. We experimentally show that MS-GDA strikes a good balance between fairness and efficiency (students' welfare) compared to existing strategyproof mechanisms when distributional constraints are close to an M$^\natural$-convex set.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Perceptual Quality Enhancement of Sound Field Synthesis Based on Combination of Pressure and Amplitude Matching
Authors:
Keisuke Kimura,
Shoichi Koyama,
Hiroshi Saruwatari
Abstract:
A sound field synthesis method enhancing perceptual quality is proposed. Sound field synthesis using multiple loudspeakers enables spatial audio reproduction with a broad listening area; however, synthesis errors at high frequencies called spatial aliasing artifacts are unavoidable. To minimize these artifacts, we propose a method based on the combination of pressure and amplitude matching. On the…
▽ More
A sound field synthesis method enhancing perceptual quality is proposed. Sound field synthesis using multiple loudspeakers enables spatial audio reproduction with a broad listening area; however, synthesis errors at high frequencies called spatial aliasing artifacts are unavoidable. To minimize these artifacts, we propose a method based on the combination of pressure and amplitude matching. On the basis of the human's auditory properties, synthesizing the amplitude distribution will be sufficient for horizontal sound localization. Furthermore, a flat amplitude response should be synthesized as much as possible to avoid coloration. Therefore, we apply amplitude matching, which is a method to synthesize the desired amplitude distribution with arbitrary phase distribution, for high frequencies and conventional pressure matching for low frequencies. Experimental results of numerical simulations and listening tests using a practical system indicated that the perceptual quality of the sound field synthesized by the proposed method was improved from that synthesized by pressure matching.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
The Greenland Telescope: Construction, Commissioning, and Operations in Pituffik
Authors:
Ming-Tang Chen,
Keiichi Asada,
Satoki Matsushita,
Philippe Raffin,
Makoto Inoue,
Paul T. P. Ho,
Chih-Chiang Han,
Derek Kubo,
Timothy Norton,
Nimesh A. Patel,
George Nystrom,
Chih-Wei L. Huang,
Pierre Martin-Cocher,
Jun Yi Koay,
Cristina Romero-Cañizales,
Ching-Tang Liu,
Teddy Huang,
Kuan-Yu Liu,
Tashun Wei,
Shu-Hao Chang,
Ryan Chilson,
Peter Oshiro,
Homin Jiang,
Chao-Te Li,
Geoffrey Bower
, et al. (29 additional authors not shown)
Abstract:
In 2018, the Greenland Telescope (GLT) started scientific observation in Greenland. Since then, we have completed several significant improvements and added new capabilities to the telescope system. This paper presents a full review of the GLT system, a summary of our observation activities since 2018, the lessons learned from the operations in the Arctic regions, and the prospect of the telescope…
▽ More
In 2018, the Greenland Telescope (GLT) started scientific observation in Greenland. Since then, we have completed several significant improvements and added new capabilities to the telescope system. This paper presents a full review of the GLT system, a summary of our observation activities since 2018, the lessons learned from the operations in the Arctic regions, and the prospect of the telescope.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems
Authors:
Kei Kimura,
Kazuhisa Makino
Abstract:
Linear programming (LP) problems with gainfree Leontief substitution systems have been intensively studied in economics and operations research, and include the feasibility problem of a class of Horn systems, which arises in, e.g., polyhedral combinatorics and logic. This subclass of LP problems admits a strongly polynomial time algorithm, where devising such an algorithm for general LP problems i…
▽ More
Linear programming (LP) problems with gainfree Leontief substitution systems have been intensively studied in economics and operations research, and include the feasibility problem of a class of Horn systems, which arises in, e.g., polyhedral combinatorics and logic. This subclass of LP problems admits a strongly polynomial time algorithm, where devising such an algorithm for general LP problems is one of the major theoretical open questions in mathematical optimization and computer science. Recently, much attention has been paid to devising certifying algorithms in software engineering, since those algorithms enable one to confirm the correctness of outputs of programs with simple computations. In this paper, we provide the first combinatorial (and strongly polynomial time) certifying algorithm for LP problems with gainfree Leontief substitution systems. As a by-product, we answer affirmatively an open question whether the feasibility problem of the class of Horn systems admits a combinatorial certifying algorithm.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
High-field phase diagram of the chiral-lattice antiferromagnet Sr(TiO)Cu4(PO4)4
Authors:
Toshihiro Nomura,
Yasuyuki Kato,
Yukitoshi Motome,
Atsushi Miyake,
Masashi Tokunaga,
Yoshimitsu Kohama,
Sergei Zherlitsyn,
Joachim Wosnitza,
Shojiro Kimura,
Tsukasa Katsuyoshi,
Tsuyoshi Kimura,
Kenta Kimura
Abstract:
High-field phase diagram of a chiral-lattice antiferromagnet Sr(TiO)Cu4(PO4)4 is studied by means of the ultrasound, dielectric, and magnetocaloric-effect measurements. These experimental techniques reveal two new phase transitions at high fields, which have not been resolved by the previous magnetization experiments. Specifically, the c66 acoustic mode shows drastic changes with hysteresis with a…
▽ More
High-field phase diagram of a chiral-lattice antiferromagnet Sr(TiO)Cu4(PO4)4 is studied by means of the ultrasound, dielectric, and magnetocaloric-effect measurements. These experimental techniques reveal two new phase transitions at high fields, which have not been resolved by the previous magnetization experiments. Specifically, the c66 acoustic mode shows drastic changes with hysteresis with applied fields along the c axis, indicating a strong magneto-elastic coupling. Combined with the cluster mean-field theory, we discuss the origins of these phase transitions. By considering the chiral-twist effect of Cu4O12 cupola units, which is inherent to the chiral crystal structure, the phase diagram is reasonably reproduced. The agreement between the experiment and theory suggests that this material is a unique quasi two-dimensional spin system with competing exchange interactions and chirality, leading to the rich phase diagram.
△ Less
Submitted 1 December, 2023; v1 submitted 4 June, 2023;
originally announced June 2023.
-
Clustering Method for Time-Series Images Using Quantum-Inspired Computing Technology
Authors:
Tomoki Inoue,
Koyo Kubota,
Tsubasa Ikami,
Yasuhiro Egami,
Hiroki Nagai,
Takahiro Kashikawa,
Koichi Kimura,
Yu Matsuda
Abstract:
Time-series clustering serves as a powerful data mining technique for time-series data in the absence of prior knowledge about clusters. A large amount of time-series data with large size has been acquired and used in various research fields. Hence, clustering method with low computational cost is required. Given that a quantum-inspired computing technology, such as a simulated annealing machine,…
▽ More
Time-series clustering serves as a powerful data mining technique for time-series data in the absence of prior knowledge about clusters. A large amount of time-series data with large size has been acquired and used in various research fields. Hence, clustering method with low computational cost is required. Given that a quantum-inspired computing technology, such as a simulated annealing machine, surpasses conventional computers in terms of fast and accurately solving combinatorial optimization problems, it holds promise for accomplishing clustering tasks that are challenging to achieve using existing methods. This study proposes a novel time-series clustering method that leverages an annealing machine. The proposed method facilitates an even classification of time-series data into clusters close to each other while maintaining robustness against outliers. Moreover, its applicability extends to time-series images. We compared the proposed method with a standard existing method for clustering an online distributed dataset. In the existing method, the distances between each data are calculated based on the Euclidean distance metric, and the clustering is performed using the k-means++ method. We found that both methods yielded comparable results. Furthermore, the proposed method was applied to a flow measurement image dataset containing noticeable noise with a signal-to-noise ratio of approximately 1. Despite a small signal variation of approximately 2%, the proposed method effectively classified the data without any overlap among the clusters. In contrast, the clustering results by the standard existing method and the conditional image sampling (CIS) method, a specialized technique for flow measurement data, displayed overlap** clusters. Consequently, the proposed method provides better results than the other two methods, demonstrating its potential as a superior clustering method.
△ Less
Submitted 18 July, 2023; v1 submitted 26 May, 2023;
originally announced May 2023.
-
A ring-like accretion structure in M87 connecting its black hole and jet
Authors:
Ru-Sen Lu,
Keiichi Asada,
Thomas P. Krichbaum,
Jongho Park,
Fumie Tazaki,
Hung-Yi Pu,
Masanori Nakamura,
Andrei Lobanov,
Kazuhiro Hada,
Kazunori Akiyama,
Jae-Young Kim,
Ivan Marti-Vidal,
José L. Gómez,
Tomohisa Kawashima,
Feng Yuan,
Eduardo Ros,
Walter Alef,
Silke Britzen,
Michael Bremer,
Avery E. Broderick,
Akihiro Doi,
Gabriele Giovannini,
Marcello Giroletti,
Paul T. P. Ho,
Mareki Honma
, et al. (96 additional authors not shown)
Abstract:
The nearby radio galaxy M87 is a prime target for studying black hole accretion and jet formation^{1,2}. Event Horizon Telescope observations of M87 in 2017, at a wavelength of 1.3 mm, revealed a ring-like structure, which was interpreted as gravitationally lensed emission around a central black hole^3. Here we report images of M87 obtained in 2018, at a wavelength of 3.5 mm, showing that the comp…
▽ More
The nearby radio galaxy M87 is a prime target for studying black hole accretion and jet formation^{1,2}. Event Horizon Telescope observations of M87 in 2017, at a wavelength of 1.3 mm, revealed a ring-like structure, which was interpreted as gravitationally lensed emission around a central black hole^3. Here we report images of M87 obtained in 2018, at a wavelength of 3.5 mm, showing that the compact radio core is spatially resolved. High-resolution imaging shows a ring-like structure of 8.4_{-1.1}^{+0.5} Schwarzschild radii in diameter, approximately 50% larger than that seen at 1.3 mm. The outer edge at 3.5 mm is also larger than that at 1.3 mm. This larger and thicker ring indicates a substantial contribution from the accretion flow with absorption effects in addition to the gravitationally lensed ring-like emission. The images show that the edge-brightened jet connects to the accretion flow of the black hole. Close to the black hole, the emission profile of the jet-launching region is wider than the expected profile of a black-hole-driven jet, suggesting the possible presence of a wind associated with the accretion flow.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Auslander--Reiten conjecture for normal rings
Authors:
Kaito Kimura
Abstract:
In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten conjecture holds true for every normal ring.
In this paper, sufficient conditions for finitely generated modules over a commutative noetherian ring to be projective are given in terms of vanishing of Ext modules. One of the main results of this paper asserts that the Auslander--Reiten conjecture holds true for every normal ring.
△ Less
Submitted 8 April, 2023;
originally announced April 2023.
-
Weighted Pressure and Mode Matching for Sound Field Reproduction: Theoretical and Experimental Comparisons
Authors:
Shoichi Koyama,
Keisuke Kimura,
Natsuki Ueno
Abstract:
Two sound field reproduction methods, weighted pressure matching and weighted mode matching, are theoretically and experimentally compared. The weighted pressure and mode matching are a generalization of conventional pressure and mode matching, respectively. Both methods are derived by introducing a weighting matrix in the pressure and mode matching. The weighting matrix in the weighted pressure m…
▽ More
Two sound field reproduction methods, weighted pressure matching and weighted mode matching, are theoretically and experimentally compared. The weighted pressure and mode matching are a generalization of conventional pressure and mode matching, respectively. Both methods are derived by introducing a weighting matrix in the pressure and mode matching. The weighting matrix in the weighted pressure matching is defined on the basis of the kernel interpolation of the sound field from pressure at a discrete set of control points. In the weighted mode matching, the weighting matrix is defined by a regional integration of spherical wavefunctions. It is theoretically shown that the weighted pressure matching is a special case of the weighted mode matching by infinite-dimensional harmonic analysis for estimating expansion coefficients from pressure observations. The difference between the two methods are discussed through experiments.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
3D Radiation-Hydrodynamic Simulations Resolving Interior of Rapidly Accreting Primordial Protostar
Authors:
Kazutaka Kimura,
Takashi Hosokawa,
Kazuyuki Sugimura,
Hajime Fukushima
Abstract:
Direct collapse of supermassive stars is a possible pathway to form supermassive black hole seeds at high redshifts. Whereas previous three-dimensional (3D) simulations demonstrate that supermassive stars form via rapid mass accretion, those resolving the stellar interior have been limited. We here report 3D radiation-hydrodynamic (RHD) simulations following the evolution of rapidly accreting prot…
▽ More
Direct collapse of supermassive stars is a possible pathway to form supermassive black hole seeds at high redshifts. Whereas previous three-dimensional (3D) simulations demonstrate that supermassive stars form via rapid mass accretion, those resolving the stellar interior have been limited. We here report 3D radiation-hydrodynamic (RHD) simulations following the evolution of rapidly accreting protostars resolving the stellar interior. We use an adaptive mesh refinement code with our newly developed RHD solver employing an explicit M1 closure method. We follow the early evolution until the stellar mass reaches $\sim 10~M_\odot$ from two different initial configurations of spherical and turbulent clouds. We demonstrate that, in both the cases, a swollen protostar whose radius is $100\mathrm{-}1000~R_\odot$ appears, as predicted by the stellar evolution calculations. Its effective temperature remains a few thousand Kelvin, and the radiative feedback by ionizing photons is too weak to disturb the accretion flow up to the epoch examined in this work. In the turbulent case, the protostar rotates rapidly at more than 0.4 times the Keplerian velocity owing to the angular momentum provided by the initial turbulence. The protostar approximates an oblate spheroid, and its equatorial radius is more than twice the polar radius. Our results suggest that we need to consider the rapid stellar rotation to elucidate the realistic 3D protostellar evolution in the supermassive star formation.
△ Less
Submitted 12 June, 2023; v1 submitted 21 March, 2023;
originally announced March 2023.
-
Quantized Zero Dynamics Attacks against Sampled-data Control Systems
Authors:
Kosuke Kimura,
Hideaki Ishii
Abstract:
For networked control systems, cyber-security issues have gained much attention in recent years. In this paper, we consider the so-called zero dynamics attacks, which form an important class of false data injection attacks, with a special focus on the effects of quantization in a sampled-data control setting. When the attack signals must be quantized, some error will be necessarily introduced, pot…
▽ More
For networked control systems, cyber-security issues have gained much attention in recent years. In this paper, we consider the so-called zero dynamics attacks, which form an important class of false data injection attacks, with a special focus on the effects of quantization in a sampled-data control setting. When the attack signals must be quantized, some error will be necessarily introduced, potentially increasing the chance of detection through the output of the system. In this paper, we show however that the attacker may reduce such errors by avoiding to directly quantize the attack signal. We look at two approaches for generating quantized attacks which can keep the error in the output smaller than a specified level by using the knowledge of the system dynamics. The methods are based on a dynamic quantization technique and a modified version of zero dynamics attacks. Numerical examples are provided to verify the effectiveness of the proposed methods.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Atomic diffusion due to hyperatomic fluctuation for quasicrystals
Authors:
Yuki Nagai,
Yutaka Iwasaki,
Koichi Kitahara,
Yoshiki Takagiwa,
Kaoru Kimura,
Motoyuki Shiga
Abstract:
A quasicrystal is an ordered but non-periodic structure understood as a projection from a higher dimensional periodic structure. Some physical properties of quasicrystals are different from those of conventional solids. An anomalous increase in heat capacity at high temperatures has been discussed for over two decades as a manifestation of a hidden high dimensionality of quasicrystals. A plausible…
▽ More
A quasicrystal is an ordered but non-periodic structure understood as a projection from a higher dimensional periodic structure. Some physical properties of quasicrystals are different from those of conventional solids. An anomalous increase in heat capacity at high temperatures has been discussed for over two decades as a manifestation of a hidden high dimensionality of quasicrystals. A plausible candidate for this origin has been phason, which has excitation modes originating from additional degrees of freedom in the higher-dimensional lattice. However, most theoretical studies on phasons have used toy models. A theoretical study of the heat capacity of realistic quasicrystals or their approximants has yet to be conducted because of the huge computational complexity. To bridge this gap between experiment and theory, we show experiments and molecular simulations on the same material, an Al--Pd--Ru quasicrystal, and its approximants. We show that at high temperatures, aluminum atoms diffuse with discontinuous-like jumps, and the diffusion paths of the aluminum can be understood in terms of jumps corresponding to hyperatomic fluctuations in six-dimensional space. It is concluded that the anomaly in the heat capacity of quasicrystals arises from extra degrees of freedom due to hyperatomic fluctuations that play a role in diffusive Nambu--Goldstone modes.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Asymptotic stability of depths of localizations of modules
Authors:
Kaito Kimura
Abstract:
Let R be a commutative noetherian ring, I an ideal of R, and M a finitely generated R-module. The asymptotic behavior of the quotient modules M/I^n M of M is an actively studied subject in commutative algebra. The main result of this paper asserts that the depth of the localization of M/I^n M at any prime ideal of R is stable for large integers n that do not depend on the prime ideal, if the modul…
▽ More
Let R be a commutative noetherian ring, I an ideal of R, and M a finitely generated R-module. The asymptotic behavior of the quotient modules M/I^n M of M is an actively studied subject in commutative algebra. The main result of this paper asserts that the depth of the localization of M/I^n M at any prime ideal of R is stable for large integers n that do not depend on the prime ideal, if the module M or M/I^n M is Cohen-Macaulay for some n>0, or the ring R is one of the following: a homomorphic image of a Cohen-Macaulay ring, a semi-local ring, an excellent ring, a quasi-excellent and catenary ring, and an acceptable ring.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
QuDASH: Quantum-inspired rate adaptation approach for DASH video streaming
Authors:
Bo Wei,
Hang Song,
Makoto Nakamura,
Koichi Kimura,
Nozomu Togawa,
Jiro Katto
Abstract:
Internet traffic is dramatically increasing with the development of network technologies and video streaming traffic accounts for large amount within the total traffic, which reveals the importance to guarantee the quality of content delivery service. Based on the network conditions, adaptive bitrate (ABR) control is utilized as a common technique which can choose the proper bitrate to ensure the…
▽ More
Internet traffic is dramatically increasing with the development of network technologies and video streaming traffic accounts for large amount within the total traffic, which reveals the importance to guarantee the quality of content delivery service. Based on the network conditions, adaptive bitrate (ABR) control is utilized as a common technique which can choose the proper bitrate to ensure the video streaming quality. In this paper, new bitrate control method, QuDASH is proposed by taking advantage of the emerging quantum technology. In QuDASH, the adaptive control model is developed using the quadratic unconstrained binary optimization (QUBO), which aims at increasing the average bitrate and decreasing the video rebuffering events to maximize the user quality of experience (QoE). In order to formulate the video control model, first the QUBO terms of different factors are defined regarding video quality, bitrate change, and buffer condition. Then, all the individual QUBO terms are merged to generate an objective function. By minimizing the QUBO objective function, the bitrate choice is determined from the solution. The control model is solved by Digital Annealer, which is a quantum-inspired computing technology. The evaluation of the proposed method is carried out by simulation with the throughput traces obtained in real world under different scenarios and the comparison with other methods is conducted. Experiment results demonstrated that the proposed QuDASH method has better performance in terms of QoE compared with other advanced ABR methods. In 68.2% of the examined cases, QuDASH achieves the highest QoE results, which shows the superiority of the QuDASH over conventional methods.
△ Less
Submitted 21 October, 2023; v1 submitted 19 June, 2022;
originally announced June 2022.
-
Data-Driven Optimal Sensor Placement for High-Dimensional System Using Annealing Machine
Authors:
Tomoki Inoue,
Tsubasa Ikami,
Yasuhiro Egami,
Hiroki Nagai,
Yasuo Naganuma,
Koichi Kimura,
Yu Matsuda
Abstract:
We propose a novel method for solving optimal sensor placement problem for high-dimensional system using an annealing machine. The sensor points are calculated as a maximum clique problem of the graph, the edge weight of which is determined by the proper orthogonal decomposition (POD) mode obtained from data based on the fact that a high-dimensional system usually has a low-dimensional representat…
▽ More
We propose a novel method for solving optimal sensor placement problem for high-dimensional system using an annealing machine. The sensor points are calculated as a maximum clique problem of the graph, the edge weight of which is determined by the proper orthogonal decomposition (POD) mode obtained from data based on the fact that a high-dimensional system usually has a low-dimensional representation. Since the maximum clique problem is equivalent to the independent set problem of the complement graph, the independent set problem is solved using Fujitsu Digital Annealer. As a demonstration of the proposed method, the pressure distribution induced by the Kármán vortex street behind a square cylinder is reconstructed based on the pressure data at the calculated sensor points. The pressure distribution is measured by pressure-sensitive paint (PSP) technique, which is an optical flow diagnose method. The root mean square errors (RMSEs) between the pressure measured by pressure transducer and the reconstructed pressures (calculated from the proposed method and an existing greedy method) at the same place are compared. As the result, the similar RMSE is achieved by the proposed method using approximately 1/5 number of sensor points obtained by the existing method. This method is of great importance as a novel approach for optimal sensor placement problem and a new engineering application of an annealing machine.
△ Less
Submitted 7 November, 2022; v1 submitted 11 May, 2022;
originally announced May 2022.
-
Ferroelectric transition of a chiral molecular crystal BINOL2DMSO
Authors:
Toshihiro Nomura,
Takeshi Yajima,
Zhuo Yang,
Ryosuke Kurihara,
Yuto Ishii,
Masashi Tokunaga,
Yasuhiro H. Matsuda,
Yoshimitsu Kohama,
Kenta Kimura,
Tsuyoshi Kimura
Abstract:
We report dielectric, thermodynamical, acoustic, and optical properties of a chiral molecular crystal, 1,1'-bi-2-naphthol 2-dimethylsulfoxide (BINOL2DMSO). We find two successive phase transitions at Tc1=190 K and Tc2=125 K. The first transition at Tc1 is characterized by an order-disorder transition of the guest molecules DMSO along with ferroelectricity. At the second transition of Tc2, the crys…
▽ More
We report dielectric, thermodynamical, acoustic, and optical properties of a chiral molecular crystal, 1,1'-bi-2-naphthol 2-dimethylsulfoxide (BINOL2DMSO). We find two successive phase transitions at Tc1=190 K and Tc2=125 K. The first transition at Tc1 is characterized by an order-disorder transition of the guest molecules DMSO along with ferroelectricity. At the second transition of Tc2, the crystal structure deforms from tetragonal to monoclinic, leading to domain formation. Low-temperature x-ray diffraction suggests that the space group changes from P4_12_12 (P4_32_12) to P4_1 (P4_3) at Tc1, and down to P112_1 at Tc2.
△ Less
Submitted 1 May, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Neighborhood persistency of the linear optimization relaxation of integer linear optimization
Authors:
Kei Kimura,
Kotaro Nakayama
Abstract:
For an integer linear optimization (ILO) problem, persistency of its linear optimization (LO) relaxation is a property that for every optimal solution of the relaxation that assigns integer values to some variables, there exists an optimal solution of the ILO problem in which these variables retain the same values. Although persistency has been used to develop heuristic, approximation, and fixed-p…
▽ More
For an integer linear optimization (ILO) problem, persistency of its linear optimization (LO) relaxation is a property that for every optimal solution of the relaxation that assigns integer values to some variables, there exists an optimal solution of the ILO problem in which these variables retain the same values. Although persistency has been used to develop heuristic, approximation, and fixed-parameter algorithms for special cases of ILO, its applicability remains unknown in the literature. In this paper we reveal a maximal subclass of ILO such that its LO relaxation has persistency. Specifically, we show that the LO relaxation of ILO on unit-two-variable-per-inequality (UTVPI) systems has persistency and is (in a certain sense) maximal among such ILO. Our persistency result generalizes the results of Nemhauser and Trotter, Hochbaum et al., and Fiorini et al. Even more, we propose a stronger property called \emph{neighborhood persistency} and show that the LO relaxation of ILO on UTVPI systems in general has this property. Using this stronger result, we obtain a fixed-parameter algorithm (where the parameter is the solution size) and another proof of two-approximability for ILO on UTVPI systems where objective functions and variables are non-negative.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
Spin dynamics in the square-lattice cupola system Ba(TiO)Cu$_4$(PO$_4$)$_4$
Authors:
Luc Testa,
Peter Babkevich,
Yasuyuki Kato,
Kenta Kimura,
Virgile Favre,
Jose A. Rodriguez-Rivera,
Jacques Ollivier,
Stéphane Raymond,
Tsuyoshi Kimura,
Yukitoshi Motome,
Bruce Normand,
Henrik M. Rønnow
Abstract:
We report high-resolution single-crystal inelastic neutron scattering measurements on the spin-1/2 antiferromagnet Ba(TiO)Cu$_4$(PO$_4$)$_4$. This material is formed from layers of four-site \cupola" structures, oriented alternately upwards and downwards, which constitute a rather special realization of two-dimensional (2D) square-lattice magnetism. The strong Dzyaloshinskii-Moriya (DM) interactio…
▽ More
We report high-resolution single-crystal inelastic neutron scattering measurements on the spin-1/2 antiferromagnet Ba(TiO)Cu$_4$(PO$_4$)$_4$. This material is formed from layers of four-site \cupola" structures, oriented alternately upwards and downwards, which constitute a rather special realization of two-dimensional (2D) square-lattice magnetism. The strong Dzyaloshinskii-Moriya (DM) interaction within each cupola, or plaquette, unit has a geometry largely unexplored among the numerous studies of magnetic properties in 2D Heisenberg models with spin and spatial anisotropies. We have measured the magnetic excitations at zero field and in fields up to 5 T, finding a complex mode structure with multiple characteristic features that allow us to extract all the relevant magnetic interactions by modelling within the linear spin-wave approximation. We demonstrate that Ba(TiO)Cu$_4$(PO$_4$)$_4$ is a checkerboard system with almost equal intra- and inter-plaquette couplings, in which the intra-plaquette DM interaction is instrumental both in enforcing robust magnetic order and in opening a large gap at the Brillouin-zone center. We place our observations in the perspective of generalized phase diagrams for spin-1/2 square-lattice models and materials, where exploring anisotropies and frustration as routes to quantum disorder remains a frontier research problem.
△ Less
Submitted 28 February, 2022;
originally announced March 2022.
-
Openness of various loci over Noetherian rings
Authors:
Kaito Kimura
Abstract:
In this paper, we consider the openness of the P-locus of a finitely generated module over a commutative noetherian ring in the case where P is each of the properties FID, Gor, CM, MCM, (S_n), and (T_n). One of the main results asserts that FID-loci over an acceptable ring are open. We give a module version of the Nagata criterion, and prove that it holds for all of the aforementioned properties.
In this paper, we consider the openness of the P-locus of a finitely generated module over a commutative noetherian ring in the case where P is each of the properties FID, Gor, CM, MCM, (S_n), and (T_n). One of the main results asserts that FID-loci over an acceptable ring are open. We give a module version of the Nagata criterion, and prove that it holds for all of the aforementioned properties.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Incomplete Multi-View Weak-Label Learning with Noisy Features and Imbalanced Labels
Authors:
Zhiwei Li,
Zijian Yang,
Lu Sun,
Mineichi Kudo,
Kego Kimura
Abstract:
A variety of modern applications exhibit multi-view multi-label learning, where each sample has multi-view features, and multiple labels are correlated via common views. Current methods usually fail to directly deal with the setting where only a subset of features and labels are observed for each sample, and ignore the presence of noisy views and imbalanced labels in real-world problems. In this p…
▽ More
A variety of modern applications exhibit multi-view multi-label learning, where each sample has multi-view features, and multiple labels are correlated via common views. Current methods usually fail to directly deal with the setting where only a subset of features and labels are observed for each sample, and ignore the presence of noisy views and imbalanced labels in real-world problems. In this paper, we propose a novel method to overcome the limitations. It jointly embeds incomplete views and weak labels into a low-dimensional subspace with adaptive weights, and facilitates the difference between embedding weight matrices via auto-weighted Hilbert-Schmidt Independence Criterion (HSIC) to reduce the redundancy. Moreover, it adaptively learns view-wise importance for embedding to detect noisy views, and mitigates the label imbalance problem by focal loss. Experimental results on four real-world multi-view multi-label datasets demonstrate the effectiveness of the proposed method.
△ Less
Submitted 29 August, 2023; v1 submitted 4 January, 2022;
originally announced January 2022.
-
Mean-square-error-based secondary source placement in sound field synthesis with prior information on desired field
Authors:
Keisuke Kimura,
Shoichi Koyama,
Natsuki Ueno,
Hiroshi Saruwatari
Abstract:
A method of optimizing secondary source placement in sound field synthesis is proposed. Such an optimization method will be useful when the allowable placement region and available number of loudspeakers are limited. We formulate a mean-square-error-based cost function, incorporating the statistical properties of possible desired sound fields, for general linear-least-squares-based sound field syn…
▽ More
A method of optimizing secondary source placement in sound field synthesis is proposed. Such an optimization method will be useful when the allowable placement region and available number of loudspeakers are limited. We formulate a mean-square-error-based cost function, incorporating the statistical properties of possible desired sound fields, for general linear-least-squares-based sound field synthesis methods, including pressure matching and (weighted) mode matching, whereas most of the current methods are applicable only to the pressure-matching method. An efficient greedy algorithm for minimizing the proposed cost function is also derived. Numerical experiments indicated that a high reproduction accuracy can be achieved by the placement optimized by the proposed method compared with the empirically used regular placement.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Sound Field Reproduction With Weighted Mode Matching and Infinite-Dimensional Harmonic Analysis: An Experimental Evaluation
Authors:
Shoichi Koyama,
Keisuke Kimura,
Natsuki Ueno
Abstract:
Sound field reproduction methods based on numerical optimization, which aim to minimize the error between synthesized and desired sound fields, are useful in many practical scenarios because of their flexibility in the array geometry of loudspeakers. However, the reproduction performance of these methods in a practical environment has not been sufficiently investigated. We evaluate weighted mode m…
▽ More
Sound field reproduction methods based on numerical optimization, which aim to minimize the error between synthesized and desired sound fields, are useful in many practical scenarios because of their flexibility in the array geometry of loudspeakers. However, the reproduction performance of these methods in a practical environment has not been sufficiently investigated. We evaluate weighted mode matching, which is a sound field reproduction method based on the spherical wavefunction expansion of the sound field, in comparison with conventional pressure matching. We also introduce a method of infinite-dimensional harmonic analysis for estimating the expansion coefficients of the sound field from microphone measurements. Experimental results indicated that weighted mode matching using the expansion coefficients of the transfer functions estimated by the infinite-dimensional harmonic analysis outperforms conventional pressure matching, especially when the number of microphones is small.
△ Less
Submitted 22 November, 2021;
originally announced November 2021.
-
Probing three-state Potts nematic fluctuations by ultrasound attenuation
Authors:
Kazuhiro Kimura,
Manfred Sigrist,
Norio Kawakami
Abstract:
Motivated by recent studies of three-state Potts nematic states in magic-angle twisted bilayer graphene and doped-Bi$_2$Se$_3$, we analyze the impact of critical nematic fluctuations on the low energy properties of phonons. In this study we propose how to identify the three-state Potts nematic fluctuations by ultrasound attenuation. The Gaussian fluctuation analysis shows that the Landau dam** t…
▽ More
Motivated by recent studies of three-state Potts nematic states in magic-angle twisted bilayer graphene and doped-Bi$_2$Se$_3$, we analyze the impact of critical nematic fluctuations on the low energy properties of phonons. In this study we propose how to identify the three-state Potts nematic fluctuations by ultrasound attenuation. The Gaussian fluctuation analysis shows that the Landau dam** term becomes isotropic due to fluctuations of the $C_{3}$-breaking bond-order, and the nemato-elastic coupling is also shown to be isotropic. These two features lead to an isotropic divergence of the transverse sound attenuation coefficient and an isotropic lattice softening, in contrast to the case of the $C_4$-breaking bond-order which shows the strong anisotropy. Moreover, we use a mean-field approximation and discuss the impurity effects. The transition temperature takes its maximum near the filling of the van-Hove singularity, and the large density of states favors the nematic phase transition. It turns out that the phase transition is of weak first-order in the wide range of filling and, with increasing the impurity scattering, the first order transition line at low temperatures gradually shifts towards the second-order line, rendering the transition a weak first-order in a wider range of parameters. Furthermore, it is confirmed that the enhancement of the ultrasound attenuation coefficient will be clearly observed in experiments in the case of a weak first-order phase transition.
△ Less
Submitted 23 January, 2022; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Surface exceptional points in a topological Kondo insulator
Authors:
Robert Peters,
Kazuhiro Kimura,
Yoshihiro Michishita,
Tsuneya Yoshida,
Norio Kawakami
Abstract:
Correlated materials have appeared as an arena to study non-Hermitian effects as typically exemplified by the emergence of exceptional points. We show here that topological Kondo insulators are an ideal platform for studying these phenomena due to strong correlations and surface states exhibiting a nontrivial spin texture. Using numerical simulations, we demonstrate the emergence of exceptional po…
▽ More
Correlated materials have appeared as an arena to study non-Hermitian effects as typically exemplified by the emergence of exceptional points. We show here that topological Kondo insulators are an ideal platform for studying these phenomena due to strong correlations and surface states exhibiting a nontrivial spin texture. Using numerical simulations, we demonstrate the emergence of exceptional points in the single-particle Green's function on the surface of the material while the bulk is still insulating. We reveal how quasiparticle states with long lifetimes are created on the surface by non-Hermitian effects while the Dirac cones are smeared, which explains the surface Kondo breakdown at which heavy Dirac cones disappear from the single-particle spectrum and are replaced by light states. We further show how the non-Hermiticty changes the spin texture inherent in the surface states, which might help identify exceptional points experimentally. Besides confirming the existence of non-Hermitian effects on the surface of a topological Kondo insulator, this paper demonstrates how the eigenstates and eigenvalues of the effective non-Hermitian matrix describing the single-particle Green's function help understand the properties of correlated materials.
△ Less
Submitted 17 January, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Quantaloidal Approach to Constraint Satisfaction
Authors:
Soichiro Fujii,
Yuni Iwamasa,
Kei Kimura
Abstract:
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and t…
▽ More
The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism.
△ Less
Submitted 3 November, 2022; v1 submitted 5 July, 2021;
originally announced July 2021.
-
MeshRIR: A Dataset of Room Impulse Responses on Meshed Grid Points For Evaluating Sound Field Analysis and Synthesis Methods
Authors:
Shoichi Koyama,
Tomoya Nishida,
Keisuke Kimura,
Takumi Abe,
Natsuki Ueno,
Jesper Brunnström
Abstract:
A new impulse response (IR) dataset called "MeshRIR" is introduced. Currently available datasets usually include IRs at an array of microphones from several source positions under various room conditions, which are basically designed for evaluating speech enhancement and distant speech recognition methods. On the other hand, methods of estimating or controlling spatial sound fields have been exten…
▽ More
A new impulse response (IR) dataset called "MeshRIR" is introduced. Currently available datasets usually include IRs at an array of microphones from several source positions under various room conditions, which are basically designed for evaluating speech enhancement and distant speech recognition methods. On the other hand, methods of estimating or controlling spatial sound fields have been extensively investigated in recent years; however, the current IR datasets are not applicable to validating and comparing these methods because of the low spatial resolution of measurement points. MeshRIR consists of IRs measured at positions obtained by finely discretizing a spatial region. Two subdatasets are currently available: one consists of IRs in a three-dimensional cuboidal region from a single source, and the other consists of IRs in a two-dimensional square region from an array of 32 sources. Therefore, MeshRIR is suitable for evaluating sound field analysis and synthesis methods. This dataset is freely available at https://sh01k.github.io/MeshRIR/ with some codes of sample applications.
△ Less
Submitted 23 July, 2021; v1 submitted 20 June, 2021;
originally announced June 2021.
-
Maximal Cohen-Macaulay tensor products and vanishing of Ext modules
Authors:
Kaito Kimura,
Yuya Otake,
Ryo Takahashi
Abstract:
In this paper, we investigate the maximal Cohen-Macaulay property of tensor products of modules, and then give criteria for projectivity of modules in terms of vanishing of Ext modules. One of the applications shows that the Auslander-Reiten conjecture holds for Cohen-Macaulay normal rings.
In this paper, we investigate the maximal Cohen-Macaulay property of tensor products of modules, and then give criteria for projectivity of modules in terms of vanishing of Ext modules. One of the applications shows that the Auslander-Reiten conjecture holds for Cohen-Macaulay normal rings.
△ Less
Submitted 9 June, 2022; v1 submitted 16 June, 2021;
originally announced June 2021.
-
Maximum Number of Steps of Topswops on 18 and 19 Cards
Authors:
Kento Kimura,
Atsuki Takahashi,
Tetsuya Araki,
Kazuyuki Amano
Abstract:
Let $f(n)$ be the maximum number of steps of Topswops on $n$ cards. In this note, we report our computational experiments to determine the values of $f(18)$ and $f(19)$. By applying an algorithm developed by Knuth in a parallel fashion, we conclude that $f(18)=191$ and $f(19)=221$.
Let $f(n)$ be the maximum number of steps of Topswops on $n$ cards. In this note, we report our computational experiments to determine the values of $f(18)$ and $f(19)$. By applying an algorithm developed by Knuth in a parallel fashion, we conclude that $f(18)=191$ and $f(19)=221$.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Wavefront sensor for millimeter/submillimeter-wave adaptive optics based on aperture-plane interferometry
Authors:
Yoichi Tamura,
Ryohei Kawabe,
Yuhei Fukasaku,
Kimihiro Kimura,
Tetsutaro Ueda,
Akio Taniguchi,
Nozomi Okada,
Hideo Ogawa,
Ikumi Hashimoto,
Tetsuhiro Minamidani,
Noriyuki Kawaguchi,
Nario Kuno,
Yohei Togami,
Masato Hagimoto,
Satoya Nakano,
Keiichi Matsuda,
Sachiko Okumura,
Tomoko Nakamura,
Mikio Kurita,
Tatsuya Takekoshi,
Tai Oshima,
Toshikazu Onishi,
Kotaro Kohno
Abstract:
We present a concept of a millimeter wavefront sensor that allows real-time sensing of the surface of a ground-based millimeter/submillimeter telescope. It is becoming important for ground-based millimeter/submillimeter astronomy to make telescopes larger with kee** their surface accurate. To establish `millimetric adaptive optics (MAO)' that instantaneously corrects the wavefront degradation in…
▽ More
We present a concept of a millimeter wavefront sensor that allows real-time sensing of the surface of a ground-based millimeter/submillimeter telescope. It is becoming important for ground-based millimeter/submillimeter astronomy to make telescopes larger with kee** their surface accurate. To establish `millimetric adaptive optics (MAO)' that instantaneously corrects the wavefront degradation induced by deformation of telescope optics, our wavefront sensor based on radio interferometry measures changes in excess path lengths from characteristic positions on the primary mirror surface to the focal plane. This plays a fundamental role in planned 50-m class submillimeter telescopes such as LST and AtLAST.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Natural Understanding of Sterile Neutrino by Relativistic Equation
Authors:
Keiichi Kimura,
Akira Takamura
Abstract:
We derive the neutrino oscillation probabilities including sterile neutrinos by using the Dirac equation. If neutrinos have both the Dirac and the Majorana mass terms, left-handed neutrino $ν_L$ and right-handed anti-neutrino $ν_R^c$ enter the same multiplet and can transfer each other. Sterile neutrinos have been introduced by hand as the fourth generation neutrino in many papers, however, we can…
▽ More
We derive the neutrino oscillation probabilities including sterile neutrinos by using the Dirac equation. If neutrinos have both the Dirac and the Majorana mass terms, left-handed neutrino $ν_L$ and right-handed anti-neutrino $ν_R^c$ enter the same multiplet and can transfer each other. Sterile neutrinos have been introduced by hand as the fourth generation neutrino in many papers, however, we can understand sterile neutrinos naturally in the framework of three generations. We also point out that the oscillations into sterile neutrinos strongly suggest the existence of both the Dirac and the Majorana mass terms, and for neutrinos to be the Majorana particles.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Exact Oscillation Probabilities of Neutrinos in Three generations derived from Relativistic Equation
Authors:
Keiichi Kimura,
Akira Takamura
Abstract:
In three generations or more, we derive the oscillation probabilities of both Dirac and Majorana neutrinos relativistically by using the Dirac equation. We present various oscillation probabilities for including wrong-helicity neutrinos, right-handed neutrinos, and anti-neutrinos. We summarize the relations between these probabilities. As neutrinos have finite mass, there are two components for ea…
▽ More
In three generations or more, we derive the oscillation probabilities of both Dirac and Majorana neutrinos relativistically by using the Dirac equation. We present various oscillation probabilities for including wrong-helicity neutrinos, right-handed neutrinos, and anti-neutrinos. We summarize the relations between these probabilities. As neutrinos have finite mass, there are two components for each chirality corresponding to positive and negative helicities. We show that the probability is different for each component even if neutrinos have the same chirality. The probabilities derived by the relativistic equation depend on not only the mass squared differences but also the absolute masses of neutrinos. Besides, the new CP phases appear in the probabilities of oscillations with chirality-flip. These new CP phases are equivalent to the Majorana CP phases in the case of Majorana neutrinos. We investigate the CP dependence of oscillation probabilities in vacuum. There are no direct CP violation in $ν_α\leftrightarrow ν_β^c$ oscillations even if the flavors, $α$ and $β$, are different as in the same as two generations. In other words, the difference between the CP-conjugate probabilities vanishes. However, in three generations or more, the sine terms of new CP phases appear in the probabilities in addition to the cosine terms. This is different from the result obtained in two generations. Furthermore, the zero-distance effect does not appear in our formulation.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
Unification of Neutrino-Neutrino and Neutrino-Antineutrino Oscillations
Authors:
Keiichi Kimura,
Akira Takamura
Abstract:
In the case of two-generation Majorana neutrinos, we derive the oscillation probabilities of $ν\leftrightarrow ν$, $ν^c \leftrightarrow ν^c$ and $ν\leftrightarrow ν^c$ in a unified framework by using a relativistic equation. We show that the Majorana phase occurs not from the violation of the lepton number but the change of chirality. We also check the conservation of the unitarity. Furthermore, w…
▽ More
In the case of two-generation Majorana neutrinos, we derive the oscillation probabilities of $ν\leftrightarrow ν$, $ν^c \leftrightarrow ν^c$ and $ν\leftrightarrow ν^c$ in a unified framework by using a relativistic equation. We show that the Majorana phase occurs not from the violation of the lepton number but the change of chirality. We also check the conservation of the unitarity. Furthermore, we find that the oscillation probabilities of $ν\leftrightarrow ν^c$ obtained in this paper is largely different from the previous results in the point that there are no zero-distance effect and no direct CP violation.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
New CP Phase and Exact Oscillation Probabilities of Dirac Neutrino derived from Relativistic Equation
Authors:
Keiichi Kimura,
Akira Takamura
Abstract:
We present a new formulation deriving the neutrino oscillation probabilities relativistically based on not the Schr$\ddot{\rm o}$dinger equation but the Dirac equation. In two generations, we calculate the oscillation probabilities exactly in the case that there exists only the Dirac mass term. We find that two kinds of new terms appear in the oscillation probabilities derived from the Dirac equat…
▽ More
We present a new formulation deriving the neutrino oscillation probabilities relativistically based on not the Schr$\ddot{\rm o}$dinger equation but the Dirac equation. In two generations, we calculate the oscillation probabilities exactly in the case that there exists only the Dirac mass term. We find that two kinds of new terms appear in the oscillation probabilities derived from the Dirac equation. One is the term dependent on the absolute value of neutrino mass. Although it has been considered that the oscillation probabilities depend only on the mass squared differences until now, we could observe the absolute value of mass through neutrino oscillations in principle. The other is the term including a new CP phase. If there are some interactions to distinguish the flavors of right-handed neutrinos beyond the Standard Model, we could also observe this new CP phase in principle even in the framework of two generations. We discuss the possibility to observe the contribution of these terms by the neutrino oscillations of atomic size. On the other hand, it is negligible in the usual short and long-baseline experiments, and there is no contradiction with previous experiments.
△ Less
Submitted 3 February, 2021; v1 submitted 10 January, 2021;
originally announced January 2021.
-
Growth of Massive Disk and Early Disk Fragmentation in the Primordial Star Formation
Authors:
Kazutaka Kimura,
Takashi Hosokawa,
Kazuyuki Sugimura
Abstract:
Recent high-resolution simulations demonstrate that disks around primordial protostars easily fragment in the accretion phase before the protostars accrete less than a solar mass. To understand why the gravitational instability generally causes the fragmentation so early, we develop a one-dimensional (1D) non-steady model of the circumstellar disk that takes the mass supply from an accretion envel…
▽ More
Recent high-resolution simulations demonstrate that disks around primordial protostars easily fragment in the accretion phase before the protostars accrete less than a solar mass. To understand why the gravitational instability generally causes the fragmentation so early, we develop a one-dimensional (1D) non-steady model of the circumstellar disk that takes the mass supply from an accretion envelope into account. We also compare the model results to a three-dimensional (3D) numerical simulation performed with a code employing the adaptive mesh refinement. Our model shows that the self-gravitating disk, through which the Toomre $Q$ parameter is nearly constant at $Q \sim 1$, gradually spreads as the disk is fed by the gas infalling from the envelope. We further find that the accretion rate onto the star is an order of magnitude smaller than the mass supply rate onto the disk. This discrepancy makes the disk more massive than the protostar in an early evolutionary stage. Most of the infalling gas is used to extend the outer part of the self-gravitating disk rather than transferred inward toward the star through the disk. We find that similar evolution also occurs in the 3D simulation, where the disk becomes three times more massive than the star before the first fragmentation occurs. Our 1D disk model well explains the evolution of the disk-to-star mass ratio observed in the simulation. We argue that the formation of such a massive disk leads to the early disk fragmentation.
△ Less
Submitted 24 February, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Current status and future plan of Osaka Prefecture University 1.85-m mm-submm telescope project
Authors:
Atsushi Nishimura,
Kazuki Tokuda,
Ryohei Harada,
Yutaka Hasegawa,
Shota Ueda,
Sho Masui,
Ryotaro Konishi,
Yasumasa Yamasaki,
Hiroshi Kondo,
Koki Yokoyama,
Takeru Matsumoto,
Taisei Minami,
Masanari Okawa,
Shinji Fujita,
Ayu Konishi,
Yuka Nakao,
Shimpei Nishimoto,
Sana Kawashita,
Sho Yoneyama,
Tatsuyuki Takashima,
Kenta Goto,
Nozomi Okada,
Kimihiro Kimura,
Yasuhiro Abe,
Kazuyuki Muraoka
, et al. (3 additional authors not shown)
Abstract:
We report the current status of the 1.85-m mm-submm telescope installed at the Nobeyama Radio Observatory (altitude 1400 m) and the future plan. The scientific goal is to reveal the physical/chemical properties of molecular clouds in the Galaxy by obtaining large-scale distributions of molecular gas with an angular resolution of several arcminutes. A semi-automatic observation system created mainl…
▽ More
We report the current status of the 1.85-m mm-submm telescope installed at the Nobeyama Radio Observatory (altitude 1400 m) and the future plan. The scientific goal is to reveal the physical/chemical properties of molecular clouds in the Galaxy by obtaining large-scale distributions of molecular gas with an angular resolution of several arcminutes. A semi-automatic observation system created mainly in Python on Linux-PCs enables effective operations. A large-scale CO $J=$2--1 survey of the molecular clouds (e.g., Orion-A/B, Cygnus-X/OB7, Taurus-California-Perseus complex, and Galactic Plane), and a pilot survey of emission lines from minor molecular species toward Orion clouds have been conducted so far. The telescope also is providing the opportunities for technical demonstrations of new devices and ideas. For example, the practical realizations of PLM (Path Length Modulator) and waveguide-based sideband separating filter, installation of the newly designed waveguide-based circular polarizer and OMT (Orthomode Transducer), and so on. As the next step, we are now planning to relocate the telescope to San Pedro de Atacama in Chile (altitude 2500 m), and are develo** very wideband receiver covering 210--375 GHz (corresponding to Bands 6--7 of ALMA) and full-automatic observation system. The new telescope system will provide large-scale data in the spatial and frequency domain of molecular clouds of Galactic plane and Large/Small Magellanic Clouds at the southern hemisphere. The data will be precious for the comparison with those of extra-galactic ones that will be obtained with ALMA as the Bands 6/7 are the most efficient frequency bands for the surveys in extra-galaxies for ALMA.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
Development of the new multi-beam receiver and telescope control system for NASCO
Authors:
Atsushi Nishimura,
Akio Ohama,
Kimihiro Kimura,
Daichi Tsutsumi,
Yudai Matsue,
Rin Yamada,
Mariko Sakamoto,
Kenta Matsunaga,
Yutaka Hasegawa,
Taisei Minami,
Takeru Matsumoto,
Kazuki Shiotani,
So Okuda,
Kakeru Fujishiro,
Keisuke Sakasai,
Masahiro Suzuki,
Shun Saeki,
Kouki Satani,
Kousuke Urushihara,
Chiharu Kato,
Takashi Kondo,
Kazuki Okawa,
Daiki Kurita,
Tetsuta Inaba,
Shohei Maruyama
, et al. (37 additional authors not shown)
Abstract:
We report the current status of the NASCO (NAnten2 Super CO survey as legacy) project which aims to provide all-sky CO data cube of southern hemisphere using the NANTEN2 4-m submillimeter telescope installed at the Atacama Desert through develo** a new multi-beam receiver and a new telescope control system. The receiver consists of 5 beams. The four beams, located at the four corners of a square…
▽ More
We report the current status of the NASCO (NAnten2 Super CO survey as legacy) project which aims to provide all-sky CO data cube of southern hemisphere using the NANTEN2 4-m submillimeter telescope installed at the Atacama Desert through develo** a new multi-beam receiver and a new telescope control system. The receiver consists of 5 beams. The four beams, located at the four corners of a square with the beam separation of 720$''$, are installed with a 100 GHz band SIS receiver having 2-polarization sideband-separation filter. The other beam, located at the optical axis, is installed with a 200 GHz band SIS receiver having 2-polarization sideband-separation filter. The cooled component is modularized for each beam, and cooled mirrors are used. The IF bandwidths are 8 and 4 GHz for 100 and 200 GHz bands, respectively. Using XFFTS spectrometers with a bandwidth of 2 GHz, the lines of $^{12}$CO, $^{13}$CO, and C$^{18}$O of $J$=1$-$0 or $J$=2$-$1 can be observed simultaneously for each beam. The control system is reconstructed on the ROS architecture, which is an open source framework for robot control, to enable a flexible observation mode and to handle a large amount of data. The framework is commonly used and maintained in a robotic field, and thereby reliability, flexibility, expandability, and efficiency in development are improved as compared with the system previously used. The receiver and control system are installed on the NANTEN2 telescope in December 2019, and its commissioning and science verification are on-going. We are planning to start science operation in early 2021.
△ Less
Submitted 1 December, 2020; v1 submitted 30 November, 2020;
originally announced November 2020.