title: Searching for gravitational wave optical counterparts with the Zwicky Transient Facility: summary of O4a

abstract: During the first half of the fourth observing run (O4a) of the International Gravitational Wave Network (IGWN), the Zwicky Transient Facility (ZTF) conducted a systematic search for kilonova (KN) counterparts to binary neutron star (BNS) and neutron star-black hole (NSBH) merger candidates. Here, we present a comprehensive study of the five high-significance (FAR < 1 per year) BNS and NSBH candidates in O4a. Our follow-up campaigns relied on both target-of-opportunity observations (ToO) and re-weighting of the nominal survey schedule to maximize coverage. We describe the toolkit we have been developing, Fritz, an instance of SkyPortal, instrumental in coordinating and managing our telescope scheduling, candidate vetting, and follow-up observations through a user-friendly interface. ZTF covered a total of 2841 deg$^2$ within the skymaps of the high-significance GW events, reaching a median depth of g~20.2 mag. We circulated 15 candidates, but found no viable KN counterpart to any of the GW events. Based on the ZTF non-detections of the high-significance events in O4a, we used a Bayesian approach, nimbus, to quantify the posterior probability of KN model parameters that are consistent with our non-detections. Our analysis favors KNe with initial absolute magnitude fainter than -16 mag. The joint posterior probability of a GW170817-like KN associated with all our O4a follow-ups was 64%. Additionally, we use a survey simulation software, simsurvey, to determine that our combined filtered efficiency to detect a GW170817-like KN is 36%, when considering the 5 confirmed astrophysical events in O3 (1 BNS and 4 NSBH), along with our O4a follow-ups. Following Kasliwal et al. (2020), we derived joint constraints on the underlying KN luminosity function based on our O3 and O4a follow-ups, determining that no more than 76% of KNe fading at 1 mag/day can peak at a magnitude brighter than -17.5 mag.


title: A Phase Space Approach to Vibrational Circular Dichroism

