title: SN 2022vqz: A Peculiar Subluminous Type Ia Supernova with Prominent Early Excess Emission

abstract: We present extensive photometric and spectroscopic observations of the peculiar Type Ia supernova (SN Ia) 2022vqz. It shares many similarities with the SN 2002es-like SNe Ia, such as low luminosity ($M_{B,\rm max}=-18.11\pm0.16$ mag) and moderate post-peak decline rate ($\Delta m_{15,B}=1.33\pm0.11$ mag). The nickel mass synthesised in the explosion is estimated as $0.20\pm0.04~{\rm M}_\odot$ from the bolometric light curve, which is obviously lower than that of normal SNe Ia. SN 2022vqz is also characterised by slowly expanding ejecta, with Si II velocities persisting around 7000 km s$^{-1}$ since 16 days before peak brightness, unique among all known SNe Ia. While all of these properties imply a lower-energy thermonuclear explosion that should leave a considerable amount of unburnt materials, the absent signature of unburnt carbon in spectra of SN 2022vqz is puzzling. A prominent early peak is clearly detected in the ATLAS $c$- and $o$-band light curves and in the ZTF $gr$-band data within days after the explosion. Possible mechanisms for the early peak are discussed, including the sub-Chandrasekhar-mass double-detonation model and interaction of SN ejecta with circumstellar material. We find that both models face some difficulties in replicating all aspects of the observed data. As an alternative, we propose a hybrid C-O-Ne white dwarf as the progenitor of SN 2022vqz; it can simultaneously reconcile the tension between low ejecta velocity and the absence of carbon. We further discuss the diversity of SN 2002es-like objects and their origin in the context of different scenarios.


title: Logic of Awareness in Agent's Reasoning

abstract: The aim of this study is to formally express awareness for modeling practical agent communication. The notion of awareness has been proposed as a set of propositions for each agent, to which he/she pays attention, and has contributed to avoiding \textit{logical omniscience}. However, when an agent guesses another agent's knowledge states, what matters are not propositions but are accessible possible worlds. Therefore, we introduce a partition of possible worlds connected to awareness, that is an equivalence relation, to denote \textit{indistinguishable} worlds. Our logic is called Awareness Logic with Partition ($\mathcal{ALP}$). In this paper, we first show a running example to illustrate a practical social game. Thereafter, we introduce syntax and Kripke semantics of the logic and prove its completeness. Finally, we outline an idea to incorporate some epistemic actions with dynamic operators that change the state of awareness.


title: All-optical image denoising using a diffractive visual processor

abstract: Image denoising, one of the essential inverse problems, targets to remove noise/artifacts from input images. In general, digital image denoising algorithms, executed on computers, present latency due to several iterations implemented in, e.g., graphics processing units (GPUs). While deep learning-enabled methods can operate non-iteratively, they also introduce latency and impose a significant computational burden, leading to increased power consumption. Here, we introduce an analog diffractive image denoiser to all-optically and non-iteratively clean various forms of noise and artifacts from input images - implemented at the speed of light propagation within a thin diffractive visual processor. This all-optical image denoiser comprises passive transmissive layers optimized using deep learning to physically scatter the optical modes that represent various noise features, causing them to miss the output image Field-of-View (FoV) while retaining the object features of interest. Our results show that these diffractive denoisers can efficiently remove salt and pepper noise and image rendering-related spatial artifacts from input phase or intensity images while achieving an output power efficiency of ~30-40%. We experimentally demonstrated the effectiveness of this analog denoiser architecture using a 3D-printed diffractive visual processor operating at the terahertz spectrum. Owing to their speed, power-efficiency, and minimal computational overhead, all-optical diffractive denoisers can be transformative for various image display and projection systems, including, e.g., holographic displays.


title: Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises

abstract: The transformation to Industry 4.0 changes the way embedded software systems are developed. Digital twins have the potential for cost-effective software development and maintenance strategies. With reduced costs and faster development cycles, small and medium-sized enterprises (SME) have the chance to grow with new smart products. We interviewed SMEs about their current development processes. In this paper, we present the first results of these interviews. First results show that real-time requirements prevent, to date, a Software-in-the-Loop development approach, due to a lack of proper tooling. Security/safety concerns, and the accessibility of hardware are the main impediments. Only temporary access to the hardware leads to Software-in-the-Loop development approaches based on simulations/emulators. Yet, this is not in all use cases possible. All interviewees see the potential of Software-in-the-Loop approaches and digital twins with regard to quality and customization. One reason it will take some effort to convince engineers, is the conservative nature of the embedded community, particularly in SMEs.


title: CryoAlign: feature-based method for global and local 3D alignment of EM density maps

abstract: Advances on cryo-electron imaging technologies have led to a rapidly increasing number of density maps. Alignment and comparison of density maps play a crucial role in interpreting structural information, such as conformational heterogeneity analysis using global alignment and atomic model assembly through local alignment. Here, we propose a fast and accurate global and local cryo-electron microscopy density map alignment method CryoAlign, which leverages local density feature descriptors to capture spatial structure similarities. CryoAlign is the first feature-based EM map alignment tool, in which the employment of feature-based architecture enables the rapid establishment of point pair correspondences and robust estimation of alignment parameters. Extensive experimental evaluations demonstrate the superiority of CryoAlign over the existing methods in both alignment accuracy and speed.


title: On the escape of low-frequency waves from magnetospheres of neutron stars

abstract: We study the nonlinear decay of the fast magnetosonic into the Alfv\'en waves in relativistic force-free magnetohydrodynamics. The work has been motivated by models of pulsar radio emission and fast radio bursts (FRBs), in which the emission is generated in neutron star magnetospheres at conditions when not only the Larmor but also the plasma frequencies significantly exceed the radiation frequency. The decay process places limits on the source luminosity in these models. We estimated the decay rate and showed that the phase volume of Alfv\'en waves available for the decay of an fms wave is infinite. Therefore the energy of fms waves could be completely transferred to the small-scale Alfv\'en waves not via a cascade, as in the Kolmogorov turbulence, but directly. Our results explain the anomalously low radio efficiency of the Crab pulsar and show that FRBs could not be produced well within magnetar magnetospheres.


title: From frequency-dependent models to frequency-independent enriched continua for mechanical metamaterials

abstract: Mechanical metamaterials have recently gathered increasing attention for their uncommon mechanical responses enabling unprecedented applications for elastic wave control. To model the mechanical response of large metamaterials' samples made up of base unit cells, so-called homogenization or upscaling techniques come into play trying to establish an equivalent continuum model describing these macroscopic metamaterials' characteristics. A common approach is to assume a priori that the target continuum model is a classical linear Cauchy continuum featuring the macroscopic displacement as the only kinematical field. This implies that the parameters of such continuum models (density and/or elasticity tensors) must be considered to be frequency-dependent to capture the complex metamaterials' response in the frequency domain. These frequency-dependent models can be useful to describe some of the aforementioned macroscopic metamaterials' properties, yet, they suffer some drawbacks such as featuring negative masses and/or elastic coefficients in some frequency ranges. More than being counter-intuitive, this implies that the considered Cauchy continuum is not positive-definite for all the considered frequencies. In this paper, we present a procedure, based on the definition of extra kinematical variables (with respect to displacement alone) and the use of the inverse Fourier transform in time, to convert a frequency-dependent model into an enriched continuum model of the micromorphic type. All the parameters of the associated enriched model are constant (i.e., frequency-independent) and the model itself remains positive-definite for all the considered frequency ranges. The response of the frequency-dependent model and the associated micromorphic model coincide in the frequency domain, in particular when looking at the dispersion curves.


title: Improving Speech Inversion Through Self-Supervised Embeddings and Enhanced Tract Variables

abstract: The performance of deep learning models depends significantly on their capacity to encode input features efficiently and decode them into meaningful outputs. Better input and output representation has the potential to boost models' performance and generalization. In the context of acoustic-to-articulatory speech inversion (SI) systems, we study the impact of utilizing speech representations acquired via self-supervised learning (SSL) models, such as HuBERT compared to conventional acoustic features. Additionally, we investigate the incorporation of novel tract variables (TVs) through an improved geometric transformation model. By combining these two approaches, we improve the Pearson product-moment correlation (PPMC) scores which evaluate the accuracy of TV estimation of the SI system from 0.7452 to 0.8141, a 6.9% increase. Our findings underscore the profound influence of rich feature representations from SSL models and improved geometric transformations with target TVs on the enhanced functionality of SI systems.


title: Comparing generalized Gorenstein properties in semi-standard graded rings

abstract: Semi-standard graded rings are a generalized notion of standard graded rings. In this paper, we compare generalized notions of the Gorenstein property in semi-standard graded rings. We discuss the commonalities between standard graded rings and semi-standard graded rings, as well as elucidate distinctive phenomena present in semi-standard graded rings that are absent in standard graded rings.


title: Data-driven Modeling and Inference for Bayesian Gaussian Process ODEs via Double Normalizing Flows

abstract: Recently, Gaussian processes have been used to model the vector field of continuous dynamical systems, referred to as GPODEs, which are characterized by a probabilistic ODE equation. Bayesian inference for these models has been extensively studied and applied in tasks such as time series prediction. However, the use of standard GPs with basic kernels like squared exponential kernels has been common in GPODE research, limiting the model's ability to represent complex scenarios. To address this limitation, we introduce normalizing flows to reparameterize the ODE vector field, resulting in a data-driven prior distribution, thereby increasing flexibility and expressive power. We develop a data-driven variational learning algorithm that utilizes analytically tractable probability density functions of normalizing flows, enabling simultaneous learning and inference of unknown continuous dynamics. Additionally, we also apply normalizing flows to the posterior inference of GP ODEs to resolve the issue of strong mean-field assumptions in posterior inference. By applying normalizing flows in both these ways, our model improves accuracy and uncertainty estimates for Bayesian Gaussian Process ODEs. We validate the effectiveness of our approach on simulated dynamical systems and real-world human motion data, including time series prediction and missing data recovery tasks. Experimental results show that our proposed method effectively captures model uncertainty while improving accuracy.


