title: Spatial distribution of ultracold neutron probability density in the gravitational field of the earth above a mirror

abstract: We propose a theoretical analysis of the experimental data by Ichikawa et al. (Phys. Rev. Lett. 112, 071101 (2014)) on a spatial distribution of ultracold neutrons in the gravitational field of the Earth above a mirror, projected onto a pixelated detector by scattering by a cylindrical mirror. We calculate a theoretical spatial distribution of a probability density of quantum gravitational states of ultracold neutrons and analyse a spatial distribution of quantum gravitational states in term of the Wigner function. We cannot confirm that the experimental data by Ichikawa et al. (Phys. Rev. Lett. 112, 071101 (2014)) correspond to a spatial distribution of quantum gravitational states of ultracold neutrons.


title: Efficient approximation of Earth Mover's Distance Based on Nearest Neighbor Search

abstract: Earth Mover's Distance (EMD) is an important similarity measure between two distributions, used in computer vision and many other application domains. However, its exact calculation is computationally and memory intensive, which hinders its scalability and applicability for large-scale problems. Various approximate EMD algorithms have been proposed to reduce computational costs, but they suffer lower accuracy and may require additional memory usage or manual parameter tuning. In this paper, we present a novel approach, NNS-EMD, to approximate EMD using Nearest Neighbor Search (NNS), in order to achieve high accuracy, low time complexity, and high memory efficiency. The NNS operation reduces the number of data points compared in each NNS iteration and offers opportunities for parallel processing. We further accelerate NNS-EMD via vectorization on GPU, which is especially beneficial for large datasets. We compare NNS-EMD with both the exact EMD and state-of-the-art approximate EMD algorithms on image classification and retrieval tasks. We also apply NNS-EMD to calculate transport mapping and realize color transfer between images. NNS-EMD can be 44x to 135x faster than the exact EMD implementation, and achieves superior accuracy, speedup, and memory efficiency over existing approximate EMD methods.


title: Inference of dynamical gene regulatory networks from single-cell data with physics informed neural networks

abstract: One of the main goals of developmental biology is to reveal the gene regulatory networks (GRNs) underlying the robust differentiation of multipotent progenitors into precisely specified cell types. Most existing methods to infer GRNs from experimental data have limited predictive power as the inferred GRNs merely reflect gene expression similarity or correlation. Here, we demonstrate, how physics-informed neural networks (PINNs) can be used to infer the parameters of predictive, dynamical GRNs that provide mechanistic understanding of biological processes. Specifically we study GRNs that exhibit bifurcation behavior and can therefore model cell differentiation. We show that PINNs outperform regular feed-forward neural networks on the parameter inference task and analyze two relevant experimental scenarios: 1. a system with cell communication for which gene expression trajectories are available and 2. snapshot measurements of a cell population in which cell communication is absent. Our analysis will inform the design of future experiments to be analyzed with PINNs and provides a starting point to explore this powerful class of neural network models further.

categories: q-bio.QM cs.AI cs.LG physics.bio-ph q-bio.MN


title: More on minimal renormalon subtraction

abstract: The minimal renormalon subtraction (MRS) [arXiv:1802.04248; arXiv:1712.04983; arXiv:1701.00347; arXiv:2310.15137] technique is summarized. A new result is a study of the scale dependence of the pole-mass--$\overline{\rm MS}$-mass ratio in MRS perturbation theory. As expected, the scale dependence is much milder than in standard perturbation theory, but it is a bit larger than other truncation effects such as omitting the N3LO term or varying the normalization of the renormalon subtraction.


title: Diagrammatic Rules for Triad Census

abstract: In network theory, a triad census is a method designed to categorize and enumerate the various types of subgraphs with three nodes and their connecting edges within a network. Triads serve as fundamental building blocks for comprehending the structure and dynamics of networks, and the triad census offers a systematic approach to their classification. Typically, triad counts are obtained numerically, but lesser-known methods have been developed to precisely evaluate them without the need for sampling. In our study, we build upon Moody's matrix approach, presenting general diagrammatic rules that systematically and intuitively generate closed formulas for the occurrence numbers of triads in a network.


title: Beyond Sparse Rewards: Enhancing Reinforcement Learning with Language Model Critique in Text Generation

abstract: Reinforcement learning (RL) can align language models with non-differentiable reward signals, such as human preferences. However, a major challenge arises from the sparsity of these reward signals - typically, there is only a single reward for an entire output. This sparsity of rewards can lead to inefficient and unstable learning. To address this challenge, our paper introduces an novel framework that utilizes the critique capability of Large Language Models (LLMs) to produce intermediate-step rewards during RL training. Our method involves coupling a policy model with a critic language model, which is responsible for providing comprehensive feedback of each part of the output. This feedback is then translated into token or span-level rewards that can be used to guide the RL training process. We investigate this approach under two different settings: one where the policy model is smaller and is paired with a more powerful critic model, and another where a single language model fulfills both roles. We assess our approach on three text generation tasks: sentiment control, language model detoxification, and summarization. Experimental results show that incorporating artificial intrinsic rewards significantly improve both sample efficiency and the overall performance of the policy model, supported by both automatic and human evaluation.


title: Recent mathematical advances in coupled cluster theory

abstract: This article presents an in-depth educational overview of the latest mathematical developments in coupled cluster (CC) theory, beginning with Schneider's seminal work from 2009 that introduced the first local analysis of CC theory. We offer a tutorial review of second quantization and the CC ansatz, laying the groundwork for understanding the mathematical basis of the theory. This is followed by a detailed exploration of the most recent mathematical advancements in CC theory.Our review starts with an in-depth look at the local analysis pioneered by Schneider which has since been applied to analyze various CC methods. We then move on to discuss the graph-based framework for CC methods developed by Csirik and Laestadius. This framework provides a comprehensive platform for comparing different CC methods, including multireference approaches. Next, we delve into the latest numerical analysis results analyzing the single reference CC method developed by Hassan, Maday, and Wang. This very general approach is based on the invertibility of the CC function's Fr\'echet derivative. We conclude the article with a discussion on the recent incorporation of algebraic geometry into CC theory, highlighting how this novel and fundamentally different mathematical perspective has furthered our understanding and provides exciting pathways to new computational approaches.

categories: physics.chem-ph cs.NA math-ph math.AG math.MP math.NA


title: First Dark Matter Limits from the COUPP 4kg Bubble Chamber at a Deep Underground Site

abstract: The COUPP 4 kg bubble chamber employs 4.0 kg of CF$_3$I as a WIMP scattering target for use as a dark matter direct detection search. This thesis reports the first experimental results from operating this bubble chamber at the deep underground site (6000 m.w.e.) of SNOLAB, near Sudbury, Ontario. Twenty dark matter candidate events were observed during an effective exposure of 553.0 kg-days, when operating the bubble chamber at three different bubble nucleation thresholds. These data are consistent with a neutron background internal to the detector. Characterization of this neutron background has led to the recommendation to replace two detector components to maximize dark matter signal sensitivity in a future run with this bubble chamber. A measurement of the gamma-ray flux has confirmed that this detector should not be sensitive to a gamma-induced background for more than three orders of magnitude below current sensitivity. The dark matter search data presented here set a new world-leading limit on the spin-dependent WIMP-proton scattering cross section and demonstrate significant sensitivity to spin-independent WIMP-nucleon scattering.


title: Sheath constraints on turbulent magnetised plasmas

abstract: A solid target in contact with a plasma charges (negatively) to reflect the more mobile species (electrons) and thus keep the bulk plasma quasineutral. To shield the bulk plasma from the charged target, there is an oppositely (positively) charged sheath with a sharp electrostatic potential variation on the Debye length scale $\lambda_{\rm D}$. In magnetised plasmas where the magnetic field is inclined at an oblique angle $\alpha$ with the target, some of the sheath potential variation occurs also on the ion sound gyroradius length scale $\rho_{\rm S} \cos \alpha$, caused by finite ion gyro-orbit distortion and losses. We consider a collisionless and steady-state magnetised plasma sheath whose thickness $l_{\rm ms} \sim \max (\lambda_{\rm D}, \rho_{\rm S} \cos \alpha)$ is smaller than the characteristic length scale $L$ of spatial fluctuations in the bulk plasma, such that the limit $l_{\rm ms} / L \rightarrow 0$ is appropriate. Spatial structures are assumed to be magnetic field-aligned. In the case of small magnetic field angle $ \alpha \sim \delta \equiv \rho_{\rm S} / L \ll 1$, electric fields tangential to the target transport ions towards the target via ExB drifts at a rate comparable to the one from parallel streaming. A generalised form of the kinetic Bohm-Chodura criterion at the sheath entrance is derived by requiring that the sheath electric field have a monotonic spatial decay far from the target. The criterion depends on tangential gradients of potential and ion distribution function, with additional nontrivial conditions.


title: How do machines learn? Evaluating the AIcon2abs method

abstract: This paper evaluates AI from concrete to Abstract (Queiroz et al. 2021), a recently proposed method that enables awareness among the general public on machine learning. Such is possible due to the use of WiSARD, an easily understandable machine learning mechanism, thus requiring little effort and no technical background from the target users. WiSARD is adherent to digital computing; training consists of writing to RAM-type memories, and classification consists of reading from these memories. The model enables easy visualization and understanding of training and classification tasks' internal realization through ludic activities. Furthermore, the WiSARD model does not require an Internet connection for training and classification, and it can learn from a few or one example. WiSARD can also create "mental images" of what it has learned so far, evidencing key features pertaining to a given class. The AIcon2abs method's effectiveness was assessed through the evaluation of a remote course with a workload of approximately 6 hours. It was completed by thirty-four Brazilian subjects: 5 children between 8 and 11 years old; 5 adolescents between 12 and 17 years old; and 24 adults between 21 and 72 years old. The collected data was analyzed from two perspectives: (i) from the perspective of a pre-experiment (of a mixed methods nature) and (ii) from a phenomenological perspective (of a qualitative nature). AIcon2abs was well-rated by almost 100% of the research subjects, and the data collected revealed quite satisfactory results concerning the intended outcomes. This research has been approved by the CEP/HUCFF/FM/UFRJ Human Research Ethics Committee.


