title: One-Pot Approach for Acoustic Directed Assembly of Metallic and Composite Microstructures by Metal Ion Reduction

abstract: Acoustic-directed assembly is a modular and flexible bottom-up technique with the potential to pattern a wide range of materials. Standing acoustic waves have been previously employed for patterning preformed metal particles, however, direct patterning of metallic structures from precursors remains unexplored. Here, we investigate utilization of standing waves to exert control over chemical reaction products, while also exploring their potential in the formation of multi-layered and composite micro-structures. Periodic metallic micro-structures were formed in a single step, simplifying microstructure fabrication. Concentric structures were obtained by introducing a metal precursor salt and a reducing agent into a cylindrical piezoelectric resonator that also served as a reservoir. In addition, we introduce an innovative approach to directly fabricate metallic multi-layer and composite structures by reducing different metal ions or adding nanoparticles during the reduction step. Fewer steps are needed, compared with other methods, and there is no need to stabilize the nanoparticles or to ensure chemical affinity between the metallic matrix and inorganic nanoparticles. This innovative approach is promising for production of complex microstructures with enhanced functionality and controlled properties.


title: Exhaustions of circle domains

abstract: Koebe's conjecture asserts that every domain in the Riemann sphere is conformally equivalent to a circle domain. We prove that every domain $\Omega$ satisfying Koebe's conjecture admits an $\textit{exhaustion}$, i.e., a sequence of interior approximations by finitely connected domains, so that the associated conformal maps onto finitely connected circle domains converge to a conformal map $f$ from $\Omega$ onto a circle domain. Thus, if Koebe's conjecture is true, it can be proved by utilizing interior approximations of a domain. The main ingredient in the proof is the construction of $\textit{quasiround}$ exhaustions of a given circle domain $\Omega$. In the case of such exhaustions, if $\partial \Omega$ has area zero then $f$ is a M\"obius transformation.


title: memorAIs: an Optical Character Recognition and Rule-Based Medication Intake Reminder-Generating Solution

abstract: Memory-based medication non-adherence is an unsolved problem that is responsible for considerable disease burden in the United States. Digital medication intake reminder solutions with minimal onboarding requirements that are usable at the point of medication acquisition may help to alleviate this problem by offering a low barrier way to help people remember to take their medications. In this paper, we propose memorAIs, a digital medication intake reminder solution that mitigates onboarding friction by leveraging optical character recognition strategies for text extraction from medication bottles and rule based expressions for text processing to create configured medication reminders as local device calendar invitations. We describe our ideation and development process, as well as limitations of the current implementation. memorAIs was the winner of the Patient Safety award at the 2023 Columbia University DivHacks Hackathon, presented by the Patient Safety Technology Challenge, sponsored by the Pittsburgh Regional Health Initiative.


title: Optimal pair trading: consumption-investment problem

abstract: We expose a simple solution of the consumption-investment problem pair trading. The proof is based on the remark that the HJB equation can be reduced to a linear parabolic equation solvable explicitly.


title: Fully Triangulated Categories

abstract: We modify the axioms of triangulated categories to include both higher triangles and distinguished maps of higher triangles. The distinguished maps are specializations of Neeman's ``good'' maps of $2$-triangles. The axioms both simplify Neeman's axioms in his 1991 paper and generalize them to higher triangles in the way proposed by Balmer et al. We provide a geometric formulation via directed truncated simplices to enable a more concrete approach. The axioms are modelled by homotopy and derived categories. We look at a number of key theorems including the fact that sums of maps of $2$-triangles are distinguished if and only if the maps are distinguished and a strong version of the $3$x$3$ lemma. These illustrate some key proof methods. We also show that maps of faces of distinguished triangles are distinguished. We construct some useful distinguished $5$-triangles.


title: Element abundance patterns in stars indicate fission of nuclei heavier than uranium

abstract: The heaviest chemical elements are naturally produced by the rapid neutron-capture process (r-process) during neutron star mergers or supernovae. The r-process production of elements heavier than uranium (transuranic nuclei) is poorly understood and inaccessible to experiments, so must be extrapolated using nucleosynthesis models. We examine element abundances in a sample of stars that are enhanced in r-process elements. The abundances of elements Ru, Rh, Pd, and Ag (atomic numbers Z = 44 to 47, mass numbers A = 99 to 110) correlate with those of heavier elements (63 <= Z <= 78, A > 150). There is no correlation for neighboring elements (34 <= Z <= 42 and 48 <= Z <= 62). We interpret this as evidence that fission fragments of transuranic nuclei contribute to the abundances. Our results indicate that neutron-rich nuclei with mass numbers >260 are produced in r-process events.

categories: astro-ph.SR astro-ph.GA astro-ph.HE nucl-ex nucl-th


title: High-Cadence Thermospheric Density Estimation enabled by Machine Learning on Solar Imagery

abstract: Accurate estimation of thermospheric density is critical for precise modeling of satellite drag forces in low Earth orbit (LEO). Improving this estimation is crucial to tasks such as state estimation, collision avoidance, and re-entry calculations. The largest source of uncertainty in determining thermospheric density is modeling the effects of space weather driven by solar and geomagnetic activity. Current operational models rely on ground-based proxy indices which imperfectly correlate with the complexity of solar outputs and geomagnetic responses. In this work, we directly incorporate NASA's Solar Dynamics Observatory (SDO) extreme ultraviolet (EUV) spectral images into a neural thermospheric density model to determine whether the predictive performance of the model is increased by using space-based EUV imagery data instead of, or in addition to, the ground-based proxy indices. We demonstrate that EUV imagery can enable predictions with much higher temporal resolution and replace ground-based proxies while significantly increasing performance relative to current operational models. Our method paves the way for assimilating EUV image data into operational thermospheric density forecasting models for use in LEO satellite navigation processes.


title: Hilbert Coefficients and Sally Modules: A Survey of Vasconcelos' Contributions

abstract: This paper surveys and summarizes Wolmer Vasconcelos' results surrounding multiplicities, Hilbert coefficients, and their extensions. We particularly focus on Vasconcelos' results regarding multiplicities and Chern coefficients, and other invariants which they bound. The Sally module is an important instrument introduced by Vasconcelos for this study, which naturally relates Hilbert coefficients to reduction numbers.


title: Semi-major Axis Jumps as the Activity Trigger in Centaurs and High-Perihelion Jupiter Family Comets

