title: Integer Programming with GCD Constraints

abstract: We study the non-linear extension of integer programming with greatest common divisor constraints of the form $\gcd(f,g) \sim d$, where $f$ and $g$ are linear polynomials, $d$ is a positive integer, and $\sim$ is a relation among $\leq, =, \neq$ and $\geq$. We show that the feasibility problem for these systems is in NP, and that an optimal solution minimizing a linear objective function, if it exists, has polynomial bit length. To show these results, we identify an expressive fragment of the existential theory of the integers with addition and divisibility that admits solutions of polynomial bit length. It was shown by Lipshitz [Trans. Am. Math. Soc., 235, pp. 271-283, 1978] that this theory adheres to a local-to-global principle in the following sense: a formula $\Phi$ is equi-satisfiable with a formula $\Psi$ in this theory such that $\Psi$ has a solution if and only if $\Psi$ has a solution modulo every prime $p$. We show that in our fragment, only a polynomial number of primes of polynomial bit length need to be considered, and that the solutions modulo prime numbers can be combined to yield a solution to $\Phi$ of polynomial bit length. As a technical by-product, we establish a Chinese-remainder-type theorem for systems of congruences and non-congruences showing that solution sizes do not depend on the magnitude of the moduli of non-congruences.


title: Investigation of the Bending Behavior in Silicon Nanowires: A Nanomechanical Modeling Perspective

abstract: Nanowires play a pivotal role across a spectrum of disciplines such as nanoelectromechanical systems, nanoelectronics, and energy applications. As nanowires continue to diminish in dimensions, their mechanical characteristics are increasingly influenced by surface attributes. This research delves into the elastic properties of silicon nanowires, which vary in dimensions and crystal orientations, employing diverse nanomechanical models. Through molecular dynamics simulations and the application of five models namely, Heidelberg, Hudson, Zhan, SimpZP, and ExtZP, the analysis of force-deflection responses reveals the intricate interplay among elastic properties, crystal orientation, and the chosen model. To accurately account for unreconstructed states, surface properties are examined for different silicon surface orientations. Each crystal orientation exhibits distinct trends, with surface properties showing a substantial influence on estimated elasticity. A thorough grasp of surface effects and anisotropic properties is crucial for unraveling nanowire mechanics. This study drives both the understanding of size-dependent behaviors and the enhancement of insights into nanoscale surface characteristics of silicon nanowires.


title: LLPNet: Graph Autoencoder for Triggering Light Long-Lived Particles at HL-LHC

abstract: In the search for exotic events involving displaced particles at HL-LHC, the triggering at the level-1 (L1) system will pose a significant challenge. This is particularly relevant in scenarios where low mass long-lived particles (LLPs) are coupled to a Standard Model (SM)-like 125 GeV Higgs boson and they decay into jets. The complexity arises from the low hadronic activity resulting from LLP decay, and the existing triggers' inability to efficiently select displaced events. This study introduces a novel machine learning approach to address this challenge, utilizing a lightweight autoencoder architecture designed for low latency requirements at L1. Focusing on light LLPs with decay lengths ranging from 1 to 100 cm, this approach employs "Edge convolution" on L1 reconstructed tracks. The results show notable signal acceptance at the permissible background rate, primarily originating from minimum bias and QCD di-jet events. For LLPs of mass 10, 30, and 50 GeV at decay length of 5 cm, the signal efficiencies are 33%, 70%, and 80%, respectively. At a 50 cm decay length, these efficiencies are 20%, 39%, and 45% for the same respective masses.


title: Is Deep Learning Network Necessary for Image Generation?

abstract: Recently, images are considered samples from a high-dimensional distribution, and deep learning has become almost synonymous with image generation. However, is a deep learning network truly necessary for image generation? In this paper, we investigate the possibility of image generation without using a deep learning network, motivated by validating the assumption that images follow a high-dimensional distribution. Since images are assumed to be samples from such a distribution, we utilize the Gaussian Mixture Model (GMM) to describe it. In particular, we employ a recent distribution learning technique named as Monte-Carlo Marginalization to capture the parameters of the GMM based on image samples. Moreover, we also use the Singular Value Decomposition (SVD) for dimensionality reduction to decrease computational complexity. During our evaluation experiment, we first attempt to model the distribution of image samples directly to verify the assumption that images truly follow a distribution. We then use the SVD for dimensionality reduction. The principal components, rather than raw image data, are used for distribution learning. Compared to methods relying on deep learning networks, our approach is more explainable, and its performance is promising. Experiments show that our images have a lower FID value compared to those generated by variational auto-encoders, demonstrating the feasibility of image generation without deep learning networks.


title: Block Chain in the IoT industry: A Systematic Literature Review

abstract: The possibility of block chain innovation revolutionizing business operations and interpersonal interactions in Industry 4.0 is becoming more widely acknowledged. Industry 4.0 and the Industrial Internet of Things (IoT) are among the new application fields. As a result, the purpose of this article is to investigate the block chain applications that are already being used in IoT and Industry 4.0. In particular, it looks at current research trends in various IoT applications, addressing problems, concerns, and potential future uses of integrating block chain technology. This article also includes a thorough discussion of the key elements of block chain databases, including Merkle trees, transaction management, sharding, long-term memory, and short-term memory. In order to do this, more than 46 pertinent primary research that have been published in reputable journals have been chosen for additional examination. The workflow of a block chain network utilizing IoT is also demonstrated, demonstrating how IoT devices communicate with one another and how they contribute to the network's overall operation. The taxonomy diagram below serves to illustrate the contribution.


title: Lava planets interior dynamics govern the long-term evolution of their magma oceans

abstract: Lava planets are rocky exoplanets that orbit so close to their host star that their day-side is hot enough to melt silicate rock. Their short orbital periods ensure that lava planets are tidally locked into synchronous rotation, with permanent day and night hemispheres. Such asymmetric magma oceans have no analogs in the Solar System and will exhibit novel fluid dynamics. Here we report numerical simulations of lava planet interiors showing that solid-liquid fractionation in the planetary interior has a major impact on the compositional structure and evolution of the planet. We explored two styles of dynamics that depend primarily on the interior thermal state : 1) a hot fully molten interior, and 2) a mostly solid interior with a shallow day-side magma ocean. In the hot interior scenario, the atmosphere reflects the planet's bulk silicate composition and the night-side crust is gravitationally unstable and constantly replenished. In the cool interior scenario, the distilled atmosphere will lack Na, K and FeO, and the night-side mantle is entirely solid, with a cold surface. These two end-member cases can be distinguished with observations from the James Webb Space Telescope, offering an avenue to probe the diversity of terrestrial exoplanet evolutions.


title: Alternative quadrant representations with Morton index and AVX2 vectorization for AMR algorithms within the p4est software library

abstract: We present a technical enhancement within the p4est software for parallel adaptive mesh refinement. In p4est primitives are stored as octants in three and quadrants in two dimensions. While, classically, they are encoded by the native approach using its spatial and refinement level, any other mathematically equivalent encoding might be used instead. Recognizing this, we add two alternative representations to the classical, explicit version, based on a long monotonic index and 128-bit AVX quad integers, respectively. The first one requires changes in logic for low-level quadrant manipulating algorithms, while the other exploits data level parallelism and requires algorithms to be adapted to SIMD instructions. The resultant algorithms and data structures lead to higher performance and lesser memory usage in comparison with the standard baseline. We benchmark selected algorithms on a cluster with two Intel(R) Xeon(R) Gold 6130 Skylake family CPUs per node, which provides support for AVX2 extensions, 192 GB RAM per node, and up to 512 computational cores in total.


title: Channel Estimation in RIS-Enabled mmWave Wireless Systems: A Variational Inference Approach

abstract: Channel estimation in reconfigurable intelligent surfaces (RIS)-aided systems is crucial for optimal configuration of the RIS and various downstream tasks such as user localization. In RIS-aided systems, channel estimation involves estimating two channels for the user-RIS (UE-RIS) and RIS-base station (RIS-BS) links. In the literature, two approaches are proposed: (i) cascaded channel estimation where the two channels are collapsed into a single one and estimated using training signals at the BS, and (ii) separate channel estimation that estimates each channel separately either in a passive or semi-passive RIS setting. In this work, we study the separate channel estimation problem in a fully passive RIS-aided millimeter-wave (mmWave) single-user single-input multiple-output (SIMO) communication system. First, we adopt a variational-inference (VI) approach to jointly estimate the UE-RIS and RIS-BS instantaneous channel state information (I-CSI). In particular, auxiliary posterior distributions of the I-CSI are learned through the maximization of the evidence lower bound. However, estimating the I-CSI for both links in every coherence block results in a high signaling overhead to control the RIS in scenarios with highly mobile users. Thus, we extend our first approach to estimate the slow-varying statistical CSI of the UE-RIS link overcoming the highly variant I-CSI. Precisely, our second method estimates the I-CSI of RIS-BS channel and the UE-RIS channel covariance matrix (CCM) directly from the uplink training signals in a fully passive RIS-aided system. The simulation results demonstrate that using maximum a posteriori channel estimation using the auxiliary posteriors can provide a capacity that approaches the capacity with perfect CSI.


title: Signs of a non-zero equation-of-state for Dark Matter

abstract: We demonstrate how a changing and negative equation-of-state (EoS) for dark matter can alleviate cosmic tensions and explain the integrated Sachs-Wolfe (ISW) void anomaly. We discuss the effect of the model on the cosmic expansion history, growth of structure and the ISW. We show that a negative EoS at late times is able to produce a larger Hubble constant and smaller $\sigma_{8}$, which can explain both cosmological tensions. Furthermore, the model uniquely predicts larger ISW at low redshift, a prediction which is in agreement with observations of larger ISW from voids. The preference for a negative EoS for dark matter at late times is indicative of a unified dark sector and degenerate with models of dark matter and dark energy interaction. Future measurements of the ISW from cosmic voids can provide a unique test for this solution to tensions in cosmology, should they continue to persist.


title: Exponential mixing for singular skew-products

