Search

We construct a long-time asymptotic profile to the initial value problem of the n-dimensional heat equation. Specifically, we present a modified heat kernel as a long-time asymptotic profile which changes the mass, the center of mass and the variance of the n-dimensional heat kernel in accordance with the moments of the initial data., Comment: 28 pages

An infinite number of solvable Hamiltonians, including the transverse Ising chain, the XY chain with an external field, the cluster model with the next-nearest-neighbor x-x interactions, or with the next-nearest-neighbor z-z interactions, and other series of solvable models that can be mapped to the free fermion system are considered. All the conserved charges of these models written by the string-type products of the interactions are obtained. In the case of the transverse Ising chain, all the known charges are rederived, and in the case of the other models, new conserved charges are obtained., Comment: 18 pages, 2 tables

Some datasets with the described content and order of occurrence of sounds have been released for conversion between environmental sound and text. However, there are very few texts that include information on the impressions humans feel, such as "sharp" and "gorgeous," when they hear environmental sounds. In this study, we constructed a dataset with impression captions for environmental sounds that describe the impressions humans have when hearing these sounds. We used ChatGPT to generate impression captions and selected the most appropriate captions for sound by humans. Our dataset consists of 3,600 impression captions for environmental sounds. To evaluate the appropriateness of impression captions for environmental sounds, we conducted subjective and objective evaluations. From our evaluation results, we indicate that appropriate impression captions for environmental sounds can be generated.

In the modern age an enormous amount of communication occurs online, and it is difficult to know when something written is genuine or deceitful. There are many reasons for someone to deceive online (e.g., monetary gain, political gain) and detecting this behavior without any physical interaction is a difficult task. Additionally, deception occurs in several text-only domains and it is unclear if these various sources can be leveraged to improve detection. To address this, eight datasets were utilized from various domains to evaluate their effect on classifier performance when combined with transfer learning via intermediate layer concatenation of fine-tuned BERT models. We find improvements in accuracy over the baseline. Furthermore, we evaluate multiple distance measurements between datasets and find that Jensen-Shannon distance correlates moderately with transfer learning performance. Finally, the impact was evaluated of multiple methods, which produce additional information in a dataset's text via named entities, on BERT performance and we find notable improvement in accuracy of up to 11.2%.

The AI traders in financial markets have sparked significant interest in their effects on price formation mechanisms and market volatility, raising important questions for market stability and regulation. Despite this interest, a comprehensive model to quantitatively assess the specific impacts of AI traders remains undeveloped. This study aims to address this gap by modeling the influence of AI traders on market price formation and volatility within a multi-agent framework, leveraging the concept of microfoundations. Microfoundations involve understanding macroeconomic phenomena, such as market price formation, through the decision-making and interactions of individual economic agents. While widely acknowledged in macroeconomics, microfoundational approaches remain unexplored in empirical finance, particularly for models like the GARCH model, which captures key financial statistical properties such as volatility clustering and fat tails. This study proposes a multi-agent market model to derive the microfoundations of the GARCH model, incorporating three types of agents: noise traders, fundamental traders, and AI traders. By mathematically aggregating the micro-structure of these agents, we establish the microfoundations of the GARCH model. We validate this model through multi-agent simulations, confirming its ability to reproduce the stylized facts of financial markets. Finally, we analyze the impact of AI traders using parameters derived from these microfoundations, contributing to a deeper understanding of their role in market dynamics., Comment: Accepted PRIMA2024

An experimental investigation of collisionless shock ion acceleration is presented using a multicomponent plasma and a high-intensity picosecond duration laser pulse. Protons are the only accelerated ions when a near-critical-density plasma is driven by a laser with a modest normalized vector potential. The results of particle-in-cell simulations imply that collisionless shock may accelerate protons alone selectively, which can be an important tool for understanding the physics of inaccessible collisionless shocks in space and astrophysical plasma.