title: Optimising network interactions through device agnostic models

abstract: Physically implemented neural networks hold the potential to achieve the performance of deep learning models by exploiting the innate physical properties of devices as computational tools. This exploration of physical processes for computation requires to also consider their intrinsic dynamics, which can serve as valuable resources to process information. However, existing computational methods are unable to extend the success of deep learning techniques to parameters influencing device dynamics, which often lack a precise mathematical description. In this work, we formulate a universal framework to optimise interactions with dynamic physical systems in a fully data-driven fashion. The framework adopts neural stochastic differential equations as differentiable digital twins, effectively capturing both deterministic and stochastic behaviours of devices. Employing differentiation through the trained models provides the essential mathematical estimates for optimizing a physical neural network, harnessing the intrinsic temporal computation abilities of its physical nodes. To accurately model real devices' behaviours, we formulated neural-SDE variants that can operate under a variety of experimental settings. Our work demonstrates the framework's applicability through simulations and physical implementations of interacting dynamic devices, while highlighting the importance of accurately capturing system stochasticity for the successful deployment of a physically defined neural network.


title: Do Ultra Diffuse Galaxies with Rich Globular Clusters Systems have Overly Massive Halos?

abstract: Some Ultra Diffuse Galaxies (UDGs) appear to host exceptionally rich globular cluster (GC) systems compared to normal galaxies of the same stellar mass. After re-examing these claims, we focus on a small sample of UDGs from the literature that have {\it both} rich GC systems (N$_{GC}$ $> 20$) and a measured galaxy velocity dispersion. We find that UDGs with more GCs have higher dynamical masses and that GC-rich UDGs are dark matter dominated within their half-light radii. We extrapolate these dynamical masses to derive total halo masses assuming cuspy and cored mass profiles. We find reasonable agreement between halo masses derived from GC numbers (assuming the GC number - halo mass relation) and from cored halo profiles. This suggests that GC-rich UDGs do {\it not} follow the standard stellar mass - halo mass relation, occupying overly massive cored halos for their stellar mass. A similar process to that invoked for some Local Group dwarfs, of early quenching, may result in GC-rich UDGs that have failed to form the expected mass of stars in a given halo (and thus giving the appearance of overly an massive halo). Simulations that correctly reproduce the known properties of GC systems associated with UDGs are needed.


title: A Rapid Review of Clustering Algorithms

abstract: Clustering algorithms aim to organize data into groups or clusters based on the inherent patterns and similarities within the data. They play an important role in today's life, such as in marketing and e-commerce, healthcare, data organization and analysis, and social media. Numerous clustering algorithms exist, with ongoing developments introducing new ones. Each algorithm possesses its own set of strengths and weaknesses, and as of now, there is no universally applicable algorithm for all tasks. In this work, we analyzed existing clustering algorithms and classify mainstream algorithms across five different dimensions: underlying principles and characteristics, data point assignment to clusters, dataset capacity, predefined cluster numbers and application area. This classification facilitates researchers in understanding clustering algorithms from various perspectives and helps them identify algorithms suitable for solving specific tasks. Finally, we discussed the current trends and potential future directions in clustering algorithms. We also identified and discussed open challenges and unresolved issues in the field.


title: Knee or ROC

abstract: Self-attention transformers have demonstrated accuracy for image classification with smaller data sets. However, a limitation is that tests to-date are based upon single class image detection with known representation of image populations. For instances where the input image classes may be greater than one and test sets that lack full information on representation of image populations, accuracy calculations must adapt. The Receiver Operating Characteristic (ROC) accuracy thresh-old can address the instances of multi-class input images. However, this approach is unsuitable in instances where image population representation is unknown. We consider calculating accuracy using the knee method to determine threshold values on an ad-hoc basis. Results of ROC curve and knee thresholds for a multi-class data set, created from CIFAR-10 images, are discussed for multi-class image detection.


title: Ultra-broadband Optical Diffraction Tomography

abstract: Optical diffraction tomography (ODT) is a powerful non-invasive 3D imaging technique, but its combination with broadband light sources is difficult. In this study, we introduce ultrabroadband ODT, covering over 150 nm of visible spectral bandwidth with a lateral spatial resolution of 150 nm. Our work addresses a critical experimental gap by enabling the measurement of broadband refractive index changes in 3D samples, a crucial information that is difficult to assess with existing methodologies. We present broadband, spectrally resolved ODT images of HeLa cells, obtained via pulse-shaping based Fourier transform spectroscopy. The spectral observations enabled by ultrabroadband ODT, combined with material-dependent refractive index responses, allow for precise three-dimensional identification of the nanoparticles within cellular structures. Our work represents a crucial step towards time and spectrally-resolved tomography of complex 3D structures with implications for life and materials science applications.


title: A Strong Inductive Bias: Gzip for binary image classification

abstract: Deep learning networks have become the de-facto standard in Computer Vision for industry and research. However, recent developments in their cousin, Natural Language Processing (NLP), have shown that there are areas where parameter-less models with strong inductive biases can serve as computationally cheaper and simpler alternatives. We propose such a model for binary image classification: a nearest neighbor classifier combined with a general purpose compressor like Gzip. We test and compare it against popular deep learning networks like Resnet, EfficientNet and Mobilenet and show that it achieves better accuracy and utilizes significantly less space, more than two order of magnitude, within a few-shot setting. As a result, we believe that this underlines the untapped potential of models with stronger inductive biases in few-shot scenarios.


title: A Novel Optimization Algorithm for Buffer and Splitter Minimization in Phase-Skipping Adiabatic Quantum-Flux-Parametron Circuits

abstract: Adiabatic Quantum-Flux-Parametron (AQFP) logic is a promising emerging device technology that promises six orders of magnitude lower power than CMOS. However, AQFP is challenged by operation at only ultra-low temperatures, has high latency and area, and requires a complex clocking scheme. In particular, every logic gate, buffer, and splitter must be clocked and each pair of connected clocked gates requires overlapping alternating current (AC) clock signals. In particular, clocked buffers need to be used to balance re-convergent logic paths, a problem that is exacerbated by every multi-node fanout needing a tree of clocked splitters. To reduce circuit area many works have proposed buffer and splitter insertion optimization algorithms and recent works have demonstrated a phase-skipping clocking scheme that reduces latency and area. This paper proposes the first algorithm to optimize buffer and splitter insertion for circuits that adopt phase-skipping and demonstrate the resulting performance improvements for a suite of AQFP benchmark circuits.


title: An Inverse Problem for Renormalized Area: Determining the Bulk Metric with Minimal Surfaces

abstract: We present an inverse problem which uses the renormalized area functional on minimal submanifolds to recover the expansion of asymptotically hyperbolic, conformally compact metrics which are partially even to high order. We use a rigidity argument to determine the conformal infinity of the metric via the renormalized area. We then consider renormalized volume of perturbations of the hemisphere to determine the higher order terms in the asymptotic expansion of the metric. We prove rigidity when these metrics are log-analytic, and further note that renormalized area determines the obstruction tensor for PE metrics.


title: Harnessing the Power of Beta Scoring in Deep Active Learning for Multi-Label Text Classification

abstract: Within the scope of natural language processing, the domain of multi-label text classification is uniquely challenging due to its expansive and uneven label distribution. The complexity deepens due to the demand for an extensive set of annotated data for training an advanced deep learning model, especially in specialized fields where the labeling task can be labor-intensive and often requires domain-specific knowledge. Addressing these challenges, our study introduces a novel deep active learning strategy, capitalizing on the Beta family of proper scoring rules within the Expected Loss Reduction framework. It computes the expected increase in scores using the Beta Scoring Rules, which are then transformed into sample vector representations. These vector representations guide the diverse selection of informative samples, directly linking this process to the model's expected proper score. Comprehensive evaluations across both synthetic and real datasets reveal our method's capability to often outperform established acquisition techniques in multi-label text classification, presenting encouraging outcomes across various architectural and dataset scenarios.


title: Semi-analytic modelling of Pop. III star formation and metallicity evolution -- I. Impact on the UV luminosity functions at z = 9-16

abstract: We implemented Population III (Pop. III) star formation in mini-halos within the MERAXES semi-analytic galaxy formation and reionisation model, run on top of a N-body simulation with $L = 10 h^{-1}$ cMpc with 2048$^3$ particles resolving all dark matter halos down to the mini-halos ($\sim 10^5 M_\odot$). Our modelling includes the chemical evolution of the IGM, with metals released through supernova-driven bubbles that expand according to the Sedov-Taylor model. We found that SN-driven metal bubbles are generally small, with radii typically of 150 ckpc at z = 6. Hence, the majority of the first galaxies are likely enriched by their own star formation. However, as reionization progresses, the feedback effects from the UV background become more pronounced, leading to a halt in star formation in low-mass galaxies, after which external chemical enrichment becomes more relevant. We explore the sensitivity of the star formation rate density and stellar mass functions on the unknown values of free parameters. We also discuss the observability of Pop. III dominated systems with JWST, finding that the inclusion of Pop. III galaxies can have a significant effect on the total UV luminosity function at z = 12 - 16. Our results support the idea that the excess of bright galaxies detected with JWST might be explained by the presence of bright top-heavy Pop. III dominated galaxies without requiring an increased star formation efficiency.


title: Picosecond Trajectory of Two-dimensional Vortex Motion in FeSe$_{0.5}$Te$_{0.5}$ Visualized by Terahertz Second Harmonic Generation