abstract: We study skew-products of the form $(x,u) \mapsto (fx, u + \varphi(x))$ where $f$ is a non-uniformly expanding map on a manifold $X$ and $\varphi: X \to \mathbb{S}^1$ is piecewise $\mathcal{C}^1$. If the systems satisfies mild assumptions (in particular singular behaviour of $\varphi$ is permitted) then we prove that the map mixes exponentially with respect to the unique SRB measure. This extends previous results by allowing singular behaviour in the fibre map.


title: A new symmetry theory for non-Hermitian Hamiltonians

abstract: The {\eta} pseudo PT symmetry theory, denoted by the symbol {\eta}, explores the conditions under which non-Hermitian Hamiltonians can possess real spectra despite the violation of PT symmetry, that is the adjoint of H, denoted H^{{\dag}} is expressed as H^{{\dag}}=PTHPT. This theory introduces a new symmetry operator, {\eta}=PT{\eta}, which acts on the Hilbert space. The {\eta} pseudo PT symmetry condition requires the Hamiltonian to commute with the {\eta} operator, leading to real eigenvalues. We discuss some general implications of our results for the coupled non hermitian harmonic oscillator.


title: Tuning the Curie temperature of a 2D magnet/topological insulator heterostructure to above room temperature by epitaxial growth

abstract: Heterostructures of two-dimensional (2D) van der Waals (vdW) magnets and topological insulators (TI) are of substantial interest as candidate materials for efficient spin-torque switching, quantum anomalous Hall effect, and chiral spin textures. However, since many of the vdW magnets have Curie temperatures below room temperature, we want to understand how materials can be modified to stabilize their magnetic ordering to higher temperatures. In this work, we utilize molecular beam epitaxy to systematically tune the Curie temperature ($T_C$) in thin film Fe$_3$GeTe$_2$/Bi$_2$Te$_3$ from bulk-like values ($\sim$220 K) to above room temperature by increasing the growth temperature from 300 $^\circ$C to 375 $^\circ$C. For samples grown at 375 $^\circ$C, cross-sectional scanning transmission electron microscopy (STEM) reveals the spontaneous formation of different Fe$_m$Ge$_n$Te$_2$ compositions (e.g. Fe$_5$Ge$_2$Te$_2$ and Fe$_7$Ge$_6$Te$_2$) as well as intercalation in the vdW gaps, which are possible origins of the enhanced Curie temperature. This observation paves the way for developing various Fe$_m$Ge$_n$Te$_2$/TI heterostructures with novel properties.


title: Thermal properties of the leading hemisphere of Callisto inferred from ALMA observations

abstract: We present a thermal observation of Callisto's leading hemisphere obtained using the Atacama Large Millimeter/submillimeter Array (ALMA) at 0.87 mm (343 GHz). The angular resolution achieved for this observation was $\sim$$0.16^{\prime\prime}$, which for Callisto at the time of this observation ($D\sim 1.05^{\prime\prime}$) was equivalent to $\sim$6 elements across the surface. Our disk-integrated brightness temperature of 116 $\pm$ 5 K (8.03 $\pm$ 0.40 Jy) is consistent with prior disk-integrated observations. Global surface properties were derived from the observation using a thermophysical model (de Kleer et al. 2021) constrained by spacecraft data. We find that models parameterized by two thermal inertia components more accurately fit the data than single thermal inertia models. Our best-fit global parameters adopt a lower thermal inertia of 15-50 $\text{J}\:\text{m}^{-2}\:\text{K}^{-1}\:\text{s}^{-1/2}$ and a higher thermal inertia component of 1200-2000 $\text{J}\:\text{m}^{-2}\:\text{K}^{-1}\:\text{s}^{-1/2}$, with retrieved millimeter emissivities of 0.89-0.91. We identify several thermally anomalous regions, including spots $\sim$3 K colder than model predictions co-located with the Valhalla impact basin and a complex of craters in the southern hemisphere; this indicates the presence of materials possessing either a higher thermal inertia or a lower emissivity. A warm region confined to the mid-latitudes in these leading hemisphere data may be indicative of regolith property changes due to exogenic sculpting.


title: Detection of atmospheric species and dynamics in the bloated hot Jupiter WASP-172~b with ESPRESSO

abstract: The population of strongly irradiated Jupiter-sized planets has no equivalent in the Solar System. It is characterised by strongly bloated atmospheres and atmospheric large-scale heights. Recent space-based observations of SO2 photochemistry demonstrated the knowledge that can be gained from detailed atmospheric studies of these unusual planets about Earth's uniqueness. Aims. Here we explore the atmosphere of WASP-172b a similar planet in temperature and bloating to the recently studied HD~149026~b. In this work, we characterise the atmospheric composition and subsequently the atmospheric dynamics of this prime target. Methods. We observed a particular transit of WASP-172b in front of its host star with ESO's ESPRESSO spectrograph and analysed the spectra obtained before during and after transit. Results. We detect the absorption of starlight by WASP-172b's atmosphere by sodium (5.6sigma), hydrogen (19.5sigma) and obtained a tentative detection of iron (4.1sigma). We detect strong - yet varying - blue shifts, relative to the planetary rest frame, of all of these absorption features. This allows for a preliminary study of the atmospheric dynamics of WASP-172b. Conclusions. With only one transit, we were able to detect a wide variety of species, clearly tracking different atmospheric layers with possible jets. WASP-172b is a prime follow-up target for a more in-depth characterisation both for ground and space-based observatories. If the detection of Fe is confirmed, this may suggest that radius inflation is an important determinant for the detectability of Fe in hot Jupiters, as several non-detections of Fe have been published for planets that are hotter but less inflated than WASP-172b.


title: CVNN-based Channel Estimation and Equalization in OFDM Systems Without Cyclic Prefix

abstract: In modern communication systems operating with Orthogonal Frequency-Division Multiplexing (OFDM), channel estimation requires minimal complexity with one-tap equalizers. However, this depends on cyclic prefixes, which must be sufficiently large to cover the channel impulse response. Conversely, the use of cyclic prefix (CP) decreases the useful information that can be conveyed in an OFDM frame, thereby degrading the spectral efficiency of the system. In this context, we study the impact of CPs on channel estimation with complex-valued neural networks (CVNNs). We show that the phase-transmittance radial basis function neural network offers superior results, in terms of required energy per bit, compared to classical minimum mean-squared error and least squares algorithms in scenarios without CP.


title: Field Testing of Residential Bidirectional Electric Vehicle Charger for Power System Applications

abstract: Bidirectional electric vehicle (EV) charging is a technology that is gaining rapid popularity due to its ability to provide economic and environmental benefits to both EV owners and power system operators (PSOs). Using the EV as a flexible source of energy, an EV owner can provide power to homes/buildings, or even participate in grid services such as demand response and frequency regulation. However, there is a lack of real-world testing and validation for bidirectional charging technology, particularly in the residential segment. As such, this paper presents real-world field testing of a bidirectional EV charger deployed in a home. Control software is developed to dispatch the EV according to static setpoints, as well as automated load following, and its accuracy and responsiveness is reported on. The results of the testing with the charger and 2019 Nissan Leaf combination indicates a responsiveness of 6-8 seconds and accuracy of over 99%, which suggests feasible participation for applications such as load following, arbitrage, and demand response.


title: Quantum friction for a scalar model: spatial dependence and higher orders

abstract: We use a perturbative approach to evaluate transition amplitudes corresponding to quantum friction, for a scalar model describing an atom which moves at a constant velocity, close to a material plane. In particular, we present results on the probability density per unit time of exciting degrees of freedom on specific regions of the plane. This allows one to know spatial features of the effect which could have practical relevance, for instance, for the design of nanodevices.


title: SAGE: A Storage-Based Approach for Scalable and Efficient Sparse Generalized Matrix-Matrix Multiplication

abstract: Sparse generalized matrix-matrix multiplication (SpGEMM) is a fundamental operation for real-world network analysis. With the increasing size of real-world networks, the single-machine-based SpGEMM approach cannot perform SpGEMM on large-scale networks, exceeding the size of main memory (i.e., not scalable). Although the distributed-system-based approach could handle large-scale SpGEMM based on multiple machines, it suffers from severe inter-machine communication overhead to aggregate results of multiple machines (i.e., not efficient). To address this dilemma, in this paper, we propose a novel storage-based SpGEMM approach (SAGE) that stores given networks in storage (e.g., SSD) and loads only the necessary parts of the networks into main memory when they are required for processing via a 3-layer architecture. Furthermore, we point out three challenges that could degrade the overall performance of SAGE and propose three effective strategies to address them: (1) block-based workload allocation for balancing workloads across threads, (2) in-memory partial aggregation for reducing the amount of unnecessarily generated storage-memory I/Os, and (3) distribution-aware memory allocation for preventing unexpected buffer overflows in main memory. Via extensive evaluation, we verify the superiority of SAGE over existing SpGEMM methods in terms of scalability and efficiency.


title: Inter-Particle Correlations in the Dissipative Phase Transition of a Collective Spin Model

abstract: In open quantum systems undergoing phase transitions, the intricate interplay between unitary and dissipative processes leaves many information-theoretic properties opaque. We are here interested in interparticle correlations within such systems, specifically examining quantum entanglement, quantum discord, and classical correlation within the steady state of a driven-dissipative collective spin model. This model is renowned for, counterintuitively, its transition from a high-purity to a low-purity state with decreasing dissipation. Our investigation, rooted in numerical analysis using PPT criteria, underscores that entanglement reaches its zenith precisely at the phase transition juncture. Intriguingly, even within the mesoscopic scale near the transition point, entanglement endures across both phases, despite the open nature of the model. Notably, when employing traditional pairwise entanglement measures tailored to this model, detecting entanglement in the low-purity phase has proven elusive. In stark contrast, quantum discord and its variations chart an alternate trajectory, ascending monotonically as the system progresses into the low-purity phase. Consequently, lowered dissipation amplifies quantum correlation, yet it engenders entanglement solely in proximity to the transition point.


title: HiFiHR: Enhancing 3D Hand Reconstruction from a Single Image via High-Fidelity Texture