To address the challenge of limited experimental materials data, extensive physical property databases are being developed based on high-throughput computational experiments, such as molecular dynamics simulations. Previous studies have shown that fine-tuning a predictor pretrained on a computational database to a real system can result in models with outstanding generalization capabilities compared to learning from scratch. This study demonstrates the scaling law of simulation-to-real (Sim2Real) transfer learning for several machine learning tasks in materials science. Case studies of three prediction tasks for polymers and inorganic materials reveal that the prediction error on real systems decreases according to a power-law as the size of the computational data increases. Observing the scaling behavior offers various insights for database development, such as determining the sample size necessary to achieve a desired performance, identifying equivalent sample sizes for physical and computational experiments, and guiding the design of data production protocols for downstream real-world tasks., Comment: 22 pages, 6 figures

Let $G$ be a compact simple Lie group equipped with the left invariant framing $L$. It is known that there are several groups $G$ such that $(G, L)$ is non-null framed bordant. Previously we gave an alternative proof of these results using the decomposition formula of its bordism class into a Kronecker product by E. Ossa. In this note we propose a verification formula by reconsidering it, through a little more ingenious in the use of this product formula, and try to apply it to the non-null bordantness results above., Comment: 6 pages; gives a formulation of a method used in a previous paper 6 pages; gives a formulation of a method used in a previous paper

The discovery of small organic compounds for inducing stem cell differentiation is a time- and resource-intensive process. While data science could, in principle, facilitate the discovery of these compounds, novel approaches are required due to the difficulty of acquiring training data from large numbers of example compounds. In this paper, we demonstrate the design of a new compound for inducing cardiomyocyte differentiation using simple regression models trained with a data set containing only 80 examples. We introduce decorated shape descriptors, an information-rich molecular feature representation that integrates both molecular shape and hydrophilicity information. These models demonstrate improved performance compared to ones using standard molecular descriptors based on shape alone. Model overtraining is diagnosed using a new type of sensitivity analysis. Our new compound is designed using a conservative molecular design strategy, and its effectiveness is confirmed through expression profiles of cardiomyocyte-related marker genes using real-time polymerase chain reaction experiments on human iPS cell lines. This work demonstrates a viable data-driven strategy for designing new compounds for stem cell differentiation protocols and will be useful in situations where training data is limited., Comment: 26 pages (main paper), including 7 figures and 3 tables. 23 pages of supporting information. To be submitted to a journal

We present an [O/Fe] ratio of a luminous galaxy GN-z11 at $z=10.60$ derived with the deep public JWST/NIRSpec data. We fit the medium-resolution grating (G140M, G235M, and G395M) data with the model spectra consisting of BPASS-stellar and CLOUDY-nebular spectra in the rest-frame UV wavelength ranges with Fe absorption lines, carefully masking out the other emission and absorption lines in the same manner as previous studies conducted for lower redshift ($z\sim 2-6$) galaxies with oxygen abundance measurements. We obtain an Fe-rich abundance ratio $\mathrm{[O/Fe]}=-0.37^{+0.43}_{-0.22}$, which is confirmed with the independent deep prism data as well as by the classic 1978 index method. This [O/Fe] measurement is lower than measured for star-forming galaxies at $z\sim 2-3$. Because $z=10.60$ is an early epoch after the Big Bang ($\sim 430$ Myr) and the first star formation (likely $\sim 200$ Myr), it is difficult to produce Fe by Type Ia supernovae (SNeIa) requiring sufficient delay time for white-dwarf formation and gas accretion. The Fe-rich abundance ratio in GN-z11 suggests that the delay time is short, or that the major Fe enrichment is not accomplished by SNeIa but bright hypernovae (BrHNe) and/or pair-instability supernovae (PISNe), where the yield models of BrHNe and PISNe explain Fe, Ne, and O abundance ratios of GN-z11. The [O/Fe] measurement is not too low to rule out the connection between GN-z11 and globular clusters (GCs) previously suggested by the nitrogen abundance, but rather supports the connection with a GC population at high [N/O] if a metal dilution process exists., Comment: 13 pages, 11 figures, accepted for publication in ApJ