abstract: We have investigated the vortex dynamics in a thin film of an iron-based superconductor FeSe$_{0.5}$Te$_{0.5}$ by observing second-harmonic generation (SHG) in the THz frequency range. We visualized the picosecond trajectory of two-dimensional vortex motion in a pinning potential tilted by Meissner shielding current. The SHG perpendicular to the driving field is observed, corresponding to the nonreciprocal nonlinear Hall effect under the current-induced inversion symmetry breaking, whereas the linear Hall effect is negligible. The estimated vortex mass, as light as a bare electron, suggests that the vortex core moves independently from quasiparticles at such a high frequency and large velocity $\approx$300 km/s.


title: Cross Domain Early Crop Mapping using CropSTGAN

abstract: Driven by abundant satellite imagery, machine learning-based approaches have recently been promoted to generate high-resolution crop cultivation maps to support many agricultural applications. One of the major challenges faced by these approaches is the limited availability of ground truth labels. In the absence of ground truth, existing work usually adopts the "direct transfer strategy" that trains a classifier using historical labels collected from other regions and then applies the trained model to the target region. Unfortunately, the spectral features of crops exhibit inter-region and inter-annual variability due to changes in soil composition, climate conditions, and crop progress, the resultant models perform poorly on new and unseen regions or years. Despite recent efforts, such as the application of the deep adaptation neural network (DANN) model structure in the deep adaptation crop classification network (DACCN), to tackle the above cross-domain challenges, their effectiveness diminishes significantly when there is a large dissimilarity between the source and target regions. This paper introduces the Crop Mapping Spectral-temporal Generative Adversarial Neural Network (CropSTGAN), a novel solution for cross-domain challenges, that doesn't require target domain labels. CropSTGAN learns to transform the target domain's spectral features to those of the source domain, effectively bridging large dissimilarities. Additionally, it employs an identity loss to maintain the intrinsic local structure of the data. Comprehensive experiments across various regions and years demonstrate the benefits and effectiveness of the proposed approach. In experiments, CropSTGAN is benchmarked against various state-of-the-art (SOTA) methods. Notably, CropSTGAN significantly outperforms these methods in scenarios with large data distribution dissimilarities between the target and source domains.


title: AI-enhanced on-the-fly simulation of nonlinear time-resolved spectra

abstract: Time-resolved spectroscopy is an important tool for unraveling the minute details of structural changes of molecules of biological and technological significance. The nonlinear femtosecond signals detected for such systems must be interpreted, but it is a challenging task for which theoretical simulations are often indispensable. Accurate simulations of transient-absorption or two-dimensional electronic spectra are, however, computationally very expensive, prohibiting the wider adoption of existing first-principles methods. Here, we report an AI-enhanced protocol to drastically reduce the computational cost of simulating nonlinear time-resolved electronic spectra which makes such simulations affordable for polyatomic molecules of increasing size. The protocol is based on doorway-window approach for the on-the-fly surface-hopping simulations. We show its applicability for the prototypical molecule of pyrazine for which it produces spectra with high precision with respect to ab initio reference while cutting the computational cost by at least 95% compared to pure first-principles simulations.


title: Gaussian Processes for Time Series with Lead-Lag Effects with applications to biology data

abstract: Investigating the relationship, particularly the lead-lag effect, between time series is a common question across various disciplines, especially when uncovering biological process. However, analyzing time series presents several challenges. Firstly, due to technical reasons, the time points at which observations are made are not at uniform inintervals. Secondly, some lead-lag effects are transient, necessitating time-lag estimation based on a limited number of time points. Thirdly, external factors also impact these time series, requiring a similarity metric to assess the lead-lag relationship. To counter these issues, we introduce a model grounded in the Gaussian process, affording the flexibility to estimate lead-lag effects for irregular time series. In addition, our method outputs dissimilarity scores, thereby broadening its applications to include tasks such as ranking or clustering multiple pair-wise time series when considering their strength of lead-lag effects with external factors. Crucially, we offer a series of theoretical proofs to substantiate the validity of our proposed kernels and the identifiability of kernel parameters. Our model demonstrates advances in various simulations and real-world applications, particularly in the study of dynamic chromatin interactions, compared to other leading methods.


title: Design-Based Estimation and Central Limit Theorems for Local Average Treatment Effects for RCTs

abstract: There is a growing literature on design-based methods to estimate average treatment effects for randomized controlled trials (RCTs) using the underpinnings of experiments. In this article, we build on these methods to consider design-based regression estimators for the local average treatment effect (LATE) estimand for RCTs with treatment noncompliance. We prove new finite-population central limit theorems for a range of designs, including blocked and clustered RCTs, allowing for baseline covariates to improve precision. We discuss consistent variance estimators based on model residuals and conduct simulations that show the estimators yield confidence interval coverage near nominal levels. We demonstrate the methods using data from a private school voucher RCT in New York City USA.


title: Improved Implicit Neural Representation with Fourier Bases Reparameterized Training

abstract: Implicit Neural Representation (INR) as a mighty representation paradigm has achieved success in various computer vision tasks recently. Due to the low-frequency bias issue of vanilla multi-layer perceptron (MLP), existing methods have investigated advanced techniques, such as positional encoding and periodic activation function, to improve the accuracy of INR. In this paper, we connect the network training bias with the reparameterization technique and theoretically prove that weight reparameterization could provide us a chance to alleviate the spectral bias of MLP. Based on our theoretical analysis, we propose a Fourier reparameterization method which learns coefficient matrix of fixed Fourier bases to compose the weights of MLP. We evaluate the proposed Fourier reparameterization method on different INR tasks with various MLP architectures, including vanilla MLP, MLP with positional encoding and MLP with advanced activation function, etc. The superiority approximation results on different MLP architectures clearly validate the advantage of our proposed method. Armed with our Fourier reparameterization method, better INR with more textures and less artifacts can be learned from the training data.


title: Doubled Hilbert space in double-scaled SYK

abstract: We consider matter correlators in the double-scaled SYK (DSSYK) model. It turns out that matter correlators have a simple expression in terms of the doubled Hilbert space $\mathcal{H}\otimes\mathcal{H}$, where $\mathcal{H}$ is the Fock space of $q$-deformed oscillator (also known as the chord Hilbert space). In this formalism, we find that the operator which counts the intersection of chords should be conjugated by certain ``entangler'' and ``disentangler''. We explicitly demonstrate this structure for the two- and four-point functions of matter operators in DSSYK.


title: Fairness-aware Photovoltaic Generation Limits for Voltage Regulation in Power Distribution Networks using Conservative Linear Approximations

abstract: This paper proposes a framework for fairly curtailing photovoltaic (PV) plants in response to the over-voltage problem in PV-rich distribution networks. The framework imposes PV generation limits to avoid overvoltages. These limits are computed a day ahead of real-time operations by solving an offline stochastic optimization problem using forecasted scenarios for PV generation and load demand. The framework minimizes the overall curtailment while considering fairness by reducing disparities in curtailments among different PV owners. We model the distribution grid constraints using a conservative linear approximation (CLA) of the AC power flow equations which is computed using a set of sampled power injections from the day-ahead predicted scenarios. The proposed framework is numerically validated on a CIGRE benchmark network interfaced with a large number of PV plants. We compare the performance of the proposed framework versus an alternative formulation that does not incorporate fairness considerations. To this end, we assess tradeoffs between fairness, as quantified with the Jain Fairness Index (JFI), and the total curtailed energy.


title: Effective detection of quantum discord by using Convolutional Neural Networks

abstract: Quantum discord is a form of correlation that is defined as the difference between quantum and classical mutual information of two parties. Due to the optimization involved in the definition of classical mutual information of quantum systems, calculating and distinguishing between discordant and non-discordant states is not a trivial task. Additionally, complete tomography of a quantum state is the prerequisite for the calculation of its quantum discord, and it is indeed resource consuming. Here, by using the relation between the kernels of the convolutional layers of an artificial neural network and the expectation value of operators in quantum mechanical measurements, we design a Convolutional Neural Network (CNN) that uses 16 kernels to completely distinguish between the discordant and non-discordant general two-qubit states. We have also designed a Branching Convolutional Neural Network (BCNN) that can effectively detect quantum discord. Our BCNN achieves an accuracy of around 85% or 99%, by utilizing only 5 or 8 kernels, respectively. Our results show that to detect the existence of quantum discord up to the desired accuracy, instead of complete tomography, one can use suitable quantum circuits to directly measure the expectation values of the kernels, and then a fully connected network will solve the detection problem.


title: Machine Learning Applications in Gravitational Wave Astronomy

abstract: Gravitational wave astronomy has emerged as a new branch of observational astronomy, since the first detection of gravitational waves in 2015. The current number of $O(100)$ detections is expected to grow by several orders of magnitude over the next two decades. As a result, current computationally expensive detection algorithms will become impractical. A solution to this problem, which has been explored in the last years, is the application of machine-learning techniques to accelerate the detection and parameter estimation of gravitational wave sources. In this chapter, several different applications are summarized, including the application of artificial neural networks and autoenconders in accelerating the computation of surrogate models, deep residual networks in achieving rapid detections with high sensitivity, as well as artificial neural networks for accelerating the construction of neutron star models in an alternative theory of gravity.


title: Growth and Characterization of Superconducting Bulk Crystal [(SnSe)$_{1+\delta}$]$_m$(NbSe$_2$) Misfit Layer Compounds

abstract: [(SnSe)$_{1+\delta}$]$_m$(NbSe$_2$) ($m$ = 1-6, 8, and 12) highly orientated crystals 1-2 mm in size and well-defined c-planes were successfully grown using CsCl/KCl flux, including the first growth of crystals with $m = 12$. The stacked layers along the $c$ axis in the obtained crystals were directly observed by transmission electron microscopy as m alternating layers of SnSe and single layers of NbSe$_2$. The superconducting transition temperature of the obtained [(SnSe)$_{1+\delta}$]$_m$(NbSe$_2$) crystals decreased with an increase in the number of SnSe layers per unit cell. As the superconducting anisotropy parameters increase, a significant increase is observed between $m = 4$ and 5. This indicates that the superconducting dimensionality becomes more two-dimensional with an increasing $m$.


