title: Investigating Calibration and Corruption Robustness of Post-hoc Pruned Perception CNNs: An Image Classification Benchmark Study

abstract: Convolutional Neural Networks (CNNs) have achieved state-of-the-art performance in many computer vision tasks. However, high computational and storage demands hinder their deployment into resource-constrained environments, such as embedded devices. Model pruning helps to meet these restrictions by reducing the model size, while maintaining superior performance. Meanwhile, safety-critical applications pose more than just resource and performance constraints. In particular, predictions must not be overly confident, i.e., provide properly calibrated uncertainty estimations (proper uncertainty calibration), and CNNs must be robust against corruptions like naturally occurring input perturbations (natural corruption robustness). This work investigates the important trade-off between uncertainty calibration, natural corruption robustness, and performance for current state-of-research post-hoc CNN pruning techniques in the context of image classification tasks. Our study reveals that post-hoc pruning substantially improves the model's uncertainty calibration, performance, and natural corruption robustness, sparking hope for safe and robust embedded CNNs.Furthermore, uncertainty calibration and natural corruption robustness are not mutually exclusive targets under pruning, as evidenced by the improved safety aspects obtained by post-hoc unstructured pruning with increasing compression.


title: Waveform Design for Over-the-Air Computing

abstract: In response to the increasing number of devices anticipated in next-generation networks, a shift toward over-the-air (OTA) computing has been proposed. Leveraging the superposition of multiple access channels, OTA computing enables efficient resource management by supporting simultaneous uncoded transmission in the time and the frequency domain. Thus, to advance the integration of OTA computing, our study presents a theoretical analysis addressing practical issues encountered in current digital communication transceivers, such as time sampling error and intersymbol interference (ISI). To this end, we examine the theoretical mean squared error (MSE) for OTA transmission under time sampling error and ISI, while also exploring methods for minimizing the MSE in the OTA transmission. Utilizing alternating optimization, we also derive optimal power policies for both the devices and the base station. Additionally, we propose a novel deep neural network (DNN)-based approach to design waveforms enhancing OTA transmission performance under time sampling error and ISI. To ensure fair comparison with existing waveforms like the raised cosine (RC) and the better-than-raised-cosine (BRTC), we incorporate a custom loss function integrating energy and bandwidth constraints, along with practical design considerations such as waveform symmetry. Simulation results validate our theoretical analysis and demonstrate performance gains of the designed pulse over RC and BTRC waveforms. To facilitate testing of our results without necessitating the DNN structure recreation, we provide curve fitting parameters for select DNN-based waveforms as well.

categories: cs.IT cs.DC cs.LG eess.SP math.IT math.ST stat.TH


title: SelfGNN: Self-Supervised Graph Neural Networks for Sequential Recommendation

abstract: Sequential recommendation effectively addresses information overload by modeling users' temporal and sequential interaction patterns. To overcome the limitations of supervision signals, recent approaches have adopted self-supervised learning techniques in recommender systems. However, there are still two critical challenges that remain unsolved. Firstly, existing sequential models primarily focus on long-term modeling of individual interaction sequences, overlooking the valuable short-term collaborative relationships among the behaviors of different users. Secondly, real-world data often contain noise, particularly in users' short-term behaviors, which can arise from temporary intents or misclicks. Such noise negatively impacts the accuracy of both graph and sequence models, further complicating the modeling process. To address these challenges, we propose a novel framework called Self-Supervised Graph Neural Network (SelfGNN) for sequential recommendation. The SelfGNN framework encodes short-term graphs based on time intervals and utilizes Graph Neural Networks (GNNs) to learn short-term collaborative relationships. It captures long-term user and item representations at multiple granularity levels through interval fusion and dynamic behavior modeling. Importantly, our personalized self-augmented learning structure enhances model robustness by mitigating noise in short-term graphs based on long-term user interests and personal stability. Extensive experiments conducted on four real-world datasets demonstrate that SelfGNN outperforms various state-of-the-art baselines. Our model implementation codes are available at https://github.com/HKUDS/SelfGNN.


title: Flow matching achieves minimax optimal convergence

abstract: Flow matching (FM) has gained significant attention as a simulation-free generative model. Unlike diffusion models, which are based on stochastic differential equations, FM employs a simpler approach by solving an ordinary differential equation with an initial condition from a normal distribution, thus streamlining the sample generation process. This paper discusses the convergence properties of FM in terms of the $p$-Wasserstein distance, a measure of distributional discrepancy. We establish that FM can achieve the minmax optimal convergence rate for $1 \leq p \leq 2$, presenting the first theoretical evidence that FM can reach convergence rates comparable to those of diffusion models. Our analysis extends existing frameworks by examining a broader class of mean and variance functions for the vector fields and identifies specific conditions necessary to attain these optimal rates.


title: Paying to Do Better: Games with Payments between Learning Agents

abstract: In repeated games, such as auctions, players typically use learning algorithms to choose their actions. The use of such autonomous learning agents has become widespread on online platforms. In this paper, we explore the impact of players incorporating monetary transfers into their agents' algorithms, aiming to incentivize behavior in their favor. Our focus is on understanding when players have incentives to make use of monetary transfers, how these payments affect learning dynamics, and what the implications are for welfare and its distribution among the players. We propose a simple game-theoretic model to capture such scenarios. Our results on general games show that in a broad class of games, players benefit from letting their learning agents make payments to other learners during the game dynamics, and that in many cases, this kind of behavior improves welfare for all players. Our results on first- and second-price auctions show that in equilibria of the ``payment policy game,'' the agents' dynamics can reach strong collusive outcomes with low revenue for the auctioneer. These results highlight a challenge for mechanism design in systems where automated learning agents can benefit from interacting with their peers outside the boundaries of the mechanism.


title: S4Fusion: Saliency-aware Selective State Space Model for Infrared Visible Image Fusion

abstract: As one of the tasks in Image Fusion, Infrared and Visible Image Fusion aims to integrate complementary information captured by sensors of different modalities into a single image. The Selective State Space Model (SSSM), known for its ability to capture long-range dependencies, has demonstrated its potential in the field of computer vision. However, in image fusion, current methods underestimate the potential of SSSM in capturing the global spatial information of both modalities. This limitation prevents the simultaneous consideration of the global spatial information from both modalities during interaction, leading to a lack of comprehensive perception of salient targets. Consequently, the fusion results tend to bias towards one modality instead of adaptively preserving salient targets. To address this issue, we propose the Saliency-aware Selective State Space Fusion Model (S4Fusion). In our S4Fusion, the designed Cross-Modal Spatial Awareness Module (CMSA) can simultaneously focus on global spatial information from both modalities while facilitating their interaction, thereby comprehensively capturing complementary information. Additionally, S4Fusion leverages a pre-trained network to perceive uncertainty in the fused images. By minimizing this uncertainty, S4Fusion adaptively highlights salient targets from both images. Extensive experiments demonstrate that our approach produces high-quality images and enhances performance in downstream tasks.


title: Sheaf HyperNetworks for Personalized Federated Learning

abstract: Graph hypernetworks (GHNs), constructed by combining graph neural networks (GNNs) with hypernetworks (HNs), leverage relational data across various domains such as neural architecture search, molecular property prediction and federated learning. Despite GNNs and HNs being individually successful, we show that GHNs present problems compromising their performance, such as over-smoothing and heterophily. Moreover, we cannot apply GHNs directly to personalized federated learning (PFL) scenarios, where a priori client relation graph may be absent, private, or inaccessible. To mitigate these limitations in the context of PFL, we propose a novel class of HNs, sheaf hypernetworks (SHNs), which combine cellular sheaf theory with HNs to improve parameter sharing for PFL. We thoroughly evaluate SHNs across diverse PFL tasks, including multi-class classification, traffic and weather forecasting. Additionally, we provide a methodology for constructing client relation graphs in scenarios where such graphs are unavailable. We show that SHNs consistently outperform existing PFL solutions in complex non-IID scenarios. While the baselines' performance fluctuates depending on the task, SHNs show improvements of up to 2.7% in accuracy and 5.3% in lower mean squared error over the best-performing baseline.


title: Scalable Distance-based Multi-Agent Relative State Estimation via Block Multiconvex Optimization

abstract: This paper explores the distance-based relative state estimation problem in large-scale systems, which is hard to solve effectively due to its high-dimensionality and non-convexity. In this paper, we alleviate this inherent hardness to simultaneously achieve scalability and robustness of inference on this problem. Our idea is launched from a universal geometric formulation, called \emph{generalized graph realization}, for the distance-based relative state estimation problem. Based on this formulation, we introduce two collaborative optimization models, one of which is convex and thus globally solvable, and the other enables fast searching on non-convex landscapes to refine the solution offered by the convex one. Importantly, both models enjoy \emph{multiconvex} and \emph{decomposable} structures, allowing efficient and safe solutions using \emph{block coordinate descent} that enjoys scalability and a distributed nature. The proposed algorithms collaborate to demonstrate superior or comparable solution precision to the current centralized convex relaxation-based methods, which are known for their high optimality. Distinctly, the proposed methods demonstrate scalability beyond the reach of previous convex relaxation-based methods. We also demonstrate that the combination of the two proposed algorithms achieves a more robust pipeline than deploying the local search method alone in a continuous-time scenario.


title: Effects of Dataset Sampling Rate for Noise Cancellation through Deep Learning

abstract: Background: Active noise cancellation has been a subject of research for decades. Traditional techniques, like the Fast Fourier Transform, have limitations in certain scenarios. This research explores the use of deep neural networks (DNNs) as a superior alternative. Objective: The study aims to determine the effect sampling rate within training data has on lightweight, efficient DNNs that operate within the processing constraints of mobile devices. Methods: We chose the ConvTasNET network for its proven efficiency in speech separation and enhancement. ConvTasNET was trained on datasets such as WHAM!, LibriMix, and the MS-2023 DNS Challenge. The datasets were sampled at rates of 8kHz, 16kHz, and 48kHz to analyze the effect of sampling rate on noise cancellation efficiency and effectiveness. The model was tested on a core-i7 Intel processor from 2023, assessing the network's ability to produce clear audio while filtering out background noise. Results: Models trained at higher sampling rates (48kHz) provided much better evaluation metrics against Total Harmonic Distortion (THD) and Quality Prediction For Generative Neural Speech Codecs (WARP-Q) values, indicating improved audio quality. However, a trade-off was noted with the processing time being longer for higher sampling rates. Conclusions: The Conv-TasNET network, trained on datasets sampled at higher rates like 48kHz, offers a robust solution for mobile devices in achieving noise cancellation through speech separation and enhancement. Future work involves optimizing the model's efficiency further and testing on mobile devices.


