title: Sample as You Infer: Predictive Coding With Langevin Dynamics

abstract: We present a novel algorithm for parameter learning in generic deep generative models that builds upon the predictive coding (PC) framework of computational neuroscience. Our approach modifies the standard PC algorithm to bring performance on-par and exceeding that obtained from standard variational auto-encoder (VAE) training. By injecting Gaussian noise into the PC inference procedure we re-envision it as an overdamped Langevin sampling, which facilitates optimisation with respect to a tight evidence lower bound (ELBO). We improve the resultant encoder-free training method by incorporating an encoder network to provide an amortised warm-start to our Langevin sampling and test three different objectives for doing so. Finally, to increase robustness to the sampling step size and reduce sensitivity to curvature, we validate a lightweight and easily computable form of preconditioning, inspired by Riemann Manifold Langevin and adaptive optimizers from the SGD literature. We compare against VAEs by training like-for-like generative models using our technique against those trained with standard reparameterisation-trick-based ELBOs. We observe our method out-performs or matches performance across a number of metrics, including sample quality, while converging in a fraction of the number of SGD training iterations.


title: A Joint Gradient and Loss Based Clustered Federated Learning Design

abstract: In this paper, a novel clustered FL framework that enables distributed edge devices with non-IID data to independently form several clusters in a distributed manner and implement FL training within each cluster is proposed. In particular, our designed clustered FL algorithm must overcome two challenges associated with FL training. First, the server has limited FL training information (i.e., the parameter server can only obtain the FL model information of each device) and limited computational power for finding the differences among a large amount of devices. Second, each device does not have the data information of other devices for device clustering and can only use global FL model parameters received from the server and its data information to determine its cluster identity, which will increase the difficulty of device clustering. To overcome these two challenges, we propose a joint gradient and loss based distributed clustering method in which each device determines its cluster identity considering the gradient similarity and training loss. The proposed clustering method not only considers how a local FL model of one device contributes to each cluster but also the direction of gradient descent thus improving clustering speed. By delegating clustering decisions to edge devices, each device can fully leverage its private data information to determine its own cluster identity, thereby reducing clustering overhead and improving overall clustering performance. Simulation results demonstrate that our proposed clustered FL algorithm can reduce clustering iterations by up to 99% compared to the existing baseline.


title: Smoothed particle magnetohydrodynamics

abstract: Smoothed particle magnetohydrodynamics has reached a level of maturity that enables the study of a wide range of astrophysical problems. In this review, the numerical details of the modern SPMHD method are described. The three fundamental components of SPMHD are methods to evolve the magnetic field in time, calculate accelerations from the magnetic field, and maintain the divergence-free constraint on the magnetic field (no monopoles). The connection between these three requirements in SPMHD will be highlighted throughout. The focus of this review is on the methods that work well in practice, with discussion on why they work well and other approaches do not. Numerical instabilities will be discussed, as well as strategies to overcome them. The inclusion of non-ideal MHD effects will be presented. A prospective outlook on possible avenues for further improvements will be discussed.

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.HE astro-ph.SR


title: Advanced storage ring lattice options based on hybrid six-bend achromat for Stanford Synchrotron Radiation Lightsource upgrade

abstract: Three storage ring lattices have been designed as options for a future upgrade of the Stanford synchrotron radiation lightsource (SSRL). The three options differ in circumference and targeted future site, with one to be built in the tunnel of the present SPEAR3 ring, one as a green field ring on the SLAC campus, and the third in the tunnel of the decommissioned PEP-II ring. The lattices are based on the newly proposed hybrid 6-bend achromat (H6BA) lattice cells, which is ideal for pushing the photon beam brightness while achieving excellent nonlinear dynamics performance. The transparent matching conditions are enforced to minimize the negative impact of the loss of periodicity due to insertion of various long straight sections. Numerical optimization is performed to further improve the nonlinear dynamics. In addition to reaching very low emittances, the lattices can accommodate traditional off-axis injection and achieve beam lifetimes similar to or exceeding that of typical third generation rings.


title: MAIRA-1: A specialised large multimodal model for radiology report generation

abstract: We present a radiology-specific multimodal model for the task for generating radiological reports from chest X-rays (CXRs). Our work builds on the idea that large language model(s) can be equipped with multimodal capabilities through alignment with pre-trained vision encoders. On natural images, this has been shown to allow multimodal models to gain image understanding and description capabilities. Our proposed model (MAIRA-1) leverages a CXR-specific image encoder in conjunction with a fine-tuned large language model based on Vicuna-7B, and text-based data augmentation, to produce reports with state-of-the-art quality. In particular, MAIRA-1 significantly improves on the radiologist-aligned RadCliQ metric and across all lexical metrics considered. Manual review of model outputs demonstrates promising fluency and accuracy of generated reports while uncovering failure modes not captured by existing evaluation practices. More information and resources can be found on the project website: https://aka.ms/maira.


title: Riemannian $\lambda_1$-extremal Metrics on Generalized Flag Manifolds

abstract: In this work, we will expose new classification results concerning $\lambda_1$-extremality for partial flag manifolds using a sufficient and necessary condition, in terms of Lie theoretic data, for a K\"ahler-Einstein metric over a generalized flag manifold to be a critical point for the functional that assigns for each Riemannian metric its first positive eigenvalue of the associated Laplacian.


title: Explicit error-correction scheme and code distance for bosonic codes with rotational symmetry

abstract: Bosonic codes with rotational symmetry are currently one of the best performing quantum error correcting codes. Little is known about error propagation and code distance for these rotation codes in contrast with qubit codes and Bosonic codes with translation symmetry. We use a general purpose error basis that is naturally suited to codes with rotation symmetry to compute how errors propagate through gates. This error basis allows us to give an explicit error detection, decoding, and correction scheme for any code with rotation symmetry. We also prove that codes with an $N$-fold rotation symmetry have a distance of $(d_n, d_\theta)=(N, \pi/N)$ with respect to number and rotation errors.


title: The origin of very-high-energy gamma-rays from GRB 221009A: implications for reverse shock proton synchrotron emission

abstract: Recently, GRB 221009A, known as the brightest of all time (BOAT), has been observed across an astounding range of $\sim 18$ orders of magnitude in energy, spanning from radio to VHE bands. Notably, the Large High Altitude Air Shower Observatory (LHAASO) recorded over $60000$ photons with energies exceeding $0.2\rm~TeV$, including the first-ever detection of photons above $10\rm~TeV$. However, explaining the observed energy flux evolution in the VHE band alongside late-time multi-wavelength data poses a significant challenge. Our approach involves a two-component structured jet model, consisting of a narrow core dominated by magnetic energy and a wide jet component dominated by matter. We show that the combination of the forward shock electron synchrotron self-Compton emission from both jets and reverse shock proton synchrotron emission from the wide jet could account for both the energy flux and spectral evolution in the VHE band, and the early TeV lightcurve may be influenced by prompt photons which could explain the initial steep rising phase. We noticed the arrival time of the highest energy photons detected by LHAASO-KM2A coincident with the peak of the reverse shock proton synchrotron emission, especially a minor flare occurring about $\sim500-800$ seconds after the trigger, coinciding with the observed spectral hardening and arrival time of the $\sim 13\rm~TeV$ photons detected by LHAASO. These findings imply that the GRB reverse shock may serve as a potential accelerator of ultra-high-energy cosmic rays, a hypothesis that could be tested through future multimessenger observations.


title: Feedback stabilization of Convective Brinkman-Forchheimer Extended Darcy equations

abstract: In this article, the following controlled convective Brinkman-Forchheimer extended Darcy (CBFeD) system is considered in a $d$-dimensional torus: \begin{align*} \frac{\partial\boldsymbol{y}}{\partial t}-\mu \Delta\boldsymbol{y}+(\boldsymbol{y}\cdot\nabla)\boldsymbol{y}+\alpha\boldsymbol{y}+\beta\vert \boldsymbol{y}\vert ^{r-1}\boldsymbol{y}+\gamma\vert \boldsymbol{y}\vert ^{q-1}\boldsymbol{y}+\nabla p=\boldsymbol{g}+\boldsymbol{u},\ \nabla\cdot\boldsymbol{y}=0, \end{align*} where $d\in\{2,3\}$, $\mu,\alpha,\beta>0$, $\gamma\in\mathbb{R}$, $r,q\in[1,\infty)$ with $r>q\geq 1$. We prove the exponential stabilization of CBFeD system by finite- and infinite-dimensional feedback controllers. The solvability of the controlled problem is achieved by using the abstract theory of $m$-accretive operators and density arguments. As an application of the above solvability result, by using infinite-dimensional feedback controllers, we demonstrate exponential stability results such that the solution preserves an invariance condition for a given closed and convex set. By utilizing the unique continuation property of controllability for finite-dimensional systems, we construct a finite-dimensional feedback controller which exponentially stabilizes CBFeD system locally, where the control is localized in a smaller subdomain. Furthermore, we establish the local exponential stability of CBFeD system via proportional controllers.


title: On the Size Overhead of Pairwise Spanners

abstract: Given an undirected possibly weighted $n$-vertex graph $G=(V,E)$ and a set $\mathcal{P}\subseteq V^2$ of pairs, a subgraph $S=(V,E')$ is called a ${\cal P}$-pairwise $\alpha$-spanner of $G$, if for every pair $(u,v)\in\mathcal{P}$ we have $d_S(u,v)\leq\alpha\cdot d_G(u,v)$. The parameter $\alpha$ is called the stretch of the spanner, and its size overhead is define as $\frac{|E'|}{|{\cal P}|}$. A surprising connection was recently discussed between the additive stretch of $(1+\epsilon,\beta)$-spanners, to the hopbound of $(1+\epsilon,\beta)$-hopsets. A long sequence of works showed that if the spanner/hopset has size $\approx n^{1+1/k}$ for some parameter $k\ge 1$, then $\beta\approx\left(\frac1\epsilon\right)^{\log k}$. In this paper we establish a new connection to the size overhead of pairwise spanners. In particular, we show that if $|{\cal P}|\approx n^{1+1/k}$, then a ${\cal P}$-pairwise $(1+\epsilon)$-spanner must have size at least $\beta\cdot |{\cal P}|$ with $\beta\approx\left(\frac1\epsilon\right)^{\log k}$ (a near matching upper bound was recently shown in \cite{ES23}). We also extend the connection between pairwise spanners and hopsets to the large stretch regime, by showing nearly matching upper and lower bounds for ${\cal P}$-pairwise $\alpha$-spanners. In particular, we show that if $|{\cal P}|\approx n^{1+1/k}$, then the size overhead is $\beta\approx\frac k\alpha$. A source-wise spanner is a special type of pairwise spanner, for which ${\cal P}=A\times V$ for some $A\subseteq V$. A prioritized spanner is given also a ranking of the vertices $V=(v_1,\dots,v_n)$, and is required to provide improved stretch for pairs containing higher ranked vertices. By using a sequence of reductions, we improve on the state-of-the-art results for source-wise and prioritized spanners.