We present the number densities and physical properties of the bright galaxies spectroscopically confirmed at $z\sim7-14$. Our sample is composed of 53 galaxies at $z_\mathrm{spec}\sim7-14$, including recently-confirmed galaxies at $z_\mathrm{spec}=12.34-14.32$ with JWST, as well as new confirmations at $z_\mathrm{spec}=6.583-7.643$ with $-24< M_\mathrm{UV}< -21$ mag using ALMA and Keck. Our JWST/NIRSpec observations have also revealed that very bright galaxy candidates at $z\sim10-13$ identified from ground-based telescope images before JWST are passive galaxies at $z\sim3-4$, emphasizing the necessity of strict screening and spectroscopy in the selection of the brightest galaxies at $z>10$. The UV luminosity functions derived from these spectroscopic results are consistent with a double power-law function, showing tensions with theoretical models at the bright end. To understand the origin of the overabundance of bright galaxies, we investigate their morphologies using JWST/NIRCam high-resolution images obtained in various surveys including PRIMER and COSMOS-Web. We find that $\sim70\%$ of the bright galaxies at $z\sim7$ exhibit clumpy morphologies with multiple sub-components, suggesting merger-induced starburst activity, which is consistent with SED fitting results showing bursty star formation histories. At $z\gtrsim10$, bright galaxies are classified into two types of galaxies; extended ones with weak high-ionization emission lines, and compact ones with strong high-ionization lines including NIV]$\lambda$1486, indicating that at least two different processes (e.g., merger-induced starburst and compact star formation/AGN) are shaping the physical properties of the brightest galaxies at $z\gtrsim10$ and are responsible for their overabundance., Comment: 32 pages, 22 figures, submitted to ApJ

Let $[SU(2n),\mathscr{L}]$ denote the bordism class of $SU(2n)$ $(n\ge 2)$ equipped with the left invariant framing $\mathscr{L}$. Then it is well known that $e_\mathbb{C}([SU(2n), \mathscr{L}])=0$ in $\mathbb{O}/\mathbb{Z}$ where $e_\mathbb{C}$ denotes the complex Adams $e$-invariant. In this note we show that replacing $\mathscr{L}$ by the twisted framing by a specific map it can be transformed into a generator of $\mathrm{Im} \, e_\mathbb{C}$. In addition to that we also show that the same procedure affords an analogous result for a quotient of $SU(2n+1)$ by a circle subgroup which inherits a canonical framing from $SU(2n+1)$ in the usual way., Comment: 7 pages; adds a supplementary condition to equation on p.2; corrects the definitions of maps $\phi$, $\psi$ and modifies that of a map $\mu$; and because of this, modifies the corresponding parts in the descriptions of the proofs of Lemmas 1, 2; adds a supplemental statement to Lemma 2

Hearing loss (HL) simulators, which allow normal hearing (NH) listeners to experience HL, have been used in speech intelligibility experiments, but not in sound quality experiments due to perceptible distortion. If they produced less distortion, they might be useful for NH listeners to evaluate the sound quality of, for example, hearing aids. We conducted perceptual sound quality experiments to compare the Cambridge version of HL simulator (CamHLS) and the Wakayama version of the HL simulator (WHIS), which has the two algorithms of filterbank analysis synthesis (FBAS) and direct time-varying filter (DTVF). The experimental results showed that WHIS with DTVF produces less perceptible distortion in speech sounds than CamHLS and WHIS with FBAS, even when the nonlinear process is working. This advantage is mainly due to the use of the DTVF algorithm, which could be applied to various signal synthesis applications with filterbank analysis., Comment: This paper has been accepted for publication in Interspeech 2024

