Search

Recent advancements in vision-language models (VLMs) offer potential for robot task planning, but challenges remain due to VLMs' tendency to generate incorrect action sequences. To address these limitations, we propose VeriGraph, a novel framework that integrates VLMs for robotic planning while verifying action feasibility. VeriGraph employs scene graphs as an intermediate representation, capturing key objects and spatial relationships to improve plan verification and refinement. The system generates a scene graph from input images and uses it to iteratively check and correct action sequences generated by an LLM-based task planner, ensuring constraints are respected and actions are executable. Our approach significantly enhances task completion rates across diverse manipulation scenarios, outperforming baseline methods by 58% for language-based tasks and 30% for image-based tasks.

We show that ultrafast optical pump pulses provide effective control over charge orders in the kagome metals $A$V$_3$Sb$_5$ with $A=$ K, Rb, and Cs. Starting from the real charge density waves (rCDWs) at the $p$-type Van Hove singularity, we conduct a thorough analysis of the post-pump dynamics by time-dependent Hartree-Fock theory. Our analysis uncovers distinct dynamical phenomena under linearly and circularly polarized pumps. Linearly polarized pumps induce directional preferences in the rCDWs, accompanied by an enhancement in the flat band. Unexpectedly, charge nematicity also emerges and receives maximal enhancement at a resonant pump frequency, which we understand with a Rabi-oscillation-like model. On the other hand, circularly polarized pumps suppress the rCDWs uniformly and triggers imaginary CDWs (iCDWs) with charge loop currents. Our results can be directly compared to the pump-probe experiments on the kagome metals $A$V$_3$Sb$_5$., Comment: 7+19 pages, 6+7 figures

In many condensed matter systems, long range order emerges at low temperatures as thermal fluctuations subside. In the presence of competing interactions or quenched disorder, however, some systems can show unusual configurations that become more disordered at low temperature, a rare phenomenon known as "inverse melting". Here, we discover an inverse melting of the polar order in a ferroelectric oxide with quenched chemical disorder (BaTi1-xZrxO3) through direct atomic-scale visualization using in situ scanning transmission electron microscopy. In contrast to the clean BaTiO3 parent system in which long range order tracks lower temperatures, we observe in the doped system BaTi1-xZrxO3 that thermally driven fluctuations at high temperature give way to a more ordered state and then to a re-entrant disordered configuration at even lower temperature. Such an inverse melting of the polar order is likely linked to the random field generated by Zr dopants, which modulates the energy landscape arising from the competition between thermal fluctuations and random field pinning potential. These visualizations highlight a rich landscape of order and disorder in materials with quenched disorder, which may be key to understanding their advanced functionalities.

Shared autonomous electric vehicles can provide on-demand transportation for passengers while also interacting extensively with the electric distribution system. This interaction is especially beneficial after a disaster when the large battery capacity of the fleet can be used to restore critical electric loads. We develop a dispatch policy that balances the need to continue serving passengers (especially critical workers) and the ability to transfer energy across the network. The model predictive control policy tracks both passenger and energy flows and provides maximum passenger throughput if any policy can. The resulting mixed integer linear programming problem is difficult to solve for large-scale problems, so a distributed solution approach is developed to improve scalability, privacy, and resilience. We demonstrate that the proposed heuristic, based on the alternating direction method of multipliers, is effective in achieving near-optimal solutions quickly. The dispatch policy is examined in simulation to demonstrate the ability of vehicles to balance these competing objectives with benefits to both systems. Finally, we compare several dispatch behaviors, demonstrating the importance of including operational constraints and objectives from both the transportation and electric systems in the model.

The paper is concerned with a scalar conservation law with discontinuous gradient-dependent flux. Namely, the flux is described by two different functions $f(u)$ or $g(u)$, when the gradient $u_x$ of the solution is positive or negative, respectively. We study here the stable case where $f(u)

Existing open-source multimodal large language models (MLLMs) generally follow a training process involving pre-training and supervised fine-tuning. However, these models suffer from distribution shifts, which limit their multimodal reasoning, particularly in the Chain-of-Thought (CoT) performance. To address this, we introduce a preference optimization (PO) process to enhance the multimodal reasoning capabilities of MLLMs. Specifically, (1) on the data side, we design an automated preference data construction pipeline to create MMPR, a high-quality, large-scale multimodal reasoning preference dataset. and (2) on the model side, we explore integrating PO with MLLMs, developing a simple yet effective method, termed Mixed Preference Optimization (MPO), which boosts multimodal CoT performance. Our approach demonstrates improved performance across multiple benchmarks, particularly in multimodal reasoning tasks. Notably, our model, InternVL2-8B-MPO, achieves an accuracy of 67.0 on MathVista, outperforming InternVL2-8B by 8.7 points and achieving performance comparable to the 10x larger InternVL2-76B. We hope this study could inspire further advancements in MLLMs. Code, data, and model shall be publicly released.

Large language models have demonstrated substantial advancements in reasoning capabilities, particularly through inference-time scaling, as illustrated by models such as OpenAI's o1. However, current Vision-Language Models (VLMs) often struggle to perform systematic and structured reasoning, especially when handling complex visual question-answering tasks. In this work, we introduce LLaVA-o1, a novel VLM designed to conduct autonomous multistage reasoning. Unlike chain-of-thought prompting, LLaVA-o1 independently engages in sequential stages of summarization, visual interpretation, logical reasoning, and conclusion generation. This structured approach enables LLaVA-o1 to achieve marked improvements in precision on reasoning-intensive tasks. To accomplish this, we compile the LLaVA-o1-100k dataset, integrating samples from various visual question answering sources and providing structured reasoning annotations. Besides, we propose an inference-time stage-level beam search method, which enables effective inference-time scaling. Remarkably, with only 100k training samples and a simple yet effective inference time scaling method, LLaVA-o1 not only outperforms its base model by 8.9% on a wide range of multimodal reasoning benchmarks, but also surpasses the performance of larger and even closed-source models, such as Gemini-1.5-pro, GPT-4o-mini, and Llama-3.2-90B-Vision-Instruct., Comment: 11 pages, 5 figures