title: Interfaces of the two-dimensional voter model in the context of SLE

abstract: This paper investigates various geometrical properties of interfaces of the two-dimensional voter model. Despite its simplicity, the model exhibits dual characteristics, resembling both a critical system with long-range correlations, while also showing a tendency towards order similar to the Ising-Glauber model at zero temperature. This duality is reflected in the geometrical properties of its interfaces, which are examined here from the perspective of Schramm-Loewner evolution. Recent studies have delved into the geometrical properties of these interfaces within different lattice geometries and boundary conditions. We revisit these findings, focusing on a system within a box of linear size $L$ with Dobrushin boundary conditions, where values of the spins are fixed to either $+1$ or $-1$ on two distinct halves of the boundary, in order to enforce the presence of a pinned interface with fixed endpoints (or chordal interface). We also expand the study to compare the geometrical properties of the interfaces of the voter model with those of the critical Ising model and other related models. Scaling arguments and numerical studies suggest that, while locally the chordal interface of the voter model has fractal dimension $d_{\rm f}=3/2$, corresponding to a parameter $\kappa=4$, it becomes straight at large scales, confirming a conjecture made by Holmes et al \cite{holmes}, and ruling out the possibility of describing the chordal interface of the voter model by SLE$_{\kappa}$, for any non zero value of $\kappa$. This contrasts with the critical Ising model, which is described by SLE$_3$, and whose interface fluctuations remain of order $L$, and more generally with related critical models, which are in the same universality class.


title: One-dimensional magnetic conduction channels across zigzag graphene nanoribbon/hexagonal boron nitride heterojunctions

abstract: We examine the electronic structure of recently fabricated in-plane heterojunctions of zigzag graphene nanoribbons embedded in hexagonal boron nitride. We focus on hitherto unexplored interface configurations in which both edges of the nanoribbon are bonded to the same chemical species, either boron or nitrogen atoms. Using ab initio and mean-field Hubbard model calculations, we reveal the emergence of one-dimensional magnetic conducting channels at these interfaces. These channels originate from the energy shift of the magnetic interface states that is induced by charge transfer between the nanoribbon and hexagonal boron nitride. We further address the response of these heterojunctions to external electric and magnetic fields, demonstrating the tunability of energy and spin splittings in the electronic structure. Our findings establish that zigzag graphene nanoribbon/hexagonal boron nitride heterojunctions are a suitable platform for exploring and engineering spin transport in the atomically thin limit, with potential applications in integrated spintronic devices


title: On the Condition Monitoring of Bolted Joints through Acoustic Emission and Deep Transfer Learning: Generalization, Ordinal Loss and Super-Convergence

abstract: This paper investigates the use of deep transfer learning based on convolutional neural networks (CNNs) to monitor the condition of bolted joints using acoustic emissions. Bolted structures are critical components in many mechanical systems, and the ability to monitor their condition status is crucial for effective structural health monitoring. We evaluated the performance of our methodology using the ORION-AE benchmark, a structure composed of two thin beams connected by three bolts, where highly noisy acoustic emission measurements were taken to detect changes in the applied tightening torque of the bolts. The data used from this structure is derived from the transformation of acoustic emission data streams into images using continuous wavelet transform, and leveraging pretrained CNNs for feature extraction and denoising. Our experiments compared single-sensor versus multiple-sensor fusion for estimating the tightening level (loosening) of bolts and evaluated the use of raw versus prefiltered data on the performance. We particularly focused on the generalization capabilities of CNN-based transfer learning across different measurement campaigns and we studied ordinal loss functions to penalize incorrect predictions less severely when close to the ground truth, thereby encouraging misclassification errors to be in adjacent classes. Network configurations as well as learning rate schedulers are also investigated, and super-convergence is obtained, i.e., high classification accuracy is achieved in a few number of iterations with different networks. Furthermore, results demonstrate the generalization capabilities of CNN-based transfer learning for monitoring bolted structures by acoustic emission with varying amounts of prior information required during training.


title: Upper Bounds on Large Deviations of Dirichlet $L$-functions in the $q$-aspect

abstract: We prove a result on the large deviations of the central values of even primitive Dirichlet $L$-functions with a given modulus. For $V\sim \alpha\log\log q$ with $0<\alpha<1$, we show that \begin{equation}\nonumber\frac{1}{\varphi(q)} \# \left\{\chi \text{ even, primitive mod }q: \log \left|L\left(\chi,\frac{1}{2}\right)\right| >V\right\}\ll \frac{e^{-\frac{V^2}{\log\log q}}}{\sqrt{\log\log q}}.\end{equation} This yields the sharp upper bound for the fractional moments of central values of Dirichlet $L$-functions proved by Gao, upon noting that the number of even, primitive characters with modulus $q$ is $\frac{\varphi(q)}{2}+O(1).$ The proof is an adaptation to the $q$-aspect of the recursive scheme developed by Arguin, Bourgade and Radziwill for the local maxima of the Riemann zeta function, and applied by Arguin and Bailey to the large deviations in the $t$-aspect. We go further and get bounds on the case where $V=o(\log\log q)$. These bounds are not expected to be sharp, but the discrepancy from the Central Limit Theorem estimate grows very slowly with $q$. The method involves a formula for the twisted mollified second moment of central values of Dirichlet $L$-functions, building on the work of Iwaniec and Sarnak.


title: The Role of Bases in Quantum Optimal Control

abstract: Quantum Optimal Control (QOC) supports the advance of quantum technologies by tackling its problems at the pulse level: Numerical approaches iteratively work towards a given target by parametrising the applied time-dependent fields with a finite set of variables. The effectiveness of the resulting optimisation depends on the complexity of the problem and the number of variables. We consider different parametrisations in terms of basis functions, asking whether the choice of the applied basis affects the quality of the optimisation. Furthermore, we consider strategies to choose the most suitable basis. For the comparison, we test three different randomisable bases - introducing the sinc and sigmoid bases as alternatives to the Fourier basis - on QOC problems of varying complexity. For each problem, the basis-specific convergence rates result in a unique ranking. Especially for expensive evaluations, e.g., in closed-loop, a potential speed-up by a factor of up to 10 may be crucial for the optimisation's feasibility. We conclude that a problem-dependent basis choice is an influential factor for QOC efficiency and provide advice for its approach.


title: Constraining Gluonic Contact Interaction of a Neutrino-philic Dark Fermion at Hadron Colliders and Direct Detection Experiments

abstract: Weakly interacting fermion with the Standard Model particles is a promising candidate of the genuine dark matter. In this paper, we study signatures of the gluonic interactions of a dark fermion and a neutrino at hadron colliders and direct detection experiments. The lowest order interactions are described by contact operators in dimension 7. At hadron colliders, the mono-jet production is the most sensitive channel. And these operators can also induce both spin-independent and spin dependent absorption of the dark fermion at nuclear target. We show that for a nearly massless dark fermion, the energy scales are constrained to be higher than 500 GeV and 1.2 TeV by the current LHC and HE-LHC searches, respectively. Furthermore, we also find that almost all the parameter space accessible by the spin-independent absorption has been excluded by the current LHC constraints. In contrast, for spin-dependent absorption at light nuclear target there is still some parameter space which can not be reached by current and upcoming LHC searches.


title: On the largest independent sets in the Kneser graph on chambers of PG(4,q)

abstract: Let $\Gamma_4$ be the graph whose vertices are the chambers of the finite projective $4$-space PG(4,q), with two vertices being adjacent if the corresponding chambers are in general position. For $q\geq 749 $ we show that $\alpha:=(q^2+q+1)(q^3+2q^2+q+1)(q+1)^2$ is the independence number of $\Gamma_4$ and the geometric structure of independent sets with $\alpha$ vertices is described.


title: MALT: Multi-scale Action Learning Transformer for Online Action Detection