We are developing an imaging polarimeter by combining a fine-pixel CMOS image sensor with a coded aperture mask as part of the cipher project, aiming to achieve X-ray polarimetry in the energy range of $10$$\unicode{x2013}$$30~\mathrm{keV}$. A successful proof-of-concept experiment was conducted using a fine-pixel CMOS sensor with a $2.5~\mathrm{\mu m}$ pixel size. In this study, we conducted beam experiments to assess the modulation factor (MF) of the CMOS sensor with a $1.5~\mathrm{\mu m}$ pixel size manufactured by Canon and to determine if there was any improvement in the MF. The measured MF was $8.32\% \pm 0.34\%$ at $10~\mathrm{keV}$ and $16.10\% \pm 0.68\%$ at $22~\mathrm{keV}$, exceeding those of the $2.5~\mathrm{\mu m}$ sensor in the $6$$\unicode{x2013}$$22~\mathrm{keV}$ range. We also evaluated the quantum efficiency of the sensor, inferring a detection layer thickness of $2.67 \pm 0.48~{\rm \mu m}$. To develop a more sensitive polarimeter, a sensor with a thicker detection layer, smaller pixel size, and reduced thermal diffusion effect is desirable., Comment: 18 pages, 8 figures, 5 tables, accepted for publication in NIM-A

Blair, Campisi, Taylor, and Tomova defined the L-invariant L(F) of a knotted surface F, using pants complexes of trisection surfaces of bridge trisections of F. After that, Aranda, Pongtanapaisan, and Zhang introduced the L*-invariant L*(F) using dual curve complexes instead of pants complexes. In this paper, we determine both of L-invariant and L*-invariant of any finite distant sum of standard surfaces, and this is the first example of knotted surfaces whose bridge numbers and these invariants can be arbitrary large., Comment: 18 pages, 19 figures

We present HeI/H$\beta$-flux and He/H-abundance ratios in three JWST galaxies with significant constraints on N/O-abundance ratios, GS-NDG-9422, RXCJ2248-ID, and GLASS150008 at $z\sim 6$ mostly with the spectroscopic coverage from HeI$\lambda$4471 and HeII$\lambda$4686 to HeI$\lambda$7065, comparing with 68 local-dwarf galaxies. We find that these high-$z$ galaxies present strong HeI emission with HeI/H$\beta$ flux ratios generally larger than those of local-dwarf galaxies. We derive He/H with all of the detected HeI, HeII, and $2-3$ hydrogen Balmer lines in the same manner as the local He/H determination conducted for cosmology studies. These high-$z$ galaxies show He overabundance He/H$\gtrsim 0.10$ or high electron density $n_\mathrm{e}\sim 10^{3-4}$ cm$^{-3}$ much larger than local values at low O/H, $12+\log \mathrm{(O/H)}=7-8$. In contrast, we obtain low He/H and $n_\mathrm{e}$ values for our local-dwarf galaxies by the same technique with the same helium and hydrogen lines, and confirm that the difference between the high-$z$ and local-dwarf galaxies are not mimicked by systematics. While two scenarios of 1) He overabundance and 2) high electron density are not clearly concluded, we find that there is a positive correlation on the He/H-N/O or $n_\mathrm{e}$-N/O plane by the comparison of the high-$z$ and local-dwarf galaxies. The scenario 1) suggests that the overabundant helium and nitrogen are not explained by the standard chemical enrichment of core-collapse supernovae, but the CNO-cycle products and equilibrium ratios, respectively. The scenario 2) indicates that the strong helium lines are originated from the central dense clouds of the high-$z$ galaxies by excessive collisional excitation., Comment: 19 pages, 12 figures, accepted for publication in ApJ

