title: Limitations of Agents Simulated by Predictive Models

abstract: There is increasing focus on adapting predictive models into agent-like systems, most notably AI assistants based on language models. We outline two structural reasons for why these models can fail when turned into agents. First, we discuss auto-suggestive delusions. Prior work has shown theoretically that models fail to imitate agents that generated the training data if the agents relied on hidden observations: the hidden observations act as confounding variables, and the models treat actions they generate as evidence for nonexistent observations. Second, we introduce and formally study a related, novel limitation: predictor-policy incoherence. When a model generates a sequence of actions, the model's implicit prediction of the policy that generated those actions can serve as a confounding variable. The result is that models choose actions as if they expect future actions to be suboptimal, causing them to be overly conservative. We show that both of those failures are fixed by including a feedback loop from the environment, that is, re-training the models on their own actions. We give simple demonstrations of both limitations using Decision Transformers and confirm that empirical results agree with our conceptual and formal analysis. Our treatment provides a unifying view of those failure modes, and informs the question of why fine-tuning offline learned policies with online learning makes them more effective.


title: Sparse-VQ Transformer: An FFN-Free Framework with Vector Quantization for Enhanced Time Series Forecasting

abstract: Time series analysis is vital for numerous applications, and transformers have become increasingly prominent in this domain. Leading methods customize the transformer architecture from NLP and CV, utilizing a patching technique to convert continuous signals into segments. Yet, time series data are uniquely challenging due to significant distribution shifts and intrinsic noise levels. To address these two challenges,we introduce the Sparse Vector Quantized FFN-Free Transformer (Sparse-VQ). Our methodology capitalizes on a sparse vector quantization technique coupled with Reverse Instance Normalization (RevIN) to reduce noise impact and capture sufficient statistics for forecasting, serving as an alternative to the Feed-Forward layer (FFN) in the transformer architecture. Our FFN-free approach trims the parameter count, enhancing computational efficiency and reducing overfitting. Through evaluations across ten benchmark datasets, including the newly introduced CAISO dataset, Sparse-VQ surpasses leading models with a 7.84% and 4.17% decrease in MAE for univariate and multivariate time series forecasting, respectively. Moreover, it can be seamlessly integrated with existing transformer-based models to elevate their performance.


title: Positive orthogonalizing weights on the unit circle for the generalized Bessel polynomials

abstract: In this paper we study the generalized Bessel polynomials $y_n(x,a,b)$ (in the notation of Krall and Frink). Let $a>1$, $b\in(-1/3,1/3)\backslash\{ 0\}$. In this case we present the following positive continuous weights $p(\theta) = p(\theta,a,b)$ on the unit circle for $y_n(x,a,b)$: $$ 2\pi p(\theta,a,b) = -1 + 2(a-1) \int_0^1 e^{-bu\cos\theta} \cos(bu\sin\theta) (1-u)^{a-2} du, $$ where $\theta\in[0,2\pi]$. Namely, we have $$ \int_0^{2\pi} y_n(e^{i\theta},a,b) y_m(e^{i\theta},a,b) p(\theta,a,b) d\theta = C_n \delta_{n,m},\qquad C_n\not=0,\ n,m\in\mathbb{Z}_+. $$ Notice that this orthogonality differs from the usual orthogonality of OPUC. Some applications of the above orthogonality are given.


title: Phenomenology of the dispersion law in three-dimensional quantum space

abstract: The concept of a quantum structure underlying space has been proposed for quite some time, yet it has largely eluded direct observation. There is a prevailing notion that the minuscule effects stemming from quantum space could, under certain astronomical conditions, accumulate to an observable magnitude. Typically, these effects are perturbative, limited to the first one or two orders. This study presents a full dispersion law derived from a three-dimensional quantum space model. Our primary focus is investigating the in-vacuo dispersion phenomenon and the threshold anomaly. Furthermore, we briefly explore the implications of additional spatial dimensions within this framework and suggest a way of distinguishing between various theories that agree in the leading order approximation.


title: Maximizing the electromagnetic efficiency of spintronic terahertz emitters

abstract: Spintronic Terahertz Emitters (STE) represent a significant advancement in source technology, exploiting the ultrafast demagnetization process of spin-electrons to unveil a 30THz wide, gapless spectrum, accessible through femtosecond lasers across the full VIS-IR range. This innovation not only positions STEs as a pivotal advancement in THz source technology but also underscores their role as a cost-effective, high-performance solution, thereby redefining standards within the field. However, the inherent spintronic nature of these devices introduces a challenge: a lower optical-to-terahertz conversion efficiency, which positions them at a notable disadvantage relative to other sources. In response, this work aims to substantially improve the electromagnetic efficiency of these emitters. This is accomplished by maximizing the energy conversion from the pumping laser for spin-electron generation. Our design integrates STEs with an optimized 1D trapping cavity, specifically engineered to fulfill critical aspects of ultrafast excitation and THz extraction. As a result, we have realized a 245% enhancement in emission and an increase of 8dB in overall intensity, positions our results among the most substantial improvements documented in this field. Furthermore, we delineate the optimal geometry for the deployment of STEs and explore the strategic selection of substrates in depth. Such enhanced emitters advance spintronic emitters towards broader applications in time-domain spectroscopy, ellipsometry, and nonlinear THz-pump spectroscopy. Enhancing spintronic emitter efficiency, combined with rapid magnetic field modulation, indicates the potential for dynamic ranges that rival traditional sources. Our predictions of STE's efficiencies, made through an electromagnetic approach, highlight its capability to uncover overlooked aspects from an optical standpoint, leading to subsequent improvements.


title: Scalar curvature rigidity and the higher mapping degree

abstract: A closed connected oriented Riemannian manifold $N$ with non-vanishing Euler characteristic, non-negative curvature operator and $0<2\text{Ric}_N<\text{scal}_N$ is area-rigid in the sense that any area non-increasing spin map $f\colon M\to N$ from a closed connected oriented Riemannian manifold $M$ with non-vanishing $\hat{A}$-degree and $\text{scal}_M\geq \text{scal}_N\mathop{\circ}\nolimits f$ is a Riemannian submersion. This is due to Goette and Semmelmann and generalizes a result by Llarull. In this article, we show area-rigidity for not necessarily orientable manifolds with respect to a larger class of maps $f\colon M\to N$ by replacing the topological condition on the $\hat{A}$-degree by a less restrictive condition involving the so-called higher mapping degree. This includes fiber bundles over even dimensional spheres with enlargeable fibers, e.g. $pr_1\colon S^{2n}\times T^k \to S^{2n}$. We develop a technique to extract from a non-vanishing higher index a geometrically useful family of almost $\mathcal{D}$-harmonic sections. This also leads to a new proof of the fact that any closed connected spin manifold with non-negative scalar curvature and non-trivial Rosenberg index is Ricci flat.


title: How Much is Unseen Depends Chiefly on Information About the Seen

abstract: It might seem counter-intuitive at first: We find that, in expectation, the proportion of data points in an unknown population-that belong to classes that do not appear in the training data-is almost entirely determined by the number $f_k$ of classes that do appear in the training data the same number of times. While in theory we show that the difference of the induced estimator decays exponentially in the size of the sample, in practice the high variance prevents us from using it directly for an estimator of the sample coverage. However, our precise characterization of the dependency between $f_k$'s induces a large search space of different representations of the expected value, which can be deterministically instantiated as estimators. Hence, we turn to optimization and develop a genetic algorithm that, given only the sample, searches for an estimator with minimal mean-squared error (MSE). In our experiments, our genetic algorithm discovers estimators that have a substantially smaller MSE than the state-of-the-art Good-Turing estimator. This holds for over 96% of runs when there are at least as many samples as classes. Our estimators' MSE is roughly 80% of the Good-Turing estimator's.


title: A characterization of ramification groups via Taylor morphism

abstract: In this paper, we introduce an analogue of the Taylor map within the category of commutative unitary rings. The establishment of characterizations for formal smoothness and results on derivation permits us to compute the kernel of this Taylor map within a wide-ranging context. From there, we characterize the conventional higher ramification groups in terms of the inertia groups of a certain jet algebra. Given the functoriality of this approach, it will in principle be possible to follow the same construction in the context of algebraic geometry, thus defining the higher ramification groups associated to certain group schemes.


title: Shape Optimization of Eigenfrequencies in MEMS Gyroscopes

abstract: Microelectromechanical systems (MEMS) gyroscopes are widely used in consumer and automotive applications. They have to fulfill a vast number of product requirements which lead to complex mechanical designs of the resonating structure. Arriving at a final design is a cumbersome process that relies heavily on human experience in conjunction with design optimization methods. In this work, we apply node-based shape optimization to the design of a MEMS gyroscope. For that purpose, we parametrize the coordinates of the nodes of the finite element method (FEM) mesh that discretize the shapes of the springs. We then implement the gradients of the mechanical eigenfrequencies and typical MEMS manufacturability constraints, with respect to the design parameters, in a FEM code. Using gradient-based optimization we tune the gyroscope's frequency split and shift spurious modes away from the first three multiples of the gyroscope's drive frequency while manufacturability constraints are fulfilled. The resulting optimized design exhibits novel geometrical shapes which defy any human intuition. Overall, we demonstrate that shape optimization can not only solve optimization problems in MEMS design without required human intervention, but also explores geometry solutions which can otherwise not be addressed. In this way, node-based shape optimization opens up a much larger space of possible design solutions, which is crucial for facing the ever increasing product requirements. Our approach is generic and applicable to many other types of MEMS resonators.


title: Introducing q-deformed binomial coefficients of words

abstract: Gaussian binomial coefficients are q-analogues of the binomial coefficients of integers. On the other hand, binomial coefficients have been extended to finite words, i.e., elements of the finitely generated free monoids. In this paper we bring together these two notions by introducing q-analogues of binomial coefficients of words. We study their basic properties, e.g., by extending classical formulas such as the q-Vandermonde and Manvel's et al. identities to our setting. As a consequence, we get information about the structure of the considered words: these q-deformations of binomial coefficients of words contain much richer information than the original coefficients. From an algebraic perspective, we introduce a q-shuffle and a family q-infiltration products for non-commutative formal power series. Finally, we apply our results to generalize a theorem of Eilenberg characterizing so-called p-group languages. We show that a language is of this type if and only if it is a Boolean combination of specific languages defined through q-binomial coefficients seen as polynomials over $\mathbb{F}_p$.