abstract: We present HiFiHR, a high-fidelity hand reconstruction approach that utilizes render-and-compare in the learning-based framework from a single image, capable of generating visually plausible and accurate 3D hand meshes while recovering realistic textures. Our method achieves superior texture reconstruction by employing a parametric hand model with predefined texture assets, and by establishing a texture reconstruction consistency between the rendered and input images during training. Moreover, based on pretraining the network on an annotated dataset, we apply varying degrees of supervision using our pipeline, i.e., self-supervision, weak supervision, and full supervision, and discuss the various levels of contributions of the learned high-fidelity textures in enhancing hand pose and shape estimation. Experimental results on public benchmarks including FreiHAND and HO-3D demonstrate that our method outperforms the state-of-the-art hand reconstruction methods in texture reconstruction quality while maintaining comparable accuracy in pose and shape estimation. Our code is available at https://github.com/viridityzhu/HiFiHR.


title: On an adjustment to the Fowler equation

abstract: Following closely the analysis performed by Andrew C. Fowler to derive the first canonical equation for nonlinear dune dynamics, but considering some appropriate changes of variables, suitable scalings, and by neglecting higher order terms, we obtain an adaptation of the aforementioned equation, which contains an additional term, to describe dune morphodynamics.


title: Degrees of Freedom: Search Cost and Self-consistency

abstract: Model degrees of freedom ($\df$) is a fundamental concept in statistics because it quantifies the flexibility of a fitting procedure and is indispensable in model selection. The $\df$ is often intuitively equated with the number of independent variables in the fitting procedure. But for adaptive regressions that perform variable selection (e.g., the best subset regressions), the model $\df$ is larger than the number of selected variables. The excess part has been defined as the \emph{search degrees of freedom} ($\sdf$) to account for model selection. However, this definition is limited since it does not consider fitting procedures in augmented space, such as splines and regression trees; and it does not use the same fitting procedure for $\sdf$ and $\df$. For example, the lasso's $\sdf$ is defined through the \emph{relaxed} lasso's $\df$ instead of the lasso's $\df$. Here we propose a \emph{modified search degrees of freedom} ($\msdf$) to directly account for the cost of searching in the original or augmented space. Since many fitting procedures can be characterized by a linear operator, we define the search cost as the effort to determine such a linear operator. When we construct a linear operator for the lasso via the iterative ridge regression, $\msdf$ offers a new perspective for its search cost. For some complex procedures such as the multivariate adaptive regression splines (MARS), the search cost needs to be pre-determined to serve as a tuning parameter for the procedure itself, but it might be inaccurate. To investigate the inaccurate pre-determined search cost, we develop two concepts, \emph{nominal} $\df$ and \emph{actual} $\df$, and formulate a property named \emph{self-consistency} when there is no gap between the \emph{nominal} $\df$ and the \emph{actual} $\df$.


title: Exploring the Origin of the Distance Bimodality of Stars in the Periphery of the Small Magellanic Cloud with APOGEE and Gaia

abstract: The Magellanic Cloud system represents a unique laboratory for study of both interacting dwarf galaxies and the ongoing process of the formation of the Milky Way and its halo. We focus on one aspect of this complex, 3 body interaction - the dynamical perturbation of the Small Magellanic Cloud (SMC) by the Large Magellanic Cloud (LMC), and specifically potential tidal effects on the SMC's eastern side. Using Gaia astrometry and the precise radial velocities and multi-element chemical abundances from APOGEE-2 DR17, we explore the well-known distance bimodality on the eastern side of the SMC. Through estimated stellar distances, proper motions, and radial velocities, we characterize the kinematics of the two populations in the bimodality and compare their properties with those of SMC populations elsewhere. Moreover, while all regions explored by APOGEE seem to show a single chemical enrichment history, the metallicity distribution function (MDF), of the "far" stars on the eastern periphery of the SMC is found to resemble that for the more metal-poor fields of the western periphery, whereas the MDF for the "near" stars on the eastern periphery resembles that for stars in the SMC center. The closer eastern periphery stars also show radial velocities (corrected for SMC rotation and bulk motion) that are, on average, approaching us relative to all other SMC populations sampled. We interpret these trends as evidence that the near stars on the eastern side of the SMC represent material pulled out of the central SMC as part of its tidal interaction with the LMC.


title: ChainedFilter: Combining Membership Filters by Chain Rule

abstract: Membership (membership query / membership testing) is a fundamental problem across databases, networks and security. However, previous research has primarily focused on either approximate solutions, such as Bloom Filters, or exact methods, like perfect hashing and dictionaries, without attempting to develop a an integral theory. In this paper, we propose a unified and complete theory, namely chain rule, for general membership problems, which encompasses both approximate and exact membership as extreme cases. Building upon the chain rule, we introduce a straightforward yet versatile algorithm framework, namely ChainedFilter, to combine different elementary filters without losing information. Our evaluation results demonstrate that ChainedFilter performs well in many applications: (1) it requires only 26% additional space over the theoretical lower bound for implicit static dictionary, (2) it requires only 0.22 additional bit per item over the theoretical lower bound for lossless data compression, (3) it reduces up to 31% external memory access than raw Cuckoo Hashing, (4) it reduces up to 36% P99 tail point query latency than Bloom Filter under the same space cost in RocksDB database, and (5) it reduces up to 99.1% filter space than original Learned Bloom Filter.


title: Adaptive whitening with fast gain modulation and slow synaptic plasticity

abstract: Neurons in early sensory areas rapidly adapt to changing sensory statistics, both by normalizing the variance of their individual responses and by reducing correlations between their responses. Together, these transformations may be viewed as an adaptive form of statistical whitening. Existing mechanistic models of adaptive whitening exclusively use either synaptic plasticity or gain modulation as the biological substrate for adaptation; however, on their own, each of these models has significant limitations. In this work, we unify these approaches in a normative multi-timescale mechanistic model that adaptively whitens its responses with complementary computational roles for synaptic plasticity and gain modulation. Gains are modified on a fast timescale to adapt to the current statistical context, whereas synapses are modified on a slow timescale to match structural properties of the input statistics that are invariant across contexts. Our model is derived from a novel multi-timescale whitening objective that factorizes the inverse whitening matrix into basis vectors, which correspond to synaptic weights, and a diagonal matrix, which corresponds to neuronal gains. We test our model on synthetic and natural datasets and find that the synapses learn optimal configurations over long timescales that enable adaptive whitening on short timescales using gain modulation.


title: Helical magnetic state in the vicinity of the pressure-induced superconducting phase in MnP

abstract: MnP is a metal that shows successive magnetic transitions from paramagnetic to ferromagnetic and helical magnetic phases at ambient pressure with decreasing temperature. With applied pressure, the magnetic transition temperatures decrease and superconductivity appears around 8 GPa where the magnetic order is fully suppressed and the quantum critical behavior is observed. These results suggest that MnP is an unconventional superconductor in which magnetic fluctuations may be relevant to the superconducting pairing mechanism. In order to elucidate the magnetic ground state adjacent to the superconducting phase first discovered in Mn-based materials, high-pressure neutron diffraction measurements have been performed in hydrostatic pressure up to 7.5 GPa. The helical magnetic structure with the propagation vector along the $b$ axis, reported previously at 3.8 GPa, was found to be robust up to 7.5 GPa. First principles and classical Monte Carlo calculations have also been performed to understand how the pressure-driven magnetic phase transitions are coupled with change of the exchange interactions. The calculations, which qualitatively reproduce the magnetic structures as a function of pressure, suggest that the exchange interactions change drastically with applied pressure and the further-neighbor interactions become more influential at high pressures. Combining the experimental and theoretical results, we describe the detail of exchange interactions in the vicinity of the superconducting phase which is critical to understand the pairing mechanism of the unconventional superconductivity in MnP.


title: Letter-braiding: a universal bridge between combinatorial group theory and topology

abstract: We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide with coefficients in the Magnus expansion. In contrast with such coefficients, our invariants are defined on all groups and over any PID. They respect products in the group and are complete with respect to the dimension series, so serve as the coefficients of a universal multiplicative finite-type invariant, depending functorially on the group. Letter-braiding invariants arise out of analyzing the bar construction on a cochain model of a space with a prescribed fundamental group. This approach specializes to simplicial presentations of a group as well as to more geometric contexts, which we illustrate. As an application, we define a Johnson style filtration and a Johnson homomorphism on the automorphisms of any group, and use it to constrain automorphisms of finite $p$-groups.


title: Non-parametric learning critical behavior in Ising partition functions: PCA entropy and intrinsic dimension

abstract: We provide and critically analyze a framework to learn critical behavior in classical partition functions through the application of non-parametric methods to data sets of thermal configurations. We illustrate our approach in phase transitions in 2D and 3D Ising models. First, we extend previous studies on the intrinsic dimension of 2D partition function data sets, by exploring the effect of volume in 3D Ising data. We find that as opposed to 2D systems for which this quantity has been successfully used in unsupervised characterizations of critical phenomena, in the 3D case its estimation is far more challenging. To circumvent this limitation, we then use the principal component analysis (PCA) entropy, a "Shannon entropy" of the normalized spectrum of the covariance matrix. We find a striking qualitative similarity to the thermodynamic entropy, which the PCA entropy approaches asymptotically. The latter allows us to extract -- through a conventional finite-size scaling analysis with modest lattice sizes -- the critical temperature with less than $1\%$ error for both 2D and 3D models while being computationally efficient. The PCA entropy can readily be applied to characterize correlations and critical phenomena in a huge variety of many-body problems and suggests a (direct) link between easy-to-compute quantities and entropies.


title: Strain Engineering for High-Performance Phase Change Memristors

abstract: A new mechanism for memristive switching in 2D materials is through electric-field controllable electronic/structural phase transitions, but these devices have not outperformed status quo 2D memristors. Here, we report a high-performance bipolar phase change memristor from strain engineered multilayer 1T'-MoTe$_{2}$ that now surpasses the performance metrics (on/off ratio, switching voltage, switching speed) of all 2D memristive devices, achieved without forming steps. Using process-induced strain engineering, we directly pattern stressed metallic contacts to induce a semimetallic to semiconducting phase transition in MoTe2 forming a self-aligned vertical transport memristor with semiconducting MoTe$_{2}$ as the active region. These devices utilize strain to bring them closer to the phase transition boundary and achieve ultra-low ~90 mV switching voltage, ultra-high ~10$^8$ on/off ratio, 5 ns switching, and retention of over 10$^5$ s. Engineered tunability of the device switching voltage and on/off ratio is also achieved by varying the single process parameter of contact metal film force (film stress $\times$ film thickness).


