title: BOOST: Harnessing Black-Box Control to Boost Commonsense in LMs' Generation

abstract: Large language models (LLMs) such as GPT-3 have demonstrated a strong capability to generate coherent and contextually relevant text. However, amidst their successes, a crucial issue persists: their generated outputs still lack commonsense at times. Moreover, fine-tuning the entire LLM towards more commonsensical outputs is computationally expensive if not infeasible. In this paper, we present a computation-efficient framework that steers a frozen Pre-Trained Language Model (PTLM) towards more commonsensical generation (i.e., producing a plausible output that incorporates a list of concepts in a meaningful way). Specifically, we first construct a reference-free evaluator that assigns a sentence with a commonsensical score by grounding the sentence to a dynamic commonsense knowledge base from four different relational aspects. We then use the scorer as the oracle for commonsense knowledge, and extend the controllable generation method called NADO to train an auxiliary head that guides a fixed PTLM to better satisfy the oracle. We test our framework on a series of GPT-2-, Flan-T5-, and Alpaca-based language models (LMs) on two constrained concept-to-sentence benchmarks. Human evaluation results demonstrate that our method consistently leads to the most commonsensical outputs.


title: Introducing the Condor Array Telescope: IV. A possible nova super-remnant surrounding the putative recurrent nova KT Eridani

abstract: Just 10 recurrent novae (RNe) - which erupt repeatedly on timescales shorter than one century - are known in our Galaxy. The most extreme RN known (located in the Andromeda galaxy), M31N 2008-12a, undergoes a nova eruption every year, and is surrounded by a vast nova "super-remnant", 134 pc in extent. Simulations predict that all RNe should be surrounded by similar vast shells, but previous searches have failed to detect them. KT Eri has recently been suggested to be a RN, and we have used the Condor Array Telescope to image its environs through multiple narrowband filters. We report the existence of a large ($\sim$ 50 pc diameter), H$\,\alpha$-bright shell centered on KT Eri, exactly as predicted. This strongly supports the claim that KT Eri is the 11th Galactic recurrent nova, and only the second nova known to be surrounded by a super-remnant. SALT spectra of the super-remnant demonstrate that its velocity width is consistent with that of M31-2008-12a.


title: Strategizing EV Charging and Renewable Integration in Texas

abstract: Exploring the convergence of electric vehicles (EVs), renewable energy, and smart grid technologies in the context of Texas, this study addresses challenges hindering the widespread adoption of EVs. Acknowledging their environmental benefits, the research focuses on grid stability concerns, uncoordinated charging patterns, and the complicated relationship between EVs and renewable energy sources. Dynamic time warping (DTW) clustering and k-means clustering methodologies categorize days based on total load and net load, offering nuanced insights into daily electricity consumption and renewable energy generation patterns. By establishing optimal charging and vehicle-to-grid (V2G) windows tailored to specific load characteristics, the study provides a sophisticated methodology for strategic decision-making in energy consumption and renewable integration. The findings contribute to the ongoing discourse on achieving a sustainable and resilient energy future through the seamless integration of EVs into smart grids.


title: Post-main sequence thermal evolution of planetesimals

abstract: White dwarfs that have accreted planetary materials provide a powerful tool to probe the interiors and formation of exoplanets. In particular, the high Fe/Si ratio of some white dwarf pollutants suggests that they are fragments of bodies that were heated enough to undergo large-scale melting and iron core formation. In the solar system, this phenomenon is associated with bodies that formed early and so had short-lived radionuclides to power their melting, and/or grew large. However, if the planetary bodies accreted by white dwarfs formed during the (pre)-main sequence lifetime of the host star, they will have potentially been exposed to a second era of heating during the star's giant branches. This work aims to quantify the effect of stellar irradiation during the giant branches on planetary bodies by coupling stellar evolution to thermal and orbital evolution of planetesimals. We find that large-scale melting, sufficient to form an iron core, can be induced by stellar irradiation, but only in close-in small bodies: planetesimals with radii $\lesssim$ 30 km originally within $\sim$ 2 AU orbiting a 1$-$3$\,M_{\odot}$ host star with solar metallicity. Most of the observed white dwarf pollutants are too massive to be explained by the accretion of these small planetesimals that are melted during the giant branches. Therefore, we conclude that those white dwarfs that have accreted large masses of materials with enhanced or reduced Fe/Si remain an indicator of planetesimal's differentiation shortly after formation, potentially linked to radiogenic heating.


title: Diseno y Desarrollo de Prototipos Roboticos para Competencias de Futbol utilizando Motores Dynamixel

abstract: This article describes the design and development of robotic prototypes for robotic soccer competitions using Dynamixel motors. Although the prototypes are not aimed at world-class competitions, they represent a significant step in the development of sports robots. Model XL430-W250 Dynamixel motors were chosen and electronic circuits were implemented using control boards such as OpenCR and Raspberry Pi 3. A crucial component was introduced: a step-up board that charges a capacitor to create a powerful kick to the ball via anelectromagnet controlled by Arduino Nano. The programming and coordination of the prototypes was carried out using the ROS environment (Robot Operating System), which allows effective integration of movements and communication. Although the prototypes were not optimized for global competition, they underwent extensive testing, evaluating their speed and maneuverability, as well as soccer tactics in the GRSim simulator. These prototypes contribute to the further development of sports robotics and illustrate the research potential in this exciting area.


title: Heat capacities and thermodynamic geometry in deformed Jackiw-Teitelboim gravity

abstract: We study the thermodynamics of charged AdS black holes in deformed Jackiw-Teitelboim (dJT) gravity and their phase structures. In this regard, we will find some critical values for the temperature, entropy and charge of the corresponding black holes. We also compute the heat capacities, expansion coefficient and isothermal compressibility as thermodynamic response functions and study their behaviors at the critical points. It will be shown that these variables satisfy the Ehrenfest's equations in the case of second-order phase transition. We employ different formalisms to investigate thermodynamic geometry, such as Weinhold, Ruppeiner and new thermodynamic geometry, then analyze the singularities of the thermodynamic curvatures in this context. We show that these singularities are also correspond to the divergences of the response functions which indicating the critical points of phase transitions.


title: Aplicacion de Robots Humanoides como Guias Interactivos en Museos: Una Simulacion con el Robot NAO

abstract: This article presents an application that evaluates the feasibility of humanoid robots as interactive guides in art museums. The application entailes programming a NAO robot and a chatbot to provide information about art pieces in a simulated museum environment. In this controlled scenario, the learning employees interact with the robot and the chatbot. The result is a skilled participation in the interactions, along with the effectiveness of the robot and chatbot that communicates the basic details of the art objects. You see natural and fluid interactions between the students and the robot. This suggests that the addition of humanoid robots to museums may provide a better experience for visitors, but also the need to continue to do more to optimize the quality of interaction. This study contributes to understanding the possibilities and requirements of applying humanoid technologies in a cultural context.


title: Does canonical quantization lead to GKSL dynamics?

abstract: We introduce a generalized classical model of Brownian motion for describing thermal relaxation processes which is thermodynamically consistent. Applying the canonical quantization to this model, a quantum equation for the density operator is obtained. This equation has a thermal equilibrium state as its stationary solution, but the time evolution is not necessarily a Completely Positive and Trace-Preserving (CPTP) map. In the application to the harmonic oscillator potential, however, the requirement of the CPTP map is shown to be satisfied by choosing parameters appropriately and then our equation reproduces a Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation satisfying the detailed balance condition. This result suggests a quantum-classical correspondence in thermal relaxation processes and will provide a new insight to the study of decoherence.


title: An Open, Programmable, Multi-vendor 5G O-RAN Testbed with NVIDIA ARC and OpenAirInterface

abstract: The transition of fifth generation (5G) cellular systems to softwarized, programmable, and intelligent networks depends on successfully enabling public and private 5G deployments that are (i) fully software-driven and (ii) with a performance at par with that of traditional monolithic systems. This requires hardware acceleration to scale the Physical (PHY) layer performance, end-to-end integration and testing, and careful planning of the Radio Frequency (RF) environment. In this paper, we describe how the X5G testbed at Northeastern University has addressed these challenges through the first 8-node network deployment of the NVIDIA Aerial RAN CoLab (ARC), with the Aerial Software Development Kit (SDK) for the PHY layer, accelerated on Graphics Processing Unit (GPU), and through its integration with higher layers from the OpenAirInterface (OAI) open-source project through the Small Cell Forum (SCF) Functional Application Platform Interface (FAPI). We discuss software integration, the network infrastructure, and a digital twin framework for RF planning. We then profile the performance with up to 4 Commercial Off-the-Shelf (COTS) smartphones for each base station with iPerf and video streaming applications, measuring a cell rate higher than 500 Mbps in downlink and 45 Mbps in uplink.


title: Coreset Markov Chain Monte Carlo

abstract: A Bayesian coreset is a small, weighted subset of data that replaces the full dataset during inference in order to reduce computational cost. However, state of the art methods for tuning coreset weights are expensive, require nontrivial user input, and impose constraints on the model. In this work, we propose a new method -- Coreset MCMC -- that simulates a Markov chain targeting the coreset posterior, while simultaneously updating the coreset weights using those same draws. Coreset MCMC is simple to implement and tune, and can be used with any existing MCMC kernel. We analyze Coreset MCMC in a representative setting to obtain key insights about the convergence behaviour of the method. Empirical results demonstrate that Coreset MCMC provides higher quality posterior approximations and reduced computational cost compared with other coreset construction methods. Further, compared with other general subsampling MCMC methods, we find that Coreset MCMC has a higher sampling efficiency with competitively accurate posterior approximations.


title: math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories

abstract: As artificial intelligence (AI) gains greater adoption in a wide variety of applications, it has immense potential to contribute to mathematical discovery, by guiding conjecture generation, constructing counterexamples, assisting in formalizing mathematics, and discovering connections between different mathematical areas, to name a few. While prior work has leveraged computers for exhaustive mathematical proof search, recent efforts based on large language models (LLMs) aspire to position computing platforms as co-contributors in the mathematical research process. Despite their current limitations in logic and mathematical tasks, there is growing interest in melding theorem proving systems with foundation models. This work investigates the applicability of LLMs in formalizing advanced mathematical concepts and proposes a framework that can critically review and check mathematical reasoning in research papers. Given the noted reasoning shortcomings of LLMs, our approach synergizes the capabilities of proof assistants, specifically PVS, with LLMs, enabling a bridge between textual descriptions in academic papers and formal specifications in PVS. By harnessing the PVS environment, coupled with data ingestion and conversion mechanisms, we envision an automated process, called \emph{math-PVS}, to extract and formalize mathematical theorems from research papers, offering an innovative tool for academic review and discovery.


title: Topological methods in zero-sum Ramsey theory

abstract: A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.


title: Multiple-Carrier-Lifetime Model for Carrier Dynamics in InGaN/GaN LEDs with Non-Uniform Carrier Distribution

abstract: We introduce a multiple-carrier-lifetime model (MCLM) for light-emitting diodes (LEDs) with non-uniform carrier distribution, such as in multiple-quantum-well (MQW) structures. By employing the MCLM, we successfully explain the modulation response of V-pit engineered MQW LEDs, which exhibit an S21 roll-off slower than -20 dB/decade. Using the proposed model and employing a gradient descent method, we extract effective recombination and escape lifetimes by averaging the carrier behavior across the quantum wells. Our results reveal slower effective carrier recombination and escape in MQW LEDs compared with LEDs emitting from a single QW, indicating the advantages of lower carrier density achieved through V-pit engineering. Notably, the effective carrier recombination time is more than one order of magnitude lower than the effective escape lifetime, suggesting that most carriers in the quantum wells recombine, while the escape process remains weak. To ensure the reliability and robustness of the MCLM, we subject it to a comprehensive three-fold validation process. This work confirms the positive impact of spreading carriers into several QWs through V-pit engineering. In addition, the MCLM is applicable to other LEDs with non-uniform carrier distribution, such as micro-LEDs with significant surface recombination and non-uniform lateral carrier profiles.


title: On slice regular Bergman spaces and fiber bundles

abstract: Recently, fiber bundle theory has been widely used in the study of the slice regular functions and continuing with this line of research, the present work shows that the quaternionic slice regular Bergman space is the base space of a coordinate sphere bundle and some properties of quaternionic slice regular Bergman theory are studied from the point of view of the fiber bundle theory.


title: Novel moduli space in modular flavor models : a case study for modular $T'$ seesaw model with hidden $SU(2)$ gauge symmetry

abstract: We study flavor phenomenologies in a basis of a double covering of modular $A_4$ group with a hidden $SU(2)$ symmetry, in which we work on regions at nearby two fixed points and three special points. These special points of $SL(2,\mathbb{Z})$ moduli space are statistically favored in flux compactifications of Type IIB string theory. Neutrino masses are approximately obtained by using the seesaw mechanism due to our two additional symmetries. We perform chi square numerical analysis for each of the fixed/special points in the normal and inverted hierarchies and demonstrate predictions for each case. Then, we briefly discuss the possible signature of hidden gauge bosons at collider experiments from the hidden $SU(2)$ symmetry.


title: Electric Vehicle Aggregation Review: Benefits and Vulnerabilities of Managing a Growing EV Fleet

abstract: Electric vehicles (EVs) are becoming more popular within the United States, making up an increasingly large portion of the US's electricity consumption. Hence, there is much attention has been directed on how to manage EVs within the power sector. A well-investigated strategy for managing the increase in electricity demand from EV charging is aggregation, which allows for an intermediary to manage electricity flow between EV owners and their utilities. When implemented effectively, EV aggregation provides key benefits to power grids by relieving electrical loads.. These benefits are aggregation's ability to shift EV loads to peak shave, which often leads to lower emissions, electricity generation prices, and consumer costs depending on the penetration levels of non-dispatchable electricity sources. This review seeks to appropriately highlight the broad vulnerabilities of EV aggregation alongside its benefits, namely those regarding battery degradation, rebound peaks, and cybersecurity. The holistic overview of EV aggregation provides comparisons that balance expectations with realistic performance.


title: Effective field theory of particle mixing

abstract: We introduce an effective field theory to study \emph{indirect} mixing of two fields induced by their couplings to a common decay channel in a medium. The extension of the method of Lee, Oehme and Yang, the cornerstone of analysis of CP violation in flavored mesons, to include mixing of particles with different masses provides a guide to and benchmark for the effective field theory. The analysis reveals subtle caveats in the description of mixing in terms of the widely used non-Hermitian effective Hamiltonian, more acute in the non-degenerate case. The effective field theory describes the dynamics of field mixing where the common intermediate states populate a bath in thermal equilibrium, as an \emph{open quantum system}. We obtain the effective action up to second order in the couplings, where indirect mixing is a consequence of off-diagonal self-energy components. We find that if only one of the mixing fields features an initial expectation value, indirect mixing induces an expectation value of the other field. The equal time two point correlation functions exhibit asymptotic approach to a stationary thermal state, and the emergence of long-lived \emph{bath induced} coherence which display quantum beats as a consequence of interference of quasinormal modes in the medium. The amplitudes of the quantum beats are resonantly enhanced in the nearly degenerate case with potential observational consequences.


title: Upgrade of the SPARC_LAB LLRF system and recent X-band activities in view of EuPRAXIA@SPARC_LAB project

abstract: SPARC_LAB is a high-brightness electron photoinjector dedicated to FEL radiation production and research on novel acceleration techniques. It has been in operation at LNF since 2005. It is composed of a newly designed brazeless 1.6-cell S-band RF gun, two 3 meter long travelling wave S-band accelerating structures, and a 1.4 meter C-band structure that acts as an energy booster. Recently, a plasma interaction chamber was installed to study and optimize beam-driven plasma acceleration schemes. During fall 2023, a major upgrade of the entire low-level RF (LLRF) system will take place to consolidate and improve performance in terms of amplitude, phase resolution, and stability. The original analog S-band and the digital C-band LLRF systems will be replaced by commercial, temperature-stabilized, FPGA-controlled digital LLRF systems manufactured by Instrumentation Technologies. Additionally, the reference generation and distribution will be updated. In parallel with this activity, there is a growing interest in X-band LLRF at LNF due to the EuPRAXIA@SPARC\_LAB project. This project aims to build an FEL user facility driven by an X-band linac at LNF in the coming years. To test X-band RF structures and waveguide components, a high-power X-band test stand named TEX has been installed and recently commissioned. A detailed view of the TEX LLRF system, based on a commercial S-band system with a dedicated up/down-converter stage, will be discussed, along with the limitations of such an approach.


title: MMP++: Motion Manifold Primitives with Parametric Curve Models

abstract: Motion Manifold Primitives (MMP), a manifold-based approach for encoding basic motion skills, can produce diverse trajectories, enabling the system to adapt to unseen constraints. Nonetheless, we argue that current MMP models lack crucial functionalities of movement primitives, such as temporal and via-points modulation, found in traditional approaches. This shortfall primarily stems from MMP's reliance on discrete-time trajectories. To overcome these limitations, we introduce Motion Manifold Primitives++ (MMP++), a new model that integrates the strengths of both MMP and traditional methods by incorporating parametric curve representations into the MMP framework. Furthermore, we identify a significant challenge with MMP++: performance degradation due to geometric distortions in the latent space, meaning that similar motions are not closely positioned. To address this, Isometric Motion Manifold Primitives++ (IMMP++) is proposed to ensure the latent space accurately preserves the manifold's geometry. Our experimental results across various applications, including 2-DoF planar motions, 7-DoF robot arm motions, and SE(3) trajectory planning, show that MMP++ and IMMP++ outperform existing methods in trajectory generation tasks, achieving substantial improvements in some cases. Moreover, they enable the modulation of latent coordinates and via-points, thereby allowing efficient online adaptation to dynamic environments.


title: Quantum criticality at cryogenic melting of polar bubble lattices

abstract: Quantum fluctuations (QFs) caused by zero-point phonon vibrations (ZPPVs) are known to prevent the occurrence of polar phases in bulk incipient ferroelectrics down to 0K1-3. On the other hand, little is known about the effects of QFs on the recently discovered topological patterns in ferroelectric nanostructures4-9. Here, by using an atomistic effective Hamiltonian within classical Monte Carlo (CMC) and path integral quantum Monte Carlo (PI-QMC)1,3,10,11, we unveil how QFs affect the topology of several dipolar phases in ultrathin Pb(Zr0.4Ti0.6)O3 (PZT) films. In particular, our PI-QMC simulations show that the ZPPVs do not suppress polar patterns but rather stabilize the labyrinth4, bimeron5 and bubble phases12,13 within a wider range of bias field magnitudes. Moreover, we reveal that quantum fluctuations induce a quantum critical point (QCP) separating a hexagonal bubble lattice from a liquid-like state characterized by spontaneous motion, creation and annihilation of polar bubbles at cryogenic temperatures. Finally, we show that the discovered quantum melting is associated with anomalous physical response, as, e.g., demonstrated by a negative longitudinal piezoelectric coefficient.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.comp-ph quant-ph


title: Benign Oscillation of Stochastic Gradient Descent with Large Learning Rates