title: Signature change by an isomorphism of spectral triples

abstract: We present a duality between spectral triples and pseudo-Riemannian spectral triples. This duality is based on the fundamental connection between twists and Krein products. A concept of isomorphism of spectral triples is introduced, transforming one spectral triple to the dual one. In the case of even-dimensional manifolds, we show how this implements a signature change through the parity operator, given by the twist itself. The signature change transformation is then only parametrized by one operator, given by the unitary that implements the twist. This unitary is a central ingredient of the approach, being directly connected to the Krein product, the twist and the parity operator that implement the signature change.


title: uPLAM: Robust Panoptic Localization and Mapping Leveraging Perception Uncertainties

abstract: The availability of a robust map-based localization system is essential for the operation of many autonomously navigating vehicles. Since uncertainty is an inevitable part of perception, it is beneficial for the robustness of the robot to consider it in typical downstream tasks of navigation stacks. In particular localization and mapping methods, which in modern systems often employ convolutional neural networks (CNNs) for perception tasks, require proper uncertainty estimates. In this work, we present uncertainty-aware Panoptic Localization and Mapping (uPLAM), which employs pixel-wise uncertainty estimates for panoptic CNNs as a bridge to fuse modern perception with classical probabilistic localization and mapping approaches. Beyond the perception, we introduce an uncertainty-based map aggregation technique to create accurate panoptic maps, containing surface semantics and landmark instances. Moreover, we provide cell-wise map uncertainties, and present a particle filter-based localization method that employs perception uncertainties. Extensive evaluations show that our proposed incorporation of uncertainties leads to more accurate maps with reliable uncertainty estimates and improved localization accuracy. Additionally, we present the Freiburg Panoptic Driving dataset for evaluating panoptic mapping and localization methods. We make our code and dataset available at: \url{http://uplam.cs.uni-freiburg.de}


title: Dirichlet Flow Matching with Applications to DNA Sequence Design

abstract: Discrete diffusion or flow models could enable faster and more controllable sequence generation than autoregressive models. We show that na\"ive linear flow matching on the simplex is insufficient toward this goal since it suffers from discontinuities in the training target and further pathologies. To overcome this, we develop Dirichlet flow matching on the simplex based on mixtures of Dirichlet distributions as probability paths. In this framework, we derive a connection between the mixtures' scores and the flow's vector field that allows for classifier and classifier-free guidance. Further, we provide distilled Dirichlet flow matching, which enables one-step sequence generation with minimal performance hits, resulting in $O(L)$ speedups compared to autoregressive models. On complex DNA sequence generation tasks, we demonstrate superior performance compared to all baselines in distributional metrics and in achieving desired design targets for generated sequences. Finally, we show that our classifier-free guidance approach improves unconditional generation and is effective for generating DNA that satisfies design targets. Code is available at https://github.com/HannesStark/dirichlet-flow-matching.


title: Study and derivation of closures in the volume-filtered framework for particle-laden flows

abstract: The volume-filtering of the Navier-Stokes equations allows to consider the effect that particles have on the fluid without further assumptions, but closures arise of which the implications are not fully understood. In the present paper, we carefully study every closure in the volume-filtered fluid momentum equation and investigate their impact on the momentum and energy transfer dependent on the filtering characteristics. We provide an analytical expression for the viscous closure that arises because filter and spatial derivative in the viscous term do not commute. An analytical expression for the regularization of the particle momentum source of a single sphere in the Stokes regime is derived. Furthermore, we propose a model for the subfilter stress tensor, which originates from filtering the advective term. The model for the subfilter stress tensor is shown to agree well with the subfilter stress tensor for small filter widths relative to the size of the particle. We show that the subfilter stress tensor requires modeling and should not be neglected. For small filter widths, we find that the commonly applied Gaussian regularization of the particle momentum source is a poor approximation of the spatial distribution of the particle momentum source, but for larger filter widths the spatial distribution approaches a Gaussian. Furthermore, we propose a modified advective term in the volume-filtered momentum equation that consistently circumvents the common stability issues observed at locally small fluid volume fractions and identify inconsistencies in previous studies of the phase-averaged kinetic energy of the volume-filtered fluid velocity. Finally, we propose a generally applicable form of the volume-filtered momentum equation and its closures based on clear and well-founded assumptions and propose guidelines for point-particle simulations based on the new findings.


title: Fluid and kinetic studies of tokamak disruptions using Bayesian optimization

abstract: When simulating runaway electron dynamics in tokamak disruptions, fluid models with lower numerical cost are often preferred to more accurate kinetic models. The aim of this work is to compare fluid and kinetic simulations of a large variety of different disruption scenarios in ITER. We consider both non-activated and activated scenarios; for the latter we derive and implement kinetic sources for the Compton scattering and tritium beta decay runaway electron generation mechanisms in our simulation tool DREAM [M. Hoppe et al 2021 Comp. Phys. Commun. 268, 108098]. To achieve a diverse set of disruption scenarios, Bayesian optimization is utilized to explore a range of massive material injection densities for deuterium and neon. The cost function is designed to distinguish between successful and unsuccessful disruption mitigation based on the runaway current, current quench time and transported fraction of the heat loss. In the non-activated scenarios, we find that fluid and kinetic disruption simulations can have significantly different runaway electron dynamics, due to an overestimation of the hot-tail generation rate by the fluid model. The primary cause of this is that the fluid hot-tail generation model neglects superthermal electron transport losses during the thermal quench. In the activated scenarios the fluid and kinetic models give similar predictions, which can be explained by the activated sources' significant influence on the RE dynamics and the seed.


title: The CATT SATT on the MATT: semiparametric inference for sample treatment effects on the treated

abstract: We study variants of the average treatment effect on the treated with population parameters replaced by their sample counterparts. For each estimand, we derive the limiting distribution with respect to a semiparametric efficient estimator of the population effect and provide guidance on variance estimation. Included in our analysis is the well-known sample average treatment effect on the treated, for which we obtain some unexpected results. Unlike the ordinary sample average treatment effect, we find that the asymptotic variance for the sample average treatment effect on the treated is point-identified and consistently estimable, but it potentially exceeds that of the population estimand. To address this shortcoming, we propose a modification that yields a new estimand, the mixed average treatment effect on the treated, which is always estimated more precisely than both the population and sample effects. We also introduce a second new estimand that arises from an alternative interpretation of the treatment effect on the treated with which all individuals are weighted by the propensity score.


title: Quantum Anomalous Hall Effect in $d$-Electron Kagome Systems: Chern Insulating States from Transverse Spin-Orbit Coupling

abstract: Inspired by the discovery of metal-organic frameworks, the possibility of quantum anomalous Hall effect (QAHE) in two-dimensional kagome systems with $d$-orbital electrons is studied within a multi-orbital tight-binding model. In the absence of exchange-type spin-orbit coupling, isotropic Slater-Koster integrals give a band structure with relativistic (Dirac) and quadratic band crossing points at high symmetry spots in the Brillouin zone. A quantized topological invariant requires a flux-creating spin-orbit coupling, giving Chern number (per spin sector) $C=1$ not only from the familiar Dirac points at the six corners of the Brillouin zone, but also from the quadratic band crossing point at the center $\Gamma$. Surprisingly, this QAHE comes from the nontrivial effective flux induced by the transverse part of the spin-orbit coupling, exhibited by electrons in the $d$-orbital state with $m_l=0$ ($d_{z^2}$ orbital), in stark contrast to the more familiar form of QAHE due to the $d$-orbitals with $m_l \neq 0$, driven by the Ising part of spin-orbit coupling. The $C=1$ Chern plateau (per spin sector) due to Dirac point extends over a smaller region of Fermi energy than that due to quadratic band crossing. Our result hints at the promising potential of kagome metal-organic frameworks as a platform for dissipationless electronics by virtue of its unique QAHE.


title: Heights of posets associated with Green's relations on semigroups

abstract: Given a semigroup $S$, for each Green's relation $\mathcal{K}\in\{\mathcal{L},\mathcal{R},\mathcal{J},\mathcal{H}\}$ on $S,$ the $\mathcal{K}$-height of $S,$ denoted by $H_{\mathcal{K}}(S),$ is the height of the poset of $\mathcal{K}$-classes of $S.$ More precisely, if there is a finite bound on the sizes of chains of $\mathcal{K}$-classes of $S,$ then $H_{\mathcal{K}}(S)$ is defined as the maximum size of such a chain; otherwise, we say that $S$ has infinite $\mathcal{K}$-height. We discuss the relationships between these four $\mathcal{K}$-heights. The main results concern the class of stable semigroups, which includes all finite semigroups. In particular, we prove that a stable semigroup has finite $\mathcal{L}$-height if and only if it has finite $\mathcal{R}$-height if and only if it has finite $\mathcal{J}$-height. In fact, for a stable semigroup $S,$ if $H_{\mathcal{L}}(S)=n$ then $H_{\mathcal{R}}(S)\leq2^n-1$ and $H_{\mathcal{J}}(S)\leq2^n-1,$ and we exhibit a family of examples to prove that these bounds are sharp. Furthermore, we prove that if $2\leq H_{\mathcal{L}}(S)<\infty$ and $2\leq H_{\mathcal{R}}(S)<\infty,$ then $H_{\mathcal{J}}(S)\leq H_{\mathcal{L}}(S)+H_{\mathcal{R}}(S)-2.$ We also show that for each $n\in\mathbb{N}$ there exists a semigroup $S$ such that $H_{\mathcal{L}}(S)=H_{\mathcal{R}}(S)=2^n+n-3$ and $H_{\mathcal{J}}(S)=2^{n+1}-4.$ By way of contrast, we prove that for a regular semigroup the $\mathcal{L}$-, $\mathcal{R}$- and $\mathcal{H}$-heights coincide with each other, and are greater or equal to the $\mathcal{J}$-height. Moreover, in a stable, regular semigroup the $\mathcal{L}$-, $\mathcal{R}$-, $\mathcal{H}$- and $\mathcal{J}$-heights are all equal.


title: Reconfigurable Intelligent Surface-Aided Dual-Function Radar and Communication Systems With MU-MIMO Communication

abstract: In this paper, we investigate an reconfigurable intelligent surface (RIS)-aided integrated sensing and communication (ISAC) system. Our objective is to maximize the achievable sum rate of the multi-antenna communication users through the joint active and passive beamforming. {Specifically}, the weighted minimum mean-square error (WMMSE) method is { first} used to reformulate the original problem into an equivalent one. Then, we utilize an alternating optimization (AO) { algorithm} to decouple the optimization variables and decompose this challenging problem into two subproblems. Given reflecting coefficients, a penalty-based algorithm is utilized to deal with the non-convex radar signal-to-noise ratio (SNR) constraints. For the given beamforming matrix of the BS, we apply majorization-minimization (MM) to transform the problem into a quadratic constraint quadratic programming (QCQP) problem, which is ultimately solved using a semidefinite relaxation (SDR)-based algorithm. Simulation results illustrate the advantage of deploying RIS in the considered multi-user MIMO (MU-MIMO) ISAC systems.


title: Maximal cliques in the graph of $5$-ary simplex codes of dimension two

abstract: We consider the induced subgraph of the corresponding Grassmann graph formed by $q$-ary simplex codes of dimension $2$, $q\ge 5$. This graph contains precisely two types of maximal cliques. If $q=5$, then for any two maximal cliques of the same type there is a monomial linear automorphism transferring one of them to the other. Examples concerning the cases $q=7,11$ finish the note.


title: ALMA Lensing Cluster Survey: Full SED Analysis of z~0.5-6 Lensed Galaxies Detected with Millimeter Observations

abstract: Sub/millimeter galaxies are a key population for the study of galaxy evolution because the majority of star formation at high redshifts occurred in galaxies deeply embedded in dust. To search for this population, we have performed an extensive survey with ALMA, called the ALMA Lensing Cluster Survey (ALCS). This survey covers 133 arcmin^2 area and securely detects 180 sources at z~0.5-6 with a flux limit of ~0.2 mJy at 1.2 mm (Fujimoto et al. 2023). Here we report the results of multi-wavelength spectral energy distribution (SED) analysis of the whole ALCS sample, utilizing the observed-frame UV to millimeter photometry. We find that the majority of the ALCS sources lie on the star-forming main sequence, with a smaller fraction showing intense starburst activities. The ALCS sample contains high infrared-excess sources IRX=log(Ldust/LUV)>1), including two extremely dust-obscured galaxies (IRX>5). We also confirm that the ALCS sample probes a broader range in lower dust mass than conventional SMG samples in the same redshift range. We identify six heavily obscured AGN candidates that are not detected in the archival Chandra data in addition to the three X-ray AGNs reported by Uematsu et al. (2023). The inferred AGN luminosity density shows a possible excess at z=2-3 compared with that determined from X-ray surveys below 10 keV.