title: Zero- and Few-shot Sound Event Localization and Detection

abstract: Sound event localization and detection (SELD) systems estimate direction-of-arrival (DOA) and temporal activation for sets of target classes. Neural network (NN)-based SELD systems have performed well in various sets of target classes, but they only output the DOA and temporal activation of preset classes trained before inference. To customize target classes after training, we tackle zero- and few-shot SELD tasks, in which we set new classes with a text sample or a few audio samples. While zero-shot sound classification tasks are achievable by embedding from contrastive language-audio pretraining (CLAP), zero-shot SELD tasks require assigning an activity and a DOA to each embedding, especially in overlapping cases. To tackle the assignment problem in overlapping cases, we propose an embed-ACCDOA model, which is trained to output track-wise CLAP embedding and corresponding activity-coupled Cartesian direction-of-arrival (ACCDOA). In our experimental evaluations on zero- and few-shot SELD tasks, the embed-ACCDOA model showed better location-dependent scores than a straightforward combination of the CLAP audio encoder and a DOA estimation model. Moreover, the proposed combination of the embed-ACCDOA model and CLAP audio encoder with zero- or few-shot samples performed comparably to an official baseline system trained with complete train data in an evaluation dataset.


title: CapsuleBot: A Novel Compact Hybrid Aerial-Ground Robot with Two Actuated-wheel-rotors

abstract: This paper presents the design, modeling, and experimental validation of CapsuleBot, a compact hybrid aerial-ground vehicle designed for long-term covert reconnaissance. CapsuleBot combines the manoeuvrability of bicopter in the air with the energy efficiency and noise reduction of ground vehicles on the ground. To accomplish this, a structure named actuated-wheel-rotor has been designed, utilizing a sole motor for both the unilateral rotor tilting in the bicopter configuration and the wheel movement in ground mode. CapsuleBot comes equipped with two of these structures, enabling it to attain hybrid aerial-ground propulsion with just four motors. Importantly, the decoupling of motion modes is achieved without the need for additional drivers, enhancing the versatility and robustness of the system. Furthermore, we have designed the full dynamics and control for aerial and ground locomotion based on the bicopter model and the two-wheeled self-balancing vehicle model. The performance of CapsuleBot has been validated through experiments. The results demonstrate that CapsuleBot produces 40.53% less noise in ground mode and consumes 99.35% less energy, highlighting its potential for long-term covert reconnaissance applications.


title: The special shadow-complexity of $\#_k(S^1\times S^3)$

abstract: The special shadow-complexity is an invariant of closed $4$-manifolds defined by Costantino using Turaev's shadows. We show that for any positive integer $k$, the special shadow-complexity of the connected sum of $k$ copies of $S^1\times S^3$ is exactly $k+1$.


title: Fresh Multiple Access: A Unified Framework Based on Large Models and Mean-Field Approximations

abstract: Information freshness has attracted increasingly attention in the past decade as it plays a critical role in the emerging real-time applications. Age of information (AoI) holds the promise of effectively characterizing the information freshness, hence widely considered as a fundamental performance metric. However, in multiple-device scenarios, most existing works focus on the analysis and optimization of AoI based on queueing systems. The study for a unified approach for general multiple access control scheme in freshness-oriented scenarios remains open. In this paper, we take into consideration the combination of the fundamental freshness metric AoI and multiple access control schemes to achieve efficient cross-layer analysis and optimization in freshness-oriented scenarios, which is referred to as fresh multiple access. To this end, we build a unified framework with a discrete-time tandem queue model for fresh multiple access. The unified framework enables the analysis and optimization for general multiple access protocols in fresh multiple access. To handle the high dimension framework embedded in fresh multiple access, we introduce large model approaches for the Markov chain formulation in AoI oriented scenarios. Two typical AoI-based metric are studied including age of incorrect information (AoII) and peak AoII. Moreover, to address the computational complexity of the large model, we present mean-field approximations which significantly reduces the dimension of the Markov chain model by approximating the integral affect of massive devices in fresh multiple access.


title: Frenetic steering: nonequilibrium-enabled navigation

abstract: We explain the steering of slow degrees of freedom by coupling them to driven components for which the time-symmetric reactivities are manipulated. We present the strategy and main principle that make that sort of navigation feasible. For illustration, nonlinear limit cycles (as in the van der Pol oscillator) and strange attractors (as in the Lorenz dynamics) are seen to emerge when the driving in the nonequilibrium medium is kept fixed while the frenesy is tuned to produce the required forces. We imagine that such frenetic steering is available in Life as well, allowing selection of the appropriate biological functioning.


title: Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number

abstract: A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for $4K_1$-free graphs, i.e., graphs of independence number at most $3$. We answer this question in the general setting of graphs of bounded independence number. We also consider a newly introduced problem called \emph{Hamiltonian-$\ell$-Linkage} which is related to the notions of a path cover and of a linkage in a graph. This problem asks if given $\ell$ pairs of vertices in an input graph can be connected by disjoint paths that altogether traverse all vertices of the graph. For $\ell=1$, Hamiltonian-1-Linkage asks for existence of a Hamiltonian path connecting a given pair of vertices. Our main result reads that for every pair of integers $k$ and $\ell$, the Hamiltonian-$\ell$-Linkage problem is polynomial time solvable for graphs of independence number not exceeding $k$.


title: Constrained evolution of effective equation of state parameter in non-linear $f(R, L_m)$ dark energy model: Insights from Bayesian analysis of cosmic chronometers and Pantheon samples

abstract: We conduct a Bayesian analysis of recent observational datasets, specifically the Cosmic Chronometers (CC) dataset and Pantheon samples, to investigate the evolution of the EoS parameter in dark energy models. Our study focused on the effective EoS parameter, which is described by the parametric form $\omega_{eff}=-\frac{1}{1+m(1+z)^n}$, where $m$ and $n$ are model parameters. This parametric form is applicable within the framework of $f(R,L_m)$ gravity, where $R$ represents the Ricci scalar and $L_m$ is the matter Lagrangian. Here, we examine a non-linear $f(R,L_m)$ model characterized by the functional form $f(R,L_m)=\frac{R}{2}+L_m^\alpha$, where $\alpha$ is the free parameter of the model. We examine the evolution of several cosmological parameters, including the effective EoS parameter $\omega_{eff}$, the deceleration parameter $q$, the density parameter $\rho$, the pressure $p$, and the statefinder parameters. Our analysis revealed that the constrained current value of the effective EoS parameter, $\omega_{eff}^{0}=-0.68\pm0.06$ for both the CC and Pantheon datasets, points towards a quintessence phase. Moreover, at redshift $z=0$, the deceleration parameter, $q_0 = -0.61^{+0.01}_{-0.01}$, indicates that the present Universe is undergoing accelerated expansion.


title: Cosmological Study in $F(R, T)$ Quasi-dilaton Massive Gravity

abstract: This study explores the cosmological implications of the $F(R, T)$ quasi-dilaton massive gravity theory, a modification of the de Rham-Gabadadze-Tolley (dRGT) massive gravity theory. Our analysis focuses on the self-accelerating solution of the background equations of motion, which are shown to exist in the theory. Notably, we find that the theory features an effective cosmological constant, which has important implications for our understanding of the universe's accelerated expansion. To test the viability of the $F(R, T)$ quasi-dilaton massive gravity theory, we utilize the Union2 Type Ia Supernovae (SNIa) dataset, comprising 557 observations. Our results demonstrate that the theory is capable of explaining the accelerated expansion of the universe without requiring the presence of dark energy. This finding supports the potential of the $F(R, T)$ quasi-dilaton massive gravity theory as an alternative explanation for the observed cosmic acceleration. Moreover, we investigate the properties of tensor perturbations within the framework of this theory and derive a novel expression for the dispersion relation of gravitational waves. Our analysis reveals interesting features of the modified dispersion relation in the Friedmann-Lema\^itre-Robertson-Walker cosmology, providing new insights into the nature of gravitational waves in the contest of the $F(R, T)$ quasi-dilaton massive gravity theory.


title: ATM: a Logic for Quantitative Security Properties on Attack Trees

abstract: Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs are widely employed both in industry and academia but - in spite of their popularity - little work has been done to give practitioners instruments to formulate queries on ATs in an understandable yet powerful way. In this paper we fill this gap by presenting ATM, a logic to express quantitative security properties on ATs. ATM allows for the specification of properties involved with security metrics that include "cost", "probability" and "skill" and permits the formulation of insightful what-if scenarios. To showcase its potential, we apply ATM to the case study of a CubeSAT, presenting three different ways in which an attacker can compromise its availability. We showcase property specification on the corresponding attack tree and we present theory and algorithms - based on binary decision diagrams - to check properties and compute metrics of ATM-formulae.


title: Preliminary characterization of an active spiral galaxy near m57

abstract: M57 is one of the most observed and popular planetary nebulae. Recently, the James Webb Space Telescope photographed it, capturing fascinating images (NASA, 2023). As is the case with other well-known and popular objects, there are other nearby astronomical objects of interest that can sometimes go unnoticed. Very close to this nebula (at coordinates 18:53:18.81 +33:03:59.89 -in j2000-), there is an intriguing spiral galaxy of type SBbc, known as IC 1296. At a greater angular distance from M57 and IC 1296, at coordinates 18:53:09.625 +33:05:38.85, there is a very faint object called WISEA J185309.64+330538.7. The author presents preliminary results of the spectral analyses of both galaxies, obtained at the Skinakas Observatory (Greece), providing some conclusions about their types and, in the case of WISEA J185309.64+330538.7, its distance. Both galaxies exhibit traces of having active galactic nuclei, with WISEA J185309.64+330538.7 being a radio galaxy with Seyfert 1 characteristics, while IC 1296 shows some lines that could indicate its membership in the intermediate category Seyfert 1.5 (between Seyfert 1 and 2), in addition to being a known X-ray emitter.