title: HH 80/81: Structure and Kinematics of the Fastest Protostellar Outflow

abstract: Hubble Space Telescope images obtained in 2018 are combined with archival HST data taken in 1995 to detect changes and measure proper motions in the HH 80/81 shock complex which is powered by the fastest known jet driven by a forming star, the massive object IRAS 18162-2048. Some persistent features close to the radio jet axis have proper motions grater than 1,000 km/s away from IRAS 18162-2048. About 3 to 5 parsecs downstream from the IRAS source and beyond HH 80/81, H-alpha emission traces the rim of a parsec-scale bubble blown by the jet. Lower speed motions are seen in [Sii] away from the jet axis; these features have a large component of motion at right-angles to the jet. We identify new HH objects and H2 shocks in the counterflow opposite HH 80/81. The northeastern counterflow to HH 80/81 exhibits an extended but faint complex of 2.12 um H2 shocks. The inner portion of the outflow is traced by dim 1.64 um [Feii] emission. The full extent of this outflow is at least 1,500" (about 10 pc in projection at a distance of 1.4 kpc). We speculate about the conditions responsible for the production of the ultra-fast jet and the absence of prominent large-scale molecular outflow lobes.


title: Cubic graphs with colouring defect 3

abstract: The colouring defect of a cubic graph is the smallest number of edges left uncovered by any set of three perfect matchings. While $3$-edge-colourable graphs have defect $0$, those that cannot be $3$-edge-coloured (that is, snarks) are known to have defect at least $3$. In this paper we focus on the structure and properties of snarks with defect $3$. For such snarks we develop a theory of reductions similar to standard reductions of short cycles and small cuts in general snarks. We prove that every snark with defect $3$ can be reduced to a snark with defect $3$ which is either nontrivial (cyclically $4$-edge-connected and of girth at least $5$) or to one that arises from a nontrivial snark of defect greater than $3$ by inflating a vertex lying on a suitable $5$-cycle to a triangle. The proofs rely on a detailed analysis of Fano flows associated with triples of perfect matchings leaving exactly three uncovered edges. In the final part of the paper we discuss application of our results to the conjectures of Berge and Fulkerson, which provide the main motivation for our research.


title: About subdivisions of four blocks cycles $C(k_1,1,k_3,1)$ in digraphs with large chromatic number

abstract: A cycle with four blocks $C(k_{1}, k_{2},k_{3},k_{4})$ is an oriented cycle formed of four blocks of lengths $k_{1}, k_{2}, k_{3}$ and $k_{4}$ respectively. Recently, Cohen et al. conjectured that for every positive integers $k_{1}, k_{2}, k_{3}, k_{4}$, there is an integer $g(k_{1},k_{2},k_{3},k_{4})$ such that every strongly connected digraph $D$ containing no subdivisions of $C(k_{1},k_{2},k_{3},k_{4})$ has a chromatic number at most $g(k_{1},k_{2},k_{3},k_{4})$. This conjecture is confirmed by Cohen et al. for the case of $C(1,1,1,1)$ and by Al-Mniny for the case of $C(k_1,1,1,1)$. In this paper, we affirm Cohen et al.'s conjecture for the case where $k_2=k_4=1$, namely $g(k_1,1,k_3,1) =O({(k_1+k_3)}^2)$. Moreover, we show that if in addition $D$ is Hamiltonian, then the chromatic number of $D$ is at most $6k$, with $k=\textrm{max}\{k_1,k_3\}.$


title: ML-Powered Index Tuning: An Overview of Recent Progress and Open Challenges

abstract: The scale and complexity of workloads in modern cloud services have brought into sharper focus a critical challenge in automated index tuning -- the need to recommend high-quality indexes while maintaining index tuning scalability. This challenge is further compounded by the requirement for automated index implementations to introduce minimal query performance regressions in production deployments, representing a significant barrier to achieving scalability and full automation. This paper directs attention to these challenges within automated index tuning and explores ways in which machine learning (ML) techniques provide new opportunities in their mitigation. In particular, we reflect on recent efforts in developing ML techniques for workload selection, candidate index filtering, speeding up index configuration search, reducing the amount of query optimizer calls, and lowering the chances of performance regressions. We highlight the key takeaways from these efforts and underline the gaps that need to be closed for their effective functioning within the traditional index tuning framework. Additionally, we present a preliminary cross-platform design aimed at democratizing index tuning across multiple SQL-like systems -- an imperative in today's continuously expanding data system landscape. We believe our findings will help provide context and impetus to the research and development efforts in automated index tuning.


title: The Potential of Quantum Techniques for Stock Price Prediction

abstract: We explored the potential applications of various Quantum Algorithms for stock price prediction by conducting a series of experimental simulations using both Classical as well as Quantum Hardware. Firstly, we extracted various stock price indicators, such as Moving Averages (MA), Average True Range (ATR), and Aroon, to gain insights into market trends and stock price movements. Next, we employed Quantum Annealing (QA) for feature selection and Principal Component Analysis (PCA) for dimensionality reduction. Further, we transformed the stock price prediction task essentially into a classification problem. We trained the Quantum Support Vector Machine (QSVM) to predict price movements (whether up or down) contrasted their performance with classical models and analyzed their accuracy on a dataset formulated using Quantum Annealing and PCA individually. We focused on the stock price prediction and binary classification of stock prices for four different companies, namely Apple, Visa, Johnson and Jonson, and Honeywell. We primarily used the real-time stock data of the raw stock prices of these companies. We compared various Quantum Computing techniques with their classical counterparts in terms of accuracy and F-score of the prediction model. Through these experimental simulations, we shed light on the potential advantages and limitations of Quantum Algorithms in stock price prediction and contribute to the growing body of knowledge at the intersection of Quantum Computing and Finance.


title: Correlated Nonreciprocity around Conjugate Exceptional Points

abstract: The occurrence of exceptional points (EPs) is a fascinating non-Hermitian feature of open systems. A level-repulsion phenomenon between two complex states of an open system can be realized by positioning an EP and its time-reversal (T) conjugate pair in the underlying parameter space. Here, we report the fascinating nonreciprocal response of such two conjugate EPs by using a dual-mode planar waveguide system having two T-symmetric active variants concerning the transverse gain-loss profiles. We specifically reveal a comprehensive all-optical scheme to achieve correlative nonreciprocal light dynamics by using the reverse chirality of two dynamically encircled conjugate EPs in the presence of local nonlinearity. A specific nonreciprocal correlation between two designed T-symmetric waveguide variants is established in terms of their unidirectional transfer of light with a precise selection of modes. Here, the unconventional reverse chiral properties of two conjugate EPs allow the nonreciprocal transmission of two selective modes in the opposite directions of the underlying waveguide variants. An explicit dependence of the nonlinearity level on a significant enhancement of the nonreciprocity in terms of an isolation ratio is explored by investigating the effects of both local Kerr-type and saturable nonlinearities (considered separately). The physical insights and implications of harnessing the properties of conjugate EPs in nonlinear optical systems can enable the growth and development of a versatile platform for building nonreciprocal components and devices.


title: Deformation Decomposition versus Energy Decomposition for Chemo- and Poro- Mechanics

abstract: We briefly compare the structure of two classes of popular models used to describe poro- and chemo- mechanics wherein a fluid phase is transported within a solid phase. The multiplicative deformation decomposition has been successfully used to model permanent inelastic shape change in plasticity, solid-solid phase transformation, and thermal expansion, which has motivated its application to poro- and chemo- mechanics. However, the energetic decomposition provides a more transparent structure and advantages, such as to couple to phase-field fracture, for models of poro- and chemo- mechanics.


title: Active learning for fast and slow modeling attacks on Arbiter PUFs

abstract: Modeling attacks, in which an adversary uses machine learning techniques to model a hardware-based Physically Unclonable Function (PUF) pose a great threat to the viability of these hardware security primitives. In most modeling attacks, a random subset of challenge-response-pairs (CRPs) are used as the labeled data for the machine learning algorithm. Here, for the arbiter-PUF, a delay based PUF which may be viewed as a linear threshold function with random weights (due to manufacturing imperfections), we investigate the role of active learning in Support Vector Machine (SVM) learning. We focus on challenge selection to help SVM algorithm learn ``fast'' and learn ``slow''. Our methods construct challenges rather than relying on a sample pool of challenges as in prior work. Using active learning to learn ``fast'' (less CRPs revealed, higher accuracies) may help manufacturers learn the manufactured PUFs more efficiently, or may form a more powerful attack when the attacker may query the PUF for CRPs at will. Using active learning to select challenges from which learning is ``slow'' (low accuracy despite a large number of revealed CRPs) may provide a basis for slowing down attackers who are limited to overhearing CRPs.


title: GRASP: A Rehearsal Policy for Efficient Online Continual Learning

abstract: Continual learning (CL) in deep neural networks (DNNs) involves incrementally accumulating knowledge in a DNN from a growing data stream. A major challenge in CL is that non-stationary data streams cause catastrophic forgetting of previously learned abilities. A popular solution is rehearsal: storing past observations in a buffer and then sampling the buffer to update the DNN. Uniform sampling in a class-balanced manner is highly effective, and better sample selection policies have been elusive. Here, we propose a new sample selection policy called GRASP that selects the most prototypical (easy) samples first and then gradually selects less prototypical (harder) examples. GRASP has little additional compute or memory overhead compared to uniform selection, enabling it to scale to large datasets. Compared to 17 other rehearsal policies, GRASP achieves higher accuracy in CL experiments on ImageNet. Compared to uniform balanced sampling, GRASP achieves the same performance with 40% fewer updates. We also show that GRASP is effective for CL on five text classification datasets.


title: Solar wind ion charge state distributions and compound cross sections for solar wind charge exchange X-ray emission

