title: Flexible Agent-based Modeling Framework to Evaluate Integrated Microtransit and Fixed-route Transit Designs: Mode Choice, Supernetworks, and Fleet Simulation

abstract: The integration of traditional fixed-route transit (FRT) and more flexible microtransit has been touted as a means of improving mobility and access to opportunity, increasing transit ridership, and promoting environmental sustainability. To help evaluate integrated FRT and microtransit public transit (PT) system (henceforth ``integrated fixed-flex PT system'') designs, we propose a high-fidelity modeling framework that provides reliable estimates for a wide range of (i) performance metrics and (ii) integrated fixed-flex PT system designs. We formulate the mode choice equilibrium problem as a fixed-point problem wherein microtransit demand is a function of microtransit performance, and microtransit performance depends on microtransit demand. We propose a detailed agent-based simulation modeling framework that includes (i) a binary logit mode choice model (private auto vs. transit), (ii) a supernetwork-based model and pathfinding algorithm for multi-modal transit path choice where the supernetwork includes pedestrian, FRT, and microtransit layers, (iii) a detailed mobility-on-demand fleet simulator called FleetPy to model the supply-demand dynamics of the microtransit service. In this paper, we illustrate the capabilities of the modeling framework by analyzing integrated fixed-flex PT system designs that vary the following design parameters: FRT frequencies and microtransit fleet size, service region structure, virtual stop coverage, and operating hours. We include case studies in downtown San Diego and Lemon Grove, California. The computational results show that the proposed modeling framework converges to a mode choice equilibrium. Moreover, the scenario results imply that introducing a new microtransit service decreases FRT ridership and requires additional subsidies, but it significantly increases job accessibility and slightly reduces total VMT.


title: Predicting Long-Term Human Behaviors in Discrete Representations via Physics-Guided Diffusion

abstract: Long-term human trajectory prediction is a challenging yet critical task in robotics and autonomous systems. Prior work that studied how to predict accurate short-term human trajectories with only unimodal features often failed in long-term prediction. Reinforcement learning provides a good solution for learning human long-term behaviors but can suffer from challenges in data efficiency and optimization. In this work, we propose a long-term human trajectory forecasting framework that leverages a guided diffusion model to generate diverse long-term human behaviors in a high-level latent action space, obtained via a hierarchical action quantization scheme using a VQ-VAE to discretize continuous trajectories and the available context. The latent actions are predicted by our guided diffusion model, which uses physics-inspired guidance at test time to constrain generated multimodal action distributions. Specifically, we use reachability analysis during the reverse denoising process to guide the diffusion steps toward physically feasible latent actions. We evaluate our framework on two publicly available human trajectory forecasting datasets: SFU-Store-Nav and JRDB, and extensive experimental results show that our framework achieves superior performance in long-term human trajectory forecasting.


title: Enriched Grothendieck topologies under change of base

abstract: In the presence of a monoidal adjunction $F \dashv G : \mathcal{U} \leftrightarrows \mathcal{V}$ between locally finitely presentable B\'enabou cosmoi, we examine the behavior of $\mathcal{V}$-Grothendieck topologies on a $\mathcal{V}$-category $\mathcal{C}$, and that of their constituent covering sieves, under the change of enriching category $G_* : \mathcal{V}\text{-Cat} \to \mathcal{U}\text{-Cat}$ induced by $G$. We prove in particular that when $G$ is faithful and conservative, any $\mathcal{V}$-Grothendieck topology on $\mathcal{C}$ corresponds uniquely to a $\mathcal{U}$-Grothendieck topology on $G_*\mathcal{C}$, and that when $G$ is fully faithful, base change commutes with enriched sheafification in the sense of Borceux-Quinteiro.


title: Causal fermion states in magnetic field in relativistic rotating frame and electromagnetic radiation by rapidly rotating charge

abstract: We consider the Dirac field uniformly rotating with angular velocity $\Omega$ and also subject to the constant magnetic field $B$ directed along the rotation axis. The causal states are constrained to the interior of the light cylinder of radius $c/\Omega$. When this radius is smaller than the system size, as in the quark-gluon plasma, the effect of the boundary on the fermion spectrum is critical. We derive the fermion spectrum and study its properties. We compute the intensity of the electromagnetic radiation emitted due to transitions between the fermion states. We study its dependence on energy and angular momentum for different values of the angular velocity and the magnetic field. Rotation has enormous impact on the electromagnetic radiation by the quark-gluon plasma with or without the magnetic field.


title: Real-Time Dynamic Robot-Assisted Hand-Object Interaction via Motion Primitives

abstract: Advances in artificial intelligence (AI) have been propelling the evolution of human-robot interaction (HRI) technologies. However, significant challenges remain in achieving seamless interactions, particularly in tasks requiring physical contact with humans. These challenges arise from the need for accurate real-time perception of human actions, adaptive control algorithms for robots, and the effective coordination between human and robotic movements. In this paper, we propose an approach to enhancing physical HRI with a focus on dynamic robot-assisted hand-object interaction (HOI). Our methodology integrates hand pose estimation, adaptive robot control, and motion primitives to facilitate human-robot collaboration. Specifically, we employ a transformer-based algorithm to perform real-time 3D modeling of human hands from single RGB images, based on which a motion primitives model (MPM) is designed to translate human hand motions into robotic actions. The robot's action implementation is dynamically fine-tuned using the continuously updated 3D hand models. Experimental validations, including a ring-wearing task, demonstrate the system's effectiveness in adapting to real-time movements and assisting in precise task executions.


title: Contrasting Multiple Representations with the Multi-Marginal Matching Gap

abstract: Learning meaningful representations of complex objects that can be seen through multiple ($k\geq 3$) views or modalities is a core task in machine learning. Existing methods use losses originally intended for paired views, and extend them to $k$ views, either by instantiating $\tfrac12k(k-1)$ loss-pairs, or by using reduced embeddings, following a \textit{one vs. average-of-rest} strategy. We propose the multi-marginal matching gap (M3G), a loss that borrows tools from multi-marginal optimal transport (MM-OT) theory to simultaneously incorporate all $k$ views. Given a batch of $n$ points, each seen as a $k$-tuple of views subsequently transformed into $k$ embeddings, our loss contrasts the cost of matching these $n$ ground-truth $k$-tuples with the MM-OT polymatching cost, which seeks $n$ optimally arranged $k$-tuples chosen within these $n\times k$ vectors. While the exponential complexity $O(n^k$) of the MM-OT problem may seem daunting, we show in experiments that a suitable generalization of the Sinkhorn algorithm for that problem can scale to, e.g., $k=3\sim 6$ views using mini-batches of size $64~\sim128$. Our experiments demonstrate improved performance over multiview extensions of pairwise losses, for both self-supervised and multimodal tasks.


title: Codes with Hierarchical Locality on Artin-Schreier Surfaces

abstract: In this article, we construct codes with hierarchical locality using natural geometric structures in Artin-Schreier surfaces of the form $y^p-y=f(x,z)$. Our main theorem describes the codes, their hierarchical structure and recovery algorithms, and gives parameters. We also develop a family of examples using codes defined over $\mathbb{F}_{p^2}$ on the surface $y^p-y=x^{p+1}z^2+x^2z^{p+1}$. We count the $\mathbb{F}_{p^2}$-rational points on the surface, a topic of more general number theoretic interest, and provide more explicit parameters a better bound on minimum distance for these codes. An additional example and some generalizations are also considered.


title: Preference Learning Algorithms Do Not Learn Preference Rankings

abstract: Preference learning algorithms (e.g., RLHF and DPO) are frequently used to steer LLMs to produce generations that are more preferred by humans, but our understanding of their inner workings is still limited. In this work, we study the conventional wisdom that preference learning trains models to assign higher likelihoods to more preferred outputs than less preferred outputs, measured via $\textit{ranking accuracy}$. Surprisingly, we find that most state-of-the-art preference-tuned models achieve a ranking accuracy of less than 60% on common preference datasets. We furthermore derive the $\textit{idealized ranking accuracy}$ that a preference-tuned LLM would achieve if it optimized the DPO or RLHF objective perfectly. We demonstrate that existing models exhibit a significant $\textit{alignment gap}$ -- $\textit{i.e.}$, a gap between the observed and idealized ranking accuracies. We attribute this discrepancy to the DPO objective, which is empirically and theoretically ill-suited to fix even mild ranking errors in the reference model, and derive a simple and efficient formula for quantifying the difficulty of learning a given preference datapoint. Finally, we demonstrate that ranking accuracy strongly correlates with the empirically popular win rate metric when the model is close to the reference model used in the objective, shedding further light on the differences between on-policy (e.g., RLHF) and off-policy (e.g., DPO) preference learning algorithms.


title: Stochastic thermodynamics of ecosystems

abstract: We investigate the thermodynamics as well as the population dynamics of ecosystems based on a stochastic approach in which the number of individuals of the several species of the ecosystem are treated as stochastic variables. The several species are connected by feeding relationships that are understood as unidirectional processes in which a certain amount of biomass is exchanged between species. We show that the equations for the averages in the numbers of individuals are that given by the deterministic approach. We determine the fluxes of mass, energy, and entropy as well as the rate of the entropy production. This last quantity, which has a central role in the present stochastic approach, is obtained by a formula appropriate for unidirectional transitions. The flux of energy across the ecosystem is shown to be proportional to the flux of entropy to the environment.


title: Generating Einstein$\unicode{x2013}$Podolsky$\unicode{x2013}$Rosen correlations for teleporting collective spin states in a two dimensional trapped ion crystal

abstract: We propose the use of phonon$\unicode{x2013}$mediated interactions as an entanglement resource to engineer Einstein$\unicode{x2013}$Podolsky$\unicode{x2013}$Rosen (EPR) correlations and to perform teleportation of collective spin states in two$\unicode{x2013}$dimensional ion crystals. We emulate continuous variable quantum teleportation protocols between subsystems corresponding to different nuclear spin degrees of freedom. In each of them, a quantum state is encoded in an electronic spin degree of freedom that couples to the vibrational modes of the crystal. We show that high fidelity teleportation of spin-coherent states and their phase-displaced variant, entangled spin-squeezed states, and Dicke states, is possible for realistic experimental conditions in arrays from a few tens to a few hundred ions.