title: Effects of nuclear matter properties in neutron star mergers

abstract: The dynamics in mergers of binary neutron star (BNS) systems depend sensitively on the equation of state (EOS) of dense matter. This has profound implications on the emission of gravitational waves (GWs) and the ejection of matter in the merger and post-merger phases and is thus of high interest for multi-messenger astronomy. Today, a variety of nuclear EOSs are available with various underlying microphysical models. This calls for a study to focus on EOS effects from different physical nuclear matter properties and their influence on BNS mergers. We perform simulations of equal-mass BNS mergers with a set of 9 different EOSs based on Skyrme density functionals. In the models, we systematically vary the effective nucleon mass, incompressibility, and symmetry energy at saturation density. This allows us to investigate the influence of specific nuclear matter properties on the dynamics of BNS mergers. We analyze the impact of these properties on the merger dynamics, the fate of the remnant, disk formation, ejection of matter, and gravitational wave emission. Our results indicate that some aspects of the merger are sensitive to the EOS around saturation density while others are sensitive to the behavior towards higher densities, e.g., characterized by the slope of the pressure as a function of density. The detailed density dependence of the EOS thus needs to be taken into account to describe its influence on BNS mergers.


title: Well-posedness of scattering data for the derivative nonlinear Schr\"odinger equation in $H^s(\mathbb{R})$

abstract: We prove the well-posedness results of scattering data for the derivative nonlinear Schr\"odinger equation in $H^{s}(\mathbb{R})(s\geq\frac12)$. We show that the reciprocal of the transmission coefficient can be written as the sum of some iterative integrals, and its logarithm can be written as the sum of some connected iterative integrals. And we provide the asymptotic properties of the first few iterative integrals of the reciprocal of the transmission coefficient. Moreover, we provide some regularity properties of the reciprocal of the transmission coefficient related to scattering data in $H^{s}(\mathbb{R})$.


title: Provable learning of quantum states with graphical models

abstract: The complete learning of an $n$-qubit quantum state requires samples exponentially in $n$. Several works consider subclasses of quantum states that can be learned in polynomial sample complexity such as stabilizer states or high-temperature Gibbs states. Other works consider a weaker sense of learning, such as PAC learning and shadow tomography. In this work, we consider learning states that are close to neural network quantum states, which can efficiently be represented by a graphical model called restricted Boltzmann machines (RBMs). To this end, we exhibit robustness results for efficient provable two-hop neighborhood learning algorithms for ferromagnetic and locally consistent RBMs. We consider the $L_p$-norm as a measure of closeness, including both total variation distance and max-norm distance in the limit. Our results allow certain quantum states to be learned with a sample complexity \textit{exponentially} better than naive tomography. We hence provide new classes of efficiently learnable quantum states and apply new strategies to learn them.


title: Detection and Localization of Firearm Carriers in Complex Scenes for Improved Safety Measures

abstract: Detecting firearms and accurately localizing individuals carrying them in images or videos is of paramount importance in security, surveillance, and content customization. However, this task presents significant challenges in complex environments due to clutter and the diverse shapes of firearms. To address this problem, we propose a novel approach that leverages human-firearm interaction information, which provides valuable clues for localizing firearm carriers. Our approach incorporates an attention mechanism that effectively distinguishes humans and firearms from the background by focusing on relevant areas. Additionally, we introduce a saliency-driven locality-preserving constraint to learn essential features while preserving foreground information in the input image. By combining these components, our approach achieves exceptional results on a newly proposed dataset. To handle inputs of varying sizes, we pass paired human-firearm instances with attention masks as channels through a deep network for feature computation, utilizing an adaptive average pooling layer. We extensively evaluate our approach against existing methods in human-object interaction detection and achieve significant results (AP=77.8\%) compared to the baseline approach (AP=63.1\%). This demonstrates the effectiveness of leveraging attention mechanisms and saliency-driven locality preservation for accurate human-firearm interaction detection. Our findings contribute to advancing the fields of security and surveillance, enabling more efficient firearm localization and identification in diverse scenarios.


title: Human Movement Forecasting with Loose Clothing

abstract: Human motion prediction and trajectory forecasting are essential in human motion analysis. Nowadays, sensors can be seamlessly integrated into clothing using cutting-edge electronic textile (e-textile) technology, allowing long-term recording of human movements outside the laboratory. Motivated by the recent findings that clothing-attached sensors can achieve higher activity recognition accuracy than body-attached sensors. This work investigates the performance of human motion prediction using clothing-attached sensors compared with body-attached sensors. It reports experiments in which statistical models learnt from the movement of loose clothing are used to predict motion patterns of the body of robotically simulated and real human behaviours. Counterintuitively, the results show that fabric-attached sensors can have better motion prediction performance than rigid-attached sensors. Specifically, The fabric-attached sensor can improve the accuracy up to 40% and requires up to 80% less duration of the past trajectory to achieve high prediction accuracy (i.e., 95%) compared to the rigid-attached sensor.


title: Reduced projection method for photonic moir\'e lattices

abstract: This paper presents a reduced projection method for the solution of quasiperiodic Schr\"{o}dinger eigenvalue problems for photonic moir\'e lattices. Using the properties of the Schr\"{o}dinger operator in higher-dimensional space via a projection matrix, we rigorously prove that the generalized Fourier coefficients of the eigenfunctions exhibit faster decay rate along a fixed direction associated with the projection matrix. An efficient reduction strategy of the basis space is then proposed to reduce the degrees of freedom significantly. Rigorous error estimates of the proposed reduced projection method are provided, indicating that a small portion of the degrees of freedom is sufficient to achieve the same level of accuracy as the classical projection method. We present numerical examples of photonic moir\'e lattices in one and two dimensions to demonstrate the accuracy and efficiency of our proposed method.


title: Globally Convergent Accelerated Algorithms for Multilinear Sparse Logistic Regression with $\ell_0$-constraints

abstract: Tensor data represents a multidimensional array. Regression methods based on low-rank tensor decomposition leverage structural information to reduce the parameter count. Multilinear logistic regression serves as a powerful tool for the analysis of multidimensional data. To improve its efficacy and interpretability, we present a Multilinear Sparse Logistic Regression model with $\ell_0$-constraints ($\ell_0$-MLSR). In contrast to the $\ell_1$-norm and $\ell_2$-norm, the $\ell_0$-norm constraint is better suited for feature selection. However, due to its nonconvex and nonsmooth properties, solving it is challenging and convergence guarantees are lacking. Additionally, the multilinear operation in $\ell_0$-MLSR also brings non-convexity. To tackle these challenges, we propose an Accelerated Proximal Alternating Linearized Minimization with Adaptive Momentum (APALM$^+$) method to solve the $\ell_0$-MLSR model. We provide a proof that APALM$^+$ can ensure the convergence of the objective function of $\ell_0$-MLSR. We also demonstrate that APALM$^+$ is globally convergent to a first-order critical point as well as establish convergence rate by using the Kurdyka-Lojasiewicz property. Empirical results obtained from synthetic and real-world datasets validate the superior performance of our algorithm in terms of both accuracy and speed compared to other state-of-the-art methods.


title: High-dimensional manifold of solutions in neural networks: insights from statistical physics

abstract: In these pedagogic notes I review the statistical mechanics approach to neural networks, focusing on the paradigmatic example of the perceptron architecture with binary an continuous weights, in the classification setting. I will review the Gardner's approach based on replica method and the derivation of the SAT/UNSAT transition in the storage setting. Then, I discuss some recent works that unveiled how the zero training error configurations are geometrically arranged, and how this arrangement changes as the size of the training set increases. I also illustrate how different regions of solution space can be explored analytically and how the landscape in the vicinity of a solution can be characterized. I give evidence how, in binary weight models, algorithmic hardness is a consequence of the disappearance of a clustered region of solutions that extends to very large distances. Finally, I demonstrate how the study of linear mode connectivity between solutions can give insights into the average shape of the solution manifold.

categories: cond-mat.dis-nn cs.LG math.PR math.ST stat.TH


title: Data Center-Enabled High Altitude Platforms: A Green Computing Alternative

abstract: Information technology organizations and companies are seeking greener alternatives to traditional terrestrial data centers to mitigate global warming and reduce carbon emissions. Currently, terrestrial data centers consume a significant amount of energy, estimated at about 1.5% of worldwide electricity use. Furthermore, the increasing demand for data-intensive applications is expected to raise energy consumption, making it crucial to consider sustainable computing paradigms. In this study, we propose a data center-enabled High Altitude Platform (HAP) system, where a flying data center supports the operation of terrestrial data centers. We conduct a detailed analytical study to assess the energy benefits and communication requirements of this approach. Our findings demonstrate that a data center-enabled HAP is more energy-efficient than a traditional terrestrial data center, owing to the naturally low temperature in the stratosphere and the ability to harvest solar energy. Adopting a data center-HAP can save up to 14% of energy requirements while overcoming the offloading outage problem and the associated delay resulting from server distribution. Our study highlights the potential of a data center-enabled HAP system as a sustainable computing solution to meet the growing energy demands and reduce carbon footprint.


title: Toward Beamfocusing-Aided Near-Field Communications: Research Advances, Potential, and Challenges