title: Multimodal Language and Graph Learning of Adsorption Configuration in Catalysis

abstract: Adsorption energy, a reactivity descriptor, should be accurately assessed for efficient catalyst screening. This evaluation requires determining the lowest energy across various adsorption configurations on the catalytic surface. While graph neural networks (GNNs) have gained popularity as a machine learning approach for computing the energy of catalyst systems, they rely heavily on atomic spatial coordinates and often lack clarity in their interpretations. Recent advancements in language models have broadened their applicability to predicting catalytic properties, allowing us to bypass the complexities of graph representation. These models are adept at handling textual data, making it possible to incorporate observable features in a human-readable format. However, language models encounter challenges in accurately predicting the energy of adsorption configurations, typically showing a high mean absolute error (MAE) of about 0.71 eV. Our study addresses this limitation by introducing a self-supervised multi-modal learning approach, termed graph-assisted pretraining. This method significantly reduces the MAE to 0.35 eV through a combination of data augmentation, achieving comparable accuracy with DimeNet++ while using 0.4% of its training data size. Furthermore, the Transformer encoder at the core of the language model can provide insights into the feature focus through its attention scores. This analysis shows that our multimodal training effectively redirects the model's attention toward relevant adsorption configurations from adsorbate-related features, enhancing prediction accuracy and interpretability.


title: Quantum Uncertainty Equalities and Inequalities for Unitary Operators

abstract: We explore the uncertainty relation for unitary operators in a new way and find two uncertainty equalities for unitary operators, which are minimized by any pure states. Additionally, we derive two sets of uncertainty inequalities that unveil hierarchical structures within the realm of unitary operator uncertainty. Furthermore, we examine and compare our method for unitary uncertainty relations to other prevailing formulations. We provide explicit examples for better understanding and clarity. Results show that the hierarchical unitary uncertainty relations establish strong bounds. Moreover, we investigate the higher-dimensional limit of the unitary uncertainty equalities.


title: Multi-Task DNS Security Analysis via High-Order Heterogeneous Graph Embedding

abstract: DNS is an essential Internet infrastructure to support network applications and services, but is also a significant tool exploited by various cyberattacks. Existing DNS security analysis techniques mostly focus on one specific task associated with one single entity (e.g., domain) via conventional feature engineering. They rely heavily on the labor-intensive feature selection and largely ignore the intrinsic correlations among the heterogeneous DNS entities (e.g., domain and IP). In this paper, I explore the potential of heterogeneous graph embedding to automatically learn the behavior features of multiple DNS entities, and to simultaneously support more than one security tasks. Considering the joint optimization of malicious domain detection and IP reputation evaluation as an example, I propose a novel joint DNS embedding (JDE) model to formulate the DNS query behavior via a similarity-enhanced graph with heterogeneous entities. The random walk technique is applied to the heterogeneous graph to comprehensively explore the hidden homogeneous and heterogeneous high-order proximities among domains and IPs. Extensive experiments on real DNS traffic demonstrate that the joint optimization of multiple tasks with the latent high-order proximities can lead to better security analysis performance for all the tasks than respectively optimizing each single task with the observable low-order proximity.


title: Startup Delay Aware Short Video Ordering: Problem, Model, and A Reinforcement Learning based Algorithm

abstract: Short video applications have attracted billions of users on the Internet and can satisfy diverse users' fragmented spare time with content-rich and duration-short videos. To achieve fast playback at user side, existing short video systems typically enforce burst transmission of initial segment of each video when being requested for improved quality of user experiences. However, such a way of burst transmissions can cause unexpected large startup delays at user side. This is because users may frequently switch videos when sequentially watching a list of short videos recommended by the server side, which can cause excessive burst transmissions of initial segments of different short videos and thus quickly deplete the network transmission capacity. In this paper, we adopt token bucket to characterize the video transmission path between video server and each user, and accordingly study how to effectively reduce the startup delay of short videos by effectively arranging the viewing order of a video list at the server side. We formulate the optimal video ordering problem for minimizing the maximum video startup delay as a combinatorial optimization problem and prove its NP-hardness. We accordingly propose a Partially Shared Actor Critic reinforcement learning algorithm (PSAC) to learn optimized video ordering strategy. Numerical results based on a real dataset provided by a large-scale short video service provider demonstrate that the proposed PSAC algorithm can significantly reduce the video startup delay compared to baseline algorithms.


title: Dynamical displacements, persistence and semiconjugacies

abstract: This survey gives a unified treatment of topics from Abelian and non-Abelian Nielsen Theory integrated with the semiconjugacy theorems of Franks and Handel. The main focus is to develop an analog of the rotation set that is valid when the dynamics are not isotopic to the identity and to connect this theory to the dynamical persistence under homotopy/isotopy intrinsic in the theorems of Franks and Handel. For this dynamical persistence, expansion/hyperbolicity at some scale is essential.


title: Identifying 850 delta Scuti pulsators in a narrow Gaia colour range with TESS 10-minute full-frame images

abstract: We use TESS 10-minute Full Frame Images (Sectors 27-55) to study a sample of 1708 stars within 500 pc of the Sun that lie in a narrow colour range in the centre of the delta Scuti instability strip (0.29 < BP-RP < 0.31). Based on the Fourier amplitude spectra, we identify 848 delta Scuti stars, as well as 47 eclipsing or contact binaries. The strongest pulsation modes of some delta Scuti stars fall on the period-luminosity relation of the fundamental radial mode but many correspond to overtones that are approximately a factor of two higher in frequency. Many of the low-luminosity delta Scuti stars show a series of high-frequency modes with very regular spacings. The fraction of stars in our sample that show delta Scuti pulsations is about 70% for the brightest stars (G<8), consistent with results from Kepler. However, the fraction drops to about 45% for fainter stars and we find that a single sector of TESS data only detects the lowest-amplitude delta Scuti pulsations (around 50 ppm) in stars down to about G=9. Finally, we have found four new high-frequency delta Scuti stars with very regular mode patterns, and have detected pulsations in lambda Mus that make it the fourth-brightest delta Scuti in the sky (G=3.63). Overall, these results confirm the power of TESS and Gaia for studying pulsating stars.


title: Leveraging the power of transformers for guilt detection in text

abstract: In recent years, language models and deep learning techniques have revolutionized natural language processing tasks, including emotion detection. However, the specific emotion of guilt has received limited attention in this field. In this research, we explore the applicability of three transformer-based language models for detecting guilt in text and compare their performance for general emotion detection and guilt detection. Our proposed model outformed BERT and RoBERTa models by two and one points respectively. Additionally, we analyze the challenges in developing accurate guilt-detection models and evaluate our model's effectiveness in detecting related emotions like "shame" through qualitative analysis of results.


title: Alternating Bias Assisted Annealing of Amorphous Oxide Tunnel Junctions

abstract: We demonstrate a transformational technique for controllably tuning the electrical properties of fabricated thermally oxidized amorphous aluminum-oxide tunnel junctions. Using conventional test equipment to apply an alternating bias to a heated tunnel barrier, giant increases in the room temperature resistance, greater than 70%, can be achieved. The rate of resistance change is shown to be strongly temperature-dependent, and is independent of junction size in the sub-micron regime. In order to measure their tunneling properties at mK temperatures, we characterized transmon qubit junctions treated with this alternating-bias assisted annealing (ABAA) technique. The measured frequencies follow the Ambegaokar-Baratoff relation between the shifted resistance and critical current. Further, these studies show a reduction of junction-contributed loss on the order of $\approx 2 \times10^{-6}$, along with a significant reduction in resonant- and off-resonant-two level system defects when compared to untreated samples. Imaging with high-resolution TEM shows that the barrier is still predominantly amorphous with a more uniform distribution of aluminum coordination across the barrier relative to untreated junctions. This new approach is expected to be widely applicable to a broad range of devices that rely on amorphous aluminum oxide, as well as the many other metal-insulator-metal structures used in modern electronics.

categories: physics.app-ph cond-mat.mtrl-sci cond-mat.supr-con quant-ph


title: Fast generation of quantum dynamics data using a GPU implementation of the time-dependent Schrodinger equation

abstract: Efficient methods for generating samples of wave packet trajectories are needed to build machine learning models for quantum dynamics. However, simulating such data by direct integration of the time-dependent Schrodinger equation can be demanding, especially when multiple spatial dimensions and realistic potentials are involved. In this paper, we present a graphics processor unit (GPU) implementation of the finite-difference time-domain (FDTD) method for simulating the time-dependent Schrodinger equation. The performance of our implementation is characterized in detail by simulating electron diffraction from realistic material surfaces. On our hardware, our GPU implementation achieves a roughly 350 times performance increase compared to a serial CPU implementation. The suitability of our implementation for generating samples of quantum dynamics data is also demonstrated by performing electron diffraction simulations from multiple configurations of an organic thin film. By studying how the structure of the data converges with sample sizes, we acquire insights into the sample sizes required for machine learning purposes.


title: A Comparative Examination of Network and Contract-Based Blockchain Storage Solutions for Decentralized Applications

abstract: Decentralized applications (DApps), which are innovative blockchain-powered software systems designed to serve as the fundamental building blocks for the next generation of Internet services, have witnessed exponential growth in recent years. This paper thoroughly compares and analyzes two blockchain-based decentralized storage networks (DSNs), which are crucial foundations for DApp and blockchain ecosystems. The study examines their respective mechanisms for data persistence, strategies for enforcing data retention, and token economics. In addition to delving into technical details, the suitability of each storage solution for decentralized application development is assessed, taking into consideration network performance, storage costs, and existing use cases. By evaluating these factors, the paper aims to provide insights into the effectiveness of these technologies in supporting the desirable properties of truly decentralized blockchain applications. In conclusion, the findings of this research are discussed and synthesized, offering valuable perspectives on the capabilities of these technologies. It sheds light on their potential to facilitate the development of DApps and provides an understanding of the ongoing trends in blockchain development.