The high-throughput calculation predicts that the Fe-based cubic ferromagnet Fe$_3$Si may exhibit a large anomalous Nernst effect (ANE). Here, we report our experimental observation of the large Nernst coefficient $S_{yx}\sim$2 $\mu$V/K and the transverse thermoelectric coefficient $-\alpha_{yx}$ $\sim$ 3 Am$^{-1}$K$^{-1}$ for Fe$_3$Si polycrystal at room temperature. The large $-\alpha_{yx}$ indicates that the large ANE originates from the intrinsic Berry curvature mechanism. The high Curie temperature of 840 K and the most abundant raw elements of Fe and Si make Fe$_3$Si a competitive candidate for Nernst thermoelectric generations., Comment: Accepted to Proceedings of the 15th Asia Pacific Physics Conference (APPC 15), Springer Nature

We investigate the dynamics of GN-z11, a luminous galaxy at $z=10.60$, carefully analyzing the public deep integral field spectroscopy (IFS) data taken with JWST NIRSpec IFU. While the observations of the IFS data originally targeted a He II clump near GN-z11, we find that CIII]$\lambda\lambda$1907,1909 emission from ionized gas at GN-z11 is bright and spatially extended significantly beyond the point-spread function (PSF). The spatially extended CIII emission of GN-z11 shows a velocity gradient, red- and blue-shifted components in the north and south directions, respectively, which cannot be explained by the variation of [CIII]$\lambda$1907/CIII]$\lambda$1909 line ratios. Assuming the velocity gradient is produced by disk rotation, we perform forward modeling with GalPak$^{3D}$, including the effects of PSF smearing and line blending, and obtain a rotation velocity of $v_{rot}=257^{+138}_{-117}$ km s$^{-1}$, a velocity dispersion of $\sigma_v=91^{+18}_{-32}$ km s$^{-1}$, and a ratio of $v_{rot}/\sigma_v=2.83^{+1.82}_{-1.41}$. The $v_{rot}/\sigma_v$ value would suggest a rotation-dominated disk existing at $z>10$ albeit with the large uncertainties. The rotation velocity agrees with those of numerical simulations predicting a rotating disk formed in the early universe under the condition of mass compaction and weak feedback. While the velocity gradient is consistent with the rotating disk solution, we recognize that galactic outflows can also explain the velocity gradient as well as the extended morphology and the high velocity dispersion found in the outskirt. Higher S/N and resolution data are necessary to conclude the physical origin of the velocity gradient in GN-z11., Comment: Accepted for publication in ApJ

Strongly magnetized, rapidly rotating massive white dwarfs (WDs) emerge as potential outcomes of double degenerate mergers. These WDs can act as sources of non-thermal emission and cosmic rays, gethering attention as WD pulsars. In this context, we studied the X-ray emissions from ZTF J190132.9+145808.7 (hereafter ZTF J1901+14), a notable massive isolated WD in the Galaxy, using the Chandra X-ray observatory. Our results showed 3.5sigma level evidence of X-ray signals, although it is marginal. Under the assumption of a photon index of 2, we derived its intrinsic flux to be 2.3 (0.9--4.7) $\times 10^{-15}$~erg~cm$^{-2}$s$^{-1}$ and luminosity 4.6 (2.0--9.5) $\times 10^{26}$~erg~s$^{-1}$ for a 0.5--7 keV band in the 90% confidence range, given its distance of 41 pc. We derived an X-ray efficiency (eta) concerning the spin-down luminosity to be 0.012 (0.0022--0.074), a value comparable to that of ordnary neutron star pulsars. The inferred X-ray luminosity may be compatible with curvature radiation from sub-TeV electrons accelerated within open magnetic fields in the magnetosphere of ZTF J1901+14. Conducting more extensive X-ray observations is crucial to confirm whether ZTF J1901+14-like isolated WDs are also significant sources of X-rays and sub-TeV electron cosmic rays, similar to other WD pulsars in accreting systems., Comment: 7 pages, 2 figures, PASJ, in press