title: Optimal complexity of parameterized quantum circuits

abstract: Parameterized quantum circuits play a key role for the development of quantum variational algorithms in the realm of the NISQ era. Knowing their actual capability of performing different kinds of tasks is then of the utmost importance. By comparing them with a prototypical class of universal random circuits we have found that their approach to the asymptotic complexity defined by the Haar measure is faster, needing less gates to reach it. Topology has been revealed crucial for this. The majorization criterion has proven as a relevant complementary tool to the expressibility and the mean entanglement.


title: CheXpert Plus: Augmenting a Large Chest X-ray Dataset with Text Radiology Reports, Patient Demographics and Additional Image Formats

abstract: Since the release of the original CheXpert paper five years ago, CheXpert has become one of the most widely used and cited clinical AI datasets. The emergence of vision language models has sparked an increase in demands for sharing reports linked to CheXpert images, along with a growing interest among AI fairness researchers in obtaining demographic data. To address this, CheXpert Plus serves as a new collection of radiology data sources, made publicly available to enhance the scaling, performance, robustness, and fairness of models for all subsequent machine learning tasks in the field of radiology. CheXpert Plus is the largest text dataset publicly released in radiology, with a total of 36 million text tokens, including 13 million impression tokens. To the best of our knowledge, it represents the largest text de-identification effort in radiology, with almost 1 million PHI spans anonymized. It is only the second time that a large-scale English paired dataset has been released in radiology, thereby enabling, for the first time, cross-institution training at scale. All reports are paired with high-quality images in DICOM format, along with numerous image and patient metadata covering various clinical and socio-economic groups, as well as many pathology labels and RadGraph annotations. We hope this dataset will boost research for AI models that can further assist radiologists and help improve medical care. Data is available at the following URL: https://stanfordaimi.azurewebsites.net/datasets/5158c524-d3ab-4e02-96e9-6ee9efc110a1 Models are available at the following URL: https://github.com/Stanford-AIMI/chexpert-plus


title: Canonical Correlation Analysis as Reduced Rank Regression in High Dimensions

abstract: Canonical Correlation Analysis (CCA) is a widespread technique for discovering linear relationships between two sets of variables $X \in \mathbb{R}^{n \times p}$ and $Y \in \mathbb{R}^{n \times q}$. In high dimensions however, standard estimates of the canonical directions cease to be consistent without assuming further structure. In this setting, a possible solution consists in leveraging the presumed sparsity of the solution: only a subset of the covariates span the canonical directions. While the last decade has seen a proliferation of sparse CCA methods, practical challenges regarding the scalability and adaptability of these methods still persist. To circumvent these issues, this paper suggests an alternative strategy that uses reduced rank regression to estimate the canonical directions when one of the datasets is high-dimensional while the other remains low-dimensional. By casting the problem of estimating the canonical direction as a regression problem, our estimator is able to leverage the rich statistics literature on high-dimensional regression and is easily adaptable to accommodate a wider range of structural priors. Our proposed solution maintains computational efficiency and accuracy, even in the presence of very high-dimensional data. We validate the benefits of our approach through a series of simulated experiments and further illustrate its practicality by applying it to three real-world datasets.


title: Computing Low-Entropy Couplings for Large-Support Distributions

abstract: Minimum-entropy coupling (MEC) -- the process of finding a joint distribution with minimum entropy for given marginals -- has applications in areas such as causality and steganography. However, existing algorithms are either computationally intractable for large-support distributions or limited to specific distribution types and sensitive to hyperparameter choices. This work addresses these limitations by unifying a prior family of iterative MEC (IMEC) approaches into a generalized partition-based formalism. From this framework, we derive a novel IMEC algorithm called ARIMEC, capable of handling arbitrary discrete distributions, and introduce a method to make IMEC robust to suboptimal hyperparameter settings. These innovations facilitate the application of IMEC to high-throughput steganography with language models, among other settings. Our codebase is available at https://github.com/ssokota/mec .


title: The pivotal set of a Boolean function

abstract: We define the pivotal set of a Boolean function and we prove a fundamental inequality on its expected size, when the inputs are independent random coins of parameter~$p$. We give two complete proofs of this inequality. Along the way, we obtain the classical Margulis--Russo formula. We give a short proof of the classical Hoeffding inequality for i.i.d. Bernoulli random variables, and we use it to derive more complex deviations inequalities associated to the pivotal set. We follow finally Talagrand's footsteps and we discuss a beautiful inequality that he proved in the uniform case.


title: Anatomical Region Recognition and Real-time Bone Tracking Methods by Dynamically Decoding A-Mode Ultrasound Signals

abstract: Accurate bone tracking is crucial for kinematic analysis in orthopedic surgery and prosthetic robotics. Traditional methods (e.g., skin markers) are subject to soft tissue artifacts, and the bone pins used in surgery introduce the risk of additional trauma and infection. For electromyography (EMG), its inability to directly measure joint angles requires complex algorithms for kinematic estimation. To address these issues, A-mode ultrasound-based tracking has been proposed as a non-invasive and safe alternative. However, this approach suffers from limited accuracy in peak detection when processing received ultrasound signals. To build a precise and real-time bone tracking approach, this paper introduces a deep learning-based method for anatomical region recognition and bone tracking using A-mode ultrasound signals, specifically focused on the knee joint. The algorithm is capable of simultaneously performing bone tracking and identifying the anatomical region where the A-mode ultrasound transducer is placed. It contains the fully connection between all encoding and decoding layers of the cascaded U-Nets to focus only on the signal region that is most likely to have the bone peak, thus pinpointing the exact location of the peak and classifying the anatomical region of the signal. The experiment showed a 97% accuracy in the classification of the anatomical regions and a precision of around 0.5$\pm$1mm under dynamic tracking conditions for various anatomical areas surrounding the knee joint. In general, this approach shows great potential beyond the traditional method, in terms of the accuracy achieved and the recognition of the anatomical region where the ultrasound has been attached as an additional functionality.


title: Coloring minimal Cayley graphs

abstract: We show that any minimal Cayley graph of a (finitely generated) generalized dihedral or nilpotent group has chromatic number at most 3, while 4 colors are sometimes necessary for soluble groups. On the other hand we construct graphs of unbounded chromatic number that admit a proper edge coloring such that each cycle has some color at least twice. The latter disproves a conjecture of Babai'78 that would have implied that all minimal Cayley graphs have bounded chromatic number -- a problem that remains open.


title: One-Shot Safety Alignment for Large Language Models via Optimal Dualization

abstract: The growing safety concerns surrounding Large Language Models (LLMs) raise an urgent need to align them with diverse human preferences to simultaneously enhance their helpfulness and safety. A promising approach is to enforce safety constraints through Reinforcement Learning from Human Feedback (RLHF). For such constrained RLHF, common Lagrangian-based primal-dual policy optimization methods are computationally expensive and often unstable. This paper presents a dualization perspective that reduces constrained alignment to an equivalent unconstrained alignment problem. We do so by pre-optimizing a smooth and convex dual function that has a closed form. This shortcut eliminates the need for cumbersome primal-dual policy iterations, thus greatly reducing the computational burden and improving training stability. Our strategy leads to two practical algorithms in model-based and preference-based scenarios (MoCAN and PeCAN, respectively). A broad range of experiments demonstrate the effectiveness of our methods.


title: Two concurrent exponential decays in a vacuum capacitor-resistor circuit: effect of surface charge

abstract: The relaxation in a vacuum capacitor-resistor circuit is comprised of two exponential decays, one caused by surface charge and the other by the decay of energy stored between the capacitor plates. A simple phenomenological model of this relaxation is shown to be supported by measurements even though Maxwell's equations are difficult to apply in this case. Similar behavior is also observed for polypropylene capacitors, indicating that this surface charge effect is applicable to all capacitors and potentially other circuit components.


title: Convex Optimization of Initial Perturbations toward Quantitative Weather Control

abstract: This study proposes introducing convex optimization to find initial perturbations of atmospheric models for realizing specified changes in subsequent forecasts. In the proposed method, we formulate and solve an inverse problem to find effective perturbations in atmospheric variables so that controlled variables satisfy specified changes at a specified time. The proposed method first constructs a sensitivity matrix of controlled variables, such as accumulated precipitation, to the initial atmospheric variables, such as temperature and humidity, through sensitivity analysis using numerical weather prediction (NWP) models. The sensitivity matrix is used to solve the inverse problem as convex optimization, in which a global optimal solution can be found computationally efficiently. The proposed method was validated through a benchmark warm bubble experiment using an NWP model. The experiments showed that identified perturbation successfully realized specified spatial distributions of accumulated precipitation. These results demonstrated the possibility of controlling the real atmosphere by solving inverse problems and adding small perturbations to atmospheric states.


title: CLIPLoss and Norm-Based Data Selection Methods for Multimodal Contrastive Learning

abstract: Data selection has emerged as a core issue for large-scale visual-language model pretaining (e.g., CLIP), particularly with noisy web-curated datasets. Three main data selection approaches are: (1) leveraging external non-CLIP models to aid data selection, (2) training new CLIP-style embedding models that are more effective at selecting high-quality data than the original OpenAI CLIP model, and (3) designing better metrics or strategies universally applicable to any CLIP embedding without requiring specific model properties (e.g., CLIPScore is one popular metric). While the first two approaches have been extensively studied, the third remains under-explored. In this paper, we advance the third approach by proposing two new methods. Firstly, instead of classical CLIP scores that only consider the alignment between two modalities from a single sample, we introduce negCLIPLoss, a CLIP loss-inspired method that adds the alignment between one sample and its contrastive pairs as an extra normalization term for better quality measurement. Secondly, when downstream tasks are known, we propose a new norm-based metric, NormSim, to measure the similarity between pretraining data and target data. We test our methods on the data selection benchmark, DataComp~\cite{gadre2023datacomp}. Compared to the best baseline using only OpenAI's CLIP-L/14, our methods achieve a 5.3\% improvement on ImageNet-1k and a 2.8\% improvement on 38 downstream evaluation tasks. Moreover, both negCLIPLoss and NormSim are compatible with existing techniques. By combining our methods with the current best methods DFN~\cite{fang2023data} and HYPE~\cite{kim2024hype}, we can boost average performance on downstream tasks by 0.9\%, achieving a new state-of-the-art.