abstract: Solar Wind Charge eXchange X-ray (SWCX) emission in the heliosphere and Earth's exosphere is a hard to avoid signal in soft X-ray observations of astrophysical targets. On the other hand, the X-ray imaging possibilities offered by the SWCX process has led to an increasing number of future dedicated space missions for investigating the solar wind-terrestrial interactions and magnetospheric interfaces. In both cases, accurate modelling of the SWCX emission is key to correctly interpret its signal, and remove it from observations, when needed. In this paper, we compile solar wind abundance measurements from ACE for different solar wind types, and atomic data from literature, including charge exchange cross-sections and emission probabilities, used for calculating the compound cross-section $\alpha$ for the SWCX X-ray emission. We calculate $\alpha$ values for charge-exchange with H and He, relevant to soft X-ray energy bands (0.1 - 2.0 keV) for various solar wind types and solar cycle conditions.


title: Emulating Radiative Transfer with Artificial Neural Networks

abstract: Forward-modeling observables from galaxy simulations enables direct comparisons between theory and observations. To generate synthetic spectral energy distributions (SEDs) that include dust absorption, re-emission, and scattering, Monte Carlo radiative transfer is often used in post-processing on a galaxy-by-galaxy basis. However, this is computationally expensive, especially if one wants to make predictions for suites of many cosmological simulations. To alleviate this computational burden, we have developed a radiative transfer emulator using an artificial neural network (ANN), ANNgelina, that can reliably predict SEDs of simulated galaxies using a small number of integrated properties of the simulated galaxies: star formation rate, stellar and dust masses, and mass-weighted metallicities of all star particles and of only star particles with age <10 Myr. Here, we present the methodology and quantify the accuracy of the predictions. We train the ANN on SEDs computed for galaxies from the IllustrisTNG project's TNG50 cosmological magnetohydrodynamical simulation. ANNgelina is able to predict the SEDs of TNG50 galaxies in the ultraviolet (UV) to millimetre regime with a typical median absolute error of ~7 per cent. The prediction error is the greatest in the UV, possibly due to the viewing-angle dependence being greatest in this wavelength regime. Our results demonstrate that our ANN-based emulator is a promising computationally inexpensive alternative for forward-modeling galaxy SEDs from cosmological simulations.


title: Efficient Annotation for Medical Image Analysis: A One-Pass Selective Annotation Approach

abstract: Annotating biomedical images for supervised learning is a complex and labor-intensive task due to data diversity and its intricate nature. In this paper, we propose an innovative method, the efficient one-pass selective annotation (EPOSA), that significantly reduces the annotation burden while maintaining robust model performance. Our approach employs a variational autoencoder (VAE) to extract salient features from unannotated images, which are subsequently clustered using the DBSCAN algorithm. This process groups similar images together, forming distinct clusters. We then use a two-stage sample selection algorithm, called representative selection (RepSel), to form a selected dataset. The first stage is a Markov Chain Monte Carlo (MCMC) sampling technique to select representative samples from each cluster for annotations. This selection process is the second stage, which is guided by the principle of maximizing intra-cluster mutual information and minimizing inter-cluster mutual information. This ensures a diverse set of features for model training and minimizes outlier inclusion. The selected samples are used to train a VGG-16 network for image classification. Experimental results on the Med-MNIST dataset demonstrate that our proposed EPOSA outperforms random selection and other state-of-the-art methods under the same annotation budget, presenting a promising direction for efficient and effective annotation in medical image analysis.


title: Ellipses and Polynomial-to-Polynomial Mapping of Weighted Szego Projections

abstract: We take a look at weighted Szego projections on ellipses and ellipsoids in light of some known results of real and complex potential theory. We show that on planar ellipses there is a weighted Szego projection taking polynomials to polynomials without increasing degree.


title: PCNN: Probable-Class Nearest-Neighbor Explanations Improve Fine-Grained Image Classification Accuracy for AIs and Humans

abstract: Nearest neighbors (NN) are traditionally used to compute final decisions, e.g., in Support Vector Machines or k-NN classifiers, and to provide users with explanations for the model's decision. In this paper, we show a novel utility of nearest neighbors: To improve predictions of a frozen, pretrained classifier C. We leverage an image comparator S that (1) compares the input image with NN images from the top-K most probable classes; and (2) uses S's output scores to weight the confidence scores of C. Our method consistently improves fine-grained image classification accuracy on CUB-200, Cars-196, and Dogs-120. Also, a human study finds that showing lay users our probable-class nearest neighbors (PCNN) improves their decision accuracy over prior work which only shows only the top-1 class examples.


title: Multi-integral representations for Jacobi functions of the first and second kind

abstract: One may consider the generalization of Jacobi polynomials and the Jacobi function of the second kind to a general function where the index is allowed to be a complex number instead of a non-negative integer. These functions are referred to as Jacobi functions. In a similar fashion as associated Legendre functions, these break into two categories, functions which are analytically continued from the real line segment $(-1,1)$ and those continued from the real ray $(1, \infty)$. Using properties of Gauss hypergeometric functions, we derive multi-derivative and multi-integral representations for the Jacobi functions of the first and second kind.


title: On the combinatorics of Lotka-Volterra equations

abstract: We study an approach to obtaining the exact formal solution of the 2-species Lotka-Volterra equation based on combinatorics and generating functions. By employing a combination of Carleman linearization and Mori-Zwanzig reduction techniques, we transform the nonlinear equations into a linear system, allowing for the derivation of a formal solution. The Mori-Zwanzig reduction reduces to an expansion which we show can be interpreted as a directed and weighted lattice path walk, which we use to obtain a representation of the system dynamics as walks of fixed length. The exact solution is then shown to be dependent on the generator of weighted walks. We show that the generator can be obtained by the solution of PDE which in turn is equivalent to a particular Koopman evolution of nonlinear observables.

categories: cond-mat.stat-mech math-ph math.CO math.MP nlin.AO


title: Pretty darn good control: when are approximate solutions better than approximate models

abstract: Existing methods for optimal control struggle to deal with the complexity commonly encountered in real-world systems, including dimensionality, process error, model bias and data heterogeneity. Instead of tackling these system complexities directly, researchers have typically sought to simplify models to fit optimal control methods. But when is the optimal solution to an approximate, stylized model better than an approximate solution to a more accurate model? While this question has largely gone unanswered owing to the difficulty of finding even approximate solutions for complex models, recent algorithmic and computational advances in deep reinforcement learning (DRL) might finally allow us to address these questions. DRL methods have to date been applied primarily in the context of games or robotic mechanics, which operate under precisely known rules. Here, we demonstrate the ability for DRL algorithms using deep neural networks to successfully approximate solutions (the "policy function" or control rule) in a non-linear three-variable model for a fishery without knowing or ever attempting to infer a model for the process itself. We find that the reinforcement learning agent discovers an effective simplification of the problem to obtain an interpretable control rule. We show that the policy obtained with DRL is both more profitable and more sustainable than any constant mortality policy -- the standard family of policies considered in fishery management.


title: Atmospheric muon fluxes at sub-orbital neutrino detectors

abstract: Very-high-energy and ultra-high-energy neutrinos are messengers of energetic sources in the universe. Sub-orbital and satellite-based neutrino telescopes employ detectors of the atmospheric Cherenkov emission from extensive air showers (EASs) generated by charged particles. These Cherenkov detectors can be pointed below or above the Earth's limb. Cherenkov emissions produced from directions below the limb are from upward-going EASs produced in the atmosphere sourced by Earth-skimming neutrinos. When the Cherenkov telescope is pointed slightly above the Earth's limb, signals from EASs are initiated by cosmic ray interactions in the atmosphere. For sub-orbital detectors, muons produced from cosmic rays in the atmosphere can directly hit the Cherenkov telescope. Using a semi-analytic technique with cascade equations for atmospheric particle fluxes, we quantify the atmospheric muon flux that reaches sub-orbital telescopes like Extreme Universe Space Observatory Super Pressure Balloon 2 (EUSO-SPB2). We assess this potential background to the EAS signals. The calculation technique may also provide an understanding of the evolution of the muon content in individual EAS.


title: Trace formulas revisited and a new representation of KdV solutions with short-range initial data

abstract: We put forward a new approach to Deift-Trubowitz type trace formulas for the 1D Schrodinger operator with potentials that are summable with the first moment (short-range potentials). We prove that these formulas are preserved under the KdV flow whereas the class of short-range potentials is not. Finally, we show that our formulas are well-suited to study the dispersive smoothing effect.


title: Transcendence of Sturmian Numbers over an Algebraic Base

abstract: We consider numbers of the form $S_\beta(\boldsymbol{u}):=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$ for $\boldsymbol{u}=\langle u_n \rangle_{n=0}^\infty$ a Sturmian sequence over a binary alphabet and $\beta$ an algebraic number with $|\beta|>1$. We show that every such number is transcendental. More generally, for a given base~$\beta$ and given irrational number~$\theta$ we characterise the $\overline{\mathbb{Q}}$-linear independence of sets of the form $\left\{ 1, S_\beta(\boldsymbol{u}^{(1)}),\ldots,S_\beta(\boldsymbol{u}^{(k)}) \right\}$, where $\boldsymbol{u}^{(1)},\ldots,\boldsymbol{u}^{(k)}$ are Sturmian sequences having slope $\theta$. We give an application of our main result to the theory of dynamical systems, showing that for a contracted rotation on the unit circle with algebraic slope, its limit set is either finite or consists exclusively of transcendental elements other than its endpoints $0$ and $1$. This confirms a conjecture of Bugeaud, Kim, Laurent, and Nogueira.


title: Generating and Explaining Corner Cases Using Learnt Probabilistic Lane Graphs

abstract: Validating the safety of Autonomous Vehicles (AVs) operating in open-ended, dynamic environments is challenging as vehicles will eventually encounter safety-critical situations for which there is not representative training data. By increasing the coverage of different road and traffic conditions and by including corner cases in simulation-based scenario testing, the safety of AVs can be improved. However, the creation of corner case scenarios including multiple agents is non-trivial. Our approach allows engineers to generate novel, realistic corner cases based on historic traffic data and to explain why situations were safety-critical. In this paper, we introduce Probabilistic Lane Graphs (PLGs) to describe a finite set of lane positions and directions in which vehicles might travel. The structure of PLGs is learnt directly from spatio-temporal traffic data. The graph model represents the actions of the drivers in response to a given state in the form of a probabilistic policy. We use reinforcement learning techniques to modify this policy and to generate realistic and explainable corner case scenarios which can be used for assessing the safety of AVs.