title: Fatigue Behavior of High-Entropy Alloys

abstract: High-entropy alloys (HEAs) refer to alloys composed of five or more elements in equal or near-equal amounts or in an atomic concentration range of 5 to 35 atomic percent (at%). Different elemental ratios will affect the microstructures of HEAs and provide them with unique properties. Based on past research, HEAs have exhibited superior performance, relative to most conventional alloys, with respect to many properties, such as strength, toughness, corrosion resistance, magnetic behavior, etc. Among them, fatigue behavior has been a topic of focus, due to its importance in industrial applications. In this article, we summarized the research progress in the HEA-fatigue behavior in the past ten years, including experimental results and theoretical studies in subdivisions, such as high-cycle fatigue, low-cycle fatigue, fatigue-crack growth, fatigue mechanisms, etc. The influence of the processing and test methods on HEAs is described. The accuracy of several commonly used prediction models is also outlined. Finally, unresolved issues and suggestions on the direction of future research efforts are presented.


title: Spontaneous Supersymmetry Breaking and Nambu-Goldstone Modes in Interacting Majorana Chains

abstract: In modern physics, spontaneous symmetry breaking is one of the most important and ubiquitous ideas. It is well known that the breakdown of global and continuous symmetry gives rise to gapless excitations called Nambu-Goldstone (NG) bosons. This is called NG theorem. Since the generators of broken symmetries are bosonic, the excitations are also bosons. On the other hand, excitations are thought of as fermionic when a generator of broken symmetry is fermionic. The most famous example of fermionic symmetry is supersymmetry (SUSY). SUSY is a symmetry that exchanges bosons and fermions. In high-energy physics, it is known that spontaneous SUSY breaking gives rise to massless modes called NG fermions or Nambu- Goldstinos. In non-relativistic systems, fewer examples of models with SUSY are studied. Therefore, spontaneous SUSY breaking in non-relativistic systems is less understood than that in nonrelativistic systems or spontaneous symmetry breaking. In this thesis, we introduce interacting Majorana models with supersymmetry (SUSY) and discuss the properties in terms of spontaneous SUSY breaking and NG modes.


title: A Possible Mechanism to Alter Gyromagnetic Factor

abstract: Dirac has predicted that the $g$ factor of an electron is strictly equal to 2 in the framework of relativistic quantum mechanics. However, later physicists have found that this factor can be slightly deviated from 2 (i.e., the problem of anomalous magnetic moments of leptons) when they consider quantum filed theory. This fact thus renders the $g$ factors of free leptons serving as precision tests for quantum electrodynamics, the standard model and beyond. In this work, we re-examine the problem of $g$ factor within the framework of relativistic quantum mechanics. We propose a possible mechanism called the ``electron-braidon mixing'', such that the $g$ factor of an electron can be visibly altered. Our results are hopeful to be verified in experiments and also shed new light to the problem of the anomalous magnetic moments of leptons.


title: A Bayesian Approach to Modeling Variance of Intensive Longitudinal Biomarker Data as a Predictor of Health Outcomes

abstract: Intensive longitudinal biomarker data are increasingly common in scientific studies that seek temporally granular understanding of the role of behavioral and physiological factors in relation to outcomes of interest. Intensive longitudinal biomarker data, such as those obtained from wearable devices, are often obtained at a high frequency typically resulting in several hundred to thousand observations per individual measured over minutes, hours, or days. Often in longitudinal studies, the primary focus is on relating the means of biomarker trajectories to an outcome, and the variances are treated as nuisance parameters, although they may also be informative for the outcomes. In this paper, we propose a Bayesian hierarchical model to jointly model a cross-sectional outcome and the intensive longitudinal biomarkers. To model the variability of biomarkers and deal with the high intensity of data, we develop subject-level cubic B-splines and allow the sharing of information across individuals for both the residual variability and the random effects variability. Then different levels of variability are extracted and incorporated into an outcome submodel for inferential and predictive purposes. We demonstrate the utility of the proposed model via an application involving bio-monitoring of hertz-level heart rate information from a study on social stress.


title: Multiperson Detection and Vital-Sign Sensing Empowered by Space-Time-Coding RISs

abstract: Passive human sensing using wireless signals has attracted increasing attention due to its superiorities of non-contact and robustness in various lighting conditions. However, when multiple human individuals are present, their reflected signals could be intertwined in the time, frequency and spatial domains, making it challenging to separate them. To address this issue, this paper proposes a novel system for multiperson detection and monitoring of vital signs (i.e., respiration and heartbeat) with the assistance of space-time-coding (STC) reconfigurable intelligent metasurfaces (RISs). Specifically, the proposed system scans the area of interest (AoI) for human detection by using the harmonic beams generated by the STC RIS. Simultaneously, frequencyorthogonal beams are assigned to each detected person for accurate estimation of their respiration rate (RR) and heartbeat rate (HR). Furthermore, to efficiently extract the respiration signal and the much weaker heartbeat signal, we propose an improved variational mode decomposition (VMD) algorithm to accurately decompose the complex reflected signals into a smaller number of intrinsic mode functions (IMFs). We build a prototype to validate the proposed multiperson detection and vital-sign monitoring system. Experimental results demonstrate that the proposed system can simultaneously monitor the vital signs of up to four persons. The errors of RR and HR estimation using the improved VMD algorithm are below 1 RPM (respiration per minute) and 5 BPM (beats per minute), respectively. Further analysis reveals that the flexible beam controlling mechanism empowered by the STC RIS can reduce the noise reflected from other irrelative objects on the physical layer, and improve the signal-to-noise ratio of echoes from the human chest.


title: Unemployment Volatility: When Workers Pay Costs upon Accepting Jobs

abstract: When a firm hires a worker, adding the new hire to payroll is costly. These costs reduce the amount of resources that can go to recruiting workers and amplify how unemployment responds to changes in productivity. Workers also incur up-front costs upon accepting jobs. Examples include moving expenses and regulatory fees. I establish that workers' costs lessen the response of unemployment to productivity changes and do not subtract from resources available for recruitment. The influence of workers' costs is bounded by properties of a matching function, which describes how job openings and unemployment produce hires. Using data on job finding that are adjusted for workers' transitions between employment and unemployment and for how the Job Openings and Labor Turnover Survey records hires, I estimate a bound that ascribes limited influence to workers' costs. The results demonstrate that costs paid by workers upon accepting jobs affect outcomes in the labor market (firms threaten workers with paying the up-front costs again if wage negotiations fail), but their influence on volatility is less important than firms' costs.


title: Two-Dimensional Electronic Spectroscopy for Three-Level Atoms with Electromagnetically Induced Transparency

abstract: Two-dimensional electronic spectroscopy (2DES) has high spectral resolution and is a useful tool for studying atom dynamics. In this paper, we apply the electromagnetically induced transparency (EIT) technique to 2DES in a three-level atom, and find out that the number of peaks (troughs) will become more due to the introduction of EIT. Also, the height of the peaks (the depth of troughs) will change from constant to a damped oscillation. These findings may help us obtain more information about the dynamics of excited states.


title: Net-Zero Energy House-oriented Linear Programming for the Sizing Problem of Photovoltaic Panels and Batteries

abstract: The global drive towards carbon neutrality has led to a significant increase in the number of power plants based on renewable energy sources (RES). Concurrently, numerous households are adopting RES to generate their own energy, aiming to decrease both electricity costs and carbon footprints. To support these users, many papers have been devoted to developing optimal investment strategies for residential energy systems. However, there is still a significant gap as these studies often neglect important aspects like carbon neutrality. For this reason, in this paper, we explore the concept of net-zero energy houses (ZEHs) -- houses designed to have an annual net energy consumption around zero -- by presenting a constrained optimization problem to find the optimal number of photovoltaic panels and the optimal size of the battery system for home integration. Solving this constrained optimization problem is difficult due to its nonconvex constraints. Nevertheless, by applying a series of transformations, we reveal that it is possible to find an equivalent linear programming (LP) problem which is computationally tractable. The attainment of ZEH can be tackled by introducing a single constraint in the optimization problem. Additionally, we propose a sharing economy approach to the investment problem, offering a strategy that could potentially reduce investment costs and facilitate the attainment of ZEH more efficiently. Finally, we apply the proposed frameworks to a neighborhood in Japan as a case study, demonstrating the potential for long-term ZEH attainment. The results show that, under the right incentive, users can achieve ZEH, reduce their electricity costs and have a minimal impact on the main grid.


title: Generalized Planning for the Abstraction and Reasoning Corpus

abstract: The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that poses difficulties for pure machine learning methods due to its requirement for fluid intelligence with a focus on reasoning and abstraction. In this work, we introduce an ARC solver, Generalized Planning for Abstract Reasoning (GPAR). It casts an ARC problem as a generalized planning (GP) problem, where a solution is formalized as a planning program with pointers. We express each ARC problem using the standard Planning Domain Definition Language (PDDL) coupled with external functions representing object-centric abstractions. We show how to scale up GP solvers via domain knowledge specific to ARC in the form of restrictions over the actions model, predicates, arguments and valid structure of planning programs. Our experiments demonstrate that GPAR outperforms the state-of-the-art solvers on the object-centric tasks of the ARC, showing the effectiveness of GP and the expressiveness of PDDL to model ARC problems. The challenges provided by the ARC benchmark motivate research to advance existing GP solvers and understand new relations with other planning computational models. Code is available at github.com/you68681/GPAR.