abstract: We show empirically that a phase-space non-Born-Oppenheimer electronic Hamiltonian approach to quantum chemistry (where the electronic Hamiltonian is parameterized by both nuclear position and momentum, (H(R,P)) is both a practical and accurate means to recover vibrational circular dichroism spectra. We further hypothesize that such a phase space approach may lead to very new dynamical physics beyond spectroscopy circular dichroism, with potential implications for understanding chiral induced spin selectivity (CISS), noting that classical phase space approaches conserve the total nuclear plus electronic momentum, whereas classical Born-Oppenheimer approaches do not (they conserve only the nuclear momentum)


title: Observation of unprecedented fractional magnetization plateaus in a new Shastry-Sutherland Ising compound

abstract: Geometrically frustrated magnetic systems, such as those based on the Shastry-Sutherland lattice, offer a rich playground for exploring unconventional magnetic states. The delicate balance between competing interactions in these systems leads to the emergence of novel phases. We present the characterization of Er2Be2GeO7, an SSL compound with Er3+ ions forming orthogonal dimers separated by non-magnetic layers. Neutron scattering reveals an antiferromagnetic dimer structure at zero field, typical of Ising spins on that lattice and consistent with the anisotropic magnetization observed. However, magnetization measurements exhibit fractional plateaus at 1/4 and 1/2 of saturation, by contrast to the expected 1/3 plateau of the SSL Ising model. We show that this behaviour requires spatially anisotropic interactions, and, using a tensor network approach, we show that all properties, including thermodynamics, can be quantitatively explained by an Anisotropic Shastry-Sutherland Ising Model whose microscopic origin can be traced back to Dzyaloshinskii-Moriya interactions. This study highlights Er2Be2GeO7 as a promising platform for investigating exotic magnetic phenomena and potential applications in spintronics.


title: Ground state nature and nonlinear squeezing of Gottesman-Kitaev-Preskill states

abstract: The main bottleneck for universal quantum computation with traveling light is the preparation of Gottesman-Kitaev-Preskill states of sufficient quality. This is an extremely challenging task, experimental as well as theoretical, also because there is currently no single easily computable measure of quality for these states. We introduce such measure, GKP squeezing, and show how it is related to the current ways of characterizing the states. The measure is easy to compute and can be easily employed in state preparation as well as verification of experimental results.


title: Segmentation of dense and multi-species bacterial colonies achieved using models trained on synthetic microscopy images

abstract: The spread of microbial infections is governed by the self-organization of bacteria on surfaces. Limitations of live imaging techniques make collective behaviors in clinically relevant systems challenging to quantify. Here, novel experimental and image analysis techniques for high-fidelity single-cell segmentation of bacterial colonies are developed. Machine learning-based segmentation models are trained solely using synthetic microscopy images that are processed to look realistic using state-of-the-art image-to-image translation methods, requiring no biophysical modeling. Accurate single-cell segmentation is achieved for densely packed single-species colonies and multi-species colonies of common pathogenic bacteria, even under suboptimal imaging conditions and for both brightfield and confocal laser scanning microscopy. The resulting data provide quantitative insights into the self-organization of bacteria on soft surfaces. Thanks to their high adaptability and relatively simple implementation, these methods promise to greatly facilitate quantitative descriptions of bacterial infections in varied environments.


title: Flexible Active Safety Motion Control for Robotic Obstacle Avoidance: A CBF-Guided MPC Approach

abstract: A flexible active safety motion (FASM) control approach is proposed for the avoidance of dynamic obstacles and the reference tracking in robot manipulators. The distinctive feature of the proposed method lies in its utilization of control barrier functions (CBF) to design flexible CBF-guided safety criteria (CBFSC) with dynamically optimized decay rates, thereby offering flexibility and active safety for robot manipulators in dynamic environments. First, discrete-time CBFs are employed to formulate the novel flexible CBFSC with dynamic decay rates for robot manipulators. Following that, the model predictive control (MPC) philosophy is applied, integrating flexible CBFSC as safety constraints into the receding-horizon optimization problem. Significantly, the decay rates of the designed CBFSC are incorporated as decision variables in the optimization problem, facilitating the dynamic enhancement of flexibility during the obstacle avoidance process. In particular, a novel cost function that integrates a penalty term is designed to dynamically adjust the safety margins of the CBFSC. Finally, experiments are conducted in various scenarios using a Universal Robots 5 (UR5) manipulator to validate the effectiveness of the proposed approach.


title: HD 110067 c has an aligned orbit

abstract: Planetary systems in mean motion resonances hold a special place among the planetary population. They allow us to study planet formation in great detail as dissipative processes are thought to have played an important role in their existence. Additionally, planetary masses in bright resonant systems may be independently measured both by radial velocities (RVs) and transit timing variations (TTVs). In principle, they also allow us to quickly determine the inclination of all planets in the system, as for the system to be stable, they are likely all in coplanar orbits. To describe the full dynamical state of the system, we also need the stellar obliquity that provides the orbital alignment of a planet with respect to the spin of their host star and can be measured thanks to the Rossiter-McLaughlin effect. It was recently discovered that HD 110067 harbours a system of six sub-Neptunes in resonant chain orbits. We here analyze an ESPRESSO high-resolution spectroscopic time series of HD 110067 during the transit of planet c. We find the orbit of HD 110067 c to be well aligned with sky projected obliquity $\lambda =6^{+24}_{-26}$ deg. This result is indicative that the current architecture of the system has been reached through convergent migration without any major disruptive events. Finally, we report transit-timing variation in this system as we find a significant offset of 19 $\pm$ 4 minutes in the center of the transit compared to the published ephemeris.


title: Local search for valued constraint satisfaction parameterized by treedepth

abstract: Sometimes local search algorithms cannot efficiently find even local peaks. To understand why, I look at the structure of ascents in fitness landscapes from valued constraint satisfaction problems (VCSPs). Given a VCSP with a constraint graph of treedepth $d$, I prove that from any initial assignment there always exists an ascent of length $2^{d + 1} \cdot n$ to a local peak. This means that short ascents always exist in fitness landscapes from constraint graphs of logarithmic treedepth, and thus also for all VCSPs of bounded treewidth. But this does not mean that local search algorithms will always find and follow such short ascents in sparse VCSPs. I show that with loglog treedepth, superpolynomial ascents exist; and for polylog treedepth, there are initial assignments from which all ascents are superpolynomial. Together, these results suggest that the study of sparse VCSPs can help us better understand the barriers to efficient local search.


title: Decomposing causality into its synergistic, unique, and redundant components

abstract: Causality lies at the heart of scientific inquiry, serving as the fundamental basis for understanding interactions among variables in physical systems. Despite its central role, current methods for causal inference face significant challenges due to nonlinear dependencies, stochastic interactions, self-causation, collider effects, and influences from exogenous factors, among others. While existing methods can effectively address some of these challenges, no single approach has successfully integrated all these aspects. Here, we address these challenges with SURD: Synergistic-Unique-Redundant Decomposition of causality. SURD quantifies causality as the increments of redundant, unique, and synergistic information gained about future events from past observations. The formulation is non-intrusive and applicable to both computational and experimental investigations, even when samples are scarce. We benchmark SURD in scenarios that pose significant challenges for causal inference and demonstrate that it offers a more reliable quantification of causality compared to previous methods.


title: On Measuring Calibration of Discrete Probabilistic Neural Networks

abstract: As machine learning systems become increasingly integrated into real-world applications, accurately representing uncertainty is crucial for enhancing their safety, robustness, and reliability. Training neural networks to fit high-dimensional probability distributions via maximum likelihood has become an effective method for uncertainty quantification. However, such models often exhibit poor calibration, leading to overconfident predictions. Traditional metrics like Expected Calibration Error (ECE) and Negative Log Likelihood (NLL) have limitations, including biases and parametric assumptions. This paper proposes a new approach using conditional kernel mean embeddings to measure calibration discrepancies without these biases and assumptions. Preliminary experiments on synthetic data demonstrate the method's potential, with future work planned for more complex applications.


title: Targeted Multilingual Adaptation for Low-resource Language Families

abstract: The "massively-multilingual" training of multilingual models is known to limit their utility in any one language, and they perform particularly poorly on low-resource languages. However, there is evidence that low-resource languages can benefit from targeted multilinguality, where the model is trained on closely related languages. To test this approach more rigorously, we systematically study best practices for adapting a pre-trained model to a language family. Focusing on the Uralic family as a test case, we adapt XLM-R under various configurations to model 15 languages; we then evaluate the performance of each experimental setting on two downstream tasks and 11 evaluation languages. Our adapted models significantly outperform mono- and multilingual baselines. Furthermore, a regression analysis of hyperparameter effects reveals that adapted vocabulary size is relatively unimportant for low-resource languages, and that low-resource languages can be aggressively up-sampled during training at little detriment to performance in high-resource languages. These results introduce new best practices for performing language adaptation in a targeted setting.


title: The Power of Two in Token Systems

abstract: In economies without monetary transfers, token systems serve as an alternative to sustain cooperation, alleviate free riding, and increase efficiency. This paper studies whether a token-based economy can be effective in marketplaces with thin exogenous supply. We consider a marketplace in which at each time period one agent requests a service, one agent provides the service, and one token (artificial currency) is used to pay for service provision. The number of tokens each agent has represents the difference between the amount of service provisions and service requests by the agent. We are interested in the behavior of this economy when very few agents are available to provide the requested service. Since balancing the number of tokens across agents is key to sustain cooperation, the agent with the minimum amount of tokens is selected to provide service among the available agents. When exactly one random agent is available to provide service, we show that the token distribution is unstable. However, already when just two random agents are available to provide service, the token distribution is stable, in the sense that agents' token balance is unlikely to deviate much from their initial endowment, and agents return to their initial endowment in finite expected time. Our results mirror the power of two choices paradigm in load balancing problems. Supported by numerical simulations using kidney exchange data, our findings suggest that token systems may generate efficient outcomes in kidney exchange marketplaces by sustaining cooperation between hospitals.


title: Distribution Steering for Discrete-Time Uncertain Ensemble Systems

abstract: Ensemble systems appear frequently in many engineering applications and, as a result, they have become an important research topic in control theory. These systems are best characterized by the evolution of their underlying state distribution. Despite the work to date, few results exist dealing with the problem of directly modifying (i.e., "steering") the distribution of an ensemble system. In addition, in most of the existing results, the distribution of the states of an ensemble of discrete-time systems is assumed to be Gaussian. However, in case the system parameters are uncertain, it is not always realistic to assume that the distribution of the system follows a Gaussian distribution, thus complicating the solution of the overall problem. In this paper, we address the general distribution steering problem for first-order discrete-time ensemble systems, where the distributions of the system parameters and the states are arbitrary with finite first few moments. Both linear and nonlinear system dynamics are considered using the method of power moments to transform the original infinite-dimensional problem into a finite-dimensional one. We also propose a control law for the ensuing moment system, which allows us to obtain the power moments of the desired control inputs. Finally, we solve the inverse problem to obtain the feasible control inputs from their corresponding power moments. We provide numerical results to validate our theoretical developments. These include cases where the parameter distribution is uniform, Gaussian, non-Gaussian, and multi-modal, respectively.


title: An explicit construction of the unitarily invariant quaternionic polynomial spaces on the sphere

abstract: The decomposition of the polynomials on the quaternionic unit sphere in $\Hd$ into irreducible modules under the action of the quaternionic unitary (symplectic) group and quaternionic scalar multiplication has been studied by several authors. Typically, these abstract decompositions into ``quaternionic spherical harmonics'' specify the irreducible representations involved and their multiplicities. The elementary constructive approach taken here gives an orthogonal direct sum of irreducibles, which can be described by some low-dimensional subspaces, to which commuting linear operators $L$ and $R$ are applied. These operators map harmonic polynomials to harmonic polynomials, and zonal polynomials to zonal polynomials. We give explicit formulas for the relevant ``zonal polynomials'' and describe the symmetries, dimensions, and ``complexity'' of the subspaces involved. Possible applications include the construction and analysis of desirable sets of points in quaternionic space, such as equiangular lines, lattices and spherical designs (cubature rules).


title: Cryogenic growth of tantalum thin films for low-loss superconducting circuits

abstract: Motivated by recent advancements highlighting Ta as a promising material in low-loss superconducting circuits and showing long coherence times in superconducting qubits, we have explored the effect of cryogenic temperatures on the growth of Ta and its integration in superconducting circuits. Cryogenic growth of Ta using a low temperature molecular beam epitaxy (MBE) system is found to stabilize single phase $\alpha$-Ta on several different substrates, which include Al$\mathrm{_2}$O$\mathrm{_3}$(0001), Si(001), Si(111), SiN${_x}$, and GaAs(001). The substrates are actively cooled down to cryogenic temperatures and remain < 20 K during the Ta deposition. X-ray $\theta$-2$\theta$ diffraction after warming to room temperature indicates the formation of polycrystalline $\alpha$-Ta. The 50 nm $\alpha$-Ta films grown on Al$\mathrm{_2}$O$\mathrm{_3}$(0001) at a substrate manipulator temperature of 7 K have a room temperature resistivity ($\mathrm{\rho _{300 K}}$) of 13.4 $\mathrm{\mu \Omega}$cm, a residual resistivity ratio (RRR) of 17.3 and a superconducting transition temperature (T$_C$) of 4.14 K, which are comparable to bulk values. In addition, atomic force microscopy (AFM) indicates that the film grown at 7 K with an RMS roughness of 0.45 nm was significantly smoother than the one grown at room temperature. Similar properties are found for films grown on other substrates. Results for films grown at higher substrate manipulator temperatures show higher $\mathrm{\rho _{300 K}}$, lower RRR and Tc, and increased $\beta$-Ta content. Coplanar waveguide resonators with a gap width of 3 $\mathrm{\mu}$m fabricated from cryogenically grown Ta on Si(111) and Al$\mathrm{_2}$O$\mathrm{_3}$(0001) show low power Q$_i$ of 1.9 million and 0.7 million, respectively, indicating polycrystalline $\alpha$-Ta films may be promising for superconducting qubit applications even though they are not fully epitaxial.


title: Learning models on rooted regular trees with majority update policy: convergence and phase transition

abstract: We study a learning model in which an agent is stationed at each vertex of $\mathbb{T}_{m}$, the rooted tree in which each vertex has $m$ children. At any time-step $t \in \mathbb{N}_{0}$, they are allowed to select one of two available technologies: $B$ and $R$. Let the technology chosen by the agent at vertex $v\in\mathbb{T}_{m}$, at time-step $t$, be $C_{t}(v)$. Let $\{C_{0}(v):v\in\mathbb{T}_{m}\}$ be i.i.d., where $C_{0}(v)=B$ with probability $\pi_{0}$. During epoch $t$, the agent at $v$ performs an experiment that results in success with probability $p_{B}$ if $C_{t}(v)=B$, and with probability $p_{R}$ if $C_{t}(v)=R$. If the children of $v$ are $v_{1},\ldots,v_{m}$, the agent at $v$ updates their technology to $C_{t+1}(v)=B$ if the number of successes among all $v_{i}$ with $C_{t}(v_{i})=B$ exceeds, strictly, the number of successes among all $v_{j}$ with $C_{t}(v_{j})=R$. If these numbers are equal, then the agent at $v$ sets $C_{t+1}(v)=B$ with probability $1/2$. Else, $C_{t+1}(v)=R$. We show that $\{C_{t}(v):v\in\mathbb{T}_{m}\}$ is i.i.d., where $C_{t}(v)=B$ with probability $\pi_{t}$, and $\{\pi_{t}\}_{t \in \mathbb{N}_{0}}$ converges to a fixed point $\pi$ of a function $g_{m}$. For $m \geqslant 3$, there exists a $p(m) \in (0,1)$ such that $g_{m}$ has a unique fixed point, $1/2$, when $p \leqslant p(m)$, and three distinct fixed points, of the form $\alpha$, $1/2$ and $1-\alpha$, when $p > p(m)$. When $m=3$, $p_{B}=1$ and $p_{R} \in [0,1)$, we show that $g_{3}$ has a unique fixed point, $1$, when $p_{R} < \sqrt{3}-1$, two distinct fixed points, one of which is $1$, when $p_{R} = \sqrt{3}-1$, and three distinct fixed points, one of which is $1$, when $p_{R} > \sqrt{3}-1$. When $g_{m}$ has multiple fixed points, we also specify which of these fixed points $\pi$ equals, depending on $\pi_{0}$. For $m=2$, we describe the behaviour of $g_{3}$ for all $p_{B}$ and $p_{R}$.


title: GeoMask3D: Geometrically Informed Mask Selection for Self-Supervised Point Cloud Learning in 3D

abstract: We introduce a pioneering approach to self-supervised learning for point clouds, employing a geometrically informed mask selection strategy called GeoMask3D (GM3D) to boost the efficiency of Masked Auto Encoders (MAE). Unlike the conventional method of random masking, our technique utilizes a teacher-student model to focus on intricate areas within the data, guiding the model's focus toward regions with higher geometric complexity. This strategy is grounded in the hypothesis that concentrating on harder patches yields a more robust feature representation, as evidenced by the improved performance on downstream tasks. Our method also presents a complete-to-partial feature-level knowledge distillation technique designed to guide the prediction of geometric complexity utilizing a comprehensive context from feature-level information. Extensive experiments confirm our method's superiority over State-Of-The-Art (SOTA) baselines, demonstrating marked improvements in classification, and few-shot tasks.


title: GarmentDreamer: 3DGS Guided Garment Synthesis with Diverse Geometry and Texture Details

abstract: Traditional 3D garment creation is labor-intensive, involving sketching, modeling, UV mapping, and texturing, which are time-consuming and costly. Recent advances in diffusion-based generative models have enabled new possibilities for 3D garment generation from text prompts, images, and videos. However, existing methods either suffer from inconsistencies among multi-view images or require additional processes to separate cloth from the underlying human model. In this paper, we propose GarmentDreamer, a novel method that leverages 3D Gaussian Splatting (GS) as guidance to generate wearable, simulation-ready 3D garment meshes from text prompts. In contrast to using multi-view images directly predicted by generative models as guidance, our 3DGS guidance ensures consistent optimization in both garment deformation and texture synthesis. Our method introduces a novel garment augmentation module, guided by normal and RGBA information, and employs implicit Neural Texture Fields (NeTF) combined with Score Distillation Sampling (SDS) to generate diverse geometric and texture details. We validate the effectiveness of our approach through comprehensive qualitative and quantitative experiments, showcasing the superior performance of GarmentDreamer over state-of-the-art alternatives. Our project page is available at: https://xuan-li.github.io/GarmentDreamerDemo/.


title: A Unified Linear Programming Framework for Offline Reward Learning from Human Demonstrations and Feedback

abstract: Inverse Reinforcement Learning (IRL) and Reinforcement Learning from Human Feedback (RLHF) are pivotal methodologies in reward learning, which involve inferring and shaping the underlying reward function of sequential decision-making problems based on observed human demonstrations and feedback. Most prior work in reward learning has relied on prior knowledge or assumptions about decision or preference models, potentially leading to robustness issues. In response, this paper introduces a novel linear programming (LP) framework tailored for offline reward learning. Utilizing pre-collected trajectories without online exploration, this framework estimates a feasible reward set from the primal-dual optimality conditions of a suitably designed LP, and offers an optimality guarantee with provable sample efficiency. Our LP framework also enables aligning the reward functions with human feedback, such as pairwise trajectory comparison data, while maintaining computational tractability and sample efficiency. We demonstrate that our framework potentially achieves better performance compared to the conventional maximum likelihood estimation (MLE) approach through analytical examples and numerical experiments.


title: Extraction of Human DNA from Soil: Protocol Adaptations

abstract: PCR-based analysis of DNA is utilized in a wide variety of fields, including Forensic Science. Aside from the more common ample sources, material analyzed here can refer to specimen excavated from a soil environment, or a sampling of the soil itself to recover DNA leached into the soil from decomposing human remains or from body fluids intermingled with the soil in an outdoor crime scene. The common problematic of these types of sample is the presence of humic acids, which are a component of any soil environment, and when the co-extracted with the DNA, lead to inhibition of enzyme-based procedures including PCR. While a variety of methods exist for the extraction of DNA from excavated skeletal remains, protocols for extraction of DNA from the soil directly are usually targeting soil microorganism. To address the need for methodology suitable for extraction of human DNA from soil, a selection of three published protocols were adapted for this purpose, to be tested and evaluated using standardized samples. The resulting protocols are presented here.


title: On the transcendence of some operations of infinite series

abstract: In the present paper and as an application of Roth's theorem concerning the rational approximation of algebraic numbers, we give a sufficient condition that will assure us that a sum, product and quotient of some series of positive rational terms are transcendental numbers. We recall that all the infinite series that we are going to treat are Liouville numbers. At the end this article, we establish an approximation measure of these numbers.


title: Rethinking Robustness Assessment: Adversarial Attacks on Learning-based Quadrupedal Locomotion Controllers

abstract: Legged locomotion has recently achieved remarkable success with the progress of machine learning techniques, especially deep reinforcement learning (RL). Controllers employing neural networks have demonstrated empirical and qualitative robustness against real-world uncertainties, including sensor noise and external perturbations. However, formally investigating the vulnerabilities of these locomotion controllers remains a challenge. This difficulty arises from the requirement to pinpoint vulnerabilities across a long-tailed distribution within a high-dimensional, temporally sequential space. As a first step towards quantitative verification, we propose a computational method that leverages sequential adversarial attacks to identify weaknesses in learned locomotion controllers. Our research demonstrates that, even state-of-the-art robust controllers can fail significantly under well-designed, low-magnitude adversarial sequence. Through experiments in simulation and on the real robot, we validate our approach's effectiveness, and we illustrate how the results it generates can be used to robustify the original policy and offer valuable insights into the safety of these black-box policies. Project page: https://fanshi14.github.io/me/rss24.html


title: Continuous wave driving elucidates the desynchronisation dynamics of ultrashort dissipative Raman solitons generated in dispersive Kerr resonators

abstract: Phase-coherent pulsed driving of passive optical fiber resonators enable the generation of ultrashort dissipative Raman solitons with durations well below 100~fs. The existence and characteristics of such solitons critically depends on the desynchronisation between the pulsed driving source and the resonator roundtrip time, yet the full mechanism through which these dependencies arise remains unclear. Here, we numerically demonstrate that Raman solitons can exist even under conditions of continuous wave driving, and by numerically examining the existence and characteristics of Raman solitons under such conditions, we elucidate the role of desynchronisation in pulse-driven systems. In addition to providing new insights on the existence and characteristics of ultrashort Raman solitons, our analysis yields a qualitative explanation for the range of desynchronisations over which the solitons can exist.


title: Inferring Message Flows From System Communication Traces

abstract: This paper proposes a novel method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design that captures messages exchanged among the components during a system execution. The inferred message flows characterize the communication and coordination of components in a system design for realizing various system functions, and they are essential for SoC validation and debugging. The proposed method relieves the burden of manual development and maintenance of such specifications on human designers. Our method also uses a new accuracy metric, \emph{acceptance ratio}, to evaluate the quality of the mined specifications instead of the specification size often used in the previous work, enabling more accurate specifications to be mined. Furthermore, this paper introduces the concept of essential causalities to enhance the accuracy of the message flow mining and accelerate the mining process. The effectiveness of the proposed method is evaluated on both synthetic traces and traces generated from executing several system models in GEM5. In both cases, the proposed method achieves superior accuracies compared to a previous approach. Additionally, this paper includes some practical use cases.


title: Deep learning approaches to indoor wireless channel estimation for low-power communication

abstract: In the rapidly growing development of the Internet of Things (IoT) infrastructure, achieving reliable wireless communication is a challenge. IoT devices operate in diverse environments with common signal interference and fluctuating channel conditions. Accurate channel estimation helps adapt the transmission strategies to current conditions, ensuring reliable communication. Traditional methods, such as Least Squares (LS) and Minimum Mean Squared Error (MMSE) estimation techniques, often struggle to adapt to the diverse and complex environments typical of IoT networks. This research article delves into the potential of Deep Learning (DL) to enhance channel estimation, focusing on the Received Signal Strength Indicator (RSSI) metric - a critical yet challenging aspect due to its susceptibility to noise and environmental factors. This paper presents two Fully Connected Neural Networks (FCNNs)-based Low Power (LP-IoT) channel estimation models, leveraging RSSI for accurate channel estimation in LP-IoT communication. Our Model A exhibits a remarkable 99.02% reduction in Mean Squared Error (MSE), and Model B demonstrates a notable 90.03% MSE reduction compared to the benchmarks set by current studies. Additionally, the comparative studies of our model A with other DL-based techniques show significant efficiency in our estimation models.


title: Tunable Surface Plasmon-Polaritons Interaction in All-Metal Pyramidal Metasurfaces: Unveiling Principles and Significance for Biosensing Applications

abstract: The strong coupling of plasmonic resonance modes in conductive pyramidal nanoparticles leads to an increase in the density of free charges on the surface. By ensuring plasmonic coupling in the pyramidal nanoparticle lattice, the achieved field intensity is potentiated. At the same time, a strong coupling between resonant modes is guaranteed, which results in the formation of new hybrid modes. In this manuscript, we demonstrated a tunable double anticrossing interaction that results from the interaction between two Localized Surface Plasmon Resonance (LSPR) modes and a Surface Plasmon Polariton (SPP) wave. The tuning is done as a function of the variation of the angle of incidence of the input electric field. From the double anticrossing, an increase in field intensity in a blue-shifted LSPR mode located in the red wavelength region is observed. This demonstrates that at certain angles of incidence, the intensity field obtained is strongly favored, which would be beneficial for applications such as Surface Enhancement Raman Spectroscopy (SERS). Nanoparticle-based lattices have been widely used for biosensor applications. However, one of the major limitations of this type of device is the low tolerance to high concentrations of biomolecules, which significantly affects their performance. According to the studies carried out for this manuscript, it was demonstrated that the implemented geometry allows for the observation of an LSPR mode, which is responsible for the control and synchronization of other perceived resonances. This mode remains almost invariant when subjected to structural variations or changes in the angle of incidence of the electric field. These characteristics eliminate the limitation mentioned above, allowing for sensitivities 10^3 times higher than those achieved in conventional systems based on LSPR used to detect P. brasiliensis antigen.


title: On the Origin of Fast Rotating Stars. I. Photometric calibration and results of AO-assisted BVRI+Halpha imaging of NGC330 with SAMI/SOAR

abstract: H$\alpha$ emission is a clear indicator of circumstellar activity in Be stars, historically employed to assess the classical Be star (CBe) population in young open clusters (YOCs). The YOC NGC330 in the Small Magellanic Cloud exhibits a large known fraction of {CBe} stars and was selected for a pilot study to establish a comprehensive methodology for identifying H$\alpha$ emitters in the Magellanic Clouds, encompassing the entire B-type spectral range. Using the SOAR Adaptative Module Imager (SAMI), we investigated the stellar population of NGC330 using multi-band BVRI+H$\alpha$ imaging. We identified H$\alpha$ emitters within the entire V-band range covered by SAMI/SOAR observations ($V\lesssim22$), comprising the complete B-type stellar population and offering a unique opportunity to explore the Be phenomenon across all spectral sub-classes. The stellar radial distribution shows a clear bimodal pattern between the most massive (B5 or earlier) and the lower-mass main-sequence objects (later than B6) within the cluster. The former is concentrated towards the cluster center (showing a dispersion of $\sigma=4.26\pm0.20$ pc), whereas the latter extends across larger radii ($\sigma=10.83\pm0.65$ pc), indicating mass stratification within NGC330. The total fraction of emitters is $4.4\pm0.5\%$, notably smaller than previous estimates from flux- or seeing-limited observations. However, a higher fraction of H$\alpha$ emitters is observed among higher-mass stars ($32.8\pm3.4\%$) than within lower-mass ($4.4\pm0.9\%$). Consequently, the putative CBe population exhibits distinct dynamical characteristics compared to the bulk of the stellar population in NGC330. These findings highlight the significance of the current observations in providing a complete picture of the CBe population in NGC330.


title: Studying magnetic reconnection with synchrotron polarization statistics

abstract: Magnetic reconnection is a fundamental process for releasing magnetic energy in space physics and astrophysics. At present, the usual way to investigate the reconnection process is through analytical studies or first-principles numerical simulations. This paper is the first to understand the turbulent magnetic reconnection process by exploring the nature of magnetic turbulence. From the perspective of radio synchrotron polarization statistics, we study how to recover the properties of the turbulent magnetic field by considering the line of sight along different directions of the reconnection layer. We find that polarization intensity statistics can reveal the spectral properties of reconnection turbulence. This work opens up a new way of understanding turbulent magnetic reconnection.


title: Data Sharing at the Edge of the Network: A Disturbance Resilient Multi-modal ITS

abstract: Mobility-as-a-Service (MaaS) is a paradigm that encourages the shift from private cars to more sustainable alternative mobility services. MaaS provides services that enhances and enables multiple modes of transport to operate seamlessly and bringing Multimodal Intelligent Transport Systems (M-ITS) closer to reality. This requires sharing and integration of data collected from multiple sources including modes of transports, sensors, and end-users' devices to allow a seamless and integrated services especially during unprecedented disturbances. This paper discusses the interactions among transportation modes, networks, potential disturbance scenarios, and adaptation strategies to mitigate their impact on MaaS. We particularly discuss the need to share data between the modes of transport and relevant entities that are at the vicinity of each other, taking advantage of edge computing technology to avoid any latency due to communication to the cloud and privacy concerns. However, when sharing at the edge, bandwidth, storage, and computational limitations must be considered.


title: Power Measurement Based Channel Estimation for IRS-Enhanced Wireless Coverage

abstract: In this paper, we study an IRS-assisted coverage enhancement problem for a given region, aiming to optimize the passive reflection of the IRS for improving the average communication performance in the region by accounting for both deterministic and random channels in the environment. To this end, we first derive the closed-form expression of the average received signal power in terms of the deterministic base station (BS)-IRS-user cascaded channels over all user locations, and propose an IRS-aided coverage enhancement framework to facilitate the estimation of such deterministic channels for IRS passive reflection design. Specifically, to avoid the exorbitant overhead of estimating the cascaded channels at all possible user locations, a location selection method is first proposed to select only a set of typical user locations for channel estimation by exploiting the channel spatial correlation in the region. To estimate the deterministic cascaded channels at the selected user locations, conventional IRS channel estimation methods require additional pilot signals, which not only results in high system training overhead but also may not be compatible with the existing communication protocols. To overcome this issue, we further propose a single-layer neural network (NN)-enabled IRS channel estimation method in this paper, based on only the average received signal power measurements at each selected location corresponding to different IRS random training reflections, which can be offline implemented in current wireless systems. Numerical results demonstrate that our proposed scheme can significantly improve the coverage performance of the target region and outperform the existing power-measurement-based IRS reflection designs.


title: LLM+Reasoning+Planning for supporting incomplete user queries in presence of APIs

abstract: Recent availability of Large Language Models (LLMs) has led to the development of numerous LLM-based approaches aimed at providing natural language interfaces for various end-user tasks. These end-user tasks in turn can typically be accomplished by orchestrating a given set of APIs. In practice, natural language task requests (user queries) are often incomplete, i.e., they may not contain all the information required by the APIs. While LLMs excel at natural language processing (NLP) tasks, they frequently hallucinate on missing information or struggle with orchestrating the APIs. The key idea behind our proposed approach is to leverage logical reasoning and classical AI planning along with an LLM for accurately answering user queries including identification and gathering of any missing information in these queries. Our approach uses an LLM and ASP (Answer Set Programming) solver to translate a user query to a representation in Planning Domain Definition Language (PDDL) via an intermediate representation in ASP. We introduce a special API "get_info_api" for gathering missing information. We model all the APIs as PDDL actions in a way that supports dataflow between the APIs. Our approach then uses a classical AI planner to generate an orchestration of API calls (including calls to get_info_api) to answer the user query. Our evaluation results show that our approach significantly outperforms a pure LLM based approach by achieving over 95\% success rate in most cases on a dataset containing complete and incomplete single goal and multi-goal queries where the multi-goal queries may or may not require dataflow among the APIs.


title: Resolving Word Vagueness with Scenario-guided Adapter for Natural Language Inference

abstract: Natural Language Inference (NLI) is a crucial task in natural language processing that involves determining the relationship between two sentences, typically referred to as the premise and the hypothesis. However, traditional NLI models solely rely on the semantic information inherent in independent sentences and lack relevant situational visual information, which can hinder a complete understanding of the intended meaning of the sentences due to the ambiguity and vagueness of language. To address this challenge, we propose an innovative ScenaFuse adapter that simultaneously integrates large-scale pre-trained linguistic knowledge and relevant visual information for NLI tasks. Specifically, we first design an image-sentence interaction module to incorporate visuals into the attention mechanism of the pre-trained model, allowing the two modalities to interact comprehensively. Furthermore, we introduce an image-sentence fusion module that can adaptively integrate visual information from images and semantic information from sentences. By incorporating relevant visual information and leveraging linguistic knowledge, our approach bridges the gap between language and vision, leading to improved understanding and inference capabilities in NLI tasks. Extensive benchmark experiments demonstrate that our proposed ScenaFuse, a scenario-guided approach, consistently boosts NLI performance.


title: Avoidance of vincular patterns by Catalan words

abstract: Let $\mathcal{C}_n$ denote the set of words $w=w_1\cdots w_n$ on the alphabet of positive integers satisfying $w_{i+1}\leq w_i+1$ for $1 \leq i \leq n-1$ with $w_1=1$. The members of $\mathcal{C}_n$ are known as Catalan words and are enumerated by the $n$-th Catalan number $C_n$. The problem of finding the cardinality of various avoidance classes of $\mathcal{C}_n$ has been an ongoing object of study, and members of $\mathcal{C}_n$ avoiding one or two classical or a single consecutive pattern have been enumerated. In this paper, we extend these results to vincular patterns and seek to determine the cardinality of each avoidance class corresponding to a pattern of type (1,2) or (2,1). In several instances, a simple explicit formula for this cardinality may be given. In the more difficult cases, we find only a formula for the (ordinary) generating function which enumerates the class in question. We make extensive use of functional equations in establishing our generating function results.


title: Computational Fabrication and Assembly for In Situ Manufacturing

abstract: Fabrication today relies on disparate, large machines spread across industrial facilities. These are operated by domain experts to construct and assemble artefacts in sequential steps from large numbers of parts. This traditional, centralized mass manufacturing paradigm is characterized by large capital costs and inflexibility to changing needs, complex global supply chains hinged on economic and political stability, and waste and over-manufacturing of uniform artefacts that fail to meet the technical and personal needs of today's diverse individuals and use cases. Today, these challenges are particularly severe at points of need, such as the space environment. The space environment is remote and unpredictable, and the ability to manufacture in situ offers unique opportunities to address new challenges as they arise. However, the challenges faced in space are often mirrored on Earth. In hospitals, disaster zones, low resource environments and laboratories, the ability to manufacture customized artefacts at points of need can significantly enhance our ability to respond rapidly to unforeseen events. In this thesis, I introduce digital fabrication platforms with co-developed hardware and software that draw on tools from robotics and human-computer interaction to automate manufacturing of customized artefacts at the point of need. Highlighting three research themes across fabrication machines, modular assembly, and programmable materials, the thesis will cover a digital fabrication platform for producing functional robots, a modular robotic platform for in-space assembly deployed in microgravity, and a method for programming magnetic material to selectively assemble.


title: Considerations for Single-Arm Trials to Support Accelerated Approval of Oncology Drugs

abstract: In the last two decades, single-arm trials (SATs) have been effectively used to study anticancer therapies in well-defined patient populations using durable response rates as an objective and interpretable clinical endpoints. With a growing trend of regulatory accelerated approval (AA) requiring randomized controlled trials (RCTs), some confusions have arisen about the roles of SATs in AA. This paper is intended to elucidate conditions under which an SAT may be considered reasonable for AA. Specifically, the paper describes (1) two necessary conditions for designing an SAT, (2) three sufficient conditions that help either optimize the study design or interpret the study results, (3) four conditions that demonstrate substantial evidence of clinical benefits of the drug, and (4) a plan of a confirmatory RCT to verify the clinical benefits. Some further considerations are discussed to help design a scientifically sound SAT and communicate with regulatory agencies. Conditions presented in this paper may serve as a set of references for sponsors using SATs for regulatory decision.


title: CoCo Matrix: Taxonomy of Cognitive Contributions in Co-writing with Intelligent Agents

abstract: In recent years, there has been a growing interest in employing intelligent agents in writing. Previous work emphasizes the evaluation of the quality of end product-whether it was coherent and polished, overlooking the journey that led to the product, which is an invaluable dimension of the creative process. To understand how to recognize human efforts in co-writing with intelligent writing systems, we adapt Flower and Hayes' cognitive process theory of writing and propose CoCo Matrix, a two-dimensional taxonomy of entropy and information gain, to depict the new human-agent co-writing model. We define four quadrants and situate thirty-four published systems within the taxonomy. Our research found that low entropy and high information gain systems are under-explored, yet offer promising future directions in writing tasks that benefit from the agent's divergent planning and the human's focused translation. CoCo Matrix, not only categorizes different writing systems but also deepens our understanding of the cognitive processes in human-agent co-writing. By analyzing minimal changes in the writing process, CoCo Matrix serves as a proxy for the writer's mental model, allowing writers to reflect on their contributions. This reflection is facilitated through the measured metrics of information gain and entropy, which provide insights irrespective of the writing system used.


title: No-Regret M${}^{\natural}$-Concave Function Maximization: Stochastic Bandit Algorithms and NP-Hardness of Adversarial Full-Information Setting

abstract: M${}^{\natural}$-concave functions, a.k.a. gross substitute valuation functions, play a fundamental role in many fields, including discrete mathematics and economics. In practice, perfect knowledge of M${}^{\natural}$-concave functions is often unavailable a priori, and we can optimize them only interactively based on some feedback. Motivated by such situations, we study online M${}^{\natural}$-concave function maximization problems, which are interactive versions of the problem studied by Murota and Shioura (1999). For the stochastic bandit setting, we present $O(T^{-1/2})$-simple regret and $O(T^{2/3})$-regret algorithms under $T$ times access to unbiased noisy value oracles of M${}^{\natural}$-concave functions. A key to proving these results is the robustness of the greedy algorithm to local errors in M${}^{\natural}$-concave function maximization, which is one of our main technical results. While we obtain those positive results for the stochastic setting, another main result of our work is an impossibility in the adversarial setting. We prove that, even with full-information feedback, no algorithms that run in polynomial time per round can achieve $O(T^{1-c})$ regret for any constant $c > 0$ unless $\mathsf{P} = \mathsf{NP}$. Our proof is based on a reduction from the matroid intersection problem for three matroids, which would be a novel idea in the context of online learning.


title: Kinetic energy and speed powers $v^n$ of a heavy quark inside $S$ wave and $P$ wave heavy-light mesons

abstract: Based on the instantaneous Bethe-Salpeter equation method, we calculate the average values $\overline{|\vec{q}|^n}\equiv q^n$ and speed powers $\overline{|\vec{v}|^n} \equiv v^n$ ($n=1,2,3,4$) of a heavy quark inside $S$ wave and $P$ wave heavy-light mesons, where $\vec{q}$ and $\vec{v}$ are the three dimensional momentum and velocity of the heavy quark, respectively. We obtain the kinetic energy $\mu^2_{_\pi}=0.455$ GeV$^2$ for the $B$ meson, which is consistent with the experimental result $0.464\pm 0.076$ GeV$^2$. For the $B_{s}$, $D$ and $D_{s}$ mesons, the $\mu^2_{_\pi}$ are $0.530$ GeV$^2$, $0.317$ GeV$^2$ and $0.369$ GeV$^2$, respectively. And $v^2=0.0185$, $0.0215$, $0.121$, and $0.140$ for $B$, $B_{s}$, $D$, and $D_{s}$. We obtain some relationships, for example, $q^n_{_{0^-}}(mS)\approx q^n_{_{1^-}}(mS)$, $q^n_{_{0^+}}(mP)\approx q^n_{_{1^{+'}}}(mP^{'})> q^n_{_{1^+}}(mP)\approx q^n_{_{2^+}}(mP)$, and $q^n(mS)< q^n(mP)$ ($m=1,2,3$), etc.


title: Subgrid scale modeling of droplet bag breakup in VOF simulations

abstract: The mesh-dependency of the breakup of liquid films, including their breakup length scales and resulting drop size distributions, has long been an obstacle inhibiting the computational modeling of large-scale spray systems. With the aim of overcoming this barrier, this work presents a framework for the prediction and modeling of subgrid-thickness liquid film formation and breakup within two-phase simulations using the volume of fluid method. A two-plane interface reconstruction is used to capture the development of liquid films as their thickness decreases below the mesh size. The breakup of the film is predicted with a semi-analytical model that incorporates the film geometry captured through the two-plane reconstruction. The framework is validated against experiments of the bag breakup of a liquid drop at $\text{We}=13.8$ through the comparison of the resulting drop size and velocity distributions. The generated distributions show good agreement with experimental results for drop resolutions as low as 25.6 cells across the initial diameter. The presented framework enables these drop breakup simulations to be performed at a computational cost three orders of magnitude lower than the cost of simulations utilizing adaptive mesh refinement.


title: Learning Structure and Knowledge Aware Representation with Large Language Models for Concept Recommendation

abstract: Concept recommendation aims to suggest the next concept for learners to study based on their knowledge states and the human knowledge system. While knowledge states can be predicted using knowledge tracing models, previous approaches have not effectively integrated the human knowledge system into the process of designing these educational models. In the era of rapidly evolving Large Language Models (LLMs), many fields have begun using LLMs to generate and encode text, introducing external knowledge. However, integrating LLMs into concept recommendation presents two urgent challenges: 1) How to construct text for concepts that effectively incorporate the human knowledge system? 2) How to adapt non-smooth, anisotropic text encodings effectively for concept recommendation? In this paper, we propose a novel Structure and Knowledge Aware Representation learning framework for concept Recommendation (SKarREC). We leverage factual knowledge from LLMs as well as the precedence and succession relationships between concepts obtained from the knowledge graph to construct textual representations of concepts. Furthermore, we propose a graph-based adapter to adapt anisotropic text embeddings to the concept recommendation task. This adapter is pre-trained through contrastive learning on the knowledge graph to get a smooth and structure-aware concept representation. Then, it's fine-tuned through the recommendation task, forming a text-to-knowledge-to-recommendation adaptation pipeline, which effectively constructs a structure and knowledge-aware concept representation. Our method does a better job than previous adapters in transforming text encodings for application in concept recommendation. Extensive experiments on real-world datasets demonstrate the effectiveness of the proposed approach.