title: RLeXplore: Accelerating Research in Intrinsically-Motivated Reinforcement Learning

abstract: Extrinsic rewards can effectively guide reinforcement learning (RL) agents in specific tasks. However, extrinsic rewards frequently fall short in complex environments due to the significant human effort needed for their design and annotation. This limitation underscores the necessity for intrinsic rewards, which offer auxiliary and dense signals and can enable agents to learn in an unsupervised manner. Although various intrinsic reward formulations have been proposed, their implementation and optimization details are insufficiently explored and lack standardization, thereby hindering research progress. To address this gap, we introduce RLeXplore, a unified, highly modularized, and plug-and-play framework offering reliable implementations of eight state-of-the-art intrinsic reward algorithms. Furthermore, we conduct an in-depth study that identifies critical implementation details and establishes well-justified standard practices in intrinsically-motivated RL. The source code for RLeXplore is available at https://github.com/RLE-Foundation/RLeXplore.


title: Topological Laplace Transform and Decomposition of nc-Hodge Structures

abstract: We construct the topological Laplace transform functor from Stokes structures of exponential type to constructible sheaves on $\mathbb C$ with vanishing cohomology. We show that it is compatible with the Fourier transform of $D$-modules, and induces an equivalence of categories. We give two applications of the construction. First, we study the Fourier transform of B-model nc-Hodge structures associated to Landau-Ginzburg models, and prove the compatibility between the $\mathbb Q$-structure and the Stokes structure from the connection. Second, we relate the spectral decomposition of nc-Hodge structures to the vanishing cycle decomposition after Fourier transform via choices of Gabrielov paths. This is motivated by the study of the atomic decomposition of A-model nc-Hodge structures associated to smooth projective varieties.


title: Stress-Testing Capability Elicitation With Password-Locked Models

abstract: To determine the safety of large language models (LLMs), AI developers must be able to assess their dangerous capabilities. But simple prompting strategies often fail to elicit an LLM's full capabilities. One way to elicit capabilities more robustly is to fine-tune the LLM to complete the task. In this paper, we investigate the conditions under which fine-tuning-based elicitation suffices to elicit capabilities. To do this, we introduce password-locked models, LLMs fine-tuned such that some of their capabilities are deliberately hidden. Specifically, these LLMs are trained to exhibit these capabilities only when a password is present in the prompt, and to imitate a much weaker LLM otherwise. Password-locked models enable a novel method of evaluating capabilities elicitation methods, by testing whether these password-locked capabilities can be elicited without using the password. We find that a few high-quality demonstrations are often sufficient to fully elicit password-locked capabilities. More surprisingly, fine-tuning can elicit other capabilities that have been locked using the same password, or even different passwords. Furthermore, when only evaluations, and not demonstrations, are available, approaches like reinforcement learning are still often able to elicit capabilities. Overall, our findings suggest that fine-tuning is an effective method of eliciting hidden capabilities of current models, but may be unreliable when high-quality demonstrations are not available, e.g. as may be the case when models' (hidden) capabilities exceed those of human demonstrators.


title: Tropical Gradient Descent

abstract: We propose a gradient descent method for solving optimisation problems arising in settings of tropical geometry - a variant of algebraic geometry that has become increasingly studied in applications such as computational biology, economics, and computer science. Our approach takes advantage of the polyhedral and combinatorial structures arising in tropical geometry to propose a versatile approach for approximating local minima in tropical statistical optimisation problems - a rapidly growing body of work in recent years. Theoretical results establish global solvability for 1-sample problems and a convergence rate of $O(1/\sqrt{k})$. Numerical experiments demonstrate the method's superior performance over classical descent for tropical optimisation problems which exhibit tropical convexity but not classical convexity. Notably, tropical descent seamlessly integrates into advanced optimisation methods, such as Adam, offering improved overall performance.


title: Point process analysis of geographical diffusion of news in Argentina

abstract: The diffusion of information plays a crucial role in a society, characterizing the diffusion process is challenging because it is highly non-stationary and varies with the media type. To understand the spreading of newspaper news in Argentina, we collected data from more than 27000 articles published in six main provinces during four months. We classified the articles into 20 thematic axes and obtained a set of 120 time series that capture daily newspaper attention on different topics in different provinces. To analyze the data we use a point process approach. For each topic, $n$, and for all pairs of provinces, $i$ and $j$, we use two measures to quantify the synchronicity of the events, $Q_s(i,j)$, which quantifies the number of events that occur almost simultaneously in $i$ and $j$, and $Q_a(i,j)$, which quantifies the direction of news spreading. We also analyze the dataset using well-known measures to detect correlations and dependencies, computed from the raw time series: undirected measures (linear cross-correlation, $CC$, and nonlinear mutual information, $MI$) and directed measures (linear Granger causality, $GC$, and nonlinear Transfer entropy, $TE$). Our analysis unveils how fast the information diffusion process is, as high values of $Q_{s}$, $CC$, and $MI$ reveal pairs of provinces with very similar and almost simultaneous temporal variations of media attention. On the other hand, $GC$ and $TE$ do not perform well in this context because they often return opposite directions of information transfer. We interpret this as due to three main factors: the characteristics of the data, which is highly non-stationary, the characteristics of the information diffusion process, which is very fast and probably acts at a sub-resolution time scale, and the action of large media companies that act as global, external drivers of information dissemination.


title: Convergence Bounds for Sequential Monte Carlo on Multimodal Distributions using Soft Decomposition

abstract: We prove bounds on the variance of a function $f$ under the empirical measure of the samples obtained by the Sequential Monte Carlo (SMC) algorithm, with time complexity depending on local rather than global Markov chain mixing dynamics. SMC is a Markov Chain Monte Carlo (MCMC) method, which starts by drawing $N$ particles from a known distribution, and then, through a sequence of distributions, re-weights and re-samples the particles, at each instance applying a Markov chain for smoothing. In principle, SMC tries to alleviate problems from multi-modality. However, most theoretical guarantees for SMC are obtained by assuming global mixing time bounds, which are only efficient in the uni-modal setting. We show that bounds can be obtained in the truly multi-modal setting, with mixing times that depend only on local MCMC dynamics.


title: Numerical analysis of a 1/2-equation model of turbulence

abstract: The recent 1/2-equation model of turbulence is a simplification of the standard Kolmogorov-Prandtl 1-equation URANS model. Surprisingly, initial numerical tests indicated that the 1/2-equation model produces comparable velocity statistics at reduced cost. It is also a test problem and first step for developing numerical analysis to address a full 1-equation model. This report begins the numerical analysis of the 1/2 equation model. Stability, convergence and error estimates are proven for a semi-discrete and fully discrete approximation. Finally, numerical tests are conducted to validate our convergence theory.


title: Lattices of slowly oscillating functions

abstract: We show that lattice isomorphisms between the lattices of slowly oscillating functions on chain-connected proper metric spaces induce coarsely equivalent homeomorphisms. This result leads to a Banach-Stone-type theorem for these lattices. Furthermore, we provide a representation theorem that characterizes linear lattice isomorphisms among these lattices.


title: Multidimensional hierarchical tests of general relativity with gravitational waves

abstract: Tests of general relativity with gravitational waves typically introduce parameters for putative deviations and combine information from multiple events by characterizing the population distribution of these parameters through a hierarchical model. Although many tests include multiple such parameters, hierarchical tests have so far been unable to accommodate this multidimensionality, instead restricting to separate one-dimensional analyses and discarding information about parameter correlations. In this paper, we extend population tests of general relativity to handle an arbitrary number of dimensions. We demonstrate this framework on the two-dimensional inspiral-merger-ringdown consistency test, and derive new constraints from the latest LIGO-Virgo-KAGRA catalog, GWTC-3. We obtain joint constraints for the two parameters introduced by the classic formulation of this test, revealing their correlation structure both at the individual-event and population levels. We additionally propose a new four-dimensional formulation of the inspiral-merger-ringdown test that we show contains further information. As in past work, we find the GW190814 event to be an outlier; the 4D analysis yields further insights on how the low mass and spin of this event biases the population results. Without (with) this event, we find consistency with general relativity at the 60\% (92\%) credible level in the 2D formulation, and 76\% (80\%) for the 4D formulation. This multi-dimensional framework can be immediately applied to other tests of general relativity in any number of dimensions, including the parametrized post-Einsteinian tests and ringdown tests.


title: Electron radiation in a constant background field simulating a Lorentz-violating vacuum

abstract: The power and the probability of electromagnetic radiation from an electron in a constant background tensor field violating Lorentz invariance are calculated. The case of a background field of the quasielectric type is considered. The angular distribution and the polarization of the radiation are studied. Using present experimental constraints on the background field strength, it is shown that the radiation effect can manifest itself under astrophysical conditions at ultrahigh electron energy.


title: Signatures of AGN feedback modes: A Green Bean Galaxy with 150 kpc jet-induced radio emission