abstract: We present a dynamical study of 39 active Centaurs and 17 high-perihelion (q$>$4.5 au) JFCs with a focus on investigating recent orbital changes as potential triggers for comet-like activity. We have identified a common feature in the recent dynamical histories of all active Centaurs and JFC in our sample that is not present in the history of the majority of inactive population members: a sharp decrease in semi-major axis and eccentricity occurring within the last several hundred years prior to observed activity. We define these rapid orbital changes as `a-jumps'. Our results indicate that these orbital reshaping events lead to shorter orbital periods and subsequently greater average per-orbit heating of Centaur nuclei. We suggest the a-jumps could therefore be a major trigger of cometary activity on Centaurs and JFCs. Our results further imply that analyses of the recent dynamical histories could be used to identify objects that are currently active or may become active soon, where we have identified three such Centaurs with recent a-jumps that should be considered high-priority targets for observational monitoring to search for activity.


title: Data-Driven Modeling and Verification of Perception-Based Autonomous Systems

abstract: This paper addresses the problem of data-driven modeling and verification of perception-based autonomous systems. We assume the perception model can be decomposed into a canonical model (obtained from first principles or a simulator) and a noise model that contains the measurement noise introduced by the real environment. We focus on two types of noise, benign and adversarial noise, and develop a data-driven model for each type using generative models and classifiers, respectively. We show that the trained models perform well according to a variety of evaluation metrics based on downstream tasks such as state estimation and control. Finally, we verify the safety of two systems with high-dimensional data-driven models, namely an image-based version of mountain car (a reinforcement learning benchmark) as well as the F1/10 car, which uses LiDAR measurements to navigate a racing track.


title: Deep Learning based Modeling of Wireless Communication Channel with Fading

abstract: In the realm of wireless communication, stochastic modeling of channels is instrumental for the assessment and design of operational systems. Deep learning neural networks (DLNN), including generative adversarial networks (GANs), are being used to approximate wireless Orthogonal frequency-division multiplexing (OFDM) channels with fading and noise, using real measurement data. These models primarily focus on channel output (y) distribution given input x: p(y|x), limiting their application scope. DLNN channel models have been tested predominantly on simple simulated channels. In this paper, we build both GANs and feedforward neural networks (FNN) to approximate a more general channel model, which is represented by a conditional probability density function (PDF) of receiving signal or power of node receiving power Prx: f_p_rx|d(()), where is communication distance. The stochastic models are trained and tested for the impact of fading channels on transmissions of OFDM QAM modulated signal and transmissions of general signal regardless of modulations. New metrics are proposed for evaluation of modeling accuracy and comparisons of the GAN-based model with the FNN-based model. Extensive experiments on Nakagami fading channel show accuracy and the effectiveness of the approaches.


title: NDELS: A Novel Approach for Nighttime Dehazing, Low-Light Enhancement, and Light Suppression

abstract: This paper tackles the intricate challenge of improving the quality of nighttime images under hazy and low-light conditions. Overcoming issues including nonuniform illumination glows, texture blurring, glow effects, color distortion, noise disturbance, and overall, low light have proven daunting. Despite the inherent difficulties, this paper introduces a pioneering solution named Nighttime Dehazing, Low-Light Enhancement, and Light Suppression (NDELS). NDELS utilizes a unique network that combines three essential processes to enhance visibility, brighten low-light regions, and effectively suppress glare from bright light sources. In contrast to limited progress in nighttime dehazing, unlike its daytime counterpart, NDELS presents a comprehensive and innovative approach. The efficacy of NDELS is rigorously validated through extensive comparisons with eight state-of-the-art algorithms across four diverse datasets. Experimental results showcase the superior performance of our method, demonstrating its outperformance in terms of overall image quality, including color and edge enhancement. Quantitative (PSNR, SSIM) and qualitative metrics (CLIPIQA, MANIQA, TRES), measure these results.


title: Accumulation and removal of Si impurities on $\beta-Ga_2O_3$ arising from ambient air exposure

abstract: Here we report that the source of Si impurities commonly observed on (010) $\beta-Ga_2O_3$ is from exposure of the surface to air. Moreover, we find that a 15 minute HF (49%) treatment reduces the Si density by approximately 1 order of magnitude on (010) $\beta-Ga_2O_3$ surfaces. This reduction in Si is critical for the elimination of the often observed parasitic conducting channel, which negatively affects transport properties and lateral transistor performance. After the HF treatment the sample must be immediately put under vacuum, for the Si fully returns within 10 minutes of additional air exposure. Lastly, we demonstrate that performing a 30 minute HF (49%) treatment on the substrate before growth has no deleterious effect on the structure or on the epitaxy surface after subsequent $Ga_2O_3$ growth.


title: In situ X-ray scattering reveals coarsening rates of superlattices self-assembled from electrostatically stabilized metal nanocrystals depend non-monotonically on driving force

abstract: Self-assembly of colloidal nanocrystals (NCs) into superlattices (SLs) is an appealing strategy to design hierarchically organized materials with new functionalities. Mechanistic studies are still needed to uncover the design principles for SL self-assembly, but such studies have been difficult to perform due to the fast time- and short length scales of NC systems. To address this challenge, we developed an apparatus to directly measure the evolving phases \textit{in situ} and in real time of an electrostatically stabilized Au NC solution before, during, and after it is quenched to form SLs using small angle X-ray scattering (SAXS). By developing a quantitative model, we fit the time-dependent scattering patterns to obtain the phase diagram of the system and the kinetics of the colloidal and SL phases as a function of varying quench conditions. The extracted phase diagram is consistent with particles whose interactions are short in range relative to their diameter. We find the degree of SL order is primarily determined by fast (sub-second) initial nucleation and growth kinetics, while coarsening at later times depends non-monotonically on the driving force for self-assembly. We validate these results by direct comparison with simulations and use them to suggest dynamic design principles to optimize crystallinity within a finite time window. The combination of this measurement methodology, quantitative analysis, and simulation should be generalizable to elucidate and better control the microscopic self-assembly pathways of a wide range of bottom-up assembled systems and architectures.


title: LLF-Bench: Benchmark for Interactive Learning from Language Feedback

abstract: We introduce a new benchmark, LLF-Bench (Learning from Language Feedback Benchmark; pronounced as "elf-bench"), to evaluate the ability of AI agents to interactively learn from natural language feedback and instructions. Learning from language feedback (LLF) is essential for people, largely because the rich information this feedback provides can help a learner avoid much of trial and error and thereby speed up the learning process. Large Language Models (LLMs) have recently enabled AI agents to comprehend natural language -- and hence AI agents can potentially benefit from language feedback during learning like humans do. But existing interactive benchmarks do not assess this crucial capability: they either use numeric reward feedback or require no learning at all (only planning or information retrieval). LLF-Bench is designed to fill this omission. LLF-Bench is a diverse collection of sequential decision-making tasks that includes user recommendation, poem writing, navigation, and robot control. The objective of an agent is to interactively solve these tasks based on their natural-language instructions and the feedback received after taking actions. Crucially, to ensure that the agent actually "learns" from the feedback, LLF-Bench implements several randomization techniques (such as paraphrasing and environment randomization) to ensure that the task isn't familiar to the agent and that the agent is robust to various verbalizations. In addition, LLF-Bench provides a unified OpenAI Gym interface for all its tasks and allows the users to easily configure the information the feedback conveys (among suggestion, explanation, and instantaneous performance) to study how agents respond to different types of feedback. Together, these features make LLF-Bench a unique research platform for developing and testing LLF agents.


title: Self-supervised Machine Learning Based Approach to Orbit Modelling Applied to Space Traffic Management

abstract: This paper presents a novel methodology for improving the performance of machine learning based space traffic management tasks through the use of a pre-trained orbit model. Taking inspiration from BERT-like self-supervised language models in the field of natural language processing, we introduce ORBERT, and demonstrate the ability of such a model to leverage large quantities of readily available orbit data to learn meaningful representations that can be used to aid in downstream tasks. As a proof of concept of this approach we consider the task of all vs. all conjunction screening, phrased here as a machine learning time series classification task. We show that leveraging unlabelled orbit data leads to improved performance, and that the proposed approach can be particularly beneficial for tasks where the availability of labelled data is limited.


title: Multimodal Pretraining of Medical Time Series and Notes

abstract: Within the intensive care unit (ICU), a wealth of patient data, including clinical measurements and clinical notes, is readily available. This data is a valuable resource for comprehending patient health and informing medical decisions, but it also contains many challenges in analysis. Deep learning models show promise in extracting meaningful patterns, but they require extensive labeled data, a challenge in critical care. To address this, we propose a novel approach employing self-supervised pretraining, focusing on the alignment of clinical measurements and notes. Our approach combines contrastive and masked token prediction tasks during pretraining. Semi-supervised experiments on the MIMIC-III dataset demonstrate the effectiveness of our self-supervised pretraining. In downstream tasks, including in-hospital mortality prediction and phenotyping, our pretrained model outperforms baselines in settings where only a fraction of the data is labeled, emphasizing its ability to enhance ICU data analysis. Notably, our method excels in situations where very few labels are available, as evidenced by an increase in the AUC-ROC for in-hospital mortality by 0.17 and in AUC-PR for phenotyping by 0.1 when only 1% of labels are accessible. This work advances self-supervised learning in the healthcare domain, optimizing clinical insights from abundant yet challenging ICU data.


title: Efficiency of solar microflares in accelerating electrons when rooted in a sunspot

abstract: We investigate two microflares of GOES classes A9 and C1 (after background subtraction) observed by STIX onboard Solar Orbiter with exceptionally strong nonthermal emission. We complement the hard X-ray imaging and spectral analysis by STIX with co-temporal observations in the (E)UV and visual range by AIA and HMI, in order to investigate what makes these microflares so sufficient in high-energy particle acceleration. We performed case studies of two microflares observed by STIX on October 11, 2021 and November 10, 2022 that showed unusually hard microflare X-ray spectra with power-law indices of the electron flux distributions delta = 2.98 and delta = 4.08 during their nonthermal peaks and photon energies up to 76 keV and 50 keV respectively. For both events under study, we found that one footpoint is located within a sunspot covering areas with mean magnetic flux densities in excess of 1500 G, suggesting that the hard electron spectra are caused by the strong magnetic fields in which the flare loops are rooted. In addition, we revisited the unusually hard RHESSI microflare initially published by Hannah et al. (2008b) and found that in this event also one flare kernel was located within a sunspot, which corroborates the result from the two hard STIX microflares under study. We conclude that the characteristics of the strong photospheric magnetic fields inside sunspot umbrae and penumbrae where the flare loops are rooted play an important role in the generation of exceptionally hard X-ray spectra in these microflares.


title: Knowledge-Informed Neuro-Integrators for Aggregation Kinetics

abstract: We report a novel approach for the efficient computation of solutions of a broad class of large-scale systems of non-linear ordinary differential equations, describing aggregation kinetics. The method is based on a new take on the dimensionality reduction for this class of equations which can be naturally implemented by a cascade of small feed-forward artificial neural networks. We show that this cascade, of otherwise static models, is capable of predicting solutions of the original large-scale system over large intervals of time, using the information about the solution computed over much smaller intervals. The computational cost of the method depends very mildly on the temporal horizon, which is a major improvement over the current state-of-the-art methods, whose complexity increases super-linearly with the system's size and proportionally to the simulation time. In cases when prior information about the values of solutions over a relatively small interval of time is already available, the method's computational complexity does not depend explicitly on the system's size. The successful application of the new method is illustrated for spatially-homogeneous systems, with a source of monomers, for a number of the most representative reaction rates kernels.


title: Scalable Decentralized Cooperative Platoon using Multi-Agent Deep Reinforcement Learning

abstract: Cooperative autonomous driving plays a pivotal role in improving road capacity and safety within intelligent transportation systems, particularly through the deployment of autonomous vehicles on urban streets. By enabling vehicle-to-vehicle communication, these systems expand the vehicles environmental awareness, allowing them to detect hidden obstacles and thereby enhancing safety and reducing crash rates compared to human drivers who rely solely on visual perception. A key application of this technology is vehicle platooning, where connected vehicles drive in a coordinated formation. This paper introduces a vehicle platooning approach designed to enhance traffic flow and safety. Developed using deep reinforcement learning in the Unity 3D game engine, known for its advanced physics, this approach aims for a high-fidelity physical simulation that closely mirrors real-world conditions. The proposed platooning model focuses on scalability, decentralization, and fostering positive cooperation through the introduced predecessor-follower "sharing and caring" communication framework. The study demonstrates how these elements collectively enhance autonomous driving performance and robustness, both for individual vehicles and for the platoon as a whole, in an urban setting. This results in improved road safety and reduced traffic congestion.


title: Exploring Metamagnetism in Triangular Ising Networks: Insights from Further-Neighbor Interactions with a Case Study on ErGa2

abstract: The classical Ising model on the triangular lattice (we will call it I-3 model below), while simple in the nearest-neighbors (NN) only approximation, becomes increasingly richer and more complex when further interactions are incorporated. However, the studies so far have not been exhaustive, nor have any attempts been made to estimate how realistic are the parameter ranges that generate strong metamagnetism with a large number of magnetization steps. In this study, we identify one such candidate, ErGa$_{2}$, a material known to have one strong magnetization step, albeit some narrow steps below and above cannot be confidently excluded. It has been established, and we can confirm the same computationally, to have an easy axis perpendicular to the triangular Er plane, with a strong anisotropy and with a large magnetic moment of $9.5\:\mu_{B}$, making it a perfect implementation of the classical I-3 model. In the first part of the analysis, we present the I-3 model with up to the third nearest-neighbors in a range of parameters $J_{2}$ and $J_{3}$ ($J_{1}$ in this part is set to 1), and in some cases adding a rather small $J_{4}$ in order to reveal new phases otherwise degenerate with some others. The richest phase diagram is, not surprisingly, observed when all interactions are antiferromagnetic (AF). Subsequently, a more realistic case, inspired by RKKY and by our calculations for ErGa$_{2}$, where $J_{1},J_{2}>0$ (antiferromagnetic) and $J_{3},J_{4}<0$ (ferromagnetic), is presented. Finally, we report our first-principles calculations of $J_{1-4}$ in ErGa$_{2}$ and compared the phase diagram in the regime corresponding to the calculated values with the experiment.


title: Construction of Brooks-Lindenstrauss kernels on affine buildings of arbitrary reduced type, with applications

abstract: This article deals with harmonic analysis on affine buildings. Its main goal is to construct suitable kernels associated to a discrete multitemporal wave equations on the latter spaces, the long-standing motivation being to contribute to progress in arithmetic quantum unique ergodicity (AQUE) on certain Riemannian manifolds.


title: Disentangling Perceptions of Offensiveness: Cultural and Moral Correlates

abstract: Perception of offensiveness is inherently subjective, shaped by the lived experiences and socio-cultural values of the perceivers. Recent years have seen substantial efforts to build AI-based tools that can detect offensive language at scale, as a means to moderate social media platforms, and to ensure safety of conversational AI technologies such as ChatGPT and Bard. However, existing approaches treat this task as a technical endeavor, built on top of data annotated for offensiveness by a global crowd workforce without any attention to the crowd workers' provenance or the values their perceptions reflect. We argue that cultural and psychological factors play a vital role in the cognitive processing of offensiveness, which is critical to consider in this context. We re-frame the task of determining offensiveness as essentially a matter of moral judgment -- deciding the boundaries of ethically wrong vs. right language within an implied set of socio-cultural norms. Through a large-scale cross-cultural study based on 4309 participants from 21 countries across 8 cultural regions, we demonstrate substantial cross-cultural differences in perceptions of offensiveness. More importantly, we find that individual moral values play a crucial role in shaping these variations: moral concerns about Care and Purity are significant mediating factors driving cross-cultural differences. These insights are of crucial importance as we build AI models for the pluralistic world, where the values they espouse should aim to respect and account for moral values in diverse geo-cultural contexts.


title: Stroboscopic X-ray Diffraction Microscopy of Dynamic Strain in Diamond Thin-film Bulk Acoustic Resonators for Quantum Control of Nitrogen Vacancy Centers

abstract: Bulk-mode acoustic waves in a crystalline material exert lattice strain through the thickness of the sample, which couples to the spin Hamiltonian of defect-based qubits such as the nitrogen-vacancy (NV) center defect in diamond. This mechanism has been previously harnessed for unconventional quantum spin control, spin decoherence protection, and quantum sensing. Bulk-mode acoustic wave devices are also important in the microelectronics industry as microwave filters. A key challenge in both applications is a lack of appropriate operando microscopy tools for quantifying and visualizing gigahertz-frequency dynamic strain. In this work, we directly image acoustic strain within NV center-coupled diamond thin-film bulk acoustic wave resonators using stroboscopic scanning hard X-ray diffraction microscopy at the Advanced Photon Source. The far-field scattering patterns of the nano-focused X-ray diffraction encode strain information entirely through the illuminated thickness of the resonator. These patterns have a real-space spatial variation that is consistent with the bulk strain's expected modal distribution and a momentum-space angular variation from which the strain amplitude can be quantitatively deduced. We also perform optical measurements of strain-driven Rabi precession of the NV center spin ensemble, providing an additional quantitative measurement of the strain amplitude. As a result, we directly measure the NV spin-stress coupling parameter $b = 2.73(2)$ MHz/GPa by correlating these measurements at the same spatial position and applied microwave power. Our results demonstrate a unique technique for directly imaging AC lattice strain in micromechanical structures and provide a direct measurement of a fundamental constant for the NV center defect spin Hamiltonian.


title: Statistics of Turbulence in the Solar Wind. I. What is the Reynolds Number of the Solar Wind?

abstract: The Reynolds number, Re, is an important quantity for describing a turbulent flow. It tells us about the bandwidth over which energy can cascade from large scales to smaller ones, prior to the onset of dissipation. However, calculating it for nearly collisionless plasmas like the solar wind is challenging. Previous studies have used "effective" Reynolds number formulations, expressing Re as a function of the correlation scale and either the Taylor scale or a proxy for the dissipation scale. We find that the Taylor scale definition of the Reynolds number has a sizeable prefactor of approximately 27, which has not been employed in previous works. Drawing from 18 years of data from the Wind spacecraft at 1 au, we calculate the magnetic Taylor scale directly and use both the ion inertial length and the magnetic spectrum break scale as approximations for the dissipation scale, yielding three distinct Re estimates for each 12-hour interval. Average values of Re range between 116,000 and 3,406,000, within the general distribution of past work. We also find considerable disagreement between the methods, with linear associations of between 0.38 and 0.72. Although the Taylor scale method is arguably more physically motivated, due to its dependence on the energy cascade rate, more theoretical work is needed in order to identify the most appropriate way of calculating effective Reynolds numbers for kinetic plasmas. As a summary of our observational analysis, we make available a data product of 28 years of 1 au solar wind and magnetospheric plasma measurements from Wind.


title: High-speed Opto-electronic Pre-processing of Polar Mellin Transform for Shift, Scale and Rotation Invariant Image Recognition at Record-Breaking Speeds

abstract: Space situational awareness demands efficient monitoring of terrestrial sites and celestial bodies, necessitating advanced target recognition systems. Current target recognition systems exhibit limited operational speed due to challenges in handling substantial image data. While machine learning has improved this scenario, highresolution images remain a concern. Optical correlators, relying on analog processes, provide a potential alternative but are hindered by material limitations. Recent advancements in hybrid opto-electronic correlators (HOC) have addressed such limitations, additionally achieving shift, scale, and rotation invariant (SSRI) target recognition through use of the polar Mellin transform (PMT). However, there are currently no techniques for obtaining the PMT at speeds fast enough to take advantage of the inherent speed of the HOC. To that end, we demonstrate an optoelectronic PMT pre-processor that can operate at record-breaking millisecond frame rates using commercially available components for use in an automated SSRI HOC image recognition system for space situational awareness.


title: Keypoint-based Stereophotoclinometry for Characterizing and Navigating Small Bodies: A Factor Graph Approach

abstract: This paper proposes the incorporation of techniques from stereophotoclinometry (SPC) into a keypoint-based structure-from-motion (SfM) system to estimate the surface normal and albedo at detected landmarks to improve autonomous surface and shape characterization of small celestial bodies from in-situ imagery. In contrast to the current state-of-the-practice method for small body shape reconstruction, i.e., SPC, which relies on human-in-the-loop verification and high-fidelity a priori information to achieve accurate results, we forego the expensive maplet estimation step and instead leverage dense keypoint measurements and correspondences from an autonomous keypoint detection and matching method based on deep learning to provide the necessary photogrammetric constraints. Moreover, we develop a factor graph-based approach allowing for simultaneous optimization of the spacecraft's pose, landmark positions, Sun-relative direction, and surface normals and albedos via fusion of Sun sensor measurements and image keypoint measurements. The proposed framework is validated on real imagery of the Cornelia crater on Asteroid 4 Vesta, along with pose estimation and mapping comparison against an SPC reconstruction, where we demonstrate precise alignment to the SPC solution without relying on any a priori camera pose and topography information or humans-in-the-loop


title: Probing Disk Ice Content and PAH Emission Through Multiband MagAO+Clio Images of HD 141569

abstract: We present resolved images of the inner disk component around HD 141569 using the Magellan adaptive optics system with the Clio2 1 - 5 $\mu$m camera, offering a glimpse of a complex system thought to be in a short evolutionary phase between protoplanetary and debris disk stages. We use a reference star along with the KLIP algorithm for PSF subtraction to detect the disk inward to about 0.24" (~25 au assuming a distance of 111 pc) at high signal-to-noise ratios at $L'$ (3.8 $\mu$m), $Ls$ (3.3 $\mu$m), and narrowband $Ice$ (3.1 $\mu$m). We identify an arc or spiral arm structure at the southeast extremity, consistent with previous studies. We implement forward modeling with a simple disk model within the framework of an MCMC sampler to better constrain the geometrical attributes and photometry using our KLIP-reduced disk images. We then leverage these modeling results to facilitate a comparison of the measured brightness in each passband to find a reduction in scattered light from the disk in the $Ice$ filter, implying significant absorption due to water ice in the dust. Additionally, our best-fit disk models exhibit peak brightness in the southwestern, back-scattering region of the disk, which we suggest to be possible evidence of 3.3 $\mu$m PAH emission. However, we point out the need for additional observations with bluer filters and more complex modeling to confirm these hypotheses.


title: Get an A in Math: Progressive Rectification Prompting

abstract: Chain-of-Thought (CoT) prompting methods have enabled large language models (LLMs) to generate reasoning paths and solve math word problems (MWPs). However, they are sensitive to mistakes in the paths, as any mistake can result in an incorrect answer. We propose a novel method named Progressive Rectification Prompting (PRP) to improve average accuracy on eight MWP datasets from 77.3 to 90.5. Given an initial answer from CoT, PRP iterates a verify-then-rectify process to progressively identify incorrect answers and rectify the reasoning paths. With the most likely correct answer, the LLM predicts a masked numerical value in the question; if the prediction does not match the masked value, the answer is likely incorrect. Then the LLM is prompted to re-generate the reasoning path hinted with a set of incorrect answers to prevent itself from repeating previous mistakes. PRP achieves the best performance compared against the CoT methods. Our implementation is made publicly available at https://wzy6642.github.io/prp.github.io/.


title: RAFIC: Retrieval-Augmented Few-shot Image Classification

abstract: Few-shot image classification is the task of classifying unseen images to one of N mutually exclusive classes, using only a small number of training examples for each class. The limited availability of these examples (denoted as K) presents a significant challenge to classification accuracy in some cases. To address this, we have developed a method for augmenting the set of K with an addition set of A retrieved images. We call this system Retrieval-Augmented Few-shot Image Classification (RAFIC). Through a series of experiments, we demonstrate that RAFIC markedly improves performance of few-shot image classification across two challenging datasets. RAFIC consists of two main components: (a) a retrieval component which uses CLIP, LAION-5B, and faiss, in order to efficiently retrieve images similar to the supplied images, and (b) retrieval meta-learning, which learns to judiciously utilize the retrieved images. Code and data is available at github.com/amirziai/rafic.


title: Adversarial Estimation of Topological Dimension with Harmonic Score Maps

abstract: Quantification of the number of variables needed to locally explain complex data is often the first step to better understanding it. Existing techniques from intrinsic dimension estimation leverage statistical models to glean this information from samples within a neighborhood. However, existing methods often rely on well-picked hyperparameters and ample data as manifold dimension and curvature increases. Leveraging insight into the fixed point of the score matching objective as the score map is regularized by its Dirichlet energy, we show that it is possible to retrieve the topological dimension of the manifold learned by the score map. We then introduce a novel method to measure the learned manifold's topological dimension (i.e., local intrinsic dimension) using adversarial attacks, thereby generating useful interpretations of the learned manifold.


title: The quantum oscillator model of electromagnetic excitations revisited

abstract: We revisit the quantum oscillator model of the electromagnetic field and conclude that, while the nonlocal positive and negative frequency ladder operators generate a photon Fock basis, the Hermitian field operators obtained by second quantization of real Maxwell fields describe photon-antiphoton pairs that couple locally to Fermionic matter and can be modeled classically. Their commutation relations define a scalar product that can be the basis of a first quantized theory of single photons. Since a one-photon state collapses to a zero-photon state when the photon is counted, the field describing it must be interpreted as a probability amplitude.


title: Using Analytics on Student Created Data to Content Validate Pedagogical Tools

abstract: Conceptual and simulation models can function as useful pedagogical tools, however it is important to categorize different outcomes when evaluating them in order to more meaningfully interpret results. VERA is a ecology-based conceptual modeling software that enables users to simulate interactions between biotics and abiotics in an ecosystem, allowing users to form and then verify hypothesis through observing a time series of the species populations. In this paper, we classify this time series into common patterns found in the domain of ecological modeling through two methods, hierarchical clustering and curve fitting, illustrating a general methodology for showing content validity when combining different pedagogical tools. When applied to a diverse sample of 263 models containing 971 time series collected from three different VERA user categories: a Georgia Tech (GATECH), North Georgia Technical College (NGTC), and ``Self Directed Learners'', results showed agreement between both classification methods on 89.38\% of the sample curves in the test set. This serves as a good indication that our methodology for determining content validity was successful.


title: ELSA: Partial Weight Freezing for Overhead-Free Sparse Network Deployment

abstract: We present ELSA, a practical solution for creating deep networks that can easily be deployed at different levels of sparsity. The core idea is to embed one or more sparse networks within a single dense network as a proper subset of the weights. At prediction time, any sparse model can be extracted effortlessly simply be zeroing out weights according to a predefined mask. ELSA is simple, powerful and highly flexible. It can use essentially any existing technique for network sparsification and network training. In particular, it does not restrict the loss function, architecture or the optimization technique. Our experiments show that ELSA's advantages of flexible deployment comes with no or just a negligible reduction in prediction quality compared to the standard way of using multiple sparse networks that are trained and stored independently.


title: Can Primordial Black Holes form in the Standard Model ?

abstract: We investigate the viability of primordial black hole (PBH) formation in the Standard Model (SM) in a scenario that does not rely on specific inflationary features or any exotic physics such as phase transitions or non-minimal coupling to gravity. If the Brout-Englert-Higgs (BEH) field lies exactly at the transition between metastability and stability, its potential exhibits an inflexion point due to radiative corrections. The BEH can act like a stochastic curvaton field, leading to a non-Gaussian tail of large curvature fluctuations that later collapse into PBHs when they re-enter inside the horizon. This scenario would require a precise value of the top-quark mas to ensure the Higgs stability, which is disfavored but still consistent with the most recent measurements. However, we also find that large curvature fluctuations are also generated on cosmological scales that are inconsistent with cosmic microwave background (CMB) observations. We therefore conclude that the SM cannot have led to the formation of PBHs based on this mechanism. Nevertheless, a variation of the scenario based on the Palatini formulation of gravity may have provided the conditions to produce stellar-mass PBHs with an abundance comparable to dark matter, without producing too large curvature fluctuations on cosmological scales.


title: Dozerformer: Sequence Adaptive Sparse Transformer for Multivariate Time Series Forecasting

abstract: Transformers have achieved remarkable performance in multivariate time series(MTS) forecasting due to their capability to capture long-term dependencies. However, the canonical attention mechanism has two key limitations: (1) its quadratic time complexity limits the sequence length, and (2) it generates future values from the entire historical sequence. To address this, we propose a Dozer Attention mechanism consisting of three sparse components: (1) Local, each query exclusively attends to keys within a localized window of neighboring time steps. (2) Stride, enables each query to attend to keys at predefined intervals. (3) Vary, allows queries to selectively attend to keys from a subset of the historical sequence. Notably, the size of this subset dynamically expands as forecasting horizons extend. Those three components are designed to capture essential attributes of MTS data, including locality, seasonality, and global temporal dependencies. Additionally, we present the Dozerformer Framework, incorporating the Dozer Attention mechanism for the MTS forecasting task. We evaluated the proposed Dozerformer framework with recent state-of-the-art methods on nine benchmark datasets and confirmed its superior performance. The code will be released after the manuscript is accepted.


title: Oracle-based Protocol Testing with Eywa

abstract: We present oracle-based testing a new technique for automatic black-box testing of network protocol implementations. Oracle-based testing leverages recent advances in LLMs to build rich models of intended protocol behavior from knowledge embedded in RFCs, blogs, forums, and other natural language sources. From these models it systematically derives exhaustive test cases using symbolic program execution. We realize oracle-based testing through Eywa, a novel protocol testing framework implemented in Python. To demonstrate Eywa's effectiveness, we show its use through an extensive case study of the DNS protocol. Despite requiring minimal effort, applying Eywa to the DNS resulting in the discovery of 26 unique bugs across ten widely used DNS implementations, including 11 new bugs that were previously undiscovered despite elaborate prior testing with manually crafted models.


title: Interactive Planning Using Large Language Models for Partially Observable Robotics Tasks

abstract: Designing robotic agents to perform open vocabulary tasks has been the long-standing goal in robotics and AI. Recently, Large Language Models (LLMs) have achieved impressive results in creating robotic agents for performing open vocabulary tasks. However, planning for these tasks in the presence of uncertainties is challenging as it requires \enquote{chain-of-thought} reasoning, aggregating information from the environment, updating state estimates, and generating actions based on the updated state estimates. In this paper, we present an interactive planning technique for partially observable tasks using LLMs. In the proposed method, an LLM is used to collect missing information from the environment using a robot and infer the state of the underlying problem from collected observations while guiding the robot to perform the required actions. We also use a fine-tuned Llama 2 model via self-instruct and compare its performance against a pre-trained LLM like GPT-4. Results are demonstrated on several tasks in simulation as well as real-world environments. A video describing our work along with some results could be found here.


title: A Novel Differentiable Loss Function for Unsupervised Graph Neural Networks in Graph Partitioning

abstract: In this paper, we explore the graph partitioning problem, a pivotal combina-torial optimization challenge with extensive applications in various fields such as science, technology, and business. Recognized as an NP-hard prob-lem, graph partitioning lacks polynomial-time algorithms for its resolution. Recently, there has been a burgeoning interest in leveraging machine learn-ing, particularly approaches like supervised, unsupervised, and reinforce-ment learning, to tackle such NP-hard problems. However, these methods face significant hurdles: supervised learning is constrained by the necessity of labeled solution instances, which are often computationally impractical to obtain; reinforcement learning grapples with instability in the learning pro-cess; and unsupervised learning contends with the absence of a differentia-ble loss function, a consequence of the discrete nature of most combinatorial optimization problems. Addressing these challenges, our research introduces a novel pipeline employing an unsupervised graph neural network to solve the graph partitioning problem. The core innovation of this study is the for-mulation of a differentiable loss function tailored for this purpose. We rigor-ously evaluate our methodology against contemporary state-of-the-art tech-niques, focusing on metrics: cuts and balance, and our findings reveal that our is competitive with these leading methods.


title: Static sphere observers and geodesics in Schwarzschild-de Sitter spacetime

abstract: We analyze null- and spacelike radial geodesics in Schwarzschild-de Sitter spacetime connecting two conjugate static sphere observers, i.e. free-falling observers at a fixed radius in between the two horizons. We explicitly determine the changes in the causal structure with respect to these natural observers as a result of the inward bending of the black hole singularity, as well as the outward bending of asymptotic infinity. Notably, the inward and outward bending changes as a function of the black hole mass, first increasing towards a maximum and then decreasing to vanish in the extreme Nariai limit. For a generic mass of the black hole this implies the existence of finite size (temporal) windows for the presence of symmetric radial geodesics between the static sphere observers probing the interior region of the black hole, as well as the exterior de Sitter region. We determine the size of the interior (black hole) and exterior (de Sitter) temporal windows in $4$, $5$ and $6$ spacetime dimensions, finding that they are equal in $D=5$, and compute the proper lengths of the symmetric radial geodesics. We comment on the implications for information exchange and the potential role of the symmetric radial geodesics in a geodesic approximation of static sphere correlators in Schwarzschild-de Sitter spacetime.


title: The history of star-forming regions in the tails of 6 GASP jellyfish galaxies observed with the Hubble Space Telescope

abstract: Using images collected with the WFC3 camera on board of the Hubble Space Telescope, we detect stellar clumps in continuum-subtracted $H\alpha$ and ultraviolet (F275W filter), such clumps are often embedded in larger regions (star-forming complexes) detected in the optical (F606W filter). We model the photometry of these objects using BAGPIPES to obtain their stellar population parameters. The median mass-weighted stellar ages are 27 Myr for $H\alpha$ clumps and 39 Myr for F275W clumps and star-forming complexes, the oldest stars in the complexes can be older than $\sim$300 Myr which indicates that star-formation is sustained for long periods of time. Stellar masses vary from 10$^{3.5}$ to 10$^{7.1}$ $M_\odot$, with star-forming complexes being more massive objects in the sample. Clumps and complexes found further away from the host galaxy are younger, less massive and less obscured by dust. We interpret these trends as due to the effect of ram-pressure in different phases of the interstellar medium. $H\alpha$ clumps form a well-defined sequence in the stellar mass--SFR plane with slope 0.73. Some F275W clumps and star-forming complexes follow the same sequence while others stray away from it and passively age. The difference in stellar age between a complex and its youngest embedded clump scales with the distance between the clump and the center of the complex, with the most displaced clumps being hosted by the most elongated complexes. This is consistent with a fireball-like morphology, where star-formation proceeds in a small portion of the complex while older stars are left behind producing a linear stellar population gradient. The stellar masses of star-forming complexes are consistent with the ones of globular clusters, but stellar mass surface densities are lower by 2 dex, and their properties are more consistent with the population of dwarf galaxies in clusters.


title: Detection of diffuse HI emission in the circumgalactic medium of NGC891 and NGC4565 -- II

abstract: We probe the neutral circumgalactic medium (CGM) along the major axes of NGC891 and NGC4565 in 21-cm emission out to $\gtrsim 100$kpc using the Green Bank Telescope (GBT), extending our previous minor axes observations. We achieve an unprecedented $5\sigma$ sensitivity of $6.1\times 10^{16}$ cm$^{-2}$ per 20 km s$^{-1}$ velocity channel. We detect HI with diverse spectral shapes, velocity widths, and column densities. We compare our detections to the interferometric maps from the Westerbork Synthesis Radio Telescope (WSRT) obtained as part of the HALOGAS survey. At small impact parameters, $> 31-43\%$ of the emission detected by the GBT cannot be explained by emission seen in the WSRT maps, and it increases to $> 64-73\%$ at large impact parameters. This implies the presence of diffuse circumgalactic HI. The mass ratio between HI in the CGM and HI in the disk is an order of magnitude larger than previous estimates based on shallow GBT mapping. The diffuse HI along the major axes pointings is corotating with the HI disk. The velocity along the minor axes pointings is consistent with an inflow and/or fountain in NGC891 and an inflow/outflow in NGC4565. Including the circumgalactic HI, the depletion time and the accretion rate of NGC4565 are sufficient to sustain its star formation. In NGC891, most of the required accreting material is still missing.


title: DYAD: A Descriptive Yet Abjuring Density efficient approximation to linear neural network layers

abstract: We devise, implement and performance-asses DYAD, a layer which can serve as a faster and more memory-efficient approximate replacement for linear layers, (nn.Linear() in Pytorch). These layers appear in common subcomponents, such as in the ff module of Transformers. DYAD is based on a bespoke near-sparse matrix structure which approximates the dense "weight" matrix W that matrix-multiplies the input in the typical realization of such a layer, a.k.a DENSE. Our alternative near-sparse matrix structure is decomposable to a sum of 2 matrices permutable to a block-sparse counterpart. These can be represented as 3D tensors, which in unison allow a faster execution of matrix multiplication with the mini-batched input matrix X compared to DENSE (O(rows(W ) x cols(W )) --> O( rows(W ) x cols(W ) # of blocks )). As the crux of our experiments, we pretrain both DYAD and DENSE variants of 2 sizes of the OPT arch and 1 size of the Pythia arch, including at different token scales of the babyLM benchmark. We find DYAD to be competitive (>= 90%) of DENSE performance on zero-shot (e.g. BLIMP), few-shot (OPENLM) and finetuning (GLUE) benchmarks, while being >=7-15% faster to train on-GPU even at 125m scale, besides surfacing larger speedups at increasing scale and model width.


title: Vertical shear instability in two-moment radiation-hydrodynamical simulations of irradiated protoplanetary disks I. Angular momentum transport and turbulent heating

abstract: We studied the linear and nonlinear evolution of the Vertical Shear Instability (VSI) in axisymmetric models of protoplanetary disks, focusing on the transport of angular momentum, the produced temperature perturbations, and the applicability of local stability conditions. We modeled the gas-dust mixture via high-resolution two-moment (M1) radiation-hydrodynamical simulations including stellar irradiation with frequency-dependent opacities. We found that, given sufficient depletion of small grains (with a dust-to-gas mass ratio of $10\%$ of our nominal value of $10^{-3}$ for $<0.25$ $\mu$m grains), the VSI can operate in surface disk layers while being inactive close to the midplane, resulting in a suppression of the VSI body modes. The VSI reduces the initial vertical shear in bands of approximately uniform specific angular momentum, whose formation is likely favored by the enforced axisymmetry. Similarities with Reynolds stresses and angular momentum distributions in 3D simulations suggest that the VSI-induced angular momentum mixing in the radial direction may be predominantly axisymmetric. The stability regions in our models are well explained by local stability criteria, while the employment of global criteria is still justifiable up to a few scale heights above the midplane, at least as long as VSI modes are radially optically thin. Turbulent heating produces only marginal temperature increases of at most $0.1\%$ and $0.01\%$ in the nominal and dust-depleted models, respectively, peaking at a few (approximately three) scale heights above the midplane. We conclude that it is unlikely that the VSI can, in general, lead to any significant temperature increase since that would either require it to efficiently operate in largely optically thick disk regions or to produce larger levels of turbulence than predicted by models of passive irradiated disks.


title: Adaptive Experiments Toward Learning Treatment Effect Heterogeneity

abstract: Understanding treatment effect heterogeneity has become an increasingly popular task in various fields, as it helps design personalized advertisements in e-commerce or targeted treatment in biomedical studies. However, most of the existing work in this research area focused on either analyzing observational data based on strong causal assumptions or conducting post hoc analyses of randomized controlled trial data, and there has been limited effort dedicated to the design of randomized experiments specifically for uncovering treatment effect heterogeneity. In the manuscript, we develop a framework for designing and analyzing response adaptive experiments toward better learning treatment effect heterogeneity. Concretely, we provide response adaptive experimental design frameworks that sequentially revise the data collection mechanism according to the accrued evidence during the experiment. Such design strategies allow for the identification of subgroups with the largest treatment effects with enhanced statistical efficiency. The proposed frameworks not only unify adaptive enrichment designs and response-adaptive randomization designs but also complement A/B test designs in e-commerce and randomized trial designs in clinical settings. We demonstrate the merit of our design with theoretical justifications and in simulation studies with synthetic e-commerce and clinical trial data.


title: An $LDL^T$ Trust-Region Quasi-Newton Method

abstract: For quasi-Newton methods in unconstrained minimization, it is valuable to develop methods that are robust, i.e., methods that converge on a large number of problems. Trust-region algorithms are often regarded to be more robust than line-search methods, however, because trust-region methods are computationally more expensive, the most popular quasi-Newton implementations use line-search methods. To fill this gap, we develop a trust-region method that updates an $LDL^T$ factorization, scales quadratically with the size of the problem, and is competitive with a conventional line-search method.


title: Spectral Koopman Method for Identifying Stability Boundary

abstract: The paper is about characterizing the stability boundary of an autonomous dynamical system using the Koopman spectrum. For a dynamical system with an asymptotically stable equilibrium point, the domain of attraction constitutes a region consisting of all initial conditions attracted to the equilibrium point. The stability boundary is a separatrix region that separates the domain of attraction from the rest of the state space. For a large class of dynamical systems, this stability boundary consists of the union of stable manifolds of all the unstable equilibrium points on the stability boundary. We characterize the stable manifold in terms of the zero-level curve of the Koopman eigenfunction. A path-integral formula is proposed to compute the Koopman eigenfunction for a saddle-type equilibrium point on the stability boundary. The algorithm for identifying stability boundary based on the Koopman eigenfunction is attractive as it does not involve explicit knowledge of system dynamics. We present simulation results to verify the main results of the paper.


title: Relightful Harmonization: Lighting-aware Portrait Background Replacement

abstract: Portrait harmonization aims to composite a subject into a new background, adjusting its lighting and color to ensure harmony with the background scene. Existing harmonization techniques often only focus on adjusting the global color and brightness of the foreground and ignore crucial illumination cues from the background such as apparent lighting direction, leading to unrealistic compositions. We introduce Relightful Harmonization, a lighting-aware diffusion model designed to seamlessly harmonize sophisticated lighting effect for the foreground portrait using any background image. Our approach unfolds in three stages. First, we introduce a lighting representation module that allows our diffusion model to encode lighting information from target image background. Second, we introduce an alignment network that aligns lighting features learned from image background with lighting features learned from panorama environment maps, which is a complete representation for scene illumination. Last, to further boost the photorealism of the proposed method, we introduce a novel data simulation pipeline that generates synthetic training pairs from a diverse range of natural images, which are used to refine the model. Our method outperforms existing benchmarks in visual fidelity and lighting coherence, showing superior generalization in real-world testing scenarios, highlighting its versatility and practicality.


title: Understanding and Leveraging the Learning Phases of Neural Networks

abstract: The learning dynamics of deep neural networks are not well understood. The information bottleneck (IB) theory proclaimed separate fitting and compression phases. But they have since been heavily debated. We comprehensively analyze the learning dynamics by investigating a layer's reconstruction ability of the input and prediction performance based on the evolution of parameters during training. We empirically show the existence of three phases using common datasets and architectures such as ResNet and VGG: (i) near constant reconstruction loss, (ii) decrease, and (iii) increase. We also derive an empirically grounded data model and prove the existence of phases for single-layer networks. Technically, our approach leverages classical complexity analysis. It differs from IB by relying on measuring reconstruction loss rather than information theoretic measures to relate information of intermediate layers and inputs. Our work implies a new best practice for transfer learning: We show empirically that the pre-training of a classifier should stop well before its performance is optimal.


title: Sensing and Backscatter Communication Integration: Realizing Efficiency in Wireless Systems for IoT

abstract: In an era driven by the Internet of Things (IoT) and rapid wireless communication advances, the synergy between sensing and backscatter communication (BackCom) has emerged as a frontier of research. This paper delves deep into the integration of sensing technologies with BackCom, a burgeoning field with significant implications for energy-efficient wireless systems. By tracing the historical developments and principles of BackCom, we establish the foundational understanding crucial for integrating advanced sensing methodologies. Our study adopts a mixed-method approach, combining quantitative analyses of system performances with qualitative assessments of various integration techniques. Furthermore, these integrated systems showcase enhanced adaptability in dynamic environments, a pivotal attribute for future IoT applications. These findings hold profound implications for industries focusing on smart technologies, as they underscore the potential for achieving both sustainable and efficient communication. Our research distinguishes itself by not only highlighting the benefits but also addressing the challenges faced in this integration, providing a comprehensive overview of the topic.


title: Misalignment production of vector boson dark matter from axion-SU(2) inflation

abstract: We present a new mechanism to generate a coherently oscillating dark vector field from axion-SU(2) gauge field dynamics during inflation. The SU(2) gauge field acquires a nonzero background sourced by an axion during inflation, and it acquires a mass through spontaneous symmetry breaking after inflation. We find that the coherent oscillation of the dark vector field can account for dark matter in the mass range of $10^{-13}-1$ eV in a minimal setup. In a more involved scenario, the range can be wider down to the fuzzy dark matter region. One of the dark vector fields can be identified as the dark photon, in which case this mechanism evades the notorious constraints for isocurvature perturbation, statistical anisotropy, and the absence of ghosts that exist in the usual misalignment production scenarios. Phenomenological implications are discussed.


title: Vertical shear instability in two-moment radiation-hydrodynamical simulations of irradiated protoplanetary disks II. Secondary instabilities and stability regions

abstract: The vertical shear instability (VSI) is a hydrodynamical instability likely to produce turbulence in the dead zones of protoplanetary disks. Various aspects of this instability remain to be understood, including the disk regions where it can operate and the physical phenomena leading to its saturation. In this work, we studied the growth and evolution of secondary instabilities parasitic to the VSI, examining their relation with its saturation in axisymmetric radiation-hydrodynamical simulations of protoplanetary disks. We also constructed stability maps for our disk models, considering temperature stratifications enforced by stellar irradiation and radiative cooling and incorporating the effects of dust-gas collisions and molecular line emission. We found that the flow pattern produced by the interplay of the axisymmetric VSI modes and the baroclinic torque forms bands of nearly uniform specific angular momentum. In the high-shear regions in between these bands, the Kelvin-Helmholtz instability (KHI) is triggered. The significant transfer of kinetic energy to small-scale eddies produced by the KHI and possibly even the baroclinic acceleration of eddies limit the maximum energy of the VSI modes, likely leading to the saturation of the VSI. A third instability mechanism, consisting of an amplification of eddies by baroclinic torques, forms meridional vortices with Mach numbers up to $\sim 0.4$. Our stability analysis suggests that protoplanetary disks can be VSI-unstable in surface layers up to tens of au for reasonably high gas emissivities, even in regions where the midplane is stable. This picture is consistent with current observations of disks showing thin midplane millimeter-sized dust layers while appearing vertically extended in optical and near-infrared wavelengths.


title: Kerr Black Hole in Einstein--\AE{}ther Gravity

abstract: While non-rotating black-hole solutions are well known in Einstein--\ae{}ther gravity, no axisymmetric solutions endowed with Killing horizons have been so far found outside of the slowly rotating limit. Here we show that the Kerr spacetime is also an exact vacuum solution of Einstein--\ae{}ther gravity in a phenomenologically viable corner of the parameter space; the corresponding \ae{}ther flow is characterised by a vanishing expansion. Such solution displays all the characteristic features of the Kerr metric (inner and outer horizons, ergoregion, etc.) with the remarkable exception of the causality-violating region in proximity of the ring singularity. However, due to the associated \ae{}ther flow, it is endowed with a special surface, inside the Killing horizon, which exhibits many features normally related to the universal horizon of the non-rotating solutions -- to which it tends in the limit of zero angular momentum. Hence, these Kerr black holes are very good mimickers of their general relativity counterparts while sporting important differences and specific structures. As such, they appear particularly well-suited candidates for future phenomenological studies.


title: VitalLens: Take A Vital Selfie

abstract: This report introduces VitalLens, an app that estimates vital signs such as heart rate and respiration rate from selfie video in real time. VitalLens uses a computer vision model trained on a diverse dataset of video and physiological sensor data. We benchmark performance on several diverse datasets, including VV-Medium, which consists of 289 unique participants. VitalLens outperforms several existing methods including POS and MTTS-CAN on all datasets while maintaining a fast inference speed. On VV-Medium, VitalLens achieves mean absolute errors of 0.71 bpm for heart rate estimation, and 0.76 bpm for respiratory rate estimation.


title: Styx: Transactional Stateful Functions on Streaming Dataflows

abstract: Developing stateful cloud applications, such as high-throughput/low-latency workflows and microservices with strict consistency requirements, remains arduous for programmers. The Stateful-Functions-as-a-Service (SFaaS) paradigm aims to serve these use cases. However, existing approaches either provide serializable transactional guarantees at the level of individual functions or separate application logic from the state and use inefficient transactional protocols. These design choices increase the execution latency, limiting the usability of SFaaS systems for stateful cloud applications. In this paper, we present Styx, a novel SFaaS runtime that executes serializable transactions across functions with exactly-once guarantees. Styx is the first streaming dataflow-based runtime for SFaaS, offering application logic and state co-location, coarse-grained state persistence, and incremental checkpointing. Styx extends a deterministic transactional protocol to support an arbitrary call graph of stateful functions. It introduces a transaction-execution acknowledgment scheme that allows tracking a transactional workflow's SFaaS calls, guaranteeing atomicity and exactly-once processing. Experiments with the YCSB-T, TPC-C, and Deathstar benchmarks show that Styx outperforms state-of-the-art approaches by achieving at least one order of magnitude higher throughput while exhibiting near-linear scalability.


title: Schwarz-Pick Lemma for $(\alpha, \beta)$-Harmonic Functions in the Unit Disc

abstract: We obtain Schwarz-Pick lemma for $(\alpha, \beta)$-harmonic functions u in the disc, where $\alpha$ and $\beta$ are complex parameters satisfying $\Re \alpha + \Re \beta > -1$. We prove sharp estimate of derivative at the origin for such functions in terms of $L^p$ norm of the boundary function. Also, we give asymptotically sharp estimate of the norm of the derivative at point $z$ in the unit disc. These estimates are extended to higher order derivatives. Our results extend earlier results for $\alpha$-harmonic and $T_\alpha$-harmonic functions.


title: Triangle Ramsey numbers of complete graphs

abstract: A graph is $H$-Ramsey if every two-coloring of its edges contains a monochromatic copy of $H$. Define the $F$-Ramsey number of $H$, denoted by $r_F(H)$, to be the minimum number of copies of $F$ in a graph which is $H$-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that \[r_{K_3}(K_t)=\binom{r(K_t)}{3}\] for all sufficiently large $t$. We do so through a result on graph coloring: there exists an absolute constant $K$ such that every $r$-chromatic graph where every edge is contained in at least $K$ triangles must contain at least $\binom{r}{3}$ triangles in total.


title: Quantum squeezing induced nonreciprocal phonon laser

abstract: Phonon lasers or coherent amplifications of mechanical oscillations have provided powerful tools for both fundamental studies of coherent acoustics and diverse applications ranging from ultrasensitive force sensing to phononic information processing. Here, we propose how to achieve directional phonon lasing with an optomechanical resonator coupled to a nonlinear optical resonator. We find that, by pumping the nonlinear resonator, directional optical squeezing can occur along the pump direction. As a result, we can achieve the directional mechanical gain by utilizing the directional optical squeezing, thus leading to nonreciprocal phonon lasing with a well-tunable directional power threshold. Our work shows a feasible way to build nonreciprocal phonon lasers with various nonlinear optical mediums, which are important for such a wide range of applications as directional acoustic amplifiers, invisible sound sensing or imaging, and one-way phononic networks.


title: Interplay of gain and loss in arrays of nonlinear plasmonic nanoparticles: toward parametric downconversion and amplification

abstract: With the help of a theoretical model and finite-difference-time-domain simulations based on the hydrodynamic-Maxwell model, we examine the effect of difference frequency generation in an array of L-shaped metal nano-particles characterized by intrinsic plasmonic nonlinearity. The outcomes of the calculations reveal the spectral interplay of the gain and loss in the vicinity of the fundamental frequency of the localized surface-plasmon resonances. Subsequently, we identify different array depths and pumping regimes facilitating parametric amplification and parametric down-conversion. Our results suggest that the parametric amplification regime becomes feasible on a scale of hundreds of nanometers and parametric downconversion on the scale of tens of nanometers, opening up new exciting opportunities for developing building blocks of photonic metasurfaces.


title: Explicit unit distance graphs with exponential chromatic number and arbitrary girth

abstract: In 1975 Erd\H{o}s initiated the study of the following very natural question. What can be said about the chromatic number of unit distance graphs in $\mathbb{R}^2$ that have large girth? Over the years this question and its natural extension to $\mathbb{R}^d$ attracted considerable attention with the high-dimensional variant reiterated recently by Alon and Kupavskii. We prove that there exist unit distance graphs in $\mathbb{R}^d$ with chromatic number at least $(1.074 + o(1))^d$ that have arbitrarily large girth. This improves upon a series of results due to Kupavskii; Sagdeev; and Sagdeev and Raigorodskii and gives the first bound in which the base of the exponent does not tend to one with the girth. In addition, our construction can be made explicit which allows us to answer in a strong form a question of Kupavskii. Our arguments show graphs of large chromatic number and high girth exist in a number of other geometric settings including diameter graphs and orthogonality graphs.


title: LoRA-Enhanced Distillation on Guided Diffusion Models

abstract: Diffusion models, such as Stable Diffusion (SD), offer the ability to generate high-resolution images with diverse features, but they come at a significant computational and memory cost. In classifier-free guided diffusion models, prolonged inference times are attributed to the necessity of computing two separate diffusion models at each denoising step. Recent work has shown promise in improving inference time through distillation techniques, teaching the model to perform similar denoising steps with reduced computations. However, the application of distillation introduces additional memory overhead to these already resource-intensive diffusion models, making it less practical. To address these challenges, our research explores a novel approach that combines Low-Rank Adaptation (LoRA) with model distillation to efficiently compress diffusion models. This approach not only reduces inference time but also mitigates memory overhead, and notably decreases memory consumption even before applying distillation. The results are remarkable, featuring a significant reduction in inference time due to the distillation process and a substantial 50% reduction in memory consumption. Our examination of the generated images underscores that the incorporation of LoRA-enhanced distillation maintains image quality and alignment with the provided prompts. In summary, while conventional distillation tends to increase memory consumption, LoRA-enhanced distillation offers optimization without any trade-offs or compromises in quality.


title: When Bio-Inspired Computing meets Deep Learning: Low-Latency, Accurate, & Energy-Efficient Spiking Neural Networks from Artificial Neural Networks

abstract: Bio-inspired Spiking Neural Networks (SNN) are now demonstrating comparable accuracy to intricate convolutional neural networks (CNN), all while delivering remarkable energy and latency efficiency when deployed on neuromorphic hardware. In particular, ANN-to-SNN conversion has recently gained significant traction in developing deep SNNs with close to state-of-the-art (SOTA) test accuracy on complex image recognition tasks. However, advanced ANN-to-SNN conversion approaches demonstrate that for lossless conversion, the number of SNN time steps must equal the number of quantization steps in the ANN activation function. Reducing the number of time steps significantly increases the conversion error. Moreover, the spiking activity of the SNN, which dominates the compute energy in neuromorphic chips, does not reduce proportionally with the number of time steps. To mitigate the accuracy concern, we propose a novel ANN-to-SNN conversion framework, that incurs an exponentially lower number of time steps compared to that required in the SOTA conversion approaches. Our framework modifies the SNN integrate-and-fire (IF) neuron model with identical complexity and shifts the bias term of each batch normalization (BN) layer in the trained ANN. To mitigate the spiking activity concern, we propose training the source ANN with a fine-grained L1 regularizer with surrogate gradients that encourages high spike sparsity in the converted SNN. Our proposed framework thus yields lossless SNNs with ultra-low latency, ultra-low compute energy, thanks to the ultra-low timesteps and high spike sparsity, and ultra-high test accuracy, for example, 73.30% with only 4 time steps on the ImageNet dataset.


title: Unsupervised Extractive Summarization with Learnable Length Control Strategies

abstract: Unsupervised extractive summarization is an important technique in information extraction and retrieval. Compared with supervised method, it does not require high-quality human-labelled summaries for training and thus can be easily applied for documents with different types, domains or languages. Most of existing unsupervised methods including TextRank and PACSUM rely on graph-based ranking on sentence centrality. However, this scorer can not be directly applied in end-to-end training, and the positional-related prior assumption is often needed for achieving good summaries. In addition, less attention is paid to length-controllable extractor, where users can decide to summarize texts under particular length constraint. This paper introduces an unsupervised extractive summarization model based on a siamese network, for which we develop a trainable bidirectional prediction objective between the selected summary and the original document. Different from the centrality-based ranking methods, our extractive scorer can be trained in an end-to-end manner, with no other requirement of positional assumption. In addition, we introduce a differentiable length control module by approximating 0-1 knapsack solver for end-to-end length-controllable extracting. Experiments show that our unsupervised method largely outperforms the centrality-based baseline using a same sentence encoder. In terms of length control ability, via our trainable knapsack module, the performance consistently outperforms the strong baseline without utilizing end-to-end training. Human evaluation further evidences that our method performs the best among baselines in terms of relevance and consistency.


title: Perseus: Removing Energy Bloat from Large Model Training

abstract: Training large AI models on numerous GPUs consumes a massive amount of energy. We observe that not all energy consumed during training directly contributes to end-to-end training throughput, and a significant portion can be removed without slowing down training, which we call energy bloat. In this work, we identify two independent sources of energy bloat in large model training, intrinsic and extrinsic, and propose Perseus, a unified optimization framework that mitigates both. Perseus obtains the "iteration time-energy" Pareto frontier of any large model training job using an efficient iterative graph cut-based algorithm and schedules energy consumption of its forward and backward computations across time to remove intrinsic and extrinsic energy bloat. Evaluation on large models like GPT-3 and Bloom shows that Perseus reduces energy consumption of large model training by up to 30%, enabling savings otherwise unobtainable before.


title: Precise Mass Measurements of $A=133$ Isobars with the Canadian Penning Trap: Resolving the $Q_{\beta^-}$ anomaly at $^{133}$Te

abstract: We report precision mass measurements of $^{133}$Sb, $^{133g,m}$Te, and $^{133g,m}$I, produced at CARIBU at Argonne National Laboratory's ATLAS facility and measured using the Canadian Penning Trap mass spectrometer. These masses clarify an anomaly in the $^{133}$Te $\beta$-decay. The masses reported in the 2020 Atomic Mass Evaluation (M. Wang et al., 2021) produce $Q_{\beta^-}(^{133}$Te)=2920(6) keV; however, the highest-lying $^{133}$I level populated in this decay is observed at $E_i=2935.83(15)$ keV, resulting in an anomalous $Q_{\beta^{-}}^{i}=-16(6)$~keV. Our new measurements give $Q_{\beta^-}(^{133}\text{Te})=2934.8(11)$ keV, a factor of five more precise, yielding $Q{_\beta^i}=-1.0(12)$~keV, a 3$\sigma$ shift from the previous results. This resolves the anomaly and indicates the possibility of an ultralow $Q$-value $\beta$ decay in this system.


title: Enhanced Q-Learning Approach to Finite-Time Reachability with Maximum Probability for Probabilistic Boolean Control Networks

abstract: In this paper, we investigate the problem of controlling probabilistic Boolean control networks (PBCNs) to achieve reachability with maximum probability in the finite time horizon. We address three questions: 1) finding control policies that achieve reachability with maximum probability under fixed, and particularly, varied finite time horizon, 2) leveraging prior knowledge to solve question 1) with faster convergence speed in scenarios where time is a variable framework, and 3) proposing an enhanced Q-learning (QL) method to efficiently address the aforementioned questions for large-scale PBCNs. For question 1), we demonstrate the applicability of QL method on the finite-time reachability problem. For question 2), considering the possibility of varied time frames, we incorporate transfer learning (TL) technique to leverage prior knowledge and enhance convergence speed. For question 3), an enhanced model-free QL approach that improves upon the traditional QL algorithm by introducing memory-efficient modifications to address these issues in large-scale PBCNs effectively. Finally, we apply the proposed method to two examples: a small-scale PBCN and a large-scale PBCN, demonstrating the effectiveness of our approach.


title: Continuous biframes in Hilbert Spaces

abstract: In this paper, we present the concept of continuous biframes in a Hilbert space. We examine the essential properties of biframes with an emphasis on the biframe operator. Moreover, we introduce a new type of Riesz bases, referred to as continuous biframe-Riesz bases.


title: Quantum walks on join graphs

abstract: The join $X\vee Y$ of two graphs $X$ and $Y$ is the graph obtained by joining each vertex of $X$ to each vertex of $Y$. We explore the behaviour of a continuous quantum walk on a weighted join graph having the adjacency matrix or Laplacian matrix as its associated Hamiltonian. We characterize strong cospectrality, periodicity and perfect state transfer (PST) in a join graph. We also determine conditions in which strong cospectrality, periodicity and PST are preserved in the join. Under certain conditions, we show that there are graphs with no PST that exhibits PST when joined by another graph. This suggests that the join operation is promising in producing new graphs with PST. Moreover, for a periodic vertex in $X$ and $X\vee Y$, we give an expression that relates its minimum periods in $X$ and $X\vee Y$. While the join operation need not preserve periodicity and PST, we show that $\big| |U_M(X\vee Y,t)_{u,v}|-|U_M(X,t)_{u,v}| \big|\leq \frac{2}{|V(X)|}$ for all vertices $u$ and $v$ of $X$, where $U_M(X\vee Y,t)$ and $U_M(X,t)$ denote the transition matrices of $X\vee Y$ and $X$ respectively relative to either the adjacency or Laplacian matrix. We demonstrate that the bound $\frac{2}{|V(X)|}$ is tight for infinite families of graphs.


title: w2v-SELD: A Sound Event Localization and Detection Framework for Self-Supervised Spatial Audio Pre-Training

abstract: Sound Event Detection and Localization (SELD) constitutes a complex task that depends on extensive multichannel audio recordings with annotated sound events and their respective locations. In this paper, we introduce a self-supervised approach for SELD adapted from the pre-training methodology of wav2vec 2.0, which learns representations directly from raw audio data, eliminating the need for supervision. By applying this approach to SELD, we can leverage a substantial amount of unlabeled 3D audio data to learn robust representations of sound events and their locations. Our method comprises two primary stages: pre-training and fine-tuning. In the pre-training phase, unlabeled 3D audio datasets are utilized to train our w2v-SELD model, capturing intricate high-level features and contextual information inherent in audio signals. Subsequently, in the fine-tuning stage, a smaller dataset with labeled SELD data fine-tunes the pre-trained model. Experimental results on benchmark datasets demonstrate the effectiveness of the proposed self-supervised approach for SELD. The model surpasses baseline systems provided with the datasets and achieves competitive performance comparable to state-of-the-art supervised methods. The code and pre-trained parameters of our w2v-SELD model are available in this repository.


title: "I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming

abstract: A critical factor in the success of decision support systems is the accurate modeling of user preferences. Psychology research has demonstrated that users often develop their preferences during the elicitation process, highlighting the pivotal role of system-user interaction in developing personalized systems. This paper introduces a novel approach, combining Large Language Models (LLMs) with Constraint Programming to facilitate interactive decision support. We study this hybrid framework through the lens of meeting scheduling, a time-consuming daily activity faced by a multitude of information workers. We conduct three studies to evaluate the novel framework, including a diary study (n=64) to characterize contextual scheduling preferences, a quantitative evaluation of the system's performance, and a user study (n=10) with a prototype system. Our work highlights the potential for a hybrid LLM and optimization approach for iterative preference elicitation and design considerations for building systems that support human-system collaborative decision-making processes.


title: Pre-training strategy using real particle collision data for event classification in collider physics

abstract: This study aims to improve the performance of event classification in collider physics by introducing a pre-training strategy. Event classification is a typical problem in collider physics, where the goal is to distinguish the signal events of interest from background events as much as possible to search for new phenomena in nature. A pre-training strategy with feasibility to efficiently train the target event classification using a small amount of training data has been proposed. Real particle collision data were used in the pre-training phase as a novelty, where a self-supervised learning technique to handle the unlabeled data was employed. The ability to use real data in the pre-training phase eliminates the need to generate a large amount of training data by simulation and mitigates bias in the choice of physics processes in the training data. Our experiments using CMS open data confirmed that high event classification performance can be achieved by introducing a pre-trained model. This pre-training strategy provides a potential approach to save computational resources for future collider experiments and introduces a foundation model for event classification.


title: Strong convergence of a class of adaptive numerical methods for SDEs with jumps

abstract: We develop adaptive time-stepping strategies for It\^o-type stochastic differential equations (SDEs) with jump perturbations. Our approach builds on adaptive strategies for SDEs. Adaptive methods can ensure strong convergence of nonlinear SDEs with drift and diffusion coefficients that violate global Lipschitz bounds by adjusting the stepsize dynamically on each trajectory to prevent spurious growth that can lead to loss of convergence if it occurs with sufficiently high probability. In this article we demonstrate the use of a jump-adapted mesh that incorporates jump times into the adaptive time-stepping strategy. We prove that any adaptive scheme satisfying a particular mean-square consistency bound for a nonlinear SDE in the non-jump case may be extended to a strongly convergent scheme in the Poisson jump case where jump and diffusion perturbations are mutually independent and the jump coefficient satisfies a global Lipschitz condition.


title: Multiplexed control scheme for scalable quantum information processing with superconducting qubits

abstract: The advancement of scalable quantum information processing relies on the accurate and parallel manipulation of a vast number of qubits, potentially reaching into the millions. Superconducting qubits, traditionally controlled through individual circuitry, currently face a formidable scalability challenge due to the excessive use of wires. This challenge is nearing a critical point where it might soon surpass the capacities of on-chip routing, I/O packaging, testing platforms, and economically feasible solutions. Here we introduce a multiplexed control scheme that efficiently utilizes shared control lines for operating multiple qubits and couplers. By integrating quantum hardware-software co-design, our approach utilizes advanced techniques like frequency multiplexing and individual tuning. This enables simultaneous and independent execution of single- and two-qubit gates with significantly simplified wiring. This scheme has the potential to diminish the number of control lines by one to two orders of magnitude in the near future, thereby substantially enhancing the scalability of superconducting quantum processors.


title: Memory-based involution dilemma on square lattices

abstract: When involution affects individuals, their efforts do not augment resources but merely compete for limited resources. From entrance exams to company overtime, such efforts lead to unnecessary costs, undermining group welfare. Meanwhile, the individual advantages or collective disadvantages from this unnecessary effort may accumulate over time, such as the long-term validity of test scores. To identify the role of this memory factor, we propose a memory-based involution game model. In a more competitive environment, our findings suggest: (i) with scant social resources, increasing memory length curbs involution, (ii) with moderate resources, increasing memory length initially intensifies involution but later reduces it, and (iii) with abundant social resources, increasing memory length amplifies involution. Conversely, in a less competitive environment, involution consistently decreases with a larger memory length. Our research provides insights into mitigating involution by considering memory effects.

categories: cond-mat.stat-mech cs.GT nlin.CG physics.soc-ph


title: The convergence rate of the accelerated proximal gradient algorithm for Multiobjective Optimization is faster than $O(1/k^2)$

abstract: In this paper, we propose a fast proximal gradient algorithm for multiobjective optimization, it is proved that the convergence rate of the accelerated algorithm for multiobjective optimization developed by Tanabe et al. can be improved from $O(1/k^2)$ to $o(1/k^2)$ by introducing different extrapolation term $\frac{k-1}{k+\alpha-1}$ with $\alpha>3$. Further, we establish the inexact version of the proposed algorithm when the error term is additive, which owns the same convergence rate. At last, the efficiency of the proposed algorithm is verified on some numerical experiments.


title: Exploring Novel Object Recognition and Spontaneous Location Recognition Machine Learning Analysis Techniques in Alzheimer's Mice

abstract: Understanding object recognition patterns in mice is crucial for advancing behavioral neuroscience and has significant implications for human health, particularly in the realm of Alzheimer's research. This study is centered on the development, application, and evaluation of a state-of-the-art computational pipeline designed to analyze such behaviors, specifically focusing on Novel Object Recognition (NOR) and Spontaneous Location Recognition (SLR) tasks. The pipeline integrates three advanced computational models: Any-Maze for initial data collection, DeepLabCut for detailed pose estimation, and Convolutional Neural Networks (CNNs) for nuanced behavioral classification. Employed across four distinct mouse groups, this pipeline demonstrated high levels of accuracy and robustness. Despite certain challenges like video quality limitations and the need for manual calculations, the results affirm the pipeline's efficacy and potential for scalability. The study serves as a proof of concept for a multidimensional computational approach to behavioral neuroscience, emphasizing the pipeline's versatility and readiness for future, more complex analyses.


title: Global convergence of block proximal iteratively reweighted algorithm with extrapolation

abstract: In this paper, we propose a proximal iteratively reweighted algorithm with extrapolation based on block coordinate update aimed at solving a class of optimization problems which is the sum of a smooth possibly nonconvex loss function and a general nonconvex regularizer with a special structure. The proposed algorithm can be used to solve the $\ell_p(0<p<1)$ regularization problem by employing a updating strategy of the smoothing parameter. It is proved that there exists the nonzero extrapolation parameter such that the objective function is nonincreasing. Moreover, the global convergence and local convergence rate are obtained by using the Kurdyka-{\L}ojasiewicz (KL) property on the objective function. Numerical experiments are given to indicate the efficiency of the proposed algorithm.


title: Ground States of Fermionic Nonlinear Schr\"{o}dinger Systems with Coulomb Potential II: The $L^2$-Critical Case

abstract: As a continuation of \cite{me}, we consider ground states of the $N$ coupled fermionic nonlinear Schr\"{o}dinger system with a parameter $a $ and the Coulomb potential $V(x)$ in the $L^2$-critical case, where $a>0$ represents the attractive strength of the quantum particles. For any given $N\in\mathbb{N}^+$, we prove that the system admits ground states, if and only if the attractive strength $a$ satisfies $0<a<a^*_N$, where the critical constant $0<a^*_N<\infty$ is the same as the best constant of a dual finite-rank Lieb-Thirring inequality. By developing the so-called blow-up analysis of many-body fermionic problems, we also prove the mass concentration behavior of ground states for the system as $a\nearrow a_N^*$.


title: A Possible Optical Quasi-periodic Oscillation of 134~day in the Radio-loud Narrow-line Seyfert 1 Galaxy TXS 1206+549 at $z=1.34$

abstract: Here we report an optical quasi-periodic oscillation (QPO) with a period of $\sim$134~day detected in g- and r-band light curves of a narrow-line Seyfert 1 galaxy TXS 1206+549 at redshift of 1.34 with the data from the Zwicky Transient Facility (ZTF) observations. After considering the trial factor, the significance levels in the two bands are 3.1 $\sigma$ and 2.6 $\sigma$, respectively. The QPO signal presents about 10 cycles ranging from 2018 March to 2021 December lasting $\sim$4 year. A near-sinusoidal profile also appears in the folded light curves by a phase-resolved analysis. Interestingly, in the simultaneous light curve as the time scale of ZTF observations, a potential periodic signal with similar period is detected in the o-band light curve from the Asteroid Terrestrial-Impact Last Alert System data, additionally a weak peak is also detected at the similar period in the gamma-ray light curve obtained from the \emph{Fermi} Gamma-ray Space Telescope data. Some potential origins of periodicities in active galactic nuclei are discussed for the QPO reported here.


title: Using Weyl operators to study Mermin's inequalities in Quantum Field Theory

abstract: Mermin's inequalities are investigated in a Quantum Field Theory framework by using von Neumann algebras built with Weyl operators. We devise a general construction based on the Tomita-Takesaki modular theory and use it to compute the vacuum expectation value of the Mermin operator, analyzing the parameter space and explicitly exhibiting a violation of Mermin's inequalities. Therefore, relying on the power of modular operators, we are able to demonstrate that Mermin's inequalities are violated when examined within the vacuum state of a scalar field theory.


title: Evolving Neural Network (ENN) Method for One-Dimensional Scalar Hyperbolic Conservation Laws: I Linear and Quadratic Fluxes

abstract: We propose and study the evolving neural network (ENN) method for solving one-dimensional scalar hyperbolic conservation laws with linear and quadratic spatial fluxes. The ENN method first represents the initial data and the inflow boundary data by neural networks. Then, it evolves the neural network representation of the initial data along the temporal direction. The evolution is computed using a combination of characteristic and finite volume methods. For the linear spatial flux, the method is not subject to any time step size, and it is shown theoretically that the error at any time step is bounded by the representation errors of the initial and boundary condition. For the quadratic flux, an error estimate is studied in a companion paper. Finally, numerical results for the linear advection equation and the inviscid Burgers equation are presented to show that the ENN method is more accurate and cost efficient than traditional mesh-based methods.