abstract: In this work, we theoretically investigate the generalization properties of neural networks (NN) trained by stochastic gradient descent (SGD) algorithm with large learning rates. Under such a training regime, our finding is that, the oscillation of the NN weights caused by the large learning rate SGD training turns out to be beneficial to the generalization of the NN, which potentially improves over the same NN trained by SGD with small learning rates that converges more smoothly. In view of this finding, we call such a phenomenon "benign oscillation". Our theory towards demystifying such a phenomenon builds upon the feature learning perspective of deep learning. Specifically, we consider a feature-noise data generation model that consists of (i) weak features which have a small $\ell_2$-norm and appear in each data point; (ii) strong features which have a larger $\ell_2$-norm but only appear in a certain fraction of all data points; and (iii) noise. We prove that NNs trained by oscillating SGD with a large learning rate can effectively learn the weak features in the presence of those strong features. In contrast, NNs trained by SGD with a small learning rate can only learn the strong features but makes little progress in learning the weak features. Consequently, when it comes to the new testing data which consist of only weak features, the NN trained by oscillating SGD with a large learning rate could still make correct predictions consistently, while the NN trained by small learning rate SGD fails. Our theory sheds light on how large learning rate training benefits the generalization of NNs. Experimental results demonstrate our finding on "benign oscillation".


title: HyperFields: Towards Zero-Shot Generation of NeRFs from Text

abstract: We introduce HyperFields, a method for generating text-conditioned Neural Radiance Fields (NeRFs) with a single forward pass and (optionally) some fine-tuning. Key to our approach are: (i) a dynamic hypernetwork, which learns a smooth mapping from text token embeddings to the space of NeRFs; (ii) NeRF distillation training, which distills scenes encoded in individual NeRFs into one dynamic hypernetwork. These techniques enable a single network to fit over a hundred unique scenes. We further demonstrate that HyperFields learns a more general map between text and NeRFs, and consequently is capable of predicting novel in-distribution and out-of-distribution scenes -- either zero-shot or with a few finetuning steps. Finetuning HyperFields benefits from accelerated convergence thanks to the learned general map, and is capable of synthesizing novel scenes 5 to 10 times faster than existing neural optimization-based methods. Our ablation experiments show that both the dynamic architecture and NeRF distillation are critical to the expressivity of HyperFields.


title: Vison crystal in quantum spin ice on the breathing pyrochlore lattice

abstract: Recent excitement in the quantum spin ice community has come from the experimental discovery of pseudospin-$1/2$ breathing pyrochlores, including Ba$_3$Yb$_2$Zn$_5$O$_{11}$, in which inversion symmetry is broken by the `up' and `down' tetrahedra taking different physical sizes. We show here that the often-neglected $J_{z\pm}$ coupling between Kramers ions, in combination with the breathing nature of the lattice, can produce an imaginary ring flip term. This can lead to an unconventional '$U(1)_{\pi/2}$ phase', corresponding to a maximally dense packing of visons on the lattice. Coherent dynamics persists in all phases, together with its emergent QED description, in a manner reminiscent of fragmentation in spinon crystals. We characterize the enlarged QSI phase diagram and its excitations, showing that the imaginary ring flip acts both as a chemical potential for visons and as an effective three-photon vertex akin to strong light-matter coupling. The novel coupling causes a structured high-energy continuum to emerge above the photon dispersion, which is naturally interpreted as three photon up-conversion in a nonlinear optical crystal.


title: Douglas--Rachford is the best projection method

abstract: We prove that the Douglas--Rachford method applied to two closed convex cones in the Euclidean plane converges in finitely many steps if and only if the set of fixed points of the Douglas--Rachford operator is nontrivial. We analyze this special case using circle dynamics. We also construct explicit examples for a broad family of projection methods for which the set of fixed points of the relevant projection method operator is nontrivial, but the convergence is not finite. This three-parametric family is well known in the projection method literature and includes both the Douglas--Rachford method and the classic method of alternating projections. Even though our setting is fairly elementary, this work contributes in a new way to the body of theoretical research justifying the superior performance of the Douglas--Rachford method compared to other techniques. Moreover, our result leads to a neat sufficient condition for finite convergence of the Douglas--Rachford method in the locally polyhedral case on the plane, unifying and expanding several special cases available in the literature.


title: HCT: Hybrid Convnet-Transformer for Parkinson's disease detection and severity prediction from gait

abstract: In this paper, we propose a novel deep learning method based on a new Hybrid ConvNet-Transformer architecture to detect and stage Parkinson's disease (PD) from gait data. We adopt a two-step approach by dividing the problem into two sub-problems. Our Hybrid ConvNet-Transformer model first distinguishes healthy versus parkinsonian patients. If the patient is parkinsonian, a multi-class Hybrid ConvNet-Transformer model determines the Hoehn and Yahr (H&Y) score to assess the PD severity stage. Our hybrid architecture exploits the strengths of both Convolutional Neural Networks (ConvNets) and Transformers to accurately detect PD and determine the severity stage. In particular, we take advantage of ConvNets to capture local patterns and correlations in the data, while we exploit Transformers for handling long-term dependencies in the input signal. We show that our hybrid method achieves superior performance when compared to other state-of-the-art methods, with a PD detection accuracy of 97% and a severity staging accuracy of 87%. Our source code is available at: https://github.com/SafwenNaimi


title: The Four-Boson First-Excited State Near Two-Body Unitarity

abstract: Near two-body unitarity, the three-boson system is characterized by an approximate discrete scale invariance manifest in a geometric tower of bound states (the Efimov effect). In the absence of a strong four-body force, the four-boson system has two states associated with each Efimov state, one very nearly unstable, the other several times deeper. We study correlations between the excited- and ground-state properties, such as binding energies and radii, up to next-to-leading order in an effective field theory for short-range forces. We obtain the parameters in these correlations from similar correlations arising from existing precise calculations based on short-range potentials. We also derive correlations among excited-state properties that emerge from the proximity of the state to the break-up threshold into a boson and a three-boson bound state, using an effective field theory for "halo" states.


title: Automating lichen monitoring in ecological studies using instance segmentation of time-lapse images

abstract: Lichens are symbiotic organisms composed of fungi, algae, and/or cyanobacteria that thrive in a variety of environments. They play important roles in carbon and nitrogen cycling, and contribute directly and indirectly to biodiversity. Ecologists typically monitor lichens by using them as indicators to assess air quality and habitat conditions. In particular, epiphytic lichens, which live on trees, are key markers of air quality and environmental health. A new method of monitoring epiphytic lichens involves using time-lapse cameras to gather images of lichen populations. These cameras are used by ecologists in Newfoundland and Labrador to subsequently analyze and manually segment the images to determine lichen thalli condition and change. These methods are time-consuming and susceptible to observer bias. In this work, we aim to automate the monitoring of lichens over extended periods and to estimate their biomass and condition to facilitate the task of ecologists. To accomplish this, our proposed framework uses semantic segmentation with an effective training approach to automate monitoring and biomass estimation of epiphytic lichens on time-lapse images. We show that our method has the potential to significantly improve the accuracy and efficiency of lichen population monitoring, making it a valuable tool for forest ecologists and environmental scientists to evaluate the impact of climate change on Canada's forests. To the best of our knowledge, this is the first time that such an approach has been used to assist ecologists in monitoring and analyzing epiphytic lichens.


title: Dark matter signatures of black holes with Yukawa potential

abstract: This study uses a nonsingular Yukawa--modified potential to obtain a static and spherically symmetric black hole solution with a cosmological constant. Such Yukawa--like corrections are encoded in two parameters, $\alpha$ and $\lambda$, that modify Newton's law of gravity in large distances, and a deformation parameter $\ell_0$, which plays an essential role in short distances. The most significant effect is encoded in $\alpha$, which modifies the total black hole mass with an extra mass proportional to $\alpha M$, mimicking the dark matter effects at large distances from the black hole. On the other hand, the effect due to $\lambda$ is small for astrophysical values. We scrutinize the \textit{quasinormal} frequencies and shadows associated with a spherically symmetric black hole and the thermodynamical behavior influenced by the Yukawa potential. In particular, the thermodynamics of this black hole displays a rich behavior, including possible phase transitions. We use the WKB method to probe the \textit{quasinormal} modes of massless scalar, electromagnetic, and gravitational field perturbations. In order to check the influence of the parameters on the shadow radius, we consider astrophysical data to determine their values, incorporating information on an optically thin radiating and infalling gas surrounding a black hole to model the black hole shadow image. In particular, we consider Sgr A* black hole as an example and we find that its shadow radius changes by order of $10^{-9}$, meaning that the shadow radius of a black hole with Yukawa potential practically gives rise to the same result encountered in the Schwarzschild black hole. Also, in the eikonal regime, using astrophysical data for Yukawa parameters, we show that the value of the real part of the QNMs frequencies changes by $10^{-18}$.


title: Does or did the supernova remnant Cassiopeia A operate as a PeVatron?

abstract: For decades, supernova remnants (SNRs) have been considered the prime sources of Galactic Cosmic rays (CRs). But whether SNRs can accelerate CR protons to PeV energies and thus dominate CR flux up to the knee is currently under intensive theoretical and phenomenological debate. The direct test of the ability of SNRs to operate as CR PeVatrons can be provided by ultrahigh-energy (UHE; $E_\gamma \geq 100$~TeV) $\gamma$-rays. In this context, the historical SNR Cassiopeia A (Cas A) is considered one of the most promising target for UHE observations. This paper presents the observation of Cas A and its vicinity by the LHAASO KM2A detector. The exceptional sensitivity of LHAASO KM2A in the UHE band, combined with the young age of Cas A, enabled us to derive stringent model-independent limits on the energy budget of UHE protons and nuclei accelerated by Cas A at any epoch after the explosion. The results challenge the prevailing paradigm that Cas A-type SNRs are major suppliers of PeV CRs in the Milky Way.


title: A Central Limit Theorem for intransitive dice

abstract: Intransive dice $D^{(1)}, \ldots, D^{(\ell)}$ are dice such that $D^{(1)}$ has advantage with respect to $D^{(2)}$, dice $D^{(2)}$ has advantage with respect to $D^{(3)}$ and so on, up to $D^{(\ell)}$, which has advantage over $D^{(1)}$. In this twofold work, we present: first, (deterministic) results on existence of general intransitive dice. Second and mainly, a central limit theorem for the vector of normalized victories of a die against the next one in the list when the faces of a die are i.i.d.\ random variables and all dice are independent, but different dice may have distinct distributions associated to, as well as they may have distinct number of faces. From this central limit theorem we derive a criteria to assure that the asymptotic probability of observing intransitive dice is null, which applies for many cases, including all continuous distributions and many discrete ones.