abstract: Next-generation mobile networks promise to support high throughput, massive connectivity, and improved energy efficiency. To achieve these ambitious goals, extremely large-scale antenna arrays (ELAAs) and terahertz communications constitute a pair of promising technologies. This will result in future wireless communications occurring in the near-field regions. To accurately portray the channel characteristics of near-field wireless propagation, spherical wavefront-based models are required and present both opportunities as well as challenges. Following the basics of near-field communications (NFC), we contrast it to conventional far-field communications. Moreover, we cover the key challenges of NFC, including its channel modeling and estimation, near-field beamfocusing, as well as hardware design. Our numerical results demonstrate the potential of NFC in improving the spatial multiplexing gain and positioning accuracy. Finally, a suite of open issues are identified for motivating future research.


title: Statistics of grain microstructure evolution under anisotropic grain boundary energies and mobilities using threshold-dynamics

abstract: This paper investigates the statistical behavior of two-dimensional grain microstructures during grain growth under anisotropic grain boundary characters. We employ the threshold-dynamics method, which allows for unparalleled computational speed, to simulate the full-field curvature motion of grain boundaries in a large polycrystal ensemble. Two sets of numerical experiments are performed to explore the effect of grain boundary anisotropy on the evolution of microstructure features. In the first experiment, we focus on abnormal grain growth and find that grain boundary anisotropy introduces a statistical preference for certain grain orientations. This leads to changes in the overall grain size distribution from the isotropic case. In the second experiment, we examine the texture development and growth of twin grain boundaries at different initial microstructures. We find that both phenomena are more pronounced when the initial microstructure has a dominant fraction of high-angle grain boundaries. Our results suggest effective grain boundary engineering strategies for improving material properties.


title: Constraining baryon loading efficiency of AGNs with diffuse neutrino flux from galaxy clusters

abstract: The active galactic nuclei (AGNs) are widely believed to be one of the promising acceleration sites of ultrahigh-energy cosmic rays (CRs). Essentially, AGNs are powered by the gravitational energy of matter falling to supermassive black holes. However, the conversion efficiency of gravitational to kinetic energy of CRs in AGNs, which is defined as baryon loading factor $\eta_p$, is not well known yet. After being accelerated, high-energy CRs could escape the host galaxy and enter the intra-cluster medium (ICM). These CRs can be confined within the galaxy cluster and produce $\gamma$-rays and neutrinos through proton-proton collisions with the ICM. In this paper, we study the diffusion of CRs in galaxy clusters and calculate the diffuse neutrino flux from galaxy cluster population. Using the latest upper limits on the cumulative unresolved TeV-PeV neutrino flux from galaxy clusters posed by the IceCube Neutrino Observatory, we derive the upper limit of the average baryon loading factor as $\eta_{p,\mathrm{grav}} \lesssim 2 \times 10^{-3} - 0.1$ for the population of galaxy clusters. This constraint is more stringent than the one obtained from $\gamma$-ray observation on the Coma cluster.


title: Highly-tunable and strong nonreciprocity in coupled nonlinear cavity magnonics

abstract: Nonreciprocity, which violates Lorentz reciprocity, plays a pivotal role in quantum information processing and networks. Nevertheless, achieving a desired and highly-tunable level of nonreciprocity has proven to be a formidable challenge. Here, we propose a coupled nonlinear cavity magnonic system, consisting of two cavities, a second-order nonlinear element, and a yttrium-iron-garnet sphere for supporting Kerr magnons, to realize this sought-after highly-tunable nonreciprocity. We first derive the critical condition for switching between reciprocity and nonreciprocity with undriven magnons, then we numerically demonstrate that a strong magnonic nonreciprocity can be obtained by breaking the critical condition. When magnons are driven, we show that a strong magnonic nonreciprocity can also be attained within the critical condition. Compared to previous study, the introduced nonlinear element not only relaxes the critical condition to both the weak and strong regimes, but also offers an alternative path to adjust the magnonic nonreciprocity. Our work provides a promising avenue to realize highly-tunable nonreciprocal devices with Kerr magnons.


title: Image-level supervision and self-training for transformer-based cross-modality tumor segmentation

abstract: Deep neural networks are commonly used for automated medical image segmentation, but models will frequently struggle to generalize well across different imaging modalities. This issue is particularly problematic due to the limited availability of annotated data, making it difficult to deploy these models on a larger scale. To overcome these challenges, we propose a new semi-supervised training strategy called MoDATTS. Our approach is designed for accurate cross-modality 3D tumor segmentation on unpaired bi-modal datasets. An image-to-image translation strategy between imaging modalities is used to produce annotated pseudo-target volumes and improve generalization to the unannotated target modality. We also use powerful vision transformer architectures and introduce an iterative self-training procedure to further close the domain gap between modalities. MoDATTS additionally allows the possibility to extend the training to unannotated target data by exploiting image-level labels with an unsupervised objective that encourages the model to perform 3D diseased-to-healthy translation by disentangling tumors from the background. The proposed model achieves superior performance compared to other methods from participating teams in the CrossMoDA 2022 challenge, as evidenced by its reported top Dice score of 0.87+/-0.04 for the VS segmentation. MoDATTS also yields consistent improvements in Dice scores over baselines on a cross-modality brain tumor segmentation task composed of four different contrasts from the BraTS 2020 challenge dataset, where 95% of a target supervised model performance is reached. We report that 99% and 100% of this maximum performance can be attained if 20% and 50% of the target data is additionally annotated, which further demonstrates that MoDATTS can be leveraged to reduce the annotation burden.


title: Sim-to-Real Deep Reinforcement Learning with Manipulators for Pick-and-place

abstract: When transferring a Deep Reinforcement Learning model from simulation to the real world, the performance could be unsatisfactory since the simulation cannot imitate the real world well in many circumstances. This results in a long period of fine-tuning in the real world. This paper proposes a self-supervised vision-based DRL method that allows robots to pick and place objects effectively and efficiently when directly transferring a training model from simulation to the real world. A height-sensitive action policy is specially designed for the proposed method to deal with crowded and stacked objects in challenging environments. The training model with the proposed approach can be applied directly to a real suction task without any fine-tuning from the real world while maintaining a high suction success rate. It is also validated that our model can be deployed to suction novel objects in a real experiment with a suction success rate of 90\% without any real-world fine-tuning. The experimental video is available at: https://youtu.be/jSTC-EGsoFA.


title: The Director: A Composable Behaviour System with Soft Transitions

abstract: Software frameworks for behaviour are critical in robotics as they enable the correct and efficient execution of functions. While modern behaviour systems have improved their composability, they do not focus on smooth transitions and often lack functionality. In this work, we present the Director, a novel behaviour framework that addresses these problems. It has functionality for soft transitions, multiple implementations of the same action chosen based on conditionals, and strict resource control. The system was successfully used in the 2022/2023 Virtual Season and RoboCup 2023 Bordeaux, in the Humanoid Kid Size League. It is implemented at https://github.com/NUbots/DirectorSoccer, which also contains over thirty automated tests and technical documentation on its implementation in NUClear.


title: LiteTrack: Layer Pruning with Asynchronous Feature Extraction for Lightweight and Efficient Visual Tracking

abstract: The recent advancements in transformer-based visual trackers have led to significant progress, attributed to their strong modeling capabilities. However, as performance improves, running latency correspondingly increases, presenting a challenge for real-time robotics applications, especially on edge devices with computational constraints. In response to this, we introduce LiteTrack, an efficient transformer-based tracking model optimized for high-speed operations across various devices. It achieves a more favorable trade-off between accuracy and efficiency than the other lightweight trackers. The main innovations of LiteTrack encompass: 1) asynchronous feature extraction and interaction between the template and search region for better feature fushion and cutting redundant computation, and 2) pruning encoder layers from a heavy tracker to refine the balnace between performance and speed. As an example, our fastest variant, LiteTrack-B4, achieves 65.2% AO on the GOT-10k benchmark, surpassing all preceding efficient trackers, while running over 100 fps with ONNX on the Jetson Orin NX edge device. Moreover, our LiteTrack-B9 reaches competitive 72.2% AO on GOT-10k and 82.4% AUC on TrackingNet, and operates at 171 fps on an NVIDIA 2080Ti GPU. The code and demo materials will be available at https://github.com/TsingWei/LiteTrack.


title: Convex Latent-Optimized Adversarial Regularizers for Imaging Inverse Problems

abstract: Recently, data-driven techniques have demonstrated remarkable effectiveness in addressing challenges related to MR imaging inverse problems. However, these methods still exhibit certain limitations in terms of interpretability and robustness. In response, we introduce Convex Latent-Optimized Adversarial Regularizers (CLEAR), a novel and interpretable data-driven paradigm. CLEAR represents a fusion of deep learning (DL) and variational regularization. Specifically, we employ a latent optimization technique to adversarially train an input convex neural network, and its set of minima can fully represent the real data manifold. We utilize it as a convex regularizer to formulate a CLEAR-informed variational regularization model that guides the solution of the imaging inverse problem on the real data manifold. Leveraging its inherent convexity, we have established the convergence of the projected subgradient descent algorithm for the CLEAR-informed regularization model. This convergence guarantees the attainment of a unique solution to the imaging inverse problem, subject to certain assumptions. Furthermore, we have demonstrated the robustness of our CLEAR-informed model, explicitly showcasing its capacity to achieve stable reconstruction even in the presence of measurement interference. Finally, we illustrate the superiority of our approach using MRI reconstruction as an example. Our method consistently outperforms conventional data-driven techniques and traditional regularization approaches, excelling in both reconstruction quality and robustness.


title: Cutting Plane Algorithms are Exact for Euclidean Max-Sum Problems