abstract: Online action detection (OAD) aims to identify ongoing actions from streaming video in real-time, without access to future frames. Since these actions manifest at varying scales of granularity, ranging from coarse to fine, projecting an entire set of action frames to a single latent encoding may result in a lack of local information, necessitating the acquisition of action features across multiple scales. In this paper, we propose a multi-scale action learning transformer (MALT), which includes a novel recurrent decoder (used for feature fusion) that includes fewer parameters and can be trained more efficiently. A hierarchical encoder with multiple encoding branches is further proposed to capture multi-scale action features. The output from the preceding branch is then incrementally input to the subsequent branch as part of a cross-attention calculation. In this way, output features transition from coarse to fine as the branches deepen. We also introduce an explicit frame scoring mechanism employing sparse attention, which filters irrelevant frames more efficiently, without requiring an additional network. The proposed method achieved state-of-the-art performance on two benchmark datasets (THUMOS'14 and TVSeries), outperforming all existing models used for comparison, with an mAP of 0.2% for THUMOS'14 and an mcAP of 0.1% for TVseries.


title: On the transitivity of Lie ideals and a characterization of perfect Lie algebras

abstract: We explore general intrinsic and extrinsic conditions that allow the transitivity of the relation of being a Lie ideal, in the sense that if a Lie algebra $\mathfrak{h}$ is a subideal of a Lie algebra $\mathfrak{g}$ (i.e. there exist Lie subalgebras $\mathfrak{l}_0,\mathfrak{l}_1,\dots,\mathfrak{l}_n$ of $\mathfrak{g}$ with $\mathfrak{h}=\mathfrak{l}_0\unlhd \mathfrak{l}_1 \unlhd\cdots \unlhd \mathfrak{l}_n=\mathfrak{g}$), then $\mathfrak{h}$ is an ideal of $\mathfrak{g}$. We also prove that perfect Lie algebras of arbitrary dimension and over any field are intrinsically characterized by transitivity of this type; In particular, we show that a Lie algebra $\mathfrak{h}$ is perfect (i.e. $\mathfrak{h}=[\mathfrak{h}, \mathfrak{h}]$) if and only if for any Lie algebra $\mathfrak{g}$ such that $\mathfrak{h}$ is a subideal of $\mathfrak{g}$, it follows that $\mathfrak{h}$ is an ideal of $\mathfrak{g}$.


title: Existence of solutions to k-Wave models of nonlinear ultrasound propagation in biological tissue

abstract: We investigate models for nonlinear ultrasound propagation in soft biological tissue based on the one that serves as the core for the software package k-Wave. The systems are solved for the acoustic particle velocity, mass density, and acoustic pressure and involve a fractional absorption operator. We first consider a system that incorporates additional viscosity in the equation for momentum conservation. By constructing a Galerkin approximation procedure, we prove the local existence of its solutions. In view of inverse problems arising from imaging tasks, the theory allows for the variable background mass density, speed of sound, and the nonlinearity parameter in the systems. Secondly, under stronger conditions on the data, we take the vanishing viscosity limit of the problem, thereby rigorously establishing the existence of solutions for the limiting system as well.


title: A comparison of correspondence analysis with PMI-based word embedding methods

abstract: Popular word embedding methods such as GloVe and Word2Vec are related to the factorization of the pointwise mutual information (PMI) matrix. In this paper, we link correspondence analysis (CA) to the factorization of the PMI matrix. CA is a dimensionality reduction method that uses singular value decomposition (SVD), and we show that CA is mathematically close to the weighted factorization of the PMI matrix. In addition, we present variants of CA that turn out to be successful in the factorization of the word-context matrix, i.e. CA applied to a matrix where the entries undergo a square-root transformation (ROOT-CA) and a root-root transformation (ROOTROOT-CA). An empirical comparison among CA- and PMI-based methods shows that overall results of ROOT-CA and ROOTROOT-CA are slightly better than those of the PMI-based methods.


title: SPARROW: Smart Precision Agriculture Robot for Ridding of Weeds

abstract: The advancements in precision agriculture are vital to support the increasing demand for global food supply. Precision spot spraying is a major step towards reducing chemical usage for pest and weed control in agriculture. A novel spot spraying algorithm that autonomously detects weeds and performs trajectory planning for the sprayer nozzle has been proposed. Furthermore, this research introduces a vision-based autonomous navigation system that operates through the detected crop row, effectively synchronizing with an autonomous spraying algorithm. This proposed system is characterized by its cost effectiveness that enable the autonomous spraying of herbicides onto detected weeds.


title: Quantum Magnetic Skyrmions on the Kondo Lattice

abstract: A quantum description is given of nanoskyrmions in 2D textures with localised spins and itinerant electrons, isolated or coupled to leads, in or out of equilibrium. The spin-electron exchange is treated at the mean-field level, while Tensor Networks and exact diagonalization or nonequilibrium Green's functions are used for localised spins and itinerant electrons. We motivate our scheme via exact benchmarks, then show by several examples that itinerant electrons distinctly affect the properties of quantum nanoskyrmions. Finally, we mention lines of future work and improvement of the approach.


title: Codimensions of algebras with pseudoautomorphism and their exponential growth

abstract: Let $F$ be a fixed field of characteristic zero containing an element $i$ such that $i^2 = -1$. In this paper we consider finite dimensional superalgebras over $F$ endowed with a pseudoautomorphism $p$ and we investigate the asymptotic behaviour of the corresponding sequence of $p$-codimensions $c_n^p(A),$ $n=1,2, \ldots$. First we give a positive answer to a conjecture of Amitsur in this setting: the $p$-exponent $\exp^p(A) = \lim_{n \rightarrow \infty} \sqrt[n]{c_n^p(A)} $ always exists and it is an integer. In the final part we characterize the algebras whose exponential growth is bounded by $2$.


title: On the cone conjecture for certain pairs of dimension at most 4

abstract: In this paper, by running MMP and considering the anti-canonical fibration, we prove the Morrison-Kawamata cone conjecture for klt Calabi-Yau pairs $(X,\Delta)$ such that $\dim X$ is at most $4$, and the Iitaka dimension $\kappa(X,-K_X)$ is at least $\dim X - 2$.


title: Large Language Models: A New Approach for Privacy Policy Analysis at Scale

abstract: The number and dynamic nature of web and mobile applications presents significant challenges for assessing their compliance with data protection laws. In this context, symbolic and statistical Natural Language Processing (NLP) techniques have been employed for the automated analysis of these systems' privacy policies. However, these techniques typically require labor-intensive and potentially error-prone manually annotated datasets for training and validation. This research proposes the application of Large Language Models (LLMs) as an alternative for effectively and efficiently extracting privacy practices from privacy policies at scale. Particularly, we leverage well-known LLMs such as ChatGPT and Llama 2, and offer guidance on the optimal design of prompts, parameters, and models, incorporating advanced strategies such as few-shot learning. We further illustrate its capability to detect detailed and varied privacy practices accurately. Using several renowned datasets in the domain as a benchmark, our evaluation validates its exceptional performance, achieving an F1 score exceeding 93%. Besides, it does so with reduced costs, faster processing times, and fewer technical knowledge requirements. Consequently, we advocate for LLM-based solutions as a sound alternative to traditional NLP techniques for the automated analysis of privacy policies at scale.


title: Galaxy Rest-Frame UV Colors at z ~ 2-4 with HST UVCANDELS

abstract: We present an analysis of rest-frame UV colors of 17,243 galaxies at $z\sim2-4$ in the HST UVCANDELS fields: GOODS-N, GOODS-S, COSMOS, and EGS. Here, we study the rest-frame UV spectral slope, $\beta$, measured via model spectra obtained via spectral energy distribution (SED) fitting, $\beta_{SED}$, and explore its correlation with various galaxy parameters (photometric redshift, UV magnitude, stellar mass, dust attenuation, star formation rate [SFR], and specific SFR) obtained via SED fitting with Dense Basis. We also obtain measurements for $\beta$ via photometric power-law fitting and compare them to our SED-fit-based results, finding good agreement on average. While we find little evolution in $\beta$ with redshift from $z=2-4$ for the full population, there are clear correlations between $\beta$ (and related parameters) when binned by stellar mass. For this sample, lower stellar mass galaxies (log[$M_*$] = 7.5-8.5 $M_\odot$) are typically bluer ($\beta_{SED}=-2.0\pm 0.2$ / $\beta_{PL} = -2.1\pm0.4$), fainter ($MUV = -17.8^{+0.7}_{-0.6}$) less dusty ($A{v}=0.4\pm0.1$ mag), exhibit lower rates of star formation (log[SFR]=$0.1\pm0.2 M_\odot/$ yr) and higher specific star formation rates (log[sSFR]=$-8.2\pm0.2 \ \mathrm{yr}^{-1}$) than their high-mass counterparts. Higher-mass galaxies (log[$M_*$] $=10.0-12.0 \ M_\odot$) are on average redder ($\beta_{SED}=-0.9^{+0.8}_{-0.5}$ / $\beta_{PL}=-1.0^{+0.8}_{-0.5}$), brighter ($MUV=-19.6^{+1.0}_{-1.2}$), dustier ($Av = 0.9^{+0.5}_{-0.4}$ mag), have higher SFRs (log[SFR]=$1.2^{+0.6}_{-1.1} M_\odot$ yr), and lower sSFRs (log[sSFR]=$-9.1^{+0.5}_{-1.1} {yr}^{-1}$). This study's substantial sample size provides a benchmark for demonstrating that the rest-frame UV spectral slope correlates with stellar mass-dependent galaxy characteristics at $z\sim2-4$, a relationship less discernible with smaller datasets typically available at higher redshifts.


title: Preemptive Answer "Attacks" on Chain-of-Thought Reasoning

abstract: Large language models (LLMs) showcase impressive reasoning capabilities when coupled with Chain-of-Thought (CoT) prompting. However, the robustness of this approach warrants further investigation. In this paper, we introduce a novel scenario termed preemptive answers, where the LLM obtains an answer before engaging in reasoning. This situation can arise inadvertently or induced by malicious users by prompt injection attacks. Experiments reveal that preemptive answers significantly impair the model's reasoning capability across various CoT methods and a broad spectrum of datasets. To bolster the robustness of reasoning, we propose two measures aimed at mitigating this issue to some extent.


title: Gaussian Framework and Optimal Projection of Weather Fields for Prediction of Extreme Events

abstract: Extreme events are the major weather related hazard for humanity. It is then of crucial importance to have a good understanding of their statistics and to be able to forecast them. However, lack of sufficient data makes their study particularly challenging. In this work we provide a simple framework to study extreme events that tackles the lack of data issue by using the whole dataset available, rather than focusing on the extremes in the dataset. To do so, we make the assumption that the set of predictors and the observable used to define the extreme event follow a jointly Gaussian distribution. This naturally gives the notion of an optimal projection of the predictors for forecasting the event. We take as a case study extreme heatwaves over France, and we test our method on an 8000-year-long intermediate complexity climate model time series and on the ERA5 reanalysis dataset. For a-posteriori statistics, we observe and motivate the fact that composite maps of very extreme events look similar to less extreme ones. For prediction, we show that our method is competitive with off-the-shelf neural networks on the long dataset and outperforms them on reanalysis. The optimal projection pattern, which makes our forecast intrinsically interpretable, highlights the importance of soil moisture deficit and quasi-stationary Rossby waves as precursors to extreme heatwaves.


title: Solving systems of equations on antichains for the computation of the ninth Dedekind Number

abstract: We study systems of equations on antichains, together with a way to count the number of solutions. We start with two simple examples, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.


title: VENI, VINDy, VICI: a variational reduced-order modeling framework with uncertainty quantification

abstract: The simulation of many complex phenomena in engineering and science requires solving expensive, high-dimensional systems of partial differential equations (PDEs). To circumvent this, reduced-order models (ROMs) have been developed to speed up computations. However, when governing equations are unknown or partially known, typically ROMs lack interpretability and reliability of the predicted solutions. In this work we present a data-driven, non-intrusive framework for building ROMs where the latent variables and dynamics are identified in an interpretable manner and uncertainty is quantified. Starting from a limited amount of high-dimensional, noisy data the proposed framework constructs an efficient ROM by leveraging variational autoencoders for dimensionality reduction along with a newly introduced, variational version of sparse identification of nonlinear dynamics (SINDy), which we refer to as Variational Identification of Nonlinear Dynamics (VINDy). In detail, the method consists of Variational Encoding of Noisy Inputs (VENI) to identify the distribution of reduced coordinates. Simultaneously, we learn the distribution of the coefficients of a pre-determined set of candidate functions by VINDy. Once trained offline, the identified model can be queried for new parameter instances and new initial conditions to compute the corresponding full-time solutions. The probabilistic setup enables uncertainty quantification as the online testing consists of Variational Inference naturally providing Certainty Intervals (VICI). In this work we showcase the effectiveness of the newly proposed VINDy method in identifying interpretable and accurate dynamical system for the R\"ossler system with different noise intensities and sources. Then the performance of the overall method - named VENI, VINDy, VICI - is tested on PDE benchmarks including structural mechanics and fluid dynamics.


title: Enhancing Vision Models for Text-Heavy Content Understanding and Interaction

abstract: Interacting and understanding with text heavy visual content with multiple images is a major challenge for traditional vision models. This paper is on enhancing vision models' capability to comprehend or understand and learn from images containing a huge amount of textual information from the likes of textbooks and research papers which contain multiple images like graphs, etc and tables in them with different types of axes and scales. The approach involves dataset preprocessing, fine tuning which is by using instructional oriented data and evaluation. We also built a visual chat application integrating CLIP for image encoding and a model from the Massive Text Embedding Benchmark which is developed to consider both textual and visual inputs. An accuracy of 96.71% was obtained. The aim of the project is to increase and also enhance the advance vision models' capabilities in understanding complex visual textual data interconnected data, contributing to multimodal AI.


title: The Muckenhoupt condition

abstract: The goal of this paper is to unify the theory of weights beyond the setting of weighted Lebesgue spaces in the general setting of quasi-Banach function spaces. We prove new characterizations for the boundedness of singular integrals, and pose several conjectures and partial results related to the duality of the Hardy-Littlewood maximal operator. Furthermore, we give an overview of the theory applied to weighted variable Lebesgue and Morrey spaces.


title: Note on homoclinic solutions to nonautonomous Hamiltonian systems with sign-changing nonlinear part

abstract: In the paper, we utilize the recent variational, abstract theorem to show the existence of homoclinic solutions to the Hamiltonian system $$ \dot{z} = J D_z H(z, t), \quad t \in \mathbb{R}, $$ where the Hamiltonian $H : \mathbb{R}^{2N} \times \mathbb{R} \rightarrow \mathbb{R}$ is of the form $$ H(z, t) = \frac12 Az \cdot z + \Gamma(t) \left( F(z) - \lambda G(z) \right) $$ for some symmetric matrix $A$.


title: Nonparametric regression on random geometric graphs sampled from submanifolds

abstract: We consider the nonparametric regression problem when the covariates are located on an unknown smooth compact submanifold of a Euclidean space. Under defining a random geometric graph structure over the covariates we analyze the asymptotic frequentist behaviour of the posterior distribution arising from Bayesian priors designed through random basis expansion in the graph Laplacian eigenbasis. Under Holder smoothness assumption on the regression function and the density of the covariates over the submanifold, we prove that the posterior contraction rates of such methods are minimax optimal (up to logarithmic factors) for any positive smoothness index.


title: Predicting ptychography probe positions using single-shot phase retrieval neural network

abstract: Ptychography is a powerful imaging technique that is used in a variety of fields, including materials science, biology, and nanotechnology. However, the accuracy of the reconstructed ptychography image is highly dependent on the accuracy of the recorded probe positions which often contain errors. These errors are typically corrected jointly with phase retrieval through numerical optimization approaches. When the error accumulates along the scan path or when the error magnitude is large, these approaches may not converge with satisfactory result. We propose a fundamentally new approach for ptychography probe position prediction for data with large position errors, where a neural network is used to make single-shot phase retrieval on individual diffraction patterns, yielding the object image at each scan point. The pairwise offsets among these images are then found using a robust image registration method, and the results are combined to yield the complete scan path by constructing and solving a linear equation. We show that our method can achieve good position prediction accuracy for data with large and accumulating errors on the order of $10^2$ pixels, a magnitude that often makes optimization-based algorithms fail to converge. For ptychography instruments without sophisticated position control equipment such as interferometers, our method is of significant practical potential.

categories: physics.app-ph cs.AI cs.CV physics.data-an


title: Josephson junctions, superconducting circuits, and qubit for quantum technologies

abstract: In the realm of physics, a pivotal moment occurred six decades ago when Brian Josephson made a groundbreaking prediction, setting in motion a series of events that would eventually earn him the prestigious Nobel Prize eleven years later. This prediction centered around what is now known as the Josephson effect, a phenomenon with far-reaching implications. At the heart of this effect lies the Josephson junction (JJ), a device that has become a linchpin in various scientific applications. This chapter delves into the foundational principles of the Josephson effect and the remarkable properties of JJs. From their role in metrology to their application in radiation detectors, these junctions have ushered in a new era of electronics. Exploiting the unique features of superconductive devices, such as high speed, low dissipation, and dispersion, JJs find today practical implementation in the development of superconductive qubits and nanotechnology applications.


title: A Branch-Price-Cut-And-Switch Approach for Optimizing Team Formation and Routing for Airport Baggage Handling Tasks with Stochastic Travel Times

abstract: In airport operations, optimally using dedicated personnel for baggage handling tasks plays a crucial role in the design of resource-efficient processes. Teams of workers with different qualifications must be formed, and loading or unloading tasks must be assigned to them. Each task has a time window within which it can be started and should be finished. Violating these temporal restrictions incurs severe financial penalties for the operator. In practice, various components of this process are subject to uncertainties. We consider the aforementioned problem under the assumption of stochastic travel times across the apron. We present two binary program formulations to model the problem at hand and solve it with a Branch-Price-Cut-and-Switch approach, in which we dynamically switch between two master problem formulations. Furthermore, we use an exact separation method to identify violated rank-1 Chv\'atal-Gomory cuts and utilize an efficient branching rule relying on task finish times. We test the algorithm on instances generated based on real-world data from a major European hub airport with a planning horizon of up to two hours, 30 flights per hour, and three available task execution modes to choose from. Our results indicate that our algorithm is able to significantly outperform existing solution approaches. Moreover, an explicit consideration of stochastic travel times allows for solutions that utilize the available workforce more efficiently, while simultaneously guaranteeing a stable service level for the baggage handling operator.


title: Coexisting charge density waves in twisted bilayer NbSe2

abstract: Twisted bilayers of two-dimensional materials have emerged as a highly tunable platform for studying broken symmetry phases. While most interest has been focused on emergent states in systems whose constituent monolayers do not feature broken symmetry states, assembling monolayers that exhibit ordered states into twisted bilayers can also give rise to interesting phenomena. Here, we use large-scale first-principles density-functional theory calculations to study the atomic structure of twisted bilayer $\mathrm{{N}b{S}e_2}$ whose constituent monolayers feature a charge density wave. We find that different charge density wave states coexist in the ground state of the twisted bilayer: monolayer-like $3\times 3$ triangular and hexagonal charge density waves are observed in low-energy stacking regions, while stripe charge density waves are found in the domain walls surrounding the low-energy stacking regions. These predictions, which can be tested by scanning tunneling microscopy experiments, highlight the potential to create complex charge density wave ground states in twisted bilayer systems and can serve as a starting point for understanding superconductivity occurring at low temperatures.


title: RASE: Efficient Privacy-preserving Data Aggregation against Disclosure Attacks for IoTs

abstract: The growing popular awareness of personal privacy raises the following quandary: what is the new paradigm for collecting and protecting the data produced by ever-increasing sensor devices. Most previous studies on co-design of data aggregation and privacy preservation assume that a trusted fusion center adheres to privacy regimes. Very recent work has taken steps towards relaxing the assumption by allowing data contributors to locally perturb their own data. Although these solutions withhold some data content to mitigate privacy risks, they have been shown to offer insufficient protection against disclosure attacks. Aiming at providing a more rigorous data safeguard for the Internet of Things (IoTs), this paper initiates the study of privacy-preserving data aggregation. We propose a novel paradigm (called RASE), which can be generalized into a 3-step sequential procedure, noise addition, followed by random permutation, and then parameter estimation. Specially, we design a differentially private randomizer, which carefully guides data contributors to obfuscate the truth. Then, a shuffler is employed to receive the noisy data from all data contributors. After that, it breaks the correct linkage between senders and receivers by applying a random permutation. The estimation phase involves using inaccurate data to calculate an approximate aggregate value. Extensive simulations are provided to explore the privacy-utility landscape of our RASE.


title: Fast yet Safe: Early-Exiting with Risk Control

abstract: Scaling machine learning models significantly improves their performance. However, such gains come at the cost of inference being slow and resource-intensive. Early-exit neural networks (EENNs) offer a promising solution: they accelerate inference by allowing intermediate layers to exit and produce a prediction early. Yet a fundamental issue with EENNs is how to determine when to exit without severely degrading performance. In other words, when is it 'safe' for an EENN to go 'fast'? To address this issue, we investigate how to adapt frameworks of risk control to EENNs. Risk control offers a distribution-free, post-hoc solution that tunes the EENN's exiting mechanism so that exits only occur when the output is of sufficient quality. We empirically validate our insights on a range of vision and language tasks, demonstrating that risk control can produce substantial computational savings, all the while preserving user-specified performance goals.


title: Unravelling the Use of Digital Twins to Assist Decision- and Policy-Making in Smart Cities

abstract: This short paper represents a systematic literature review that sets the basis for the future development of a framework for digital twin-based decision support in the public sector, specifically for the smart city domain. The final aim of the research is to model context-specific digital twins for aiding the decision-making processes in smart cities and devise methods for defining the policy agenda. Overall, this short paper provides a foundation, based on the main concepts from existing literature, for further research in the role and applications of urban digital twins to assist decision- and policy-making in smart cities. The existing literature analyses common applications of digital twins in smart city development with a focus on supporting decision- and policy-making. Future work will centre on developing a digital-twin-based sustainable smart city and defining different scenarios concerning challenges of good governance, especially so-called wicked problems, in smaller-scale urban and non-urban contexts.


title: Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba

abstract: Temporal logic is a framework for representing and reasoning about propositions that evolve over time. It is commonly used for specifying requirements in various domains, including hardware and software systems, as well as robotics. Specification mining or formula generation involves extracting temporal logic formulae from system traces and has numerous applications, such as detecting bugs and improving interpretability. Although there has been a surge of deep learning-based methods for temporal logic satisfiability checking in recent years, the specification mining literature has been lagging behind in adopting deep learning methods despite their many advantages, such as scalability. In this paper, we introduce autoregressive models that can generate linear temporal logic formulae from traces, towards addressing the specification mining problem. We propose multiple architectures for this task: transformer encoder-decoder, decoder-only transformer, and Mamba, which is an emerging alternative to transformer models. Additionally, we devise a metric for quantifying the distinctiveness of the generated formulae and a straightforward algorithm to enforce the syntax constraints. Our experiments show that the proposed architectures yield promising results, generating correct and distinct formulae at a fraction of the compute cost needed for the combinatorial baseline.


title: Flexible inference in heterogeneous and attributed multilayer networks

abstract: Networked datasets are often enriched by different types of information about individual nodes or edges. However, most existing methods for analyzing such datasets struggle to handle the complexity of heterogeneous data, often requiring substantial model-specific analysis. In this paper, we develop a probabilistic generative model to perform inference in multilayer networks with arbitrary types of information. Our approach employs a Bayesian framework combined with the Laplace matching technique to ease interpretation of inferred parameters. Furthermore, the algorithmic implementation relies on automatic differentiation, avoiding the need for explicit derivations. This makes our model scalable and flexible to adapt to any combination of input data. We demonstrate the effectiveness of our method in detecting overlapping community structures and performing various prediction tasks on heterogeneous multilayer data, where nodes and edges have different types of attributes. Additionally, we showcase its ability to unveil a variety of patterns in a social support network among villagers in rural India by effectively utilizing all input information in a meaningful way.


title: Finite-size spectrum of the staggered six-vertex model with antidiagonal boundary conditions

abstract: The finite-size spectrum of the critical staggered six-vertex model with antidiagonal boundary conditions is studied. Similar to the case of periodic boundary conditions, we identify three different phases. In two of those, the underlying conformal field theory can be identified to be related to the twisted $U(1)$ Kac-Moody algebra. In contrast, the finite size scaling in the third regime, whose critical behaviour with the quasi-periodic BCs is described by the $SL(2,\mathbb{R})_k/U(1)$ black hole CFT possessing a non-compact degree of freedom, is more subtle. Here with antidiagonal BCs imposed, the corrections to the scaling of the ground state grow logarithmically with the system size, while the energy gaps appear to close logarithmically. Moreover, we obtain an explicit formula for the Q-operator which is useful for numerical implementation.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: On the viscoelastic-electromagnetic-gravitational analogy

abstract: The analogy between electromagnetism and gravitation was achieved by linearizing the tensorial gravitational equations of general relativity and converting them into a vector form corresponding to Maxwell's electromagnetic equations. On this basis, we use the equivalence with viscoelasticity (SH waves) and propose a theory of gravitational waves. We add a damping term to the differential equations, which is equivalent to Ohm's law in electromagnetism and Maxwell's viscosity in viscoelasticity, to describe the attenuation of the waves. A plane-wave analysis gives the phase velocity, the energy velocity, the quality factor and the attenuation factor of the field as well as the energy balance. To obtain these properties, we use the analogy with viscoelasticity; the properties of electromagnetic and gravitational waves are similar to those of shear waves. The presence of attenuation means that the transient field is generally a composition of inhomogeneous (non-uniform) plane waves, where the propagation and attenuation vectors do not point in the same direction and the phase velocity vector and the energy flux (energy velocity) are not collinear. The polarization of cross-plane field is linear and perpendicular to the propagation-attenuation plane, while the polarization of the field within the plane is elliptical. Transient wave fields in the space-time domain are analyzed with the Green function (in homogeneous media) and with a grid method (in heterogeneous media) based on the Fourier method for calculating the spatial derivatives and a Runge-Kutta scheme of order 4 for the time stepping. In the examples, wave propagation at the Sun-Earth and Earth-Moon distances using quadrupole sources is considered in comparison to viscoelastic waves. Finally, an example of propagation in heterogeneous media is presented.


title: Atomistic spin dynamics simulations of magnonic spin Seebeck and spin Nernst effects in altermagnets

abstract: Magnon band structures in altermagnets are characterized by an energy splitting of modes with opposite chirality, even in the absence of applied external fields and relativistic effects, due to an anisotropy in the Heisenberg exchange interactions. We perform quantitative atomistic spin dynamics simulations based on ab initio electronic structure calculations on rutile RuO$_2$, a prototypical "d-wave" altermagnet, to study magnon currents generated by thermal gradients. We report substantial spin Seebeck and spin Nernst effects, i.e., longitudinal or transverse spin currents, depending on the propagation direction of the magnons with respect to the crystal, together with a finite spin accumulation associated with non-linearities in the temperature profile. Our findings are consistent with the altermagnetic spin-group symmetry, as well as predictions from linear spin wave theory and semiclassical Boltzmann transport theory.


title: Demonstration of 0-pi transition in Josephson junctions containing unbalanced synthetic antiferromagnets

abstract: Josephson junctions containing ferromagnetic (F) materials have been the subject of intense study over the past two decades. The ground state of such junctions oscillates between 0 and pi as the thickness of the ferromagnetic layer increases. For some applications, it might be beneficial to replace a very thin F layer with an unbalanced synthetic antiferromagnet (SAF) consisting of two F layers of different thicknesses whose magnetizations are coupled antiparallel to each other. According to theory, such a system should behave similarly to a single F layer whose thickness is equal to the difference of the two F-layer thicknesses in the SAF. We test that theoretical prediction with Josephson junctions containing unbalanced Ni/Ru/Ni SAFs, keeping the thickness of one layer fixed at 2.0 nm and varying the thickness of the other layer between 2.0 and 5.0 nm. We observe the first 0-pi transition at a thickness difference of 0.86 nm, which closely matches the position of the transition observed previously using single Ni layers.


title: Addressing misconceptions in university physics: A review and experiences from quantum physics educators

abstract: Students often enter physics classrooms with deeply ingrained misconceptions stemming from everyday experiences. These misconceptions challenge educators, as students often resist information that conflicts with their preconceptions. The first aim of this manuscript is to summarize the existing literature on misconceptions in university physics, reviewing misconceptions' sources, diagnoses, and remediation strategies. Most of this literature has concentrated on classical physics. However, quantum physics poses unique challenges because its concepts are removed from everyday experiences. This signals the need to ask how well existing strategies for addressing misconceptions apply to quantum physics. This is underscored by the recent surge of people from diverse backgrounds entering quantum physics because of the growing significance of quantum technologies. To help answer this question, we conducted in-depth interviews with quantum physics instructors at the University of Waterloo who have collectively taught over 100 quantum physics courses. These interviews explored common misconceptions in quantum physics, their origins, and effective instructional techniques to address them. We highlight specific misconceptions, such as misunderstanding of entanglement and spin, and successful teaching strategies, including ``misconception-trap quizzes.'' We integrate insights from the literature review with our interview data to provide an overview of current best practices in addressing physics misconceptions. Furthermore, we identify key research questions that warrant further exploration, such as the efficacy of multi-tier tests in quantum physics and developing a cohesive quantum curriculum. This paper aims to inform educators and curriculum developers, offering practical recommendations and setting a research agenda to improve conceptual understanding in classical and quantum physics.


title: Successive vanishing on curves

abstract: We investigate the emptiness of adjoint linear systems associated to successive multiples of a given positive divisor with real coefficients


title: Generalized uncertainty principle and neutrino phenomenology

abstract: Generalized uncertainty principles are effective changes to the Heisenberg uncertainty principle that emerge in several quantum gravity models. In the present letter, we study the consequences that two classes of these modifications yield on the physics of neutrinos. Besides analyzing the change in the oscillation probabilities that the generalized uncertainty principles entail, we assess their impact on the neutrino coherence length and their possible interpretation as nonstandard neutrino interactions. Constraints cast by present and planned neutrino experiments on the generalized uncertainty principles parameters are also derived.


title: Search for a resonance decaying into a scalar particle and a Higgs boson in final states with leptons and two photons in proton-proton collisions at $\sqrt s=13$ TeV with the ATLAS detector

abstract: A search for a hypothetical heavy scalar particle, $X$, decaying into a singlet scalar particle, $S$, and a Standard Model Higgs boson, $H$, using 140 fb$^{-1}$ of proton-proton collision data at the centre-of-mass energy of 13 TeV recorded with the ATLAS detector at the LHC is presented. The explored mass range is $300 \leq m_X \leq 1000$ GeV and $170 \leq m_S \leq 500$ GeV. The signature of this search is one or two leptons ($e$ or $\mu$) from the decay of vector bosons originating from the $S$ particle, $S \rightarrow W^{\pm}W^{\mp}/ZZ$, and two photons from the Higgs boson decay, $H\rightarrow \gamma\gamma$. No significant excess is observed above the expected Standard Model background. The observed (expected) upper limits at the 95% confidence level on the cross-section for $gg\rightarrow X\rightarrow SH$, assuming the same $S\rightarrow WW/ZZ$ branching ratios as for a SM-like heavy Higgs boson, are between 530 (800) fb and 120 (170) fb.


title: Search of extended emission from HESS J1702-420 with eROSITA

abstract: HESS J1702-420 is a peculiar TeV complex with a morphology changing from a diffuse (HESS J1702-420B source) at $\lesssim 2$ TeV to point-like (HESS J1702-420A) at $\gtrsim 10$ TeV energies. The morphology and the spectral properties of HESS J1702-420 could be understood in terms of a (diffusive) hadronic or leptonic models in which the observed TeV emission arises correpondingly from proton-proton or IC-radiation of relativistic particles present in the region. In this work we perform searches of the X-ray counterpart of HESS J1702-420B source originated from the synchrotron emission of the primary or secondary relativistic electrons produced within leptonic or hadronic models. Such an emission can be largely extent and remain beyond the detection capabilities of a narrow-FoV instruments such as XMM-Newton. We utilise the publicly available first 6-months eROSITA dataset (DR1) fully covering selected for the analysis region of $> 5^\circ$-radius around HESS J1702-420. We discuss biases connected to variable plasma temperature/neutral hydrogen column density in the region and present results based on background modelling approach. The performed analysis does not allow us to detect the extended X-ray counterpart of HESS J1702-420 of $0.07^\circ - 3^\circ$-radii sizes. The derived upper limits are significantly higher than the expected hadronic model flux of the X-ray counterpart. For the leptonic model the derived limits indicate the magnetic field in the region $B\lesssim 2\mu$G. We argue, that the further advances in the diffuse X-ray counterpart searches could be achieved either with next generation missions or Msec-long observational campaigns with currently operating instruments.


title: Recent Highlights from STAR BES Phase II

abstract: The second phase of the RHIC Beam Energy Scan (BES-II) was conducted between 2019 and 2021. High statistics data was collected by the STAR experiment for Au+Au collisions at $\sqrt{s_{NN}}$ from 7.7 to 27 GeV in collider mode and from 3 to 13.7 GeV in fixed target mode. A selection of results from the various BES-II analyses are presented here to showcase the wide range of physics accessible.


title: Probing the nature of the QCD phase transition with higher-order net-proton number fluctuation and local parton density fluctuation measurements at RHIC-STAR

abstract: The moments of proton and net-proton multiplicity distributions are observables expected to be sensitive to the QCD critical point and the nature of the QCD phase transition from QGP to hadron gas. Hyper-order cumulants are measured in wide centrality bins in STAR BES-I data and found to be qualitatively consistent with trends predicted by lattice QCD which finds a cross-over phase transition at low $\mu_\text{B}$. Data collected at $\sqrt{s_{NN}}=3$ GeV in BES-II exhibit trends opposite of those observed in higher energy collisions which may suggest the dominance of hadronic interactions at this energy. The variance of proton multiplicity distributions in azimuthal partitions is measured to search for signals of clustering indicative of a first-order phase transition. A strong dependence on the event multiplicity is observed. This dependence is independent of energy in AMPT while in STAR data a significant trend with energy is observed.


title: Direct Laser Acceleration of Bethe-Heitler positrons in laser-channel interactions

abstract: Positron creation and acceleration is one of the major challenges for constructing future lepton colliders. On the one hand, conventional technology can provide a solution, but at a prohibitive cost and scale. On the other hand, alternative, reduced-scale ideas for positron beam generation could bring this dream closer to reality. Here we propose a novel plasma-based positron acceleration method using a powerful laser propagating through a dense and narrow plasma channel. A large amount of electrons is injected within the channel during laser propagation. This electron loading creates static fields in the plasma, enabling positrons to be guided transversely while they directly gain energy from the laser field itself. Within this context, we present a theoretical model to describe how the laser injects the electrons and estimate the beam-loaded effective electron density. We validate our theoretical predictions through Quasi-3D PIC simulations and demonstrate the robustness of this guiding and direct laser acceleration process for positrons. Our approach could pave the way for testing this new positron acceleration scheme at ELI-Beamlines, showcasing unprecedentedly high average energy gain rate of a few TeV/m. The fireball jet produced contains GeV-level electrons, positrons, and x-rays, opening the path towards potential laboratory astrophysics experiments using these beams.


title: Finding Diverse Solutions Parameterized by Cliquewidth

abstract: Finding a few solutions for a given problem that are diverse, as opposed to finding a single best solution to solve the problem, has recently become a notable topic in theoretical computer science. Recently, Baste, Fellows, Jaffke, Masa\v{r}\'ik, Oliveira, Philip, and Rosamond showed that under a standard structural parameterization by treewidth, one can find a set of diverse solutions for many problems with only a very small additional cost [Artificial Intelligence 2022]. In this paper, we investigate a much stronger graph parameter, the cliquewidth, which can additionally describe some dense graph classes. Broadly speaking, it describes graphs that can be recursively constructed by a few operations defined on graphs whose vertices are divided into a bounded number of groups while each such group behaves uniformly with respect to any operation. We show that for any vertex problem, if we are given a dynamic program solving that problem on cliquewidth decomposition, we can modify it to produce a few solutions that are as diverse as possible with as little overhead as in the above-mentioned treewidth paper. As a consequence, we prove that a diverse version of any MSO$_1$ expressible problem can be solved in FPT time parameterized by cliquewidth, the number of sought solutions, and the number of quantifiers in the formula. That was an important missing piece in the complexity landscape of structural graph parameters and logic. We prove our results allowing for a more general natural collection of diversity functions compared to only two mostly studied diversity functions previously. That might be of independent interest as a larger pool of different diversity functions can highlight various aspects of different solutions to a problem.


title: Normalization and cut-elimination theorems for some logics of evidence and truth

abstract: In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued logic, with a classicality operator that recovers classical logic for formulas in its scope. We will present natural deduction and sequent systems for LETJ and LETF, together with proofs of normalization and cut-elimination theorems, respectively. As a corollary, we obtain decidability for both logics.


title: Concentration Bounds for Optimized Certainty Equivalent Risk Estimation

abstract: We consider the problem of estimating the Optimized Certainty Equivalent (OCE) risk from independent and identically distributed (i.i.d.) samples. For the classic sample average approximation (SAA) of OCE, we derive mean-squared error as well as concentration bounds (assuming sub-Gaussianity). Further, we analyze an efficient stochastic approximation-based OCE estimator, and derive finite sample bounds for the same. To show the applicability of our bounds, we consider a risk-aware bandit problem, with OCE as the risk. For this problem, we derive bound on the probability of mis-identification. Finally, we conduct numerical experiments to validate the theoretical findings.


title: Spectroscopy of bumpy BHs: non-rotating case

abstract: Recent detections of gravitational waves have made black hole quasinormal modes a powerful tool in testing predictions of general relativity. Understanding the spectrum of these quasinormal modes in a broad class of theories beyond general relativity and a variety of astrophysical environments around black holes remains vital. In this work, we study the quasinormal mode spectrum of parametrized deformations of a non-rotating black hole in the vacuum. Following Vigeland and Hughes, we model these parametrized deformations as axisymmetric multipole moments in the Weyl coordinates with amplitudes much less than the amplitude of the Schwarzschild potential. These tiny bumps in the black hole geometry satisfy the linearized vacuum Einstein equations and are asymptotically flat. We use the recently developed modified Teukolsky formalism to derive one decoupled differential equation for the radiative Weyl scalar $\Psi_0$. We then use the eigenvalue perturbation method to compute the quasinormal mode frequency shifts of both even- and odd-parity modes with $\ell=2,3$ and up to the overtone number $n=2$ for the Weyl multipoles with $\ell_W=2,3$. Our calculation provides an avenue to directly connect the multipole moments of a modified black hole spacetime to the QNM frequency shifts in a parametric way.


title: Effective Interplay between Sparsity and Quantization: From Theory to Practice

abstract: The increasing size of deep neural networks necessitates effective model compression to improve computational efficiency and reduce their memory footprint. Sparsity and quantization are two prominent compression methods that have individually demonstrated significant reduction in computational and memory footprints while preserving model accuracy. While effective, the interplay between these two methods remains an open question. In this paper, we investigate the interaction between these two methods and assess whether their combination impacts final model accuracy. We mathematically prove that applying sparsity before quantization is the optimal sequence for these operations, minimizing error in computation. Our empirical studies across a wide range of models, including OPT and Llama model families (125M-8B) and ViT corroborate these theoretical findings. In addition, through rigorous analysis, we demonstrate that sparsity and quantization are not orthogonal; their interaction can significantly harm model accuracy, with quantization error playing a dominant role in this degradation. Our findings extend to the efficient deployment of large models in resource-limited compute platforms and reduce serving cost, offering insights into best practices for applying these compression methods to maximize efficacy without compromising accuracy.


title: Bayesian Deep Generative Models for Replicated Networks with Multiscale Overlapping Clusters

abstract: Our interest is in replicated network data with multiple networks observed across the same set of nodes. Examples include brain connection networks, in which nodes corresponds to brain regions and replicates to different individuals, and ecological networks, in which nodes correspond to species and replicates to samples collected at different locations and/or times. Our goal is to infer a hierarchical structure of the nodes at a population level, while performing multi-resolution clustering of the individual replicates. In brain connectomics, the focus is on inferring common relationships among the brain regions, while characterizing inter-individual variability in an easily interpretable manner. To accomplish this, we propose a Bayesian hierarchical model, while providing theoretical support in terms of identifiability and posterior consistency, and design efficient methods for posterior computation. We provide novel technical tools for proving model identifiability, which are of independent interest. Our simulations and application to brain connectome data provide support for the proposed methodology.


title: Edible microlasers for monitoring authenticity and quality of food and pharmaceuticals

abstract: Traceability, security and freshness monitoring are crucial to the food and pharmaceutical industries. Currently, barcodes and sensors are almost exclusively located on product packaging. Making them edible and introducing them into edible products could significantly enhance their functions. Here, several types of microlasers made entirely out of edible substances were developed. It is striking that olive oil already contains enough chlorophyll to be used as a laser when dispersed in water as droplets. The edible lasers can be embedded directly into edible products and serve as barcodes and sensors. Due to their much narrower spectral lines compared to fluorescent or color-changing sensors, they are significantly more sensitive to various environmental factors. The edible lasers were employed to sense sugar concentration, pH, the presence of bacteria, and exposure to too-high temperatures. They can also encode tens of data bits, such as manufacturer's information and expiration date. The microlasers are entirely safe for consumption, do not change the appearance and taste of food considerably, and are environmentally friendly. The developed barcodes and sensors could also be applied to non-edible items, such as cosmetic and agricultural products, for environmental monitoring and biomedical applications.


title: Activity-driven polymer knotting for macromolecular topology engineering

abstract: Macromolecules can gain special properties by adopting knotted conformations, but engineering knotted macromolecules is a challenging task. Here we surprisingly observed that knotting can be very effectively produced in active polymers. When one end of an actively reptative polymer is anchored, it can undergo continual self-knotting as a result of intermittent giant conformation fluctuations and the outward reptative motion. Once a knot is formed, it migrates to the anchored point due to a non-equilibrium ratchet effect. Moreover, when the active polymer is grafted on the end of a passive polymer, it can function as a self-propelling soft needle to either transfer its own knots to the passive polymer or directly braid knots on the passive polymer. We further show that these active needles can create inter-molecular bridging knots between two passive polymers. Our finding highlights the non-equilibrium effects in modifying the dynamic pathways of polymer systems, which have potential applications in macromolecular topology engineering, e.g., manipulating topological states of proteins and nucleic acids, as well as macromolecular braiding.


title: Twenty-five years of greedy bases

abstract: Although the basic idea behind the concept of a greedy basis had been around for some time, the formal development of a theory of greedy bases was initiated in 1999 with the publication of the article [S.~V.~Konyagin and V.~N.~Temlyakov, A remark on greedy approximation in Banach spaces, East J. Approx. 5 (1999), no. 3, 365--379]. The theoretical simplicity of the thresholding greedy algorithm became a model for a procedure widely used in numerical applications and the subject of greedy bases evolved very rapidly from the point of view of approximation theory. The idea of studying greedy bases and related greedy algorithms attracted also the attention of researchers with a classical Banach space theory background. From the more abstract point of functional analysis, the theory of greedy bases and its derivates evolved very fast as many fundamental results were discovered and new ramifications branched out. Hundreds of papers on greedy-like bases and several monographs have been written since the foundational paper mentioned above appeared. After twenty-five years, the theory is very much alive and it continues to be a very active research topic both for functional analysts and for researchers interested in the applied nature of nonlinear approximation alike. This is why we believe it is a good moment to gather a selection of 25 open problems (one per year since 1999!) whose solution would contribute to advance the state of art of this beautiful topic.


title: Standard model of electromagnetism and chirality in crystals

abstract: We present a general, systematic theory of electromagnetism and chirality in crystalline solids. Symmetry is its fundamental guiding principle. We use the formal similarity between space inversion $i$ and time inversion $\theta$ to identify two complementary, comprehensive classification of crystals, based on five categories of electric and magnetic multipole order -- called polarizations -- and five categories of chirality. The five categories of polarizations (parapolar, electropolar, magnetopolar, antimagnetopolar, and multipolar) expand the familiar notion of electric dipolarization in ferroelectrics and magnetization in ferromagnets to higher-order multipole densities. The five categories of chirality (parachiral, electrochiral, magnetochiral, antimagnetochiral, and multichiral) expand the familiar notion of enantiomorphism due to non-superposable mirror images to the inversion symmetries $i$, $\theta$, and $i\theta$. In multichiral systems, all these inversion symmetries are absent so that these systems have four distinct enantiomorphs. Each category of chirality arises from distinct superpositions of electric and magnetic multipole densities. We provide a complete theory of minimal effective models characterizing the different categories of chirality in different systems. Jointly these two schemes yield a classification of all 122 magnetic crystallographic point groups into 15 types that treat the inversion symmetries $i$, $\theta$, and $i\theta$ on the same footing. The group types are characterized via distinct physical properties and characteristic features in the electronic band structure. At the same time, the formal similarities between the inversion symmetries $i$, $\theta$, and $i\theta$ imply striking correspondences between apparently dissimilar systems and their physical properties.


title: Lecture on the combinatorial algebraic method for computing algebraic integrals

abstract: Consider an algebraic equation $P(x,y)=0$ where $P\in \mathbb C[x,y] $ (or $\mathbb F[x,y]$ with $\mathbb F\subset \mathbb C$ a subfield) is a bivariate polynomial, it defines a plane algebraic curve. We provide an efficient method for computing integrals of the type $ \int_\gamma R(x,y)dx $ where $R(x,y)\in \mathbb C(x,y) $ is any rational fraction, and $y$ is solution of $P(x,y)=0$, and $\gamma$ any Jordan arc open or closed on the plane algebraic curve. The method uses only algebraic and combinatorial manipulations, it rests on the combinatorics of the Newton's polygon. We illustrate it with many practical examples.


title: $G$-tables and the Poisson structure of the even cohomology of cotangent bundle of the Heisenberg Lie group

abstract: In the first part of the paper, we define the concept of a $G$-table of a $G$-(co)algebra and we compute the $G$-table of some $G$-(co)algebras (here a $G$-algebra is an algebra on which $G$ acts, semisimply, by algebra automorphisms). The $G$-table of a $G$-(co)algebra $A$ is a set of scalars that provides very precise and concise information about both the algebra structure and the $G$-module structure of $A$. In particular, the ordinary multiplication table of $A$ can be derived from the $G$-table of $A$. From the $G$-table of a $G$-algebra $A$ we define a plain algebra $P(A)$ associated to it and we present some basic functoriality results about $P$. Obtaining the $G$-table of a given $G$-algebra $A$ requires a considerable amount of work but, the result, is a very powerful tool as shown in the second part of the paper. Here we compute the $SL(2)$-tables of the Poisson algebra structure of the even-degree part of the cohomology associated to the cotangent bundle of the 3-dimensional Heisenberg Lie group with Lie algebra $h$, that is $H_E(h)=H_E^{\bullet}(h,\bigwedge^{\bullet}h)$. This Poisson $SL(2)$-algebra has dimension 18. From these $SL(2)$-tables we deduce that the underlying Lie algebra of $H_E(h)$ is isomorphic to $gl(3)\ltimes gl(3)_{ab}$ with the first factor acting on the second (abelian) one by the adjoint representation. We find it remarkable that the Lie algebra structure on $H_{E}(h)$ contains a semisimple Lie subalgebra (in this case $sl(3)$) strictly larger than the Levi factor of $\text{Der}(h)$, which in this case is $sl(2)\subset H^{1}(h,h)$. This means that the Levi factor of the Lie algebra $H_{E}(h)$ has nontrivial elements outside $H^{1}(h,h)$. Finally, this leads us to find a family of commutative Poisson algebras whose underlying Lie structure is $gl(n)\ltimes gl(n)_{ab}$ (arbitrary $n$) such that, for $n=3$, is isomorphic to $H_E(h)$.


title: Optimizing EPR pulses for broadband excitation and refocusing

abstract: In this paper, we numerically optimize broadband pulse shapes that maximize Hahn echo amplitudes. Pulses are parameterized as neural networks (NN), nonlinear amplitude limited Fourier series (FS), and discrete time series (DT). These are compared to an optimized choice of the conventional hyperbolic secant (HS) pulse shape. A power constraint is included, as are realistic shape distortions due to power amplifier nonlinearity and the transfer function of the microwave resonator. We find that the NN, FS, and DT parameterizations perform equivalently, offer improvements over the best HS pulses, and contain a large number of equivalent optimal solutions, implying the flexibility to include further constraints or optimization goals in future designs.


title: Two-dimensional solitons in second-harmonic-generating media with fractional diffraction

abstract: We introduce a system of propagation equations for the fundamental-frequency (FF) and second-harmonic (SH) waves in the bulk waveguide with the effective fractional diffraction and quadratic (chi ^(2)) nonlinearity. The numerical solution produces families of ground-state (zero-vorticity) two-dimensional solitons in the free space, which are stable in exact agreement with the Vakhitov-Kolokolov criterion, while vortex solitons are completely unstable in that case. Mobility of the stable solitons and inelastic collisions between them are briefly considered too. In the presence of a harmonic-oscillator (HO) trapping potential, families of partially stable single- and two-color solitons (SH-only or FF-SH ones, respectively) are obtained, with zero and nonzero vorticities. The single-and two-color solitons are linked by a bifurcation which takes place withthe increase of the soliton's power.


title: A criterion to detect a nontrivial homology of an invariant set of a flow in $\mathbb{R}^3$

abstract: Consider a flow in $\mathbb{R}^3$ and let $K$ be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set $K$ is often not computable, but the way the flow crosses the boundary of $N$ can provide indirect information about it. For example, classical tools such as Wa\.{z}ewski's principle or the Poincar\'e-Hopf theorem can be used to detect whether $K$ is nonempty or contains rest points, respectively. We present a criterion that can establish whether $K$ has a nontrivial homology by looking at the subset of the boundary of $N$ along which the flow is tangent to $N$. We prove that the criterion is as sharp as possible with the information it uses as an input. We also show that it is algorithmically checkable.


title: Fast characterization of multiplexed single-electron pumps with machine learning

abstract: We present an efficient machine learning based automated framework for the fast tuning of single-electron pump devices into current quantization regimes. It uses a sparse measurement approach based on an iterative active learning algorithm to take targeted measurements in the gate voltage parameter space. When compared to conventional parameter scans, our automated framework allows us to decrease the number of measurement points by about an order of magnitude. This corresponds to an eight-fold decrease in the time required to determine quantization errors, which are estimated via an exponential extrapolation of the first current plateau embedded into the algorithm. We show the robustness of the framework by characterizing 28 individual devices arranged in a GaAs/AlGaAs multiplexer array, which we use to identify a subset of devices suitable for parallel operation at communal gate voltages. The method opens up the possibility to efficiently scale the characterization of such multiplexed devices to a large number of pumps.


title: OR-Bench: An Over-Refusal Benchmark for Large Language Models

abstract: Large Language Models (LLMs) require careful safety alignment to prevent malicious outputs. While significant research focuses on mitigating harmful content generation, the enhanced safety often come with the side effect of over-refusal, where LLMs may reject innocuous prompts and become less helpful. Although the issue of over-refusal has been empirically observed, a systematic measurement is challenging due to the difficulty of crafting prompts that appear harmful but are benign. This study proposes a novel method for automatically generating large-scale sets of "seemingly toxic prompts" (benign prompts likely rejected by LLMs). Leveraging this technique, we introduce OR-Bench, the first large-scale over-refusal benchmark. OR-Bench comprises 80,000 seemingly toxic prompts across 10 common rejection categories, a subset of around 1,000 hard prompts that are challenging even for state-of-the-art LLMs, and an additional 600 toxic prompts to prevent indiscriminate responses. We then conduct a comprehensive study to measure the over-refusal of 25 popular LLMs across 8 model families. Our datasets are available at https://huggingface.co/datasets/bench-llm/or-bench and the demo can be found at https://huggingface.co/spaces/bench-llm/or-bench. We hope this benchmark can help the community develop better safety aligned models.


title: snompy: a package for modelling scattering-type scanning near-field optical microscopy

abstract: Scattering-type scanning near-field optical microscopy (s-SNOM) is a powerful technique for extreme subwavelength imaging and spectroscopy, with around 20 nm spatial resolution. But quantitative relationships between experiment and material properties requires modelling, which can be computationally and conceptually challenging. In this work, we present snompy an open-source Python library which contains implementations of two of the most common s-SNOM models, the finite dipole model (FDM) and the point dipole model (PDM). We show a series of typical uses for this package with demonstrations including simulating nano-Fourier transform infrared (FTIR) spectra and recovering permittivity from experimental s-SNOM data. We also discuss the challenges faced with this sort of modelling, such as competing descriptions of the models in literature, and finite size effects. We hope that snompy will make quantitative s-SNOM modelling more accessible to the wider research community, which will further empower the use of s-SNOM for investigating nanoscale material properties.


title: Uniform asymptotic stability of a PDE's system arising from a flexible robotics model

abstract: In this paper we investigate the asymptotic stability of a fourth-order PDE with a fading memory forcing term and boundary conditions arising from a flexible robotics model. We carry on our study by using an abstract formulation of the problem based on the $C_0$-semigroup. To achieve our objective, we first provide new results on the existence, uniqueness, continuous dependence on initial data of either mild and strong solutions for semilinear integro-differential equations in Banach spaces. Then, we also find sufficient conditions for the uniform asymptotic stability of solutions and for the existence of attactors. As an application of these abstract results, we can ensure existence, uniqueness and continuous dependence on initial data for the solutions of the boundary value problem under investigation and, finally, we prove the uniform asymptotic stability of solutions and the existence of attactors under suitable conditions on the nonlinear term.


title: Quantum computation with hybrid parafermion-spin qubits

abstract: We propose a universal set of single- and two-qubit quantum gates acting on a hybrid qubit formed by coupling a quantum dot spin qubit to a $\mathbb{Z}_{2m}$ parafermion qubit with arbitrary integer $m$. The special case $m=1$ reproduces the results previously derived for Majorana qubits. Our formalism utilizes Fock parafermions, facilitating a transparent treatment of hybrid parafermion-spin systems. Furthermore, we highlight the previously overlooked importance of particle-hole symmetry in these systems. We give concrete examples how the hybrid qubit system could be realized experimentally for $\mathbb{Z}_4$ and $\mathbb{Z}_6$ parafermions. In addition, we discuss a simple readout scheme for the fractional parafermion charge via the measurement of the spin qubit resonant frequency.


title: Monte Carlo Tree Search Satellite Scheduling Under Cloud Cover Uncertainty

abstract: Efficient utilization of satellite resources in dynamic environments remains a challenging problem in satellite scheduling. This paper addresses the multi-satellite collection scheduling problem (m-SatCSP), aiming to optimize task scheduling over a constellation of satellites under uncertain conditions such as cloud cover. Leveraging Monte Carlo Tree Search (MCTS), a stochastic search algorithm, two versions of MCTS are explored to schedule satellites effectively. Hyperparameter tuning is conducted to optimize the algorithm's performance. Experimental results demonstrate the effectiveness of the MCTS approach, outperforming existing methods in both solution quality and efficiency. Comparative analysis against other scheduling algorithms showcases competitive performance, positioning MCTS as a promising solution for satellite task scheduling in dynamic environments.


title: Continuous momentum state lasing and cavity frequency-pinning with laser-cooled strontium atoms

abstract: Laser-cooled gases of atoms interacting with the field of an optical cavity are a powerful tool for quantum sensing and the simulation of open and closed quantum systems. They can display spontaneous self-organisation phase transitions, time crystals, new lasing mechanisms, squeezed states for quantum sensing, protection of quantum coherence, and dynamical phase transitions. However, all of these phenomena are explored in a discontinuous manner due to the need to stop and reload a new ensemble of atoms. Here we report the observation of hours-long continuous lasing from laser-cooled $^{88}$Sr atoms continuously loaded into a ring cavity. The required inversion to produce lasing arises from inversion in the atomic momentum degree of freedom, a mechanism related directly to self-organization phase transitions and collective atomic recoil lasing, both of which were previously only observed in a cyclic fashion compared to the truly continuous behavior here. Further, the sensitivity of the lasing frequency to cavity frequency changes is 120 fold suppressed due to an atomic loss mechanism, opening an interesting new path to compensate cavity frequency noise for realizing narrow frequency references. This work opens the way for continuous cavity QED quantum simulation experiments as well as continuous superradiant lasers.


title: Final Physics Design of Proton Improvement Plan-II At Fermilab

abstract: This paper presents the final physics design of the Proton Improvement Plan-II (PIP-II) at Fermilab, focusing on the linear accelerator (Linac) and its beam transfer line. We address the challenges in longitudinal and transverse lattice design, specifically targeting collective effects, parametric resonances, and space charge nonlinearities that impact beam stability and emittance control. The strategies implemented effectively mitigate space charge complexities, resulting in significant improvements in beam quality -- evidenced by reduced emittance growth, lower beam halo, decreased loss, and better energy spread management. This comprehensive study is pivotal for the PIP-II project's success, providing valuable insights and approaches for future accelerator designs, especially in managing nonlinearities and enhancing beam dynamics.


title: Aligning Multiclass Neural Network Classifier Criterion with Task Performance via $F_\beta$-Score

abstract: Multiclass neural network classifiers are typically trained using cross-entropy loss. Following training, the performance of this same neural network is evaluated using an application-specific metric based on the multiclass confusion matrix, such as the Macro $F_\beta$-Score. It is questionable whether the use of cross-entropy will yield a classifier that aligns with the intended application-specific performance criteria, particularly in scenarios where there is a need to emphasize one aspect of classifier performance. For example, if greater precision is preferred over recall, the $\beta$ value in the $F_\beta$ evaluation metric can be adjusted accordingly, but the cross-entropy objective remains unaware of this preference during training. We propose a method that addresses this training-evaluation gap for multiclass neural network classifiers such that users can train these models informed by the desired final $F_\beta$-Score. Following prior work in binary classification, we utilize the concepts of the soft-set confusion matrices and a piecewise-linear approximation of the Heaviside step function. Our method extends the $2 \times 2$ binary soft-set confusion matrix to a multiclass $d \times d$ confusion matrix and proposes dynamic adaptation of the threshold value $\tau$, which parameterizes the piecewise-linear Heaviside approximation during run-time. We present a theoretical analysis that shows that our method can be used to optimize for a soft-set based approximation of Macro-$F_\beta$ that is a consistent estimator of Macro-$F_\beta$, and our extensive experiments show the practical effectiveness of our approach.


title: Number of distinct and common sites visited by $N$ independent random walkers

abstract: In this Chapter, we consider a model of $N$ independent random walkers, each of duration $t$, and each starting from the origin, on a lattice in $d$ dimensions. We focus on two observables, namely $D_N(t)$ and $C_N(t)$ denoting respectively the number of distinct and common sites visited by the walkers. For large $t$, where the lattice random walkers converge to independent Brownian motions, we compute exactly the mean $\langle D_N(t) \rangle$ and $\langle C_N(t) \rangle$. Our main interest is on the $N$-dependence of these quantities. While for $\langle D_N(t) \rangle$ the $N$-dependence only appears in the prefactor of the power-law growth with time, a more interesting behavior emerges for $\langle C_N(t) \rangle$. For this latter case, we show that there is a ``phase transition'' in the $(N, d)$ plane where the two critical line $d=2$ and $d=d_c(N) = 2N/(N-1)$ separate three phases of the growth of $\langle C_N(t)\rangle$. The results are extended to the mean number of sites visited exactly by $K$ of the $N$ walkers. Furthermore in $d=1$, the full distribution of $D_N(t)$ and $C_N(t)$ are computed, exploiting a mapping to the extreme value statistics. Extensions to two other models, namely $N$ independent Brownian bridges and $N$ independent resetting Brownian motions/bridges are also discussed.


title: A Robot Walks into a Bar: Can Language Models Serve as Creativity Support Tools for Comedy? An Evaluation of LLMs' Humour Alignment with Comedians

abstract: We interviewed twenty professional comedians who perform live shows in front of audiences and who use artificial intelligence in their artistic process as part of 3-hour workshops on ``AI x Comedy'' conducted at the Edinburgh Festival Fringe in August 2023 and online. The workshop consisted of a comedy writing session with large language models (LLMs), a human-computer interaction questionnaire to assess the Creativity Support Index of AI as a writing tool, and a focus group interrogating the comedians' motivations for and processes of using AI, as well as their ethical concerns about bias, censorship and copyright. Participants noted that existing moderation strategies used in safety filtering and instruction-tuned LLMs reinforced hegemonic viewpoints by erasing minority groups and their perspectives, and qualified this as a form of censorship. At the same time, most participants felt the LLMs did not succeed as a creativity support tool, by producing bland and biased comedy tropes, akin to ``cruise ship comedy material from the 1950s, but a bit less racist''. Our work extends scholarship about the subtle difference between, one the one hand, harmful speech, and on the other hand, ``offensive'' language as a practice of resistance, satire and ``punching up''. We also interrogate the global value alignment behind such language models, and discuss the importance of community-based value alignment and data ownership to build AI tools that better suit artists' needs.