title: FFCL: Forward-Forward Net with Cortical Loops, Training and Inference on Edge Without Backpropagation

abstract: The Forward-Forward Learning (FFL) algorithm is a recently proposed solution for training neural networks without needing memory-intensive backpropagation. During training, labels accompany input data, classifying them as positive or negative inputs. Each layer learns its response to these inputs independently. In this study, we enhance the FFL with the following contributions: 1) We optimize label processing by segregating label and feature forwarding between layers, enhancing learning performance. 2) By revising label integration, we enhance the inference process, reduce computational complexity, and improve performance. 3) We introduce feedback loops akin to cortical loops in the brain, where information cycles through and returns to earlier neurons, enabling layers to combine complex features from previous layers with lower-level features, enhancing learning efficiency.


title: Reach and hold flexibility characterization and trade-off analysis for aggregations of thermostatically controlled loads

abstract: Thermostatically controlled loads (TCLs) have the potential to be flexible and responsive loads to be used in demand response (DR) schemes. With increasing renewable penetration, DR is playing an increasingly important role in enhancing power grid reliability. The aggregate demand of a population of TCLs can be modulated by changing their temperature setpoint. When and/or what proportion of the population sees the setpoint change determines the change in aggregate demand. However, since the TCL population is finite, not all changes in aggregate demand can be maintained for arbitrarily long periods of time. In this paper, the dynamic behavior of a TCL fleet is modeled and used to characterize the set possible changes in aggregate demand that can be reached and the corresponding time for which the demand change can be held, for a given change in setpoint. This set is referred to, in this paper, as the reach and hold set of a TCL fleet. Furthermore, the effect of the setpoint change and ambient temperature on the reach and hold are analyzed. The characterized set is then validated through simulation using both the population TCL models and individual TCL micro-models.