title: Neutrino propagation through Earth: modeling uncertainties using nuPyProp

abstract: Using the Earth as a neutrino converter, tau neutrino fluxes from astrophysical point sources can be detected by tau-lepton-induced extensive air showers (EASs). Both muon neutrino and tau neutrino induced upward-going EAS signals can be detected by terrestrial, sub-orbital and satellite-based instruments. The sensitivity of these neutrino telescopes can be evaluated with the nuSpaceSim package, which includes the nuPyProp simulation package. The nuPyProp package propagates neutrinos ($\nu_\mu$, $\nu_\tau$) through the Earth to produce the corresponding charged leptons (muons and tau-leptons). We use nuPyProp to quantify the uncertainties from Earth density models, tau depolarization effects and photo-nuclear electromagnetic energy loss models in the charged lepton exit probabilities and their spectra. The largest uncertainties come from electromagnetic energy loss modeling, with as much as a 20-50% difference between the models. We compare nuPyProp results with other simulation package results.


title: Unit Cell Phase-Frequency Profile Optimization in RIS-Assisted Wide-Band OFDM Systems

abstract: The reflection characteristics of a reconfigurable intelligent surface (RIS) depend on the phase response of the constituent unit cells, which is necessarily frequency dependent. This paper investigates the role of an RIS constituting unit cells with different phase-frequency profiles in a wide-band orthogonal frequency division multiplexing (OFDM) system to improve the achievable rate. We first propose a mathematical model for the phase-frequency relationship parametrized by the phase-frequency profile's slope and phase-shift corresponding to a realizable resonant RIS unit cell. Then, modelling each RIS element with $b$ control bits, we propose a method for selecting the parameter pairs to obtain a set of $2^b$ phase-frequency profiles. The proposed method yields an RIS design that outperforms existing designs over a wide range of user locations in a single-input, single-output (SISO) OFDM system. We then propose a low-complexity optimization algorithm to maximize the data rate through the joint optimization of (a) power allocations across the sub-carriers and (b) phase-frequency profile for each RIS unit cell from the available set. The analysis is then extended to a multi-user multiple-input single-output (MISO) OFDM scenario. Numerical results show an improvement in the coverage and achievable rates under the proposed framework as compared to single-slope phase-frequency profiles.


title: Go Beyond Imagination: Maximizing Episodic Reachability with World Models

abstract: Efficient exploration is a challenging topic in reinforcement learning, especially for sparse reward tasks. To deal with the reward sparsity, people commonly apply intrinsic rewards to motivate agents to explore the state space efficiently. In this paper, we introduce a new intrinsic reward design called GoBI - Go Beyond Imagination, which combines the traditional lifelong novelty motivation with an episodic intrinsic reward that is designed to maximize the stepwise reachability expansion. More specifically, we apply learned world models to generate predicted future states with random actions. States with more unique predictions that are not in episodic memory are assigned high intrinsic rewards. Our method greatly outperforms previous state-of-the-art methods on 12 of the most challenging Minigrid navigation tasks and improves the sample efficiency on locomotion tasks from DeepMind Control Suite.


title: REFT: Resource-Efficient Federated Training Framework for Heterogeneous and Resource-Constrained Environments

abstract: Federated Learning (FL) plays a critical role in distributed systems. In these systems, data privacy and confidentiality hold paramount importance, particularly within edge-based data processing systems such as IoT devices deployed in smart homes. FL emerges as a privacy-enforcing sub-domain of machine learning that enables model training on client devices, eliminating the necessity to share private data with a central server. While existing research has predominantly addressed challenges pertaining to data heterogeneity, there remains a current gap in addressing issues such as varying device capabilities and efficient communication. These unaddressed issues raise a number of implications in resource-constrained environments. In particular, the practical implementation of FL-based IoT or edge systems is extremely inefficient. In this paper, we propose "Resource-Efficient Federated Training Framework for Heterogeneous and Resource-Constrained Environments (REFT)," a novel approach specifically devised to address these challenges in resource-limited devices. Our proposed method uses Variable Pruning to optimize resource utilization by adapting pruning strategies to the computational capabilities of each client. Furthermore, our proposed REFT technique employs knowledge distillation to minimize the need for continuous bidirectional client-server communication. This achieves a significant reduction in communication bandwidth, thereby enhancing the overall resource efficiency. We conduct experiments for an image classification task, and the results demonstrate the effectiveness of our approach in resource-limited settings. Our technique not only preserves data privacy and performance standards but also accommodates heterogeneous model architectures, facilitating the participation of a broader array of diverse client devices in the training process, all while consuming minimal bandwidth.


title: Network Embedding Using Sparse Approximations of Random Walks

abstract: In this paper, we propose an efficient numerical implementation of Network Embedding based on commute times, using sparse approximation of a diffusion process on the network obtained by a modified version of the diffusion wavelet algorithm. The node embeddings are computed by optimizing the cross entropy loss via the stochastic gradient descent method with sampling of low-dimensional representations of green functions. We demonstrate the efficacy of this method for data clustering and multi-label classification through several examples, and compare its performance over existing methods in terms of efficiency and accuracy. Theoretical issues justifying the scheme are also discussed.


title: Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices

abstract: This paper provides a new decision procedure for intuitionistic propositional logic (IPL) based on a 3-valued restricted non-deterministic matrix and proves its soundness and completeness.


title: On the Parameterized Complexity of Bend-Minimum Orthogonal Planarity

abstract: Computing planar orthogonal drawings with the minimum number of bends is one of the most relevant topics in Graph Drawing. The problem is known to be NP-hard, even when we want to test the existence of a rectilinear planar drawing, i.e., an orthogonal drawing without bends (Garg and Tamassia, 2001). From the parameterized complexity perspective, the problem is fixed-parameter tractable when parameterized by the sum of three parameters: the number of bends, the number of vertices of degree at most two, and the treewidth of the input graph (Di Giacomo et al., 2022). We improve this last result by showing that the problem remains fixed-parameter tractable when parameterized only by the number of vertices of degree at most two plus the number of bends. As a consequence, rectilinear planarity testing lies in \FPT~parameterized by the number of vertices of degree at most two.


title: A Joint Fermi-GBM and Swift-BAT Analysis of Gravitational-Wave Candidates from the Third Gravitational-wave Observing Run

abstract: We present Fermi Gamma-ray Burst Monitor (Fermi-GBM) and Swift Burst Alert Telescope (Swift-BAT) searches for gamma-ray/X-ray counterparts to gravitational wave (GW) candidate events identified during the third observing run of the Advanced LIGO and Advanced Virgo detectors. Using Fermi-GBM on-board triggers and sub-threshold gamma-ray burst (GRB) candidates found in the Fermi-GBM ground analyses, the Targeted Search and the Untargeted Search, we investigate whether there are any coincident GRBs associated with the GWs. We also search the Swift-BAT rate data around the GW times to determine whether a GRB counterpart is present. No counterparts are found. Using both the Fermi-GBM Targeted Search and the Swift-BAT search, we calculate flux upper limits and present joint upper limits on the gamma-ray luminosity of each GW. Given these limits, we constrain theoretical models for the emission of gamma-rays from binary black hole mergers.


title: Fully fluorinated non-carbon compounds NF3 and SF6 as ideal technosignature gases

abstract: Waste gas products from technological civilizations may accumulate in an exoplanet atmosphere to detectable levels. We propose nitrogen trifluoride (NF3) and sulfur hexafluoride (SF6) as ideal technosignature gases. Earth life avoids producing or using any N-F or S-F bond-containing molecules and makes no fully fluorinated molecules with any element. NF3 and SF6 may be universal technosignatures owing to their special industrial properties, which unlike biosignature gases, are not species-dependent. Other key relevant qualities of NF3 and SF6 are: their extremely low water solubility, unique spectral features, and long atmospheric lifetimes. NF3 has no non-human sources and was absent from Earth's pre-industrial atmosphere. SF6 is released in only tiny amounts from fluorine-containing minerals, and is likely produced in only trivial amounts by volcanic eruptions. We propose a strategy to rule out SF6's abiotic source by simultaneous observations of SiF4, which is released by volcanoes in an order of magnitude higher abundance than SF6. Other fully fluorinated human-made molecules are of interest, but their chemical and spectral properties are unavailable. We summarize why life on Earth-and perhaps life elsewhere-avoids using F. We caution, however, that we cannot definitively disentangle an alien biochemistry byproduct from a technosignature gas.


title: The recurrent nova T CrB had prior eruptions observed near December 1787 and October 1217 AD

abstract: The famous recurrent nova (RN) T Coronae Borealis (T CrB) has had observed eruptions peaking at a visual magnitude of 2.0 in the years 1866 and 1946, while a third eruption is now expected for the year 2024.4+-0.3. Each RN has very similar light curves of eruptions that come with a fairly even-spacing in time, for which T CrB has a recurrence timescale near 80 years. So it is reasonable to look backwards in time for prior eruptions, around 1786, and so on back. I have investigated two long-lost suggestions that T CrB was seen in eruption in the years 1217 and 1787. (1) In a catalog published in 1789, the Reverend Francis Wollaston reports an astrometric position for a star that is exactly on top of T CrB. From his letters, these observations were made on at least four occassions with both a large and small telescope, within a few days before 1787 December 28. Wollaston's limiting magnitude for his astrometry is near 7.8 mag, so T CrB would have to have been in eruption. With other transients strongly rejected, the only way that Wollaston could get the coordinates was to have measured the coordinates of T CrB itself during an eruption. (2) The 1217 event has an eyewitness report written by Abbott Burchard of Upsberg as a fast-rising stellar point-source ("stella") in Corona Borealis that "shone with great light", lasted for "many days", and was ascribed as being a "wonderful sign". This event cannot be a report of a comet, because Burchard used the term for a star ("stella") and not for a comet, and because Burchard had the omen being very positive, with such being impossible for comets that are universally the worst of omens. The reported event is just as expected for a prior eruption of T CrB, and all other possibilities are strongly rejected, so the case for the 1217 eruption of T CrB is strong.


title: One-sided Gorenstein rings