title: Broadband CPW-based impedance-transformed Josephson parametric amplifier

abstract: Quantum-limited Josephson parametric amplifiers play a pivotal role in advancing the field of circuit quantum electrodynamics by enabling the fast and high-fidelity measurement of weak microwave signals. Therefore, it is necessary to develop robust parametric amplifiers with low noise, broad bandwidth, and reduced design complexity for microwave detection. However, current broadband parametric amplifiers either have degraded noise performance or rely on complex designs. Here, we present a device based on the broadband impedance-transformed Josephson parametric amplifier (IMPA) that integrates a horn-like coplanar waveguide (CPW) transmission line, which significantly decreases the design and fabrication complexity, while keeping comparable performance. The device shows an instantaneous bandwidth of 700(200) MHz for 15(20) dB gain with an average saturation power of -110 dBm and near quantum-limited added noise. The operating frequency can be tuned over 1.4 GHz using an external flux bias. We further demonstrate the negligible back-action from our device on a transmon qubit. The amplification performance and simplicity of our device promise its wide adaptation in quantum metrology, quantum communication, and quantum information processing.


title: Testing the Surface Brightness Fluctuation Method on Dwarf Galaxies in the COSMOS Field

abstract: Dwarf galaxies are important tracers of small-scale cosmological structure, yet much of our knowledge about these systems comes from the limited sample of dwarf galaxies within the Local Group. To make a comprehensive inventory of dwarf populations in the local Universe, we require effective methods for deriving distance estimates for large numbers of faint, low surface brightness objects. Here we test the surface brightness fluctuation (SBF) method, traditionally applied to brighter early-type galaxies, on a sample of 20 nearby dwarf galaxies detected in the COSMOS field. These objects are partially resolved in HST ACS images, and have confirmed redshift distances in the range 17-130 Mpc. We discuss the many model choices required in applying the SBF method, and explore how these affect the final distance estimates. Amongst other variations on the method, when applying the SBF method, we alter the standard equation to include a term accounting for the power spectrum of the background, greatly improving our results. For the most robust modelling choices, we find a roughly Gaussian SBF signal that correlates linearly with distance out to distances of 50-100 Mpc, but with only a fraction of the power expected. At larger distances, there is excess power relative to that predicted, probably from undetected point sources. Overall, obtaining accurate SBF distances to faint, irregular galaxies remains challenging, but may yet prove possible with the inclusion of more information about galaxy properties and point source populations, and the use of more advanced techniques.


title: Transformers Learn Higher-Order Optimization Methods for In-Context Learning: A Study with Linear Models

abstract: Transformers excel at in-context learning (ICL) -- learning from demonstrations without parameter updates -- but how they do so remains a mystery. Recent work suggests that Transformers may internally run Gradient Descent (GD), a first-order optimization method, to perform ICL. In this paper, we instead demonstrate that Transformers learn to approximate higher-order optimization methods for ICL. For in-context linear regression, Transformers share a similar convergence rate as Iterative Newton's Method; both are exponentially faster than GD. Empirically, predictions from successive Transformer layers closely match different iterations of Newton's Method linearly, with each middle layer roughly computing 3 iterations; thus, Transformers and Newton's method converge at roughly the same rate. In contrast, Gradient Descent converges exponentially more slowly. We also show that Transformers can learn in-context on ill-conditioned data, a setting where Gradient Descent struggles but Iterative Newton succeeds. Finally, to corroborate our empirical findings, we prove that Transformers can implement $k$ iterations of Newton's method with $k + \mathcal{O}(1)$ layers.


title: Good regularity creates large learning rate implicit biases: edge of stability, balancing, and catapult

abstract: Large learning rates, when applied to gradient descent for nonconvex optimization, yield various implicit biases including the edge of stability (Cohen et al., 2021), balancing (Wang et al., 2022), and catapult (Lewkowycz et al., 2020). These phenomena cannot be well explained by classical optimization theory. Though significant theoretical progress has been made in understanding these implicit biases, it remains unclear for which objective functions would they be more likely. This paper provides an initial step in answering this question and also shows that these implicit biases are in fact various tips of the same iceberg. To establish these results, we develop a global convergence theory under large learning rates, for a family of nonconvex functions without globally Lipschitz continuous gradient, which was typically assumed in existing convergence analysis. Specifically, these phenomena are more likely to occur when the optimization objective function has good regularity. This regularity, together with gradient descent using a large learning rate that favors flatter regions, results in these nontrivial dynamical behaviors. Another corollary is the first non-asymptotic convergence rate bound for large-learning-rate gradient descent optimization of nonconvex functions. Although our theory only applies to specific functions so far, the possibility of extrapolating it to neural networks is also experimentally validated, for which different choices of loss, activation functions, and other techniques such as batch normalization can all affect regularity significantly and lead to very different training dynamics.


title: Disorder induced topological phase transition in a driven Majorana chain

abstract: We study a periodically driven one dimensional Kitaev model in the presence of disorder. In the clean limit our model exhibits four topological phases corresponding to the existence or non-existence of edge modes at zero and pi quasienergy. When disorder is added, the system parameters get renormalized and the system may exhibit a topological phase transition. When starting from the Majorana $\pi$ Mode (MPM) phase, which hosts only edge Majoranas with quasienergy pi, disorder induces a transition into a neighboring phase with both pi and zero modes on the edges. We characterize the disordered system using (i) exact diagonalization (ii) Arnoldi mapping onto an effective tight binding chain and (iii) topological entanglement entropy.


title: Pac-Sim: Simulation of Multi-threaded Workloads using Intelligent, Live Sampling

abstract: High-performance, multi-core processors are the key to accelerating workloads in several application domains. To continue to scale performance at the limit of Moore's Law and Dennard scaling, software and hardware designers have turned to dynamic solutions that adapt to the needs of applications in a transparent, automatic way. For example, modern hardware improves its performance and power efficiency by changing the hardware configuration, like the frequency and voltage of cores, according to a number of parameters such as the technology used, the workload running, etc. With this level of dynamism, it is essential to simulate next-generation multi-core processors in a way that can both respond to system changes and accurately determine system performance metrics. Currently, no sampled simulation platform can achieve these goals of dynamic, fast, and accurate simulation of multi-threaded workloads. In this work, we propose a solution that allows for fast, accurate simulation in the presence of both hardware and software dynamism. To accomplish this goal, we present Pac-Sim, a novel sampled simulation methodology for fast, accurate sampled simulation that requires no upfront analysis of the workload. With our proposed methodology, it is now possible to simulate long-running dynamically scheduled multi-threaded programs with significant simulation speedups even in the presence of dynamic hardware events. We evaluate Pac-Sim using the multi-threaded SPEC CPU2017, NPB, and PARSEC benchmarks with both static and dynamic thread scheduling. The experimental results show that Pac-Sim achieves a very low sampling error of 1.63% and 3.81% on average for statically and dynamically scheduled benchmarks, respectively. Pac-Sim also demonstrates significant simulation speedups as high as 523.5$\times$ (210.3$\times$ on average) for the train input set of SPEC CPU2017.


title: Increased Atom-Cavity Coupling through Cooling-Induced Atomic Reorganization

abstract: The strong coupling of atoms to optical cavities can improve optical lattice clocks as the cavity enables metrologically useful collective atomic entanglement and high-fidelity measurement. To this end, it is necessary to cool the ensemble to suppress motional broadening, and advantageous to maximize and homogenize the atom-cavity coupling. We demonstrate resolved Raman sideband cooling via the cavity as a method that can simultaneously achieve both goals. In 200 ms, we cool 171Yb atoms to an average vibration number <nx> = 0.23(7) in the tightly binding direction, resulting in 93% optical {\pi}-pulse fidelity on the clock transition 1S0 -> 3P0. During cooling, the atoms self-organize into locations with maximal atom-cavity-coupling, which will improve quantum metrology applications.


title: Detecting stealthy cyberattacks on adaptive cruise control vehicles: A machine learning approach

abstract: With the advent of vehicles equipped with advanced driver-assistance systems, such as adaptive cruise control (ACC) and other automated driving features, the potential for cyberattacks on these automated vehicles (AVs) has emerged. While overt attacks that force vehicles to collide may be easily identified, more insidious attacks, which only slightly alter driving behavior, can result in network-wide increases in congestion, fuel consumption, and even crash risk without being easily detected. To address the detection of such attacks, we first present a traffic model framework for three types of potential cyberattacks: malicious manipulation of vehicle control commands, false data injection attacks on sensor measurements, and denial-of-service (DoS) attacks. We then investigate the impacts of these attacks at both the individual vehicle (micro) and traffic flow (macro) levels. A novel generative adversarial network (GAN)-based anomaly detection model is proposed for real-time identification of such attacks using vehicle trajectory data. We provide numerical evidence {to demonstrate} the efficacy of our machine learning approach in detecting cyberattacks on ACC-equipped vehicles. The proposed method is compared against some recently proposed neural network models and observed to have higher accuracy in identifying anomalous driving behaviors of ACC vehicles.


title: Magnetized AdS/BCFT Correspondence in Horndeski Gravity

abstract: This work examines the thermodynamics and hydrodynamics behaviors of a five-dimensional black hole under the influence of an external magnetic field. The solution is the gravity dual to the Anti-de Sitter/Boundary Conformal Field Theory correspondence, enabling the study of properties within an anisotropic fluid framework. Utilizing holographic renormalization, we compute the free energy and the holographic stress tensor residing on the boundary denoted as $Q$. Within the fluid/gravity correspondence framework, we have a class of boundary extensions in $Q$, where the stress-energy tensor describes a magnetizing conformal fluid. We discuss the characteristics of this special solution as well as its thermodynamic properties, including the bulk and shear viscosity, the square of the speed of sound, as well as the anisotropic effects induced by the magnetic field in the magnetized conformal plasma.