title: Electron-phonon mediated superconductivity in R$_6$Ni$_5$O$_{12}$ nickel oxides

abstract: Nickel oxide superconductors offer an alternative playground for understanding the formation of Cooper pairs in correlated materials such as the famous cuprates. By studying the La$_{n+1}$Ni$_n$O$_{2n+2}$ phase diagram on the basis of hybrid and spin-polarized density functional theory simulations, we reveal the existence of charge and bond ordered (CBO) insulating phases that are quenched by doping effects, ultimately resulting in a metallic phase at the $n=5$ member. Nevertheless, the phonons associated with the CBO identified in the phase diagram remain sufficiently large to mediate Cooper pairs in La$_6$Ni$_5$O$_{12}$, yielding a computed critical temperature between $T_c=11-19$ K consistent with the 13 K observed experimentally in Nd$_6$Ni$_5$O$_{12}$. Thus, in order to identify the superconducting mechanism, extracting the relevant instabilities in the doping phase diagram of superconductors appears critical.


title: Noisy kinetic-exchange opinion model with aging

abstract: We study the critical behavior of a noisy kinetic opinion model subject to resilience to change depending on aging, defined as the time spent on the current opinion state. In this model, the opinion of each agent can take the three discrete values, the extreme ones $\pm 1$, and also the intermediate value 0, and it can evolve through kinetic exchange when interacting with another agent, or independently, by stochastic choice (noise). The probability of change by pairwise interactions depends on the age that the agent has remained in the same state, according to a given kernel. We particularly develop the cases where the probability decays either algebraically or exponentially with the age, and we also consider the anti-aging scenario where the probability increases with the age, meaning that it is more likely to change mind the longer the persistence in the current state. For the opinion dynamics in a complete graph, we obtain analytical predictions for the critical curves of the order parameters, in perfect agreement with agent-based simulations. We observe that sufficiently weak aging (slow change of the kernel with the age) favors partial consensus with respect to the aging-insensitive scenario, while for sufficiently strong aging, as well as for anti-aging, the opposite trend is observed.


title: Depth-Based Statistical Inferences in the Spike Train Space

abstract: Metric-based summary statistics such as mean and covariance have been introduced in neural spike train space. They can properly describe template and variability in spike train data, but are often sensitive to outliers and expensive to compute. Recent studies also examine outlier detection and classification methods on point processes. These tools provide reasonable and efficient result, whereas the accuracy remains at a low level in certain cases. In this study, we propose to adopt a well-established notion of statistical depth to the spike train space. This framework can naturally define the median in a set of spike trains, which provides a robust description of the 'center' or 'template' of the observations. It also provides a principled method to identify 'outliers' in the data and classify data from different categories. We systematically compare the median with the state-of-the-art 'mean spike trains' in terms of robustness and efficiency. The performance of our novel outlier detection and classification tools will be compared with previous methods. The result shows the median has superior description for 'template' than the mean. Moreover, the proposed outlier detection and classification perform more accurately than previous methods. The advantages and superiority are well illustrated with simulations and real data.


title: Chandra X-ray Observations of PSR J1849-0001, its Pulsar Wind Nebula, and the TeV Source HESS J1849-000

abstract: We obtained a 108-ks Chandra X-ray Observatory (CXO) observation of PSR J1849-0001 and its PWN coincident with the TeV source HESS J1849-000. By analyzing the new and old (archival) CXO data we resolved the pulsar from the PWN, explored the PWN morphology on arcsecond and arcminute scales, and measured the spectra of different regions of the PWN. Both the pulsar and the compact inner PWN spectra are hard with power-law photon indices of $1.20\pm0.07$ and $1.36\pm0.14$, respectively. The jet-dominated PWN with a relatively low luminosity, the lack of gamma-ray pulsations, the relatively hard and non-thermal spectrum of the pulsar, and its sine-like pulse profile, indicate a relatively small angle between the pulsar's spin and magnetic dipole axis. In this respect, it shares similar properties with a few other so-called MeV pulsars. Although the joint X-ray and TeV SED can be roughly described by a single-zone model, the obtained magnetic field value is unrealistically low. A more realistic scenario is the presence of a relic PWN, no longer emitting synchrotron X-rays but still radiating in TeV via inverse-Compton upscattering. We also serendipitously detected surprisingly bright X-ray emission from a very wide binary whose components should not be interacting.


title: End-to-end Transfer Learning for Speaker-independent Cross-language Speech Emotion Recognition

abstract: Data-driven models achieve successful results in Speech Emotion Recognition (SER). However, these models, which are based on general acoustic features or end-to-end approaches, show poor performance when the testing set has a different language (i.e., the cross-language setting) than the training set or when they come from a different dataset (i.e., the cross-corpus setting). To alleviate this problem, this paper presents an end-to-end Deep Neural Network (DNN) model based on transfer learning for cross-language SER. We use the wav2vec 2.0 pre-trained model to transform audio time-domain waveforms from different languages, different speakers and different recording conditions into a feature space shared by multiple languages, thereby it reduces the language variabilities in the speech features. Next, we propose a new Deep-Within-Class Co-variance Normalisation (Deep-WCCN) layer that can be inserted into the DNN model and it aims to reduce other variabilities including speaker variability, channel variability and so on. The whole model is fine-tuned in an end-to-end manner on a combined loss and is validated on datasets from three languages (i.e., English, German, Chinese). Experiment results show that our proposed method not only outperforms the baseline model that is based on common acoustic feature sets for SER in the within-language setting, but also significantly outperforms the baseline model for cross-language setting. In addition, we also experimentally validate the effectiveness of Deep-WCCN, which can further improve the model performance. Finally, to comparing the results in the recent literatures that use the same testing datasets, our proposed model shows significantly better performance than other state-of-the-art models in cross-language SER.


title: Parity vs. AC0 with simple quantum preprocessing

abstract: A recent line of work has shown the unconditional advantage of constant-depth quantum computation, or $\mathsf{QNC^0}$, over $\mathsf{NC^0}$, $\mathsf{AC^0}$, and related models of classical computation. Problems exhibiting this advantage include search and sampling tasks related to the parity function, and it is natural to ask whether $\mathsf{QNC^0}$ can be used to help compute parity itself. We study $\mathsf{AC^0\circ QNC^0}$ -- a hybrid circuit model where $\mathsf{AC^0}$ operates on measurement outcomes of a $\mathsf{QNC^0}$ circuit, and conjecture $\mathsf{AC^0\circ QNC^0}$ cannot achieve $\Omega(1)$ correlation with parity. As evidence for this conjecture, we prove: $\bullet$ When the $\mathsf{QNC^0}$ circuit is ancilla-free, this model achieves only negligible correlation with parity. $\bullet$ For the general (non-ancilla-free) case, we show via a connection to nonlocal games that the conjecture holds for any class of postprocessing functions that has approximate degree $o(n)$ and is closed under restrictions, even when the $\mathsf{QNC^0}$ circuit is given arbitrary quantum advice. By known results this confirms the conjecture for linear-size $\mathsf{AC^0}$ circuits. $\bullet$ Towards a switching lemma for $\mathsf{AC^0\circ QNC^0}$, we study the effect of quantum preprocessing on the decision tree complexity of Boolean functions. We find that from this perspective, nonlocal channels are no better than randomness: a Boolean function $f$ precomposed with an $n$-party nonlocal channel is together equal to a randomized decision tree with worst-case depth at most $\mathrm{DT}_\mathrm{depth}[f]$. Our results suggest that while $\mathsf{QNC^0}$ is surprisingly powerful for search and sampling tasks, that power is "locked away" in the global correlations of its output, inaccessible to simple classical computation for solving decision problems.


title: Qudit Stabilizer Codes, CFTs, and Topological Surfaces

abstract: We study general maps from the space of rational CFTs with a fixed chiral algebra and associated Chern-Simons (CS) theories to the space of qudit stabilizer codes with a fixed generalized Pauli group. We consider certain natural constraints on such a map and show that the map can be described as a graph homomorphism from an orbifold graph, which captures the orbifold structure of CFTs, to a code graph, which captures the structure of self-dual stabilizer codes. By studying explicit examples, we show that this graph homomorphism cannot always be a graph embedding. However, we construct a physically motivated map from universal orbifold subgraphs of CFTs to operators in a generalized Pauli group. We show that this map results in a self-dual stabilizer code if and only if the surface operators in the bulk CS theories corresponding to the CFTs in question are self-dual. For CFTs admitting a stabilizer code description, we show that the full abelianized generalized Pauli group can be obtained from twisted sectors of certain 0-form symmetries of the CFT. Finally, we connect our construction with SymTFTs, and we argue that many equivalences between codes that arise in our setup correspond to equivalence classes of bulk topological surfaces under fusion with invertible surfaces.

categories: hep-th cond-mat.str-el math-ph math.MP quant-ph


title: Compact 3D Gaussian Representation for Radiance Field