title: Two-index SU(N) theories: QCD, Orientifolds, Super Yang-Mills, Lattice and Steven Weinberg's $\pi \pi$ scattering legacy

abstract: I review and improve on how two-index SU(N) gauge-fermion theories help access salient information about the large $N$ vacuum and spectrum of QCD, super Yang Mills and meson-meson scattering. The interplay with recent lattice simulations will be employed to deduce the size of $1/N^2$ corrections. Through the meson-meson scattering analysis I will honor Steven Weinberg's memory by showing how two-index extrapolations naturally accommodate the appearance of tetraquarks states crucial to unitarize meson-meson scattering at low energies.


title: A central limit theorem for the matching number of a sparse random graph

abstract: In 1981, Karp and Sipser proved a law of large numbers for the matching number of a sparse Erd\H{o}s-R\'enyi random graph, in an influential paper pioneering the so-called differential equation method for analysis of random graph processes. Strengthening this classical result, and answering a question of Aronson, Frieze and Pittel, we prove a central limit theorem in the same setting: the fluctuations in the matching number of a sparse random graph are asymptotically Gaussian. Our new contribution is to prove this central limit theorem in the subcritical and critical regimes, according to a celebrated algorithmic phase transition first observed by Karp and Sipser. Indeed, in the supercritical regime, a central limit theorem has recently been proved in the PhD thesis of Krea\v{c}i\'c, using a stochastic generalisation of the differential equation method (comparing the so-called Karp-Sipser process to a system of stochastic differential equations). Our proof builds on these methods, and introduces new techniques to handle certain degeneracies present in the subcritical and critical cases. Curiously, our new techniques lead to a non-constructive result: we are able to characterise the fluctuations of the matching number around its mean, despite these fluctuations being much smaller than the error terms in our best estimates of the mean. We also prove a central limit theorem for the rank of the adjacency matrix of a sparse random graph.


title: Chiral spin symmetry and hot QCD

abstract: In this talk we overview main results indicating existence in QCD of three qualitatively different regimes connected by smooth crossovers upon heating: a hadron gas, a stringy fluid and a quark-gluon plasma. In the combined large N_c and chiral limit these regimes likely become distinct phases separated by phase transitions: a chiral restoration phase transition around T_{ch} ~ 130 MeV and a deconfinement phase transition around T_d ~ 300 MeV. It should be an important task to verify this issue on the lattice. We will introduce a chiral spin symmetry, which is a symmetry of the electric part of electrodynamics and of QCD with light quarks. It is realized approximately in QCD above the chiral restoration crossover and disappears in the QGP regime. The center symmetry of the pure glue action and the chiral spin symmetry of the electric part of the QCD Lagrangian with light quarks are complementary to distinguish the confining regime and its disappearance. We also address other lattice evidences for stringy fluid: hadron resonances extracted from the lattice correlators; breakdown of the thermal perturbation theory at T < ~ 600 MeV and fluctuations of conserved charges that point out the N_c scaling above T ~ 155 MeV.


title: On Experimental Emulation of Printability and Fleet Aware Generic Mesh Decomposition for Enabling Aerial 3D Printing

abstract: This article introduces an experimental emulation of a novel chunk-based flexible multi-DoF aerial 3D printing framework. The experimental demonstration of the overall autonomy focuses on precise motion planning and task allocation for a UAV, traversing through a series of planned space-filling paths involved in the aerial 3D printing process without physically depositing the overlaying material. The flexible multi-DoF aerial 3D printing is a newly developed framework and has the potential to strategically distribute the envisioned 3D model to be printed into small, manageable chunks suitable for distributed 3D printing. Moreover, by harnessing the dexterous flexibility due to the 6 DoF motion of UAV, the framework enables the provision of integrating the overall autonomy stack, potentially opening up an entirely new frontier in additive manufacturing. However, it's essential to note that the feasibility of this pioneering concept is still in its very early stage of development, which yet needs to be experimentally verified. Towards this direction, experimental emulation serves as the crucial stepping stone, providing a pseudo mockup scenario by virtual material deposition, helping to identify technological gaps from simulation to reality. Experimental emulation results, supported by critical analysis and discussion, lay the foundation for addressing the technological and research challenges to significantly push the boundaries of the state-of-the-art 3D printing mechanism.


title: (Almost) Affine Higher-Order Tree Transducers

abstract: We investigate the tree-to-tree functions computed by \enquote{affine$\lambda$-transducers}: tree automata whose memory consists of an affine $\lambda$-term instead of a finite state. They can be seen as variations on Gallot, Lemay and Salvati's Linear High-Order Deterministic Tree Transducers. When the memory is almost purely affine (\textit{\`a la} Kanazawa), we show that these machines can be translated to tree-walking transducers (and with a purely affine memory, we get a reversible tree-walking transducer). This leads to a proof of an inexpressivity conjecture of \titocecilia on \enquote{implicit automata} in an affine $\lambda$-calculus. The key technical tool in our proofs is the Interaction Abstract Machine (IAM), an operational avatar of the \enquote{geometry of interaction} semantics of linear logic. We work with ad-hoc specializations to (almost) affine $\lambda$-terms of a tree-generating version of the IAM.


title: Discovery of a nova super-remnant cavity surrounding RS Ophiuchi

abstract: The prototypical nova super-remnant (NSR) was uncovered around the most rapidly recurring nova (RN), M31N 2008-12a. Simulations of the growth of NSRs revealed that these large structures should exist around all novae, whether classical or recurrent. NSRs consist of large shell-like structures surrounding excavated cavities. Predictions, informed by these simulations, led to the discovery of an extended cavity coincident with the Galactic RN, RS Ophiuchi, in far-infrared archival IRAS images. We propose that this cavity is associated with RS Oph and is therefore evidence of another NSR to be uncovered.


title: Structure-Informed Protein Language Model

abstract: Protein language models are a powerful tool for learning protein representations through pre-training on vast protein sequence datasets. However, traditional protein language models lack explicit structural supervision, despite its relevance to protein function. To address this issue, we introduce the integration of remote homology detection to distill structural information into protein language models without requiring explicit protein structures as input. We evaluate the impact of this structure-informed training on downstream protein function prediction tasks. Experimental results reveal consistent improvements in function annotation accuracy for EC number and GO term prediction. Performance on mutant datasets, however, varies based on the relationship between targeted properties and protein structures. This underscores the importance of considering this relationship when applying structure-aware training to protein function prediction tasks. Code and model weights are available at https://github.com/DeepGraphLearning/esm-s.


title: Individual addressing and state readout of trapped ions utilizing rf micromotion

abstract: Excess "micromotion" of trapped ions due to the residual radio frequency (rf) trapping field at their location is often undesirable and is usually carefully minimized. Here, we induce precise amounts of excess micromotion on individual ions by adjusting the local static electric field they experience. Micromotion modulates the coupling of an ion to laser fields, ideally tuning it from its maximum value to zero as the ion is moved away from the trap's rf null. We use tunable micromotion to vary the Rabi frequency of stimulated Raman transitions over two orders of magnitude, and to individually control the rates of resonant fluorescence from three ions under global laser illumination without any changes to the driving light fields. The technique is amenable to situations where addressing individual ions with focused laser beams is challenging, such as tightly packed linear ion strings or two-dimensional ion arrays illuminated from the side.