title: AMC'24 "Analysis and Synthesis of the Disturbance Observer-based Robust Force Control Systems in State Space"

abstract: This paper extends the result of my previous papers on the analysis and synthesis of disturbance observer based robust control systems in state space.


title: Nonlinear Optimal Guidance for Cooperatively Imposing Relative Intercept Angles

abstract: The optimal cooperative guidance in the nonlinear setting for intercepting a target by multiple pursuers is studied in the paper. As certain relative angles can improve observability, the guidance command is required to cooperatively control the pursuers to intercept the target with specific relative angles. By using the neural networks, an approach for real-time generation of the nonlinear cooperative optimal guidance command is developed. Specifically, the optimal control problem with constraints on relative intercepting angles is formulated. Then, Pontryagin's maximum principle is used to derive the necessary conditions for optimality, which are further employed to parameterize the nonlinear optimal guidance law. As a result, the dataset for the mapping from state to nonlinear optimal guidance command can be generated by a simple propagation. A simple feedforward neural network is trained by the dataset to generate the nonlinear optimal guidance command. Finally, numerical examples are presented, showing that a nonlinear optimal guidance command with specific relative angles can be generated within a faction of a millisecond.


title: Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs

abstract: We present a hardware-accelerated SAT solver targeting processor/Field Programmable Gate Arrays (FPGA) SoCs. Our solution accelerates the most expensive subroutine of the Davis-Putnam-Logemann-Loveland (DPLL) algorithm, Boolean Constraint Propagation (BCP) through fine-grained FPGA parallelism. Unlike prior state-of-the-art solutions, our solver eliminates costly clause look-up operations by assigning clauses directly to clause processors on the FPGA and dividing large formulas into smaller partitions manageable by FPGA. Partitions are hot-swapped during runtime as required and the supported formula size is limited only by available external memory, not on-chip FPGA memory. We evaluate our solver on a Xilinx Zynq platform with results showing quicker execution time across various formula sizes, subject to formula partitioning strategy. Compared to prior state-of-the-art, we achieve 1.7x and 1.1x speed up on BCP for 2 representative benchmarks and up to 6x total speedup over software-only implementation.


title: AMC'24 "A Novel Stiffness Modulation Mechanism for Energy Efficient Variable Stiffness Actuators"

abstract: This paper presents a new stiffness modulation mechanism that enables infinite-range stiffness modulation in a fast manner. The proposed stiffness modulation mechanism can help improve many robot environment interaction applications such as human-robot collaboration and robotic rehabilitation.


title: A strong falsification of the universal radial acceleration relation in galaxies

abstract: In the past few decades, many studies revealed that there exist some apparent universal relations which can describe the dynamical properties in galaxies. In particular, the radial acceleration relation (RAR) is one of the most popular relations discovered recently which can be regarded as a universal law to connect the dynamical radial acceleration with the baryonic acceleration in galaxies. This has revealed an unexpected close connection between dark matter and baryonic matter in galaxies. In this article, by following the recent robust Galactic rotation curve analyses, we derive the Galactic RAR (GRAR) and show for the first time that it deviates from the alleged universal RAR at more than $5\sigma$. This provides a strong evidence to falsify the universal nature of RAR in galaxies claimed in past studies.


title: Parallel mechanical computing: Metamaterials that can multitask

abstract: Decades after being replaced with digital platforms, analogue computing has experienced a surging interest following developments in metamaterials and intricate fabrication techniques. Specifically, wave-based analogue computers which impart spatial transformations on an incident wavefront, commensurate with a desired mathematical operation, have gained traction owing to their ability to directly encode the input in its unprocessed form, bypassing analogue-to-digital conversion. While promising, these systems are inherently limited to single-task configurations. Their inability to concurrently perform multiple tasks, or compute in parallel, represents a major hindrance to advancing conceptual mechanical devices with broader computational capabilities. In here, we present a first attempt to simultaneously process independent computational tasks within the same architected structure. By breaking time invariance in a set of metasurface building blocks, multiple frequency-shifted beams are self-generated which absorb notable energy amounts from the fundamental signal. The onset of these tunable harmonics, enables distinct computational tasks to be assigned to different independent "channels", effectively allowing an analogue mechanical computer to multitask.


title: Fast Successive-Cancellation Decoding of 2 x 2 Kernel Non-Binary Polar Codes: Identification, Decoding and Simplification

abstract: Non-binary polar codes (NBPCs) decoded by successive cancellation (SC) algorithm have remarkable bit-error-rate performance compared to the binary polar codes (BPCs). Due to the serial nature, SC decoding suffers from large latency. The latency issue in BPCs has been the topic of extensive research and it has been notably resolved by the introduction of fast SC-based decoders. However, the vast majority of research on NBPCs is devoted to issues concerning design and efficient implementation. In this paper, we propose fast SC decoding for NBPCs constructed based on 2 x 2 kernels. In particular, we identify various non-binary special nodes in the SC decoding tree of NBPCs and propose their fast decoding. This way, we avoid traversing the full decoding tree and significantly reduce the decoding delay compared to symbol-by-symbol SC decoding. We also propose a simplified NBPC structure that facilitates the procedure of non-binary fast SC decoding. Using our proposed fast non-binary decoder, we observed an improvement of up to 95% in latency concerning the original SC decoding. This is while our proposed fast SC decoder for NBPCs incurs no error-rate loss.


title: Relations between near-field enhancements and Purcell factors in hybrid nanostructures of plasmonic antennas and dielectric cavities

abstract: Strong near-field enhancements (NFEs) of nanophotonic structures are believed to be closely related to high Purcell factors (FP). Here, we theoretically show that the correlation is partially correct; the extinction cross section ({\sigma}) response is also critical in determining FP. The divergence between NFE and FP is especially pronounced in plasmonic-dielectric hybrid systems, where the plasmonic antenna supports dipolar plasmon modes and the dielectric cavity hosts Mie-like resonances. The cavity's enhanced-field environment can boost the antenna's NFEs, but the FP is not increased concurrently due to the larger effective {\sigma} that is intrinsic to the FP calculations. Interestingly, the peak FP for the coupled system can be predicted by using the NFE and {\sigma} responses. Furthermore, the limits for FP of coupled systems are considered; they are determined by the sum of the FP of a redshifted (or modified, if applicable) antenna and an individual cavity. This contrasts starkly with the behavior of NFE which is closely associated with the multiplicative effects of the NFEs provided by the antenna and the dielectric cavity. The differing behaviors of NFE and FP in hybrid cavities have varied impacts on relevant nanophotonic applications such as fluorescence, Raman scattering and enhanced light-matter interactions.


title: Manifolds from Partitions

abstract: If f maps a discrete d-manifold G onto a (k+1)-partite complex P then H(G,f,P),the set of simplices x in G such that f(x) contains at least one facet in P defines a (d-k)-manifold.


title: Douglas-Rachford Algorithm for Control- and State-constrained Optimal Control Problems

abstract: We consider the application of the Douglas-Rachford (DR) algorithm to solve linear-quadratic (LQ) control problems with box constraints on the state and control variables. We split the constraints of the optimal control problem into two sets: one involving the ODE with boundary conditions, which is affine, and the other a box. We rewrite the LQ control problems as the minimization of the sum of two convex functions. We find the proximal mappings of these functions which we then employ for the projections in the DR iterations. We propose a numerical algorithm for computing the projection onto the affine set. We present a conjecture for finding the costates and the state constraint multipliers of the optimal control problem, which can in turn be used in verifying the optimality conditions. We carry out numerical experiments with two constrained optimal control problems to illustrate the working and the efficiency of the DR algorithm compared to the traditional approach of direct discretization.


title: BoNuS: Boundary Mining for Nuclei Segmentation with Partial Point Labels

abstract: Nuclei segmentation is a fundamental prerequisite in the digital pathology workflow. The development of automated methods for nuclei segmentation enables quantitative analysis of the wide existence and large variances in nuclei morphometry in histopathology images. However, manual annotation of tens of thousands of nuclei is tedious and time-consuming, which requires significant amount of human effort and domain-specific expertise. To alleviate this problem, in this paper, we propose a weakly-supervised nuclei segmentation method that only requires partial point labels of nuclei. Specifically, we propose a novel boundary mining framework for nuclei segmentation, named BoNuS, which simultaneously learns nuclei interior and boundary information from the point labels. To achieve this goal, we propose a novel boundary mining loss, which guides the model to learn the boundary information by exploring the pairwise pixel affinity in a multiple-instance learning manner. Then, we consider a more challenging problem, i.e., partial point label, where we propose a nuclei detection module with curriculum learning to detect the missing nuclei with prior morphological knowledge. The proposed method is validated on three public datasets, MoNuSeg, CPM, and CoNIC datasets. Experimental results demonstrate the superior performance of our method to the state-of-the-art weakly-supervised nuclei segmentation methods. Code: https://github.com/hust-linyi/bonus.


title: CKM and CPV measurements in the beauty and charm sector

abstract: Measurements of CKM elements and $CP$-violating observables are sensitive to revealing effects beyond the SM. These proceedings discuss four recent LHCb results. The first one presents $CP$ violation measurements in $B^0_s$ decays. Tree-level measurements of the CKM angle $\gamma$ are one of the most important tests of $CP$ violation in the SM. Additionally, the second one presents the results of a recent analysis of $B^{\pm} \rightarrow [h'^+h'^-\pi^+\pi^-]_Dh^{\pm}$ ($h=K,\pi$). The third one discusses the combination of previous LHCb $\gamma$ measurements except for the presented results. Achieved precision of the LHCb result: $(67 \pm 4)^{\circ}$ dominates the world average. Charm physics serves as a unique probe to test the flavor sector in the SM. The fourth one shows the search for $CP$ violation in the multi-body $D$ decays.


title: Mask-adaptive Gated Convolution and Bi-directional Progressive Fusion Network for Depth Completion