We develop a high-throughput computational scheme based on cluster multipole theory to identify new functional antiferromagnets. This approach is applied to 228 magnetic compounds listed in the AtomWork-Adv database, known for their elevated N\'eel temperatures. We conduct systematic investigations of both stable and metastable magnetic configurations of these materials. Our findings reveal that 34 of these compounds exhibit antiferromagnetic structures with zero propagation vectors and magnetic symmetries identical to conventional ferromagnets, rendering them potentially invaluable for spintronics applications. By cross-referencing our predictions with the existing MAGNDATA database and published literature, we verify the reliability of our findings for 26 out of 28 compounds with partially or fully elucidated magnetic structures in the experiments. These results not only affirm the reliability of our scheme but also point to its potential for broader applicability in the ongoing quest for the discovery of new functional magnets.13, Comment: 13 pages, 1 figure

We investigate the physical origins of the Balmer decrement anomalies in GS-NDG-9422 (Cameron et al. 2023) and RXCJ2248-ID (Topping et al. 2024) galaxies at $z\sim 6$ whose $\mathrm{H}\alpha/\mathrm{H}\beta$ values are significantly smaller than $2.7$, the latter of which also shows anomalous $\mathrm{H}\gamma/\mathrm{H}\beta$ and $\mathrm{H}\delta/\mathrm{H}\beta$ values beyond the errors. Because the anomalous Balmer decrements are not reproduced under the Case B recombination, we explore the nebulae with the optical depths smaller and larger than the Case B recombination by physical modeling. We find two cases quantitatively explaining the anomalies; 1) density-bounded nebulae that are opaque only up to around Ly$\gamma$-Ly8 transitions and 2) ionization-bounded nebulae partly/fully surrounded by optically-thick excited H{\sc i} clouds. The case of 1) produces more H$\beta$ photons via Ly$\gamma$ absorption in the nebulae, requiring fine tuning in optical depth values, while this case helps ionizing photon escape for cosmic reionization. The case of 2) needs the optically-thick excited H{\sc i} clouds with $N_2\simeq 10^{12}-10^{13}$ $\mathrm{cm^{-2}}$, where $N_2$ is the column density of the hydrogen atom with the principal quantum number of $n=2$. Interestingly, the high $N_2$ values qualitatively agree with the recent claims for GS-NDG-9422 with the strong nebular continuum requiring a number of $2s$-state electrons and for RXCJ2248-ID with the dense ionized regions likely coexisting with the optically-thick clouds. While the physical origin of the optically-thick excited H{\sc i} clouds is unclear, these results may suggest gas clouds with excessive collisional excitation caused by an amount of accretion and supernovae in the high-$z$ galaxies., Comment: 13 pages, 7 figures, accepted for publication in ApJ

The Crab Nebula, also known as Tau A, is a polarized astronomical source at millimeter wavelengths. It has been used as a stable light source for polarization angle calibration in millimeter-wave astronomy. However, it is known that its intensity and polarization vary as a function of time at a variety of wavelengths. Thus, it is of interest to verify the stability of the millimeter-wave polarization. If detected, polarization variability may be used to better understand the dynamics of Tau~A, and for understanding the validity of Tau~A as a calibrator. One intriguing application of such observation is to use it for the search of axion-like particles (ALPs). Ultralight ALPs couple to photons through a Chern-Simons term, and induce a temporal oscillation in the polarization angle of linearly polarized sources. After assessing a number of systematic errors and testing for internal consistency, we evaluate the variability of the polarization angle of the Crab Nebula using 2015 and 2016 observations with the 150 GHz POLARBEAR instrument. We place a median 95% upper bound of polarization oscillation amplitude $A < 0.065^\circ$ over the oscillation frequencies from $0.75~\mathrm{year}^{-1}$ to $0.66~\mathrm{hour}^{-1}$. Assuming that no sources other than ALP are causing Tau A's polarization angle variation, that the ALP constitutes all the dark matter, and that the ALP field is a stochastic Gaussian field, this bound translates into a median 95% upper bound of ALP-photon coupling $g_{a\gamma\gamma} < 2.16\times10^{-12}\,\mathrm{GeV}^{-1}\times(m_a/10^{-21} \mathrm{eV})$ in the mass range from $9.9\times10^{-23} \mathrm{eV}$ to $7.7\times10^{-19} \mathrm{eV}$. This demonstrates that this type of analysis using bright polarized sources is as competitive as those using the polarization of cosmic microwave background in constraining ALPs., Comment: 24 pages, 19 figures, 5 tables