abstract: Distinctive characteristics of Iwanaga--Gorenstein rings are typically understood through their intrinsic symmetry. We show that several of those that pertain to the Gorenstein global dimensions carry over to the one-sided situation, even without the noetherian hypothesis. Our results yield new relations among homological invariants related to the Gorenstein property, not only Gorenstein global dimensions but also the suprema of projective/injective dimensions of injective/projective modules and finitistic dimensions.


title: Linear Oscillation: A Novel Activation Function for Vision Transformer

abstract: Activation functions are the linchpins of deep learning, profoundly influencing both the representational capacity and training dynamics of neural networks. They shape not only the nature of representations but also optimize convergence rates and enhance generalization potential. Appreciating this critical role, we present the Linear Oscillation (LoC) activation function, defined as $f(x) = x \times \sin(\alpha x + \beta)$. Distinct from conventional activation functions which primarily introduce non-linearity, LoC seamlessly blends linear trajectories with oscillatory deviations. The nomenclature "Linear Oscillation" is a nod to its unique attribute of infusing linear activations with harmonious oscillations, capturing the essence of the "Importance of Confusion". This concept of "controlled confusion" within network activations is posited to foster more robust learning, particularly in contexts that necessitate discerning subtle patterns. Our empirical studies reveal that, when integrated into diverse neural architectures, the LoC activation function consistently outperforms established counterparts like ReLU and Sigmoid. The stellar performance exhibited by the avant-garde Vision Transformer model using LoC further validates its efficacy. This study illuminates the remarkable benefits of the LoC over other prominent activation functions. It champions the notion that intermittently introducing deliberate complexity or "confusion" during training can spur more profound and nuanced learning. This accentuates the pivotal role of judiciously selected activation functions in shaping the future of neural network training.


title: Enhancing Landmark Detection in Cluttered Real-World Scenarios with Vision Transformers

abstract: Visual place recognition tasks often encounter significant challenges in landmark detection due to the presence of irrelevant objects such as humans, cars, and trees, despite the remarkable progress achieved by previous models, especially in the context of transformers. To address this issue, we propose a novel method that effectively leverages the strengths of vision transformers. By employing a meticulous selection process, our approach identifies and isolates specific patches within the image that correspond to occluding objects. To evaluate the efficacy of our method, we created augmented datasets and conducted comprehensive testing. The results demonstrate the superior accuracy achieved by our proposed approach. This research contributes to the advancement of landmark detection in visual place recognition and shows the potential of leveraging vision transformers to overcome challenges posed by cluttered real-world scenarios.


title: Fusion of Infrared and Visible Images based on Spatial-Channel Attentional Mechanism

abstract: In the study, we present AMFusionNet, an innovative approach to infrared and visible image fusion (IVIF), harnessing the power of multiple kernel sizes and attention mechanisms. By assimilating thermal details from infrared images with texture features from visible sources, our method produces images enriched with comprehensive information. Distinct from prevailing deep learning methodologies, our model encompasses a fusion mechanism powered by multiple convolutional kernels, facilitating the robust capture of a wide feature spectrum. Notably, we incorporate parallel attention mechanisms to emphasize and retain pivotal target details in the resultant images. Moreover, the integration of the multi-scale structural similarity (MS-SSIM) loss function refines network training, optimizing the model for IVIF task. Experimental results demonstrate that our method outperforms state-of-the-art algorithms in terms of quality and quantity. The performance metrics on publicly available datasets also show significant improvement


title: A Bayesian approach for consistent reconstruction of inclusions

abstract: This paper considers a Bayesian approach for inclusion detection in nonlinear inverse problems using two known and popular push-forward prior distributions: the star-shaped and level set prior distributions. We analyze the convergence of the corresponding posterior distributions in a small measurement noise limit. The methodology is general; it works for priors arising from any H\"older continuous transformation of Gaussian random fields and is applicable to a range of inverse problems. The level set and star-shaped prior distributions are examples of push-forward priors under H\"older continuous transformations that take advantage of the structure of inclusion detection problems. We show that the corresponding posterior mean converges to the ground truth in a proper probabilistic sense. Numerical tests on a two-dimensional quantitative photoacoustic tomography problem showcase the approach. The results highlight the convergence properties of the posterior distributions and the ability of the methodology to detect inclusions with sufficiently regular boundaries.


title: Interacting Two-Level Systems as a Source of 1/f Charge Noise in Quantum Dot Qubits

abstract: Charge noise in semiconducting quantum dots has been observed to have a 1/f spectrum. We propose a model in which a pair of quantum dots are coupled to a 2D bath of fluctuating two level systems (TLS) that have electric dipole moments and that interact with each other, i.e., with the other fluctuators. These interactions are primarily via the elastic strain field. We use a 2D nearest-neighbor Ising spin glass to represent these elastic interactions and to simulate the dynamics of the bath of electric dipole fluctuators in the presence of a ground plane representing metal gates above the oxide layer containing the fluctuators. The interactions between the TLS cause the energy splitting of individual fluctuators to change with time. We calculate the resulting fluctuations in the electric potential at the two quantum dots that lie below the oxide layer. We find that 1/f electric potential noise spectra at the quantum dots and cross correlation in the noise between the two quantum dots are in qualitative agreement with experiment. Our simulations find that the cross correlations decrease exponentially with increasing quantum dot separation.


title: Core destruction in knockout reactions

abstract: A model is presented to calculate projectile core destruction in knockout reactions. It incorporates physics arguments similar to the formulation of the state of the art theory to calculate stripping and diffraction dissociation cross sections in heavy ion collisions with bombarding energies around 100 MeV/nucleon and larger. It is shown that secondary collisions between the incoming and struck nucleons and the projectile core decrease the core survival probability by as much as 9.5\%. However, no clear evidence is found for reduction of the cross section with increasing binding energy of the removed nucleon.


title: Rethinking Language Models as Symbolic Knowledge Graphs

abstract: Symbolic knowledge graphs (KGs) play a pivotal role in knowledge-centric applications such as search, question answering and recommendation. As contemporary language models (LMs) trained on extensive textual data have gained prominence, researchers have extensively explored whether the parametric knowledge within these models can match up to that present in knowledge graphs. Various methodologies have indicated that enhancing the size of the model or the volume of training data enhances its capacity to retrieve symbolic knowledge, often with minimal or no human supervision. Despite these advancements, there is a void in comprehensively evaluating whether LMs can encompass the intricate topological and semantic attributes of KGs, attributes crucial for reasoning processes. In this work, we provide an exhaustive evaluation of language models of varying sizes and capabilities. We construct nine qualitative benchmarks that encompass a spectrum of attributes including symmetry, asymmetry, hierarchy, bidirectionality, compositionality, paths, entity-centricity, bias and ambiguity. Additionally, we propose novel evaluation metrics tailored for each of these attributes. Our extensive evaluation of various LMs shows that while these models exhibit considerable potential in recalling factual information, their ability to capture intricate topological and semantic traits of KGs remains significantly constrained. We note that our proposed evaluation metrics are more reliable in evaluating these abilities than the existing metrics. Lastly, some of our benchmarks challenge the common notion that larger LMs (e.g., GPT-4) universally outshine their smaller counterparts (e.g., BERT).


title: Relating categorical dimensions in topology and symplectic geometry

abstract: We study several notions of dimension for (pre-)triangulated categories naturally arising from topology and symplectic geometry. We prove new bounds on these dimensions and raise several questions for further investigation. For instance, we relate the Rouquier dimension of the wrapped Fukaya category of either the cotangent bundle of smooth manifold $M$ or more generally a Weinstein domain $X$ to quantities of geometric interest. These quantities include the minimum number of critical values of a Morse function on $M$, the Lusternik-Schnirelmann category of $M$, the number of distinct action values of a Hamiltonian diffeomorphism of $X$, and the smallest $n$ such that $X$ admits a Weinstein embedding into $\mathbb{R}^{2n+1}$. Along the way, we introduce a notion of the Lusternik-Schnirelmann category for dg-categories and construct exact Lagrangian cobordisms for restriction to a Liouville subdomain.


title: Textureless Deformable Surface Reconstruction with Invisible Markers

abstract: Reconstructing and tracking deformable surface with little or no texture has posed long-standing challenges. Fundamentally, the challenges stem from textureless surfaces lacking features for establishing cross-image correspondences. In this work, we present a novel type of markers to proactively enrich the object's surface features, and thereby ease the 3D surface reconstruction and correspondence tracking. Our markers are made of fluorescent dyes, visible only under the ultraviolet (UV) light and invisible under regular lighting condition. Leveraging the markers, we design a multi-camera system that captures surface deformation under the UV light and the visible light in a time multiplexing fashion. Under the UV light, markers on the object emerge to enrich its surface texture, allowing high-quality 3D shape reconstruction and tracking. Under the visible light, markers become invisible, allowing us to capture the object's original untouched appearance. We perform experiments on various challenging scenes, including hand gestures, facial expressions, waving cloth, and hand-object interaction. In all these cases, we demonstrate that our system is able to produce robust, high-quality 3D reconstruction and tracking.


title: An Open Hyperspectral Dataset with Sea-Land-Cloud Ground-Truth from the HYPSO-1 Satellite

abstract: Hyperspectral Imaging, employed in satellites for space remote sensing, like HYPSO-1, faces constraints due to few labeled data sets, affecting the training of AI models demanding these ground-truth annotations. In this work, we introduce The HYPSO-1 Sea-Land-Cloud-Labeled Dataset, an open dataset with 200 diverse hyperspectral images from the HYPSO-1 mission, available in both raw and calibrated forms for scientific research in Earth observation. Moreover, 38 of these images from different countries include ground-truth labels at pixel-level totaling about 25 million spectral signatures labeled for sea/land/cloud categories. To demonstrate the potential of the dataset and its labeled subset, we have additionally optimized a deep learning model (1D Fully Convolutional Network), achieving superior performance to the current state of the art. The complete dataset, ground-truth labels, deep learning model, and software code are openly accessible for download at the website https://ntnu-smallsat-lab.github.io/hypso1_sea_land_clouds_dataset/ .


title: ACC-UNet: A Completely Convolutional UNet model for the 2020s