abstract: Jetted Active Galactic Nuclei (AGN) hosting extended photoionized nebulae provide us with a unique view of the timescales associated with AGN activity. Here, we present a new Green Bean galaxy (RGB1) at $z=0.304458\pm0.000007$ with large scale jet-induced radio emission. The Spectral Energy Distributions (SEDs) of the radio components show steep spectral indices ($\alpha=-0.85$ to $-0.92$ for the extended regions, and $\alpha=-1.02$ for the faint radio core), and spectral age modeling of the extended radio emission indicates that the lobes are $>$6 Myrs old. It is unclear whether the jet is active, or remnant with an off-time of 2-3 Myr. Several detached clouds lie around the host galaxy up to 37.8 kpc away from the nucleus, and their ionization profile indicates a decline ($\sim$2 dex) in the AGN ionizing photon production over the past $\sim$0.15 Myr. Furthermore, we measure a blue shift for one of the clouds that is spatially coincident with the path of the radio jet. The cloud is likely illuminated by the photoionizing AGN, and potentially underwent an interaction with the relativistic jet. Our multiwavelength analysis suggests that RGB1 was in a phase of jet production prior to the radiatively efficient accretion phase traced by the detached cloud emission. It is unclear whether RGB1 transitioned into a low-excitation radio galaxy or an inactive galaxy over the past $\sim$0.15 Myr, or whether the extended radio and optical emission trace distinct accretion phases that occurred in succession.


title: Clustering Mixtures of Discrete Distributions: A Note on Mitra's Algorithm

abstract: In this note, we provide a refined analysis of Mitra's algorithm \cite{mitra2008clustering} for classifying general discrete mixture distribution models. Built upon spectral clustering \cite{mcsherry2001spectral}, this algorithm offers compelling conditions for probability distributions. We enhance this analysis by tailoring the model to bipartite stochastic block models, resulting in more refined conditions. Compared to those derived in \cite{mitra2008clustering}, our improved separation conditions are obtained.


title: The smeared-horizon observer of a black hole

abstract: A class of observers is introduced that interpolate smoothly between the Schwarzschild observer, stable at spatial infinity, and the Kerr-Schild observer, who falls into a black hole. For these observers the passing of the event and inner horizon takes a finite time, which diverges logarithmically when the interpolation parameter $\sigma$ goes to zero. In the field theoretic approach to gravitation, the behavior at the horizons becomes regular, making the mass of the metric well defined.


title: Quo Vadis ChatGPT? From Large Language Models to Large Knowledge Models

abstract: The startling success of ChatGPT and other large language models (LLMs) using transformer-based generative neural network architecture in applications such as natural language processing and image synthesis has many researchers excited about potential opportunities in process systems engineering (PSE). The almost human-like performance of LLMs in these areas is indeed very impressive, surprising, and a major breakthrough. Their capabilities are very useful in certain tasks, such as writing first drafts of documents, code writing assistance, text summarization, etc. However, their success is limited in highly scientific domains as they cannot yet reason, plan, or explain due to their lack of in-depth domain knowledge. This is a problem in domains such as chemical engineering as they are governed by fundamental laws of physics and chemistry (and biology), constitutive relations, and highly technical knowledge about materials, processes, and systems. Although purely data-driven machine learning has its immediate uses, the long-term success of AI in scientific and engineering domains would depend on developing hybrid AI systems that use first principles and technical knowledge effectively. We call these hybrid AI systems Large Knowledge Models (LKMs), as they will not be limited to only NLP-based techniques or NLP-like applications. In this paper, we discuss the challenges and opportunities in developing such systems in chemical engineering.


title: Selective Explanations

abstract: Feature attribution methods explain black-box machine learning (ML) models by assigning importance scores to input features. These methods can be computationally expensive for large ML models. To address this challenge, there has been increasing efforts to develop amortized explainers, where a machine learning model is trained to predict feature attribution scores with only one inference. Despite their efficiency, amortized explainers can produce inaccurate predictions and misleading explanations. In this paper, we propose selective explanations, a novel feature attribution method that (i) detects when amortized explainers generate low-quality explanations and (ii) improves these explanations using a technique called explanations with initial guess. Our selective explanation method allows practitioners to specify the fraction of samples that receive explanations with initial guess, offering a principled way to bridge the gap between amortized explainers and their high-quality counterparts.


title: Unlearning Climate Misinformation in Large Language Models

abstract: Misinformation regarding climate change is a key roadblock in addressing one of the most serious threats to humanity. This paper investigates factual accuracy in large language models (LLMs) regarding climate information. Using true/false labeled Q&A data for fine-tuning and evaluating LLMs on climate-related claims, we compare open-source models, assessing their ability to generate truthful responses to climate change questions. We investigate the detectability of models intentionally poisoned with false climate information, finding that such poisoning may not affect the accuracy of a model's responses in other domains. Furthermore, we compare the effectiveness of unlearning algorithms, fine-tuning, and Retrieval-Augmented Generation (RAG) for factually grounding LLMs on climate change topics. Our evaluation reveals that unlearning algorithms can be effective for nuanced conceptual claims, despite previous findings suggesting their inefficacy in privacy contexts. These insights aim to guide the development of more factually reliable LLMs and highlight the need for additional work to secure LLMs against misinformation attacks.


title: Quantum error detection with noise-resilient parity-controlled gate in two-dimensional Rydberg atom arrays

abstract: Quantum error detection relies primarily on precise measurement of qubit parity, a fundamental operation in quantum information processing. Here, we introduce a resilient parity-controlled gate tailored for detecting quantum errors within a 2D Rydberg atom array. Our method enables the discrimination between even and odd parities of virtually excited control atoms by tracking the dynamic evolution of an auxiliary atom. Using spin-exchange dipolar interactions of Rydberg states and single- and two-photon driving between ground states and Rydberg states, our method speeds up Rydberg-parity measurements by a large amount compared to previous methods. In practical application, we explore three-qubit repetition codes, standard surface codes featuring stabilizers in the forms $ZZZZ$ and $XXXX$, as well as rotated surface codes in the $XZZX$ configuration, facilitating the measurement of stabilizers with a single-shot readout. We carry out thorough numerical simulations to evaluate the feasibility of our strategy, considering potential experimental imperfections such as undesired interactions between Rydberg states, fluctuations in atomic positions, dephasing noise, and laser amplitude inhomogeneities. Particular emphasis is placed on ensuring the reliability and advantages of the physical mechanisms of the parity meter. These results affirm the robustness and viability of our protocol, positioning it as a promising candidate for quantum error detection employing the Rydberg atom system in the foreseeable future.


title: Unbending strategies shepherd cooperation and suppress extortion in spatial populations

abstract: Evolutionary game dynamics on networks typically consider the competition among simple strategies such as cooperation and defection in the Prisoner's Dilemma and summarize the effect of population structure as network reciprocity. However, it remains largely unknown regarding the evolutionary dynamics involving multiple powerful strategies typically considered in repeated games, such as the zero-determinant (ZD) strategies that are able to enforce a linear payoff relationship between them and their co-players. Here, we consider the evolutionary dynamics of always cooperate (AllC), extortionate ZD (extortioners), and unbending players in lattice populations based on the commonly used death-birth updating. Out of the class of unbending strategies, we consider a particular candidate, PSO Gambler, a machine-learning-optimized memory-one strategy, which can foster reciprocal cooperation and fairness among extortionate players. We derive analytical results under weak selection and rare mutations, including pairwise fixation probabilities and long-term frequencies of strategies. In the absence of the third unbending type, extortioners can achieve a half-half split in equilibrium with unconditional cooperators for sufficiently large extortion factors. However, the presence of unbending players fundamentally changes the dynamics and tilts the system to favor unbending cooperation. Most surprisingly, extortioners cannot dominate at all regardless of how large their extortion factor is, and the long-term frequency of unbending players is maintained almost as a constant. Our analytical method is applicable to studying the evolutionary dynamics of multiple strategies in structured populations. Our work provides insights into the interplay between network reciprocity and direct reciprocity, revealing the role of unbending strategies in enforcing fairness and suppressing extortion.


title: Possible Excitonic Insulating Phase in Quantum-Confined Sb Nanoflakes

abstract: In the 1960s, it was proposed that in small indirect band-gap materials, excitons can spontaneously form because the density of carriers is too low to screen the attractive Coulomb interaction between electrons and holes. The result is a novel strongly interacting insulating phase known as an excitonic insulator. Here we employ scanning tunnelling microscopy (STM) and spectroscopy (STS) to show that the enhanced Coulomb interaction in quantum-confined elemental Sb nanoflakes drives the system to the excitonic insulator state. The unique feature of the excitonic insulator, a charge density wave (CDW) without periodic lattice distortion, is directly observed. Furthermore, STS shows a gap induced by the CDW near the Fermi surface. Our observations suggest that the Sb(110) nanoflake is an excitonic insulator.


title: Dr-LLaVA: Visual Instruction Tuning with Symbolic Clinical Grounding

abstract: Vision-Language Models (VLM) can support clinicians by analyzing medical images and engaging in natural language interactions to assist in diagnostic and treatment tasks. However, VLMs often exhibit "hallucinogenic" behavior, generating textual outputs not grounded in contextual multimodal information. This challenge is particularly pronounced in the medical domain, where we do not only require VLM outputs to be accurate in single interactions but also to be consistent with clinical reasoning and diagnostic pathways throughout multi-turn conversations. For this purpose, we propose a new alignment algorithm that uses symbolic representations of clinical reasoning to ground VLMs in medical knowledge. These representations are utilized to (i) generate GPT-4-guided visual instruction tuning data at scale, simulating clinician-VLM conversations with demonstrations of clinical reasoning, and (ii) create an automatic reward function that evaluates the clinical validity of VLM generations throughout clinician-VLM interactions. Our algorithm eliminates the need for human involvement in training data generation or reward model construction, reducing costs compared to standard reinforcement learning with human feedback (RLHF). We apply our alignment algorithm to develop Dr-LLaVA, a conversational VLM finetuned for analyzing bone marrow pathology slides, demonstrating strong performance in multi-turn medical conversations.


title: Organizing Background to Explore Latent Classes for Incremental Few-shot Semantic Segmentation