Single-photon emission from a two-level system offers promising perspectives for the development of quantum technologies, where multiphotons are generally regarded as accidental, undesired and should be suppressed. In quantum mechanics, however, multiphoton emission can turn out to be even more fundamental and interesting than the single-photon emission, since in a coherently driven system, the multiphoton suppression arises from quantum interferences between virtual multiphoton fluctuations and the mean field in a Poisson superposition of all number states. Here, we demonstrate how one can control the multiphoton dynamics of a two-level system by disrupting these quantum interferences through a precise and independent homodyne control of the mean field. We show that, counterintuitively, quantum fluctuations always play a major qualitative role, even and in fact especially, when their quantitative contribution is vanishing as compared to that of the mean field. Our findings provide new insights into the paradoxical character of quantum mechanics and open pathways for mean-field engineering as a tool for precision multiphoton control.

$L^p$-polarity and $L^p$-Mahler volumes were recently introduced by Berndtsson, Rubinstein, and the author as a new approach, inspired by complex geometry, to the Mahler, Bourgain, and Blocki conjectures. This paper serves two purposes. First, it introduces functional analogues of these notions and establishes functional versions of key theorems previously formulated in the setting of convex bodies. This involves introducing the $L^p$-Legendre transform and analyzing the associated Santal\'o points and the dimensional asymptotics of the Mahler volumes of conjectured extremizers. Second, the paper investigates the connection between the $L^p$-Legendre transform and the recent work of Nakamura--Tsuji on the Fokker--Planck heat flow. As a byproduct, a functional $L^p$-Santal\'o inequality is established. The proof is based on deriving the evolution equations for the $L^p$-Legendre transform and Mahler integral under the Fokker--Planck heat flow. A second approach, using the geometric method of Artstein--Klartag--Milman is also presented, for which the necessary asymptotics are derived in the $L^1$-case.

Training deep neural networks--and more recently, large models--demands efficient and scalable optimizers. Adaptive gradient algorithms like Adam, AdamW, and their variants have been central to this task. Despite the development of numerous variance reduction algorithms in the past decade aimed at accelerating stochastic optimization in both convex and nonconvex settings, variance reduction has not found widespread success in training deep neural networks or large language models. Consequently, it has remained a less favored approach in modern AI. In this paper, to unleash the power of variance reduction for efficient training of large models, we propose a unified optimization framework, MARS (Make vAriance Reduction Shine), which reconciles preconditioned gradient methods with variance reduction via a scaled stochastic recursive momentum technique. Within our framework, we introduce three instances of MARS that leverage preconditioned gradient updates based on AdamW, Lion, and Shampoo, respectively. We also draw a connection between our algorithms and existing optimizers. Experimental results on training GPT-2 models indicate that MARS consistently outperforms AdamW by a large margin., Comment: 23 pages, 7 figures, 6 tables

The nitrogen vacancy centre in diamond is a versatile color center widely used for magnetometry, quantum computing, and quantum communications. In this article, we develop a new magnetometer using an ensemble of nitrogen vacancy centers and the Faraday effect. The sensitivity of our magnetometer is $300~nT/ \sqrt{Hz}$. We argue that by using an optical cavity and a high purity diamond, sensitivities in the femtotesla level can be achieved., Comment: 5 pages, 4 figures

Similar to algorithms, which consume time and memory to run, hardware requires resources to function. For devices processing physical waves, implementing operations needs sufficient "space," as dictated by wave physics. How much space is needed to perform a certain function is a fundamental question in optics, with recent research addressing it for given mathematical operations, but not for more general computing tasks, e.g., classification. Inspired by computational complexity theory, we study the "spatial complexity" of optical computing systems in terms of scaling laws - specifically, how their physical dimensions must scale as the dimension of the mathematical operation increases - and propose a new paradigm for designing optical computing systems: space-efficient neuromorphic optics, based on structural sparsity constraints and neural pruning methods motivated by wave physics (notably, the concept of "overlapping nonlocality"). On two mainstream platforms, free-space optics and on-chip integrated photonics, our methods demonstrate substantial size reductions (to 1%-10% the size of conventional designs) with minimal compromise on performance. Our theoretical and computational results reveal a trend of diminishing returns on accuracy as structure dimensions increase, providing a new perspective for interpreting and approaching the ultimate limits of optical computing - a balanced trade-off between device size and accuracy.

Multimodal Large Language Models (MLLMs) are known to hallucinate, which limits their practical applications. Recent works have attempted to apply Direct Preference Optimization (DPO) to enhance the performance of MLLMs, but have shown inconsistent improvements in mitigating hallucinations. To address this issue more effectively, we introduce Hallucination-targeted Direct Preference Optimization (HDPO) to reduce hallucinations in MLLMs. Unlike previous approaches, our method tackles hallucinations from their diverse forms and causes. Specifically, we develop three types of preference pair data targeting the following causes of MLLM hallucinations: (1) insufficient visual capabilities, (2) long context generation, and (3) multimodal conflicts. Experimental results demonstrate that our method achieves superior performance across multiple hallucination evaluation datasets, surpassing most state-of-the-art (SOTA) methods and highlighting the potential of our approach. Ablation studies and in-depth analyses further confirm the effectiveness of our method and suggest the potential for further improvements through scaling up.

In this paper, we consider the classic fair division problem of allocating $m$ divisible items to $n$ agents with linear valuations over the items. We define novel notions of fair shares from the perspective of individual agents via the cake-cutting process. These shares generalize the notion of proportionality by taking into account the valuations of other agents via constraints capturing envy. We study what fraction (approximation) of these shares are achievable in the worst case, and present tight and non-trivial approximation bounds as a function of $n$ and $m$. In particular, we show a tight approximation bound of $\Theta(\sqrt{n})$ for various notions of such shares. We show this bound via a novel application of dual fitting, which may be of independent interest. We also present a bound of $O(m^{2/3})$ for a strict notion of share, with an almost matching lower bound. We further develop weaker notions of shares whose approximation bounds interpolate smoothly between proportionality and the shares described above. We finally present empirical results showing that our definitions lead to more reasonable shares than the standard fair share notion of proportionality.