abstract: Depth completion is a critical task for handling depth images with missing pixels, which can negatively impact further applications. Recent approaches have utilized Convolutional Neural Networks (CNNs) to reconstruct depth images with the assistance of color images. However, vanilla convolution has non-negligible drawbacks in handling missing pixels. To solve this problem, we propose a new model for depth completion based on an encoder-decoder structure. Our model introduces two key components: the Mask-adaptive Gated Convolution (MagaConv) architecture and the Bi-directional Progressive Fusion (BP-Fusion) module. The MagaConv architecture is designed to acquire precise depth features by modulating convolution operations with iteratively updated masks, while the BP-Fusion module progressively integrates depth and color features, utilizing consecutive bi-directional fusion structures in a global perspective. Extensive experiments on popular benchmarks, including NYU-Depth V2, DIML, and SUN RGB-D, demonstrate the superiority of our model over state-of-the-art methods. We achieved remarkable performance in completing depth maps and outperformed existing approaches in terms of accuracy and reliability.


title: The Fairness of Redistricting Ghost

abstract: We explore the fairness of a redistricting game introduced by Mixon and Villar, which provides a two-party protocol for dividing a state into electoral districts, without the participation of an independent authority. We analyze the game in an abstract setting that ignores the geographic distribution of voters and assumes that voter preferences are fixed and known. We show that the minority player can always win at least $p-1$ districts, where $p$ is proportional to the percentage of minority voters. We give an upper bound on the number of districts won by the minority based on a "cracking" strategy for the majority.


title: Stability Analysis of ChatGPT-based Sentiment Analysis in AI Quality Assurance

abstract: In the era of large AI models, the complex architecture and vast parameters present substantial challenges for effective AI quality management (AIQM), e.g. large language model (LLM). This paper focuses on investigating the quality assurance of a specific LLM-based AI product--a ChatGPT-based sentiment analysis system. The study delves into stability issues related to both the operation and robustness of the expansive AI model on which ChatGPT is based. Experimental analysis is conducted using benchmark datasets for sentiment analysis. The results reveal that the constructed ChatGPT-based sentiment analysis system exhibits uncertainty, which is attributed to various operational factors. It demonstrated that the system also exhibits stability issues in handling conventional small text attacks involving robustness.


title: Interferometric Geometric Phases of $\mathcal{PT}$-symmetric Quantum Mechanics

abstract: We present a generalization of the geometric phase to pure and thermal states in $\mathcal{PT}$-symmetric quantum mechanics (PTQM) based on the approach of the interferometric geometric phase (IGP). The formalism first introduces the parallel-transport conditions of quantum states and reveals two geometric phases, $\theta^1$ and $\theta^2$, for pure states in PTQM according to the states under parallel-transport. Due to the non-Hermitian Hamiltonian in PTQM, $\theta^1$ is complex and $\theta^2$ is its real part. The imaginary part of $\theta^1$ plays an important role when we generalize the IGP to thermal states in PTQM. The generalized IGP modifies the thermal distribution of a thermal state, thereby introducing effective temperatures. At certain critical points, the generalized IGP exhibits discrete jumps at finite temperatures, signaling a geometric phase transition. We demonstrate the finite-temperature geometric phase transition in PTQM by a two-level system and visualize its results.


title: MesoHops: Size-invariant scaling calculations of multi-excitation open quantum systems

abstract: The photoexcitation dynamics of molecular materials on the 10-100 nm length scale depend on complex interactions between the electronic and vibrational degrees of freedom, rendering exact calculations difficult or intractable. The adaptive Hierarchy of Pure States (adHOPS) is a formally exact method that leverages the locality imposed by interactions between thermal environments and electronic excitations to achieve size-invariant scaling calculations for single-excitation processes in systems described by a Frenkel-Holstein Hamiltonian. Here, we extend adHOPS to account for arbitrary couplings between the thermal environments and vertical excitation energies, enabling formally exact, size-invariant calculations that involve multiple excitations or states with shared thermal environments. In addition, we introduce a low-temperature correction and effective integration of the noise to reduce the computational expense of including ultrafast vibrational relaxation in HOPS simulations. We present these advances in the latest version of the open-source MesoHOPS library and use MesoHOPS to characterize charge separation at a one-dimensional organic heterojunction when both the electron and hole are mobile.


title: Low-cost, Lightweight Electronic Flow Regulators for Throttling Liquid Rocket Engines

abstract: For small-scale liquid rockets, pressure-fed systems are commonly favoured due to their simplicity and low weight. In such systems, accurate regulation of both tank and injector pressures over a wide range of upstream pressures is critical $-$ more accurate regulation allows for higher engine efficiency and minimal tank mass, thus improving flight performance. However, existing methods such as dome-loaded pressure regulators are inflexible, or require extensive characterization to function accurately. These methods also suffer from limited orifice size, droop, and slow reaction times, making them unsuitable for throttling by adjusting pressures in flight, which are increasingly important as propulsively landing rockets become more common. To overcome these challenges, we designed an electronic pressure regulator (eReg), a multi-input multi-output system utilising closed loop feedback to accurately control downstream pressures. Our design is simple, low-cost and robust: with a single ball valve actuated by a motor, we regulate both gaseous pressurant and cryogenic liquid propellant at high flow rates (1.14 kg/s of liquid; 0.39 kg/s of gas) and upstream pressures (310 bar). Using 2 eRegs to regulate propellant tank pressures, and 2 eRegs for regulating propellant flow to the engine, we demonstrated our system's ability, in a static fire test, to regulate pressures accurately (within 0.2 bar) while simultaneously throttling our engine. To the best of our knowledge, this is the first time any undergraduate team has successfully throttled a liquid bipropellant engine.


title: GACE: Learning Graph-Based Cross-Page Ads Embedding For Click-Through Rate Prediction

abstract: Predicting click-through rate (CTR) is the core task of many ads online recommendation systems, which helps improve user experience and increase platform revenue. In this type of recommendation system, we often encounter two main problems: the joint usage of multi-page historical advertising data and the cold start of new ads. In this paper, we proposed GACE, a graph-based cross-page ads embedding generation method. It can warm up and generate the representation embedding of cold-start and existing ads across various pages. Specifically, we carefully build linkages and a weighted undirected graph model considering semantic and page-type attributes to guide the direction of feature fusion and generation. We designed a variational auto-encoding task as pre-training module and generated embedding representations for new and old ads based on this task. The results evaluated in the public dataset AliEC from RecBole and the real-world industry dataset from Alipay show that our GACE method is significantly superior to the SOTA method. In the online A/B test, the click-through rate on three real-world pages from Alipay has increased by 3.6%, 2.13%, and 3.02%, respectively. Especially in the cold-start task, the CTR increased by 9.96%, 7.51%, and 8.97%, respectively.


title: Quantized RIS-aided mmWave Massive MIMO Channel Estimation with Uniform Planar Arrays

abstract: In this paper, we investigate a cascaded channel estimation method for a millimeter wave (mmWave) massive multiple-input multiple-output (MIMO) system aided by a reconfigurable intelligent surface (RIS) with the BS equipped with low-resolution analog-to-digital converters (ADCs), where the BS and the RIS are both equipped with a uniform planar array (UPA). Due to the sparse property of mmWave channel, the channel estimation can be solved as a compressed sensing (CS) problem. However, the low-resolution quantization cause severe information loss of signals, and traditional CS algorithms are unable to work well. To recovery the signal and the sparse angular domain channel from quantization, we introduce Bayesian inference and efficient vector approximate message passing (VAMP) algorithm to solve the quantize output CS problem. To further improve the efficiency of the VAMP algorithm, a Fast Fourier Transform (FFT) based fast computation method is derived. Simulation results demonstrate the effectiveness and the accuracy of the proposed cascaded channel estimation method for the RIS-aided mmWave massive MIMO system with few-bit ADCs. Furthermore, the proposed channel estimation method can reach an acceptable performance gap between the low-resolution ADCs and the infinite ADCs for the low signal-to-noise ratio (SNR), which implies the applicability of few-bit ADCs in practice.


title: Taec: a Manually annotated text dataset for trait and phenotype extraction and entity linking in wheat breeding literature

abstract: Wheat varieties show a large diversity of traits and phenotypes. Linking them to genetic variability is essential for shorter and more efficient wheat breeding programs. Newly desirable wheat variety traits include disease resistance to reduce pesticide use, adaptation to climate change, resistance to heat and drought stresses, or low gluten content of grains. Wheat breeding experiments are documented by a large body of scientific literature and observational data obtained in-field and under controlled conditions. The cross-referencing of complementary information from the literature and observational data is essential to the study of the genotype-phenotype relationship and to the improvement of wheat selection. The scientific literature on genetic marker-assisted selection describes much information about the genotype-phenotype relationship. However, the variety of expressions used to refer to traits and phenotype values in scientific articles is a hinder to finding information and cross-referencing it. When trained adequately by annotated examples, recent text mining methods perform highly in named entity recognition and linking in the scientific domain. While several corpora contain annotations of human and animal phenotypes, currently, no corpus is available for training and evaluating named entity recognition and entity-linking methods in plant phenotype literature. The Triticum aestivum trait Corpus is a new gold standard for traits and phenotypes of wheat. It consists of 540 PubMed references fully annotated for trait, phenotype, and species named entities using the Wheat Trait and Phenotype Ontology and the species taxonomy of the National Center for Biotechnology Information. A study of the performance of tools trained on the Triticum aestivum trait Corpus shows that the corpus is suitable for the training and evaluation of named entity recognition and linking.


title: Formal Logic Enabled Personalized Federated Learning Through Property Inference