abstract: The goal of incremental Few-shot Semantic Segmentation (iFSS) is to extend pre-trained segmentation models to new classes via few annotated images without access to old training data. During incrementally learning novel classes, the data distribution of old classes will be destroyed, leading to catastrophic forgetting. Meanwhile, the novel classes have only few samples, making models impossible to learn the satisfying representations of novel classes. For the iFSS problem, we propose a network called OINet, i.e., the background embedding space \textbf{O}rganization and prototype \textbf{I}nherit Network. Specifically, when training base classes, OINet uses multiple classification heads for the background and sets multiple sub-class prototypes to reserve embedding space for the latent novel classes. During incrementally learning novel classes, we propose a strategy to select the sub-class prototypes that best match the current learning novel classes and make the novel classes inherit the selected prototypes' embedding space. This operation allows the novel classes to be registered in the embedding space using few samples without affecting the distribution of the base classes. Results on Pascal-VOC and COCO show that OINet achieves a new state of the art.


title: Improved Convex Decomposition with Ensembling and Boolean Primitives

abstract: Describing a scene in terms of primitives -- geometrically simple shapes that offer a parsimonious but accurate abstraction of structure -- is an established vision problem. This is a good model of a difficult fitting problem: different scenes require different numbers of primitives and primitives interact strongly, but any proposed solution can be evaluated at inference time. The state of the art method involves a learned regression procedure to predict a start point consisting of a fixed number of primitives, followed by a descent method to refine the geometry and remove redundant primitives. Methods are evaluated by accuracy in depth and normal prediction and in scene segmentation. This paper shows that very significant improvements in accuracy can be obtained by (a) incorporating a small number of negative primitives and (b) ensembling over a number of different regression procedures. Ensembling is by refining each predicted start point, then choosing the best by fitting loss. Extensive experiments on a standard dataset confirm that negative primitives are useful in a large fraction of images, and that our refine-then-choose strategy outperforms choose-then-refine, confirming that the fitting problem is very difficult.


title: Distributed Online Planning for Min-Max Problems in Networked Markov Games

abstract: Min-max problems are important in multi-agent sequential decision-making because they improve the performance of the worst-performing agent in the network. However, solving the multi-agent min-max problem is challenging. We propose a modular, distributed, online planning-based algorithm that is able to approximate the solution of the min-max objective in networked Markov games, assuming that the agents communicate within a network topology and the transition and reward functions are neighborhood-dependent. This set-up is encountered in the multi-robot setting. Our method consists of two phases at every planning step. In the first phase, each agent obtains sample returns based on its local reward function, by performing online planning. Using the samples from online planning, each agent constructs a concave approximation of its underlying local return as a function of only the action of its neighborhood at the next planning step. In the second phase, the agents deploy a distributed optimization framework that converges to the optimal immediate next action for each agent, based on the function approximations of the first phase. We demonstrate our algorithm's performance through formation control simulations.


title: Spectral flow and Levinson's theorem for Schr\"o dinger operators

abstract: We use spectral flow to present a new proof of Levinson's theorem for Schr\"{o}dinger operators on $\mathbb{R}^n$ with smooth compactly supported potential. Our proof is valid in all dimensions and in the presence of resonances. The statement is expressed in terms of the spectral shift function and the ``high energy corrected time delay'' following Guillop\'{e} and others.


title: Blind Image Restoration via Fast Diffusion Inversion

abstract: Recently, various methods have been proposed to solve Image Restoration (IR) tasks using a pre-trained diffusion model leading to state-of-the-art performance. However, most of these methods assume that the degradation operator in the IR task is completely known. Furthermore, a common characteristic among these approaches is that they alter the diffusion sampling process in order to satisfy the consistency with the degraded input image. This choice has recently been shown to be sub-optimal and to cause the restored image to deviate from the data manifold. To address these issues, we propose Blind Image Restoration via fast Diffusion inversion (BIRD) a blind IR method that jointly optimizes for the degradation model parameters and the restored image. To ensure that the restored images lie onto the data manifold, we propose a novel sampling technique on a pre-trained diffusion model. A key idea in our method is not to modify the reverse sampling, i.e., not to alter all the intermediate latents, once an initial noise is sampled. This is ultimately equivalent to casting the IR task as an optimization problem in the space of the input noise. Moreover, to mitigate the computational cost associated with inverting a fully unrolled diffusion model, we leverage the inherent capability of these models to skip ahead in the forward diffusion process using large time steps. We experimentally validate BIRD on several image restoration tasks and show that it achieves state of the art performance on all of them. Our code is available at https://github.com/hamadichihaoui/BIRD.


title: Performance of large-scale 6Li-doped pulse-shape discriminating plastic scintillators

abstract: A $^6$Li-doped plastic scintillator with pulse-shape discrimination capabilities, commercially identified as EJ-299-50, has been developed and produced at the kilogram-scale. A total of 44 kg-scale bars of dimensions 5.5 cm $\times$ 5.5 cm $\times$ 50 cm of this material have been characterized. Optical properties like light output and effective attenuation length have been found to be comparable to $^6$Li-doped liquid scintillators. The scintillator EJ-299-50 shows good neutron detection capabilities with an effective efficiency for capture on $^6$Li of approximately 85%. Stability tests performed on two formulation variations showed no intrinsic degradation in the material or optical properties during several months of observations.


title: On Kinematic Measurements of Self-Gravity in Protoplanetary Disks