title: Some reciprocity formulas for generalized Dedekind-Rademacher sums

abstract: In this paper, we study the generalized Dedekind-Rademacher sums considered by Hall, Wilson and Zagier. We establish a formula for the products of two Bernoulli functions. The proof relies on Parseval's formula, Hurwitz's formula, and Lerch's functional equation. The result leads to reciprocity formulas for some generalizations of the classical Dedekind sums. In particular, it is shown that Carlitz's, Berndt's, Hall and Wilson's reciprocity theorems are deduced as special cases.


title: Sensitivity Bounds for Quantum Control and Time-Domain Performance Guarantees

abstract: Control of quantum systems via time-varying external fields optimized to maximize a fidelity measure at a given time is a mainstay in modern quantum control. However, save for specific systems, current analysis techniques for such quantum controllers provide no analytical robustness guarantees. In this letter we provide analytical bounds on the differential sensitivity of the gate fidelity error to structured uncertainties for a closed quantum system controlled by piecewise-constant, optimal control fields. We additionally determine those uncertainty structures that result in this worst-case maximal sensitivity. We then use these differential sensitivity bounds to provide conditions that guarantee performance, quantified by the fidelity error, in the face of parameter uncertainty.


title: Evolution of Fullerenes in Circumstellar Envelopes by Carbon Condensation: Insights from Reactive Molecular Dynamics Simulations

abstract: Fullerenes, including \ce{C60} and \ce{C70}, have been detected in various astronomical environments. Understanding how their structures evolve over time is essential for gaining insights into their life cycle and making further observations. To address this, we conducted reactive molecular dynamics simulations to investigate the evolution of fullerenes in the circumstellar envelopes surrounding carbon-rich asymptotic giant branch stars. Our simulations employed a bottom-up chemistry scheme, wherein fullerenes grow by absorbing and condensing small carbon-based molecules. The results revealed the formation of different structures through heterogeneous reactions based on hydrogen concentration, leading to the emergence of onion-like nanostructures or single-layer fullerenes. To examine the impact of these structural changes on the infrared emission characteristics of fullerenes, we performed quantum chemical calculations. The results indicate that as fullerenes grow larger, additional emission features are introduced in the infrared spectrum. Moreover, two-layered fullerenes show noticeable blue-shift or weakening effects on the bands associated with out-of-plane vibration modes.


title: Morse theory for the Allen-Cahn functional

abstract: In this article, we use Morse-theoretic techniques to construct connections between low energy critical submanifolds of the Allen-Cahn energy functional in the 3-sphere via the negative gradient flow.


title: Navigating Data Heterogeneity in Federated Learning A Semi-Supervised Federated Object Detection

abstract: Federated Learning (FL) has emerged as a potent framework for training models across distributed data sources while maintaining data privacy. Nevertheless, it faces challenges with limited high-quality labels and non-IID client data, particularly in applications like autonomous driving. To address these hurdles, we navigate the uncharted waters of Semi-Supervised Federated Object Detection (SSFOD). We present a pioneering SSFOD framework, designed for scenarios where labeled data reside only at the server while clients possess unlabeled data. Notably, our method represents the inaugural implementation of SSFOD for clients with 0% labeled non-IID data, a stark contrast to previous studies that maintain some subset of labels at each client. We propose FedSTO, a two-stage strategy encompassing Selective Training followed by Orthogonally enhanced full-parameter training, to effectively address data shift (e.g. weather conditions) between server and clients. Our contributions include selectively refining the backbone of the detector to avert overfitting, orthogonality regularization to boost representation divergence, and local EMA-driven pseudo label assignment to yield high-quality pseudo labels. Extensive validation on prominent autonomous driving datasets (BDD100K, Cityscapes, and SODA10M) attests to the efficacy of our approach, demonstrating state-of-the-art results. Remarkably, FedSTO, using just 20-30% of labels, performs nearly as well as fully-supervised centralized training methods.


title: Signed circuit $6$-covers of signed $K_4$-minor-free graphs

abstract: Bermond, Jackson and Jaeger [{\em J. Combin. Theory Ser. B} 35 (1983): 297-308] proved that every bridgeless ordinary graph $G$ has a circuit $4$-cover and Fan [{\em J. Combin. Theory Ser. B} 54 (1992): 113-122] showed that $G$ has a circuit $6$-cover which together implies that $G$ has a circuit $k$-cover for every even integer $k\ge 4$. The only left case when $k = 2$ is the well-know circuit double cover conjecture. For signed circuit $k$-cover of signed graphs, it is known that for every integer $k\leq 5$, there are infinitely many coverable signed graphs without signed circuit $k$-cover and there are signed eulerian graphs that admit nowhere-zero $2$-flow but don't admit a signed circuit $1$-cover. Fan conjectured that every coverable signed graph has a signed circuit $6$-cover. This conjecture was verified only for signed eulerian graphs and for signed graphs whose bridgeless-blocks are eulerian. In this paper, we prove that this conjecture holds for signed $K_4$-minor-free graphs. The $6$-cover is best possible for signed $K_4$-minor-free graphs.


title: A Lower Bound for R(5,6)

abstract: The known lower bound for the the classical Ramsey number $R(5,6)$ is improved from $58$ to $59$. The method used to construct the graph is a simple variant of computational methods that have been previously used to construct Ramsey graphs. The new method uses the concurrent programming features of the {\em Go} programming language.


title: Network Design through Graph Neural Networks: Identifying Challenges and Improving Performance

abstract: Graph Neural Network (GNN) research has produced strategies to modify a graph's edges using gradients from a trained GNN, with the goal of network design. However, the factors which govern gradient-based editing are understudied, obscuring why edges are chosen and if edits are grounded in an edge's importance. Thus, we begin by analyzing the gradient computation in previous works, elucidating the factors that influence edits and highlighting the potential over-reliance on structural properties. Specifically, we find that edges can achieve high gradients due to structural biases, rather than importance, leading to erroneous edits when the factors are unrelated to the design task. To improve editing, we propose ORE, an iterative editing method that (a) edits the highest scoring edges and (b) re-embeds the edited graph to refresh gradients, leading to less biased edge choices. We empirically study ORE through a set of proposed design tasks, each with an external validation method, demonstrating that ORE improves upon previous methods by up to 50%.


title: Boosting Multi-Speaker Expressive Speech Synthesis with Semi-supervised Contrastive Learning

abstract: This paper aims to build a multi-speaker expressive TTS system, synthesizing a target speaker's speech with multiple styles and emotions. To this end, we propose a novel contrastive learning-based TTS approach to transfer style and emotion across speakers. Specifically, contrastive learning from different levels, i.e. utterance and category level, is leveraged to extract the disentangled style, emotion, and speaker representations from speech for style and emotion transfer. Furthermore, a semi-supervised training strategy is introduced to improve the data utilization efficiency by involving multi-domain data, including style-labeled data, emotion-labeled data, and abundant unlabeled data. To achieve expressive speech with diverse styles and emotions for a target speaker, the learned disentangled representations are integrated into an improved VITS model. Experiments on multi-domain data demonstrate the effectiveness of the proposed method.


title: A boundary perturbation method to simulate nonlinear deformations of a two-dimensional bubble

abstract: Nonlinear deformations of a two-dimensional gas bubble are investigated in the framework of a Hamiltonian formulation involving surface variables alone. The Dirichlet--Neumann operator is introduced to accomplish this dimensional reduction and is expressed via a Taylor series expansion. A recursion formula is derived to determine explicitly each term in this Taylor series up to an arbitrary order of nonlinearity. Both analytical and numerical strategies are proposed to deal with this nonlinear free-boundary problem under forced or freely oscillating conditions. Simplified models are established in various approximate regimes, including a Rayleigh--Plesset equation for the time evolution of a purely circular pulsating bubble, and a second-order Stokes wave solution for weakly nonlinear shape oscillations that rotate steadily on the bubble surface. In addition, a numerical scheme is developed to simulate the full governing equations, by exploiting the efficient and accurate treatment of the Dirichlet--Neumann operator via the fast Fourier transform. Extensive tests are conducted to assess the numerical convergence of this operator as a function of various parameters. The performance of this direct solver is illustrated by applying it to the simulation of cycles of compression-dilatation for a purely circular bubble under uniform forcing, and to the computation of freely evolving shape distortions represented by steadily rotating waves and time-periodic standing waves. The former solutions are validated against predictions by the Rayleigh--Plesset model, while the latter solutions are compared to laboratory measurements in the case of mode-2 standing waves.


title: Optimizing the Temporal and Spatial Resolutions and Light Throughput of Fresnel Incoherent Correlation Holography in the Framework of Coded Aperture Imaging

abstract: Fresnel incoherent correlation holography (FINCH) is a well-established digital holography technique for 3D imaging of objects illuminated by spatially incoherent light. FINCH has a higher lateral resolution of 1.5 times that of direct imaging systems with the same numerical aperture. However, the other imaging characteristics of FINCH such as axial resolution, temporal resolution, light throughput and signal to noise ratio (SNR) are lower than those of direct imaging system. Different techniques were developed by researchers around the world to improve the imaging characteristics of FINCH while retaining the inherent higher lateral resolution of FINCH. However, most of the solutions developed to improve FINCH presented additional challenges. In this study, we optimized FINCH in the framework of coded aperture imaging. Two recently developed computational methods such as transport of amplitude into phase based on Gerchberg Saxton algorithm (TAP-GSA) and Lucy-Richardson-Rosen algorithm were applied to improve light throughput and image reconstruction respectively. The above implementation improved the axial resolution, time resolution and SNR of FINCH close to those of direct imaging while retaining the high lateral resolution. A point spread function (PSF) engineering technique has been implemented to prevent the low lateral resolution problem associated with the PSF recorded using pinholes with a large diameter. We believe that the above developments are beyond the state-of-the-art of existing FINCH-scopes.


title: Using two point correlation functions to understand the assembly histories of Milky Way-like galaxies