There exists recent work in computer vision, named VAR, that proposes a new autoregressive paradigm for image generation. Diverging from the vanilla next-token prediction, VAR structurally reformulates the image generation into a coarse to fine next-scale prediction. In this paper, we show that this scale-wise autoregressive framework can be effectively decoupled into \textit{intra-scale modeling}, which captures local spatial dependencies within each scale, and \textit{inter-scale modeling}, which models cross-scale relationships progressively from coarse-to-fine scales. This decoupling structure allows to rebuild VAR in a more computationally efficient manner. Specifically, for intra-scale modeling -- crucial for generating high-fidelity images -- we retain the original bidirectional self-attention design to ensure comprehensive modeling; for inter-scale modeling, which semantically connects different scales but is computationally intensive, we apply linear-complexity mechanisms like Mamba to substantially reduce computational overhead. We term this new framework M-VAR. Extensive experiments demonstrate that our method outperforms existing models in both image quality and generation speed. For example, our 1.5B model, with fewer parameters and faster inference speed, outperforms the largest VAR-d30-2B. Moreover, our largest model M-VAR-d32 impressively registers 1.78 FID on ImageNet 256$\times$256 and outperforms the prior-art autoregressive models LlamaGen/VAR by 0.4/0.19 and popular diffusion models LDM/DiT by 1.82/0.49, respectively. Code is avaiable at \url{https://github.com/OliverRensu/MVAR}.

In this paper, we consider hard-wall AdS/QCD models extended by a string-theory inspired Chern-Simons action in terms of a superconnection involving a bi-fundamental scalar field which corresponds to the open-string tachyon of brane-antibrane configurations and which is naturally identified with the holographic dual of the quark condensate in chiral symmetry breaking. This realizes both the axial and chiral anomalies of QCD with a Witten-Veneziano mechanism for the $\eta'$ mass in addition to current quark masses, but somewhat differently than in the Katz-Schwartz AdS/QCD model used previously by us to evaluate pseudoscalar and axial vector transition form factors and their contribution to the HLBL piece of the muon $g-2$. Compared to the Katz-Schwartz model, we obtain a significantly more realistic description of axial-vector mesons with regard to $f_1$-$f_1'$ mixing and equivalent photon rates. Moreover, predictions of the $f_1\to e^+e^-$ branching ratios are found to be in line with a recent phenomenological study. However, pseudoscalar transition form factors compare less well with experiment; in particular the $\pi^0$ transition form factor turns out to be overestimated at moderate non-zero virtuality. For the combined HLBL contribution to the muon $g-2$ from the towers of axial vector mesons and excited pseudoscalars we obtain, however, a result very close to that of the Katz-Schwartz model., Comment: 16 pages, REVTEX, 4 figures, 5 tables

Millimeter-wave refracting telescopes targeting the degree-scale structure of the cosmic microwave background (CMB) have recently grown to diffraction-limited apertures of over 0.5 meters. These instruments are entirely housed in vacuum cryostats to support their sub-kelvin bolometric detectors and to minimize radiative loading from thermal emission due to absorption loss in their transmissive optical elements. The large vacuum window is the only optical element in the system at ambient temperature, and therefore minimizing loss in the window is crucial for maximizing detector sensitivity. This motivates the use of low-loss polymer materials and a window as thin as practicable. However, the window must simultaneously meet the requirement to keep sufficient vacuum, and therefore must limit gas permeation and remain mechanically robust against catastrophic failure under pressure. We report on the development of extremely thin composite polyethylene window technology that meets these goals. Two windows have been deployed for two full observing seasons on the BICEP3 and BA150 CMB telescopes at the South Pole. On BICEP3, the window has demonstrated a 6% improvement in detector sensitivity., Comment: 20 pages, 12 figures, 4 tables

Simulating large, strongly interacting fermionic systems remains a major challenge for existing numerical methods. In this work, we present, for the first time, the application of neural quantum states - specifically, hidden fermion determinant states (HFDS) - to simulate the strongly interacting limit of the Fermi-Hubbard model, namely the $t-J$ model, across the entire doping regime. We demonstrate that HFDS achieve energies competitive with matrix product states (MPS) on lattices as large as $6 \times 10$ sites while using several orders of magnitude fewer parameters, suggesting the potential for efficient application to even larger system sizes. This remarkable efficiency enables us to probe low-energy physics across the full doping range, providing new insights into the competition between kinetic and magnetic interactions and the nature of emergent quasiparticles. Starting from the low-doping regime, where magnetic polarons dominate the low energy physics, we track their evolution with increasing doping through analyses of spin and polaron correlation functions. Our findings demonstrate the potential of determinant-based neural quantum states with inherent fermionic sign structure, opening the way for simulating large-scale fermionic systems at any particle filling.

Data-driven modeling for dynamic systems has gained widespread attention in recent years. Its inverse formulation, parameter estimation, aims to infer the inherent model parameters from observations. However, parameter degeneracy, where different combinations of parameters yield the same observable output, poses a critical barrier to accurately and uniquely identifying model parameters. In the context of WECC composite load model (CLM) in power systems, utility practitioners have observed that CLM parameters carefully selected for one fault event may not perform satisfactorily in another fault. Here, we innovate a joint conditional diffusion model-based inverse problem solver (JCDI), that incorporates a joint conditioning architecture with simultaneous inputs of multi-event observations to improve parameter generalizability. Simulation studies on the WECC CLM show that the proposed JCDI effectively reduces uncertainties of degenerate parameters, thus the parameter estimation error is decreased by 42.1% compared to a single-event learning scheme. This enables the model to achieve high accuracy in predicting power trajectories under different fault events, including electronic load tripping and motor stalling, outperforming standard deep reinforcement learning and supervised learning approaches. We anticipate this work will contribute to mitigating parameter degeneracy in system dynamics, providing a general parameter estimation framework across various scientific domains.

SN 2023adsy, a Type Ia supernova discovered by JWST at z = 2.9, was found to be a peculiar event, being extremely red and faint, but showing very similar rest-frame light curve decline rate to the majority of low-redshift SNe Ia. In this paper we show that the red color and faint peak magnitude could be explained by significant reddening/extinction due to dust in the host galaxy. If host galaxy extinction is accounted for, the parameters of the best-fit light curve templates in the SALT3-NIR model are compatible with a slowly declining, but still normal SN Ia. Comparison of the inferred luminosity distance with the prediction of the LambdaCDM cosmology (assuming H0 = 70 km/s/Mpc and OmegaM = 0.315) on the Hubble-diagram suggests no significant evolution of the SN Ia peak luminosity at z > 2 redshifts. It is also shown that the discovery of a single SN Ia between 2 < z < 3 within the area of the JADES survey during 1 year is consistent with the current estimates for the SN Ia rates at such redshifts., Comment: Submitted to ApJ. Comments welcome

In a classification task, counterfactual explanations provide the minimum change needed for an input to be classified into a favorable class. We consider the problem of privately retrieving the exact closest counterfactual from a database of accepted samples while enforcing that certain features of the input sample cannot be changed, i.e., they are \emph{immutable}. An applicant (user) whose feature vector is rejected by a machine learning model wants to retrieve the sample closest to them in the database without altering a private subset of their features, which constitutes the immutable set. While doing this, the user should keep their feature vector, immutable set and the resulting counterfactual index information-theoretically private from the institution. We refer to this as immutable private counterfactual retrieval (I-PCR) problem which generalizes PCR to a more practical setting. In this paper, we propose two I-PCR schemes by leveraging techniques from private information retrieval (PIR) and characterize their communication costs. Further, we quantify the information that the user learns about the database and compare it for the proposed schemes.

Self-organized branching structures can emerge spontaneously as interfacial instabilities in both simple and complex fluids, driven by the interplay between bulk material rheology, boundary constraints, and interfacial forcing. In our experiments, injecting dye between a source and a sink in a Hele-Shaw cell filled with a yield-stress fluid reveals an abrupt transition in morphologies as a function of injection rate. Slow injection leads to a direct path connecting the source to the sink, while fast injection leads to a rapid branching morphology that eventually converges to the sink. This shift from an exploitative (direct) to an exploratory (branched) strategy resembles search strategies in living systems; however, here it emerges in a simple physical system from a combination of global constraints (fluid conservation) and a switch-like local material response. We show that the amount of fluid needed to achieve breakthrough is minimal at the transition, and that there is a trade-off between speed and accuracy in these arborization patterns. Altogether, our study provides an embodied paradigm for fluidic computation driven by a combination of local material response (body) and global boundary conditions (environment)., Comment: 6 pages, 4 figures

We construct a large collection of "quantum projective spaces", in the form of Koszul, Calabi-Yau algebras with the Hilbert series of a polynomial ring. We do so by starting with the toric ones (the q-symmetric algebras), and then deforming their relations using a diagrammatic calculus, proving unobstructedness of such deformations under suitable nondegeneracy conditions. We then prove that these algebras are identified with the canonical quantizations of corresponding families of quadratic Poisson structures, in the sense of Kontsevich. In this way, we obtain the first broad class of quadratic Poisson structures for which his quantization can be computed explicitly, and shown to converge, as he conjectured in 2001., Comment: 29 pages, 5 figures

Speech segmentation at both word and phoneme levels is crucial for various speech processing tasks. It significantly aids in extracting meaningful units from an utterance, thus enabling the generation of discrete elements. In this work we propose a model-agnostic framework to perform word boundary detection in a supervised manner also employing a labels augmentation technique and an output-frame selection strategy. We trained and tested on the Buckeye dataset and only tested on TIMIT one, using state-of-the-art encoder models, including pre-trained solutions (Wav2Vec 2.0 and HuBERT), as well as convolutional and convolutional recurrent networks. Our method, with the HuBERT encoder, surpasses the performance of other state-of-the-art architectures, whether trained in supervised or self-supervised settings on the same datasets. Specifically, we achieved F-values of 0.8427 on the Buckeye dataset and 0.7436 on the TIMIT dataset, along with R-values of 0.8489 and 0.7807, respectively. These results establish a new state-of-the-art for both datasets. Beyond the immediate task, our approach offers a robust and efficient preprocessing method for future research in audio tokenization.

H5N1 highly pathogenic avian influenza (HPAI) has been recently circulating in previously unseen patterns. As the underlying causes are uncertain, we need a better understanding of the drivers of virus circulation, as they underpin the spread, and inform about the impact of HPAI. We combine infection and bird population data, using Random Forest models to quantify the relationship between spatially aggregated values of possible infection risk factors and viral phylogenetic data from HPAI outbreaks to define scales of interactions that influence virus circulation. As genetic proximity is correlated to transmission proximity, the genetic relationships of sequences and relevant variables indicate the scale and resolution of interactions driving transmission. We used H5N1 Sequences from Great Britain divided into two periods: Dec 2020-May 2022, and Jun-Oct 2022. Final model with selected spatial scales shows that for the first period game bird abundance and geographical distance were the strongest predictors of genetic distance, and for the second period, these were geographical distance, collection date and farm count. Variables related to infections have different spatial scales for analysed periods, while variables describing the environment have more consistent scales. The differences in predictors for the periods bears further investigation, however may be related to differences in the virus, areas of spread, or seasonal factors. This is the first phylogenetic study indicating possible role for game birds in the circulation of HPAI and supports experimental studies but must be viewed with caution as our study does not indicate direct causation. We show that the scale of spatial aggregation is variable dependent and reflects the scale of underlying processes. In the future our findings may be used to study dynamics of HPAI and design targeted surveillance and intervention strategies.

Large Language Models (LLMs) have shown impressive capabilities in complex tasks and interactive environments, yet their creativity remains underexplored. This paper introduces a simulation framework utilizing the game Balderdash to evaluate both the creativity and logical reasoning of LLMs. In Balderdash, players generate fictitious definitions for obscure terms to deceive others while identifying correct definitions. Our framework enables multiple LLM agents to participate in this game, assessing their ability to produce plausible definitions and strategize based on game rules and history. We implemented a centralized game engine featuring various LLMs as participants and a judge LLM to evaluate semantic equivalence. Through a series of experiments, we analyzed the performance of different LLMs, examining metrics such as True Definition Ratio, Deception Ratio, and Correct Guess Ratio. The results provide insights into the creative and deceptive capabilities of LLMs, highlighting their strengths and areas for improvement. Specifically, the study reveals that infrequent vocabulary in LLMs' input leads to poor reasoning on game rules and historical context (https://github.com/ParsaHejabi/Simulation-Framework-for-Multi-Agent-Balderdash)., Comment: Accepted at Wordplay: When Language Meets Games @ ACL 2024

SCN2A encodes the alpha subunit of the voltage-gated sodium channel Nav1.2, which is involved in action potential initiation and backpropagation in glutamatergic neurons. Mutations in the gene lead to SCN2A-related disorders, which are highly heterogeneous and manifest in a variety of diagnoses, such as self-limited familial and non-familial infantile epilepsy (SeLFNIE, previously benign familial infantile seizures or BFNIS), epileptic encephalopathies (EE), infantile spasms, ataxia, autism spectrum disorder (ASD), intellectual disability (ID), and schizophrenia. Researchers have attempted to elucidate the complexity of the SCN2A gene and Nav1.2 channel function through the use and development of non-human mammalian models. These models have been invaluable to uncovering the molecular underpinnings of why changes in SCN2A lead to such a heterogenous group of disorders. This review aims to evaluate and compare the published rodent models to consolidate findings, identify limitations, and highlight future research directions.

We propose a simple algorithm to compute the generalized Komar charge of any exactly gauge- and diffeomorphism-invariant theory., Comment: 6 pages

Quantifying similarities between time series in a meaningful way remains a challenge in time series analysis, despite many advances in the field. Most real-world solutions still rely on a few popular measures, such as Euclidean Distance (EuD), Longest Common Subsequence (LCSS), and Dynamic Time Warping (DTW). The strengths and weaknesses of these measures have been studied extensively, and incremental improvements have been proposed. In this study, however, we present a different similarity measure that fuses the notion of Dubuc's variation from fractal analysis with the Intersection-over-Union (IoU) measure which is widely used in object recognition (also known as the Jaccard Index). In this proof-of-concept paper, we introduce the Multiscale Dubuc Distance (MDD) measure and prove that it is a metric, possessing desirable properties such as the triangle inequality. We use 95 datasets from the UCR Time Series Classification Archive to compare MDD's performance with EuD, LCSS, and DTW. Our experiments show that MDD's overall success, without any case-specific customization, is comparable to DTW with optimized window sizes per dataset. We also highlight several datasets where MDD's performance improves significantly when its single parameter is customized. This customization serves as a powerful tool for gauging MDD's sensitivity to noise. Lastly, we show that MDD's running time is linear in the length of the time series, which is crucial for real-world applications involving very large datasets., Comment: 6 pages, 3 figures, IEEE Big Data 2024

We consider the top Lyapunov exponent associated to the advection-diffusion and linearised Navier-Stokes equations on the two-dimensional torus. The velocity field is given by the stochastic Navier-Stokes equations driven by a non-degenerate white-in-time noise with a power-law correlation structure. We show that the top Lyapunov exponent is bounded from below by a negative power of the diffusion parameter. This partially answers a conjecture of Doering and Miles and provides a first lower bound on the Batchelor scale in terms of the diffusivity. The proof relies on a robust analysis of the projective process associated to the linear equation, through its spectral median dynamics. We introduce a probabilistic argument to show that high-frequency states for the projective process are unstable under stochastic perturbations, leading to a Lyapunov drift condition and quantitative-in-diffusivity estimates., Comment: 51 Pages

The Cano-Ruip\'erez 4-dimensional string effective action is the simplest consistent truncation of the first-order in $\alpha'$ heterotic string effective action compactified on T$^{6}$. This theory contains, on top of the metric, a dilaton and an axion that couple to the Gauss-Bonnet term and to the Pontrjagin density which suggests a very strong relation between the physical and geometrical properties of its solutions. In this paper we study the thermodynamics of the string black-hole solutions of this theory using Wald's formalism. We construct the on-shell closed generalized Komar, dilaton and axion 2-form charges, and we used them to find the Smarr formula (that we test on the Schwarzschild and Kerr solutions) and to prove no-(primary)-hair theorems for the scalar. We find that $\alpha'$ plays the role of a thermodynamical variable with an associated chemical potential. We also notice the occurrence of non-standard gravitational charges in the Wald entropy and scalar charges., Comment: 23 pages + appendices

Task-oriented dialogue systems rely on predefined conversation schemes (dialogue flows) often represented as directed acyclic graphs. These flows can be manually designed or automatically generated from previously recorded conversations. Due to variations in domain expertise or reliance on different sets of prior conversations, these dialogue flows can manifest in significantly different graph structures. Despite their importance, there is no standard method for evaluating the quality of dialogue flows. We introduce FuDGE (Fuzzy Dialogue-Graph Edit Distance), a novel metric that evaluates dialogue flows by assessing their structural complexity and representational coverage of the conversation data. FuDGE measures how well individual conversations align with a flow and, consequently, how well a set of conversations is represented by the flow overall. Through extensive experiments on manually configured flows and flows generated by automated techniques, we demonstrate the effectiveness of FuDGE and its evaluation framework. By standardizing and optimizing dialogue flows, FuDGE enables conversational designers and automated techniques to achieve higher levels of efficiency and automation.

Applied macroeconomists frequently use impulse response estimators motivated by linear models. We study whether the estimands of such procedures have a causal interpretation when the true data generating process is in fact nonlinear. We show that vector autoregressions and linear local projections onto observed shocks or proxies identify weighted averages of causal effects regardless of the extent of nonlinearities. By contrast, identification approaches that exploit heteroskedasticity or non-Gaussianity of latent shocks are highly sensitive to departures from linearity. Our analysis is based on new results on the identification of marginal treatment effects through weighted regressions, which may also be of interest to researchers outside macroeconomics., Comment: 59 pages, including all appendices

We introduce Llama Guard 3 Vision, a multimodal LLM-based safeguard for human-AI conversations that involves image understanding: it can be used to safeguard content for both multimodal LLM inputs (prompt classification) and outputs (response classification). Unlike the previous text-only Llama Guard versions (Inan et al., 2023; Llama Team, 2024b,a), it is specifically designed to support image reasoning use cases and is optimized to detect harmful multimodal (text and image) prompts and text responses to these prompts. Llama Guard 3 Vision is fine-tuned on Llama 3.2-Vision and demonstrates strong performance on the internal benchmarks using the MLCommons taxonomy. We also test its robustness against adversarial attacks. We believe that Llama Guard 3 Vision serves as a good starting point to build more capable and robust content moderation tools for human-AI conversation with multimodal capabilities.

In this Letter we report on the experimental generation of high energy (10 GeV), ultra-short (fs-duration), ultra-high current (0.1 MA), petawatt peak power electron beams in a particle accelerator. These extreme beams enable the exploration of a new frontier of high intensity beam-light and beam-matter interactions broadly relevant across fields ranging from laboratory astrophysics to strong field quantum electrodynamics and ultra-fast quantum chemistry. We demonstrate our ability to generate and control the properties of these electron beams by means of a laser-electron beam shaping technique. This experimental demonstration opens the door to on-the-fly customization of extreme beam current profiles for desired experiments and is poised to benefit a broad swathe of cross-cutting applications of relativistic electron beams.

The integration of superconducting niobium and tantalum into superconducting quantum devices has been increasingly explored over the past few years. Recent developments have shown that two-level-systems (TLS) in the surface oxides of these superconducting films are a leading source of decoherence in quantum circuits, and understanding the surface oxidation kinetics of these materials is key to enabling scalability of these technologies. We analyze the nature of atmospheric oxidation of both niobium and a-tantalum surfaces at time scales relevant to fabrication, from sub-minute to two-week atmospheric exposure, employing a combination of x-ray photoelectron spectroscopy and transmission electron microscopy to monitor the growth of the surface oxides. The oxidation kinetics are modeled according to the Cabrera-Mott model of surface oxidation, and the model growth parameters are reported for both films. Our results indicate that niobium surface oxidation follows a consistent regime of inverse logarithmic growth for the entire time scale of the study, whereas a-Ta surface oxidation shows a clear transition between two inverse logarithmic growth regimes at time t = 1 hour, associated with the re-coordination of the surface oxide as determined by x-ray photoelectron spectroscopy analysis. Our findings provide a more complete understanding of the differences in atmospheric surface oxidation between Nb and a-Ta, particularly at short time scales, paving the way for the development of more robust fabrication control for quantum computing architectures., Comment: 15 pages, 5 figures, 4 embedded tables

This work examines the problem of extending the one-dimensional analytic signal, which is ubiquitous throughout signal processing, to higher dimensional signals. Bulow et al. and Felsberg et al. have previously used techniques from Clifford algebra and analysis to extend the one-dimensional analytic signal to higher dimensions. However, each author sets forth a different definition of a multidimensional analytic signal. Herein we follow an observation of Brackx et al. and adopt a general definition of an analytic signal that encompasses both the hypercomplex signal of Bulow et al. and the monogenic signal of Felsberg et al. within the same mathematical framework. The crux of our approach is captured by the following statement: A multidimensional analytic signal is generated by an idempotent. We develop this notion more specifically using examples from geometric algebra., Comment: 27 pages, 11 figures

Recent progress in interactive point prompt based Image Segmentation allows to significantly reduce the manual effort to obtain high quality semantic labels. State-of-the-art unsupervised methods use self-supervised pre-trained models to obtain pseudo-labels which are used in training a prompt-based segmentation model. In this paper, we propose a novel unsupervised and training-free approach based solely on the self-attention of Stable Diffusion. We interpret the self-attention tensor as a Markov transition operator, which enables us to iteratively construct a Markov chain. Pixel-wise counting of the required number of iterations along the Markov-chain to reach a relative probability threshold yields a Markov-iteration-map, which we simply call a Markov-map. Compared to the raw attention maps, we show that our proposed Markov-map has less noise, sharper semantic boundaries and more uniform values within semantically similar regions. We integrate the Markov-map in a simple yet effective truncated nearest neighbor framework to obtain interactive point prompt based segmentation. Despite being training-free, we experimentally show that our approach yields excellent results in terms of Number of Clicks (NoC), even outperforming state-of-the-art training based unsupervised methods in most of the datasets.

Tilts of certain elements within a laser interferometer can undesirably couple into measurements as a form of noise, known as tilt-to-length (TTL) coupling. This TTL coupling is anticipated to be one of the primary noise sources in the Laser Interferometer Space Antenna (LISA) mission, after Time Delay Interferometry (TDI) is applied. Despite the careful interferometer design and calibration on the ground, TTL is likely to require in-flight mitigation through post-processing subtraction to achieve the necessary sensitivity. Past research has demonstrated TTL subtraction in simulations through the estimation of 24 linear coupling coefficients using a noise minimization approach. This paper investigates an approach based on performing rotation maneuvers for estimating coupling coefficients with low uncertainties. In this study, we evaluate the feasibility and optimal configurations of such maneuvers to identify the most efficient solutions. We assess the efficacy of TTL calibration maneuvers by modulating either the spacecraft attitude or the Moving Optical Sub-Assembly (MOSA) yaw angle. We found that sinusoidal signals with amplitudes of around 30 nrad and frequencies near 43 mHz are practical and nearly optimal choices for such modulations. Employing different frequencies generates uncorrelated signals, allowing for multiple maneuvers to be executed simultaneously. Our simulations enable us to estimate the TTL coefficients with precision below 15 um/rad (1-sigma, in free space) after a total maneuver time of 20 minutes. The results are compared to the estimation uncertainties that can be achieved without using maneuvers.

This systematic literature review paper explores perspectives on the ideal metaverse from user experience, business, and national levels, considering both academic and industry viewpoints. The study examines the metaverse as a sociotechnical imaginary, enabled collectively by virtual reality (VR), augmented reality (AR), and mixed reality (MR) technologies. Through a systematic literature review, n=144 records were included and by employing grounded theory for analysis of data, we developed three research models, which can guide researchers in examining the metaverse as a sociotechnical future of information technology. Designers can apply the metaverse user experience maturity model to develop more user-friendly services, while business strategists can use the metaverse business readiness model to assess their firms' current state and prepare for transformation. Additionally, policymakers and policy analysts can utilize the metaverse national competitiveness model to track their countries' competitiveness during this paradigm shift. The synthesis of the results also led to the development of practical assessment tools derived from these models that can guide researchers

We consider the Rydberg electron in a circularly polarized microwave field, whose dynamics is described by a 2 d.o.f. Hamiltonian, which is a perturbation of size $K>0$ of the standard rotating Kepler problem. In a rotating frame, the largest chaotic region of this system lies around a center-saddle equilibrium point $L_1$ and its associated invariant manifolds. We compute the distance between stable and unstable manifolds of $L_1$ by means of a semi-analytical method, which consists of combining normal form, Melnikov, and averaging methods with numerical methods. Also, we introduce a new family of Hamiltonians, which we call Toy CP systems, to be able to compare our numerical results with the existing theoretical results in the literature. It should be noted that the distance between these stable and unstable manifolds is exponentially small in the perturbation parameter $K$ (in analogy with the $L_3$ libration point of the R3BP).

In the span of four decades, quantum computation has evolved from an intellectual curiosity to a potentially realizable technology. Today, small-scale demonstrations have become possible for quantum algorithmic primitives on hundreds of physical qubits and proof-of-principle error-correction on a single logical qubit. Nevertheless, despite significant progress and excitement, the path toward a full-stack scalable technology is largely unknown. There are significant outstanding quantum hardware, fabrication, software architecture, and algorithmic challenges that are either unresolved or overlooked. These issues could seriously undermine the arrival of utility-scale quantum computers for the foreseeable future. Here, we provide a comprehensive review of these scaling challenges. We show how the road to scaling could be paved by adopting existing semiconductor technology to build much higher-quality qubits, employing system engineering approaches, and performing distributed quantum computation within heterogeneous high-performance computing infrastructures. These opportunities for research and development could unlock certain promising applications, in particular, efficient quantum simulation/learning of quantum data generated by natural or engineered quantum systems. To estimate the true cost of such promises, we provide a detailed resource and sensitivity analysis for classically hard quantum chemistry calculations on surface-code error-corrected quantum computers given current, target, and desired hardware specifications based on superconducting qubits, accounting for a realistic distribution of errors. Furthermore, we argue that, to tackle industry-scale classical optimization and machine learning problems in a cost-effective manner, distributed quantum-assisted probabilistic computing with custom-designed accelerators should be considered as a complementary path toward scalability., Comment: 50 pages, 42 figures

Structured Illumination Microscopy (SIM) overcomes the optical diffraction limit by folding high-frequency components into the baseband of the optical system, where they can be extracted and then repositioned to their original location in the Fourier domain. Although SIM is considered superior to other super-resolution (SR) methods in terms of compatibility with live cell imaging and optical setup simplicity, its reliance on image reconstruction restricts its temporal resolution and may introduce distortions in the super-resolved image. These inherent drawbacks are exacerbated in extended-SIM im-plementations, where spatial resolution surpasses the diffraction limit by more than 2-fold. Here, we present and demon-strate the Tessellation Structured Illumination Microscopy (TSIM) framework, which introduces a revived image recon-struction paradigm. With TSIM both the temporal resolution limit and the reconstruction artifacts that impact extended-SIM, are alleviated, without compromising the achievable spatial resolution.

Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X, Y \in {\rm supp}(\mu), XY = YX} \mu(X) \mu(Y) < \varepsilon \] or there exists some finite set $S$ contained in a $2$-dimensional subspace of $\textrm{Mat}_2(\mathbb{R})$ such that $\mu(S) \gg \varepsilon^{3}$. We prove quantitatively stronger results when \[ \mu ( (a_{i,j})_{1\leq i,j \leq 2}) = \nu(a_{1,1}) \dots \nu(a_{2,2}) \ \ \text{for every} \ a_{1,1}, \dots, a_{2,2} \in \mathbb{R}, \] with $\nu$ being some finitely--supported probability measure on $\mathbb{R}$. For instance, when $A \subset \mathbb{R}$ is a proper generalised arithmetic progression of dimension $d$, and $\nu = 1_{A}/|A|$, our methods imply that $T(\mu) \ll_d |A|^{-3}$. This is optimal up to the $O_d(1)$ factor. Our proofs involve incidence geometric techniques as well as ideas surrounding the recent progress on Bourgain--Chang type sum-product estimates over $\mathbb{R}$. The latter includes Schmidt's subspace theorem and the resolution of the weak polynomial Freiman--Ruzsa conjecture over integers., Comment: 17 pages