abstract: Using controlled injection and recovery experiments, we devised an analysis prescription to assess the quality of dynamical measurements of protoplanetary disk gas masses based on resolved (CO) spectral line data, given observational limitations (resolution, sampling, noise), measurement bias, and ambiguities in the geometry and physical conditions. With sufficient data quality, this approach performed well for massive disks ($M_{\rm d}/M_\ast=0.1$): we inferred $M_{\rm d}$ posteriors that recovered the true values with little bias ($\lesssim$ 20%) and uncertainties within a factor of two (2$\sigma$). The gas surface density profiles for such cases are recovered with remarkable fidelity. Some experimentation indicates that this approach becomes insensitive when $M_{\rm d}/M_\ast\lesssim5$%, due primarily to degeneracies in the surface density profile parameters. Including multiple lines that probe different vertical layers, along with some improvements in the associated tools, might push that practical boundary down by another factor of $\sim$two in ideal scenarios. We also demonstrated this analysis approach using archival ALMA observations of the MWC 480 disk (\"Oberg et al. 2021): we measured $M_{\rm d}=0.13^{\: +0.04}_{\: -0.01} \: M_\odot$ (corresponding to $M_{\rm d}/M_\ast=7\pm1$%) and identified kinematic substructures consistent with surface density gaps around 65 and 135 au. Overall, this (and similar work) suggests that these dynamical measurements offer powerful new constraints with sufficient accuracy and precision to quantify gas masses and surface densities at the high end of the $M_{\rm d}/M_\ast$ distribution, and therefore can serve as key benchmarks for detailed thermo-chemical modeling. We address some prospects for improvements, and discuss various caveats and limitations to guide future work.


title: A Deep Convolutional Neural Network-based Model for Aspect and Polarity Classification in Hausa Movie Reviews

abstract: Aspect-based Sentiment Analysis (ABSA) is crucial for understanding sentiment nuances in text, especially across diverse languages and cultures. This paper introduces a novel Deep Convolutional Neural Network (CNN)-based model tailored for aspect and polarity classification in Hausa movie reviews, an underrepresented language in sentiment analysis research. A comprehensive Hausa ABSA dataset is created, filling a significant gap in resource availability. The dataset, preprocessed using sci-kit-learn for TF-IDF transformation, includes manually annotated aspect-level feature ontology words and sentiment polarity assignments. The proposed model combines CNNs with attention mechanisms for aspect-word prediction, leveraging contextual information and sentiment polarities. With 91% accuracy on aspect term extraction and 92% on sentiment polarity classification, the model outperforms traditional machine models, offering insights into specific aspects and sentiments. This study advances ABSA research, particularly in underrepresented languages, with implications for cross-cultural linguistic research.


title: Transforming Information Systems Management: A Reference Model for Digital Engineering Integration

abstract: Digital engineering practices offer significant yet underutilized potential for improving information assurance and system lifecycle management. This paper examines how capabilities like model-based engineering, digital threads, and integrated product lifecycles can address gaps in prevailing frameworks. A reference model demonstrates applying digital engineering techniques to a reference information system, exhibiting enhanced traceability, risk visibility, accuracy, and integration. The model links strategic needs to requirements and architecture while reusing authoritative elements across views. Analysis of the model shows digital engineering closes gaps in compliance, monitoring, change management, and risk assessment. Findings indicate purposeful digital engineering adoption could transform cybersecurity, operations, service delivery, and system governance through comprehensive digital system representations. This research provides a foundation for maturing application of digital engineering for information systems as organizations modernize infrastructure and pursue digital transformation.


title: Non-equilibrium Quantum Monte Carlo Algorithm for Stabilizer R\'enyi Entropy in Spin Systems

abstract: Quantum magic, or nonstabilizerness, provides a crucial characterization of quantum systems, regarding the classical simulability with stabilizer states. In this work, we propose a novel and efficient algorithm for computing stabilizer R\'enyi entropy, one of the measures for quantum magic, in spin systems with sign-problem free Hamiltonians. This algorithm is based on the quantum Monte Carlo simulation of the path integral of the work between two partition function ensembles and it applies to all spatial dimensions and temperatures. We demonstrate this algorithm on the one and two dimensional transverse field Ising model at both finite and zero temperatures and show the quantitative agreements with tensor-network based algorithms. Furthermore, we analyze the computational cost and provide both analytical and numerical evidences for it to be polynomial in system size.


title: The Accuracy of Domain Specific and Descriptive Analysis Generated by Large Language Models

abstract: Large language models (LLMs) have attracted considerable attention as they are capable of showcasing impressive capabilities generating comparable high-quality responses to human inputs. LLMs, can not only compose textual scripts such as emails and essays but also executable programming code. Contrary, the automated reasoning capability of these LLMs in performing statistically-driven descriptive analysis, particularly on user-specific data and as personal assistants to users with limited background knowledge in an application domain who would like to carry out basic, as well as advanced statistical and domain-specific analysis is not yet fully explored. More importantly, the performance of these LLMs has not been compared and discussed in detail when domain-specific data analysis tasks are needed. This study, consequently, explores whether LLMs can be used as generative AI-based personal assistants to users with minimal background knowledge in an application domain infer key data insights. To demonstrate the performance of the LLMs, the study reports a case study through which descriptive statistical analysis, as well as Natural Language Processing (NLP) based investigations, are performed on a number of phishing emails with the objective of comparing the accuracy of the results generated by LLMs to the ones produced by analysts. The experimental results show that LangChain and the Generative Pre-trained Transformer (GPT-4) excel in numerical reasoning tasks i.e., temporal statistical analysis, achieve competitive correlation with human judgments on feature engineering tasks while struggle to some extent on domain specific knowledge reasoning, where domain-specific knowledge is required.


title: Duality between Y-convexity and $Y^{\times}$-concavity of linear operators between Banach lattices

abstract: In this paper we study the Y-convexity, a property which is obtained by considering a real Banach sequence lattice Y instead of $\ell^p$ for a linear operator $T : E \rightarrow X$, where E is a Banach space and X is a Banach lattice. We introduce some vector sequence spaces in order to characterize the Y-convexity of T by means of the continuity of an associated operator $\overline{T}$. Analogous results for Y-concavity are also obtained. Finally, the duality between Y-convexity and $Y^{\times}$-concavity is proven.


title: Facilitating Mixed-Methods Analysis with Computational Notebooks

abstract: Data exploration is an important aspect of the workflow of mixed-methods researchers, who conduct both qualitative and quantitative analysis. However, there currently exists few tools that adequately support both types of analysis simultaneously, forcing researchers to context-switch between different tools and increasing their mental burden when integrating the results. To address this gap, we propose a unified environment that facilitates mixed-methods analysis in a computational notebook-based settings. We conduct a scenario study with three HCI mixed-methods researchers to gather feedback on our design concept and to understand our users' needs and requirements.


title: Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases

abstract: Human-Oriented Binary Reverse Engineering (HOBRE) lies at the intersection of binary and source code, aiming to lift binary code to human-readable content relevant to source code, thereby bridging the binary-source semantic gap. Recent advancements in uni-modal code model pre-training, particularly in generative Source Code Foundation Models (SCFMs) and binary understanding models, have laid the groundwork for transfer learning applicable to HOBRE. However, existing approaches for HOBRE rely heavily on uni-modal models like SCFMs for supervised fine-tuning or general LLMs for prompting, resulting in sub-optimal performance. Inspired by recent progress in large multi-modal models, we propose that it is possible to harness the strengths of uni-modal code models from both sides to bridge the semantic gap effectively. In this paper, we introduce a novel probe-and-recover framework that incorporates a binary-source encoder-decoder model and black-box LLMs for binary analysis. Our approach leverages the pre-trained knowledge within SCFMs to synthesize relevant, symbol-rich code fragments as context. This additional context enables black-box LLMs to enhance recovery accuracy. We demonstrate significant improvements in zero-shot binary summarization and binary function name recovery, with a 10.3% relative gain in CHRF and a 16.7% relative gain in a GPT4-based metric for summarization, as well as a 6.7% and 7.4% absolute increase in token-level precision and recall for name recovery, respectively. These results highlight the effectiveness of our approach in automating and improving binary code analysis.


title: Evaluation of Resonances via AAA Rational Approximation of Randomly Scalarized Boundary Integral Resolvents

abstract: This paper presents a novel algorithm, based on use of rational approximants of randomly scalarized boundary integral resolvents, for the evaluation of acoustic and electromagnetic resonances in open and closed cavities; for simplicity we restrict treatment to cavities in two-dimensional space. The desired open cavity resonances (also known as ``eigenvalues'' for interior problems, and ``scattering poles'' for exterior and open problems) are obtained as the poles of associated rational approximants; both the approximants and their poles are obtained by means of the recently introduced AAA rational-approximation algorithm. In fact, the proposed resonance-search method applies to any nonlinear eigenvalue problem (NEP) associated with a given function $F: U \to \mathbb{C}^{n\times n}$, wherein a complex value $k$ is sought for which $F_kw = 0$ for some nonzero $w\in \mathbb{C}^n$. For the cavity problems considered in this paper, $F_k$ is taken as a spectrally discretized version of a Green function-based boundary integral operator at spatial frequency $k$. In all cases, the scalarized resolvent is given by an expression of the form $u^* F_k^{-1} v$, where $u,v \in \mathbb{C}^n$ are fixed random vectors. A variety of numerical results are presented for both scattering resonances and other NEPs, demonstrating the accuracy of the method even for high frequency states.


title: Existence, Uniqueness and Asymptotic Dynamics of Nonlinear Schr\"odinger Equations With Quasi-Periodic Initial Data: I. The Standard NLS

abstract: This is the first part of a two-paper series studying nonlinear Schr\"odinger equations with quasi-periodic initial data. In this paper, we consider the standard nonlinear Schr\"odinger equation. Under the assumption that the Fourier coefficients of the initial data obey a power-law upper bound, we establish local existence of a solution that retains quasi-periodicity in space with a slightly weaker Fourier decay. Moreover, the solution is shown to be unique within this class of quasi-periodic functions. In addition, for the nonlinear Schr\"odinger equation with small nonlinearity, within the time scale, as the small parameter of nonlinearity tends to zero, we prove that the nonlinear solution converges asymptotically to the linear solution with respect to both the sup-norm $\|\cdot\|_{L_x^\infty(\mathbb R)}$ and the Sobolev-norm $\|\cdot\|_{H^s_x(\mathbb R)}$. The proof proceeds via a consideration of an associated infinite system of coupled ordinary differential equations for the Fourier coefficients and a combinatorial analysis of the resulting tree expansion of the coefficients. For this purpose, we introduce a Feynman diagram for the Picard iteration and $\ast^{[\cdot]}$ to denote the complex conjugate label.


title: 14-m aperture deployable off-axis far-IR space telescope design for SALTUS observatory

abstract: The Single Aperture Large Telescope for Universe Studies (SALTUS) is a deployable space telescope designed to provide the astrophysics community with an extremely large far-infrared (far-IR) space observatory to explore our cosmic origins. The SALTUS observatory can observe thousands of faint astrophysical targets, including the first galaxies, protoplanetary disks in various evolutionary states, and a wide variety of solar system objects. The SALTUS design architecture utilizes radiatively cooled, 14-m diameter unobscured aperture, and cryogenic instruments to enable both high spectral and spatial resolution at unprecedented sensitivity over a wavelength range largely unavailable to any existing ground or space observatories. The unique SALTUS optical design, utilizing a large inflatable off-axis primary mirror, provides superb sensitivity, angular resolution, and imaging performance at far-IR wavelengths over a wide +/-0.02 x 0.02 degree Field of View. SALTUS design, with its highly compact form factor, allows it to be readily stowed in available launch fairings and subsequently deployed in orbit.


title: The High Line: Exact Risk and Learning Rate Curves of Stochastic Adaptive Learning Rate Algorithms

abstract: We develop a framework for analyzing the training and learning rate dynamics on a large class of high-dimensional optimization problems, which we call the high line, trained using one-pass stochastic gradient descent (SGD) with adaptive learning rates. We give exact expressions for the risk and learning rate curves in terms of a deterministic solution to a system of ODEs. We then investigate in detail two adaptive learning rates -- an idealized exact line search and AdaGrad-Norm -- on the least squares problem. When the data covariance matrix has strictly positive eigenvalues, this idealized exact line search strategy can exhibit arbitrarily slower convergence when compared to the optimal fixed learning rate with SGD. Moreover we exactly characterize the limiting learning rate (as time goes to infinity) for line search in the setting where the data covariance has only two distinct eigenvalues. For noiseless targets, we further demonstrate that the AdaGrad-Norm learning rate converges to a deterministic constant inversely proportional to the average eigenvalue of the data covariance matrix, and identify a phase transition when the covariance density of eigenvalues follows a power law distribution.


title: SAM-E: Leveraging Visual Foundation Model with Sequence Imitation for Embodied Manipulation

abstract: Acquiring a multi-task imitation policy in 3D manipulation poses challenges in terms of scene understanding and action prediction. Current methods employ both 3D representation and multi-view 2D representation to predict the poses of the robot's end-effector. However, they still require a considerable amount of high-quality robot trajectories, and suffer from limited generalization in unseen tasks and inefficient execution in long-horizon reasoning. In this paper, we propose SAM-E, a novel architecture for robot manipulation by leveraging a vision-foundation model for generalizable scene understanding and sequence imitation for long-term action reasoning. Specifically, we adopt Segment Anything (SAM) pre-trained on a huge number of images and promptable masks as the foundation model for extracting task-relevant features, and employ parameter-efficient fine-tuning on robot data for a better understanding of embodied scenarios. To address long-horizon reasoning, we develop a novel multi-channel heatmap that enables the prediction of the action sequence in a single pass, notably enhancing execution efficiency. Experimental results from various instruction-following tasks demonstrate that SAM-E achieves superior performance with higher execution efficiency compared to the baselines, and also significantly improves generalization in few-shot adaptation to new tasks.


title: Bounding the softwired parsimony score of a phylogenetic network

abstract: In comparison to phylogenetic trees, phylogenetic networks are more suitable to represent complex evolutionary histories of species whose past includes reticulation such as hybridisation or lateral gene transfer. However, the reconstruction of phylogenetic networks remains challenging and computationally expensive due to their intricate structural properties. For example, the small parsimony problem that is solvable in polynomial time for phylogenetic trees, becomes NP-hard on phylogenetic networks under softwired and parental parsimony, even for a single binary character and structurally constrained networks. To calculate the parsimony score of a phylogenetic network $N$, these two parsimony notions consider different exponential-size sets of phylogenetic trees that can be extracted from $N$ and infer the minimum parsimony score over all trees in the set. In this paper, we ask: What is the maximum difference between the parsimony score of any phylogenetic tree that is contained in the set of considered trees and a phylogenetic tree whose parsimony score equates to the parsimony score of $N$? Given a gap-free sequence alignment of multi-state characters and a rooted binary level-$k$ phylogenetic network, we use the novel concept of an informative blob to show that this difference is bounded by $k+1$ times the softwired parsimony score of $N$. In particular, the difference is independent of the alignment length and the number of character states. We show that an analogous bound can be obtained for the softwired parsimony score of semi-directed networks, while under parental parsimony on the other hand, such a bound does not hold.


title: The uncertainty of quantum states with respect to the projective measurement

abstract: The uncertainty relation is a distinctive characteristic of quantum theory. The uncertainty is essentially rooted in quantum states. In this work we regard the uncertainty as an intrinsic property of quantum state and characterize it systematically with respect to given projective measurement. Some basic concepts about uncertainty are reformulated in this context. We prove and get the form of the uncertainty preserving operations. The quantum states with maximal uncertainty are characterized. A universal decomposition of uncertainty into classical uncertainty and quantum uncertainty is provided. Furthermore, a unified and general relation among uncertainty, coherence and coherence of assistance is established. These results are independent of any explicit uncertainty measure. At last, we propose a new uncertainty measure called the geometric uncertainty based on the fidelity and link it with the geometric coherence.


title: Knights are 24/13 times faster than the king

abstract: On an infinite chess board, how much faster can the knight reach a square when compared to the king, in average? More generally, for coprime $b>a \in \mathbb{Z}_{\geq 1}$ such that $a+b$ is odd, define the $(a,b)$-knight and the king as \[ \mathrm{N}_{a,b}= \{(a,b), (b,a), (-a,b), (-b,a), (-b,-a), (-a,-b), (a,-b), (b, -a)\}, \] \[ \mathrm{K}=\{(1,0), (1,1), (0,1), (-1,1), (-1,0), (-1,-1), (0,-1), (1,-1)\} \subseteq \mathbb{Z}^2, \] respectively. One way to formulate this question is by asking for the average ratio, for $\mathbf{p}\in \mathbb{Z}^2$ in a box, between $\min\{h\in \mathbb{Z}_{\geq 1} ~|~ \mathbf{p}\in h\mathrm{N}\}$ and $\min\{h\in \mathbb{Z}_{\geq 1} ~|~ \mathbf{p}\in h\mathrm{K}\}$, where $hA = \{\mathbf{a}_1+\cdots+\mathbf{a}_h ~|~ \mathbf{a}_1,\ldots, \mathbf{a}_h \in A\}$ is the $h$-fold sumset of $A$. We show that this ratio equals $2(a+b)b^2/(a^2+3b^2)$.


title: Weights Augmentation: it has never ever ever ever let her model down

abstract: Weight play an essential role in deep learning network models. Unlike network structure design, this article proposes the concept of weight augmentation, focusing on weight exploration. The core of Weight Augmentation Strategy (WAS) is to adopt random transformed weight coefficients training and transformed coefficients, named Shadow Weight(SW), for networks that can be used to calculate loss function to affect parameter updates. However, stochastic gradient descent is applied to Plain Weight(PW), which is referred to as the original weight of the network before the random transformation. During training, numerous SW collectively form high-dimensional space, while PW is directly learned from the distribution of SW instead of the data. The weight of the accuracy-oriented mode(AOM) relies on PW, which guarantees the network is highly robust and accurate. The desire-oriented mode(DOM) weight uses SW, which is determined by the network model's unique functions based on WAT's performance desires, such as lower computational complexity, lower sensitivity to particular data, etc. The dual mode be switched at anytime if needed. WAT extends the augmentation technique from data augmentation to weight, and it is easy to understand and implement, but it can improve almost all networks amazingly. Our experimental results show that convolutional neural networks, such as VGG-16, ResNet-18, ResNet-34, GoogleNet, MobilementV2, and Efficientment-Lite, can benefit much at little or no cost. The accuracy of models is on the CIFAR100 and CIFAR10 datasets, which can be evaluated to increase by 7.32\% and 9.28\%, respectively, with the highest values being 13.42\% and 18.93\%, respectively. In addition, DOM can reduce floating point operations (FLOPs) by up to 36.33\%. The code is available at https://github.com/zlearh/Weight-Augmentation-Technology.


title: Acoustic and Electromagnetic Co-Modeling of Piezoelectric Devices at Millimeter Wave

abstract: This work reports the procedure for modeling piezoelectric acoustic resonators and filters at millimeter wave (mmWave). Different from conventional methods for lower frequency piezoelectric devices, we include both acoustic and electromagnetic (EM) effects, e.g., self-inductance, in both the circuit-level fitting and finite element analysis, toward higher accuracy at higher frequencies. To validate the method, thin-film lithium niobate (LiNbO3) first-order antisymmetric (A1) mode devices are used as the testbed, achieving great agreement for both the standalone resonators and a fifth-order ladder filter. Upon further development, the reported acoustic and EM co-modeling could guide the future design of compact piezoelectric devices at mmWave and beyond.


title: Why Larger Language Models Do In-context Learning Differently?

abstract: Large language models (LLM) have emerged as a powerful tool for AI, with the key ability of in-context learning (ICL), where they can perform well on unseen tasks based on a brief series of task examples without necessitating any adjustments to the model parameters. One recent interesting mysterious observation is that models of different scales may have different ICL behaviors: larger models tend to be more sensitive to noise in the test context. This work studies this observation theoretically aiming to improve the understanding of LLM and ICL. We analyze two stylized settings: (1) linear regression with one-layer single-head linear transformers and (2) parity classification with two-layer multiple attention heads transformers (non-linear data and non-linear model). In both settings, we give closed-form optimal solutions and find that smaller models emphasize important hidden features while larger ones cover more hidden features; thus, smaller models are more robust to noise while larger ones are more easily distracted, leading to different ICL behaviors. This sheds light on where transformers pay attention to and how that affects ICL. Preliminary experimental results on large base and chat models provide positive support for our analysis.


title: On sequences arising from randomizing subtraction games

abstract: In this article, we study the behavior of a broad family of real sequences derived from randomized one-pile subtraction games. For any subtraction set $S$, we allow any valid number of chips $s\in S$ to be removed at equal probability at any given position and we study the sequences $(a_n^S)_{n\in\mathbb{N}}$ representing the probability of winning the game from a position with $n$ chips. We characterize these sequences in terms of linear recurrence relations and examine their behavior as $n\rightarrow\infty$ for all finite $S$. We fully solve the cases for subtraction sets of fewer than 3 elements and partially complete the general case for arbitrary $S$.


title: Factorized Approximation to the IMSRG(3)

abstract: We describe an approximation to the in-medium similarity renormalization group (IMSRG) method in which we include the effects of intermediate three-body operators arising within nested commutators. As an initial step, we present the relevant equations for two nested commutators, all of which can be factorized so that the method scales like the standard IMSRG(2) approximation, enabling large-scale calculations. We test the accuracy of this approximation scheme, and apply it to the isotopic chains of carbon, sulfur and nickel isotopic chains. We obtain an improved description of spectroscopy, and a reduced dependence on the choice of the valence space. In addition, we provide an explanation of the relative importance of the diagram topologies included, with an eye toward assessing the impact of remaining omitted terms.


title: The RSNA Abdominal Traumatic Injury CT (RATIC) Dataset

abstract: The RSNA Abdominal Traumatic Injury CT (RATIC) dataset is the largest publicly available collection of adult abdominal CT studies annotated for traumatic injuries. This dataset includes 4,274 studies from 23 institutions across 14 countries. The dataset is freely available for non-commercial use via Kaggle at https://www.kaggle.com/competitions/rsna-2023-abdominal-trauma-detection. Created for the RSNA 2023 Abdominal Trauma Detection competition, the dataset encourages the development of advanced machine learning models for detecting abdominal injuries on CT scans. The dataset encompasses detection and classification of traumatic injuries across multiple organs, including the liver, spleen, kidneys, bowel, and mesentery. Annotations were created by expert radiologists from the American Society of Emergency Radiology (ASER) and Society of Abdominal Radiology (SAR). The dataset is annotated at multiple levels, including the presence of injuries in three solid organs with injury grading, image-level annotations for active extravasations and bowel injury, and voxelwise segmentations of each of the potentially injured organs. With the release of this dataset, we hope to facilitate research and development in machine learning and abdominal trauma that can lead to improved patient care and outcomes.


title: The weight hierarchies of three classes of linear codes

abstract: Studying the generalized Hamming weights of linear codes is a significant research area within coding theory, as it provides valuable structural information about the codes and plays a crucial role in determining their performance in various applications. However, determining the generalized Hamming weights of linear codes, particularly their weight hierarchy, is generally a challenging task. In this paper, we focus on investigating the generalized Hamming weights of three classes of linear codes over finite fields. These codes are constructed by different defining sets. By analysing the intersections between the definition sets and the duals of all $r$-dimensional subspaces, we get the inequalities on the sizes of these intersections. Then constructing subspaces that reach the upper bounds of these inequalities, we successfully determine the complete weight hierarchies of these codes.


title: SVFT: Parameter-Efficient Fine-Tuning with Singular Vectors

abstract: Popular parameter-efficient fine-tuning (PEFT) methods, such as LoRA and its variants, freeze pre-trained model weights \(W\) and inject learnable matrices \(\Delta W\). These \(\Delta W\) matrices are structured for efficient parameterization, often using techniques like low-rank approximations or scaling vectors. However, these methods typically show a performance gap compared to full fine-tuning. Although recent PEFT methods have narrowed this gap, they do so at the cost of additional learnable parameters. We propose SVFT, a simple approach that fundamentally differs from existing methods: the structure imposed on \(\Delta W\) depends on the specific weight matrix \(W\). Specifically, SVFT updates \(W\) as a sparse combination of outer products of its singular vectors, training only the coefficients (scales) of these sparse combinations. This approach allows fine-grained control over expressivity through the number of coefficients. Extensive experiments on language and vision benchmarks show that SVFT recovers up to 96% of full fine-tuning performance while training only 0.006 to 0.25% of parameters, outperforming existing methods that only recover up to 85% performance using 0.03 to 0.8% of the trainable parameter budget.


title: Evaluating the Effectiveness and Robustness of Visual Similarity-based Phishing Detection Models

abstract: Phishing attacks pose a significant threat to Internet users, with cybercriminals elaborately replicating the visual appearance of legitimate websites to deceive victims. Visual similarity-based detection systems have emerged as an effective countermeasure, but their effectiveness and robustness in real-world scenarios have been unexplored. In this paper, we comprehensively scrutinize and evaluate state-of-the-art visual similarity-based anti-phishing models using a large-scale dataset of 450K real-world phishing websites. Our analysis reveals that while certain models maintain high accuracy, others exhibit notably lower performance than results on curated datasets, highlighting the importance of real-world evaluation. In addition, we observe the real-world tactic of manipulating visual components that phishing attackers employ to circumvent the detection systems. To assess the resilience of existing models against adversarial attacks and robustness, we apply visible and perturbation-based manipulations to website logos, which adversaries typically target. We then evaluate the models' robustness in handling these adversarial samples. Our findings reveal vulnerabilities in several models, emphasizing the need for more robust visual similarity techniques capable of withstanding sophisticated evasion attempts. We provide actionable insights for enhancing the security of phishing defense systems, encouraging proactive actions. To the best of our knowledge, this work represents the first large-scale, systematic evaluation of visual similarity-based models for phishing detection in real-world settings, necessitating the development of more effective and robust defenses.


title: Hybrid Quantum Algorithm for Simulating Real-Time Thermal Correlation Functions

abstract: We present a hybrid Path Integral Monte Carlo (hPIMC) algorithm to calculate real-time quantum thermal correlation functions and demonstrate its application to open quantum systems. The hPIMC algorithm leverages the successes of classical PIMC as a computational tool for high-dimensional system studies by exactly simulating dissipation using the Feynman-Vernon influence functional on a classical computer. We achieve a quantum speed-up over the classical algorithm by computing short-time matrix elements of the quantum propagator on a quantum computer. We show that the component of imaginary-time evolution can be performed accurately using the recently developed Probabilistic Imaginary-Time Evolution (PITE) algorithm, and we introduce a novel low-depth circuit for approximate real-time evolution under the kinetic energy operator using a Discrete Variable Representation (DVR). We test the accuracy of the approximation by computing the position-position thermal correlation function of a proton transfer reaction.


title: Do spectral cues matter in contrast-based graph self-supervised learning?

abstract: The recent surge in contrast-based graph self-supervised learning has prominently featured an intensified exploration of spectral cues. However, an intriguing paradox emerges, as methods grounded in seemingly conflicting assumptions or heuristic approaches regarding the spectral domain demonstrate notable enhancements in learning performance. This paradox prompts a critical inquiry into the genuine contribution of spectral information to contrast-based graph self-supervised learning. This study undertakes an extensive investigation into this inquiry, conducting a thorough study of the relationship between spectral characteristics and the learning outcomes of contemporary methodologies. Based on this analysis, we claim that the effectiveness and significance of spectral information need to be questioned. Instead, we revisit simple edge perturbation: random edge dropping designed for node-level self-supervised learning and random edge adding intended for graph-level self-supervised learning. Compelling evidence is presented that these simple yet effective strategies consistently yield superior performance while demanding significantly fewer computational resources compared to all prior spectral augmentation methods. The proposed insights represent a significant leap forward in the field, potentially reshaping the understanding and implementation of graph self-supervised learning.


title: On the Serre conjecture for Artin characters in the geometric case

abstract: Let $G$ be a finite group and $A$ be a regular local ring on which $G$ acts. Under certain assumptions on $A$ and the action, Serre defined a function $a_G\colon G\rightarrow\mathbb{Z}$ which can be viewed as a higher dimensional analogue of Artin character, and conjectured that it is associated to a $\mathbb{Q}_\ell$-rational representation of $G$ for any prime $\ell$ invertible in $A$. We prove this conjecture in the equal characteristic case.


title: Rogue wave patterns associated with Adler--Moser polynomials featuring multiple roots in the nonlinear Schr\"odinger equation

abstract: In this work, we analyze the asymptotic behaviors of high-order rogue wave solutions with multiple large parameters and discover novel rogue wave patterns, including claw-like, OTR-type, TTR-type, semi-modified TTR-type, and their modified patterns. A correlation is established between these rogue wave patterns and the root structures of the Adler--Moser polynomials with multiple roots. At the positions in the $(x,t)$-plane corresponding to single roots of the Adler--Moser polynomials, these high-order rogue wave patterns asymptotically approach first-order rogue waves. At the positions in the $(x,t)$-plane corresponding to multiple roots of the Adler--Moser polynomials, these rogue wave patterns asymptotically tend toward lower-order fundamental rogue waves, dispersed first-order rogue waves, or mixed structures of these rogue waves. These structures are related to the root structures of special Adler--Moser polynomials with new free parameters, such as the Yablonskii--Vorob'ev polynomial hierarchy, among others. Notably, the positions of the fundamental lower-order rogue waves or mixed structures in these rogue wave patterns can be controlled freely under specific conditions.


title: Morse and Lusternik-Schnirelmann for graphs

abstract: Both Morse theory and Lusternik-Schnirelmann theory link algebra, topology and analysis in a geometric setting. The two theories can be formulated in finite geometries like graph theory or within finite abstract simplicial complexes. We work here mostly in graph theory and review the Morse inequalities b(k)-b(k-1) + ... + b(0) less of equal than c(k)-c(k-1) + ... + c(0) for the Betti numbers b(k) and the minimal number c(k) of Morse critical points of index k and the Lusternik-Schnirelmann inequalities cup+1 less or equal than cat less or equal than cri, between the algebraic cup length cup, the topological category cat and the analytic number cri counting the minimal number of critical points of a function.


title: LBT SHARK-VIS Observes a Major Resurfacing Event on Io

abstract: Since volcanic activity was first discovered on Io from Voyager images in 1979, changes on Io's surface have been monitored from both spacecraft and ground-based telescopes. Here, we present the highest spatial resolution images of Io ever obtained from a ground-based telescope. These images, acquired by the SHARK-VIS instrument on the Large Binocular Telescope, show evidence of a major resurfacing event on Io's trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images show that a plume deposit from a powerful eruption at Pillan Patera has covered part of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io's surface using adaptive optics at visible wavelengths.


title: Primitive Pythagorean triples and neutrino mixing

abstract: The primitive Pythagorean triples are the three natural numbers $(a, b, c)$ that satisfy $c^2=a^2+b^2$ in a right triangle. We constructed a neutrino mixing models related to primitive Pythagorean triples that satisfy the observed values within the $3 \sigma$ region for the reactor, solar, and atmospheric neutrino mixing angles, as well as the Dirac CP phase.


title: Relation Modeling and Distillation for Learning with Noisy Labels

abstract: Learning with noisy labels has become an effective strategy for enhancing the robustness of models, which enables models to better tolerate inaccurate data. Existing methods either focus on optimizing the loss function to mitigate the interference from noise, or design procedures to detect potential noise and correct errors. However, their effectiveness is often compromised in representation learning due to the dilemma where models overfit to noisy labels. To address this issue, this paper proposes a relation modeling and distillation framework that models inter-sample relationships via self-supervised learning and employs knowledge distillation to enhance understanding of latent associations, which mitigate the impact of noisy labels. Specifically, the proposed method, termed RMDNet, includes two main modules, where the relation modeling (RM) module implements the contrastive learning technique to learn representations of all data, an unsupervised approach that effectively eliminates the interference of noisy tags on feature extraction. The relation-guided representation learning (RGRL) module utilizes inter-sample relation learned from the RM module to calibrate the representation distribution for noisy samples, which is capable of improving the generalization of the model in the inference phase. Notably, the proposed RMDNet is a plug-and-play framework that can integrate multiple methods to its advantage. Extensive experiments were conducted on two datasets, including performance comparison, ablation study, in-depth analysis and case study. The results show that RMDNet can learn discriminative representations for noisy data, which results in superior performance than the existing methods.


title: Generic transverse stability of kink structures in atomic and optical nonlinear media with competing attractive and repulsive interactions

abstract: We demonstrate the existence and stability of one-dimensional (1D) topological kink configurations immersed in higher-dimensional bosonic gases and nonlinear optical setups. Our analysis pertains, in particular, to the two- and three-dimensional extended Gross-Pitaevskii models with quantum fluctuations describing droplet-bearing environments but also to the two-dimensional cubic-quintic nonlinear Schr\"odinger equation containing higher-order corrections to the nonlinear refractive index. Contrary to the generic dark soliton transverse instability, the kink structures are generically robust under the interplay of low-amplitude attractive and high-amplitude repulsive interactions. A quasi-1D effective potential picture dictates the existence of these defects, while their stability is obtained through linearization analysis and direct dynamics in the presence of external fluctuations showcasing their unprecedented resilience. These generic (across different models) findings should be detectable in current cold atom and optics experiments. They also offer insights towards controlling topological excitations and their usage in topological quantum computers.


title: Estimating the Accuracy of the Variational Energy: Zeeman Effect in Hydrogen Atom

abstract: For a hydrogen atom subjected to a constant magnetic field, we report the first numerical realization of the two-dimensional Non-Linearization Procedure (NLP) to estimate the accuracy of the variational energy associated with a trial function. Relevant equations of the NLP, which resemble those describing a dielectric medium with a space-dependent permittivity, are solved numerically with high accuracy using an orthogonal collocation method. As an illustration, we consider the trial function proposed in del Valle et al., Phys. Rev. A 103, (2021) 032820, and establish the accuracy of the variational energy and the local accuracy of the trial function for a strength of the magnetic field $\gamma=1$ a.u. Additionally, we investigate the accuracy of the cusp parameter and quadrupole moment calculated by means of the trial function.