title: Monte Carlo Simulations of the Blinking-Checkers Model for Polyamorphic Fluids

abstract: The blinking-checkers model [F. Caupin and M. A. Anisimov, Phys. Rev. Lett, 127,185701 (2021)] is a minimal lattice model which has demonstrated that, in the meanfield approximation, it can reproduce the phenomenon of fluid polyamorphism. This model is a binary lattice-gas, in which each site has three possible states: empty, occupied with particles of type 1, and occupied with particles of type 2. Additionally, the two types of particles may interconvert from one to another. Equilibrium interconversion imposes a constraint that makes this model thermodynamically equivalent to a single-component system. In this work, Monte-Carlo simulations of the blinking-checkers model are performed, demonstrating polyamorphic phase behavior. The locations of the liquid-liquid and liquid-gas critical points are found to be different from the meanfield predictions for this model with the same interaction parameters, as the phase behavior is significantly affected by critical fluctuations. Based on the computed values of the critical exponents of the order parameter, susceptibility, correlation length, and surface tension, we confirm that the blinking-checkers model, for both liquid-gas and liquid-liquid equilibria, belongs to the three-dimensional Ising class of critical-point universality.


title: Computer assisted proofs for transverse heteroclinics by the parameterization method

abstract: This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a Fourier-Taylor approximation of the local stable/unstable manifold of the periodic orbit, combined with a numerical method for solving two point boundary value problems via Chebyshev series approximations. The a-posteriori analysis developed provides mathematically rigorous bounds on all approximation errors, providing both abstract existence results and quantitative information about the true heteroclinic solution. Example calculations are given for both the dissipative Lorenz system and the Hamiltonian Hill Restricted Four Body Problem.