In recent years, machine learning (ML) based reconstruction has been widely investigated and employed in cardiac magnetic resonance (CMR) imaging. ML-based reconstructions can deliver clinically acceptable image quality under substantially accelerated scans. ML-based reconstruction, however, also requires substantial data and computational time to train the neural network, which is often optimized for a fixed acceleration rate or image contrast. In practice, imaging parameters are often tuned to best suit the diagnosis, which may differ from the training data. This can result in degraded image quality, and multiple trained networks are needed to fulfill the clinical demands. In this study, we propose a foundation model that uses adaptive unrolling, channel-shifting, and Pattern and Contrast-Prompt-UNet (PCP-UNet) to tackle the problem. In particular, the undersampled data goes through a different number of unrolled iterations according to its acceleration rate. Channel-shifting improves reconstructed data quality. The PCP-UNet is equipped with an image contrast and sampling pattern prompt. In vivo CMR experiments were performed using mixed combinations of image contrasts, acceleration rates, and (under)sampling patterns. The proposed foundation model has significantly improved image quality for a wide range of CMR protocols and outperforms the conventional ML-based method., Comment: For MICCAI CMRxRecon Challenge 2024 team CardiAxs

A star's spin-orbit angle can give us insight into a system's formation and dynamical history. In this paper, we use MAROON-X observations of the Rossiter-McLaughlin (RM) effect to measure the projected obliquity of the LP 261-75 (also known as TOI-1779) system, focusing on the fully-convective M dwarf LP 261-75A and the transiting brown dwarf LP 261-75C. This is the first obliquity constraint of a brown dwarf orbiting an M dwarf and the seventh obliquity constraint of a brown dwarf overall. We measure a projected obliquity of $5^{+11}_{-10}$ degrees and a true obliquity of $14^{+8}_{-7}$ degrees for the system, meaning that the system is well-aligned and that the star is rotating very nearly edge-on, with an inclination of $90^o\,\pm\,11^o$. The system thus follows along with the trends observed in transiting brown dwarfs around hotter stars, which typically have low obliquities. The tendency for brown dwarfs to be aligned may point to some enhanced obliquity damping in brown dwarf systems, but there is also a possibility that the LP 261-75 system was simply formed aligned. In addition, we note that the brown dwarf's radius ($R_C\,=\,0.9$ R$_J$) is not consistent with the youth of the system or radius trends observed in other brown dwarfs, indicating that LP 261-75C may have an unusual formation history., Comment: 16, pages, 7 figures. Accepted in AJ