abstract: This decade is marked by the introduction of Vision Transformer, a radical paradigm shift in broad computer vision. A similar trend is followed in medical imaging, UNet, one of the most influential architectures, has been redesigned with transformers. Recently, the efficacy of convolutional models in vision is being reinvestigated by seminal works such as ConvNext, which elevates a ResNet to Swin Transformer level. Deriving inspiration from this, we aim to improve a purely convolutional UNet model so that it can be on par with the transformer-based models, e.g, Swin-Unet or UCTransNet. We examined several advantages of the transformer-based UNet models, primarily long-range dependencies and cross-level skip connections. We attempted to emulate them through convolution operations and thus propose, ACC-UNet, a completely convolutional UNet model that brings the best of both worlds, the inherent inductive biases of convnets with the design decisions of transformers. ACC-UNet was evaluated on 5 different medical image segmentation benchmarks and consistently outperformed convnets, transformers, and their hybrids. Notably, ACC-UNet outperforms state-of-the-art models Swin-Unet and UCTransNet by $2.64 \pm 2.54\%$ and $0.45 \pm 1.61\%$ in terms of dice score, respectively, while using a fraction of their parameters ($59.26\%$ and $24.24\%$). Our codes are available at https://github.com/kiharalab/ACC-UNet.


title: Thermal conductivity of Barium Bismuthate at low temperatures

abstract: The perovskite BaBiO$_3$ crystallizes in a cubic structure and undergoes structural transitions toward lower symmetry phases upon cooling. The two low-temperature monoclinic phases are insulating, and the origin of this unexpected non-metallic character has been under debate. Both monoclinic phases exhibit tilting and breathing distortions, which are connected with the insulating nature of this compound and may have important effects on phononic heat conductivity. Here, we report the first thermal conductivity measurement, $\kappa$(T), in pristine polycrystalline BaBiO$_3$ from 1.5 K to 310 K. At low and intermediate temperatures, we observe features reminiscent of a glass-like behavior, whereas at high-temperatures we find a downturn - typical of a crystalline solid. We compare our findings with available data of other recently investigated perovskite oxides displaying similar temperature dependence.


title: On the Massey Vanishing Conjecture and Formal Hilbert 90

abstract: Let $p$ be a prime number, let $G$ be a profinite group, let $\theta\colon G\to \mathbb{Z}_p^{\times}$ be a continuous character, and for all $n\geq 1$ write $\mathbb{Z}/p^n\mathbb{Z}(1)$ for the twist of $\mathbb{Z}/p^n\mathbb{Z}$ by the $G$-action. Suppose that $(G,\theta)$ satisfies a formal version of Hilbert's Theorem 90: for all open subgroups $H\subset G$ and every $n\geq 1$, the map $H^1(H,\mathbb{Z}/p^n\mathbb{Z}(1))\to H^1(H,\mathbb{Z}/p\mathbb{Z}(1))$ is surjective. We show that the Massey Vanishing Conjecture for triple Massey products and some degenerate fourfold Massey products holds for $G$. A key step in our proof is the construction of a Hilbert 90 module for $(G,\theta)$: a discrete $G$-module $M$ which plays the role of the Galois module $F_{\text{sep}}^\times$ for the absolute Galois group of a field $F$ of characteristic different from $p$.


title: Conservation laws for interacting magnetic nanoparticles at finite temperature

abstract: We establish a general Langevin Dynamics model of interacting, single-domain magnetic nanoparticles in liquid suspension at finite temperature. The model couples the LLG equation for the moment dynamics with the mechanical rotation and translation of the particles. Within this model, we derive expressions for the instantaneous transfer of energy, linear and angular momentum between the particles and with the environment. We demonstrate by numerical tests that all conserved quantities are fully accounted for, thus validating the model and the transfer expressions. The energy transfer expressions derived here are also useful analysis tools to decompose the instantaneous, non-equilibrium power loss at each MNP into different loss channels. To demonstrate the model capabilities, we analyse simulations of MNP collisions and high-frequency hysteresis in terms of power and energy contributions.


title: On Shehtman's Two Problems

abstract: We provide partial solutions to two problems posed by Shehtman concerning the modal logic of the \v{C}ech-Stone compactification of an ordinal space. We use the Continuum Hypothesis to give a finite axiomatization of the modal logic of $\beta(\omega^2)$, thus resolving Shehtman's first problem for $n=2$. We also characterize modal logics arising from the \v{C}ech-Stone compactification of an ordinal $\gamma$ provided the Cantor normal form of $\gamma$ satisfies an additional condition. This gives a partial solution of Shehtman's second problem.


title: The local solubility for homogeneous polynomials with random coefficients over thin sets

abstract: Let $d$ and $n$ be natural numbers greater or equal to $2$. Let $\langle \boldsymbol{a}, \nu_{d,n}(\boldsymbol{x})\rangle\in \mathbb{Z}[\boldsymbol{x}]$ be a homogeneous polynomial in $n$ variables of degree $d$ with integer coefficients $\boldsymbol{a}$, where $\langle\cdot,\cdot\rangle$ denotes the inner product, and $\nu_{d,n}: \mathbb{R}^n\rightarrow \mathbb{R}^N$ denotes the Veronese embedding with $N=\binom{n+d-1}{d}$. Consider a variety $V_{\boldsymbol{a}}$ in $\mathbb{P}^{n-1}$, defined by $\langle \boldsymbol{a}, \nu_{d,n}(\boldsymbol{x})\rangle=0.$ In this paper, we examine a set of these varieties defined by $$\mathbb{V}^{P}_{d,n}(A)=\{ V_{\boldsymbol{a}}\subset \mathbb{P}^{n-1}|\ P(\boldsymbol{a})=0,\ \|\boldsymbol{a}\|_{\infty}\leq A\},$$ where $P\in \mathbb{Z}[\boldsymbol{x}]$ is a non-singular form in $N$ variables of degree $k$ with $2 \le k\leq C({n,d})$ for some constant $C({n,d})$ depending at most on $n$ and $d$. Suppose that $P(\boldsymbol{a})=0$ has a nontrivial integer solution. We confirm that the proportion of varieties $V_{\boldsymbol{a}}$ in $\mathbb{V}^{P}_{d,n}(A)$, which are everywhere locally soluble, converges to a constant $c_P$ as $A\rightarrow \infty.$ In particular, if there exists $\boldsymbol{b}\in \mathbb{Z}^N$ such that $P(\boldsymbol{b})=0$ and the variety $V_{\boldsymbol{b}}$ in $\mathbb{P}^{n-1}$ admits a smooth $\mathbb{Q}$-rational point, the constant $c_P$ is positive.


title: Baikal-GVD Astrophysical Neutrino Candidate near the Blazar TXS~0506+056

abstract: We report on the observation of a rare neutrino event detected by Baikal-GVD in April 2021. The event GVD210418CA is the highest-energy cascade observed by Baikal-GVD so far from the direction below the horizon. The estimated cascade energy is $224\pm75$~TeV. The evaluated signalness parameter of GVD210418CA is 97.1\% using an assumption of the E$^{-2.46}$ spectrum of astrophysical neutrinos. The arrival direction of GVD210418CA is near the position of the well-known radio blazar TXS~0506+056, with the angular distance being within a 90\% directional uncertainty region of the Baikal-GVD measurement. The event was followed by a radio flare observed by the RATAN-600 radio telescope, further strengthening the case for the neutrino-blazar association.


title: 1.5 million materials narratives generated by chatbots

abstract: The advent of artificial intelligence (AI) has enabled a comprehensive exploration of materials for various applications. However, AI models often prioritize frequently encountered materials in the scientific literature, limiting the selection of suitable candidates based on inherent physical and chemical properties. To address this imbalance, we have generated a dataset of 1,494,017 natural language-material paragraphs based on combined OQMD, Materials Project, JARVIS, COD and AFLOW2 databases, which are dominated by ab initio calculations and tend to be much more evenly distributed on the periodic table. The generated text narratives were then polled and scored by both human experts and ChatGPT-4, based on three rubrics: technical accuracy, language and structure, and relevance and depth of content, showing similar scores but with human-scored depth of content being the most lagging. The merger of multi-modality data sources and large language model (LLM) holds immense potential for AI frameworks to help the exploration and discovery of solid-state materials for specific applications.


title: Splash! Robustifying Donor Pools for Policy Studies

abstract: Policy researchers using synthetic control methods typically choose a donor pool in part by using policy domain expertise so the untreated units are most like the treated unit in the pre intervention period. This potentially leaves estimation open to biases, especially when researchers have many potential donors. We compare how functional principal component analysis synthetic control, forward-selection, and the original synthetic control method select donors. To do this, we use Gaussian Process simulations as well as policy case studies from West German Reunification, a hotel moratorium in Barcelona, and a sugar-sweetened beverage tax in San Francisco. We then summarize the implications for policy research and provide avenues for future work.


title: Cubulating Infinity in Hierarchically Hyperbolic Spaces

abstract: We prove that the hierarchical hull of any finite set of interior points, hierarchy rays, and boundary points in a hierarchically hyperbolic space (HHS) is quasi-median quasi-isometric to a CAT(0) cube complex of bounded dimension. Our construction extends and refines a theorem of Behrstock-Hagen-Sisto about modeling hulls of interior points and our previous work with Zalloum on modeling finite sets of rays via limits of these finite models. We further prove that the quasi-median quasi-isometry between the hull of a finite set of rays or boundary points and its cubical model extends to an isomorphism between their respective hierarchical and simplicial boundaries. In this sense, we prove that the hierarchical boundary of any proper HHS is locally modeled by the simplicial boundaries of CAT(0) cube complexes. This is a purely geometric statement, allowing one to important various topologies from the cubical setting. Our proof of the cubical model theorem is new, even for the interior points case. In particular, we provide a concrete description of the cubical model as a cubical subcomplex of a product of simplicial trees into which the hierarchical data is directly encoded. Moreover, the above boundary isomorphism is new for all non-cubical HHSes, including mapping class groups and Teichm\"uller spaces of finite-type surfaces. As an application of our techniques, we show that in most HHSes, including all hierarchically hyperbolic groups, the distance between any pair of points in the top-level hyperbolic space is coarsely the length of a maximal 0-separated chain of hyperplanes separating them in an appropriate cubical model. For mapping class groups, this says that these cubical models cubically encode distance in the curve graph of the surface.