abstract: This paper studies binary quadratic programs in which the objective is defined by a Euclidean distance matrix, subject to a general polyhedral constraint set. This class of nonconcave maximisation problems includes the capacitated, generalised and bi-level diversity problems as special cases. We introduce two exact cutting plane algorithms to solve this class of optimisation problems. The new algorithms remove the need for a concave reformulation, which is known to significantly slow down convergence. We establish exactness of the new algorithms by examining the concavity of the quadratic objective in a given direction, a concept we refer to as directional concavity. Numerical results show that the algorithms outperform other exact methods for benchmark diversity problems (capacitated, generalised and bi-level), and can easily solve problems of up to three thousand variables.


title: Convergence Rates for the Stationary and Non-stationary Navier-Stokes Equations over Non-Lipschitz Boundaries

abstract: In this paper, we consider the higher-order convergence rates for the 2D stationary and non-stationary Navier-Stokes Equations over highly oscillating periodic bumpy John domains with $C^{2}$ regularity in some neighborhood of the boundary point (0,0). For the stationary case and any $\gamma\in (0,1/2)$, using the variational equation satisfied by the solution and the correctors for the bumpy John domains obtained by Higaki, Prange and Zhuge \cite{higaki2021large,MR4619004} after correcting the values on the inflow/outflow boundaries $(\{0\}\cup\{1\})\times(0,1)$, we can obtain an $O(\varepsilon^{2-\gamma})$ approximation in $L^2$ for the velocity and an $O(\varepsilon^{2-\gamma})$ convergence rates in $L^1$ approximated by the so called Navier's wall laws, which generalized the results obtained by J\"{a}ger and Mikeli\'{c} \cite{MR1813101}. Moreover, for the non-stationary case, using the energy method, we can obtain an $O(\varepsilon^{2-\gamma}+\exp(-Ct))$ convergence rate for the velocity in $L_x^1$.


title: User Assignment and Resource Allocation for Hierarchical Federated Learning over Wireless Networks

abstract: The large population of wireless users is a key driver of data-crowdsourced Machine Learning (ML). However, data privacy remains a significant concern. Federated Learning (FL) encourages data sharing in ML without requiring data to leave users' devices but imposes heavy computation and communications overheads on mobile devices. Hierarchical FL (HFL) alleviates this problem by performing partial model aggregation at edge servers. HFL can effectively reduce energy consumption and latency through effective resource allocation and appropriate user assignment. Nevertheless, resource allocation in HFL involves optimizing multiple variables, and the objective function should consider both energy consumption and latency, making the development of resource allocation algorithms very complicated. Moreover, it is challenging to perform user assignment, which is a combinatorial optimization problem in a large search space. This article proposes a spectrum resource optimization algorithm (SROA) and a two-stage iterative algorithm (TSIA) for HFL. Given an arbitrary user assignment pattern, SROA optimizes CPU frequency, transmit power, and bandwidth to minimize system cost. TSIA aims to find a user assignment pattern that considerably reduces the total system cost. Experimental results demonstrate the superiority of the proposed HFL framework over existing studies in energy and latency reduction.


title: Classes caracter\'isticas e secantes de curvas racionais normais

abstract: We study characteristic classes of hypersurfaces in the complex projective space, with emphasis on secants to rational normal curves. For $Sec_k C\subset \mathbb{P}^{n}$, the secant of $k$ points to a rational normal curve $C\subset \mathbb{P}^n$, we compute the Hilbert series and the topological Euler characteristic. For $n=2r$ and $k=r$, the case when $Sec_r C\subset \mathbb{P}^{2r}$ is a hypersurface, we show that the dual $(Sec_r C)^*$ is isomorphic to the Veronese variety $\nu_2(\mathbb{P}^r)$, from which we obtain, for $Sec_r C$, formulas for the Mather class, the generic Euclidean distance degree and its polar degrees. Furthermore, we present an explicit formula for the topological degree of the gradient map $\phi_r \colon \mathbb{P}^{2r} \dashrightarrow \mathbb{P}^{2r} $ associated with $Sec_r C$, and as a consequence we obtain an affirmative answer for a conjecture by M. Mostafazadehfard and A. Simis: for $r \geq 2$, the hypersurface $Sec_r C\subset \mathbb{P}^{2r}$ is not homaloidal. From computations in particular cases we are led to a conjecture, namely, explicit formulas for the projective degrees of the gradient map $\phi_r$ and the Schwartz-MacPherson class $c_{SM}(Sec_r C)\in A_* \mathbb{P}^{2r}$, for all $r$. We conclude by presenting evidence that indicates the validity of our conjecture. Keywords: Characteristic classes. Gradient maps. Secants to rational normal curves.


title: Charge order above room-temperature in a prototypical kagome superconductor La(Ru$_{1-x}$Fe$_{x}$)$_{3}$Si$_{2}$

abstract: The kagome lattice is an intriguing and rich platform for discovering, tuning and understanding the diverse phases of quantum matter, which is a necessary premise for utilizing quantum materials in all areas of modern and future electronics in a controlled and optimal way. The system LaRu$_{3}$Si$_{2}$ was shown to exhibit typical kagome band structure features near the Fermi energy formed by the Ru-$dz^{2}$ orbitals and the highest superconducting transition temperature $T_{\rm c}$ ${\simeq}$ 7K among the kagome-lattice materials. However, the effect of electronic correlations on the normal state properties remains elusive. Here, we report the discovery of charge order in La(Ru$_{1-x}$Fe$_{x}$)$_{3}$Si$_{2}$ ($x$ = 0, 0.01, 0.05) beyond room-temperature. Namely, single crystal X-ray diffraction reveals charge order with a propagation vector of ($\frac{1}{4}$,0,0) below $T_{\rm CO-I}$ ${\simeq}$ 400K in all three compounds. At lower temperatures, we see the appearance of a second set of charge order peaks with a propagation vector of ($\frac{1}{6}$,0,0). The introduction of Fe, which is known to quickly suppress superconductivity, does not drastically alter the onset temperature for charge order. Instead, it broadens the scattered intensity such that diffuse scattering appears at the same onset temperature, however does not coalesce into sharp Bragg diffraction peaks until much lower in temperature. Our results present the first example of a charge ordered state at or above room temperature in the correlated kagome lattice with bulk superconductivity.


title: LiDAR Data Synthesis with Denoising Diffusion Probabilistic Models

abstract: Generative modeling of 3D LiDAR data is an emerging task with promising applications for autonomous mobile robots, such as scalable simulation, scene manipulation, and sparse-to-dense completion of LiDAR point clouds. While existing approaches have demonstrated the feasibility of image-based LiDAR data generation using deep generative models, they still struggle with fidelity and training stability. In this work, we present R2DM, a novel generative model for LiDAR data that can generate diverse and high-fidelity 3D scene point clouds based on the image representation of range and reflectance intensity. Our method is built upon denoising diffusion probabilistic models (DDPMs), which have shown impressive results among generative model frameworks in recent years. To effectively train DDPMs in the LiDAR domain, we first conduct an in-depth analysis of data representation, loss functions, and spatial inductive biases. Leveraging our R2DM model, we also introduce a flexible LiDAR completion pipeline based on the powerful capabilities of DDPMs. We demonstrate that our method surpasses existing methods in generating tasks on the KITTI-360 and KITTI-Raw datasets, as well as in the completion task on the KITTI-360 dataset. Our project page can be found at https://kazuto1011.github.io/r2dm.


title: Characterization and Modeling of Silicon-on-Insulator Lateral Bipolar Junction Transistors at Liquid Helium Temperature

abstract: Conventional silicon bipolars are not suitable for low-temperature operation due to the deterioration of current gain ($\beta$). In this paper, we characterize lateral bipolar junction transistors (LBJTs) fabricated on silicon-on-insulator (SOI) wafers down to liquid helium temperature (4 K). The positive SOI substrate bias could greatly increase the collector current and have a negligible effect on the base current, which significantly alleviates $\beta$ degradation at low temperatures. We present a physical-based compact LBJT model for 4 K simulation, in which the collector current ($\textit{I}_\textbf{C}$) consists of the tunneling current and the additional current component near the buried oxide (BOX)/silicon interface caused by the substrate modulation effect. This model is able to fit the Gummel characteristics of LBJTs very well and has promising applications in amplifier circuits simulation for silicon-based qubits signals.


title: Global Convergence of SGD For Logistic Loss on Two Layer Neural Nets

abstract: In this note, we demonstrate a first-of-its-kind provable convergence of SGD to the global minima of appropriately regularized logistic empirical risk of depth $2$ nets -- for arbitrary data and with any number of gates with adequately smooth and bounded activations like sigmoid and tanh. We also prove an exponentially fast convergence rate for continuous time SGD that also applies to smooth unbounded activations like SoftPlus. Our key idea is to show the existence of Frobenius norm regularized logistic loss functions on constant-sized neural nets which are "Villani functions" and thus be able to build on recent progress with analyzing SGD on such objectives.


title: The dual of z-submodules of modules and some of extensions

abstract: Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduced the dual notion of z-submodules of M and some of extensions. Moreover, we investigate some properties of these classes of modules when M is a coreduced comultiplication R-module.


title: Visualizing the Zhang-Rice singlet, molecular orbitals and pair formation in cuprate