The study of the asymptotics of the spectral function for self-adjoint, elliptic differential, or more generally pseudodifferential, operators on a compact manifold has a long history. The seminal 1968 paper of H\"ormander, following important prior contributions by G\"arding, Levitan, Avakumovi\'c, and Agmon-Kannai (to name only some), obtained pointwise asymptotics (or a "pointwise Weyl law") for a single elliptic, self-adjoint operator. Here, we establish a microlocalized pointwise Weyl law for the joint spectral functions of quantum completely integrable (QCI) systems, $\overline{P}=(P_1,P_2,\dots, P_n)$, where $P_i$ are first-order, classical, self-adjoint, pseudodifferential operators on a compact manifold $M^n$, with $\sum P_i^2$ elliptic and $[P_i,P_j]=0$ for $1\leq i,j\leq n$. A particularly important case is when $(M,g)$ is Riemannian and $P_1=(-\Delta)^\frac12$. We illustrate our result with several examples, including surfaces of revolution., Comment: 32 pages

Football analysts traditionally determine the relative value of draft picks by average future player value at each draft position. One implication is the loser's curse: top draft picks belonging to last year's worst teams produce less surplus value on average than draft picks later in the first round belonging to better teams. Additionally, these valuations do not match the valuation implied by the trade market. Either general managers are making terrible trades on average, or there is a sound economic reason for the discrepancy; we are partial to the latter explanation. Traditional analyses don't consider that variance in performance decays convexly accross the draft, causing eliteness (e.g., right tail probability) to decay much more steeply than expected value. Because elite players have an outsize influence on winning the Super Bowl, we suspect general managers value performance nonlinearly, placing exponentially higher value on players as their eliteness increases. Draft curves that account for this closely resemble the trade market. Additionally, we create draft curves that adjust for position via a novel Bayesian hierarchical Beta regression model. We find that if you are interested in an elite quarterback, there is no loser's curse.