abstract: Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intelligence of Things (AIoT). However, a critical aspect missing from the current research landscape is the ability to enable data-driven client models with symbolic reasoning capabilities. Specifically, the inherent heterogeneity of participating client devices poses a significant challenge, as each client exhibits unique logic reasoning properties. Failing to consider these device-specific specifications can result in critical properties being missed in the client predictions, leading to suboptimal performance. In this work, we propose a new training paradigm that leverages temporal logic reasoning to address this issue. Our approach involves enhancing the training process by incorporating mechanically generated logic expressions for each FL client. Additionally, we introduce the concept of aggregation clusters and develop a partitioning algorithm to effectively group clients based on the alignment of their temporal reasoning properties. We evaluate the proposed method on two tasks: a real-world traffic volume prediction task consisting of sensory data from fifteen states and a smart city multi-task prediction utilizing synthetic data. The evaluation results exhibit clear improvements, with performance accuracy improved by up to 54% across all sequential prediction models.


title: Fock space: A bridge between Fredholm index and the quantum Hall effect

abstract: We compute the quantized Hall conductance at various Landau levels by using the classic trace. The computations reduce to the single elementary one for the lowest Landau level. By using the theories of Helton-Howe-Carey-Pincus, and Toeplitz operators on the classic Fock space and higher Fock spaces, the Hall conductance is naturally identified with a Fredholm index. This brings new mathematical insights to the extraordinary precision of quantization observed in quantum Hall measurements.

categories: math-ph cond-mat.mes-hall math.FA math.MP math.QA


title: Hierarchical Fashion Design with Multi-stage Diffusion Models

abstract: Cross-modal fashion synthesis and editing offer intelligent support to fashion designers by enabling the automatic generation and local modification of design drafts.While current diffusion models demonstrate commendable stability and controllability in image synthesis,they still face significant challenges in generating fashion design from abstract design elements and fine-grained editing.Abstract sensory expressions, \eg office, business, and party, form the high-level design concepts, while measurable aspects like sleeve length, collar type, and pant length are considered the low-level attributes of clothing.Controlling and editing fashion images using lengthy text descriptions poses a difficulty.In this paper, we propose HieraFashDiff,a novel fashion design method using the shared multi-stage diffusion model encompassing high-level design concepts and low-level clothing attributes in a hierarchical structure.Specifically, we categorized the input text into different levels and fed them in different time step to the diffusion model according to the criteria of professional clothing designers.HieraFashDiff allows designers to add low-level attributes after high-level prompts for interactive editing incrementally.In addition, we design a differentiable loss function in the sampling process with a mask to keep non-edit areas.Comprehensive experiments performed on our newly conducted Hierarchical fashion dataset,demonstrate that our proposed method outperforms other state-of-the-art competitors.


title: Zone-Specific CSI Feedback for Massive MIMO: A Situation-Aware Deep Learning Approach

abstract: Massive MIMO basestations, operating with frequency-division duplexing (FDD), require the users to feedback their channel state information (CSI) in order to design the precoding matrices. Given the powerful capabilities of deep neural networks in learning quantization codebooks, utilizing these networks in compressing the channels and reducing the massive MIMO CSI feedback overhead has recently gained increased interest. Learning one model, however, for the full cell or sector may not be optimal as the channel distribution could change significantly from one \textit{zone} (an area or region) to another. In this letter, we introduce the concept of \textit{zone-specific} CSI feedback. By partitioning the site space into multiple channel zones, the underlying channel distribution can be efficiently leveraged to reduce the CSI feedback. This concept leverages the implicit or explicit user position information to select the right zone-specific model and its parameters. To facilitate the evaluation of associated overhead, we introduce two novel metrics named \textit{model parameters transmission rate} (MPTR) and \textit{model parameters update rate} (MPUR). They jointly provide important insights and guidance for the system design and deployment. Simulation results show that significant gains could be achieved by the proposed framework. For example, using the large-scale Boston downtown scenario of DeepMIMO, the proposed zone-specific CSI feedback approach can on average achieve around 6dB NMSE gain compared to the other solutions, while keeping the same model complexity.


title: The Science Performance of the Gemini High Resolution Optical Spectrograph

abstract: The Gemini High Resolution Optical Spectrograph (GHOST) is a fiber-fed spectrograph system on the Gemini South telescope that provides simultaneous wavelength coverage from 348 - 1061nm, and designed for optimal performance between 363 - 950nm. It can observe up to two objects simultaneously in a 7.5 arcmin diameter field of regard at R = 56,000 or a single object at R = 75,000. The spectral resolution modes are obtained by using integral field units to image slice a 1.2" aperture by a factor of five in width using 19 fibers in the high resolution mode and by a factor of three in width using 7 fibers in the standard resolution mode. GHOST is equipped with hardware to allow for precision radial velocity measurements, expected to approach meters per second precision. Here, we describe the basic design and operational capabilities of GHOST, and proceed to derive and quantify the key aspects of its on-sky performance that are of most relevance to its science users.


title: Model Editing at Scale leads to Gradual and Catastrophic Forgetting

abstract: Editing knowledge in large language models is an attractive capability to have which allows us to correct incorrectly learnt facts during pre-training, as well as update the model with an ever-growing list of new facts. While existing model editing techniques have shown promise, they are usually evaluated using metrics for reliability, specificity and generalization over one or few edits. We argue that for model editing to have practical utility, we must be able to make multiple edits to the same model. With this in mind, we evaluate the current model editing methods at scale, focusing on two state of the art methods: ROME and MEMIT. We find that as the model is edited sequentially with multiple facts, it continually forgets previously edited facts and the ability to perform downstream tasks. This forgetting happens in two phases -- an initial gradual but progressive forgetting phase followed by abrupt or catastrophic forgetting phase. Both gradual and catastrophic forgetting limit the usefulness of model editing methods at scale -- the former making model editing less effective as multiple edits are made to the model while the latter caps the scalability of such model editing methods. Our analysis also highlights other key limitations of ROME and MEMIT at scale. With our work, we push for the development and evaluation of model editing methods keeping scalability in mind.


title: Evolutionary Multi-Objective Diversity Optimization

abstract: Creating diverse sets of high quality solutions has become an important problem in recent years. Previous works on diverse solutions problems consider solutions' objective quality and diversity where one is regarded as the optimization goal and the other as the constraint. In this paper, we treat this problem as a bi-objective optimization problem, which is to obtain a range of quality-diversity trade-offs. To address this problem, we frame the evolutionary process as evolving a population of populations, and present a suitable general implementation scheme that is compatible with existing evolutionary multi-objective search methods. We realize the scheme in NSGA-II and SPEA2, and test the methods on various instances of maximum coverage, maximum cut and minimum vertex cover problems. The resulting non-dominated populations exhibit rich qualitative features, giving insights into the optimization instances and the quality-diversity trade-offs they induce.


title: Stability analysis of a departure time choice problem with atomic vehicle models

abstract: In this study, we analyse the global stability of the equilibrium in a departure time choice problem using a game-theoretic approach that deals with atomic users. We first formulate the departure time choice problem as a strategic game in which atomic users select departure times to minimise their trip cost; we call this game the 'departure time choice game'. The concept of the epsilon-Nash equilibrium is introduced to ensure the existence of pure-strategy equilibrium corresponding to the departure time choice equilibrium in conventional fluid models. Then, we prove that the departure time choice game is a weakly acyclic game. By analysing the convergent better responses, we clarify the mechanisms of global convergence to equilibrium. This means that the epsilon-Nash equilibrium is achieved by sequential better responses of users, which are departure time changes to improve their own utility, in an appropriate order. Specifically, the following behavioural rules are important to ensure global convergence: (i) the adjustment of the departure time of the first user departing from the origin to the corresponding equilibrium departure time and (ii) the fixation of users to their equilibrium departure times in order (starting with the earliest). Using convergence mechanisms, we construct evolutionary dynamics under which global stability is guaranteed. We also investigate the stable and unstable dynamics studied in the literature based on convergence mechanisms, and gain insight into the factors influencing the different stability results. Finally, numerical experiments are conducted to demonstrate the theoretical results.


title: Only Send What You Need: Learning to Communicate Efficiently in Federated Multilingual Machine Translation

abstract: Federated learning (FL) is a promising approach for solving multilingual tasks, potentially enabling clients with their own language-specific data to collaboratively construct a high-quality neural machine translation (NMT) model. However, communication constraints in practical network systems present challenges for exchanging large-scale NMT engines between FL parties. In this paper, we propose a meta-learning-based adaptive parameter selection methodology, MetaSend, that improves the communication efficiency of model transmissions from clients during FL-based multilingual NMT training. Our approach learns a dynamic threshold for filtering parameters prior to transmission without compromising the NMT model quality, based on the tensor deviations of clients between different FL rounds. Through experiments on two NMT datasets with different language distributions, we demonstrate that MetaSend obtains substantial improvements over baselines in translation quality in the presence of a limited communication budget.


title: Concept-Guided Prompt Learning for Generalization in Vision-Language Models

abstract: Contrastive Language-Image Pretraining (CLIP) model has exhibited remarkable efficacy in establishing cross-modal connections between texts and images, yielding impressive performance across a broad spectrum of downstream applications through fine-tuning. However, for generalization tasks, the current fine-tuning methods for CLIP, such as CoOp and CoCoOp, demonstrate relatively low performance on some fine-grained datasets. We recognize the underlying reason is that these previous methods only projected global features into the prompt, neglecting the various visual concepts, such as colors, shapes, and sizes, which are naturally transferable across domains and play a crucial role in generalization tasks. To address this issue, in this work, we propose Concept-Guided Prompt Learning (CPL) for vision-language models. Specifically, we leverage the well-learned knowledge of CLIP to create a visual concept cache to enable concept-guided prompting. In order to refine the text features, we further develop a projector that transforms multi-level visual features into text features. We observe that this concept-guided prompt learning approach is able to achieve enhanced consistency between visual and linguistic modalities. Extensive experimental results demonstrate that our CPL method significantly improves generalization capabilities compared to the current state-of-the-art methods.