The electronic structure of compensated antiferromagnets (CAF) has drawn attention for its ability to create large responses, reminiscent of ferromagnets and suitable for data storage and readout, despite (nearly) net-zero spontaneous magnetization. Many of the striking experimental signatures predicted for CAF, such as giant thermoelectric Nernst effects, are enhanced when two or more electronic bands are nearly degenerate in vicinity of the Fermi energy. Here, we use thermoelectric and electric transport experiments to study the electronic structure of the layered, chiral metal CoNb3S6 in its all-in-all-out CAF ground state and report near-degeneracies of electron bands at the upper and lower boundaries of the first Brillouin zone. Considering non-symmorphic spin-space group symmetries in the non-relativistic approximation for the ordered phase, these near-degeneracies are approximately protected by a lattice translation combined with spin rotation, and are vestiges of nodal planes enforced by a screw axis symmetry in the paramagnetic state. Hot spots of emergent, or fictitious, magnetic fields are formed at the slightly gapped nodal plane, generating the spontaneous Hall and Nernst effects in this CAF. Taking into account more than six hundred Wannier orbitals, our model quantitatively reproduces the observed spontaneous Nernst effect, emphasizes the role of proximate symmetries in the emergent responses of CAF, and demonstrates the promise of ab-initio search for functional responses in a wide class of materials with reconstructed unit cells due to spin or charge order.

System logs are some of the most important information for the maintenance of software systems, which have become larger and more complex in recent years. The goal of log-based anomaly detection is to automatically detect system anomalies by analyzing the large number of logs generated in a short period of time, which is a critical challenge in the real world. Previous studies have used a log parser to extract templates from unstructured log data and detect anomalies on the basis of patterns of the template occurrences. These methods have limitations for logs with unknown templates. Furthermore, since most log anomalies are known to be point anomalies rather than contextual anomalies, detection methods based on occurrence patterns can cause unnecessary delays in detection. In this paper, we propose LogELECTRA, a new log anomaly detection model that analyzes a single line of log messages more deeply on the basis of self-supervised anomaly detection. LogELECTRA specializes in detecting log anomalies as point anomalies by applying ELECTRA, a natural language processing model, to analyze the semantics of a single line of log messages. LogELECTRA outperformed existing state-of-the-art methods in experiments on the public benchmark log datasets BGL, Sprit, and Thunderbird.

We study model theoretic characterizations of various collection schemes over $\mathbf{PA}^-$ from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any $n \geq 0$ and $M \models \mathbf{PA}^-$, the following are equivalent: 1. $M$ satisfies the collection scheme for $\Sigma_{n+1}$ formulas. 2. For any $K, N \models \mathbf{PA}^-$, if $M \subseteq_{\mathrm{cof}} K$, $M \prec_{\Delta_0} K$ and $M \prec N$, then $M \prec_{\Sigma_{n+2}} K$ and $\sup_N(M) \prec_{\Sigma_n} N$. 3. For any $N \models \mathbf{PA}^-$, if $M \prec N$, then $M \prec_{\Sigma_{n+2}} \sup_N(M) \prec_{\Sigma_{n}} N$. Here, $\sup_N(M)$ is the unique $K$ satisfying $M \subseteq_{\mathrm{cof}} K \subseteq_{\mathrm{end}} N$. We also investigate strong collection schemes and parameter-free collection schemes from the similar perspective., Comment: 23 pages