title: EPL: Empirical Prototype Learning for Deep Face Recognition

abstract: Prototype learning is widely used in face recognition, which takes the row vectors of coefficient matrix in the last linear layer of the feature extraction model as the prototypes for each class. When the prototypes are updated using the facial sample feature gradients in the model training, they are prone to being pulled away from the class center by the hard samples, resulting in decreased overall model performance. In this paper, we explicitly define prototypes as the expectations of sample features in each class and design the empirical prototypes using the existing samples in the dataset. We then devise a strategy to adaptively update these empirical prototypes during the model training based on the similarity between the sample features and the empirical prototypes. Furthermore, we propose an empirical prototype learning (EPL) method, which utilizes an adaptive margin parameter with respect to sample features. EPL assigns larger margins to the normal samples and smaller margins to the hard samples, allowing the learned empirical prototypes to better reflect the class center dominated by the normal samples and finally pull the hard samples towards the empirical prototypes through the learning. The extensive experiments on MFR, IJB-C, LFW, CFP-FP, AgeDB, and MegaFace demonstrate the effectiveness of EPL. Our code is available at $\href{https://github.com/WakingHours-GitHub/EPL}{https://github.com/WakingHours-GitHub/EPL}$.


title: The TESS-Keck Survey. XXII. A sub-Neptune Orbiting TOI-1437

abstract: Exoplanet discoveries have revealed a dramatic diversity of planet sizes across a vast array of orbital architectures. Sub-Neptunes are of particular interest; due to their absence in our own solar system, we rely on demographics of exoplanets to better understand their bulk composition and formation scenarios. Here, we present the discovery and characterization of TOI-1437 b, a sub-Neptune with a 18.84 day orbit around a near-Solar analog (Mstar = 1.10 +/- 0.10 Msun, Rstar = 1.17 +/- 0.12 Rsun). The planet was detected using photometric data from the Transiting Exoplanet Survey Satellite (TESS) mission and radial velocity follow-up observations were carried out as a part of the TESS-Keck Survey (TKS) using both the HIRES instrument at Keck Observatory and the Levy Spectrograph on the Automated Planet Finder (APF) telescope. A combined analysis of these data reveal a planet radius of Rp = 2.24 +/- 0.23 Rearth and a mass measurement of Mp = 9.6 +/- 3.9 Mearth). TOI-1437 b is one of few (~50) known transiting sub-Neptunes orbiting a solar-mass star that has a radial velocity mass measurement. As the formation pathway of these worlds remains an unanswered question, the precise mass characterization of TOI-1437 b may provide further insight into this class of planet.