Automated marker makers (AMMs) are a class of decentralized exchanges that enable the automated trading of digital assets. They accept deposits of digital tokens from liquidity providers (LPs); tokens can be used by traders to execute trades, which generate fees for the investing LPs. The distinguishing feature of AMMs is that trade prices are determined algorithmically, unlike classical limit order books. Concentrated liquidity market makers (CLMMs) are a major class of AMMs that offer liquidity providers flexibility to decide not only \emph{how much} liquidity to provide, but \emph{in what ranges of prices} they want the liquidity to be used. This flexibility can complicate strategic planning, since fee rewards are shared among LPs. We formulate and analyze a game theoretic model to study the incentives of LPs in CLMMs. Our main results show that while our original formulation admits multiple Nash equilibria and has complexity quadratic in the number of price ticks in the contract, it can be reduced to a game with a unique Nash equilibrium whose complexity is only linear. We further show that the Nash equilibrium of this simplified game follows a waterfilling strategy, in which low-budget LPs use up their full budget, but rich LPs do not. Finally, by fitting our game model to real-world CLMMs, we observe that in liquidity pools with risky assets, LPs adopt investment strategies far from the Nash equilibrium. Under price uncertainty, they generally invest in fewer and wider price ranges than our analysis suggests, with lower-frequency liquidity updates. We show that across several pools, by updating their strategy to more closely match the Nash equilibrium of our game, LPs can improve their median daily returns by \$116, which corresponds to an increase of 0.009\% in median daily return on investment.

Non-Hermitian skin effect (NHSE) and nonlinearity can each delocalize topological zero modes (TZMs) from the boundary. To overcome the challenge of precise parameter tuning imposed by the NHSE-induced delocalization and to enhance the capacity of TZMs limited by nonlinearity-induced partial delocalization in Hermitian systems, we develop non-Hermitian nonlinear topological interface models. This model consists of both Hermitian and non-Hermitian Su-Schrieffer-Heeger (SSH) chains, incorporating nonreciprocal hopping and nonlinearity. When the nonlinearity is applied to both chains, the TZM becomes fully delocalized, extending across the entire lattice of two chains without the need for precise parameter tuning. By adjusting nonlinear coefficients in both chains, the wavefunction profile and plateaus across the entire lattice can be effectively controlled and customized through inherent configuration and intensity of the nonlinearity. Furthermore, the spectral localizer is utilized to demonstrate the topological protection of these extended non-Hermitian TZMs, confirming their robustness against disorder. Their dynamical stability under external pumping is also validated. Our findings provide a deeper insight into how nonlinearity and NHSE affect the behavior of topological modes, opening new possibilities for enhancing their capacity and performance in compact devices., Comment: 5 figures in the main text