abstract: Neural Radiance Fields (NeRFs) have demonstrated remarkable potential in capturing complex 3D scenes with high fidelity. However, one persistent challenge that hinders the widespread adoption of NeRFs is the computational bottleneck due to the volumetric rendering. On the other hand, 3D Gaussian splatting (3DGS) has recently emerged as an alternative representation that leverages a 3D Gaussisan-based representation and adopts the rasterization pipeline to render the images rather than volumetric rendering, achieving very fast rendering speed and promising image quality. However, a significant drawback arises as 3DGS entails a substantial number of 3D Gaussians to maintain the high fidelity of the rendered images, which requires a large amount of memory and storage. To address this critical issue, we place a specific emphasis on two key objectives: reducing the number of Gaussian points without sacrificing performance and compressing the Gaussian attributes, such as view-dependent color and covariance. To this end, we propose a learnable mask strategy that significantly reduces the number of Gaussians while preserving high performance. In addition, we propose a compact but effective representation of view-dependent color by employing a grid-based neural field rather than relying on spherical harmonics. Finally, we learn codebooks to compactly represent the geometric attributes of Gaussian by vector quantization. With model compression techniques such as quantization and entropy coding, we consistently show over 25$\times$ reduced storage and enhanced rendering speed, while maintaining the quality of the scene representation, compared to 3DGS. Our work provides a comprehensive framework for 3D scene representation, achieving high performance, fast training, compactness, and real-time rendering. Our project page is available at https://maincold2.github.io/c3dgs/.


title: Single-Shot Plug-and-Play Methods for Inverse Problems

abstract: The utilisation of Plug-and-Play (PnP) priors in inverse problems has become increasingly prominent in recent years. This preference is based on the mathematical equivalence between the general proximal operator and the regularised denoiser, facilitating the adaptation of various off-the-shelf denoiser priors to a wide range of inverse problems. However, existing PnP models predominantly rely on pre-trained denoisers using large datasets. In this work, we introduce Single-Shot PnP methods (SS-PnP), shifting the focus to solving inverse problems with minimal data. First, we integrate Single-Shot proximal denoisers into iterative methods, enabling training with single instances. Second, we propose implicit neural priors based on a novel function that preserves relevant frequencies to capture fine details while avoiding the issue of vanishing gradients. We demonstrate, through extensive numerical and visual experiments, that our method leads to better approximations.


title: JWST spectroscopy of $z\sim 5-8$ UV-selected galaxies: New constraints on the evolution of the Ly$\alpha$ escape fraction in the reionization era

abstract: We describe {\it JWST}/NIRSpec prism measurements of Ly$\alpha$ emission in $z\gtrsim 5$ galaxies. We identify Ly$\alpha$ detections in 10 out of 69 galaxies with robust rest-optical emission line redshift measurements at $5\leq z<7$ in the CEERS and DDT-2750 observations of the EGS field. Galaxies at $z\simeq 6$ with faint continuum (F150W $=$ 27--29 mag) are found with extremely large rest-frame Ly$\alpha$ equivalent widths (ranging up to 286 A). Likely Ly$\alpha$ detections are also seen in two new $z>7$ galaxies ($z=$ 7.49 and 7.17) from the second epoch of CEERS observations, both showing large Ly$\alpha$ equivalent widths that likely indicate significant transmission through the IGM. We measure high Ly$\alpha$ escape fractions in the 12 Ly$\alpha$ emitters in our sample (median 0.28), two of which show $f_{\rm esc}^{ {\rm Ly}\alpha}$ near unity ($>0.80$). We find that $50_{-11}^{+11}$% of $z\simeq 6$ galaxies with [OIII]+H$\beta$ EW $>$ 1000 A have $f_{\rm esc}^{ {\rm Ly}\alpha}$ $>0.2$, consistent with the fractions found in lower-redshift samples with matched [OIII]+H$\beta$ EWs. While uncertainties are still significant, we find that only $10_{-5}^{+9}$% of $z>7$ galaxies with similarly strong rest optical emission lines show such large $f_{\rm esc}^{ {\rm Ly}\alpha}$, as may be expected if IGM attenuation of Ly$\alpha$ increases towards higher redshifts. We identify photometric galaxy overdensities near the $z\gtrsim 7$ Ly$\alpha$ emitters, potentially providing the ionizing flux necessary to create large ionized sightlines that facilitate Ly$\alpha$ transmission. Finally, we investigate the absence of Ly$\alpha$ emission in a comparable (and spectroscopically confirmed) galaxy overdensity at $z=7.88$ in the Abell 2744 field, discussing new prism spectra of the field obtained with the UNCOVER program.


title: GBT/Argus Observations of Molecular Gas in the Inner Regions of IC 342

abstract: We report observations of the ground state transitions of $^{12}$CO, $^{13}$CO C$^{18}$O, HCN, and HCO$^+$ at 88-115 GHz in the inner region of the nearby galaxy IC 342. These data were obtained with the 16-pixel spectroscopic focal plane array Argus on the 100-m Robert C. Byrd Green Bank Telescope (GBT) at 6-9$^{\prime\prime}$ resolution. In the nuclear bar region, the intensity distributions of $^{12}$CO(1-0) and $^{13}$CO(1-0) emission trace moderate densities, and differ from the dense gas distributions sampled in C$^{18}$O(1-0), HCN(1-0), and HCO$^+$(1-0). We observe a constant HCN(1-0)-to-HCO$^+$(1-0) ratio of 1.2$\pm$0.1 across the whole $\sim$1 kpc bar. This indicates that HCN(1-0) and HCO$^+$(1-0) lines have intermediate optical depth, and that the corresponding $n_{\textrm{H}_2}$ of the gas producing the emission is of 10$^{4.5-6}$ cm$^{-3}$. We show that HCO$^+$(1-0) is thermalized and HCN(1-0) is close to thermalization. The very tight correlation between HCN(1-0) and HCO$^+$(1-0) intensities across the 1~kpc bar suggests that this ratio is more sensitive to the relative abundance of the two species than to the gas density. We confirm the angular offset ($\sim$10$^{\prime\prime}$) between the spatial distribution of molecular gas and the star formation sites. Finally, we find a breakdown of the $L_\textrm{IR}$-$L_\textrm{HCN}$ correlation at high spatial resolution due to the effect of incomplete sampling of star-forming regions by HCN emission in IC 342. The scatter of the $L_\textrm{IR}$-$L_\textrm{HCN}$ relation decreases as the spatial scale increases from 10$^{\prime\prime}$~to 30$^{\prime\prime}$ (170-510~pc), and is comparable to the scatter of the global relation at the scale of 340 pc.


title: Triphenylamine-based interlayer with carboxyl anchoring group for tuning of charge collection interface in stabilized p-i-n perovskite solar cells and modules

abstract: A novel triphenylamine-based hole transport material (HTM) with a carboxyl anchoring group (TPATC) was developed for tuning the interface between nanocrystalline NiO and double cation CsCH3(NH2)2PbI3-xClx absorber in p-i-n device architectures. We present a unique comprehensive confinement study of PSCs with TPATC as the self-assembled HTM, including analysis of numerical defect parameters, phase composition evolution, and up-scaling capabilities. Our investigation shows that the ultrathin TPATC interlayer effectively passivates traps, increases work-function of HTL by about ~0.2 eV, and enhances the charge carrier extraction efficiency. Advanced transient spectroscopy measurements revealed that modification of the NiO surface with TPATC in perovskite solar cells (PSCs) reduces the concentration of ionic defects by an order of magnitude. Interface engineering with TPATC allowed to reach power conversion efficiency of 20.58% for small area devices (0.15 cm2) under standard AM 1.5 G conditions. Using TPATC interlayer also provided stabilized performance of PSCs under operation conditions and improved sustainability of the perovskite absorber to decomposition. After continuous light-soaking (1000 h, ISOS-L-2 protocol), NiO/TPATC devices showed a slight decrease of 2% in maximum power. In contrast, NiO PSCs demonstrated decrease in power output (>20%) after 400 h. We explored the potential of TPATC to modify interfaces in large-area perovskite solar modules (PSM, active area-64.8 cm2, 12 sub-cells). By applying slot-die-coated TPATC, the PCE at AM 1.5 G conditions increased from 13.22% for NiO PSM to 15.64% for NiO/TPATC ones. This study provides new insights into the interface engineering for p-i-n perovskite solar cells, behavior of the ionic defects and their contribution to the long-term stability.


title: Private Inference in Quantized Models

abstract: A typical setup in many machine learning scenarios involves a server that holds a model and a user that possesses data, and the challenge is to perform inference while safeguarding the privacy of both parties. Private Inference has been extensively explored in recent years, mainly from a cryptographic standpoint via techniques like homomorphic encryption and multiparty computation. These approaches often come with high computational overhead and may degrade the accuracy of the model. In our work, we take a different approach inspired by the Private Information Retrieval literature. We view private inference as the task of retrieving inner products of parameter vectors with the data, a fundamental operation in many machine learning models. We introduce schemes that enable such retrieval of inner products for models with quantized (i.e., restricted to a finite set) weights; such models are extensively used in practice due to a wide range of benefits. In addition, our schemes uncover a fundamental tradeoff between user and server privacy. Our information-theoretic approach is applicable to a wide range of problems and robust in privacy guarantees for both the user and the server.


title: Beat-Aligned Spectrogram-to-Sequence Generation of Rhythm-Game Charts

abstract: In the heart of "rhythm games" - games where players must perform actions in sync with a piece of music - are "charts", the directives to be given to players. We newly formulate chart generation as a sequence generation task and train a Transformer using a large dataset. We also introduce tempo-informed preprocessing and training procedures, some of which are suggested to be integral for a successful training. Our model is found to outperform the baselines on a large dataset, and is also found to benefit from pretraining and finetuning.


title: Masked Conditional Diffusion Models for Image Analysis with Application to Radiographic Diagnosis of Infant Abuse

abstract: The classic metaphyseal lesion (CML) is a distinct injury that is highly specific for infant abuse. It commonly occurs in the distal tibia. To aid radiologists detect these subtle fractures, we need to develop a model that can flag abnormal distal tibial radiographs (i.e. those with CMLs). Unfortunately, the development of such a model requires a large and diverse training database, which is often not available. To address this limitation, we propose a novel generative model for data augmentation. Unlike previous models that fail to generate data that span the diverse radiographic appearance of the distal tibial CML, our proposed masked conditional diffusion model (MaC-DM) not only generates realistic-appearing and wide-ranging synthetic images of the distal tibial radiographs with and without CMLs, it also generates their associated segmentation labels. To achieve these tasks, MaC-DM combines the weighted segmentation masks of the tibias and the CML fracture sites as additional conditions for classifier guidance. The augmented images from our model improved the performances of ResNet-34 in classifying normal radiographs and those with CMLs. Further, the augmented images and their associated segmentation masks enhanced the performance of the U-Net in labeling areas of the CMLs on distal tibial radiographs.