title: Dirac fermions under rainbow gravity effects in the Bonnor-Melvin-Lambda spacetime

abstract: In this paper, we study the relativistic energy spectrum for Dirac fermions under rainbow gravity effects in the $(3+1)$-dimensional Bonnor-Melvin-Lambda spacetime, where we work with the curved Dirac equation in cylindrical coordinates. Using the tetrads formalism of General Relativity and considering a first-order approximation for the trigonometric functions, we obtain a Bessel equation. To solve this differential equation, we also consider a region where a hard-wall confining potential is present (i.e., some finite distance where the radial wave function is null). In other words, we define a second boundary condition (Dirichlet boundary condition) to achieve the quantization of the energy. Consequently, we obtain the spectrum for a fermion/antifermion, which is quantized in terms of quantum numbers $n$, $m_j$ and $m_s$, where $n$ is the radial quantum number, $m_j$ is the total magnetic quantum number, $m_s$ is the spin magnetic quantum number, and explicitly depends on the rainbow functions $F(\xi)$ and $G(\xi)$, curvature parameter $\alpha$, cosmological constant $\Lambda$, fixed radius $r_0$, and on the rest energy $m_0$, and $z$-momentum $p_z$. So, analyzing this spectrum according to the values of $m_j$ and $m_s$, we see that for $m_j>0$ with $m_s=-1/2$ (positive angular momentum and spin down), and for $m_j<0$ with $m_s=+1/2$ (negative angular momentum and spin up), the spectrum is the same. Besides, we graphically analyze in detail the behavior of the spectrum for the three scenarios of rainbow gravity as a function of $\Lambda$, $r_0$, and $\alpha$ for three different values of $n$ (ground state and the first two excited states).


title: PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4

abstract: The rapid progress of AI-powered programming assistants, such as GitHub Copilot, has facilitated the development of software applications. These assistants rely on large language models (LLMs), which are foundation models (FMs) that support a wide range of tasks related to understanding and generating language. LLMs have demonstrated their ability to express UML model specifications using formal languages like the Object Constraint Language (OCL). However, the context size of the prompt is limited by the number of tokens an LLM can process. This limitation becomes significant as the size of UML class models increases. In this study, we introduce PathOCL, a novel path-based prompt augmentation technique designed to facilitate OCL generation. PathOCL addresses the limitations of LLMs, specifically their token processing limit and the challenges posed by large UML class models. PathOCL is based on the concept of chunking, which selectively augments the prompts with a subset of UML classes relevant to the English specification. Our findings demonstrate that PathOCL, compared to augmenting the complete UML class model (UML-Augmentation), generates a higher number of valid and correct OCL constraints using the GPT-4 model. Moreover, the average prompt size crafted using PathOCL significantly decreases when scaling the size of the UML class models.


title: iSHELL $K$-band Survey of Class I and Flat Spectrum Sources: Magnetic field measurements in the protostellar phase

abstract: We perform the first magnetic field strength survey of Class I and Flat Spectrum (FS) sources using $K$-band observations with iSHELL. We obtained new observations of 42 Class I and FS sources and additionally included 10 sources from the archive. We detect photospheric lines in 44 of the sources, in addition to Br$\gamma$, H$_2$, and CO emission in several objects. We model the photospheric absorption lines of 32 Class I and FS sources and measure their magnetic field strengths, $K$-band temperatures, gravities, projected rotational velocities, and infrared veiling values. We put the physical properties of Class I and FS sources in context by comparing them to the values derived for a sample of Class II sources. We find that a) the average magnetic field strength of Class I and FS sources $\langle B \rangle=2.0\pm0.15$ kG is consistent with the average magnetic field strength of Class II sources $\langle B \rangle=1.8\pm0.15$ kG, and b) the average gravity of Class I and FS objects $\log{g}=3.43\pm0.07$ is lower than the average gravity of Class II sources $\log{g}=3.75\pm0.04$, although there is significant overlap between both gravity distributions. Furthermore, using stellar evolutionary models, we deduce that Class I and FS sources have a median age of $\sim$0.6 Myr, and are, as a group, younger than the Class II stars with a median age of $\sim$3 Myr. Our results confirm that Class I and FS sources host strong magnetic fields on their photospheres. Thus, it is likely that these sources accrete disk material through a magnetosphere similar to the more evolved T Tauri stars.


title: Prompt-Enhanced Spatio-Temporal Graph Transfer Learning

abstract: Spatio-temporal graph neural networks have demonstrated efficacy in capturing complex dependencies for urban computing tasks such as forecasting and kriging. However, their performance is constrained by the reliance on extensive data for training on specific tasks, which limits their adaptability to new urban domains with varied demands. Although transfer learning has been proposed to address this problem by leveraging knowledge across domains, cross-task generalization remains underexplored in spatio-temporal graph transfer learning methods due to the absence of a unified framework. To bridge this gap, we propose Spatio-Temporal Graph Prompting (STGP), a prompt-enhanced transfer learning framework capable of adapting to diverse tasks in data-scarce domains. Specifically, we first unify different tasks into a single template and introduce a task-agnostic network architecture that aligns with this template. This approach enables the capture of spatio-temporal dependencies shared across tasks. Furthermore, we employ learnable prompts to achieve domain and task transfer in a two-stage prompting pipeline, enabling the prompts to effectively capture domain knowledge and task-specific properties at each stage. Extensive experiments demonstrate that STGP outperforms state-of-the-art baselines in three downstream tasks forecasting, kriging, and extrapolation by a notable margin.


title: One-step data-driven generative model via Schr\"odinger Bridge

abstract: Generating samples from a probability distribution is a fundamental task in machine learning and statistics. This article proposes a novel scheme for sampling from a distribution for which the probability density $\mu({\bf x})$ for ${\bf x}\in{\mathbb{R}}^d$ is unknown, but finite independent samples are given. We focus on constructing a Schr\"odinger Bridge (SB) diffusion process on finite horizon $t\in[0,1]$ which induces a probability evolution starting from a fixed point at $t=0$ and ending with the desired target distribution $\mu({\bf x})$ at $t=1$. The diffusion process is characterized by a stochastic differential equation whose drift function can be solely estimated from data samples through a simple one-step procedure. Compared to the classical iterative schemes developed for the SB problem, the methodology of this article is quite simple, efficient, and computationally inexpensive as it does not require the training of neural network and thus circumvents many of the challenges in building the network architecture. The performance of our new generative model is evaluated through a series of numerical experiments on multi-modal low-dimensional simulated data and high-dimensional benchmark image data. Experimental results indicate that the synthetic samples generated from our SB Bridge based algorithm are comparable with the samples generated from the state-of-the-art methods in the field. Our formulation opens up new opportunities for developing efficient diffusion models that can be directly applied to large scale real-world data.


title: A Compact Readout Electronics Based on Current Amplifier for Micromegas Detector in Muon Image

abstract: Muon imaging technology is an innovative imaging technique that can be applied in volcano imaging, heavy nuclear material detection, and archaeological research. The Micromegas detector is a promising choice for muon imaging due to its high spatial resolution and large area. However, the large number of readout channels poses a challenge for electronics. In this paper, a compact front-end electronics (FEE) for reading Micromegas detectors is presented. The electronics use a current-based readout chip, ADAS1128, which integrates 128 current amplifiers for multi-channel charge measurement. After noise and calibration tests, detector energy resolution tests were performed using 5.9 keV X-rays. The X-ray full energy peak and Ar escape peak can be observed; the energy resolution of the full energy peak is about 20.23%@5.9 keV. Additionally, a muon image system was set up to verify the imaging capacity of Micromegas detectors. Test results show that the spatial resolution of the system is better than 200 {\mu}m. The muon image system can reconstruct the boundaries for objects with a size of 2 cm.


title: Time-dependent convergent close coupling method for molecular ionization in laser fields

abstract: We develop a time-dependent multi-configurational numerical technique for calculating ionization by short laser pulses of many-electron molecules. The method is based on the expansion of the wave function of a molecule into the eigenstates of the molecular ion. We classify this method as time-dependent convergent close coupling (TDCCC) because it uses the same symmetry for channel functions as the well-known convergent close coupling (CCC) method.


title: Mutual Information Analysis in Multimodal Learning Systems