abstract: The two point correlation function (2PCF) is a powerful statistical tool to measure galaxy clustering. Although 2PCF has also been used to study the clustering of stars on parsec and sub-parsec scales, its physical implication is not clear on such non-linear scales. In this study, we use the Illustris-TNG50 simulation to study the connection between the 2PCF signals of accreted halo stars and the assembly histories of Milky Way-mass galaxies. We find, in general, the 2PCF signal increases with the increase in galactocentric radii, $r$, and with the decrease in the pair separations. Galaxies which assemble late on average have stronger 2PCF signals. With $z_{1/4}$, $z_{1/2}$ and $z_{3/4}$ defined as the redshifts when galaxies accreted one-fourth, half and three-fourths of their ex-situ stellar mass at today, we find all of them show the strongest correlations with the 2PCF signals at $r\sim0.2R_{200}$. $z_{3/4}$ shows the strongest correlations at all radii than those of $z_{1/4}$ or $z_{1/2}$, as later accreted stars preserve better clusterings. However, the correlations between the 2PCF signals at different radii and the galaxy formation times all have large scatters. The 2PCFs in velocity space show weaker correlations with the galaxy formation times within $0.38R_{200}$ than real space 2PCFs, and the scatter is considerably large. Both the real and velocity space 2PCFs correlate with the assembly histories of the host dark matter halos as well. Within $0.38R_{200}$, the real space 2PCF shows stronger correlations with the galaxy formation histories than with the halo formation histories, while the velocity space 2PCFs do not show large differences. We conclude that it is difficult to use 2PCF alone to precisely predict the formation times or assembly histories of galaxies.


title: Non-stationary It\^o-Kawada and Ergodic Theorems for random isometries

abstract: We consider a nonstationary sequence of independent random isometries of a compact metrizable space. Assuming that there are no proper closed subsets with deterministic image we establish a weak-* convergence to the unique invariant under isometries measure, Ergodic Theorem and Large Deviation Type Estimate. We also show that all the results can be carried over to the case of a random walk on a compact metrizable group. In particular, we prove a nonstationary analog of classical It\^o-Kawada theorem and give a new alternative proof for the stationary case.


title: Light scattering properties beyond weak-field excitation in atomic ensembles

abstract: In the study of optical properties of large atomic system, a weak laser driving is often assumed to simplify the system dynamics by linearly coupled equations. Here, we investigate the light scattering properties of atomic ensembles beyond weak-field excitation through the cumulant expansion method. By progressively incorporating higher-order correlations into the steady-state equations, an enhanced accuracy can be achieved in comparison to the exact solutions from solving a full density matrix. Our analysis reveals that, in the regime of weak dipole-dipole interaction (DDI), the first-order expansion yields satisfactory predictions for optical depth, while denser atomic configurations necessitate consideration of higher-order correlations. As the intensity of incident light increases, atom saturation effects become noticeable, giving rise to significant changes in light transparency, energy shift, and decay rate. This saturation phenomenon extends to subradiant atom arrays even under weak driving conditions, leading to substantial deviations from the linear model. Our findings demonstrate the mean-field models as good extensions to linear models as it balances both accuracy and computational complexity. However, the crucial role of higher-order cumulants in large and dense atom systems remains unclear, since it is challenging theoretically owing to the exponentially increasing Hilbert space in such light-matter interacting systems.


title: Transport Barriers in Magnetized Plasmas -- General Theory with Dynamical Constraints

abstract: A fundamental dynamical constraint -- that fluctuation induced charge-weighted particle flux must vanish -- can prevent instabilities from accessing the free energy in the strong gradients characteristic of Transport Barriers (TBs). Density gradients, when larger than a certain threshold, lead to a violation of the constraint and emerge as a stabilizing force. This mechanism, then, broadens the class of configurations (in magnetized plasmas) where these high confinement states can be formed and sustained. The need for velocity shear, the conventional agent for TB formation, is obviated. The most important ramifications of the constraint is to permit a charting out of the domains conducive to TB formation and hence to optimally confined fusion worthy states; the detailed investigation is conducted through new analytic methods and extensive gyrokinetic simulations.


title: Unusual phase transition in 1D localization and its observability in optics

abstract: Localization of electrons in 1D disordered systems is usually described in the random phase approximation, when distributions of phases \varphi and \theta, entering the transfer matrix, are considered as uniform. In the general case, the random phase approximation is violated, and the evolution equations are written in terms of the Landauer resistance \rho and the combined phases \psi=\theta-\varphi and \chi=\theta+\varphi. The distribution of the phase \psi is found to exhibit an unusual phase transition at the point E_0 when changing the electron energy E, which manifests itself in the appearance of the imaginary part of \psi. The distribution of resistance P(\rho) has no singularity at the point E_0, and the transition seems unobservable in the framework of condensed matter physics. However, the theory of 1D localization is immediately applicable to the scattering of waves propagating in a single-mode optical waveguide. Modern optical methods open a way to measure phases \psi and \chi. As a result, the indicated phase transition becomes observable.


title: LP-OVOD: Open-Vocabulary Object Detection by Linear Probing

abstract: This paper addresses the challenging problem of open-vocabulary object detection (OVOD) where an object detector must identify both seen and unseen classes in test images without labeled examples of the unseen classes in training. A typical approach for OVOD is to use joint text-image embeddings of CLIP to assign box proposals to their closest text label. However, this method has a critical issue: many low-quality boxes, such as over- and under-covered-object boxes, have the same similarity score as high-quality boxes since CLIP is not trained on exact object location information. To address this issue, we propose a novel method, LP-OVOD, that discards low-quality boxes by training a sigmoid linear classifier on pseudo labels retrieved from the top relevant region proposals to the novel text. Experimental results on COCO affirm the superior performance of our approach over the state of the art, achieving $\textbf{40.5}$ in $\text{AP}_{novel}$ using ResNet50 as the backbone and without external datasets or knowing novel classes during training. Our code will be available at https://github.com/VinAIResearch/LP-OVOD.


title: LLM4DyG: Can Large Language Models Solve Spatial-Temporal Problems on Dynamic Graphs?

abstract: In an era marked by the increasing adoption of Large Language Models (LLMs) for various tasks, there is a growing focus on exploring LLMs' capabilities in handling web data, particularly graph data. Dynamic graphs, which capture temporal network evolution patterns, are ubiquitous in real-world web data. Evaluating LLMs' competence in understanding spatial-temporal information on dynamic graphs is essential for their adoption in web applications, which remains unexplored in the literature. In this paper, we bridge the gap via proposing to evaluate LLMs' spatial-temporal understanding abilities on dynamic graphs, to the best of our knowledge, for the first time. Specifically, we propose the LLM4DyG benchmark, which includes nine specially designed tasks considering the capability evaluation of LLMs from both temporal and spatial dimensions. Then, we conduct extensive experiments to analyze the impacts of different data generators, data statistics, prompting techniques, and LLMs on the model performance. Finally, we propose Disentangled Spatial-Temporal Thoughts (DST2) for LLMs on dynamic graphs to enhance LLMs' spatial-temporal understanding abilities. Our main observations are: 1) LLMs have preliminary spatial-temporal understanding abilities on dynamic graphs, 2) Dynamic graph tasks show increasing difficulties for LLMs as the graph size and density increase, while not sensitive to the time span and data generation mechanism, 3) the proposed DST2 prompting method can help to improve LLMs' spatial-temporal understanding abilities on dynamic graphs for most tasks. The data and codes will be open-sourced at publication time.


title: On optimal civilian response during active shooter incidents

abstract: The number of active shooter incidents in the US has been increasing alarmingly. It is imperative for the government as well as the public to understand these events. Though both analytic and agent-based models have been proposed for studying active shooter incidents, there are only a few analytic models in the literature, and none incorporates civilian resistance. This article analytically investigates the optimal action of a civilian during an active shooter incident when he can hide, fight, or run.


title: Modeling and Analysis of the Epidemic-Behavior Co-evolution Dynamics with User Irrationality

abstract: During a public health crisis like COVID-19, individuals' adoption of protective behaviors, such as self-isolation and wearing masks, can significantly impact the spread of the disease. In the meanwhile, the spread of the disease can also influence individuals' behavioral choices. Moreover, when facing uncertain losses, individuals' decisions tend to be irrational. Therefore, it is critical to study individuals' irrational behavior choices in the context of a pandemic. In this paper, we propose an epidemic-behavior co-evolution model that captures the dynamic interplay between individual decision-making and disease spread. To account for irrational decision-making, we incorporate the Prospect Theory in our individual behavior modeling. We conduct a theoretical analysis of the model, examining the steady states that emerge from the co-evolutionary process. We use simulations to validate our theoretical findings and gain further insights. This investigation aims to enhance our understanding of the complex dynamics between individual behavior and disease spread during a pandemic.


title: Compact free-running InGaAs/InP single-photon detector with 40% detection efficiency and 2.3 kcps dark count rate

abstract: Free-running InGaAs/InP single-photon detectors (SPDs) based on negative-feedback avalanche diodes (NFADs) are the key components for applications requiring asynchronous single-photon detection in the near-infrared region. From the perspective of practical applications, the features of SPDs in terms of high photon detection efficiency (PDE), low noise, large sensitive area, and compactness are highly desired for system integration and performance enhancement. Here, we present the implementation of a compact four-channel multimode fiber coupling free-running InGaAs/InP SPD, with the best overall performance to date. On the one hand, we design and fabricate structure-optimized InGaAs/InP NFAD devices with 25 $\mu$m diameter active area and integrated thin film resistors to enhance the maximum achievable PDE. On the other hand, we apply a compact thermoacoustic cryocooler to regulate the operating temperature of NFADs within a large range, and design a dedicated readout circuit with minimized parasitic parameters and tunable settings of hold-off time to suppress the afterpulsing effect. The SPD is then characterized to achieve remarkable overall performance simultaneously at 1550 nm, i.e., 40% PDE, 2.3 kcps dark count rate, 8% afterpulse probability and 49 ps timing jitter (full width at half maximum) under the conditions of 5.9 V excess bias voltage, 10 $\mu$s hold-off time and 213 K operation temperature. Such performance and the results of the long-term stability tests indicate that the SPD could be a favorable solution for practical applications.