title: Fractional Quantum Hall State at Filling Factor $\nu=1/4$ in Ultra-High-Quality GaAs 2D Hole Systems

abstract: Single-component fractional quantum Hall states (FQHSs) at even-denominator filling factors may host non-Abelian quasiparticles that are considered to be building blocks of topological quantum computers. Such states, however, are rarely observed in the lowest-energy Landau level, namely at filling factors $\nu<1$. Here we report evidence for an even-denominator FQHS at $\nu=1/4$ in ultra-high-quality two-dimensional hole systems confined to modulation-doped GaAs quantum wells. We observe a deep minimum in the longitudinal resistance at $\nu=1/4$, superimposed on a highly insulating background, suggesting a close competition between the $\nu=1/4$ FQHS and the magnetic-field-induced, pinned Wigner solid states. Our experimental observations are consistent with the very recent theoretical calculations which predict that substantial Landau level mixing, caused by the large hole effective mass, can induce composite fermion pairing and lead to a non-Abelian FQHS at $\nu=1/4$. Our results demonstrate that Landau level mixing can provide a very potent means for tuning the interaction between composite fermions and creating new non-Abelian FQHSs.


title: The 85-electrode AO system of the Swedish 1-m Solar Telescope

abstract: We discuss the chosen concepts, detailed design, implementation and calibration of the 85-electrode adaptive optics (AO) system of the Swedish 1-meter Solar Telescope (SST), which was installed in 2013. The AO system is unusual by using a combination of a monomorph mirror with a Shack-Hartmann (SH) wavefront sensor (WFS), and by using a second high-resolution SH microlens array to aid the DM characterization, calibration, and modal control. An Intel PC workstation performs the heavy image processing associated with cross correlations and real-time control at 2 kHz update rate with very low latency. The computer and software continue the successful implementation since 1995 of earlier generations of correlation tracker and AO systems at SST and its predecessor SVST by relying entirely on work station technology and an extremely efficient algorithm for implementing cross correlations with the large field-of-view of the WFS. We describe critical aspects of the design, calibrations, software and functioning of the AO system. The exceptionally high performance is testified through the highest Strehl ratio (inferred from the measured granulation contrast) of existing meter-class solar telescopes, as demonstrated here at wavelengths shorter than 400 nm and discussed in more detail in a separate publication by Scharmer et al. We expect that some aspects of this AO system may be of interest also outside the solar community.


title: Next-Generation Earth System Models: Towards Reliable Hybrid Models for Weather and Climate Applications

abstract: We review how machine learning has transformed our ability to model the Earth system, and how we expect recent breakthroughs to benefit end-users in Switzerland in the near future. Drawing from our review, we identify three recommendations. Recommendation 1: Develop Hybrid AI-Physical Models: Emphasize the integration of AI and physical modeling for improved reliability, especially for longer prediction horizons, acknowledging the delicate balance between knowledge-based and data-driven components required for optimal performance. Recommendation 2: Emphasize Robustness in AI Downscaling Approaches, favoring techniques that respect physical laws, preserve inter-variable dependencies and spatial structures, and accurately represent extremes at the local scale. Recommendation 3: Promote Inclusive Model Development: Ensure Earth System Model development is open and accessible to diverse stakeholders, enabling forecasters, the public, and AI/statistics experts to use, develop, and engage with the model and its predictions/projections.


title: Molly: A Verified Compiler for Cryptoprotocol Roles

abstract: Molly is a program that compiles cryptographic protocol roles written in a high-level notation into straight-line programs in an intermediate-level imperative language, suitable for implementation in a conventional programming language. We define a denotational semantics for protocol roles based on an axiomatization of the runtime. A notable feature of our approach is that we assume that encryption is randomized. Thus, at the runtime level we treat encryption as a relation rather than a function. Molly is written in Coq, and generates a machine-checked proof that the procedure it constructs is correct with respect to the runtime semantics. Using Coq's extraction mechanism, one can build an efficient functional program for compilation.


title: Scalable CP Decomposition for Tensor Learning using GPU Tensor Cores

abstract: CP decomposition is a powerful tool for data science, especially gene analysis, deep learning, and quantum computation. However, the application of tensor decomposition is largely hindered by the exponential increment of the computational complexity and storage consumption with the size of tensors. While the data in our real world is usually presented as trillion- or even exascale-scale tensors, existing work can only support billion-scale scale tensors. In our work, we propose the Exascale-Tensor to mitigate the significant gap. Specifically, we propose a compression-based tensor decomposition framework, namely the exascale-tensor, to support exascale tensor decomposition. Then, we carefully analyze the inherent parallelism and propose a bag of strategies to improve computational efficiency. Last, we conduct experiments to decompose tensors ranging from million-scale to trillion-scale for evaluation. Compared to the baselines, the exascale-tensor supports 8,000x larger tensors and a speedup up to 6.95x. We also apply our method to two real-world applications, including gene analysis and tensor layer neural networks, of which the numeric results demonstrate the scalability and effectiveness of our method.


title: Limit Distribution Theory for Quantum Divergences

abstract: Estimation of quantum relative entropy and its R\'{e}nyi generalizations is a fundamental statistical task in quantum information theory, physics, and beyond. While several estimators of these divergences have been proposed in the literature along with their computational complexities explored, a limit distribution theory which characterizes the asymptotic fluctuations of the estimation error is still premature. As our main contribution, we characterize these asymptotic distributions in terms of Fr\'{e}chet derivatives of elementary operator-valued functions. We achieve this by leveraging an operator version of Taylor's theorem and identifying the regularity conditions needed. As an application of our results, we consider an estimator of quantum relative entropy based on Pauli tomography of quantum states and show that the resulting asymptotic distribution is a centered normal, with its variance characterized in terms of the Pauli operators and states. We utilize the knowledge of the aforementioned limit distribution to obtain asymptotic performance guarantees for a multi-hypothesis testing problem.


title: BackboneLearn: A Library for Scaling Mixed-Integer Optimization-Based Machine Learning

