-
VERTECS: A COTS-based payload interface board to enable next generation astronomical imaging payloads
Authors:
Ezra Fielding,
Victor H. Schulz,
Keenan A. A. Chatar,
Kei Sano,
Akitoshi Hanazawa
Abstract:
Due to advances in observation and imaging technologies, modern astronomical satellites generate large volumes of data. This necessitates efficient onboard data processing and high-speed data downlink. Reflecting this trend is the VERTECS 6U Astronomical Nanosatellite. Designed for the observation of Extragalactic Background Light (EBL), this mission is expected to generate a substantial amount of…
▽ More
Due to advances in observation and imaging technologies, modern astronomical satellites generate large volumes of data. This necessitates efficient onboard data processing and high-speed data downlink. Reflecting this trend is the VERTECS 6U Astronomical Nanosatellite. Designed for the observation of Extragalactic Background Light (EBL), this mission is expected to generate a substantial amount of image data, particularly within the confines of CubeSat capabilities. This paper introduces the VERTECS Camera Control Board (CCB), an open-source payload interface board leveraging Commercial Off-The-Shelf (COTS) components, with a Raspberry Pi Compute Module 4 at its core. The VERTECS CCB hardware and software have been designed from the ground up to serve as the sole interface between the VERTECS bus system and astronomical imaging payload, while providing compute capability not usually seen in nanosatellites of this class. Responsible for mission data processing, it will facilitate high-speed data transfer from the imaging payload via gigabit Ethernet, while also providing a high-bitrate serial connection to the payload X-band transmitter for mission data downlink. Additional interfaces for secondary payloads are provided via USB-C and standard 15-pin camera connectors. The Raspberry Pi embedded within the VERTECS CCB operates on a standard Linux distribution, streamlining the software development process. Beyond addressing the current mission's payload control and data handling requirements, the CCB sets the stage for future missions with heightened data demands. Furthermore, it supports the adoption of machine learning and other compute-intensive applications in orbit. This paper delves into the development of the VERTECS CCB, offering insights into the design and validation of this next-generation payload interface, to ensure that it can survive the rigors of space flight.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Arithmetic properties of multiplier polynomials for certain polynomial maps
Authors:
Yuya Murakami,
Kaoru Sano,
Kohei Takehira
Abstract:
We investigate the arithmetic properties of the multiplier polynomials for certain $1$-parameter families of polynomials. In particular, we prove integrality theorems of multiplier polynomials for $z^d+c$, $(z-c)z^d + c$ and $z^{d+1}+cz$. As a corollary, we obtain the uniform upper bound of the naive height of parabolic parameters of unicritical polynomials. Moreover, we determined the quadratic p…
▽ More
We investigate the arithmetic properties of the multiplier polynomials for certain $1$-parameter families of polynomials. In particular, we prove integrality theorems of multiplier polynomials for $z^d+c$, $(z-c)z^d + c$ and $z^{d+1}+cz$. As a corollary, we obtain the uniform upper bound of the naive height of parabolic parameters of unicritical polynomials. Moreover, we determined the quadratic parabolic parameters for $z^2 + c$. We also conditionally list parabolic parameters for $z^2 + c$ of fixed degrees.
△ Less
Submitted 20 May, 2024; v1 submitted 25 March, 2024;
originally announced March 2024.
-
Spatio-temporal reconstruction of substance dynamics using compressed sensing in multi-spectral magnetic resonance spectroscopic imaging
Authors:
Utako Yamamoto,
Hirohiko Imai,
Kei Sano,
Masayuki Ohzeki,
Tetsuya Matsuda,
Toshiyuki Tanaka
Abstract:
The objective of our study is to observe dynamics of multiple substances in vivo with high temporal resolution from multi-spectral magnetic resonance spectroscopic imaging (MRSI) data. The multi-spectral MRSI can effectively separate spectral peaks of multiple substances and is useful to measure spatial distributions of substances. However it is difficult to measure time-varying substance distribu…
▽ More
The objective of our study is to observe dynamics of multiple substances in vivo with high temporal resolution from multi-spectral magnetic resonance spectroscopic imaging (MRSI) data. The multi-spectral MRSI can effectively separate spectral peaks of multiple substances and is useful to measure spatial distributions of substances. However it is difficult to measure time-varying substance distributions directly by ordinary full sampling because the measurement requires a significantly long time. In this study, we propose a novel method to reconstruct the spatio-temporal distributions of substances from randomly undersampled multi-spectral MRSI data on the basis of compressed sensing (CS) and the partially separable function model with base spectra of substances. In our method, we have employed spatio-temporal sparsity and temporal smoothness of the substance distributions as prior knowledge to perform CS. The effectiveness of our method has been evaluated using phantom data sets of glass tubes filled with glucose or lactate solution in increasing amounts over time and animal data sets of a tumor-bearing mouse to observe the metabolic dynamics involved in the Warburg effect in vivo. The reconstructed results are consistent with the expected behaviors, showing that our method can reconstruct the spatio-temporal distribution of substances with a temporal resolution of four seconds which is extremely short time scale compared with that of full sampling. Since this method utilizes only prior knowledge naturally assumed for the spatio-temporal distributions of substances and is independent of the number of the spectral and spatial dimensions or the acquisition sequence of MRSI, it is expected to contribute to revealing the underlying substance dynamics in MRSI data already acquired or to be acquired in the future.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
How many views does your deep neural network use for prediction?
Authors:
Keisuke Kawano,
Takuro Kutsuna,
Keisuke Sano
Abstract:
The generalization ability of Deep Neural Networks (DNNs) is still not fully understood, despite numerous theoretical and empirical analyses. Recently, Allen-Zhu & Li (2023) introduced the concept of multi-views to explain the generalization ability of DNNs, but their main target is ensemble or distilled models, and no method for estimating multi-views used in a prediction of a specific input is d…
▽ More
The generalization ability of Deep Neural Networks (DNNs) is still not fully understood, despite numerous theoretical and empirical analyses. Recently, Allen-Zhu & Li (2023) introduced the concept of multi-views to explain the generalization ability of DNNs, but their main target is ensemble or distilled models, and no method for estimating multi-views used in a prediction of a specific input is discussed. In this paper, we propose Minimal Sufficient Views (MSVs), which is similar to multi-views but can be efficiently computed for real images. MSVs is a set of minimal and distinct features in an input, each of which preserves a model's prediction for the input. We empirically show that there is a clear relationship between the number of MSVs and prediction accuracy across models, including convolutional and transformer models, suggesting that a multi-view like perspective is also important for understanding the generalization ability of (non-ensemble or non-distilled) DNNs.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Crystal structures and superconducting properties of metallic double-chain based cuprate Pr2Ba4Cu7O15-delta
Authors:
Masahide Hagawa,
Michiaki Matsukawa,
Kota Niinuma,
Reiya Kudo,
Yuto Mizusihima,
Naohisa Kawarada,
Hajime Yamamoto,
Kazuhiro Sano,
Yoshiaki Ono,
Takahiko Sasaki
Abstract:
We demonstrated the lattice structures and the superconducting phases of metallic double-chain based cuprate Pr2Ba4Cu7O15-delta exhibiting higher Tc. After the oxygen heat treatment on citrate pyrolysis precursors, their reduction treatment followed by a quench procedure caused higher Tc samples with 26.5-30 K. The crystal structural parameters for the superconducting sample (delta = 0.81) were an…
▽ More
We demonstrated the lattice structures and the superconducting phases of metallic double-chain based cuprate Pr2Ba4Cu7O15-delta exhibiting higher Tc. After the oxygen heat treatment on citrate pyrolysis precursors, their reduction treatment followed by a quench procedure caused higher Tc samples with 26.5-30 K. The crystal structural parameters for the superconducting sample (delta = 0.81) were analyzed from the powder synchrotron X-ray diffraction data using RIETAN-FP program. The effect of magnetic field on the superconducting phase of these samples with different oxygen defects (delta =0.73, 0.81 and 0.87) was examined, for our understanding of the superconducting magnetic field-temperature phase diagram. For delta = 0.87 sample with Tc = 30 K, the resistive critical field Hc* was estimated to be 13 T at 4.2 K. The oxygen deficiency dependence on Tc,on for our samples was compared with the data of several other groups.
△ Less
Submitted 17 February, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
On preimages question
Authors:
Yohsuke Matsuzawa,
Kaoru Sano
Abstract:
For a surjective self-morphism on a projective variety defined over a number field, we study the preimages question, which asks if the set of rational points on the iterated preimages of an invariant closed subscheme eventually stabilize. We prove the answer is positive for self-morphisms on $\mathbb{P}^1 \times \mathbb{P}^1$. We also prove that the answer is positive even if we allow finite exten…
▽ More
For a surjective self-morphism on a projective variety defined over a number field, we study the preimages question, which asks if the set of rational points on the iterated preimages of an invariant closed subscheme eventually stabilize. We prove the answer is positive for self-morphisms on $\mathbb{P}^1 \times \mathbb{P}^1$. We also prove that the answer is positive even if we allow finite extension of the number field by a bounded degree if the morphism is étale or the invariant subscheme is $0$-dimensional. We prove certain uniformity of the stabilization for self-morphisms on abelian varieties. When the subscheme is not invariant, we provide counterexamples and a result in a positive direction for products of polynomial maps on $\mathbb{P}^1 \times \mathbb{P}^1$.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Northcott numbers for generalized weighted Weil heights
Authors:
Masao Okazaki,
Kaoru Sano
Abstract:
We give a generalization of weighted Weil heights. These heights generalize both Weil's heights and Dobrowolski's height. We study Northcott numbers for our heights. Our results generalize the authors' former work on Vidaux and Videla's question about the Northcott number. As an application, we evaluate Northcott numbers for Talamanca's spectral height on matrices.
We give a generalization of weighted Weil heights. These heights generalize both Weil's heights and Dobrowolski's height. We study Northcott numbers for our heights. Our results generalize the authors' former work on Vidaux and Videla's question about the Northcott number. As an application, we evaluate Northcott numbers for Talamanca's spectral height on matrices.
△ Less
Submitted 31 August, 2023; v1 submitted 7 August, 2023;
originally announced August 2023.
-
Heliocentric Distance Dependence of Zodiacal Light Observed by Hayabusa2#
Authors:
Kohji Tsumura,
Shuji Matsuura,
Kei Sano,
Takahiro Iwata,
Hajime Yano,
Kohei Kitazato,
Kohji Takimoto,
Manabu Yamada,
Tomokatsu Morota,
Toru Kouyama,
Masahiko Hayakawa,
Yasuhiro Yokota,
Eri Tatsumi,
Moe Matsuoka,
Naoya Sakatani,
Rie Honda,
Shingo Kameda,
Hidehiko Suzuki,
Yuichiro Cho,
Kazuo Yoshioka,
Kazunori Ogawa,
Kei Shirai,
Hirotaka Sawada,
Seiji Sugita
Abstract:
Zodiacal light (ZL) is sunlight scattered by interplanetary dust particles (IDPs) at optical wavelengths. The spatial distribution of IDPs in the Solar System may hold an important key to understanding the evolution of the Solar System and material transportation within it. The number density of IDPs can be expressed as $n(r) \sim r^{-α}$, and the exponent $α\sim 1.3$ was obtained by previous obse…
▽ More
Zodiacal light (ZL) is sunlight scattered by interplanetary dust particles (IDPs) at optical wavelengths. The spatial distribution of IDPs in the Solar System may hold an important key to understanding the evolution of the Solar System and material transportation within it. The number density of IDPs can be expressed as $n(r) \sim r^{-α}$, and the exponent $α\sim 1.3$ was obtained by previous observations from interplanetary space by Helios 1/2 and Pioneer 10/11 in the 1970s and 1980s. However, no direct measurements of $α$ based on ZL observations from interplanetary space outside Earth's orbit have been performed since then. Here, we introduce initial results for the radial profile of the ZL at optical wavelengths observed over the range 0.76-1.06 au by ONC-T aboard the Hayabusa2# mission in 2021-2022. The ZL brightness we obtained is well reproduced by a model brightness, although there is a small excess of the observed ZL brightness over the model brightness at around 0.9 au. The radial power-law index we obtained is $α= 1.30 \pm 0.08$, which is consistent with previous results based on ZL observations. The dominant source of uncertainty arises from the uncertainty in estimating the diffuse Galactic light (DGL).
△ Less
Submitted 6 July, 2023; v1 submitted 13 March, 2023;
originally announced March 2023.
-
Near-infrared Polarization Charateristics of the Zodiacal Light Observed with DIRBE/COBE
Authors:
Kohji Takimoto,
Shuji Matsuura,
Kei Sano,
Richard M. Feder
Abstract:
We report near-infrared polarization of the zodiacal light (ZL) measured from space by the Diffuse Infrared Background Experiment (DIRBE) on board the Cosmic Background Explorer in photometric bands centered at 1.25, 2.2, and 3.5 $μ$m. To constrain the physical properties of interplanetary dust (IPD), we use DIRBE Weekly Sky Maps to investigate the solar elongation ($ε$), ecliptic latitude ($β$),…
▽ More
We report near-infrared polarization of the zodiacal light (ZL) measured from space by the Diffuse Infrared Background Experiment (DIRBE) on board the Cosmic Background Explorer in photometric bands centered at 1.25, 2.2, and 3.5 $μ$m. To constrain the physical properties of interplanetary dust (IPD), we use DIRBE Weekly Sky Maps to investigate the solar elongation ($ε$), ecliptic latitude ($β$), and wavelength ($λ$) dependence of ZL polarization. We find that the polarization of the ZL varies as a function of $ε$ and $β$, consistent with observed polarization at $λ$ = 550 nm. While the polarization dependence with wavelength at $(ε$, $β)=(90^{\circ}$, $0^{\circ})$ is modest (increasing from 17.7 $\pm$ 0.2% at 1.25 $μ$m to 21.0 $\pm$ 0.3% at 3.5 $μ$m), the variation is more pronounced at the North Ecliptic Pole (23.1 $\pm$ 1.6, 35.1 $\pm$ 2.0 and 39.3 $\pm$ 2.1% at 1.25, 2.2 and 3.5 $μ$m, respectively). The variation of ZL polarization with wavelength is not explained by either Rayleigh scattering or by absorptive particles larger than 10 $μ$m.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
New Concept for the Value Function of Prospect Theory
Authors:
Kazuo Sano
Abstract:
In the prospect theory, value function is typically concave for gains, commonly convex for losses, with losses usually having a steeper slope than gains. The neural system largely differs from the loss and gains sides. Five new studies on neurons related to this issue have examined neuronal responses to losses, gains, and reference points. This study investigates a new concept of the value functio…
▽ More
In the prospect theory, value function is typically concave for gains, commonly convex for losses, with losses usually having a steeper slope than gains. The neural system largely differs from the loss and gains sides. Five new studies on neurons related to this issue have examined neuronal responses to losses, gains, and reference points. This study investigates a new concept of the value function. A value function with a neuronal cusp may show variations and behavior cusps with catastrophe where a trader closes one's position.
△ Less
Submitted 11 June, 2024; v1 submitted 31 October, 2022;
originally announced November 2022.
-
Intelligence and Global Bias in the Stock Market
Authors:
Kazuo Sano
Abstract:
Trade is one of the essential feature of human intelligence. The securities market is the ultimate expression of it. The fundamental indicators of stocks include information as well as the effects of noise and bias on the stock prices; however, identifying the effects of noise and bias is generally difficult. In this article, I present the true fundamentals hypothesis based on rational expectation…
▽ More
Trade is one of the essential feature of human intelligence. The securities market is the ultimate expression of it. The fundamental indicators of stocks include information as well as the effects of noise and bias on the stock prices; however, identifying the effects of noise and bias is generally difficult. In this article, I present the true fundamentals hypothesis based on rational expectations and detect the global bias components from the actual fundamental indicators by using a log-normal distribution model based on the true fundamentals hypothesis. The analysis results show that biases generally exhibit the same characteristics, strongly supporting the true fundamentals hypothesis. Notably, the positive price-to-cash flows from the investing activities ratio is a proxy for the true fundamentals. Where do these biases come from? The answer is extremely simple: ``Cash is a fact, profit is an opinion.'' Namely, opinions of management and accounting are added to true fundamentals. As a result, Kesten process is realized and the Pareto distribution is to be obtained. This means that the market knows it and represents as a stable global bias in the stock market.
△ Less
Submitted 28 October, 2022;
originally announced October 2022.
-
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
Authors:
Masanobu Toyooka,
Katsuhiko Sano
Abstract:
The updated version of this paper has already been published in The Australasian Journal of Logic. You can access to the paper from the following link: https://ojs.victoria.ac.nz/ajl/article/view/7696.
This paper shows Hilbert system $(\mathbf{C+J})^{-}$, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combinat…
▽ More
The updated version of this paper has already been published in The Australasian Journal of Logic. You can access to the paper from the following link: https://ojs.victoria.ac.nz/ajl/article/view/7696.
This paper shows Hilbert system $(\mathbf{C+J})^{-}$, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system $(\mathbf{C+J})^{-}$ contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system $(\mathbf{C+J})^{-}$ is semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979).
△ Less
Submitted 26 December, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Nano-Clustering Mediates Phase Transitions in a Diastereomerically-Stabilized Ferroelectric Nematic System
Authors:
Hiroya Nishikawa,
Koki Sano,
Saburo Kurihara,
Go Watanabe,
Atsuko Nihonyanagi,
Barun Dhara,
Fumito Araoka
Abstract:
During the last half-decade, a new class of ferroic-fluid, ferroelectric nematic liquid crystals (NFLCs), creates a noise owing to its exceptional properties such as a colossal polarization, high electro-optic activity plus high fluidity. Regardless of recent huge efforts on design and development of new NFLC molecules based on molecular parameters, the control of NF phase transitions and the stab…
▽ More
During the last half-decade, a new class of ferroic-fluid, ferroelectric nematic liquid crystals (NFLCs), creates a noise owing to its exceptional properties such as a colossal polarization, high electro-optic activity plus high fluidity. Regardless of recent huge efforts on design and development of new NFLC molecules based on molecular parameters, the control of NF phase transitions and the stabilization of NF phase are still challenging. Here we discuss the impact of mixing of DIO diastereomer [transDIO (1) and cisDIO (2)] to the NF phase transition, in terms of the smectic cybotactic cluster formation examined by X-ray diffraction. Interestingly, the result suggests that smooth exchange of NFLC 1 by non-LC 2 both with similar dipole and molecular backbone plays a role in the alteration of the NF phase transition.
△ Less
Submitted 12 September, 2022; v1 submitted 10 May, 2022;
originally announced May 2022.
-
Combining First-Order Classical and Intuitionistic Logic
Authors:
Masanobu Toyooka,
Katsuhiko Sano
Abstract:
This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig (1996), from a proof-theoretic viewpoint. While C+J has both classical and intuitionistic implications, our first-order expansion adds classical and intuitionistic universal quantifiers and one existential quantifier t…
▽ More
This paper studies a first-order expansion of a combination C+J of intuitionistic and classical propositional logic, which was studied by Humberstone (1979) and del Cerro and Herzig (1996), from a proof-theoretic viewpoint. While C+J has both classical and intuitionistic implications, our first-order expansion adds classical and intuitionistic universal quantifiers and one existential quantifier to C+J. This paper provides a multi-succedent sequent calculus G(FOC+J) for our combination of the first-order intuitionistic and classical logic. Our sequent calculus G(FOC+J) restricts contexts of the right rules for intuitionistic implication and intuitionistic universal quantifier to particular forms of formulas. The cut-elimination theorem is established to ensure the subformula property. As a corollary, G(FOC+J) is conservative over both first-order intuitionistic and classical logic. Strong completeness of G(FOC+J) is proved via a canonical model argument.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Northcott numbers for the weighted Weil heights
Authors:
Masao Okazaki,
Kaoru Sano
Abstract:
We answer the question of Vidaux and Videla about the distribution of the Northcott numbers for the Weil height. We solve the same problem for the weighted Weil heights. These heights generalize both the absolute and relative Weil height. Our results also refine those of Pazuki, Technau, and Widmer.
We answer the question of Vidaux and Videla about the distribution of the Northcott numbers for the Weil height. We solve the same problem for the weighted Weil heights. These heights generalize both the absolute and relative Weil height. Our results also refine those of Pazuki, Technau, and Widmer.
△ Less
Submitted 2 September, 2022; v1 submitted 9 April, 2022;
originally announced April 2022.
-
Search for Spatial Correlations of Neutrinos with Ultra-High-Energy Cosmic Rays
Authors:
The ANTARES collaboration,
A. Albert,
S. Alves,
M. André,
M. Anghinolfi,
M. Ardid,
S. Ardid,
J. -J. Aubert,
J. Aublin,
B. Baret,
S. Basa,
B. Belhorma,
M. Bendahman,
V. Bertin,
S. Biagi,
M. Bissinger,
J. Boumaaza,
M. Bouta,
M. C. Bouwhuis,
H. Brânzaş,
R. Bruijn,
J. Brunner,
J. Busto,
B. Caiffi,
D. Calvo
, et al. (1025 additional authors not shown)
Abstract:
For several decades, the origin of ultra-high-energy cosmic rays (UHECRs) has been an unsolved question of high-energy astrophysics. One approach for solving this puzzle is to correlate UHECRs with high-energy neutrinos, since neutrinos are a direct probe of hadronic interactions of cosmic rays and are not deflected by magnetic fields. In this paper, we present three different approaches for corre…
▽ More
For several decades, the origin of ultra-high-energy cosmic rays (UHECRs) has been an unsolved question of high-energy astrophysics. One approach for solving this puzzle is to correlate UHECRs with high-energy neutrinos, since neutrinos are a direct probe of hadronic interactions of cosmic rays and are not deflected by magnetic fields. In this paper, we present three different approaches for correlating the arrival directions of neutrinos with the arrival directions of UHECRs. The neutrino data is provided by the IceCube Neutrino Observatory and ANTARES, while the UHECR data with energies above $\sim$50 EeV is provided by the Pierre Auger Observatory and the Telescope Array. All experiments provide increased statistics and improved reconstructions with respect to our previous results reported in 2015. The first analysis uses a high-statistics neutrino sample optimized for point-source searches to search for excesses of neutrinos clustering in the vicinity of UHECR directions. The second analysis searches for an excess of UHECRs in the direction of the highest-energy neutrinos. The third analysis searches for an excess of pairs of UHECRs and highest-energy neutrinos on different angular scales. None of the analyses has found a significant excess, and previously reported over-fluctuations are reduced in significance. Based on these results, we further constrain the neutrino flux spatially correlated with UHECRs.
△ Less
Submitted 23 August, 2022; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Polarization spectrum of near infrared zodiacal light observed with CIBER
Authors:
Kohji Takimoto,
Toshiaki Arai,
Shuji Matsuura,
James J. Bock,
Asantha Cooray,
Richard M. Feder,
Phillip M. Korngut,
Alicia Lanz,
Dae Hee Lee,
Toshio Matsumoto,
Chi H. Nguyen,
Yosuke Onishi,
Kei Sano,
Mai Shirahata,
Aoi Takahashi,
Kohji Tsumura,
Michael Zemcov
Abstract:
We report the first measurement of the zodiacal light (ZL) polarization spectrum in the near-infrared between 0.8 and 1.8 $μ$m. Using the low-resolution spectrometer (LRS) on board the Cosmic Infrared Background Experiment (CIBER), calibrated for absolute spectrophotometry and spectropolarimetry, we acquire long-slit polarization spectral images of the total diffuse sky brightness towards five fie…
▽ More
We report the first measurement of the zodiacal light (ZL) polarization spectrum in the near-infrared between 0.8 and 1.8 $μ$m. Using the low-resolution spectrometer (LRS) on board the Cosmic Infrared Background Experiment (CIBER), calibrated for absolute spectrophotometry and spectropolarimetry, we acquire long-slit polarization spectral images of the total diffuse sky brightness towards five fields. To extract the ZL spectrum, we subtract contribution of other diffuse radiation, such as the diffuse galactic light (DGL), the integrated star light (ISL), and the extragalactic background light (EBL). The measured ZL polarization spectrum shows little wavelength dependence in the near-infrared and the degree of polarization clearly varies as a function of the ecliptic coordinates and solar elongation. Among the observed fields, the North Ecliptic Pole shows the maximum degree of polarization of $\sim$ 20$\%$, which is consistent with an earlier observation from the Diffuse Infrared Background Experiment (DIRBE) aboard on the Cosmic Background Explorer (COBE). The measured degree of polarization and its solar elongation dependence are reproduced by the empirical scattering model in the visible band and also by the Mie scattering model for large absorptive particles, while the Rayleigh scattering model is ruled out. All of our results suggest that the interplanetary dust is dominated by large particles.
△ Less
Submitted 10 December, 2021;
originally announced December 2021.
-
Observation of Variations in Cosmic Ray Single Count Rates During Thunderstorms and Implications for Large-Scale Electric Field Changes
Authors:
R. U. Abbasi,
T. Abu-Zayyad,
M. Allen,
Y. Arai,
R. Arimura,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
I. Buckland,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
R. Fukushima,
G. Furlich,
N. Globus,
R. Gonzalez,
W. Hanlon,
M. Hayashi
, et al. (140 additional authors not shown)
Abstract:
We present the first observation by the Telescope Array Surface Detector (TASD) of the effect of thunderstorms on the development of cosmic ray single count rate intensity over a 700 km$^{2}$ area. Observations of variations in the secondary low-energy cosmic ray counting rate, using the TASD, allow us to study the electric field inside thunderstorms, on a large scale, as it progresses on top of t…
▽ More
We present the first observation by the Telescope Array Surface Detector (TASD) of the effect of thunderstorms on the development of cosmic ray single count rate intensity over a 700 km$^{2}$ area. Observations of variations in the secondary low-energy cosmic ray counting rate, using the TASD, allow us to study the electric field inside thunderstorms, on a large scale, as it progresses on top of the 700 km$^{2}$ detector, without dealing with the limitation of narrow exposure in time and space using balloons and aircraft detectors. In this work, variations in the cosmic ray intensity (single count rate) using the TASD, were studied and found to be on average at the $\sim(0.5-1)\%$ and up to 2\% level. These observations were found to be both in excess and in deficit. They were also found to be correlated with lightning in addition to thunderstorms. These variations lasted for tens of minutes; their footprint on the ground ranged from 6 to 24 km in diameter and moved in the same direction as the thunderstorm. With the use of simple electric field models inside the cloud and between cloud to ground, the observed variations in the cosmic ray single count rate were recreated using CORSIKA simulations. Depending on the electric field model used and the direction of the electric field in that model, the electric field magnitude that reproduces the observed low-energy cosmic ray single count rate variations was found to be approximately between 0.2-0.4 GV. This in turn allows us to get a reasonable insight on the electric field and its effect on cosmic ray air showers inside thunderstorms.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
Indications of a Cosmic Ray Source in the Perseus-Pisces Supercluster
Authors:
Telescope Array Collaboration,
R. U. Abbasi,
T. Abu-Zayyad,
M. Allen,
Y. Arai,
R. Arimura,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
I. Buckland,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
R. Fukushima,
G. Furlich,
N. Globus,
R. Gonzalez,
W. Hanlon
, et al. (135 additional authors not shown)
Abstract:
The Telescope Array Collaboration has observed an excess of events with $E \ge 10^{19.4} ~{\rm eV}$ in the data which is centered at (RA, dec) = ($19^\circ$, $35^\circ$). This is near the center of the Perseus-Pisces supercluster (PPSC). The PPSC is about $70 ~{\rm Mpc}$ distant and is the closest supercluster in the Northern Hemisphere (other than the Virgo supercluster of which we are a part). A…
▽ More
The Telescope Array Collaboration has observed an excess of events with $E \ge 10^{19.4} ~{\rm eV}$ in the data which is centered at (RA, dec) = ($19^\circ$, $35^\circ$). This is near the center of the Perseus-Pisces supercluster (PPSC). The PPSC is about $70 ~{\rm Mpc}$ distant and is the closest supercluster in the Northern Hemisphere (other than the Virgo supercluster of which we are a part). A Li-Ma oversampling analysis with $20^\circ$-radius circles indicates an excess in the arrival direction of events with a local significance of about 4 standard deviations. The probability of having such excess close to the PPSC by chance is estimated to be 3.5 standard deviations. This result indicates that a cosmic ray source likely exists in that supercluster.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Measurements of the Zodiacal Light Absolute Intensity through Fraunhofer Absorption Line Spectroscopy with CIBER
Authors:
Phillip Korngut,
Min Gyu Kim,
Toshiaki Arai,
Priyadarshini Bangale,
James Bock,
Asantha Cooray,
Yun Ting Cheng,
Richard Feder,
Viktor Hristov,
Alicia Lanz,
Louis Levenson,
Toshio Matsumoto,
Shuji Matsuura,
Chi Nguyen,
Kei Sano,
Kohji Tsumura,
Michael Zemcov
Abstract:
Scattered sunlight from the interplanetary dust (IPD) cloud in our Solar system presents a serious foreground challenge for spectro-photometric measurements of the Extragalactic Background Light (EBL). In this work, we report on measurements of the absolute intensity of the Zodiacal Light (ZL) using the novel technique of Fraunhofer line spectroscopy on the deepest 8542 Angstrom line of the near-i…
▽ More
Scattered sunlight from the interplanetary dust (IPD) cloud in our Solar system presents a serious foreground challenge for spectro-photometric measurements of the Extragalactic Background Light (EBL). In this work, we report on measurements of the absolute intensity of the Zodiacal Light (ZL) using the novel technique of Fraunhofer line spectroscopy on the deepest 8542 Angstrom line of the near-infrared CaII absorption triplet. The measurements are performed with the Narrow Band Spectrometer (NBS) aboard the Cosmic Infrared Background Experiment (CIBER) sounding rocket instrument. We use the NBS data to test the accuracy of two ZL models widely cited in the literature; the Kelsall and Wright models, which have been used in foreground removal analyses that produce high and low EBL results respectively. We find a mean reduced chi squared of 3.5 for the Kelsall model and a chi squared of 2.0 for the Wright model. The best description of our data is provided by a simple modification to the Kelsall model which includes a free ZL offset parameter. This adjusted model describes the data with a reduced chi squared of 1.5 and yields an inferred offset amplitude of 46 +- 19 nW m^-2 sr^-1 extrapolated to 12500 Angstroms. These measurements elude to the potential existence of a dust cloud component in the inner Solar system whose intensity does not strongly modulate with the Earth's motion around the Sun.
△ Less
Submitted 14 April, 2021;
originally announced April 2021.
-
Probing Intra-Halo Light with Galaxy Stacking in CIBER Images
Authors:
Yun-Ting Cheng,
Toshiaki Arai,
Priyadarshini Bangale,
James J. Bock,
Tzu-Ching Chang,
Asantha Cooray,
Richard M. Feder,
Phillip M. Korngut,
Dae Hee Lee,
Lunjun Liu,
Toshio Matsumoto,
Shuji Matsuura,
Chi H. Nguyen,
Kei Sano,
Kohji Tsumura,
Michael Zemcov
Abstract:
We study the stellar halos of $0.2\lesssim z \lesssim 0.5$ galaxies with stellar masses spanning $M_*\sim 10^{10.5}$ to $10^{12}M_\odot$ (approximately $L_*$ galaxies at this redshift) using imaging data from the Cosmic Infrared Background Experiment (CIBER). A previous CIBER fluctuation analysis suggested that intra-halo light (IHL) contributes a significant portion of the near-infrared extragala…
▽ More
We study the stellar halos of $0.2\lesssim z \lesssim 0.5$ galaxies with stellar masses spanning $M_*\sim 10^{10.5}$ to $10^{12}M_\odot$ (approximately $L_*$ galaxies at this redshift) using imaging data from the Cosmic Infrared Background Experiment (CIBER). A previous CIBER fluctuation analysis suggested that intra-halo light (IHL) contributes a significant portion of the near-infrared extragalactic background light (EBL), the integrated emission from all sources throughout cosmic history. In this work, we carry out a stacking analysis with a sample of $\sim$30,000 Sloan Digital Sky Survey (SDSS) photometric galaxies from CIBER images in two near-infrared bands (1.1 and 1.8 $μ$m) to directly probe the IHL associated with these galaxies. We stack galaxies in five sub-samples split by brightness, and detect an extended galaxy profile, beyond the instrument point spread function (PSF), derived by stacking stars. We jointly fit a model for the inherent galaxy light profile, plus large-scale one- and two-halo clustering to measure the extended galaxy IHL. We detect non-linear one-halo clustering in the 1.8 $μ$m band, at a level consistent with numerical simulations. Our results on the galaxy profile suggest that $\sim 50\%$ of the total galaxy light budget in our galaxy sample resides in the outskirts of the galaxies at $r > 10$ kpc. We describe this extended emission as IHL and and are able to study how this fraction evolves with cosmic time. These results are new in the near-infrared wavelength at the $L_*$ mass scale, and suggest that IHL has a significant contribution to the integrated galactic light, and to the amplitude of large-scale background fluctuations.
△ Less
Submitted 21 September, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Surface detectors of the TAx4 experiment
Authors:
Telescope Array Collaboration,
R. U. Abbasi,
M. Abe,
T. Abu-Zayyad,
M. Allen,
Y. Arai,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
R. Fukushima,
G. Furlich,
W. Hanlon,
M. Hayashi,
N. Hayashida,
K. Hibino
, et al. (124 additional authors not shown)
Abstract:
Telescope Array (TA) is the largest ultrahigh energy cosmic-ray (UHECR) observatory in the Northern Hemisphere. It explores the origin of UHECRs by measuring their energy spectrum, arrival-direction distribution, and mass composition using a surface detector (SD) array covering approximately 700 km$^2$ and fluorescence detector (FD) stations. TA has found evidence for a cluster of cosmic rays with…
▽ More
Telescope Array (TA) is the largest ultrahigh energy cosmic-ray (UHECR) observatory in the Northern Hemisphere. It explores the origin of UHECRs by measuring their energy spectrum, arrival-direction distribution, and mass composition using a surface detector (SD) array covering approximately 700 km$^2$ and fluorescence detector (FD) stations. TA has found evidence for a cluster of cosmic rays with energies greater than 57 EeV. In order to confirm this evidence with more data, it is necessary to increase the data collection rate.We have begun building an expansion of TA that we call TAx4. In this paper, we explain the motivation, design, technical features, and expected performance of the TAx4 SD. We also present TAx4's current status and examples of the data that have already been collected.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
A Balance for Fairness: Fair Distribution Utilising Physics in Games of Characteristic Function Form
Authors:
Song-Ju Kim,
Taiki Takahashi,
Kazuo Sano
Abstract:
In chaotic modern society, there is an increasing demand for the realization of true 'fairness'. In Greek mythology, Themis, the 'goddess of justice', has a sword in her right hand to protect society from vices, and a 'balance of judgment' in her left hand that measures good and evil. In this study, we propose a fair distribution method 'utilising physics' for the profit in games of characteristic…
▽ More
In chaotic modern society, there is an increasing demand for the realization of true 'fairness'. In Greek mythology, Themis, the 'goddess of justice', has a sword in her right hand to protect society from vices, and a 'balance of judgment' in her left hand that measures good and evil. In this study, we propose a fair distribution method 'utilising physics' for the profit in games of characteristic function form. Specifically, we show that the linear programming problem for calculating 'nucleolus' can be efficiently solved by considering it as a physical system in which gravity works. In addition to being able to significantly reduce computational complexity thereby, we believe that this system could have flexibility necessary to respond to real-time changes in the parameter.
△ Less
Submitted 5 February, 2021; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Zariski density of points with maximal arithmetic degree for surfaces
Authors:
Kaoru Sano,
Takahiro Shibata
Abstract:
We prove that any surjective self-morphism with $δ_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.
We prove that any surjective self-morphism with $δ_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.
△ Less
Submitted 20 January, 2021;
originally announced January 2021.
-
Transition Temperature of Superconductivity in Sodium Tungsten Bronze -Theoretical Study Based on First-principles Calculations-
Authors:
Kazuhiro Sano,
Yoshihiro Nitta,
Yoshiaki Ōno
Abstract:
Using first-principles calculations, we examine the transition temperature $T_{\rm c}$ of superconductivity in sodium tungsten bronze ( Na$_x$WO$_3$, where $x$ is equal to or less than unity ). Although $T_{\rm c}$ is relatively low $T_{\rm c}( <\sim 3 {\rm K})$, it is interesting that its characteristic exponential dependence on $x$ has been experimentally observed at $\sim 0.2 < x < \sim 0.4$. O…
▽ More
Using first-principles calculations, we examine the transition temperature $T_{\rm c}$ of superconductivity in sodium tungsten bronze ( Na$_x$WO$_3$, where $x$ is equal to or less than unity ). Although $T_{\rm c}$ is relatively low $T_{\rm c}( <\sim 3 {\rm K})$, it is interesting that its characteristic exponential dependence on $x$ has been experimentally observed at $\sim 0.2 < x < \sim 0.4$. On the basis of the McMillan equation for $T_{\rm c}$ including the effect of plasmons, we succeed in reproducing the absolute values of $T_{\rm c}$ and its $x$ dependence. We also find that the plasmon effect is crucial for the estimation of $T_{\rm c}$ as well as phonons. Since the calculated $T_{\rm c}$ may not exceed $\sim 20$ K even for $x <\sim 0.1$, the superconductivity at a low $T_{\rm c}$ can be interpreted by the usual phonon mechanism, including the plasmon effect. On the other hand, a high $T_{\rm c}$ up to about 90 K, which is found on the surface of a Na$_x$WO$_3$ system at $x\sim 0.05$ by recent experiments, cannot be explained by our results. This discrepancy suggests that another mechanism is required to clarify the nature of the high-$T_{\rm c}$ superconductivity of Na$_x$WO$_3$.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
Observations of the Origin of Downward Terrestrial Gamma-Ray Flashes
Authors:
J. W. Belz,
P. R. Krehbiel,
J. Remington,
M. A. Stanley,
R. U. Abbasi,
R. LeVon,
W. Rison,
D. Rodeheffer,
the Telescope Array Scientific Collaboration,
:,
T. Abu-Zayyad,
M. Allen,
E. Barcikowski,
D. R. Bergman,
S. A. Blake,
M. Byrne,
R. Cady,
B. G. Cheon,
M. Chikawa,
A. di Matteo,
T. Fujii,
K. Fujita,
R. Fujiwara,
M. Fukushima,
G. Furlich
, et al. (116 additional authors not shown)
Abstract:
In this paper we report the first close, high-resolution observations of downward-directed terrestrial gamma-ray flashes (TGFs) detected by the large-area Telescope Array cosmic ray observatory, obtained in conjunction with broadband VHF interferometer and fast electric field change measurements of the parent discharge. The results show that the TGFs occur during strong initial breakdown pulses (I…
▽ More
In this paper we report the first close, high-resolution observations of downward-directed terrestrial gamma-ray flashes (TGFs) detected by the large-area Telescope Array cosmic ray observatory, obtained in conjunction with broadband VHF interferometer and fast electric field change measurements of the parent discharge. The results show that the TGFs occur during strong initial breakdown pulses (IBPs) in the first few milliseconds of negative cloud-to-ground and low-altitude intracloud flashes, and that the IBPs are produced by a newly-identified streamer-based discharge process called fast negative breakdown. The observations indicate the relativistic runaway electron avalanches (RREAs) responsible for producing the TGFs are initiated by embedded spark-like transient conducting events (TCEs) within the fast streamer system, and potentially also by individual fast streamers themselves. The TCEs are inferred to be the cause of impulsive sub-pulses that are characteristic features of classic IBP sferics. Additional development of the avalanches would be facilitated by the enhanced electric field ahead of the advancing front of the fast negative breakdown. In addition to showing the nature of IBPs and their enigmatic sub-pulses, the observations also provide a possible explanation for the unsolved question of how the streamer to leader transition occurs during the initial negative breakdown, namely as a result of strong currents flowing in the final stage of successive IBPs, extending backward through both the IBP itself and the negative streamer breakdown preceding the IBP.
△ Less
Submitted 12 October, 2020; v1 submitted 29 September, 2020;
originally announced September 2020.
-
The isotropic interplanetary dust cloud and near-infrared extragalactic background light observed with COBE/DIRBE
Authors:
Kei Sano,
Shuji Matsuura,
Kazuma Yomo,
Aoi Takahashi
Abstract:
We report observation of isotropic interplanetary dust (IPD) by analyzing the infrared (IR) maps of Diffuse Infrared Background Experiment (DIRBE) onboard the Cosmic Background Explorer (COBE) spacecraft. To search for the isotropic IPD, we perform new analysis in terms of solar elongation angle ($ε$), because we expect zodiacal light (ZL) intensity from the isotropic IPD to decrease as a function…
▽ More
We report observation of isotropic interplanetary dust (IPD) by analyzing the infrared (IR) maps of Diffuse Infrared Background Experiment (DIRBE) onboard the Cosmic Background Explorer (COBE) spacecraft. To search for the isotropic IPD, we perform new analysis in terms of solar elongation angle ($ε$), because we expect zodiacal light (ZL) intensity from the isotropic IPD to decrease as a function of $ε$. We use the DIRBE weekly-averaged maps covering $64^\circ \lesssim ε\lesssim 124^\circ$ and inspect the $ε$-dependence of residual intensity after subtracting conventional ZL components. We find the $ε$-dependence of the residuals, indicating the presence of the isotropic IPD. However, the mid-IR $ε$-dependence is different from that of the isotropic IPD model at $ε\gtrsim 90^\circ$, where the residual intensity increases as a function of $ε$. To explain the observed $ε$-dependence, we assume a spheroidal IPD cloud showing higher density further away from the sun. We estimate intensity of the near-IR extragalactic background light (EBL) by subtracting the spheroidal component, assuming the spectral energy distribution from the residual brightness at $12\,{\rm μm}$. The EBL intensity is derived as $45_{-8}^{+11}$, $21_{-4}^{+3}$, and $15\pm3\,{\rm nWm^{-2}sr^{-1}}$ at $1.25$, $2.2$, and $3.5\,{\rm μm}$, respectively. The EBL is still a few times larger than integrated light of normal galaxies, suggesting existence of unaccounted extragalactic sources.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Zariski density of points with maximal arithmetic degree
Authors:
Kaoru Sano,
Takahiro Shibata
Abstract:
Given a dominant rational self-map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical degree. In this article, we show that there are densely many $\overline{\mathbb Q}$-rational points with maximal arithmetic degree (i.e. whose arithmetic degree is eq…
▽ More
Given a dominant rational self-map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical degree. In this article, we show that there are densely many $\overline{\mathbb Q}$-rational points with maximal arithmetic degree (i.e. whose arithmetic degree is equal to the first dynamical degree) for self-morphisms on projective varieties. For unirational varieties and abelian varieties, we show that there are densely many rational points with maximal arithmetic degree over a sufficiently large number field. We also give a generalization of a result of Kawaguchi and Silverman in the appendix.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Search for Large-scale Anisotropy on Arrival Directions of Ultra-high-energy Cosmic Rays Observed with the Telescope Array Experiment
Authors:
Telescope Array Collaboration,
R. U. Abbasi,
M. Abe,
T. Abu-Zayyad,
M. Allen,
R. Azuma,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
A. di Matteo,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
G. Furlich,
W. Hanlon,
M. Hayashi,
N. Hayashida,
K. Hibino
, et al. (121 additional authors not shown)
Abstract:
Motivated by the detection of a significant dipole structure in the arrival directions of ultrahigh-energy cosmic rays above 8 EeV reported by the Pierre Auger Observatory (Auger), we search for a large-scale anisotropy using data collected with the surface detector array of the Telescope Array Experiment (TA). With 11 years of TA data, a dipole structure in a projection of the right ascension is…
▽ More
Motivated by the detection of a significant dipole structure in the arrival directions of ultrahigh-energy cosmic rays above 8 EeV reported by the Pierre Auger Observatory (Auger), we search for a large-scale anisotropy using data collected with the surface detector array of the Telescope Array Experiment (TA). With 11 years of TA data, a dipole structure in a projection of the right ascension is fitted with an amplitude of 3.3+- 1.9% and a phase of 131 +- 33 degrees. The corresponding 99% confidence-level upper limit on the amplitude is 7.3%. At the current level of statistics, the fitted result is compatible with both an isotropic distribution and the dipole structure reported by Auger.
△ Less
Submitted 27 July, 2020; v1 submitted 30 June, 2020;
originally announced July 2020.
-
Measurement of the Proton-Air Cross Section with Telescope Array's Black Rock Mesa and Long Ridge Fluorescence Detectors, and Surface Array in Hybrid Mode
Authors:
R. U. Abbasi,
M. Abe,
T. Abu-Zayyad,
M. Allen,
R. Azuma,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
A. di Matteo,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
G. Furlich,
W. Hanlon,
M. Hayashi,
N. Hayashida,
K. Hibino,
R. Higuchi
, et al. (120 additional authors not shown)
Abstract:
Ultra high energy cosmic rays provide the highest known energy source in the universe to measure proton cross sections. Though conditions for collecting such data are less controlled than an accelerator environment, current generation cosmic ray observatories have large enough exposures to collect significant statistics for a reliable measurement for energies above what can be attained in the lab.…
▽ More
Ultra high energy cosmic rays provide the highest known energy source in the universe to measure proton cross sections. Though conditions for collecting such data are less controlled than an accelerator environment, current generation cosmic ray observatories have large enough exposures to collect significant statistics for a reliable measurement for energies above what can be attained in the lab. Cosmic ray measurements of cross section use atmospheric calorimetry to measure depth of air shower maximum ($X_{\mathrm{max}}$), which is related to the primary particle's energy and mass. The tail of the $X_{\mathrm{max}}$ distribution is assumed to be dominated by showers generated by protons, allowing measurement of the inelastic proton-air cross section. In this work the proton-air inelastic cross section measurement, $σ^{\mathrm{inel}}_{\mathrm{p-air}}$, using data observed by Telescope Array's Black Rock Mesa and Long Ridge fluorescence detectors and surface detector array in hybrid mode is presented. $σ^{\mathrm{inel}}_{\mathrm{p-air}}$ is observed to be $520.1 \pm 35.8$[Stat.] $^{+25.0}_{-40}$[Sys.]~mb at $\sqrt{s} = 73$ TeV. The total proton-proton cross section is subsequently inferred from Glauber formalism and is found to be $σ^{\mathrm{tot}}_{\mathrm{pp}} = 139.4 ^{+23.4}_{-21.3}$ [Stat.]$ ^{+15.0}_{-24.0}$[Sys.]~mb.
△ Less
Submitted 8 June, 2020;
originally announced June 2020.
-
Evidence for a Supergalactic Structure of Magnetic Deflection Multiplets of Ultra-High Energy Cosmic Rays
Authors:
Telescope Array Collaboration,
R. U. Abbasi,
M. Abe,
T. Abu-Zayyad,
M. Allen,
R. Azuma,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
A. di Matteo,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
G. Furlich,
W. Hanlon,
M. Hayashi,
N. Hayashida,
K. Hibino
, et al. (119 additional authors not shown)
Abstract:
Evidence for a large-scale supergalactic cosmic ray multiplet (arrival directions correlated with energy) structure is reported for ultra-high energy cosmic ray (UHECR) energies above 10$^{19}$ eV using seven years of data from the Telescope Array (TA) surface detector and updated to 10 years. Previous energy-position correlation studies have made assumptions regarding magnetic field shapes and st…
▽ More
Evidence for a large-scale supergalactic cosmic ray multiplet (arrival directions correlated with energy) structure is reported for ultra-high energy cosmic ray (UHECR) energies above 10$^{19}$ eV using seven years of data from the Telescope Array (TA) surface detector and updated to 10 years. Previous energy-position correlation studies have made assumptions regarding magnetic field shapes and strength, and UHECR composition. Here the assumption tested is that, since the supergalactic plane is a fit to the average matter density of the local Large Scale Structure (LSS), UHECR sources and intervening extragalactic magnetic fields are correlated with this plane. This supergalactic deflection hypothesis is tested by the entire field-of-view (FOV) behavior of the strength of intermediate-scale energy-angle correlations. These multiplets are measured in spherical cap section bins (wedges) of the FOV to account for coherent and random magnetic fields. The structure found is consistent with supergalactic deflection, the previously published energy spectrum anisotropy results of TA (the hotspot and coldspot), and toy-model simulations of a supergalactic magnetic sheet. The seven year data post-trial significance of this supergalactic structure of multiplets appearing by chance, on an isotropic sky, is found by Monte Carlo simulation to be 4.2$σ$. The ten years of data post-trial significance is 4.1$σ$. Furthermore, the starburst galaxy M82 is shown to be a possible source of the TA Hotspot, and an estimate of the supergalactic magnetic field using UHECR measurements is presented.
△ Less
Submitted 2 July, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
White Paper from Workshop on Large-scale Parallel Numerical Computing Technology (LSPANC 2020): HPC and Computer Arithmetic toward Minimal-Precision Computing
Authors:
Roman Iakymchuk,
Daichi Mukunoki,
Artur Podobas,
Fabienne Jézéquel,
Toshiyuki Imamura,
Norihisa Fujita,
Jens Huthmann,
Shuhei Kudo,
Yiyu Tan,
Jens Domke,
Kai Torben Ohlhus,
Takeshi Fukaya,
Takeo Hoshi,
Yuki Murakami,
Maho Nakata,
Takeshi Ogita,
Kentaro Sano,
Taisuke Boku
Abstract:
In numerical computations, precision of floating-point computations is a key factor to determine the performance (speed and energy-efficiency) as well as the reliability (accuracy and reproducibility). However, precision generally plays a contrary role for both. Therefore, the ultimate concept for maximizing both at the same time is the minimal-precision computing through precision-tuning, which a…
▽ More
In numerical computations, precision of floating-point computations is a key factor to determine the performance (speed and energy-efficiency) as well as the reliability (accuracy and reproducibility). However, precision generally plays a contrary role for both. Therefore, the ultimate concept for maximizing both at the same time is the minimal-precision computing through precision-tuning, which adjusts the optimal precision for each operation and data. Several studies have been already conducted for it so far (e.g. Precimoniuos and Verrou), but the scope of those studies is limited to the precision-tuning alone. Hence, we aim to propose a broader concept of the minimal-precision computing system with precision-tuning, involving both hardware and software stack.
In 2019, we have started the Minimal-Precision Computing project to propose a more broad concept of the minimal-precision computing system with precision-tuning, involving both hardware and software stack. Specifically, our system combines (1) a precision-tuning method based on Discrete Stochastic Arithmetic (DSA), (2) arbitrary-precision arithmetic libraries, (3) fast and accurate numerical libraries, and (4) Field-Programmable Gate Array (FPGA) with High-Level Synthesis (HLS).
In this white paper, we aim to provide an overview of various technologies related to minimal- and mixed-precision, to outline the future direction of the project, as well as to discuss current challenges together with our project members and guest speakers at the LSPANC 2020 workshop; https://www.r-ccs.riken.jp/labs/lpnctrt/lspanc2020jan/.
△ Less
Submitted 11 April, 2020; v1 submitted 9 April, 2020;
originally announced April 2020.
-
A Survey on Coarse-Grained Reconfigurable Architectures from a Performance Perspective
Authors:
Artur Podobas,
Kentaro Sano,
Satoshi Matsuoka
Abstract:
With the end of both Dennard's scaling and Moore's law, computer users and researchers are aggressively exploring alternative forms of computing in order to continue the performance scaling that we have come to enjoy. Among the more salient and practical of the post-Moore alternatives are reconfigurable systems, with Coarse-Grained Reconfigurable Architectures (CGRAs) seemingly capable of striking…
▽ More
With the end of both Dennard's scaling and Moore's law, computer users and researchers are aggressively exploring alternative forms of computing in order to continue the performance scaling that we have come to enjoy. Among the more salient and practical of the post-Moore alternatives are reconfigurable systems, with Coarse-Grained Reconfigurable Architectures (CGRAs) seemingly capable of striking a balance between performance and programmability. In this paper, we survey the landscape of CGRAs. We summarize nearly three decades of literature on the subject, with a particular focus on the premise behind the different CGRAs and how they have evolved. Next, we compile metrics of available CGRAs and analyze their performance properties in order to understand and discover knowledge gaps and opportunities for future CGRA research specialized towards High-Performance Computing (HPC). We find that there are ample opportunities for future research on CGRAs, in particular with respect to size, functionality, support for parallel programming models, and to evaluate more complex applications.
△ Less
Submitted 15 September, 2020; v1 submitted 9 April, 2020;
originally announced April 2020.
-
Superconductivity of Carbon Compounds with Sodalite Structure
Authors:
Kazuhiro Sano,
Yoshimi Masuda,
Hiroki Ito
Abstract:
We investigate the superconductivity of carbon compounds with a sodalite structure, which are similar to hydrogen compounds showing the high-temperature superconductivity. A systematic analysis by first-principles calculations is carried out, including examination of mechanical and dynamic instabilities under external pressure $P$. These instabilities are classified on the phase diagram for the ef…
▽ More
We investigate the superconductivity of carbon compounds with a sodalite structure, which are similar to hydrogen compounds showing the high-temperature superconductivity. A systematic analysis by first-principles calculations is carried out, including examination of mechanical and dynamic instabilities under external pressure $P$. These instabilities are classified on the phase diagram for the effective do** charge versus the lattice constant of the system. We also present the superconducting transition temperature $T_{\rm c}$ as a function of $P$ for many carbon compounds and a pure carbon system with the sodalite structure. Some of them have $T_{\rm c}$ of up to about 100 K at $P > \sim 30$ GPa, and the results suggest that the sodalite structure of carbon may be a key to producing phonon-mediated high-$T_{\rm c}$ superconductivity.
△ Less
Submitted 27 April, 2022; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Generation of high-quality terahertz OAM mode based on soft-aperture difference frequency generation
Authors:
Katsuhiko Miyamoto,
Kazuki Sano,
Takahiro Miyakawa,
Hiromasa Niinomi,
Kohei Toyoda,
Adam Valles,
Takashige Omatsu
Abstract:
We demonstrate the generation of high-quality tunable terahertz (THz) vortices in an eigenmode by employing soft-aperture difference frequency generation of a vortex output and a Gaussian mode. The generated THz vortex output exhibits a high-quality orbital angular momentum (OAM) mode with a topological charge of $\ell_{THz}=\pm1$ in a frequency range of 2-6 THz. The maximum average power of the T…
▽ More
We demonstrate the generation of high-quality tunable terahertz (THz) vortices in an eigenmode by employing soft-aperture difference frequency generation of a vortex output and a Gaussian mode. The generated THz vortex output exhibits a high-quality orbital angular momentum (OAM) mode with a topological charge of $\ell_{THz}=\pm1$ in a frequency range of 2-6 THz. The maximum average power of the THz vortex output obtained was ~3.3 $μ$W at 4 THz.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Plasmon effect on the Coulomb pseudopotential $μ^*$ in the McMillan equation
Authors:
Kazuhiro Sano,
Mithuki Seo,
Kohji Nakamura
Abstract:
We examine the Coulomb pseudopotential $μ^*$ in the McMillan equation applying to the superconductivity of heavily doped semiconductors. Systematic calculation using the first-principles calculation suggests that $μ^*$ should be considered as a variable quantity depending on carrier density $n$ in semiconductors, although it is usually considered as a constant about 0.1. To clarify $n-$dependence…
▽ More
We examine the Coulomb pseudopotential $μ^*$ in the McMillan equation applying to the superconductivity of heavily doped semiconductors. Systematic calculation using the first-principles calculation suggests that $μ^*$ should be considered as a variable quantity depending on carrier density $n$ in semiconductors, although it is usually considered as a constant about 0.1. To clarify $n-$dependence of $μ^*$, we solve the McMillan equation inversely for $μ^*$ by combining the result of the first-principles calculation and that of experiments. It indicates that $μ^*$ decreases with $n$ and becomes negative under $n \sim 5 \times 10^{-21}[{\rm cm^{-3}}]$. This reduction is explained by the effect of plasmon which may play an important role in the superconductivity of low carrier systems such as heavily doped semiconductors.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
MIRIS observation of near-infrared diffuse Galactic light
Authors:
Y. Onishi,
K. Sano,
S. Matsuura,
W. -S. Jeong,
J. Pyo,
I. -J. Kim,
H. J. Seo,
W. Han,
D. -H. Lee,
B. Moon,
W. -K. Park,
Y. Park,
M. G. Kim,
T. Matsumoto,
H. Matsuhara,
T. Nakagawa,
K. Tsumura,
M. Shirahata,
T. Arai,
N. Ienaka
Abstract:
We report near-infrared (IR) observations of high Galactic latitude clouds to investigate diffuse Galactic light (DGL), which is starlight scattered by interstellar dust grains. The observations were performed at $1.1$ and $1.6\,\rm{μm}$ with a wide-field camera instrument, the Multi-purpose Infra-Red Imaging System (MIRIS) onboard the Korean satellite STSAT-3. The DGL brightness is measured by co…
▽ More
We report near-infrared (IR) observations of high Galactic latitude clouds to investigate diffuse Galactic light (DGL), which is starlight scattered by interstellar dust grains. The observations were performed at $1.1$ and $1.6\,\rm{μm}$ with a wide-field camera instrument, the Multi-purpose Infra-Red Imaging System (MIRIS) onboard the Korean satellite STSAT-3. The DGL brightness is measured by correlating the near-IR images with a far-IR $100\,\rm{μm}$ map of interstellar dust thermal emission. The wide-field observation of DGL provides the most accurate DGL measurement achieved to date. We also find a linear correlation between optical and near-IR DGL in the MBM32 field. To study interstellar dust properties in MBM32, we adopt recent dust models with or without $\rm{μm}$-sized very large grains and predict the DGL spectra, taking into account reddening effect of interstellar radiation field. The result shows that observed color of the near-IR DGL is closer to the model spectra without very large grains. This may imply that dust growth in the observed MBM32 field is not active owing to its low density of interstellar medium.
△ Less
Submitted 22 June, 2018;
originally announced June 2018.
-
A Guide of Fingerprint Based Radio Emitter Localization using Multiple Sensors
Authors:
Tao Yu,
Azril Haniz,
Kentaro Sano,
Ryosuke Iwata,
Ryouta Kosaka,
Yusuke Kuki,
Gia Khanh Tran,
Jun-Ichi Takada,
Kei Sakaguchi
Abstract:
Location information is essential to varieties of applications. It is one of the most important context to be detected by wireless distributed sensors, which is a key technology in Internet-of-Things. Fingerprint-based methods, which compare location unique fingerprints collected beforehand with the fingerprint measured from the target, have attracted much attention recently in both of academia an…
▽ More
Location information is essential to varieties of applications. It is one of the most important context to be detected by wireless distributed sensors, which is a key technology in Internet-of-Things. Fingerprint-based methods, which compare location unique fingerprints collected beforehand with the fingerprint measured from the target, have attracted much attention recently in both of academia and industry. They have been successfully used for many location-based applications.From the viewpoint of practical applications, in this paper, four different typical approaches of fingerprint-based radio emitter localization system are introduced with four different representative applications: localization of LTE smart phone used for anti-cheating in exams, indoor localization of Wi-Fi terminals, localized light control in BEMS using location information of occupants, and illegal radio localization in outdoor environments. Based on the different practical application scenarios, different solutions, which are designed to enhance the localization performance, are discussed in detail. To the best of the authors' knowledge, this is the first paper to give a guideline for readers about fingerprint-based localization system in terms of fingerprint selection, hardware architecture design and algorithm enhancement
△ Less
Submitted 5 April, 2018;
originally announced April 2018.
-
Arithmetic and dynamical degrees of self-morphisms of semi-abelian varieties
Authors:
Yohsuke Matsuzawa,
Kaoru Sano
Abstract:
We prove a conjecture by Kawaguchi-Silverman on arithmetic and dynamical degrees, for self-morphisms of semi-abelian varieties. Moreover, we determine the set of the arithmetic degrees of orbits and the (first) dynamical degrees of self-morphisms of semi-abelian varieties.
We prove a conjecture by Kawaguchi-Silverman on arithmetic and dynamical degrees, for self-morphisms of semi-abelian varieties. Moreover, we determine the set of the arithmetic degrees of orbits and the (first) dynamical degrees of self-morphisms of semi-abelian varieties.
△ Less
Submitted 16 April, 2020; v1 submitted 9 February, 2018;
originally announced February 2018.
-
Evidence for Declination Dependence of the Ultrahigh Energy Cosmic Ray Spectrum in the Northern Hemisphere
Authors:
R. U. Abbasi,
T. Abu-Zayyad,
M. Allen,
Y. Arai,
R. Arimura,
E. Barcikowski,
J. W. Belz,
D. R. Bergman,
S. A. Blake,
I. Buckland,
R. Cady,
B. G. Cheon,
J. Chiba,
M. Chikawa,
T. Fujii,
K. Fujisue,
K. Fujita,
R. Fujiwara,
M. Fukushima,
R. Fukushima,
G. Furlich,
N. Globus,
R. Gonzalez,
W. Hanlon,
M. Hayashi
, et al. (134 additional authors not shown)
Abstract:
Telescope Array (TA) is the largest experiment in the Northern Hemisphere studying ultrahigh energy cosmic rays. TA measurements of the cosmic ray spectrum using the surface detector have the best statistical power in the experiment, and observe the ankle of the spectrum and the high energy cutoff. When the data are divided into two declination bands, above and below 24.8 degrees, the cutoff appea…
▽ More
Telescope Array (TA) is the largest experiment in the Northern Hemisphere studying ultrahigh energy cosmic rays. TA measurements of the cosmic ray spectrum using the surface detector have the best statistical power in the experiment, and observe the ankle of the spectrum and the high energy cutoff. When the data are divided into two declination bands, above and below 24.8 degrees, the cutoff appears at $10^{19.64 \pm 0.04}$ ($10^{19.84 \pm 0.02}$) eV in the lower (higher) band, an energy difference of 58\%. The global significance of the difference is 4.3 standard deviations. The lack of an instrumental cause of this difference implies it is astrophysical in nature.
△ Less
Submitted 10 November, 2021; v1 submitted 23 January, 2018;
originally announced January 2018.
-
Growth rate of ample heights and the dynamical Mordell-Lang type conjecture
Authors:
Kaoru Sano
Abstract:
We provide an explicit formula on the growth rate of ample heights of rational points under iteration of endomorphisms on smooth projective varieties over number fields. As an application, we give a positive answer to a problem of Dynamical Mordell-Lang type for pairs of étale endomorphisms, which is a variant of the original one stated by Bell, Ghioca, and Tucker in their monograph.
We provide an explicit formula on the growth rate of ample heights of rational points under iteration of endomorphisms on smooth projective varieties over number fields. As an application, we give a positive answer to a problem of Dynamical Mordell-Lang type for pairs of étale endomorphisms, which is a variant of the original one stated by Bell, Ghioca, and Tucker in their monograph.
△ Less
Submitted 9 May, 2018; v1 submitted 9 January, 2018;
originally announced January 2018.
-
The canonical heights for Jordan blocks of small eigenvalues, preperiodic points, and the arithmetic degrees
Authors:
Kaoru Sano
Abstract:
We introduce a new canonical height function for Jordan blocks of small eigenvalues for endomorphisms on smooth projective varieties over a number field. We prove that under an assumption on the eigenvalues of the endomorphism on the group of divisors modulo numerical equivalence, the arithmetic degree at a rational point is equal to one if and only if it is preperiodic under the endomorphism.
We introduce a new canonical height function for Jordan blocks of small eigenvalues for endomorphisms on smooth projective varieties over a number field. We prove that under an assumption on the eigenvalues of the endomorphism on the group of divisors modulo numerical equivalence, the arithmetic degree at a rational point is equal to one if and only if it is preperiodic under the endomorphism.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
Galactic Latitude Dependence of Near-Infrared Diffuse Galactic Light : Thermal Emission or Scattered Light?
Authors:
Kei Sano,
Shuji Matsuura
Abstract:
Near-infrared (IR) diffuse Galactic light (DGL) consists of scattered light and thermal emission from interstellar dust grains illuminated by interstellar radiation field (ISRF). At 1.25 and 2.2um, recent observational study shows that intensity ratios of the DGL to interstellar 100um dust emission steeply decrease toward high Galactic latitudes (b). In this paper, we investigate origin(s) of the…
▽ More
Near-infrared (IR) diffuse Galactic light (DGL) consists of scattered light and thermal emission from interstellar dust grains illuminated by interstellar radiation field (ISRF). At 1.25 and 2.2um, recent observational study shows that intensity ratios of the DGL to interstellar 100um dust emission steeply decrease toward high Galactic latitudes (b). In this paper, we investigate origin(s) of the b-dependence on the basis of models of thermal emission and scattered light. Combining a thermal emission model with regional variation of the polycyclic aromatic hydrocarbon abundance observed with Planck, we show that contribution of the near-IR thermal emission component to the observed DGL is less than ~20%. We also examine the b-dependence of the scattered light, assuming a plane-parallel Galaxy with smooth distributions of the ISRF and dust density along vertical direction, and assuming a scattering phase function according to a recently developed model of interstellar dust. We normalize the scattered light intensity to the 100um intensity corrected for deviation from the cosecant-b law according to the Planck observation. As the result, the present model taking all the b-dependence of dust and ISRF properties can account for the observed b-dependence of the near-IR DGL. However, uncertainty of the correction for the 100um emission is large and other normalizing quantities may be appropriate for more robust analysis of the DGL.
△ Less
Submitted 3 October, 2017;
originally announced October 2017.
-
Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus
Authors:
Katsuhiko Sano
Abstract:
This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu. To find a Hilbert system, we first introduce a sound, complete and cut-free tree (or nested) sequent calculus for EFL, which is an integrated combination of Seligman's sequent calculus for basic hybrid logic and a tree sequent calculus for m…
▽ More
This paper positively solves an open problem if it is possible to provide a Hilbert system to Epistemic Logic of Friendship (EFL) by Seligman, Girard and Liu. To find a Hilbert system, we first introduce a sound, complete and cut-free tree (or nested) sequent calculus for EFL, which is an integrated combination of Seligman's sequent calculus for basic hybrid logic and a tree sequent calculus for modal logic. Then we translate a tree sequent into an ordinary formula to specify a Hilbert system of EFL and finally show that our Hilbert system is sound and complete for the intended two-dimensional semantics.
△ Less
Submitted 10 July, 2019; v1 submitted 24 April, 2017;
originally announced April 2017.
-
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
Authors:
Katsuhiko Sano,
John G. Stell
Abstract:
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the inci…
▽ More
Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the incidence structure of a hypergraph. In this paper we provide, for the first time, a Hilbert-style axiomatisation of BISKt and prove the strong completeness of BiSKt. We go on to prove strong completeness of a class of BIST logics obtained by extending BiSKt by formulas of a certain form. Moreover we show that the finite model property and the decidability hold for a class of BIST logics.
△ Less
Submitted 6 March, 2017;
originally announced March 2017.
-
Arithmetic degrees for dynamical systems over function fields of characteristic zero
Authors:
Yohsuke Matsuzawa,
Kaoru Sano,
Takahiro Shibata
Abstract:
We study arithmetic degree of a dominant rational self-map on a smooth projective variety over a function field of characteristic zero. We see that the notion of arithmetic degree and some related problems over function fields are interpreted into geometric ones. We give another proof of the theorem that the arithmetic degree at any point is smaller than or equal to the dynamical degree. We give a…
▽ More
We study arithmetic degree of a dominant rational self-map on a smooth projective variety over a function field of characteristic zero. We see that the notion of arithmetic degree and some related problems over function fields are interpreted into geometric ones. We give another proof of the theorem that the arithmetic degree at any point is smaller than or equal to the dynamical degree. We give a sufficient condition for an arithmetic degree to coincide with the dynamical degree, and prove that any self-map has so many points whose arithmetic degrees are equal to the dynamical degree. We study dominant rational self-maps on projective spaces in detail.
△ Less
Submitted 1 March, 2017; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Arithmetic degrees and dynamical degrees of endomorphisms on surfaces
Authors:
Yohsuke Matsuzawa,
Kaoru Sano,
Takahiro Shibata
Abstract:
For a dominant rational self-map on a smooth projective variety defined over a number field, Kawaguchi and Silverman conjectured that the (first) dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We prove this conjecture for surjective endomorphisms on smooth projective surfaces. For surjective endomorphisms on any smooth…
▽ More
For a dominant rational self-map on a smooth projective variety defined over a number field, Kawaguchi and Silverman conjectured that the (first) dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We prove this conjecture for surjective endomorphisms on smooth projective surfaces. For surjective endomorphisms on any smooth projective varieties, we show the existence of rational points whose arithmetic degrees are equal to the dynamical degree. Moreover, we prove that there exists a Zariski dense set of rational points having disjoint orbits if the endomorphism is an automorphism.
△ Less
Submitted 26 January, 2017; v1 submitted 16 January, 2017;
originally announced January 2017.
-
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Authors:
Tadeusz Litak,
Dirk Pattinson,
Katsuhiko Sano,
Lutz Schröder
Abstract:
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completeness results for several natural classes of such logics. Moreover, we show that an entirely general completeness result is not possible. We study the exp…
▽ More
We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completeness results for several natural classes of such logics. Moreover, we show that an entirely general completeness result is not possible. We study the expressive power of our language, both in comparison with coalgebraic hybrid logics and with existing first-order proposals for special classes of Set-coalgebras (apart from relational structures, also neighbourhood frames and topological spaces). Basic model-theoretic constructions and results, in particular ultraproducts, obtain for the two classes that allow completeness---and in some cases beyond that. Finally, we discuss a basic sequent system, for which we establish a syntactic cut-elimination result.
△ Less
Submitted 19 March, 2018; v1 submitted 13 January, 2017;
originally announced January 2017.
-
Ultraviolet to optical diffuse sky emission as seen by the Hubble Space Telescope Faint Object Spectrograph
Authors:
K. Kawara,
Y. Matsuoka,
K. Sano,
T. Brandt,
H. Sameshima,
K. Tsumura,
S. Oyabu,
N. Ienaka
Abstract:
We present an analysis of the blank sky spectra observed with the Faint Object Spectrograph on board the Hubble Space Telescope. We study the diffuse sky emission from ultraviolet to optical wavelengths, which is composed of the zodiacal light (ZL), diffuse Galactic light (DGL), and residual emission. The observations were performed toward 54 fields distributed widely over the sky, with the spectr…
▽ More
We present an analysis of the blank sky spectra observed with the Faint Object Spectrograph on board the Hubble Space Telescope. We study the diffuse sky emission from ultraviolet to optical wavelengths, which is composed of the zodiacal light (ZL), diffuse Galactic light (DGL), and residual emission. The observations were performed toward 54 fields distributed widely over the sky, with the spectral coverage from 0.2 to 0.7 um. In order to avoid contaminating light from the earthshine, we use the data collected only in orbital nighttime. The observed intensity is decomposed into the ZL, DGL, and residual emission, in eight photometric bands spanning our spectral coverage. We found that the derived ZL reflectance spectrum is flat in the optical, which indicates major contribution of C-type asteroids to the interplanetary dust (IPD). In addition, the ZL reflectance spectrum has an absorption feature at ~0.3 um. The shape of the DGL spectrum is consistent with those found in earlier measurements and model predictions. While the residual emission contains a contribution from the extragalactic background light, we found that the spectral shape of the residual looks similar to the ZL spectrum. Moreover, its optical intensity is much higher than that measured from beyond the IPD cloud by Pioneer10/11, and also than that of the integrated galaxy light. These findings may indicate the presence of an isotropic ZL component, which is missed in the conventional ZL models.
△ Less
Submitted 3 January, 2017;
originally announced January 2017.
-
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
Authors:
Katsuhiko Sano,
Jonni Virtema
Abstract:
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definability of ML(U^+) relative to finite transitive frames in the spirit of the well-known Goldblatt-Thomason theorem. We show that a class F of Kripke frames is definable in ML(U^+) relative to finite transitive frames if and on…
▽ More
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definability of ML(U^+) relative to finite transitive frames in the spirit of the well-known Goldblatt-Thomason theorem. We show that a class F of Kripke frames is definable in ML(U^+) relative to finite transitive frames if and only if F is closed under taking generated subframes and bounded morphic images. In addition, we study modal definability in team-based logics. We study (extended) modal dependence logic, (extended) modal inclusion logic, and modal team logic. With respect to global model definability we obtain a trichotomy and with respect to frame definability a dichotomy. As a corollary we obtain relative Goldblatt--Thomason -style theorems for each of the logics listed above.
△ Less
Submitted 22 February, 2018; v1 submitted 16 June, 2016;
originally announced June 2016.