abstract: The parent compound of cuprates is a charge-transfer-type Mott insulator with strong hybridization between the Cu $3d_{\mathrm x^2-y^2}$ and O $2p$ orbitals. A key question concerning the pairing mechanism is the behavior of doped holes in the antiferromagnetic (AF) Mott insulator background, which is a prototypical quantum many-body problem. It was proposed that doped hole on the O site tends to form a singlet, known as Zhang-Rice singlet (ZRS), with the unpaired Cu spin. But experimentally little is known about the properties of a single hole and the interplay between them that leads to superconductivity. Here we use scanning tunneling microscopy to visualize the electronic states in hole-doped $\mathrm{Ca_2CuO_2Cl_2}$, aiming to establish the atomic-scale local basis for pair formation. A single doped hole is shown to have an in-gap state and a clover-shaped spatial distribution that can be attributed to a localized ZRS. When the dopants are close enough, they develop delocalized molecular orbitals with characteristic stripe- and ladder-shaped patterns, accompanied by the opening of a small gap around the Fermi level ($E_{\mathrm F}$). With increasing doping, the molecular orbitals proliferate in space and gradually form densely packed plaquettes, but the stripe and ladder patterns remain nearly the same. The low-energy electronic states of the molecular orbitals are intimately related to the local pairing properties, thus play a vitally important role in the emergence of superconductivity. We propose that the Cooper pair is formed by two holes occupying the stripe-like molecular orbital, while the attractive interaction is mediated by the AF spin background.


title: Leveraging Large Language Models for Sequential Recommendation

abstract: Sequential recommendation problems have received increasing attention in research during the past few years, leading to the inception of a large variety of algorithmic approaches. In this work, we explore how large language models (LLMs), which are nowadays introducing disruptive effects in many AI-based applications, can be used to build or improve sequential recommendation approaches. Specifically, we devise and evaluate three approaches to leverage the power of LLMs in different ways. Our results from experiments on two datasets show that initializing the state-of-the-art sequential recommendation model BERT4Rec with embeddings obtained from an LLM improves NDCG by 15-20% compared to the vanilla BERT4Rec model. Furthermore, we find that a simple approach that leverages LLM embeddings for producing recommendations, can provide competitive performance by highlighting semantically related items. We publicly share the code and data of our experiments to ensure reproducibility.


title: PromptVC: Flexible Stylistic Voice Conversion in Latent Space Driven by Natural Language Prompts

abstract: Style voice conversion aims to transform the style of source speech to a desired style according to real-world application demands. However, the current style voice conversion approach relies on pre-defined labels or reference speech to control the conversion process, which leads to limitations in style diversity or falls short in terms of the intuitive and interpretability of style representation. In this study, we propose PromptVC, a novel style voice conversion approach that employs a latent diffusion model to generate a style vector driven by natural language prompts. Specifically, the style vector is extracted by a style encoder during training, and then the latent diffusion model is trained independently to sample the style vector from noise, with this process being conditioned on natural language prompts. To improve style expressiveness, we leverage HuBERT to extract discrete tokens and replace them with the K-Means center embedding to serve as the linguistic content, which minimizes residual style information. Additionally, we deduplicate the same discrete token and employ a differentiable duration predictor to re-predict the duration of each token, which can adapt the duration of the same linguistic content to different styles. The subjective and objective evaluation results demonstrate the effectiveness of our proposed system.


title: Zariski invariant for quasi-ordinary hypersurfaces

abstract: We introduced an $\tilde{\mathcal{A}}$-invariant for quasi-ordinary parameterizations and we consider it to describe quasi-ordinary surfaces with one generalized characteristic exponent admitting a countable moduli.


title: Code quality assessment using transformers

abstract: Automatically evaluate the correctness of programming assignments is rather straightforward using unit and integration tests. However, programming tasks can be solved in multiple ways, many of which, although correct, are inelegant. For instance, excessive branching, poor naming or repetitiveness make the code hard to understand and maintain. These subjective qualities of code are hard to automatically assess using current techniques. In this work we investigate the use of CodeBERT to automatically assign quality score to Java code. We experiment with different models and training paradigms. We explore the accuracy of the models on a novel dataset for code quality assessment. Finally, we assess the quality of the predictions using saliency maps. We find that code quality to some extent is predictable and that transformer based models using task adapted pre-training can solve the task more efficiently than other techniques.


title: Higher-order interactions induce anomalous transitions to synchrony

abstract: We analyze the simplest model of identical coupled phase oscillators subject to two-body and three-body interactions with permutation symmetry. This model is derived from an ensemble of weakly coupled nonlinear oscillators by phase reduction. Our study indicates that higher-order interactions induce anomalous transitions to synchrony. Unlike the conventional Kuramoto model, higher-order interactions lead to anomalous phenomena such as multistability of full synchronization, incoherent, and two-cluster states, and transitions to synchrony through slow switching and clustering. Phase diagrams of the dynamical regimes are constructed theoretically and verified by direct numerical simulations. We also show that similar transition scenarios are observed even if a small heterogeneity in the oscillators' frequency is included.


title: Conservation and breaking of pseudospin symmetry

abstract: Pseudospin symmetry (PSS) is a relativistic dynamical symmetry connected with the lower component of the Dirac spinor. Here, we investigate the conservation and breaking of PSS in the single-nucleon resonant states, as an example, using Green's function method that provides a novel way to precisely describe not only the resonant energies and widths but also the spacial density distributions for both narrow and wide resonances. The PSS restoration and breaking are perfectly displayed in the evolution of resonant parameters and density distributions with the potential depth: In the PSS limit, i.e., when the attractive scalar and repulsive vector potentials have the same magnitude but opposite sign, PSS is exactly conserved with strictly the same energy and width between the PS partners as well as identical density distributions of the lower components. As the potential depth increases, the PSS is broken gradually with energy and width splittings and a phase shift in the density distributions.


title: Toric sheaves and flips

abstract: Any toric flip naturally induces an equivalence between the associated categories of equivariant reflexive sheaves, and we investigate how slope stability behaves through this functor. On one hand, for a fixed toric sheaf, and natural polarisations that make the exceptional loci small, we provide a simple numerical criterion that characterizes when slope stability is preserved through the flip. On the other hand, for a given flip, we introduce full subcategories of logarithmic toric sheaves and characterize when polystability is preserved for all toric sheaves in those subcategories at once.


title: Discrete-time Control Barrier Functions for Guaranteed Recursive Feasibility in Nonlinear MPC: An Application to Lane Merging

abstract: In this paper, we present conditions under which the terminal ingredients, defined by discrete-time control barrier function (DTCBF) certificates, guarantee recursive feasibility in nonlinear MPC. Further, we introduce the notion of quasi-DTCBF (qDTCBF) certificates. Compared to DTCBFs, qDTCBF conditions can be satisfied with tighter control input bounds, which is highly advantageous if only limited actuation is possible. Both certificates encourage an earlier reaction of the control system and result in a lower cumulative MPC cost. The methodology is applied to a lane merging problem in automated driving, in which DTCBF and qDTCBF certificates subject to input constraints form the terminal ingredients to guarantee recursive feasibility of the nonlinear MPC scheme. A simulation study demonstrates the efficacy of the concept.


title: Unify the effect of anharmonicity in double-wells and anharmonic oscillators

abstract: We study the effect of anharmonicity in quantum anharmonic oscillators, by computing the energy gap between the ground and the 1st excited state using the numerical bootstrap method. Based on perturbative formulae of limiting coupling regimes, we propose a qualitative formula of the energy gap across all coupling values. Except detailed numerical parameter values, the proposed formula has the same functional form as the formula of ground state level splitting of double-well potentials, proposed recently in arXiv:2308.11516. This unifies the effects of anharmonicity in both the anharmonic oscillators and the double-well potentials, although the underlying physical process of them are completely different. We give an explanation of this connection of their anharmonicity from the viewpoint of quantum phase transitions. This connection is justified up to the octic anharmonicities by the numerical bootstrap.


title: Continuous Modeling of the Denoising Process for Speech Enhancement Based on Deep Learning

abstract: In this paper, we explore a continuous modeling approach for deep-learning-based speech enhancement, focusing on the denoising process. We use a state variable to indicate the denoising process. The starting state is noisy speech and the ending state is clean speech. The noise component in the state variable decreases with the change of the state index until the noise component is 0. During training, a UNet-like neural network learns to estimate every state variable sampled from the continuous denoising process. In testing, we introduce a controlling factor as an embedding, ranging from zero to one, to the neural network, allowing us to control the level of noise reduction. This approach enables controllable speech enhancement and is adaptable to various application scenarios. Experimental results indicate that preserving a small amount of noise in the clean target benefits speech enhancement, as evidenced by improvements in both objective speech measures and automatic speech recognition performance.


title: Homological Shift Ideals: Macaulay2 Package

abstract: We introduce the Macaulay2 package HomologicalShiftIdeals. It allows to compute the homological shift ideals of a monomial ideal, and to check the homological shift properties, including having linear resolution, having linear quotients, or being polymatroidal. The theory behind these concepts is explained and the main features of the package are presented.


title: Deep Neighbor Layer Aggregation for Lightweight Self-Supervised Monocular Depth Estimation

abstract: With the frequent use of self-supervised monocular depth estimation in robotics and autonomous driving, the model's efficiency is becoming increasingly important. Most current approaches apply much larger and more complex networks to improve the precision of depth estimation. Some researchers incorporated Transformer into self-supervised monocular depth estimation to achieve better performance. However, this method leads to high parameters and high computation. We present a fully convolutional depth estimation network using contextual feature fusion. Compared to UNet++ and HRNet, we use high-resolution and low-resolution features to reserve information on small targets and fast-moving objects instead of long-range fusion. We further promote depth estimation results employing lightweight channel attention based on convolution in the decoder stage. Our method reduces the parameters without sacrificing accuracy. Experiments on the KITTI benchmark show that our method can get better results than many large models, such as Monodepth2, with only 30 parameters. The source code is available at https://github.com/boyagesmile/DNA-Depth.


title: Asymptotic Analysis of the Downlink in Cooperative Massive MIMO Systems