abstract: In recent years, there has been a significant increase in applications of multimodal signal processing and analysis, largely driven by the increased availability of multimodal datasets and the rapid progress in multimodal learning systems. Well-known examples include autonomous vehicles, audiovisual generative systems, vision-language systems, and so on. Such systems integrate multiple signal modalities: text, speech, images, video, LiDAR, etc., to perform various tasks. A key issue for understanding such systems is the relationship between various modalities and how it impacts task performance. In this paper, we employ the concept of mutual information (MI) to gain insight into this issue. Taking advantage of the recent progress in entropy modeling and estimation, we develop a system called InfoMeter to estimate MI between modalities in a multimodal learning system. We then apply InfoMeter to analyze a multimodal 3D object detection system over a large-scale dataset for autonomous driving. Our experiments on this system suggest that a lower MI between modalities is beneficial for detection accuracy. This new insight may facilitate improvements in the development of future multimodal learning systems.


title: A High Compression Ratio Channel Multiplexing Method for Micro-pattern Gaseous Detectors

abstract: Micro-pattern gas detectors (MPGD) find wide-ranging applications in particle physics experiments, industry, and medical services, owing to their large area, fine spatial resolution, and relatively low material content within the sensitive region. However, the demand for a large number of readout channels poses a bottleneck, limiting the application of MPGD to achieve higher accuracy and more extensive area. This requirement also presents significant challenges regarding system integration, power consumption, cooling, and cost. Previous studies have shown that, under sparse effective hits, a channel multiplexing method based on position encoded can address this issue. Nonetheless, improving the compression ratio and addressing the high event rate problem remain key challenges requiring further investigation. In this research, we have developed two types of high compression ratio multiplexing methods and their mathematical models. It is shown that a maximum of $n \times (n-1)/2 - (n - 2)/2 + 1$ detector channels can be read out with n electronics channels if n is even. Using these methods, several multiplexing boards were designed and implemented. Considering the real condition of the detectors, we achieved an multiplexing board with 64 readout electronics reading out 1024 detector channels, marking the highest compression ratio in current research. Moreover, these multiplexing circuits were utilized and verified in our cosmic-ray muon imaging facilities, demonstrating their advantage of reducing the required number of front-end electronics cards.


title: Studying Up Public Sector AI: How Networks of Power Relations Shape Agency Decisions Around AI Design and Use

abstract: As public sector agencies rapidly introduce new AI tools in high-stakes domains like social services, it becomes critical to understand how decisions to adopt these tools are made in practice. We borrow from the anthropological practice to ``study up'' those in positions of power, and reorient our study of public sector AI around those who have the power and responsibility to make decisions about the role that AI tools will play in their agency. Through semi-structured interviews and design activities with 16 agency decision-makers, we examine how decisions about AI design and adoption are influenced by their interactions with and assumptions about other actors within these agencies (e.g., frontline workers and agency leaders), as well as those above (legal systems and contracted companies), and below (impacted communities). By centering these networks of power relations, our findings shed light on how infrastructural, legal, and social factors create barriers and disincentives to the involvement of a broader range of stakeholders in decisions about AI design and adoption. Agency decision-makers desired more practical support for stakeholder involvement around public sector AI to help overcome the knowledge and power differentials they perceived between them and other stakeholders (e.g., frontline workers and impacted community members). Building on these findings, we discuss implications for future research and policy around actualizing participatory AI approaches in public sector contexts.


title: PLM4Traj: Cognizing Movement Patterns and Travel Purposes from Trajectories with Pre-trained Language Models

abstract: Spatio-temporal trajectories play a vital role in various spatio-temporal data mining tasks. Developing a versatile trajectory learning approach that can adapt to different tasks while ensuring high accuracy is crucial. This requires effectively extracting movement patterns and travel purposes embedded in trajectories. However, this task is challenging due to limitations in the size and quality of available trajectory datasets. On the other hand, pre-trained language models (PLMs) have shown great success in adapting to different tasks by training on large-scale, high-quality corpus datasets. Given the similarities between trajectories and sentences, there is potential in leveraging PLMs to enhance the development of a versatile and effective trajectory learning method. Nevertheless, vanilla PLMs are not tailored to handle the unique spatio-temporal features present in trajectories and lack the capability to extract movement patterns and travel purposes from them. To overcome these obstacles, we propose a model called PLM4Traj that effectively utilizes PLMs to model trajectories. PLM4Traj leverages the strengths of PLMs to create a versatile trajectory learning approach while addressing the limitations of vanilla PLMs in modeling trajectories. Firstly, PLM4Traj incorporates a novel trajectory semantic embedder that enables PLMs to process spatio-temporal features in trajectories and extract movement patterns and travel purposes from them. Secondly, PLM4Traj introduces a novel trajectory prompt that integrates movement patterns and travel purposes into PLMs, while also allowing the model to adapt to various tasks. Extensive experiments conducted on two real-world datasets and two representative tasks demonstrate that PLM4Traj successfully achieves its design goals. Codes are available at https://github.com/Zeru19/PLM4Traj.


title: Physics-based Scene Layout Generation from Human Motion

abstract: Creating scenes for captured motions that achieve realistic human-scene interaction is crucial for 3D animation in movies or video games. As character motion is often captured in a blue-screened studio without real furniture or objects in place, there may be a discrepancy between the planned motion and the captured one. This gives rise to the need for automatic scene layout generation to relieve the burdens of selecting and positioning furniture and objects. Previous approaches cannot avoid artifacts like penetration and floating due to the lack of physical constraints. Furthermore, some heavily rely on specific data to learn the contact affordances, restricting the generalization ability to different motions. In this work, we present a physics-based approach that simultaneously optimizes a scene layout generator and simulates a moving human in a physics simulator. To attain plausible and realistic interaction motions, our method explicitly introduces physical constraints. To automatically recover and generate the scene layout, we minimize the motion tracking errors to identify the objects that can afford interaction. We use reinforcement learning to perform a dual-optimization of both the character motion imitation controller and the scene layout generator. To facilitate the optimization, we reshape the tracking rewards and devise pose prior guidance obtained from our estimated pseudo-contact labels. We evaluate our method using motions from SAMP and PROX, and demonstrate physically plausible scene layout reconstruction compared with the previous kinematics-based method.


title: WorldAfford: Affordance Grounding based on Natural Language Instructions

abstract: Affordance grounding aims to localize the interaction regions for the manipulated objects in the scene image according to given instructions. A critical challenge in affordance grounding is that the embodied agent should understand human instructions and analyze which tools in the environment can be used, as well as how to use these tools to accomplish the instructions. Most recent works primarily supports simple action labels as input instructions for localizing affordance regions, failing to capture complex human objectives. Moreover, these approaches typically identify affordance regions of only a single object in object-centric images, ignoring the object context and struggling to localize affordance regions of multiple objects in complex scenes for practical applications. To address this concern, for the first time, we introduce a new task of affordance grounding based on natural language instructions, extending it from previously using simple labels for complex human instructions. For this new task, we propose a new framework, WorldAfford. We design a novel Affordance Reasoning Chain-of-Thought Prompting to reason about affordance knowledge from LLMs more precisely and logically. Subsequently, we use SAM and CLIP to localize the objects related to the affordance knowledge in the image. We identify the affordance regions of the objects through an affordance region localization module. To benchmark this new task and validate our framework, an affordance grounding dataset, LLMaFF, is constructed. We conduct extensive experiments to verify that WorldAfford performs state-of-the-art on both the previous AGD20K and the new LLMaFF dataset. In particular, WorldAfford can localize the affordance regions of multiple objects and provide an alternative when objects in the environment cannot fully match the given instruction.


title: Boosting X-formers with Structured Matrix for Long Sequence Time Series Forecasting

abstract: Transformer-based models for long sequence time series forecasting (LSTF) problems have gained significant attention due to their exceptional forecasting precision. As the cornerstone of these models, the self-attention mechanism poses a challenge to efficient training and inference due to its quadratic time complexity. In this article, we propose a novel architectural design for Transformer-based models in LSTF, leveraging a substitution framework that incorporates Surrogate Attention Blocks and Surrogate FFN Blocks. The framework aims to boost any well-designed model's efficiency without sacrificing its accuracy. We further establish the equivalence of the Surrogate Attention Block to the self-attention mechanism in terms of both expressiveness and trainability. Through extensive experiments encompassing nine Transformer-based models across five time series tasks, we observe an average performance improvement of 9.45% while achieving a significant reduction in model size by 46%


title: Stochastic Learning of Computational Resource Usage as Graph Structured Multimarginal Schr\"odinger Bridge

abstract: We propose to learn the time-varying stochastic computational resource usage of software as a graph structured Schr\"odinger bridge problem. In general, learning the computational resource usage from data is challenging because resources such as the number of CPU instructions and the number of last level cache requests are both time-varying and statistically correlated. Our proposed method enables learning the joint time-varying stochasticity in computational resource usage from the measured profile snapshots in a nonparametric manner. The method can be used to predict the most-likely time-varying distribution of computational resource availability at a desired time. We provide detailed algorithms for stochastic learning in both single and multi-core cases, discuss the convergence guarantees, computational complexities, and demonstrate their practical use in two case studies: a single-core nonlinear model predictive controller, and a synthetic multi-core software.

categories: math.OC cs.AI cs.LG cs.SY eess.SY stat.ML


title: Evaluation of Connected Vehicle Identification-Aware Mixed Traffic Freeway Cooperative Merging

abstract: Cooperative on-ramp merging control for connected automated vehicles (CAVs) has been extensively investigated. However, they did neglect the connected vehicle identification process, which is a must for CAV cooperations. In this paper, we introduced a connected vehicle identification system (VIS) into the on-ramp merging control process for the first time and proposed an evaluation framework to assess the impacts of VIS on on-ramp merging performance. First, the mixed-traffic cooperative merging problem was formulated. Then, a real-world merging trajectory dataset was processed to generate dangerous merging scenarios. Aiming at resolving the potential collision risks in mixed traffic where CAVs and traditional human-driven vehicles (THVs) coexist, we proposed on-ramp merging strategies for CAVs in different mixed traffic situations considering the connected vehicle identification process. The performances were evaluated via simulations. Results indicated that while safety was assured for all cases with CAVs, the cases with VIS had delayed initiation of cooperation, limiting the range of cooperative merging and leading to increased fuel consumption and acceleration variations.