title: On the Convergence of CART under Sufficient Impurity Decrease Condition

abstract: The decision tree is a flexible machine learning model that finds its success in numerous applications. It is usually fitted in a recursively greedy manner using CART. In this paper, we investigate the convergence rate of CART under a regression setting. First, we establish an upper bound on the prediction error of CART under a sufficient impurity decrease (SID) condition \cite{chi2022asymptotic} -- our result improves upon the known result by \cite{chi2022asymptotic} under a similar assumption. Furthermore, we provide examples that demonstrate the error bound cannot be further improved by more than a constant or a logarithmic factor. Second, we introduce a set of easily verifiable sufficient conditions for the SID condition. Specifically, we demonstrate that the SID condition can be satisfied in the case of an additive model, provided that the component functions adhere to a ``locally reverse Poincar{\'e} inequality". We discuss several well-known function classes in non-parametric estimation to illustrate the practical utility of this concept.


title: Optimal Robotic Assembly Sequence Planning: A Sequential Decision-Making Approach

abstract: The optimal robot assembly planning problem is challenging due to the necessity of finding the optimal solution amongst an exponentially vast number of possible plans, all while satisfying a selection of constraints. Traditionally, robotic assembly planning problems have been solved using heuristics, but these methods are specific to a given objective structure or set of problem parameters. In this paper, we propose a novel approach to robotic assembly planning that poses assembly sequencing as a sequential decision making problem, enabling us to harness methods that far outperform the state-of-the-art. We formulate the problem as a Markov Decision Process (MDP) and utilize Dynamic Programming (DP) to find optimal assembly policies for moderately sized strictures. We further expand our framework to exploit the deterministic nature of assembly planning and introduce a class of optimal Graph Exploration Assembly Planners (GEAPs). For larger structures, we show how Reinforcement Learning (RL) enables us to learn policies that generate high reward assembly sequences. We evaluate our approach on a variety of robotic assembly problems, such as the assembly of the Hubble Space Telescope, the International Space Station, and the James Webb Space Telescope. We further showcase how our DP, GEAP, and RL implementations are capable of finding optimal solutions under a variety of different objective functions and how our formulation allows us to translate precedence constraints to branch pruning and thus further improve performance. We have published our code at https://github.com/labicon/ORASP-Code.


title: Real-time Neonatal Chest Sound Separation using Deep Learning

abstract: Auscultation for neonates is a simple and non-invasive method of providing diagnosis for cardiovascular and respiratory disease. Such diagnosis often requires high-quality heart and lung sounds to be captured during auscultation. However, in most cases, obtaining such high-quality sounds is non-trivial due to the chest sounds containing a mixture of heart, lung, and noise sounds. As such, additional preprocessing is needed to separate the chest sounds into heart and lung sounds. This paper proposes a novel deep-learning approach to separate such chest sounds into heart and lung sounds. Inspired by the Conv-TasNet model, the proposed model has an encoder, decoder, and mask generator. The encoder consists of a 1D convolution model and the decoder consists of a transposed 1D convolution. The mask generator is constructed using stacked 1D convolutions and transformers. The proposed model outperforms previous methods in terms of objective distortion measures by 2.01 dB to 5.06 dB in the artificial dataset, as well as computation time, with at least a 17-time improvement. Therefore, our proposed model could be a suitable preprocessing step for any phonocardiogram-based health monitoring system.


title: The Cumulative Distribution Function Based Method for Random Drift Model

abstract: In this paper, we propose a numerical method to uniformly handle the random genetic drift model for pure drift with or without natural selection and mutation. For pure drift and natural selection case, the Dirac $\delta$ singularity will develop at two boundary ends and the mass lumped at the two ends stands for the fixation probability. For the one-way mutation case, known as Muller's ratchet, the accumulation of deleterious mutations leads to the loss of the fittest gene, the Dirac $\delta$ singularity will spike only at one boundary end, which stands for the fixation of the deleterious gene and loss of the fittest one. For two-way mutation case, the singularity with negative power law may emerge near boundary points. We first rewrite the original model on the probability density function (PDF) to one with respect to the cumulative distribution function (CDF). Dirac $\delta$ singularity of the PDF becomes the discontinuity of the CDF. Then we establish a upwind scheme, which keeps the total probability, is positivity preserving and unconditionally stable. For pure drift, the scheme also keeps the conservation of expectation. It can catch the discontinuous jump of the CDF, then predicts accurately the fixation probability for pure drift with or without natural selection and one-way mutation. For two-way mutation case, it can catch the power law of the singularity. %Moreover, some artificial algorithms or additional boundary criteria is not needed in the numerical simulation. The numerical results show the effectiveness of the scheme.


title: Representation theory of $\mathfrak{sl}(2,\mathbb{R})\simeq \mathfrak{su}(1,1)$ and a generalization of non-commutative harmonic oscillators

abstract: The non-commutative harmonic oscillator (NCHO) was introduced as a specific Hamiltonian operator on $L^2(\mathbb{R})\otimes\mathbb{C}^2$ by Parmeggiani and Wakayama. Then it was proved by Ochiai and Wakayama that the eigenvalue problem for NCHO is reduced to a Heun differential equation. In this article, we consider some generalization of NCHO for $L^2(\mathbb{R}^n)\otimes\mathbb{C}^p$ as a rotation-invariant differential equation. Then by applying a representation theory of $\mathfrak{sl}(2,\mathbb{R})\simeq \mathfrak{su}(1,1)$, we check that its restriction to the space of products of radial functions and homogeneous harmonic polynomials is reduced to a holomorphic differential equation on the unit disk, which is generically Fuchsian.


title: FLEEK: Factual Error Detection and Correction with Evidence Retrieved from External Knowledge

abstract: Detecting factual errors in textual information, whether generated by large language models (LLM) or curated by humans, is crucial for making informed decisions. LLMs' inability to attribute their claims to external knowledge and their tendency to hallucinate makes it difficult to rely on their responses. Humans, too, are prone to factual errors in their writing. Since manual detection and correction of factual errors is labor-intensive, developing an automatic approach can greatly reduce human effort. We present FLEEK, a prototype tool that automatically extracts factual claims from text, gathers evidence from external knowledge sources, evaluates the factuality of each claim, and suggests revisions for identified errors using the collected evidence. Initial empirical evaluation on fact error detection (77-85\% F1) shows the potential of FLEEK. A video demo of FLEEK can be found at https://youtu.be/NapJFUlkPdQ.


title: Topic Segmentation of Semi-Structured and Unstructured Conversational Datasets using Language Models

abstract: Breaking down a document or a conversation into multiple contiguous segments based on its semantic structure is an important and challenging problem in NLP, which can assist many downstream tasks. However, current works on topic segmentation often focus on segmentation of structured texts. In this paper, we comprehensively analyze the generalization capabilities of state-of-the-art topic segmentation models on unstructured texts. We find that: (a) Current strategies of pre-training on a large corpus of structured text such as Wiki-727K do not help in transferability to unstructured conversational data. (b) Training from scratch with only a relatively small-sized dataset of the target unstructured domain improves the segmentation results by a significant margin. We stress-test our proposed Topic Segmentation approach by experimenting with multiple loss functions, in order to mitigate effects of imbalance in unstructured conversational datasets. Our empirical evaluation indicates that Focal Loss function is a robust alternative to Cross-Entropy and re-weighted Cross-Entropy loss function when segmenting unstructured and semi-structured chats.


title: Test-time Augmentation for Factual Probing

abstract: Factual probing is a method that uses prompts to test if a language model "knows" certain world knowledge facts. A problem in factual probing is that small changes to the prompt can lead to large changes in model output. Previous work aimed to alleviate this problem by optimizing prompts via text mining or fine-tuning. However, such approaches are relation-specific and do not generalize to unseen relation types. Here, we propose to use test-time augmentation (TTA) as a relation-agnostic method for reducing sensitivity to prompt variations by automatically augmenting and ensembling prompts at test time. Experiments show improved model calibration, i.e., with TTA, model confidence better reflects prediction accuracy. Improvements in prediction accuracy are observed for some models, but for other models, TTA leads to degradation. Error analysis identifies the difficulty of producing high-quality prompt variations as the main challenge for TTA.


title: Enhancing sea ice segmentation in Sentinel-1 images with atrous convolutions

abstract: Due to the growing volume of remote sensing data and the low latency required for safe marine navigation, machine learning (ML) algorithms are being developed to accelerate sea ice chart generation, currently a manual interpretation task. However, the low signal-to-noise ratio of the freely available Sentinel-1 Synthetic Aperture Radar (SAR) imagery, the ambiguity of backscatter signals for ice types, and the scarcity of open-source high-resolution labelled data makes automating sea ice mapping challenging. We use Extreme Earth version 2, a high-resolution benchmark dataset generated for ML training and evaluation, to investigate the effectiveness of ML for automated sea ice mapping. Our customized pipeline combines ResNets and Atrous Spatial Pyramid Pooling for SAR image segmentation. We investigate the performance of our model for: i) binary classification of sea ice and open water in a segmentation framework; and ii) a multiclass segmentation of five sea ice types. For binary ice-water classification, models trained with our largest training set have weighted F1 scores all greater than 0.95 for January and July test scenes. Specifically, the median weighted F1 score was 0.98, indicating high performance for both months. By comparison, a competitive baseline U-Net has a weighted average F1 score of ranging from 0.92 to 0.94 (median 0.93) for July, and 0.97 to 0.98 (median 0.97) for January. Multiclass ice type classification is more challenging, and even though our models achieve 2% improvement in weighted F1 average compared to the baseline U-Net, test weighted F1 is generally between 0.6 and 0.80. Our approach can efficiently segment full SAR scenes in one run, is faster than the baseline U-Net, retains spatial resolution and dimension, and is more robust against noise compared to approaches that rely on patch classification.