abstract: We consider the downlink of a cooperative cellular communications system, where several base-stations around each mobile cooperate and perform zero-forcing to reduce the received interference at the mobile. We derive closed-form expressions for the asymptotic performance of the network as the number of antennas per base station grows large. These expressions capture the trade off between various system parameters, and characterize the joint effect of noise and interference (where either noise or interference is asymptotically dominant and where both are asymptotically relevant). The asymptotic results are verified using Monte Carlo simulations, which indicate that they are useful even when the number of antennas per base station is only moderately large. Additionally, we show that when the number of antennas per base station grows large, power allocation can be optimized locally at each base station. We hence present a power allocation algorithm that achieves near optimal performance while significantly reducing the coordination overhead between base stations. The presented analysis is significantly more challenging than the uplink analysis, due to the dependence between beamforming vectors of nearby base stations. This statistical dependence is handled by introducing novel bounds on marked shot-noise point processes with dependent marks, which are also useful in other contexts.


title: Leveraging Social Discourse to Measure Check-worthiness of Claims for Fact-checking

abstract: The expansion of online social media platforms has led to a surge in online content consumption. However, this has also paved the way for disseminating false claims and misinformation. As a result, there is an escalating demand for a substantial workforce to sift through and validate such unverified claims. Currently, these claims are manually verified by fact-checkers. Still, the volume of online content often outweighs their potency, making it difficult for them to validate every single claim in a timely manner. Thus, it is critical to determine which assertions are worth fact-checking and prioritize claims that require immediate attention. Multiple factors contribute to determining whether a claim necessitates fact-checking, encompassing factors such as its factual correctness, potential impact on the public, the probability of inciting hatred, and more. Despite several efforts to address claim check-worthiness, a systematic approach to identify these factors remains an open challenge. To this end, we introduce a new task of fine-grained claim check-worthiness, which underpins all of these factors and provides probable human grounds for identifying a claim as check-worthy. We present CheckIt, a manually annotated large Twitter dataset for fine-grained claim check-worthiness. We benchmark our dataset against a unified approach, CheckMate, that jointly determines whether a claim is check-worthy and the factors that led to that conclusion. We compare our suggested system with several baseline systems. Finally, we report a thorough analysis of results and human assessment, validating the efficacy of integrating check-worthiness factors in detecting claims worth fact-checking.


title: Breakdown in vehicular traffic: driver over-acceleration, not over-reaction

abstract: Contrary to a wide-accepted assumption about the decisive role of driver over-reaction for breakdown in vehicular traffic, we have shown that the cause of the breakdown is driver over-acceleration, not driver over-reaction. To reach this goal, we have introduced a mathematical approach for the description of driver over-acceleration in a microscopic traffic flow model. The model, in which no driver over-reaction occurs, explains all observed empirical nucleation features of traffic breakdown.


title: MVP: Meta Visual Prompt Tuning for Few-Shot Remote Sensing Image Scene Classification

abstract: Vision Transformer (ViT) models have recently emerged as powerful and versatile models for various visual tasks. Recently, a work called PMF has achieved promising results in few-shot image classification by utilizing pre-trained vision transformer models. However, PMF employs full fine-tuning for learning the downstream tasks, leading to significant overfitting and storage issues, especially in the remote sensing domain. In order to tackle these issues, we turn to the recently proposed parameter-efficient tuning methods, such as VPT, which updates only the newly added prompt parameters while keeping the pre-trained backbone frozen. Inspired by VPT, we propose the Meta Visual Prompt Tuning (MVP) method. Specifically, we integrate the VPT method into the meta-learning framework and tailor it to the remote sensing domain, resulting in an efficient framework for Few-Shot Remote Sensing Scene Classification (FS-RSSC). Furthermore, we introduce a novel data augmentation strategy based on patch embedding recombination to enhance the representation and diversity of scenes for classification purposes. Experiment results on the FS-RSSC benchmark demonstrate the superior performance of the proposed MVP over existing methods in various settings, such as various-way-various-shot, various-way-one-shot, and cross-domain adaptation.


title: Fairness for All: Investigating Harms to Within-Group Individuals in Producer Fairness Re-ranking Optimization -- A Reproducibility Study

abstract: Recommender systems are widely used to provide personalized recommendations to users. Recent research has shown that recommender systems may be subject to different types of biases, such as popularity bias, leading to an uneven distribution of recommendation exposure among producer groups. To mitigate this, producer-centered fairness re-ranking (PFR) approaches have been proposed to ensure equitable recommendation utility across groups. However, these approaches overlook the harm they may cause to within-group individuals associated with colder items, which are items with few or no interactions. This study reproduces previous PFR approaches and shows that they significantly harm colder items, leading to a fairness gap for these items in both advantaged and disadvantaged groups. Surprisingly, the unfair base recommendation models were providing greater exposure opportunities to these individual cold items, even though at the group level, they appeared to be unfair. To address this issue, the study proposes an amendment to the PFR approach that regulates the number of colder items recommended by the system. This modification achieves a balance between accuracy and producer fairness while optimizing the selection of colder items within each group, thereby preventing or reducing harm to within-group individuals and augmenting the novelty of all recommended items. The proposed method is able to register an increase in sub-group fairness (SGF) from 0.3104 to 0.3782, 0.6156, and 0.9442 while also improving group-level fairness (GF) (112% and 37% with respect to base models and traditional PFR). Moreover, the proposed method achieves these improvements with minimal or no reduction in accuracy (or even an increase sometimes). We evaluate the proposed method on various recommendation datasets and demonstrate promising results independent of the underlying model or datasets.


title: First double mode of the Poisson distribution of order $k$

abstract: The Poisson distribution of order $k$ is a special case of a compound Poisson distribution. For $k=1$ it is the standard Poisson distribution. Our focus in this note is for $k\ge2$. For sufficiently small values of the rate parameter $\lambda$, both the median and mode equal zero. The median is zero if and only if $\lambda \le (\ln2)/k$. The supremum value of $\lambda$ for the mode to be zero is known only for small values of $k$. This note presents results for the "first double mode" by which is meant the first occasion (smallest value of $\lambda$) the distribution is bimodal, with modes at $0$ and $m>0$. Next, an almost complete answer is supplied to the question "which positive integers cannot be modes of the Poisson distribution of order $k$?" The term "almost complete" signifies that some parts of the answer are conjectures based on numerical searches. However, if the conjectures are proved to be correct, the solution presented in this note is complete: all parameter values are covered.


title: Sufficient conditions for fractional [a,b]-deleted graphs

abstract: Let $a$ and $b$ be two positive integers with $a\leq b$, and let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. Let $h:E(G)\rightarrow[0,1]$ be a function. If $a\leq\sum\limits_{e\in E_G(v)}{h(e)}\leq b$ holds for every $v\in V(G)$, then the subgraph of $G$ with vertex set $V(G)$ and edge set $F_h$, denoted by $G[F_h]$, is called a fractional $[a,b]$-factor of $G$ with indicator function $h$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$ and $F_h=\{e\in E(G):h(e)>0\}$. A graph $G$ is defined as a fractional $[a,b]$-deleted graph if for any $e\in E(G)$, $G-e$ contains a fractional $[a,b]$-factor. The size, spectral radius and signless Laplacian spectral radius of $G$ are denoted by $e(G)$, $\rho(G)$ and $q(G)$, respectively. In this paper, we establish a lower bound on the size, spectral radius and signless Laplacian spectral radius of a graph $G$ to guarantee that $G$ is a fractional $[a,b]$-deleted graph.


title: Breit interaction overtaking Coulomb force at low energies: an unexpectedly efficient mechanism for ionization in slow collisions

abstract: It is generally assumed that ionization in slow collisions of light atomic particles, whose constituents (electrons and nuclei) move with velocities orders of magnitude smaller than the speed of light, is driven solely by the Coulomb force. Here we show, however, that the Breit interaction -- a relativistic correction to the Coulomb interaction between electrons -- can become the main actor when the colliding system couples resonantly to the quantum radiation field. Our results demonstrate that this ionization mechanism can be very efficient in various not too dense physical environments, including stellar plasmas and atomic beams propagating in gases.


title: Study of the effects of external imaginary electric field and chiral chemical potential on quark matter

abstract: The behavior of quark matter with both external electric field and chiral chemical potential is theoretically and experimentally interesting to consider. In this paper, the case of simultaneous presence of imaginary electric field and chiral chemical potential is investigated using the lattice QCD approach with $N_f=1+1$ dynamical staggered fermions. We find that overall both the imaginary electric field and the chiral chemical potential can exacerbate chiral symmetry breaking, which is consistent with theoretical predictions. However we also find a non-monotonic behavior of chiral condensation at specific electric field strengths and chiral chemical potentials. In addition to this, we find that the behavior of Polyakov loop in the complex plane is not significantly affected by chiral chemical potential in the region of the parameters consider in this paper.


title: Integration of Ocean Literacy into Physics Learning

abstract: Indonesia will be projected to be maritime axis in the world. Indonesian potential as a maritime country inspires Nawacita vision established by Joko Widodo in his cabinet. This ambitions must be supported by coastal communities. The province of West Sulawesi has a long coastal territory than other provinces in Indonesia. It should be exploited to promote the realization of Nawacita for the better Indonesia in the future. In education sector, 2013 curriculum introduces that teachers must implement scientific approach to their learning. Physics is one of the subjects that is still considered difficult by students. It will be more complex when it is taught by scientific approach. In other hand, physics is one of the most important subjects in preparing high school students for their job in science and technology. Contextual learning could be a solution in delivering physics to students. Without forgetting the 2013 curriculum, physics learning in the context of ocean literacy owned by West Sulawesi can lead students to gain meaningful experience. Based on these considerations, this article will discuss how to integrate ocean literacy into physics learning.


title: Regularity for one-phase Bernoulli problems with discontinuous weights and applications