abstract: We present BackboneLearn: an open-source software package and framework for scaling mixed-integer optimization (MIO) problems with indicator variables to high-dimensional problems. This optimization paradigm can naturally be used to formulate fundamental problems in interpretable supervised learning (e.g., sparse regression and decision trees), in unsupervised learning (e.g., clustering), and beyond; BackboneLearn solves the aforementioned problems faster than exact methods and with higher accuracy than commonly used heuristics. The package is built in Python and is user-friendly and easily extensible: users can directly implement a backbone algorithm for their MIO problem at hand. The source code of BackboneLearn is available on GitHub (link: https://github.com/chziakas/backbone_learn).


title: Uncommon SN 2020jfo: Ordinary explosion of 8 Msun red supergiant with dense wind

abstract: We present the hydrodynamic model of Type IIP SN 2020jfo with the unusually short (nearly 60 days) light curve plateau. The model suggests the explosion of about 8 Msun red supergiant that ejected nearly 6 Msun with the energy of about 0.8x10^51 erg. The presupernova wind density turns out highest among known SNe IIP. Yet the presupernova was not embedded into a very dense confined circumstellar shell that is a feature of some Type IIP supernovae, so the circumstellar interaction in close environment does not contribute noticeably to the initial (about 10 days) bolometric luminosity. Despite uncommon appearance SN 2020jfo turns out similar to SN 1970G in the V-band light curve, photospheric velocities, and, possibly, luminosity as well.


title: Floquet Engineering of a Diatomic Molecule Through a Bichromatic Radiation Field

abstract: We report on a theoretical study of a Cs$_2$ molecule illuminated by two lasers and show how it can result in novel quantum dynamics. We reveal that these interactions facilitate the bypass of the non-crossing rule, forming Light-Induced Conical Intersections and modifiable avoided crossings. Our findings show how laser field orientation and strength, along with initial phase differences, can control molecular state transitions, especially on the micromotion scale. We also discuss extensively how the interaction of radiation with matter gives rise to the emergence of potential energy surfaces of hybrids of radiation and molecular states. This research advances a technique for manipulating photoassociation processes in Cs$_2$ molecules, offering potential new avenues in quantum control.


title: A blueprint for truncation resonance placement in elastic periodic lattices with unit cell asymmetry

abstract: Elastic periodic lattices act as mechanical filters of incident vibrational loads. By and large, they forbid wave propagation within bandgaps and resonate outside them. However, they often encounter `truncation resonances' inside bandgaps when certain conditions are met. This study provides an all-encompassing blueprint for the design and selective placement of truncation resonances in elastic periodic lattices, integrating all factors that play a role in the onset of truncation resonances and shaping the finite lattice's response, from unit cell configuration, mass and stiffness contrasts, to types and symmetry of boundary conditions.


title: A Topological Tennenbaum Theorem

abstract: We prove that in Borel models of arithmetic on an uncountable Polish space, neither addition nor multiplication is continuous. This is an analogue of Tennenbaum's Theorem for topological models of arithmetic. This answers a question of Enayat, Hamkins, and Wcis{\l}o.


title: Stellar populations and origin of thick disks in AURIGA simulations

abstract: The origin of thick disks and their evolutionary connection with thin disks are still a matter of debate. We provide new insights into this topic by connecting the stellar populations of thick disks at redshift $z=0$ with their past formation and growth, in 24 Milky Way-mass galaxies from the AURIGA zoom-in cosmological simulations. We projected each galaxy edge on, and decomposed it morphologically into two disk components, in order to define geometrically the thin and the thick disks as usually done in observations. We produced age, metallicity and [Mg/Fe] edge-on maps. We quantified the impact of satellite mergers by mapping the distribution of ex-situ stars. Thick disks are on average $\sim 3$~Gyr older, $\sim 0.25$~dex more metal poor and $\sim 0.06$~dex more [Mg/Fe]-enhanced than thin disks. Their average ages range from $\sim 6$ to $\sim 9$~Gyr, metallicities from $\sim -0.15$ to $\sim 0.1$~dex, and [Mg/Fe] from $\sim 0.12$ to $\sim 0.16$~dex. These properties are the result of an early initial in-situ formation, followed by a later growth driven by the combination of direct accretion of stars, some in-situ star formation fueled by mergers, and dynamical heating of stars. The balance between these processes varies from galaxy to galaxy. Mergers play a key role in the mass assembly of thick disks, contributing an average accreted mass fraction of $\sim 22$\% in the analyzed thick-disk dominated regions. In two galaxies, about half of the geometric thick-disk mass was directly accreted. While primordial thick disks form at high redshift in all galaxies, young metal-rich thin disks, with much lower [Mg/Fe] abundances, start to form later but at different times (higher or lower redshift) depending on the galaxy. We conclude that thick disks result from the interplay of external processes with the internal evolution of the galaxy.


title: Reexamining Statistical Significance and P-Values in Nursing Research: Historical Context and Guidance for Interpretation, Alternatives, and Reporting

abstract: Nurses should rely on the best evidence, but tend to struggle with statistics, impeding research integration into clinical practice. Statistical significance, a key concept in classical statistics, and its primary metric, the p-value, are frequently misused. This topic has been debated in many disciplines but rarely in nursing. The aim is to present key arguments in the debate surrounding the misuse of p-values, discuss their relevance to nursing, and offer recommendations to address them. The literature indicates that the concept of probability in classical statistics is not easily understood, leading to misinterpretations of statistical significance. Much of the critique concerning p-values arises from such misunderstandings and imprecise terminology. Thus, some scholars have argued for the complete abandonment of p-values. Instead of discarding p-values, this article provides a comprehensive account of their historical context and the information they convey. This will clarify why they are widely used yet often misunderstood. The article also offers recommendations for accurate interpretation of statistical significance by incorporating other key metrics. To mitigate publication bias resulting from p-value misuse, pre-registering the analysis plan is recommended. The article also explores alternative approaches, particularly Bayes factors, as they may resolve several of these issues. P-values serve a purpose in nursing research as an initial safeguard against the influence of randomness. Much criticism directed towards p-values arises from misunderstandings and inaccurate terminology. Several considerations and measures are recommended, some which go beyond the conventional, to obtain accurate p-values and to better understand statistical significance. Nurse educators and researchers should considerer these in their educational and research reporting practices.


title: Efficient quantum loading of probability distributions through Feynman propagators

abstract: We present quantum algorithms for the loading of probability distributions using Hamiltonian simulation for one dimensional Hamiltonians of the form ${\hat H}= \Delta + V(x) \mathbb{I}$. We consider the potentials $V(x)$ for which the Feynman propagator is known to have an analytically closed form and utilize these Hamiltonians to load probability distributions including the normal, Laplace and Maxwell-Boltzmann into quantum states. We also propose a variational method for probability distribution loading based on constructing a coarse approximation to the distribution in the form of a `ladder state' and then projecting onto the ground state of a Hamiltonian chosen to have the desired probability distribution as ground state. These methods extend the suite of techniques available for the loading of probability distributions, and are more efficient than general purpose data loading methods used in quantum machine learning.


title: Single-shot Quantum Signal Processing Interferometry

abstract: Quantum systems of infinite dimension, such as bosonic oscillators, provide vast resources for quantum sensing. Yet, a general theory on how to manipulate such bosonic modes for sensing beyond parameter estimation is unknown. We present a general algorithmic framework, quantum signal processing interferometry (QSPI), for quantum sensing at the fundamental limits of quantum mechanics, i.e., the Heisenberg sensing limit, by generalizing Ramsey-type interferometry. Our QSPI sensing protocol relies on performing nonlinear polynomial transformations on the oscillator's quadrature operators by generalizing quantum signal processing (QSP) from qubits to hybrid qubit-oscillator systems. We use our QSPI sensing framework to make binary decisions on a displacement channel in the single-shot limit. Theoretical analysis suggests the sensing accuracy given a single-shot qubit measurement can approach the Heisenberg-limit scaling. We further concatenate a series of such binary decisions to perform parameter estimation in a bit-by-bit fashion. Numerical simulations are performed to support these statements. Our QSPI protocol offers a unified framework for quantum sensing using continuous-variable bosonic systems beyond parameter estimation and establishes a promising avenue toward efficient and scalable quantum control and quantum sensing schemes beyond the NISQ era.


title: Geometrical Shock Dynamics in a Noble-Abel stiffened gas medium

abstract: We derive the shock strength area rule for a Noble-Abel stiffened gas (NASG) equation of a state required in Whitham's geometrical shock dynamics approach to determine shock wave dynamics in dense gases, liquids and solids. An exact formulation requiring the solution of an ordinary differential equation is provided. Closed form solutions of various levels of approximations are also obtained as an expansion in shock wave strength. The leading order approximation recovers the geometrical acoustic limit, while higher order approximations account for the medium's compressibility. The exact shock strength area relation and the various order approximations are illustrated for shocks in liquid water. The simple closed form of the first order solution predicts the shock strength area rule up to shock pressures of approximately twice the stiffening pressure in water, i.e., approximately 1-2 GPa.


title: Drinfeld rational fractions for affine Kac-Moody quantum symmetric pairs

abstract: We formulate a precise connection between the new Drinfeld presentation of a quantum affine algebra $U_q\widehat{\mathfrak{g}}$ and the new Drinfeld presentation of affine coideal subalgebras of split type recently discovered by Lu and Wang. In particular, we establish a ``factorization formula'', expressing the commuting ``Drinfeld-Cartan''-type operators $\Theta_{i,k}$ in a coideal subalgebra in terms of the corresponding Drinfeld generators of $U_q\widehat{\mathfrak{g}}$, modulo the ``Drinfeld positive half" of $U_q\widehat{\mathfrak{g}}$. We study the spectra of these operators on finite dimensional representations, and describe them in terms of rational functions with an extra symmetry. These results can be seen as the starting point of a $q$-character theory for affine Kac--Moody quantum symmetric pairs. Additionally, we prove a compatibility result linking Lusztig's and the Lu-Wang-Zhang braid group actions.


title: Multi-view Hybrid Graph Convolutional Network for Volume-to-mesh Reconstruction in Cardiovascular MRI

abstract: Cardiovascular magnetic resonance imaging is emerging as a crucial tool to examine cardiac morphology and function. Essential to this endeavour are anatomical 3D surface and volumetric meshes derived from CMR images, which facilitate computational anatomy studies, biomarker discovery, and in-silico simulations. However, conventional surface mesh generation methods, such as active shape models and multi-atlas segmentation, are highly time-consuming and require complex processing pipelines to generate simulation-ready 3D meshes. In response, we introduce HybridVNet, a novel architecture for direct image-to-mesh extraction seamlessly integrating standard convolutional neural networks with graph convolutions, which we prove can efficiently handle surface and volumetric meshes by encoding them as graph structures. To further enhance accuracy, we propose a multiview HybridVNet architecture which processes both long axis and short axis CMR, showing that it can increase the performance of cardiac MR mesh generation. Our model combines traditional convolutional networks with variational graph generative models, deep supervision and mesh-specific regularisation. Experiments on a comprehensive dataset from the UK Biobank confirm the potential of HybridVNet to significantly advance cardiac imaging and computational cardiology by efficiently generating high-fidelity and simulation ready meshes from CMR images.


title: Bayes-xG: Player and Position Correction on Expected Goals (xG) using Bayesian Hierarchical Approach

abstract: This study employs Bayesian methodologies to explore the influence of player or positional factors in predicting the probability of a shot resulting in a goal, measured by the expected goals (xG) metric. Utilising publicly available data from StatsBomb, Bayesian hierarchical logistic regressions are constructed, analysing approximately 10,000 shots from the English Premier League to ascertain whether positional or player-level effects impact xG. The findings reveal positional effects in a basic model that includes only distance to goal and shot angle as predictors, highlighting that strikers and attacking midfielders exhibit a higher likelihood of scoring. However, these effects diminish when more informative predictors are introduced. Nevertheless, even with additional predictors, player-level effects persist, indicating that certain players possess notable positive or negative xG adjustments, influencing their likelihood of scoring a given chance. The study extends its analysis to data from Spain's La Liga and Germany's Bundesliga, yielding comparable results. Additionally, the paper assesses the impact of prior distribution choices on outcomes, concluding that the priors employed in the models provide sound results but could be refined to enhance sampling efficiency for constructing more complex and extensive models feasibly.


title: Dynamic Fault Analysis in Substations Based on Knowledge Graphs

abstract: To address the challenge of identifying hidden danger in substations from unstructured text, a novel dynamic analysis method is proposed. We first extract relevant information from the unstructured text, and then leverages a flexible distributed search engine built on Elastic-Search to handle the data. Following this, the hidden Markov model is employed to train the data within the engine. The Viterbi algorithm is integrated to decipher the hidden state sequences, facilitating the segmentation and labeling of entities related to hidden dangers. The final step involves using the Neo4j graph database to dynamically create a knowledge graph that visualizes hidden dangers in the substation. The effectiveness of the proposed method is demonstrated through a case analysis from a specific substation with hidden dangers revealed in the text records.


title: An Approximate Counting Version of the Multidimensional Szemer\'edi Theorem

abstract: For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemer\'edi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for $|X|\geq 3$ and infinitely many $n\in\mathbb{N}$, the number of $X$-free subsets of $\{1,\dots,n\}^d$ is at most $2^{O(r_X(n))}$. The proof involves using a known multidimensional extension of Behrend's construction to obtain a supersaturation theorem for copies of $X$ in dense subsets of $[n]^d$ for infinitely many values of $n$ and then applying the powerful hypergraph container lemma. Our result generalizes work of Balogh, Liu, and Sharifzadeh on $k$-AP-free sets and Kim on corner-free sets.


title: A Comprehensive Review of Artificial Intelligence Applications in Major Retinal Conditions

abstract: This paper provides a systematic survey of retinal diseases that cause visual impairments or blindness, emphasizing the importance of early detection for effective treatment. It covers both clinical and automated approaches for detecting retinal disease, focusing on studies from the past decade. The survey evaluates various algorithms for identifying structural abnormalities and diagnosing retinal diseases, and it identifies future research directions based on a critical analysis of existing literature. This comprehensive study, which reviews both clinical and automated detection methods using different modalities, appears to be unique in its scope. Additionally, the survey serves as a helpful guide for researchers interested in digital retinopathy.


title: Neutrino signal from Cygnus region of the Milky Way

abstract: Interactions of cosmic ray protons and nuclei in their sources and in the interstellar medium produce "hadronic" gamma-ray emission. Gamma-rays can also be of "leptonic" origin, i.e. originating from high-energy electrons accelerated together with protons. It is difficult to distinguish between hadronic and leptonic emission mechanisms based on gamma-ray data alone. This can be done via detection of neutrinos, because only hadronic processes lead to neutrino production. We use publicly available ten-year IceCube neutrino telescope dataset to demonstrate the hadronic nature of high-energy emission from the direction of Cygnus region of the Milky Way. We find a 3-sigma excess of neutrino events from an extended Cygnus Cocoon, with the flux comparable to the flux of gamma-rays in the multi-TeV energy range seen by HAWC and LHAASO telescopes.


title: Data Acquisition: A New Frontier in Data-centric AI

abstract: As Machine Learning (ML) systems continue to grow, the demand for relevant and comprehensive datasets becomes imperative. There is limited study on the challenges of data acquisition due to ad-hoc processes and lack of consistent methodologies. We first present an investigation of current data marketplaces, revealing lack of platforms offering detailed information about datasets, transparent pricing, standardized data formats. With the objective of inciting participation from the data-centric AI community, we then introduce the DAM challenge, a benchmark to model the interaction between the data providers and acquirers. The benchmark was released as a part of DataPerf. Our evaluation of the submitted strategies underlines the need for effective data acquisition strategies in ML.


title: A Somewhat Robust Image Watermark against Diffusion-based Editing Models

abstract: Recently, diffusion models (DMs) have become the state-of-the-art method for image synthesis. Editing models based on DMs, known for their high fidelity and precision, have inadvertently introduced new challenges related to image copyright infringement and malicious editing. Our work is the first to formalize and address this issue. After assessing and attempting to enhance traditional image watermarking techniques, we recognize their limitations in this emerging context. In response, we develop a novel technique, RIW (Robust Invisible Watermarking), to embed invisible watermarks leveraging adversarial example techniques. Our technique ensures a high extraction accuracy of $96\%$ for the invisible watermark after editing, compared to the $0\%$ offered by conventional methods. We provide access to our code at https://github.com/BennyTMT/RIW.


title: Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges

abstract: In this survey, we review the recent advances in control design methods for robotic multi-agent systems (MAS), focussing on learning-based methods with safety considerations. We start by reviewing various notions of safety and liveness properties, and modeling frameworks used for problem formulation of MAS. Then we provide a comprehensive review of learning-based methods for safe control design for multi-robot systems. We start with various types of shielding-based methods, such as safety certificates, predictive filters, and reachability tools. Then, we review the current state of control barrier certificate learning in both a centralized and distributed manner, followed by a comprehensive review of multi-agent reinforcement learning with a particular focus on safety. Next, we discuss the state-of-the-art verification tools for the correctness of learning-based methods. Based on the capabilities and the limitations of the state of the art methods in learning and verification for MAS, we identify various broad themes for open challenges: how to design methods that can achieve good performance along with safety guarantees; how to decompose single-agent based centralized methods for MAS; how to account for communication-related practical issues; and how to assess transfer of theoretical guarantees to practice.


title: Examples of cosmological spacetimes without CMC Cauchy surfaces

abstract: CMC (constant mean curvature) Cauchy surfaces play an important role in mathematical relativity as finding solutions to the vacuum Einstein constraint equations is made much simpler by assuming CMC initial data. However, in [2] Bartnik constructed a cosmological spacetime without a CMC Cauchy surface whose spatial topology is the connected sum of two three-dimensional tori. Similarly, in [9], Chru\'sciel, Isenberg, and Pollack constructed a vacuum cosmological spacetime without CMC Cauchy surfaces whose spatial topology was also the connected sum of two tori. In this article, we enlarge the known number of spatial topologies for cosmological spacetimes without CMC Cauchy surfaces by generalizing Bartnik's construction. Specifically, we show that there are cosmological spacetimes without CMC Cauchy surfaces whose spatial topologies are the connected sum of any compact oriented Euclidean or hyperbolic three-manifold with any another compact oriented Euclidean or hyperbolic three-manifold. We work with the Tolman-Bondi class of metrics and prove gluing results for variable marginal conditions, which allows for smooth gluing of Schwarzschild to FLRW models.


title: DiverseNet: Decision Diversified Semi-supervised Semantic Segmentation Networks for Remote Sensing Imagery

abstract: Semi-supervised learning aims to help reduce the cost of the manual labelling process by leveraging valuable features extracted from a substantial pool of unlabeled data alongside a limited set of labelled data during the training phase. Since pixel-level manual labelling in large-scale remote sensing imagery is expensive, semi-supervised learning becomes an appropriate solution to this. However, most of the existing consistency learning frameworks based on network perturbation are very bulky. There is still a lack of lightweight and efficient perturbation methods to promote the diversity of features and the precision of pseudo labels during training. In order to fill this gap, we propose DiverseNet which explores multi-head and multi-model semi-supervised learning algorithms by simultaneously enhancing precision and diversity during training. The two proposed methods in the DiverseNet family, namely DiverseHead and DiverseModel, both achieve the better semantic segmentation performance in four widely utilised remote sensing imagery data sets compared to state-of-the-art semi-supervised learning methods. Meanwhile, the proposed DiverseHead architecture is simple and relatively lightweight in terms of parameter space compared to the state-of-the-art methods whilst reaching high-performance results for all the tested data sets.


title: Feature Extraction for Generative Medical Imaging Evaluation: New Evidence Against an Evolving Trend

abstract: Fr\'echet Inception Distance (FID) is a widely used metric for assessing synthetic image quality. It relies on an ImageNet-based feature extractor, making its applicability to medical imaging unclear. A recent trend is to adapt FID to medical imaging through feature extractors trained on medical images. Our study challenges this practice by demonstrating that ImageNet-based extractors are more consistent and aligned with human judgment than their RadImageNet counterparts. We evaluated sixteen StyleGAN2 networks across four medical imaging modalities and four data augmentation techniques with Fr\'echet distances (FDs) computed using eleven ImageNet or RadImageNet-trained feature extractors. Comparison with human judgment via visual Turing tests revealed that ImageNet-based extractors produced rankings consistent with human judgment, with the FD derived from the ImageNet-trained SwAV extractor significantly correlating with expert evaluations. In contrast, RadImageNet-based rankings were volatile and inconsistent with human judgment. Our findings challenge prevailing assumptions, providing novel evidence that medical image-trained feature extractors do not inherently improve FDs and can even compromise their reliability. Our code is available at https://github.com/mckellwoodland/fid-med-eval.


title: A Unified Approach to Count-Based Weakly-Supervised Learning

abstract: High-quality labels are often very scarce, whereas unlabeled data with inferred weak labels occurs more naturally. In many cases, these weak labels dictate the frequency of each respective class over a set of instances. In this paper, we develop a unified approach to learning from such weakly-labeled data, which we call count-based weakly-supervised learning. At the heart of our approach is the ability to compute the probability of exactly k out of n outputs being set to true. This computation is differentiable, exact, and efficient. Building upon the previous computation, we derive a count loss penalizing the model for deviations in its distribution from an arithmetic constraint defined over label counts. We evaluate our approach on three common weakly-supervised learning paradigms and observe that our proposed approach achieves state-of-the-art or highly competitive results across all three of the paradigms.


title: Deep learning-based instance segmentation for the precise automated quantification of digital breast cancer immunohistochemistry images

abstract: The quantification of biomarkers on immunohistochemistry breast cancer images is essential for defining appropriate therapy for breast cancer patients, as well as for extracting relevant information on disease prognosis. This is an arduous and time-consuming task that may introduce a bias in the results due to intra- and inter-observer variability which could be alleviated by making use of automatic quantification tools. However, this is not a simple processing task given the heterogeneity of breast tumors that results in non-uniformly distributed tumor cells exhibiting different staining colors and intensity, size, shape, and texture, of the nucleus, cytoplasm and membrane. In this research work, we demonstrate the feasibility of using a deep learning-based instance segmentation architecture for the automatic quantification of both nuclear and membrane biomarkers applied to IHC-stained slides. We have solved the cumbersome task of training set generation with the design and implementation of a web platform, which has served as a hub for communication and feedback between researchers and pathologists as well as a system for the validation of the automatic image processing models. Through this tool, we have collected annotations over samples of HE, ER and Ki-67 (nuclear biomarkers) and HER2 (membrane biomarker) IHC-stained images. Using the same deep learning network architecture, we have trained two models, so-called nuclei- and membrane-aware segmentation models, which, once successfully validated, have revealed to be a promising method to segment nuclei instances in IHC-stained images. The quantification method proposed in this work has been integrated into the developed web platform and is currently being used as a decision-support tool by pathologists.


title: Can LLMs Fix Issues with Reasoning Models? Towards More Likely Models for AI Planning

abstract: This is the first work to look at the application of large language models (LLMs) for the purpose of model space edits in automated planning tasks. To set the stage for this union, we explore two different flavors of model space problems that have been studied in the AI planning literature and explore the effect of an LLM on those tasks. We empirically demonstrate how the performance of an LLM contrasts with combinatorial search (CS) -- an approach that has been traditionally used to solve model space tasks in planning, both with the LLM in the role of a standalone model space reasoner as well as in the role of a statistical signal in concert with the CS approach as part of a two-stage process. Our experiments show promising results suggesting further forays of LLMs into the exciting world of model space reasoning for planning tasks in the future.


title: Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning

abstract: Binary code analysis is the foundation of crucial tasks in the security domain; thus building effective binary analysis techniques is more important than ever. Large language models (LLMs) although have brought impressive improvement to source code tasks, do not directly generalize to assembly code due to the unique challenges of assembly: (1) the low information density of assembly and (2) the diverse optimizations in assembly code. To overcome these challenges, this work proposes a hierarchical attention mechanism that builds attention summaries to capture the semantics more effectively, and designs contrastive learning objectives to train LLMs to learn assembly optimization. Equipped with these techniques, this work develops Nova, a generative LLM for assembly code. Nova outperforms existing techniques on binary code decompilation by up to 146.54%, and outperforms the latest binary code similarity detection techniques by up to 6.17%, showing promising abilities on both assembly generation and understanding tasks.


title: Deep Learning as a Method for Inversion of NMR Signals

abstract: The concept of deep learning is employed for the inversion of NMR signals and it is shown that NMR signal inversion can be considered as an image-to-image regression problem, which can be treated with a convolutional neural net. It is further outlined, that inversion through deep learning provides a clear efficiency and usability advantage compared to regularization techniques such as Tikhonov and modified total generalized variation (MTGV), because no hyperparemeter selection prior to reconstruction is necessary. The inversion network is applied to simulated NMR signals and the results compared with Tikhonov- and MTGV-regularization. The comparison shows that inversion via deep learning is significantly faster than the latter regularization methods and also outperforms both regularization techniques in nearly all instances.


title: A dusty streamer infalling onto the disk of a class I protostar. ALMA dual-band constraints on grain properties and mass infall rate

abstract: Observations of interstellar material infalling onto star- and planet-forming systems have become increasingly common thanks to recent advancements in radio interferometry. These structures replenish disks with fresh material, have the potential to significantly alter their dynamics, trigger the formation of substructures, induce shocks, and modify their physical and chemical properties. In this study, we combine new ALMA band 3 and archival band 6 observations to characterize the dust content and mass infall rate of a 4,000 au arc-like structure infalling onto M512, a class I young stellar object located in the Lynds 1641 region of the Orion A molecular cloud. We measure for the first time spectral index maps and derive a dust opacity index profile along a streamer, constraining grain properties and its dust mass. We measure a spectral index $\alpha \sim$ 3.2 across the entire structure, and a dust opacity index $\beta \sim$ 1.6. Given grain properties consistent with the measured $\beta$, the structure can host up to 245 M$_{\oplus}$ of dust, being comparable or even exceeding the mass of the inner, unresolved 600 au, which contains the protoplanetary disk of M512. Such a massive streamer can strongly affect the evolution of the star- and planet-forming inner system. Assuming typical ISM dust-to-gas ratio of 1%, free-fall timescales (50 kyr) imply total mass infall rates up to 1.5 $\cdot$ 10$^{-6}$ M$_{\odot}$/yr. M512 has been classified as an outbursting source with multi-epoch photometry, thus representing an interesting case study to explore the possible connection between infalling streamers and accretion outbursts.


title: Infectious disease surveillance needs for the United States: lessons from COVID-19

abstract: The COVID-19 pandemic has highlighted the need to upgrade systems for infectious disease surveillance and forecasting and modeling of the spread of infection, both of which inform evidence-based public health guidance and policies. Here, we discuss requirements for an effective surveillance system to support decision making during a pandemic, drawing on the lessons of COVID-19 in the U.S., while looking to jurisdictions in the U.S. and beyond to learn lessons about the value of specific data types. In this report, we define the range of decisions for which surveillance data are required, the data elements needed to inform these decisions and to calibrate inputs and outputs of transmission-dynamic models, and the types of data needed to inform decisions by state, territorial, local, and tribal health authorities. We define actions needed to ensure that such data will be available and consider the contribution of such efforts to improving health equity.


title: Studying Artist Sentiments around AI-generated Artwork

abstract: Art created using generated Artificial Intelligence has taken the world by storm and generated excitement for many digital creators and technologists. However, the reception and reaction from artists have been mixed. Concerns about plagiarizing their artworks and styles for datasets and uncertainty around the future of digital art sparked movements in artist communities shunning the use of AI for generating art and protecting artists' rights. Collaborating with these tools for novel creative use cases also sparked hope from some creators. Artists are an integral stakeholder in the rapidly evolving digital creativity industry and understanding their concerns and hopes inform responsible development and use of creativity support tools. In this work, we study artists' sentiments about AI-generated art. We interviewed 7 artists and analyzed public posts from artists on social media platforms Reddit, Twitter and Artstation. We report artists' main concerns and hopes around AI-generated artwork, informing a way forward for inclusive development of these tools.


title: Controlling selection rules for magnon scattering in nanomagnets by spatial symmetry breaking

abstract: Nanomagnets are the building blocks of many existing and emergent spintronic technologies. Magnetization dynamics of nanomagnets is often dominated by nonlinear processes, which have been recently shown to have many surprising features and far-reaching implications for applications. Here we develop a theoretical framework uncovering the selection rules for multimagnon processes and discuss their underlying mechanisms. For its technological relevance, we focus on the degenerate three-magnon process in thin elliptical nanodisks to illustrate our findings. We parameterize the selection rules through a set of magnon interaction coefficients which we calculate using micromagnetic simulations. We postulate the selection rules and investigate how they are altered by perturbations, that break the symmetry of static magnetization configuration and spatial spin-wave profiles and that can be realized by applying off-symmetry-axis or nonuniform magnetic fields. Our work provides the phenomenological understanding into the mechanics of magnon interaction as well as the formalism for determining the interaction coefficients from simulations and experimental data. Our results serve as a guide to analyze magnon processes inherently present in spin-torque devices for boosting their performance or to engineer a specific nonlinear response of a nanomagnet used in neuromorphic or quantum magnonic application.


title: Runaway Eccentricity Growth: A Pathway for Binary Black Hole Mergers in AGN Disks

abstract: Binary black holes embedded within the accretion disks that fuel active galactic nuclei (AGN) are promising progenitors for the source of gravitational wave events detected by LIGO/VIRGO. Several recent studies have shown that when these binaries form they should be highly eccentric and retrograde. However, many uncertainties remain concerning the orbital evolution of these binaries as they either inspiral towards merger or disassociate. Previous hydrodynamical simulations exploring their orbital evolution have been predominantly two-dimensional, or have been restricted to binaries on nearly circular orbits. We present the first high-resolution, three-dimensional local shearing-box simulations of both prograde and retrograde eccentric binary black holes embedded in AGN disks. We find that retrograde binaries shrink several times faster than their prograde counterparts and exhibit significant orbital eccentricity growth, the rate of which monotonically increases with binary eccentricity. Our results suggest that retrograde binaries may experience runaway orbital eccentricity growth, which may bring them close enough together at pericenter for gravitational wave emission to drive them to coalescence. Although their eccentricity is damped, prograde binaries shrink much faster than their orbital eccentricity decays, suggesting they should remain modestly eccentric as they contract towards merger. Finally, binary precession driven by the AGN disk may dominate over precession induced by the supermassive black hole depending on the binary accretion rate and its location in the AGN disk, which can subdue the evection resonance and von Ziepel-Lidov-Kozai cycles.


title: VINCY: A Smart-contract based Data Integrity and Validation Tooling for Automated Vehicle Incident Investigation

abstract: Automated Driving Systems (ADSs) are being manufactured at an accelerated rate, leading to improvements in traffic safety, reduced energy consumption, pollution, and congestion. ADS relies on various data streams from onboard sensors, external road infrastructure, and other vehicles to make driving decisions. For effective traffic accident reconstruction, investigators must produce, collect, store, and access real-time data. To ensure meaningful investigation, the data used by investigators must be accurate and maintain its integrity. In this paper, we propose a smart-contract based data integrity and validation tool for automated vehicle incident investigation during road trials, considering uncertainties in a real-world environment.


title: Comparison of pipeline, sequence-to-sequence, and GPT models for end-to-end relation extraction: experiments with the rare disease use-case

abstract: End-to-end relation extraction (E2ERE) is an important and realistic application of natural language processing (NLP) in biomedicine. In this paper, we aim to compare three prevailing paradigms for E2ERE using a complex dataset focused on rare diseases involving discontinuous and nested entities. We use the RareDis information extraction dataset to evaluate three competing approaches (for E2ERE): NER $\rightarrow$ RE pipelines, joint sequence to sequence models, and generative pre-trained transformer (GPT) models. We use comparable state-of-the-art models and best practices for each of these approaches and conduct error analyses to assess their failure modes. Our findings reveal that pipeline models are still the best, while sequence-to-sequence models are not far behind; GPT models with eight times as many parameters are worse than even sequence-to-sequence models and lose to pipeline models by over 10 F1 points. Partial matches and discontinuous entities caused many NER errors contributing to lower overall E2E performances. We also verify these findings on a second E2ERE dataset for chemical-protein interactions. Although generative LM-based methods are more suitable for zero-shot settings, when training data is available, our results show that it is better to work with more conventional models trained and tailored for E2ERE. More innovative methods are needed to marry the best of the both worlds from smaller encoder-decoder pipeline models and the larger GPT models to improve E2ERE. As of now, we see that well designed pipeline models offer substantial performance gains at a lower cost and carbon footprint for E2ERE. Our contribution is also the first to conduct E2ERE for the RareDis dataset.


title: Computation of Riesz $\alpha$-capacity $C_\alpha$ of general sets in $\mathbb{R}^d$ using stable random walks

abstract: A method for computing the Riesz $\alpha$-capacity, $0 < \alpha \le 2$, of a general set $K \subset \mathbb{R}^d$ is given. The method is based on simulations of isotropic $\alpha$-stable motion paths in $d$-dimensions. The familiar Walk-On-Spheres method, often utilized for simulating Brownian motion, is modified to a novel Walk-In-Out-Balls method adapted for modeling the stable path process on the exterior of regions ``probed'' by this type of generalized random walk. It accounts for the propensity of this class of random walk to jump through boundaries because of the path discontinuity. This method allows for the computationally efficient simulation of hitting locations of stable paths launched from the exterior of probed sets. Reliable methods of computing capacity from these locations are given, along with non-standard confidence intervals. Illustrative calculations are performed for representative types of sets K, where both $\alpha$ and $d$ are varied.


title: A Survey of Blockchain, Artificial Intelligence, and Edge Computing for Web 3.0

abstract: Web 3.0, as the third generation of the World Wide Web, aims to solve contemporary problems of trust, centralization, and data ownership. Driven by the latest advances in cutting-edge technologies, Web 3.0 is moving towards a more open, decentralized, intelligent, and interconnected network. However, increasingly widespread data breaches have raised awareness of online privacy and security of personal data. Additionally, since Web 3.0 is a sophisticated and complex convergence, the technical details behind it are not as clear as the characteristics it presents. In this survey, we conduct an in-depth exploration of Web 3.0 from the perspectives of blockchain, artificial intelligence, and edge computing. Specifically, we begin with summarizing the evolution of the Internet and providing an overview of these three key technological factors. Afterward, we provide a thorough analysis of each technology separately, including its relevance to Web 3.0, key technology components, and practical applications. We also propose decentralized storage and computing solutions by exploring the integration of technologies. Finally, we highlight the key challenges alongside potential research directions. Through the combination and mutual complementation of multiple technologies, Web 3.0 is expected to return more control and ownership of data and digital assets back to users.


title: Recursive Rigid-Body Dynamics Algorithms for Systems with Kinematic Loops

abstract: We propose a novel approach for generalizing the following rigid-body dynamics algorithms: Recursive Newton-Euler Algorithm, Articulated-Body Algorithm, and Extended-Force-Propagator Algorithm. The classic versions of these recursive algorithms require systems to have an open chain structure. Dealing with closed-chains has, conventionally, required different algorithms. In this paper, we demonstrate that the classic recursive algorithms can be modified to work for closed-chain mechanisms. The critical insight of our generalized algorithms is the clustering of bodies involved in local loop constraints. Clustering bodies enables loop constraints to be resolved locally, i.e., only when that group of bodies is encountered during a forward or backward pass. This local treatment avoids the need for large-scale matrix factorization. We provide self-contained derivations of the algorithms using familiar, physically meaningful concepts. Overall, our approach provides a foundation for simulating robotic systems with traditionally difficult-to-simulate designs, such as geared motors, differential drives, and four-bar mechanisms. The performance of our library of algorithms is validated numerically in C++ on various modern legged robots: the MIT Mini Cheetah, the MIT Humanoid, the UIUC Tello Humanoid, and a modified version of the JVRC-1 Humanoid. Our algorithms are shown to outperform state-of-the-art algorithms for computing constrained rigid-body dynamics.


title: Nonrelaxational FMR peak broadening in spatially inhomogeneous films

abstract: The modification of magnetic properties in spatially inhomogeneous epitaxial films of magnetic shape memory alloys in martensitic state with the temperature variation has been studied. The proposed theoretical model is based on Landau theory of martensitic transformation and statistical model of martensitic state. It was shown that that spatial inhomogeneity of the material leads to the dispersion of local martensitic transformation temperatures resulting in the variation of local magnetic anisotropy values. This model allows describing the dramatic ferromagnetic resonance line broadening observed in the experiments in epitaxial films of magnetic shape memory alloys at low temperatures.


title: Climate change adaptation stories: co-creating climate services with reindeer herders in Finland

abstract: Reindeer husbandry in the Arctic region is strongly affected by the local climate. Reindeer herders are used to coping with adverse weather, climate, and grazing conditions through autonomous adaptation. However, todays rapidly changing Arctic environment poses new challenges to the management of herding activities. Finding means for combining traditional and scientific knowledge without depriving any of the systems of its fundamental strengths is hence deemed necessary. We apply a transdisciplinary framework for knowledge co-production involving international researchers and reindeer herders from different cooperatives in northern Finland. Through climate change adaptation stories, we co-explore how climate predictions can inform herders decision making during the herding season. Relevant decisions include the anticipation of summer harvest time, the inopportune periods of cold weather in spring, and insect harassment in summer. The analysis of two different adaptation stories shows that seasonal predictions of temperature for May and June can successfully advise about the likelihood of having an earlier than normal harvest. Likewise, sub-seasonal predictions of temperature during April and May can be useful to anticipate the occurrence of backwinter episodes, which can support herders in deciding whether to feed reindeer in pens for longer, avoiding putting the survival of calves at risk. This study, which would benefit from co-evaluation in real world settings and consideration of additional adaptation stories, sets the basis for a successful co-production of climate services with Arctic reindeer herders. This research shows the potential to enhance the resilience of Polar regions, offering opportunities for adaptation while supporting the sustainability and culture of traditional practices of Arctic communities.


title: Surpassing GPT-4 Medical Coding with a Two-Stage Approach

abstract: Recent advances in large language models (LLMs) show potential for clinical applications, such as clinical decision support and trial recommendations. However, the GPT-4 LLM predicts an excessive number of ICD codes for medical coding tasks, leading to high recall but low precision. To tackle this challenge, we introduce LLM-codex, a two-stage approach to predict ICD codes that first generates evidence proposals using an LLM and then employs an LSTM-based verification stage. The LSTM learns from both the LLM's high recall and human expert's high precision, using a custom loss function. Our model is the only approach that simultaneously achieves state-of-the-art results in medical coding accuracy, accuracy on rare codes, and sentence-level evidence identification to support coding decisions without training on human-annotated evidence according to experiments on the MIMIC dataset.


title: Multi-ion frequency reference using dynamical decoupling

abstract: We present the experimental realization of a continuous dynamical decoupling scheme which suppresses leading frequency shifts in a multi-ion frequency reference based on $^{40}\mathrm{Ca}^+$. By near-resonant magnetic coupling of the $^2\mathrm{S}_{1/2}$ and $^2\mathrm{D}_{5/2}$ Zeeman sub-levels using radio-frequency dressing fields, engineered transitions with reduced sensitivity to magnetic-field fluctuations are obtained. A second stage detuned dressing field reduces the influence of amplitude noise in the first stage driving fields and decreases 2\textsuperscript{nd}-rank tensor shifts, such as the electric quadrupole shift. Suppression of the quadratic dependence of the quadrupole shift to $3(2)\,\text{mHz}/\mu m^2$ and coherence times of $290(20)\,\text{ms}$ on the optical transition are demonstrated even within a laboratory environment with significant magnetic field noise. Besides removing inhomogeneous line shifts in multi-ion clocks, the demonstrated dynamical decoupling technique may find applications in quantum computing and simulation with trapped ions by a tailored design of decoherence-free subspaces.


title: Spectral Distortion Signatures of Step-like Inflationary Potential

abstract: In this work, we analyze a power-law inflationary potential enhanced with a step that can introduce features in the primordial power spectrum. We focus on the computation of the Spectral Distortions (SD) induced by these features obtained from the inflationary dynamics. In this scenario, we explore the potential of upcoming experimental missions like PIXIE to detect the SD of the model within a power of $n = 2/3$, a power that agrees with recent tensor-to-scalar ratio constraints. The model offers insights into models with cosmological phases and different scalar field dynamics. Introducing a step in the inflaton potential leads to distinct features in the primordial power spectrum, such as oscillations and localized enhancements/suppressions at specific scales. We analyze the impact of three primary parameters$-\beta$, $\delta$, and $\phi_{\text{step}}-$on the amplitude and characteristics of the SD. The $\phi_{\rm step}$ places the onset of the oscillations in the primordial power spectrum. The $\beta$ parameter significantly influences the magnitude of the $\mu$-SD, with its increase leading to larger SD and vice versa. Similarly, the $\delta$ parameter affects the smoothness of the step in the potential, with larger values resulting in smaller SD. Our findings indicate a distinct parameter space defined by $0.02 <\delta/{\rm M_{pl}} \lesssim 0.026$, $0.10 \lesssim \beta < 0.23$, and $ 7.53 \lesssim \phi_{\rm step}/{\rm M_{pl}} \lesssim 7.55$, which produces SD potentially detectable by PIXIE. This region also corresponds to the maximum observed values of $\mu$ and $y$ SD, which in special cases are an order of magnitude larger than the expected for $\Lambda$CDM. However, we also identify parameter ranges where $\mu$ and $y$ SD may not be detectable due to the limitations of current observational technology.


title: The Complexity of Computing KKT Solutions of Quadratic Programs

abstract: It is well known that solving a (non-convex) quadratic program is NP-hard. We show that the problem remains hard even if we are only looking for a Karush-Kuhn-Tucker (KKT) point, instead of a global optimum. Namely, we prove that computing a KKT point of a quadratic polynomial over the domain $[0,1]^n$ is complete for the class CLS = PPAD$\cap$PLS.


title: OASIS: Offsetting Active Reconstruction Attacks in Federated Learning

abstract: Federated Learning (FL) has garnered significant attention for its potential to protect user privacy while enhancing model training efficiency. For that reason, FL has found its use in various domains, from healthcare to industrial engineering, especially where data cannot be easily exchanged due to sensitive information or privacy laws. However, recent research has demonstrated that FL protocols can be easily compromised by active reconstruction attacks executed by dishonest servers. These attacks involve the malicious modification of global model parameters, allowing the server to obtain a verbatim copy of users' private data by inverting their gradient updates. Tackling this class of attack remains a crucial challenge due to the strong threat model. In this paper, we propose a defense mechanism, namely OASIS, based on image augmentation that effectively counteracts active reconstruction attacks while preserving model performance. We first uncover the core principle of gradient inversion that enables these attacks and theoretically identify the main conditions by which the defense can be robust regardless of the attack strategies. We then construct our defense with image augmentation showing that it can undermine the attack principle. Comprehensive evaluations demonstrate the efficacy of the defense mechanism highlighting its feasibility as a solution.


title: Excitations of bubbling geometries for line defects

abstract: The half-BPS Wilson line operators in the irreducible representations labeled by the Young diagrams for $\mathcal{N}=4$ $U(N)$ super Yang-Mills theory have gravity dual descriptions. When the number $k$ of boxes of the diagram grows as $k\sim N^2$, the bubbling geometries emerge. We evaluate the spectra of quantum fluctuations on the bubbling geometries from the large $N$ and large $k$ limit of the supersymmetric indices decorated by the Wilson lines. The spectra of excitations over multi-particle $1/8$- and $1/2$-BPS states agree with the numbers of conjugacy classes of general linear group over finite fields while degeneracies of single particle BPS states are given by the general necklace polynomial. The bubbling geometry exhibits a new class of asymptotic degeneracy of states.


title: Genus of Embedded Graphs in Orientable Closed Surfaces

abstract: We give an algorithm to calculate the minimal and maximal genus of the orientable closed surface where a graph $G$ can be embedded. For this, we construct some special branched coverings of the 2-sphere. We apply this algorithm to calculate the orientable genus and maximal genus of some Snarks graphs.