title: A finite element-based physics-informed operator learning framework for spatiotemporal partial differential equations on arbitrary domains

abstract: We propose a novel finite element-based physics-informed operator learning framework that allows for predicting spatiotemporal dynamics governed by partial differential equations (PDEs). The proposed framework employs a loss function inspired by the finite element method (FEM) with the implicit Euler time integration scheme. A transient thermal conduction problem is considered to benchmark the performance. The proposed operator learning framework takes a temperature field at the current time step as input and predicts a temperature field at the next time step. The Galerkin discretized weak formulation of the heat equation is employed to incorporate physics into the loss function, which is coined finite operator learning (FOL). Upon training, the networks successfully predict the temperature evolution over time for any initial temperature field at high accuracy compared to the FEM solution. The framework is also confirmed to be applicable to a heterogeneous thermal conductivity and arbitrary geometry. The advantages of FOL can be summarized as follows: First, the training is performed in an unsupervised manner, avoiding the need for a large data set prepared from costly simulations or experiments. Instead, random temperature patterns generated by the Gaussian random process and the Fourier series, combined with constant temperature fields, are used as training data to cover possible temperature cases. Second, shape functions and backward difference approximation are exploited for the domain discretization, resulting in a purely algebraic equation. This enhances training efficiency, as one avoids time-consuming automatic differentiation when optimizing weights and biases while accepting possible discretization errors. Finally, thanks to the interpolation power of FEM, any arbitrary geometry can be handled with FOL, which is crucial to addressing various engineering application scenarios.


title: Phases and dynamics of few fermionic impurities immersed in two-dimensional boson droplets

abstract: We unravel the ground state properties and emergent non-equilibrium dynamics of a mixture consisting of a few spin-polarized fermions embedded in a two-dimensional bosonic quantum droplet. For an increasingly attractive droplet-fermion interaction we find a transition from a spatially delocalized fermion configuration to a state where the fermions are highly localized and isolated. This process is accompanied by the rise of induced fermion-fermion interactions mediated by the droplet. Additionally, for increasing attractive droplet-fermion coupling, undulations in the droplet density occur in the vicinity of the fermions manifesting the back-action of the latter. Following interaction quenches from strong attractive to weaker droplet-fermion couplings reveals the spontaneous nucleation of complex excitation patterns in the fermion density such as ring and cross shaped structures. These stem from the enhanced interference of the fermions that remain trapped within the droplet, which emulates, to a good degree, an effective potential for the fermions. The non-negligible back-action of the droplet manifests itself in the fact that the effective potential predictions are less accurate at the level of the many-body wave function. Our results provide a paradigm for physics beyond the reduced single-component droplet model, unveiling the role of back-action in droplets and the effect of induced mediated interactions.


title: Conditional Choice Probability Estimation of Dynamic Discrete Choice Models with 2-period Finite Dependence

abstract: This paper extends the work of Arcidiacono and Miller (2011, 2019) by introducing a novel characterization of finite dependence within dynamic discrete choice models, demonstrating that numerous models display 2-period finite dependence. We recast finite dependence as a problem of sequentially searching for weights and introduce a computationally efficient method for determining these weights by utilizing the Kronecker product structure embedded in state transitions. With the estimated weights, we develop a computationally attractive Conditional Choice Probability estimator with 2-period finite dependence. The computational efficacy of our proposed estimator is demonstrated through Monte Carlo simulations.


title: Diverse and Effective Synthetic Data Generation for Adaptable Zero-Shot Dialogue State Tracking

abstract: We demonstrate substantial performance gains in zero-shot dialogue state tracking (DST) by enhancing training data diversity through synthetic data generation. Existing DST datasets are severely limited in the number of application domains and slot types they cover due to the high costs of data collection, restricting their adaptability to new domains. This work addresses this challenge with a novel, fully automatic data generation approach that creates synthetic zero-shot DST datasets. Distinguished from previous methods, our approach can generate dialogues across a massive range of application domains, complete with silver-standard dialogue state annotations and slot descriptions. This technique is used to create the D0T dataset for training zero-shot DST models, encompassing an unprecedented 1,000+ domains. Experiments on the MultiWOZ benchmark show that training models on diverse synthetic data improves Joint Goal Accuracy by 6.7%, achieving results competitive with models 13.5 times larger than ours.


title: Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)

abstract: Last-level cache side-channel attacks have been mostly demonstrated in highly-controlled, quiescent local environments. Hence, it is unclear whether such attacks are feasible in a production cloud environment. In the cloud, side channels are flooded with noise from activities of other tenants and, in Function-as-a-Service (FaaS) workloads, the attacker has a very limited time window to mount the attack. In this paper, we show that such attacks are feasible in practice, although they require new techniques. We present an end-to-end, cross-tenant attack on a vulnerable ECDSA implementation in the public FaaS Google Cloud Run environment. We introduce several new techniques to improve every step of the attack. First, to speed-up the generation of eviction sets, we introduce L2-driven candidate address filtering and a Binary Search-based algorithm for address pruning. Second, to monitor victim memory accesses with high time resolution, we introduce Parallel Probing. Finally, we leverage power spectral density from signal processing to easily identify the victim's target cache set in the frequency domain. Overall, using these mechanisms, we extract a median value of 81% of the secret ECDSA nonce bits from a victim container in 19 seconds on average.


title: Dynamical Geometry of the Haldane Model under a Quantum Quench

abstract: We explore the time evolution of a topological system when the system undergoes a sudden quantum quench within the same nontrivial phase. Using Haldane's honeycomb model as an example, we show that equilibrium states in a topological phase can be distinguished by geometrical features, such as the characteristic momentum at which the half-occupied edge modes cross, the associated edge-mode velocity, and the winding vector about which the normalized pseudospin magnetic field winds along a great circle on the Bloch sphere. We generalize these geometrical quantities for non-equilibrium states and use them to visualize the quench dynamics of the topological system. In general, we find the pre-quench equilibrium state relaxes to the post-quench equilibrium state in an oscillatory fashion, whose amplitude decay as $t^{1/2}$. In the process, however, the characteristic winding vector of the non-equilibrium system can evolve to regimes that are not reachable with equilibrium states.


title: Tunable Giant Anomalous Hall in a Kondo Lattice Ferromagnet UBiTe

abstract: Kondo lattice systems are recognized for potentially hosting a variety of rich topological phases. Several pioneering studies have demonstrated significant anomalous Hall and anomalous Nernst effects in these systems, attributed to the Berry curvature of the hybridization bands. In this study, we investigate UBiTe, a ferromagnetic Kondo lattice system. Our findings reveal that the intrinsic contribution to the anomalous Hall conductivity is closely tied to the Kondo coherence temperature. Moreover, we demonstrate that slight shifts in the Fermi level across three different samples significantly influence this intrinsic contribution, in alignment with the Berry curvature localized within the narrow hybridization bands. This provides a stark contrast to the less pronounced sensitivity observed in weakly correlated Weyl semimetals, underscoring the distinctive electronic properties of Kondo lattice systems. The anomalous Hall conductivity of one samples ranks among the highest reported for topological magnetic materials.


title: Optimizing Generative AI Networking: A Dual Perspective with Multi-Agent Systems and Mixture of Experts

abstract: In the continued development of next-generation networking and artificial intelligence content generation (AIGC) services, the integration of multi-agent systems (MAS) and the mixture of experts (MoE) frameworks is becoming increasingly important. Motivated by this, this article studies the contrasting and converging of MAS and MoE in AIGC-enabled networking. First, we discuss the architectural designs, operational procedures, and inherent advantages of using MAS and MoE in generative AI to explore its functionality and applications fully. Next, we review the applications of MAS and MoE frameworks in content generation and resource allocation, emphasizing their impact on networking operations. Subsequently, we propose a novel multi-agent-enabled MoE-proximal policy optimization (MoE-PPO) framework for 3D object generation and data transfer scenarios. The framework uses MAS for dynamic task coordination of each network service provider agent and MoE for expert-driven execution of respective tasks, thereby improving overall system efficiency and adaptability. The simulation results demonstrate the effectiveness of our proposed framework and significantly improve the performance indicators under different network conditions. Finally, we outline potential future research directions.


title: Learning Partially Aligned Item Representation for Cross-Domain Sequential Recommendation

abstract: Cross-domain sequential recommendation (CDSR) aims to uncover and transfer users' sequential preferences across multiple recommendation domains. While significant endeavors have been made, they primarily concentrated on developing advanced transfer modules and aligning user representations using self-supervised learning techniques. However, the problem of aligning item representations has received limited attention, and misaligned item representations can potentially lead to sub-optimal sequential modeling and user representation alignment. To this end, we propose a model-agnostic framework called \textbf{C}ross-domain item representation \textbf{A}lignment for \textbf{C}ross-\textbf{D}omain \textbf{S}equential \textbf{R}ecommendation (\textbf{CA-CDSR}), which achieves sequence-aware generation and adaptively partial alignment for item representations. Specifically, we first develop a sequence-aware feature augmentation strategy, which captures both collaborative and sequential item correlations, thus facilitating holistic item representation generation. Next, we conduct an empirical study to investigate the partial representation alignment problem from a spectrum perspective. It motivates us to devise an adaptive spectrum filter, achieving partial alignment adaptively. Furthermore, the aligned item representations can be fed into different sequential encoders to obtain user representations. The entire framework is optimized in a multi-task learning paradigm with an annealing strategy. Extensive experiments have demonstrated that CA-CDSR can surpass state-of-the-art baselines by a significant margin and can effectively align items in representation spaces to enhance performance.