abstract: We study a one-phase Bernoulli free boundary problem with weight function admitting a discontinuity along a smooth jump interface. In any dimension $N\ge 2$, we show the $C^{1, \alpha}$ regularity of the free boundary outside of a singular set of Hausdorff dimension at most $N-3$. In particular, we prove that the free boundaries are $C^{1, \alpha}$ regular in dimension $N=2$, while in dimension $N=3$ the singular set can contain at most a finite number of points. We use this result to construct singular free boundaries in dimension $N=2$, which are minimizing for one-phase functionals with weight functions in $L^\infty$ that are arbitrarily close to a positive constant.


title: Is the Local Ion Density Sufficient to Drive NaCl Nucleation from the Melt and Aqueous Solution?

abstract: Even though nucleation is ubiquitous in different science and engineering problems, investigating nucleation is extremely difficult due to the complicated ranges of time and length scales involved. In this work, we simulate NaCl nucleation in both molten and aqueous environments using enhanced sampling all-atom molecular dynamics with deep learning-based estimation of reaction coordinates. By incorporating various structural order parameters and learning the reaction coordinate as a function thereof, we achieve significantly improved sampling relative to traditional ad hoc descriptions of what drives nucleation, particularly in the aqueous medium. Our results reveal a one-step nucleation mechanism in both environments, with reaction coordinate analysis highlighting the importance of local ion density in distinguishing solid and liquid states. However, while fluctuations in the local ion density are necessary to drive nucleation, they are not sufficient. Our analysis shows that near the transition states, descriptors such as enthalpy and local structure become crucial. Our protocol proposed here enables robust nucleation analysis and phase sampling, and could offer insights into nucleation mechanisms for generic small molecules in different environments.


title: Persistent vibrational structure in $^{110-116}$Cd

abstract: The empirical spectra and $E2$ decay rates in $^{110,112,114,116}$Cd are shown to be consistent with a vibrational interpretation for low-lying normal states, coexisting with a single deformed $\gamma$-soft band of intruder states. The observed deviations from this paradigm show up in particular non-yrast states, which are properly described by a Hamiltonian with U(5) partial dynamical symmetry. The latter is characterized by a good (broken) symmetry in most (in selected) normal states, weakly coupled to intruder states.


title: Interaction of in-plane waves with a structured penetrable line defect in an elastic lattice

abstract: We consider the scattering of in-plane waves that interact with an edge of a structured {penetrable (inertial)} line defect contained in a triangular lattice, composed of periodically placed masses interconnected by massless elastic rods. The steady state problem for time-harmonic excitation is converted into a vector Wiener-Hopf equation using Fourier transform. The matrix Wiener-Hopf kernel of this equation describes all dynamic phenomena engaged in the scattering process, which includes instances where localised interfacial waves can emerge along structured defect. This information is exploited to identify the dependency of the existence of these waves on the incident wave parameters and properties of the inertial defect. The symmetry in the structure of scattering medium allows us to convert the vectorial problem into a pair of scalar Wiener-Hopf equations posed along the lattice row containing the defect. The solution embodies the exact representation of scattered field, in terms of a contour integral in the complex plane, that includes the contributions of evanescent and propagating waves. The solution reveals that in the remote lattice, the reflected and transmitted components of incident field are {accompanied by dynamic modes from three distinct symmetry classes in addition to localised interfacial waves}. These classes correspond to tensile modes acting transverse to the defected lattice row, shear modes that act parallel to this row, and wave modes represented as a mixture of these two responses. Benchmark finite element calculations are provided to validate results against the obtained semi-analytical solution, which involve numerical computations of the contour integrals. Graphical illustrations demonstrate special dynamic responses encountered during the wave scattering process, including dynamic anisotropy, negative reflection and negative refraction.

categories: physics.class-ph math-ph math.CV math.MP


title: Modeling Volatility of Disaster-Affected Populations: A Non-Homogeneous Geometric-Skew Brownian Motion Approach

abstract: This paper delves into the impact of natural disasters on affected populations and underscores the imperative of reducing disaster-related fatalities through proactive strategies. On average, approximately 45,000 individuals succumb annually to natural disasters amid a surge in economic losses. The paper explores catastrophe models for loss projection, emphasizes the necessity of evaluating volatility in disaster risk, and introduces an innovative model that integrates historical data, addresses data skewness, and accommodates temporal dependencies to forecast shifts in mortality. To this end, we introduce a time-varying skew Brownian motion model, for which we provide proof of the solution's existence and uniqueness. In this model, parameters change over time, and past occurrences are integrated via volatility.


title: Sound Source Distance Estimation in Diverse and Dynamic Acoustic Conditions

abstract: Localizing a moving sound source in the real world involves determining its direction-of-arrival (DOA) and distance relative to a microphone. Advancements in DOA estimation have been facilitated by data-driven methods optimized with large open-source datasets with microphone array recordings in diverse environments. In contrast, estimating a sound source's distance remains understudied. Existing approaches assume recordings by non-coincident microphones to use methods that are susceptible to differences in room reverberation. We present a CRNN able to estimate the distance of moving sound sources across multiple datasets featuring diverse rooms, outperforming a recently-published approach. We also characterize our model's performance as a function of sound source distance and different training losses. This analysis reveals optimal training using a loss that weighs model errors as an inverse function of the sound source true distance. Our study is the first to demonstrate that sound source distance estimation can be performed across diverse acoustic conditions using deep learning.


title: Two-dimensional UV femtosecond stimulated Raman spectroscopy for molecular polaritons: dark states and beyond

abstract: We have developed a femtosecond ultra-voilet (UV) stimulated Raman spectroscopy (UV-FSRS) for $N$ molecules in optical cavities. The scheme enables a real-time monitoring of collective dynamics of molecular polaritons and their coupling to vibrations, along with a crosstalk between polariton and dark states. Through multidimensional projections of the UV-FSRS signal, we identify clear signature of the dark states, e.g., pathways and timescales that used to be invisible in resonant technique. A microscopic theory is developed for the UV-FSRS, so as to reveal the polaritonic population and coherence dynamics that interplay with each other. The resulting signal makes the dark states visible, thereby providing a new technique for probing dark state dynamics and their correlation with polariton modes.


title: Coarse-Graining with Equivariant Neural Networks: A Path Towards Accurate and Data-Efficient Models

abstract: Machine learning has recently entered into the mainstream of coarse-grained (CG) molecular modeling and simulation. While a variety of methods for incorporating deep learning into these models exist, many of them involve training neural networks to act directly as the CG force field. This has several benefits, the most significant of which is accuracy. Neural networks can inherently incorporate multi-body effects during the calculation of CG forces, and a well-trained neural network force field outperforms pairwise basis sets generated from essentially any methodology. However, this comes at a significant cost. First, these models are typically slower than pairwise force fields even when accounting for specialized hardware which accelerates the training and integration of such networks. The second, and the focus of this paper, is the need for the considerable amount of data needed to train such force fields. It is common to use 10s of microseconds of molecular dynamics data to train a single CG model, which approaches the point of eliminating the CG models usefulness in the first place. As we investigate in this work, this data-hunger trap from neural networks for predicting molecular energies and forces can be remediated in part by incorporating equivariant convolutional operations. We demonstrate that for CG water, networks which incorporate equivariant convolutional operations can produce functional models using datasets as small as a single frame of reference data, while networks without these operations cannot.


title: OSmosis: No more D\'ej\`a vu in OS isolation

abstract: Operating systems provide an abstraction layer between the hardware and higher-level software. Many abstractions, such as threads, processes, containers, and virtual machines, are mechanisms to provide isolation. New application scenarios frequently introduce new isolation mechanisms. Implementing each isolation mechanism as an independent abstraction makes it difficult to reason about the state and resources shared among different tasks, leading to security vulnerabilities and performance interference. We present OSmosis, an isolation model that expresses the precise level of resource sharing, a framework in which to implement isolation mechanisms based on the model, and an implementation of the framework on seL4. The OSmosis model lets the user determine the degree of isolation guarantee that they need from the system. This determination empowers developers to make informed decisions about isolation and performance trade-offs, and the framework enables them to create mechanisms with the desired degree of isolation.


title: An Auto-Parallelizer for Distributed Computing in Haskell

abstract: One of the main challenges in distributed computing is building interfaces and APIs that allow programmers with limited background in distributed systems to write scalable, performant, and fault-tolerant applications on large clusters. In this demonstration, we designed and implemented a Haskell auto-parallelizer with a simple yet powerful interface by taking advantage of the default purity of Haskell functions. Finally, we benchmarked our implementation on a set of examples to illustrate the potential for future work in this direction.


title: Star formation in CALIFA survey perturbed galaxies.III. Stellar & ionized-gas kinematic distributions

abstract: We obtain the kinematic distributions of stars (synthetic model line absorption) and ionized gas (H$\alpha$ line emission) for star-forming regions residing in CALIFA survey tidally perturbed (perturbed) and non-tidally perturbed (control) galaxies. We set the uncertainties of the velocity dispersion by measuring the statistical variability of the datasets themselves. Using these adopted uncertainties and considering the sensitivity of the grating device, we establish thresholds of reliability that allow us to select reliable velocity dispersions. From this selection, we pair the star-forming spaxels between control and perturbed galaxies at the closest shifts in velocity (de-redshifting). We compare their respective distributions of velocity dispersion. In perturbed galaxies, median velocity dispersions for the stellar and gaseous components are minimally higher and equal, respectively, than those in control galaxies. The spread in velocity dispersion and the velocity shift - velocity dispersion space agree with this result. Unlike the well-known trend in strongly interacting systems, the stellar and ionized-gas motions are not disturbed by the influence of close companions. For the gaseous component, this result is due to the poor statistical variability of its data, a consequence of the tightness in velocity dispersion derived from high spectral line intensities. This analysis concludes the series, which previously showed star-forming regions in galaxies with close companions undergoing more prominent gas inflows, resulting in differences in their star formation and consequent metal content.