title: A non-oriented first passage percolation model and statistical invariance by time reversal

abstract: We introduce and study a non-oriented first passage percolation model having a property of statistical invariance by time reversal. This model is defined in a graph having directed edges and the passage times associated with each set of outgoing edges from a given vertex are distributed according to a generalized Bernoulli-Exponential law and i.i.d. among vertices. We derive the statistical invariance property by time reversal through a zero-temperature limit of the random walk in Dirichlet environment model.


title: Implicit Regularization in Over-Parameterized Support Vector Machine

abstract: In this paper, we design a regularization-free algorithm for high-dimensional support vector machines (SVMs) by integrating over-parameterization with Nesterov's smoothing method, and provide theoretical guarantees for the induced implicit regularization phenomenon. In particular, we construct an over-parameterized hinge loss function and estimate the true parameters by leveraging regularization-free gradient descent on this loss function. The utilization of Nesterov's method enhances the computational efficiency of our algorithm, especially in terms of determining the stopping criterion and reducing computational complexity. With appropriate choices of initialization, step size, and smoothness parameter, we demonstrate that unregularized gradient descent achieves a near-oracle statistical convergence rate. Additionally, we verify our theoretical findings through a variety of numerical experiments and compare the proposed method with explicit regularization. Our results illustrate the advantages of employing implicit regularization via gradient descent in conjunction with over-parameterization in sparse SVMs.


title: The production of charmonium pentaquark from b-baryon and B-meson decay: SU(3) analysis

abstract: In this paper, we study the production of charmonium pentaquark $c \bar c q q q$ from bottom baryon and B-meson decays under the flavor SU(3) symmetry. Decay amplitudes for various processes are parametrized in terms of the SU(3) irreducible nonperturbative amplitudes. A number of relations between decay widths have been deduced. Moreover, the strong decays of pentaquark is also taken into account. These results can be tested in future measurements at LHCb, Belle II and CEPC. Once a few decay branching fractions have been measured, our work could provide hints for exploring new decay channels or new pentaquark states.


title: Deep Learning on SAR Imagery: Transfer Learning Versus Randomly Initialized Weights

abstract: Deploying deep learning on Synthetic Aperture Radar (SAR) data is becoming more common for mapping purposes. One such case is sea ice, which is highly dynamic and rapidly changes as a result of the combined effect of wind, temperature, and ocean currents. Therefore, frequent mapping of sea ice is necessary to ensure safe marine navigation. However, there is a general shortage of expert-labeled data to train deep learning algorithms. Fine-tuning a pre-trained model on SAR imagery is a potential solution. In this paper, we compare the performance of deep learning models trained from scratch using randomly initialized weights against pre-trained models that we fine-tune for this purpose. Our results show that pre-trained models lead to better results, especially on test samples from the melt season.


title: A Method for Network Intrusion Detection Using Flow Sequence and BERT Framework

abstract: A Network Intrusion Detection System (NIDS) is a tool that identifies potential threats to a network. Recently, different flow-based NIDS designs utilizing Machine Learning (ML) algorithms have been proposed as solutions to detect intrusions efficiently. However, conventional ML-based classifiers have not seen widespread adoption in the real world due to their poor domain adaptation capability. In this research, our goal is to explore the possibility of using sequences of flows to improve the domain adaptation capability of network intrusion detection systems. Our proposal employs natural language processing techniques and Bidirectional Encoder Representations from Transformers framework, which is an effective technique for modeling data with respect to its context. Early empirical results show that our approach has improved domain adaptation capability compared to previous approaches. The proposed approach provides a new research method for building a robust intrusion detection system.


title: Task-driven Prompt Evolution for Foundation Models

abstract: Promptable foundation models, particularly Segment Anything Model (SAM), have emerged as a promising alternative to the traditional task-specific supervised learning for image segmentation. However, many evaluation studies have found that their performance on medical imaging modalities to be underwhelming compared to conventional deep learning methods. In the world of large pre-trained language and vision-language models, learning prompt from downstream tasks has achieved considerable success in improving performance. In this work, we propose a plug-and-play Prompt Optimization Technique for foundation models like SAM (SAMPOT) that utilizes the downstream segmentation task to optimize the human-provided prompt to obtain improved performance. We demonstrate the utility of SAMPOT on lung segmentation in chest X-ray images and obtain an improvement on a significant number of cases ($\sim75\%$) over human-provided initial prompts. We hope this work will lead to further investigations in the nascent field of automatic visual prompt-tuning.


title: ECN based Congestion Control for a Software Defined Network

abstract: This paper deals with congestion control in a software defined network (SDN) setting. Presently, explicit router schemes, such as Explicit Congestion Notification (ECN), work in conjunction with the TCP protocol to handle congestion in a distributed manner. With the emergence of SDN and centralized control, it is possible to leverage the global view of the network state to make better congestion control decisions. In this work, we explore the advantages of bringing in global information into distributed congestion control. We propose a framework where the controller with its global view of the network actively participates in the congestion control decisions of the end TCP hosts, by setting the ECN bits of IP packets appropriately. Our framework can be deployed very easily without any change to the end node TCPs or the SDN switches. We also show 30x improvement over the TCP Cubic variant and 1.7x improvement over TCP/RED in terms of flow completion times for one implementation of this framework, using the Mininet emulator.


title: M2C: Towards Automatic Multimodal Manga Complement

abstract: Multimodal manga analysis focuses on enhancing manga understanding with visual and textual features, which has attracted considerable attention from both natural language processing and computer vision communities. Currently, most comics are hand-drawn and prone to problems such as missing pages, text contamination, and aging, resulting in missing comic text content and seriously hindering human comprehension. In other words, the Multimodal Manga Complement (M2C) task has not been investigated, which aims to handle the aforementioned issues by providing a shared semantic space for vision and language understanding. To this end, we first propose the Multimodal Manga Complement task by establishing a new M2C benchmark dataset covering two languages. First, we design a manga argumentation method called MCoT to mine event knowledge in comics with large language models. Then, an effective baseline FVP-M$^{2}$ using fine-grained visual prompts is proposed to support manga complement. Extensive experimental results show the effectiveness of FVP-M$^{2}$ method for Multimodal Mange Complement.


title: Virtual Accessory Try-On via Keypoint Hallucination

abstract: The virtual try-on task refers to fitting the clothes from one image onto another portrait image. In this paper, we focus on virtual accessory try-on, which fits accessory (e.g., glasses, ties) onto a face or portrait image. Unlike clothing try-on, which relies on human silhouette as guidance, accessory try-on warps the accessory into an appropriate location and shape to generate a plausible composite image. In contrast to previous try-on methods that treat foreground (i.e., accessories) and background (i.e., human faces or bodies) equally, we propose a background-oriented network to utilize the prior knowledge of human bodies and accessories. Specifically, our approach learns the human body priors and hallucinates the target locations of specified foreground keypoints in the background. Then our approach will inject foreground information with accessory priors into the background UNet. Based on the hallucinated target locations, the warping parameters are calculated to warp the foreground. Moreover, this background-oriented network can also easily incorporate auxiliary human face/body semantic segmentation supervision to further boost performance. Experiments conducted on STRAT dataset validate the effectiveness of our proposed method.


title: Unleashing the potential of GNNs via Bi-directional Knowledge Transfer

abstract: Based on the message-passing paradigm, there has been an amount of research proposing diverse and impressive feature propagation mechanisms to improve the performance of GNNs. However, less focus has been put on feature transformation, another major operation of the message-passing framework. In this paper, we first empirically investigate the performance of the feature transformation operation in several typical GNNs. Unexpectedly, we notice that GNNs do not completely free up the power of the inherent feature transformation operation. By this observation, we propose the Bi-directional Knowledge Transfer (BiKT), a plug-and-play approach to unleash the potential of the feature transformation operations without modifying the original architecture. Taking the feature transformation operation as a derived representation learning model that shares parameters with the original GNN, the direct prediction by this model provides a topological-agnostic knowledge feedback that can further instruct the learning of GNN and the feature transformations therein. On this basis, BiKT not only allows us to acquire knowledge from both the GNN and its derived model but promotes each other by injecting the knowledge into the other. In addition, a theoretical analysis is further provided to demonstrate that BiKT improves the generalization bound of the GNNs from the perspective of domain adaption. An extensive group of experiments on up to 7 datasets with 5 typical GNNs demonstrates that BiKT brings up to 0.5% - 4% performance gain over the original GNN, which means a boosted GNN is obtained. Meanwhile, the derived model also shows a powerful performance to compete with or even surpass the original GNN, enabling us to flexibly apply it independently to some other specific downstream tasks.


title: Incorporating Probing Signals into Multimodal Machine Translation via Visual Question-Answering Pairs

abstract: This paper presents an in-depth study of multimodal machine translation (MMT), examining the prevailing understanding that MMT systems exhibit decreased sensitivity to visual information when text inputs are complete. Instead, we attribute this phenomenon to insufficient cross-modal interaction, rather than image information redundancy. A novel approach is proposed to generate parallel Visual Question-Answering (VQA) style pairs from the source text, fostering more robust cross-modal interaction. Using Large Language Models (LLMs), we explicitly model the probing signal in MMT to convert it into VQA-style data to create the Multi30K-VQA dataset. An MMT-VQA multitask learning framework is introduced to incorporate explicit probing signals from the dataset into the MMT training process. Experimental results on two widely-used benchmarks demonstrate the effectiveness of this novel approach. Our code and data would be available at: \url{https://github.com/libeineu/MMT-VQA}.


title: Global well-posedness for 2D inviscid and resistive MHD system near an equilibrium

abstract: We study the global existence of classical solutions for two-dimensional incompressible MHD system with only magnetic diffusion. By using the time-weighted lower-order energy and uniformly bounded higher-order energy estimates, we prove the global existence result under the assumption that the initial magnetic field is close enough to a constant magnetic vorticity equilibrium.