title: The performance of missing transverse momentum reconstruction and its significance with the ATLAS detector using 140 fb$^{-1}$ of $\sqrt{s}=13$ TeV $pp$ collisions

abstract: This paper presents the reconstruction of missing transverse momentum ($p_{\text{T}}^{\text{miss}}$) in proton-proton collisions, at a center-of-mass energy of 13 TeV. This is a challenging task involving many detector inputs, combining fully calibrated electrons, muons, photons, hadronically decaying $\tau$-leptons, hadronic jets, and soft activity from remaining tracks. Possible double counting of momentum is avoided by applying a signal ambiguity resolution procedure which rejects detector inputs that have already been used. Several $p_{\text{T}}^{\text{miss}}$ `working points' are defined with varying stringency of selections, the tightest improving the resolution at high pile-up by up to 30% compared to the loosest. The $p_{\text{T}}^{\text{miss}}$ performance is evaluated using data and Monte Carlo simulation, with an emphasis on understanding the impact of pile-up, primarily using events consistent with leptonic $Z$ decays. The studies use $140~\text{fb}^{-1}$ of data, collected by the ATLAS experiment at the Large Hadron Collider between 2015 and 2018. The results demonstrate that $p_{\text{T}}^{\text{miss}}$ reconstruction, and its associated significance, are well understood and reliably modelled by simulation. Finally, the systematic uncertainties on the soft $p_{\text{T}}^{\text{miss}}$ component are calculated. After various improvements the scale and resolution uncertainties are reduced by up to 76% and 51%, respectively, compared to the previous calculation at a lower luminosity.


title: Learning to Route Among Specialized Experts for Zero-Shot Generalization

abstract: Recently, there has been a widespread proliferation of "expert" language models that are specialized to a specific task or domain through parameter-efficient fine-tuning. How can we recycle large collections of expert language models to improve zero-shot generalization to unseen tasks? In this work, we propose Post-Hoc Adaptive Tokenwise Gating Over an Ocean of Specialized Experts (PHATGOOSE), which learns to route among specialized modules that were produced through parameter-efficient fine-tuning. Unlike past methods that learn to route among specialized models, PHATGOOSE explores the possibility that zero-shot generalization will be improved if different experts can be adaptively chosen for each token and at each layer in the model. Crucially, our method is post-hoc - it does not require simultaneous access to the datasets used to create the specialized models and only requires a modest amount of additional compute after each expert model is trained. In experiments covering a range of specialized model collections and zero-shot generalization benchmarks, we find that PHATGOOSE outperforms past methods for post-hoc routing and, in some cases, outperforms explicit multitask training (which requires simultaneous data access). To better understand the routing strategy learned by PHATGOOSE, we perform qualitative experiments to validate that PHATGOOSE's performance stems from its ability to make adaptive per-token and per-module expert choices. We release all of our code to support future work on improving zero-shot generalization by recycling specialized experts.


title: Privacy-Preserving Synthetic Continual Semantic Segmentation for Robotic Surgery

abstract: Deep Neural Networks (DNNs) based semantic segmentation of the robotic instruments and tissues can enhance the precision of surgical activities in robot-assisted surgery. However, in biological learning, DNNs cannot learn incremental tasks over time and exhibit catastrophic forgetting, which refers to the sharp decline in performance on previously learned tasks after learning a new one. Specifically, when data scarcity is the issue, the model shows a rapid drop in performance on previously learned instruments after learning new data with new instruments. The problem becomes worse when it limits releasing the dataset of the old instruments for the old model due to privacy concerns and the unavailability of the data for the new or updated version of the instruments for the continual learning model. For this purpose, we develop a privacy-preserving synthetic continual semantic segmentation framework by blending and harmonizing (i) open-source old instruments foreground to the synthesized background without revealing real patient data in public and (ii) new instruments foreground to extensively augmented real background. To boost the balanced logit distillation from the old model to the continual learning model, we design overlapping class-aware temperature normalization (CAT) by controlling model learning utility. We also introduce multi-scale shifted-feature distillation (SD) to maintain long and short-range spatial relationships among the semantic objects where conventional short-range spatial features with limited information reduce the power of feature distillation. We demonstrate the effectiveness of our framework on the EndoVis 2017 and 2018 instrument segmentation dataset with a generalized continual learning setting. Code is available at~\url{https://github.com/XuMengyaAmy/Synthetic_CAT_SD}.


title: Memory Consolidation Enables Long-Context Video Understanding

abstract: Most transformer-based video encoders are limited to short temporal contexts due to their quadratic complexity. While various attempts have been made to extend this context, this has often come at the cost of both conceptual and computational complexity. We propose to instead re-purpose existing pre-trained video transformers by simply fine-tuning them to attend to memories derived non-parametrically from past activations. By leveraging redundancy reduction, our memory-consolidated vision transformer (MC-ViT) effortlessly extends its context far into the past and exhibits excellent scaling behavior when learning from longer videos. In doing so, MC-ViT sets a new state-of-the-art in long-context video understanding on EgoSchema, Perception Test, and Diving48, outperforming methods that benefit from orders of magnitude more parameters.


title: Let Your Graph Do the Talking: Encoding Structured Data for LLMs

abstract: How can we best encode structured data into sequential form for use in large language models (LLMs)? In this work, we introduce a parameter-efficient method to explicitly represent structured data for LLMs. Our method, GraphToken, learns an encoding function to extend prompts with explicit structured information. Unlike other work which focuses on limited domains (e.g. knowledge graph representation), our work is the first effort focused on the general encoding of structured data to be used for various reasoning tasks. We show that explicitly representing the graph structure allows significant improvements to graph reasoning tasks. Specifically, we see across the board improvements - up to 73% points - on node, edge and, graph-level tasks from the GraphQA benchmark.


title: How Well Can LLMs Negotiate? NegotiationArena Platform and Analysis

abstract: Negotiation is the basis of social interactions; humans negotiate everything from the price of cars to how to share common resources. With rapidly growing interest in using large language models (LLMs) to act as agents on behalf of human users, such LLM agents would also need to be able to negotiate. In this paper, we study how well LLMs can negotiate with each other. We develop NegotiationArena: a flexible framework for evaluating and probing the negotiation abilities of LLM agents. We implemented three types of scenarios in NegotiationArena to assess LLM's behaviors in allocating shared resources (ultimatum games), aggregate resources (trading games) and buy/sell goods (price negotiations). Each scenario allows for multiple turns of flexible dialogues between LLM agents to allow for more complex negotiations. Interestingly, LLM agents can significantly boost their negotiation outcomes by employing certain behavioral tactics. For example, by pretending to be desolate and desperate, LLMs can improve their payoffs by 20\% when negotiating against the standard GPT-4. We also quantify irrational negotiation behaviors exhibited by the LLM agents, many of which also appear in humans. Together, \NegotiationArena offers a new environment to investigate LLM interactions, enabling new insights into LLM's theory of mind, irrationality, and reasoning abilities.


title: Permute-and-Flip: An optimally robust and watermarkable decoder for LLMs

abstract: In this paper, we propose a new decoding method called Permute-and-Flip (PF) decoder. It enjoys robustness properties similar to the standard sampling decoder, but is provably up to 2x better in its quality-robustness tradeoff than sampling and never worse than any other decoder. We also design a cryptographic watermarking scheme analogous to Aaronson's Gumbel watermark, but naturally tailored for PF decoder. The watermarking scheme does not change the distribution to sample, while allowing arbitrarily low false positive rate and high recall whenever the generated text has high entropy. Our experiments show that the PF decoder (and its watermarked counterpart) significantly outperform(s) naive sampling (and it's Gumbel watermarked counterpart) in terms of perplexity, while retaining the same robustness (and detectability), hence making it a promising new approach for LLM decoding. The code is available at https://github.com/XuandongZhao/pf-decoding


title: "Can You Play Anything Else?" Understanding Play Style Flexibility in League of Legends

abstract: This study investigates the concept of flexibility within League of Legends, a popular online multiplayer game, focusing on the relationship between user adaptability and team success. Utilizing a dataset encompassing players of varying skill levels and play styles, we calculate two measures of flexibility for each player: overall flexibility and temporal flexibility. Our findings suggest that the flexibility of a user is dependent upon a user's preferred play style, and flexibility does impact match outcome. This work also shows that skill level not only indicates how willing a player is to adapt their play style but also how their adaptability changes over time. This paper highlights the the duality and balance of mastery versus flexibility, providing insights that can inform strategic planning, collaboration and resource allocation in competitive environments.


title: A Groupoid Construction of Functional Integrals: Brownian Motion and Some TQFTs

abstract: We formalize Feynman's construction of the quantum mechanical path integral. To do this, we shift the emphasis in differential geometry from the tangent bundle onto the pair groupoid. This allows us to use the van Est map and the piecewise linear structure of manifolds to develop a coordinate-free, partition of unity-free approach to integration of differential forms, etc. This framework makes sense for any field theory valued in a Lie algebroid. We apply it to define the Wiener measure, stochastic integrals and other observables in a coordinate-free way. We use it to reconstruct Chern-Simons with finite gauge group and to obtain some non-perturbative deformation quantizations via the Poisson sigma model on a disk.

categories: math.DG hep-th math-ph math.AT math.MP math.PR


title: Exploring pseudorandom value addition operations in datasets: A layered approach to escape from normal-Gaussian patterns

abstract: In the realm of statistical exploration, the manipulation of pseudo-random values to discern their impact on data distribution presents a compelling avenue of inquiry. This article investigates the question: Is it possible to add pseudo-random values without compelling a shift towards a normal distribution?. Employing Python techniques, the study explores the nuances of pseudo-random value addition within the context of additions, aiming to unravel the interplay between randomness and resulting statistical characteristics. The Materials and Methods chapter details the construction of datasets comprising up to 300 billion pseudo-random values, employing three distinct layers of manipulation. The Results chapter visually and quantitatively explores the generated datasets, emphasizing distribution and standard deviation metrics. The study concludes with reflections on the implications of pseudo-random value manipulation and suggests avenues for future research. In the layered exploration, the first layer introduces subtle normalization with increasing summations, while the second layer enhances normality. The third layer disrupts typical distribution patterns, leaning towards randomness despite pseudo-random value summation. Standard deviation patterns across layers further illuminate the dynamic interplay of pseudo-random operations on statistical characteristics. While not aiming to disrupt academic norms, this work modestly contributes insights into data distribution complexities. Future studies are encouraged to delve deeper into the implications of data manipulation on statistical outcomes, extending the understanding of pseudo-random operations in diverse contexts.


title: EmojiCrypt: Prompt Encryption for Secure Communication with Large Language Models

abstract: Cloud-based large language models (LLMs) such as ChatGPT have increasingly become integral to daily operations, serving as vital tools across various applications. While these models offer substantial benefits in terms of accessibility and functionality, they also introduce significant privacy concerns: the transmission and storage of user data in cloud infrastructures pose substantial risks of data breaches and unauthorized access to sensitive information; even if the transmission and storage of data is encrypted, the LLM service provider itself still knows the real contents of the data, preventing individuals or entities from confidently using such LLM services. To address these concerns, this paper proposes a simple yet effective mechanism EmojiCrypt to protect user privacy. It uses Emoji to encrypt the user inputs before sending them to LLM, effectively rendering them indecipherable to human or LLM's examination while retaining the original intent of the prompt, thus ensuring the model's performance remains unaffected. We conduct experiments on three tasks, personalized recommendation, sentiment analysis, and tabular data analysis. Experiment results reveal that EmojiCrypt can encrypt personal information within prompts in such a manner that not only prevents the discernment of sensitive data by humans or LLM itself, but also maintains or even improves the precision without further tuning, achieving comparable or even better task accuracy than directly prompting the LLM without prompt encryption. These results highlight the practicality of adopting encryption measures that safeguard user privacy without compromising the functional integrity and performance of LLMs. Code and dataset are available at https://github.com/agiresearch/EmojiCrypt.


title: Adaptive Surface Normal Constraint for Geometric Estimation from Monocular Images

abstract: We introduce a novel approach to learn geometries such as depth and surface normal from images while incorporating geometric context. The difficulty of reliably capturing geometric context in existing methods impedes their ability to accurately enforce the consistency between the different geometric properties, thereby leading to a bottleneck of geometric estimation quality. We therefore propose the Adaptive Surface Normal (ASN) constraint, a simple yet efficient method. Our approach extracts geometric context that encodes the geometric variations present in the input image and correlates depth estimation with geometric constraints. By dynamically determining reliable local geometry from randomly sampled candidates, we establish a surface normal constraint, where the validity of these candidates is evaluated using the geometric context. Furthermore, our normal estimation leverages the geometric context to prioritize regions that exhibit significant geometric variations, which makes the predicted normals accurately capture intricate and detailed geometric information. Through the integration of geometric context, our method unifies depth and surface normal estimations within a cohesive framework, which enables the generation of high-quality 3D geometry from images. We validate the superiority of our approach over state-of-the-art methods through extensive evaluations and comparisons on diverse indoor and outdoor datasets, showcasing its efficiency and robustness.


title: Revisiting Schwarzschild black hole singularity through string theory

abstract: The resolution of black hole singularities represents an essential problem in the realm of quantum gravity. Due to the Belinskii, Khalatnikov and Lifshitz (BKL) proposal, the structure of the black hole interior in vacuum Einstein's equations can be described by the Kasner universe, which possesses the $O\left(d,d\right)$ symmetry. It motivates us to use the anisotropic Hohm-Zwiebach action, known as the string effective action with all orders $\alpha^{\prime}$ corrections for the $O\left(d,d\right)$ symmetric background, to study the singularity problem of black hole. In this letter, we obtain the singular condition for black holes and demonstrate that it is possible to resolve the Schwarzschild black hole singularity through the non-perturbative $\alpha^{\prime}$ corrections of string theory.


title: Kilonova Light-Curve Interpolation with Neural Networks

abstract: Kilonovae are the electromagnetic transients created by the radioactive decay of freshly synthesized elements in the environment surrounding a neutron star merger. To study the fundamental physics in these complex environments, kilonova modeling requires, in part, the use of radiative transfer simulations. The microphysics involved in these simulations results in high computational cost, prompting the use of emulators for parameter inference applications. Utilizing a training set of 22248 high-fidelity simulations, we use a neural network to efficiently train on existing radiative transfer simulations and predict light curves for new parameters in a fast and computationally efficient manner. Our neural network can generate millions of new light curves in under a minute. We discuss our emulator's degree of off-sample reliability and parameter inference of the AT2017gfo observational data. Finally, we discuss tension introduced by multi-band inference in the parameter inference results, particularly with regard to the neural network's recovery of viewing angle.


title: You've Got to Feel It To Believe It: Multi-Modal Bayesian Inference for Semantic and Property Prediction

abstract: Robots must be able to understand their surroundings to perform complex tasks in challenging environments and many of these complex tasks require estimates of physical properties such as friction or weight. Estimating such properties using learning is challenging due to the large amounts of labelled data required for training and the difficulty of updating these learned models online at run time. To overcome these challenges, this paper introduces a novel, multi-modal approach for representing semantic predictions and physical property estimates jointly in a probabilistic manner. By using conjugate pairs, the proposed method enables closed-form Bayesian updates given visual and tactile measurements without requiring additional training data. The efficacy of the proposed algorithm is demonstrated through several hardware experiments. In particular, this paper illustrates that by conditioning semantic classifications on physical properties, the proposed method quantitatively outperforms state-of-the-art semantic classification methods that rely on vision alone. To further illustrate its utility, the proposed method is used in several applications including to represent affordance-based properties probabilistically and a challenging terrain traversal task using a legged robot. In the latter task, the proposed method represents the coefficient of friction of the terrain probabilistically, which enables the use of an on-line risk-aware planner that switches the legged robot from a dynamic gait to a static, stable gait when the expected value of the coefficient of friction falls below a given threshold. Videos of these case studies as well as the open-source C++ and ROS interface can be found at https://roahmlab.github.io/multimodal_mapping/.


title: Coordinated Activity Modulates the Behavior and Emotions of Organic Users: A Case Study on Tweets about the Gaza Conflict

abstract: Social media has become a crucial conduit for the swift dissemination of information during global crises. However, this also paves the way for the manipulation of narratives by malicious actors. This research delves into the interaction dynamics between coordinated (malicious) entities and organic (regular) users on Twitter amidst the Gaza conflict. Through the analysis of approximately 3.5 million tweets from over 1.3 million users, our study uncovers that coordinated users significantly impact the information landscape, successfully disseminating their content across the network: a substantial fraction of their messages is adopted and shared by organic users. Furthermore, the study documents a progressive increase in organic users' engagement with coordinated content, which is paralleled by a discernible shift towards more emotionally polarized expressions in their subsequent communications. These results highlight the critical need for vigilance and a nuanced understanding of information manipulation on social media platforms.


title: Complexity of graph-state preparation by Clifford circuits

abstract: In this work, we study a complexity of graph-state preparation. We consider general quantum algorithms consisting of the Clifford operations on at most two qubits for graph-state preparations. We define the CZ-complexity of graph state $|G\rangle$ as the minimum number of two-qubit Clifford operations (excluding single-qubit Clifford operations) for generating $|G\rangle$ from a trivial state $|0\rangle^{\otimes n}$. We first prove that a graph state $|G\rangle$ is generated by at most $t$ two-qubit Clifford operations if and only if $|G\rangle$ is generated by at most $t$ controlled-Z (CZ) operations. We next prove that a graph state $|G\rangle$ is generated from another graph state $|H\rangle$ by $t$ CZ operations if and only if the graph $G$ is generated from $H$ by some combinatorial graph transformation with cost $t$. As the main results, we show a connection between the CZ-complexity of graph state $|G\rangle$ and the rank-width of the graph $G$. Indeed, we prove that for any graph $G$ with $n$ vertices and rank-width $r$, 1. The CZ-complexity of $|G\rangle$ is $O(rn\log n)$. 2. If $G$ is connected, the CZ-complexity of $|G\rangle$ is at least $n + r - 2$. We also show the existence of graph states whose CZ-complexities are close to the upper and lower bounds. Finally, we present quantum algorithms preparing $|G\rangle$ with $O(n)$ CZ-complexity when $G$ is included in special classes of graphs, namely, cographs, interval graphs, permutation graphs and circle graphs.


title: Generators and presentations of inverse subsemigroups of the monogenic free inverse semigroup

abstract: It was proved by Oliveira and Silva (2005) that every finitely generated inverse subsemigroup of the monogenic free inverse semigroup $FI_1$ is finitely presented. The present paper continues this development, and gives generating sets and presentations for general (i.e. not necessarily finitely generated) inverse subsemigroups of $FI_1$. For an inverse semigroup $S$ and an inverse subsemigroup $T$ of $S$, we say $S$ is finitely generated modulo $T$ if there is a finite set $A$ such that $S = \langle T, A \rangle$. Likewise, we say that $S$ is finitely presented modulo $T $ if $S$ can be defined by a presentation of the form $\text{Inv}\langle X, Y \mid R, Q\rangle$, where $\text{Inv}\langle X\mid R\rangle$ is a presentation for $T$ and $Y$ and $Q$ are finite. We show that every inverse subsemigroup $S$ of $FI_1$ is finitely generated modulo its semilattice of idempotents $E(S)$. By way of contrast, we show that when $S\neq E(S)$, it can never be finitely presented modulo $E(S)$. However, in the process we establish some nice (albeit infinite) presentations for $S$ modulo $E(S)$.


title: Federated Offline Reinforcement Learning: Collaborative Single-Policy Coverage Suffices

abstract: Offline reinforcement learning (RL), which seeks to learn an optimal policy using offline data, has garnered significant interest due to its potential in critical applications where online data collection is infeasible or expensive. This work explores the benefit of federated learning for offline RL, aiming at collaboratively leveraging offline datasets at multiple agents. Focusing on finite-horizon episodic tabular Markov decision processes (MDPs), we design FedLCB-Q, a variant of the popular model-free Q-learning algorithm tailored for federated offline RL. FedLCB-Q updates local Q-functions at agents with novel learning rate schedules and aggregates them at a central server using importance averaging and a carefully designed pessimistic penalty term. Our sample complexity analysis reveals that, with appropriately chosen parameters and synchronization schedules, FedLCB-Q achieves linear speedup in terms of the number of agents without requiring high-quality datasets at individual agents, as long as the local datasets collectively cover the state-action space visited by the optimal policy, highlighting the power of collaboration in the federated setting. In fact, the sample complexity almost matches that of the single-agent counterpart, as if all the data are stored at a central location, up to polynomial factors of the horizon length. Furthermore, FedLCB-Q is communication-efficient, where the number of communication rounds is only linear with respect to the horizon length up to logarithmic factors.


title: Well-posedness and inverse problems for semilinear nonlocal wave equations

abstract: This article is devoted to forward and inverse problems associated with time-independent semilinear nonlocal wave equations. We first establish comprehensive well-posedness results for some semilinear nonlocal wave equations. The main challenge is due to the low regularity of the solutions of linear nonlocal wave equations. We then turn to an inverse problem of recovering the nonlinearity of the equation. More precisely, we show that the exterior Dirichlet-to-Neumann map uniquely determines homogeneous nonlinearities of the form $f(x,u)$ under certain growth conditions. On the other hand, we also prove that initial data can be determined by using passive measurements under certain nonlinearity conditions. The main tools used for the inverse problem are the unique continuation principle of the fractional Laplacian and a Runge approximation property. The results hold for any spatial dimension $n\in \N$.


title: Prior-Dependent Allocations for Bayesian Fixed-Budget Best-Arm Identification in Structured Bandits

abstract: We study the problem of Bayesian fixed-budget best-arm identification (BAI) in structured bandits. We propose an algorithm that uses fixed allocations based on the prior information and the structure of the environment. We provide theoretical bounds on its performance across diverse models, including the first prior-dependent upper bounds for linear and hierarchical BAI. Our key contribution is introducing new proof methods that result in tighter bounds for multi-armed BAI compared to existing methods. We extensively compare our approach to other fixed-budget BAI methods, demonstrating its consistent and robust performance in various settings. Our work improves our understanding of Bayesian fixed-budget BAI in structured bandits and highlights the effectiveness of our approach in practical scenarios.


title: Optical Shubnikov - de Haas oscillations in 2D electron systems

abstract: We report on dynamic Shubnikov - de Haas (SdH) oscillations that are measured in the optical response, sub - terahertz transmittance of two-dimensional systems, and reveal two distinct types of oscillation nodes: "universal" nodes at integer ratios of radiation and cyclotron frequencies and "tunable" nodes at positions sensitive to all parameters of the structure. The nodes in both real and imaginary parts of the measured complex transmittance are analyzed using a dynamic version of the static Lifshitz-Kosevich formula. These results demonstrate that the node structure of the dynamic SdH oscillations provides an all-optical access to quantization- and interaction-induced renormalization effects, in addition to parameters one can obtain from the static SdH oscillations.


title: Generative Echo Chamber? Effects of LLM-Powered Search Systems on Diverse Information Seeking

abstract: Large language models (LLMs) powered conversational search systems have already been used by hundreds of millions of people, and are believed to bring many benefits over conventional search. However, while decades of research and public discourse interrogated the risk of search systems in increasing selective exposure and creating echo chambers -- limiting exposure to diverse opinions and leading to opinion polarization, little is known about such a risk of LLM-powered conversational search. We conduct two experiments to investigate: 1) whether and how LLM-powered conversational search increases selective exposure compared to conventional search; 2) whether and how LLMs with opinion biases that either reinforce or challenge the user's view change the effect. Overall, we found that participants engaged in more biased information querying with LLM-powered conversational search, and an opinionated LLM reinforcing their views exacerbated this bias. These results present critical implications for the development of LLMs and conversational search systems, and the policy governing these technologies.


title: Localized and Distributed Beyond Diagonal Reconfigurable Intelligent Surfaces with Lossy Interconnections: Modeling and Optimization

abstract: Reconfigurable intelligent surface (RIS) is a key technology to control the communication environment in future wireless networks. Recently, beyond diagonal RIS (BD-RIS) emerged as a generalization of RIS achieving larger coverage through additional tunable impedance components interconnecting the RIS elements. However, conventional RIS and BD-RIS can effectively serve only users in their proximity, resulting in limited coverage. To overcome this limitation, in this paper, we investigate distributed RIS, whose elements are distributed over a wide region, in opposition to localized RIS commonly considered in the literature. The scaling laws of distributed BD-RIS reveal that it offers significant gains over distributed conventional RIS and localized BD-RIS, enabled by its interconnections allowing signal propagation within the BD-RIS. To assess the practical performance of distributed BD-RIS, we model and optimize BD-RIS with lossy interconnections through transmission line theory. Our model accounts for phase changes and losses over the BD-RIS interconnections arising when the interconnection lengths are not much smaller than the wavelength. Numerical results show that the performance of localized BD-RIS is only slightly impacted by losses, given the short interconnection lengths. Besides, distributed BD-RIS can achieve orders of magnitude of gains over conventional RIS, even in the presence of low losses.


title: GET-Tok: A GenAI-Enriched Multimodal TikTok Dataset Documenting the 2022 Attempted Coup in Peru

abstract: TikTok is one of the largest and fastest-growing social media sites in the world. TikTok features, however, such as voice transcripts, are often missing and other important features, such as OCR or video descriptions, do not exist. We introduce the Generative AI Enriched TikTok (GET-Tok) data, a pipeline for collecting TikTok videos and enriched data by augmenting the TikTok Research API with generative AI models. As a case study, we collect videos about the attempted coup in Peru initiated by its former President, Pedro Castillo, and its accompanying protests. The data includes information on 43,697 videos published from November 20, 2022 to March 1, 2023 (102 days). Generative AI augments the collected data via transcripts of TikTok videos, text descriptions of what is shown in the videos, what text is displayed within the video, and the stances expressed in the video. Overall, this pipeline will contribute to a better understanding of online discussion in a multimodal setting with applications of Generative AI, especially outlining the utility of this pipeline in non-English-language social media. Our code used to produce the pipeline is in a public Github repository: https://github.com/gabbypinto/GET-Tok-Peru.


title: Thermodynamics of Mixtures Containing a Strongly Polar Compound. 9. Liquid-Liquid Equilibria for $\epsilon$-CAPROLACTAM + Selected Alkanes

abstract: The coexistence curves of the liquid-liquid equilibria (LLE) for systems of -caprolactam with heptane, octane, nonane, decane or 2,2,4-trimethylpentane have been determined by the method of the critical opalescence using a laser scattering technique. All the curves show an upper critical solution temperature (UCST), have a rather horizontal top and their symmetry depends on the size of the alkane. The UCST increases almost linearly with the chain length of the n-alkane. For the octane mixture, the UCST is lower than for the solution including 2,2,4-trimethylpentane.


title: Cutsets and EF1 Fair Division of Graphs

abstract: In fair division of a connected graph $G = (V, E)$, each of $n$ agents receives a share of $G$'s vertex set $V$. These shares partition $V$, with each share required to induce a connected subgraph. Agents use their own valuation functions to determine the non-negative numerical values of the shares, which determine whether the allocation is fair in some specified sense. We introduce forbidden substructures called graph cutsets, which block divisions that are fair in the EF1 (envy-free up to one item) sense by cutting the graph into "too many pieces". Two parameters - gap and valence - determine blocked values of $n$. If $G$ guarantees connected EF1 allocations for $n$ agents with valuations that are CA (common and additive), then $G$ contains no elementary cutset of gap $k \ge 2$ and valence in the interval $\[n - k + 1, n - 1\]$. If $G$ guarantees connected EF1 allocations for $n$ agents with valuations in the broader CM (common and monotone) class, then $G$ contains no cutset of gap $k \ge 2$ and valence in the interval $\[n - k + 1, n - 1\]$. These results rule out the existence of connected EF1 allocations in a variety of situations. For some graphs $G$ we can, with help from some new positive results, pin down $G$'s spectrum - the list of exactly which values of $n$ do/do not guarantee connected EF1 allocations. Examples suggest a conjectured common spectral pattern for all graphs. Further, we show that it is NP-hard to determine whether a graph admits a cutset. We also provide an example of a (non-traceable) graph on eight vertices that has no cutsets of gap $\ge 2$ at all, yet fails to guarantee connected EF1 allocations for three agents with CA preferences.


title: EUGENE: Explainable Unsupervised Approximation of Graph Edit Distance

abstract: The need to identify graphs having small structural distance from a query arises in biology, chemistry, recommender systems, and social network analysis. Among several methods to measure inter graph distance, Graph Edit Distance (GED) is preferred for its comprehensibility, yet hindered by the NP-hardness of its computation. State-of-the-art GED approximations predominantly employ neural methods, which, however, (i) lack an explanatory edit path corresponding to the approximated GED; (ii) require the NP-hard generation of ground-truth GEDs for training; and (iii) necessitate separate training on each dataset. In this paper, we propose an efficient algebraic unsuper vised method, EUGENE, that approximates GED and yields edit paths corresponding to the approx imated cost, while eliminating the need for ground truth generation and data-specific training. Extensive experimental evaluation demonstrates that the aforementioned benefits of EUGENE do not come at the cost of efficacy. Specifically, EUGENE consistently ranks among the most accurate methods across all of the benchmark datasets and outperforms majority of the neural approaches.


title: The impact of high frequency-based stability on the onset of action potentials in neuron models

abstract: This paper studies the phenomenon of conduction block in model neurons using high-frequency biphasic stimulation (HFBS). The focus is investigating the triggering of undesired onset action potentials when the HFBS is turned on. The approach analyzes the transient behavior of an averaged system corresponding to the FitzHugh-Nagumo neuron model using Lyapunov and quasi-static methods. The first result provides a more comprehensive understanding of the onset activation through a mathematical proof of how to avoid it using a ramp in the amplitude of the oscillatory source. The second result tests the response of the blocked system to a piecewise linear stimulus, providing a quantitative description of how the HFBS strength translates into conduction block robustness. The results of this work can provide insights for the design of electrical neurostimulation therapies.


title: Sandwiched Compression: Repurposing Standard Codecs with Neural Network Wrappers

abstract: We propose sandwiching standard image and video codecs between pre- and post-processing neural networks. The networks are jointly trained through a differentiable codec proxy to minimize a given rate-distortion loss. This sandwich architecture not only improves the standard codec's performance on its intended content, it can effectively adapt the codec to other types of image/video content and to other distortion measures. Essentially, the sandwich learns to transmit ``neural code images'' that optimize overall rate-distortion performance even when the overall problem is well outside the scope of the codec's design. Through a variety of examples, we apply the sandwich architecture to sources with different numbers of channels, higher resolution, higher dynamic range, and perceptual distortion measures. The results demonstrate substantial improvements (up to 9 dB gains or up to 30\% bitrate reductions) compared to alternative adaptations. We derive VQ equivalents for the sandwich, establish optimality properties, and design differentiable codec proxies approximating current standard codecs. We further analyze model complexity, visual quality under perceptual metrics, as well as sandwich configurations that offer interesting potentials in image/video compression and streaming.


title: Safeguarding Oscillators and Qudits with Distributed Two-Mode Squeezing

abstract: Recent advancements in multimode Gottesman-Kitaev-Preskill (GKP) codes have shown great promise in enhancing the protection of both discrete and analog quantum information. This broadened range of protection brings opportunities beyond quantum computing to benefit quantum sensing by safeguarding squeezing -- the essential resource in many quantum metrology protocols. However, it is less explored how quantum sensing can benefit quantum error correction. In this work, we provide a unique example where techniques from quantum sensing can be applied to improve multimode GKP codes. Inspired by distributed quantum sensing, we propose the distributed two-mode squeezing (dtms) GKP codes that offer benefits in error correction with minimal active encoding operations. In fact, the proposed codes rely on a single (active) two-mode squeezing element and an array of beamsplitters that effectively distributes continuous-variable correlations to many GKP ancillae, similar to continuous-variable distributed quantum sensing. Despite this simple construction, the code distance achievable with dtms-GKP qubit codes is comparable to previous results obtained through brute-force numerical search [PRX Quantum 4, 040334 (2023)]. Moreover, these codes enable analog noise suppression beyond that of the best-known two-mode codes [Phys. Rev. Lett. 125, 080503 (2020)] without requiring an additional squeezer. We also provide a simple two-stage decoder for the proposed codes, which appears near-optimal for the case of two modes and permits analytical evaluation.


title: CREMA: Generalizable and Efficient Video-Language Reasoning via Multimodal Modular Fusion

abstract: Despite impressive advancements in recent multimodal reasoning approaches, they are still limited in flexibility and efficiency, as these models typically process only a few fixed modality inputs and require updates to numerous parameters. This paper tackles these critical challenges and proposes CREMA, a generalizable, highly efficient, and modular modality-fusion framework that can incorporate any new modality to enhance video reasoning. We first augment multiple informative modalities (such as optical flow, 3D point cloud, audio, thermal heatmap, and touch map) from given videos without extra human annotation by leveraging sensors or existing pre-trained models. Next, we introduce a query transformer with multiple parameter-efficient modules associated with each accessible modality. It projects diverse modality features to the LLM token embedding space, allowing the model to integrate different data types for response generation. Furthermore, we propose a novel progressive multimodal fusion design supported by a lightweight fusion module and modality-sequential training strategy. It helps compress information across various assisting modalities, maintaining computational efficiency in the LLM while improving performance. We validate our method on 7 video-language reasoning tasks assisted by diverse modalities, including conventional VideoQA and Video-Audio/3D/Touch/Thermal QA, and achieve better/equivalent performance against strong multimodal LLMs, including OneLLM, BLIP-2, and SeViLA while reducing over 90% trainable parameters. We provide extensive analyses of CREMA, including the impact of each modality on reasoning domains, the design of the fusion module, and example visualizations.


title: Thermodynamics of ketone + amine mixtures: Part II. Volumetric and speed of sound data at (293.15, 298.15 and 303.15) K for 2-propanone + dipropylamine, + dibutylamine or + triethylamine systems

abstract: Densities, $\rho$ , and speeds of sound, $u$, of 2-propanone + dipropylamine,+ dibutylamine or + triethylamine systems have been measured at (293.15, 298.15 and 303.15) K and atmospheric pressure using a vibrating tube densimeter and sound analyser Anton Paar model DSA-5000. The $\rho$ and $u$ values were used to calculate excess molar volumes, $V^{E}$, and the excess functions at 298.15 K for the thermal expansion coefficient, $\alpha_{p}^{E}$, and for the isentropic compressibility, $\kappa_{S}^{E}$ at 298.15 K. $V^{E}$, $\kappa_{S}^{E}$ and $\alpha_{p}^{E}$ are positive magnitudes. When replacing dipropylamine by dibutylamine or triethylamine in the studied mixtures, the excess functions increase. This may be ascribed to the interactions between unlike molecules are more important in the former solutions. From the comparison with similar data obtained for 2-propanone + aniline, + N-methylaniline, or + pyridine systems, it is concluded that interactions between unlike molecules are stronger in mixtures containing aromatic amines. Free volume effects are present in solutions with dipropyl or dibutylamine as the $V^{E}$ curves are shifted towards higher mole fractions of 2-propanone.


title: On benefits of cooperation under strategic power

abstract: We introduce a new model involving TU-games and exogenous structures. Specifically, we consider that each player in a population can choose an element in a strategy set and that, for every possible strategy profile, a TU-game is associated with the population. This is what we call a TU-game with strategies. We propose and characterize the maxmin procedure to map every game with strategies to a TU-game. We also study whether or not the relevant properties of TU-games are transmitted by applying the maxmin procedure. Finally, we examine two relevant classes of TU-games with strategies: airport and simple games with strategies.


title: Mamba-ND: Selective State Space Modeling for Multi-Dimensional Data

abstract: In recent years, Transformers have become the de-facto architecture for sequence modeling on text and a variety of multi-dimensional data, such as images and video. However, the use of self-attention layers in a Transformer incurs prohibitive compute and memory complexity that scales quadratically w.r.t. the sequence length. A recent architecture, Mamba, based on state space models has been shown to achieve comparable performance for modeling text sequences, while scaling linearly with the sequence length. In this work, we present Mamba-ND, a generalized design extending the Mamba architecture to arbitrary multi-dimensional data. Our design alternatively unravels the input data across different dimensions following row-major orderings. We provide a systematic comparison of Mamba-ND with several other alternatives, based on prior multi-dimensional extensions such as Bi-directional LSTMs and S4ND. Empirically, we show that Mamba-ND demonstrates performance competitive with the state-of-the-art on a variety of multi-dimensional benchmarks, including ImageNet-1K classification, HMDB-51 action recognition, and ERA5 weather forecasting.


title: Personalizing Driver Safety Interfaces via Driver Cognitive Factors Inference

abstract: Recent advances in AI and intelligent vehicle technology hold promise to revolutionize mobility and transportation, in the form of advanced driving assistance (ADAS) interfaces. Although it is widely recognized that certain cognitive factors, such as impulsivity and inhibitory control, are related to risky driving behavior, play a significant role in on-road risk-taking, existing systems fail to leverage such factors. Varying levels of these cognitive factors could influence the effectiveness and acceptance of driver safety interfaces. We demonstrate an approach for personalizing driver interaction via driver safety interfaces that are triggered based on a learned recurrent neural network. The network is trained from a population of human drivers to infer impulsivity and inhibitory control from recent driving behavior. Using a high-fidelity vehicle motion simulator, we demonstrate the ability to deduce these factors from driver behavior. We then use these inferred factors to make instantaneous determinations on whether or not to engage a driver safety interface. This interface aims to decrease a driver's speed during yellow lights and reduce their inclination to run through them.


title: Large Language Model Meets Graph Neural Network in Knowledge Distillation

abstract: In service-oriented architectures, accurately predicting the Quality of Service (QoS) is crucial for maintaining reliability and enhancing user satisfaction. However, significant challenges remain due to existing methods always overlooking high-order latent collaborative relationships between users and services and failing to dynamically adjust feature learning for every specific user-service invocation, which are critical for learning accurate features. Additionally, reliance on RNNs for capturing QoS evolution hampers models' ability to detect long-term trends due to difficulties in managing long-range dependencies. To address these challenges, we propose the \underline{T}arget-Prompt \underline{O}nline \underline{G}raph \underline{C}ollaborative \underline{L}earning (TOGCL) framework for temporal-aware QoS prediction. TOGCL leverages a dynamic user-service invocation graph to model historical interactions, providing a comprehensive representation of user-service relationships. Building on this graph, it develops a target-prompt graph attention network to extract online deep latent features of users and services at each time slice, simultaneously considering implicit collaborative relationships between target users/services and their neighbors, as well as relevant historical QoS values. Additionally, a multi-layer Transformer encoder is employed to uncover temporal feature evolution patterns of users and services, leading to temporal-aware QoS prediction. Extensive experiments conducted on the WS-DREAM dataset demonstrate that our proposed TOGCL framework significantly outperforms state-of-the-art methods across multiple metrics, achieving improvements of up to 38.80\%. These results underscore the effectiveness of the TOGCL framework for precise temporal QoS prediction.


title: Combining Voting and Abstract Argumentation to Understand Online Discussions

abstract: Online discussion platforms are a vital part of the public discourse in a deliberative democracy. However, how to interpret the outcomes of the discussions on these platforms is often unclear. In this paper, we propose a novel and explainable method for selecting a set of most representative, consistent points of view by combining methods from computational social choice and abstract argumentation. Specifically, we model online discussions as abstract argumentation frameworks combined with information regarding which arguments voters approve of. Based on ideas from approval-based multiwinner voting, we introduce several voting rules for selecting a set of preferred extensions that represents voters' points of view. We compare the proposed methods across several dimensions, theoretically and in numerical simulations, and give clear suggestions on which methods to use depending on the specific situation.


title: Probing the small scale structure of the Inter-Galactic Medium with ESPRESSO: spectroscopy of the lensed QSO UM673

abstract: The gravitationally lensed quasar J014516.6-094517 at z=2.719 has been observed with the ESPRESSO instrument at the ESO VLT to obtain high-fidelity spectra of the two images A and B with a resolving power R=70000. At the redshifts under investigation (2.1 < z < 2.7), the Lyman forests along the two sightlines are separated by sub-kiloparsec physical distances and exhibit a strong correlation. We find that the two forests are indistinguishable at the present level of signal-to-noise ratio and do not show any global velocity shift, with the cross-correlation peaking at $\Delta v = 12 \pm 48$ m/s. The distribution of the difference in velocity of individual Lyman-$\alpha$ features is compatible with a null average and a mean absolute deviation of 930 m/s. Significant differences in NHI column density are not detected, putting a limit to the RMS fluctuation in the baryon density on $\leq 1$ proper kpc scales of $\Delta \rho / \rho < 3$%. On the other hand, metal lines show significant differences both in velocity structure and in column density. A toy model shows that the difference in velocity of the metal features between the two sightlines is compatible with the the motions of the baryonic component associated to dark matter halos of typical mass $M\simeq 2\times 10^{10} M_\odot$, also compatible with the observed incidence of the metal systems. The present observations confirm the feasibility of the Sandage test of the cosmic redshift drift with high-fidelity spectroscopy of the Lyman forest of distant, bright quasars, but also provide an element of caution about the intrinsic noise associated to the usage of metal features for the same purpose.


title: Simulating a numerical UV Completion of Quartic Galileons

abstract: The Galileon theory is a prototypical effective field theory that incorporates the Vainshtein screening mechanism--a feature that arises in some extensions of General Relativity, such as massive gravity. The Vainshtein effect requires that the theory contain higher order derivative interactions, which results in Galileons, and theories like them, failing to be technically well-posed. While this is not a fundamental issue when the theory is correctly treated as an effective field theory, it nevertheless poses significant practical problems when numerically simulating this model. These problems can be tamed using a number of different approaches: introducing an active low-pass filter and/or constructing a UV completion at the level of the equations of motion, which controls the high momentum modes. These methods have been tested on cubic Galileon interactions, and have been shown to reproduce the correct low-energy behavior. Here we show how the numerical UV-completion method can be applied to quartic Galileon interactions, and present the first simulations of the quartic Galileon model using this technique. We demonstrate that our approach can probe physics in the regime of the effective field theory in which the quartic term dominates, while successfully reproducing the known results for cubic interactions.


title: Scalar Radiation with a Quartic Galileon

abstract: The class of Galileon scalar fields theories encapsulate the Vainshtein screening mechanism which is characteristic of a large range of infrared modified theories of gravity. Such theories can lead to testable departures from General Relativity through fifth forces and new scalar modes of gravitational radiation. However, the inherent non-linearity of the Vainshtein mechanism has limited analytic attempts to describe Galileon theories with both cubic and quartic interactions. To improve on this, we perform direct numerical simulations of the quartic Galileon model for a rotating binary source and infer the power spectrum of given multipoles. To tame numerical instabilities we utilize a low-pass filter, extending previous work on the cubic Galileon. Our findings show that the multipole expansion is well-defined and under control. Moreover, our results confirm that despite being a non-linear scalar, the dominant Galileon radiation is quadrupole, and we find a new scaling behaviour deep inside the Vainshtein region.


title: Dielectric and refractive index measurements for the systems 1-pentanol + octane, or + dibutyl ether or for dibutyl ether + octane at different temperatures

abstract: Relative permittivities, $\varepsilon_{r}$, and refractive indixes, $n_{D}$, have been measured at (288.15-308.15) K and (293.15-303.15) K, respectively, for the mixtures 1-pentanol + octane, or + dibutyl ether and dibutyl ether + octane. These data have been used, together with density measurements available in the literature, to determine the correlation factor, $g_{K}$, for the studied systems according to the Kirkwood-Fr\"ohlich equations. Results show that the existence of cyclic species of 1-pentanol are predominant at low concentrations of this alkanol when is mixed with octane. These species are broken in large extent by the more active molecules of oxaalkane in the dibutyl ether mixtures, which is in agreement with calorimetric data. The dibutyl ether + octane system does not show meaningful structure. These conclusions are confirmed by values of the molar polarization and by the temperature dependence of $\varepsilon_{r}$. The empirical expressions of Lorentz-Lorenz, Wiener, Heller, Gladstone-Dale and Newton correlate well the $n_{D}$ data.


title: High-precision atmospheric characterization of a Y dwarf with JWST NIRSpec G395H spectroscopy: isotopologue, C/O ratio, metallicity, and the abundances of six molecular species

abstract: The launch of the James Webb Space Telescope (JWST) marks a pivotal moment for precise atmospheric characterization of Y dwarfs, the coldest brown dwarf spectral type. In this study, we leverage moderate spectral resolution observations (R $\sim$ 2700) with the G395H grating of the Near-Infrared Spectrograph (NIRSpec) onboard of JWST to characterize the nearby (9.9 pc) Y dwarf WISEPA J182831.08+265037.8 (WISE 1828). With the NIRSpec G395H 2.88-5.12 $\mathrm{\mu}$m spectrum, we measure the abundances of CO, CO$_2$, CH$_4$, H$_2$S, NH$_3$, and H$_2$O, which are the major carbon, nitrogen, oxygen, and sulfur bearing species in the atmosphere. Based on the retrieved volume mixing ratios with the atmospheric retrieval framework CHIMERA, we report that the C/O ratio is $0.45 \pm 0.01$, close to the solar C/O value of 0.55, and the metallicity to be +0.30 $\pm$ 0.02 dex. Comparison between the retrieval results with the forward modeling results suggests that the model bias for C/O and metallicity could be as high as 0.03 and 0.97 dex respectively. We also report a lower limit of the $^{12}$CO/$^{13}$CO ratio of $>40 $, being consistent with the nominal solar value of 90. Our results highlight the potential of JWST in measuring the C/O ratios down to percent-level precision and characterizing isotopologues of cold planetary atmospheres similar to WISE 1828.


title: Explaining the $B^+\to K^+ \nu \bar{\nu}$ excess via a massless dark photon

abstract: The Belle II collaboration has recently observed the rare decay $B^+\to K^+ \nu \bar{\nu}$, finding an excess with respect to the Standard Model prediction. We explore the possibility that the data entails long-distance interactions induced by a massless dark photon, $\gamma_{\scriptscriptstyle{D}}$. This couples at the tree-level to an invisible, dark sector and to the Standard Model via higher-dimensional operators, such as the chromomagnetic-dipole coupling that we use to explain the excess. As the process $B^+\to K^+ \gamma_{\scriptscriptstyle{D}}$ is forbidden by angular momentum conservation, the transition mediated by the off-shell dark photon yields a three-body final state comprising a pair of dark fermions that show as a missing energy continuum in the detector, faking the neutrino signature. We show that the Belle II data is explained for perturbative values of the parameters of the model. This scenario predicts new contributions to the neutral $B$ meson decays $B^0\to K^* \gamma_{\scriptscriptstyle{D}}$, in which the emission of a on-shell dark photon is allowed, yielding a monochromatic missing energy signature. Analogously, an excess due to the emission of a dark photon is predicted for the $B^0_s\to \phi + E_{\rm miss}$ decay that could be scrutinized next at the LHCb experiments.


title: ClickSAM: Fine-tuning Segment Anything Model using click prompts for ultrasound image segmentation

abstract: The newly released Segment Anything Model (SAM) is a popular tool used in image processing due to its superior segmentation accuracy, variety of input prompts, training capabilities, and efficient model design. However, its current model is trained on a diverse dataset not tailored to medical images, particularly ultrasound images. Ultrasound images tend to have a lot of noise, making it difficult to segment out important structures. In this project, we developed ClickSAM, which fine-tunes the Segment Anything Model using click prompts for ultrasound images. ClickSAM has two stages of training: the first stage is trained on single-click prompts centered in the ground-truth contours, and the second stage focuses on improving the model performance through additional positive and negative click prompts. By comparing the first stage predictions to the ground-truth masks, true positive, false positive, and false negative segments are calculated. Positive clicks are generated using the true positive and false negative segments, and negative clicks are generated using the false positive segments. The Centroidal Voronoi Tessellation algorithm is then employed to collect positive and negative click prompts in each segment that are used to enhance the model performance during the second stage of training. With click-train methods, ClickSAM exhibits superior performance compared to other existing models for ultrasound image segmentation.


title: Neuronal functional connectivity graph estimation with the R package neurofuncon

abstract: Researchers continue exploring neurons' intricate patterns of activity in the cerebral visual cortex in response to visual stimuli. The way neurons communicate and optimize their interactions with each other under different experimental conditions remains a topic of active investigation. Probabilistic Graphical Models are invaluable tools in neuroscience research, as they let us identify the functional connections, or conditional statistical dependencies, between neurons. Graphical models represent these connections as a graph, where nodes represent neurons and edges indicate the presence of functional connections between them. We developed the R package neurofuncon for the computation and visualization of functional connectivity graphs from large-scale data based on the Graphical lasso. We illustrate the use of this package with publicly available two-photon calcium microscopy imaging data from approximately 10000 neurons in a 1mm cubic section of a mouse visual cortex.


title: FACT-GPT: Fact-Checking Augmentation via Claim Matching with LLMs

abstract: Our society is facing rampant misinformation harming public health and trust. To address the societal challenge, we introduce FACT-GPT, a system leveraging Large Language Models (LLMs) to automate the claim matching stage of fact-checking. FACT-GPT, trained on a synthetic dataset, identifies social media content that aligns with, contradicts, or is irrelevant to previously debunked claims. Our evaluation shows that our specialized LLMs can match the accuracy of larger models in identifying related claims, closely mirroring human judgment. This research provides an automated solution for efficient claim matching, demonstrates the potential of LLMs in supporting fact-checkers, and offers valuable resources for further research in the field.