title: Flexible, photonic films of surfactant-functionalized cellulose nanocrystals for pressure and humidity sensing

abstract: Most paints contain pigments that absorb light and fade over time. A robust alternative can be found in nature, where structural coloration arises from the interference of light with submicron features. Plant-derived, cellulose nanocrystals (CNCs) mimic these features by self-assembling into a cholesteric liquid crystal that exhibits structural coloration when dried. While much research has been done on CNCs in aqueous solutions, less is known about transferring CNCs to apolar solvents that are widely employed in paints. This study uses a common surfactant in agricultural and industrial products to suspend CNCs in toluene that are then dried into structurally colored films. Surprisingly, a stable liquid crystal phase is formed within hours, even with concentrations of up to 50 wt.-%. Evaporating the apolar CNC suspensions results in photonic films with peak wavelengths ranging from 660 to 920 nm. The resulting flexible films show increased mechanical strength, enabling a blue-shift into the visible spectrum with applied force. The films also act as humidity sensors, with increasing relative humidity yielding a red-shift. With the addition of a single surfactant, CNCs can be made compatible with existing production methods of industrial coatings, while improving the strength and responsiveness of structurally-colored films to external stimuli.


title: Deuterated Polystyrene -- Synthesis and uses for ultracold neutron bottles and the neutron EDM experiment

abstract: The synthesis and application of deuterated polystyrene (dps) films is discussed. Ultracold neutron storage properties and the Fermi potential of dps films is measured with the result that Tstore=700 +/- 200 sec for dps in the bottle used and the Fermi potential is about 165neV. The behavior under application of high electric fields in vacuum is measured; the films are sufficiently stable to use in a neutron EDM bottle. Also, the relaxation rate of nuclear spin polarized 199Hg on dps films is measured giving a wall lifetime of 20 sec/cm mean free path, which should make the development of an Hg volume magnetometer possible.


title: Environmental Awareness Dynamic 5G QoS for Retaining Real Time Constraints in Robotic Applications

abstract: The fifth generation (5G) cellular network technology is mature and increasingly utilized in many industrial and robotics applications, while an important functionality is the advanced Quality of Service (QoS) features. Despite the prevalence of 5G QoS discussions in the related literature, there is a notable absence of real-life implementations and studies concerning their application in time-critical robotics scenarios. This article considers the operation of time-critical applications for 5G-enabled unmanned aerial vehicles (UAVs) and how their operation can be improved by the possibility to dynamically switch between QoS data flows with different priorities. As such, we introduce a robotics oriented analysis on the impact of the 5G QoS functionality on the performance of 5G-enabled UAVs. Furthermore, we introduce a novel framework for the dynamic selection of distinct 5G QoS data flows that is autonomously managed by the 5G-enabled UAV. This problem is addressed in a novel feedback loop fashion utilizing a probabilistic finite state machine (PFSM). Finally, the efficacy of the proposed scheme is experimentally validated with a 5G-enabled UAV in a real-world 5G stand-alone (SA) network.


title: Population Protocols for Exact Plurality Consensus -- How a small chance of failure helps to eliminate insignificant opinions

abstract: We consider the \emph{exact plurality consensus} problem for \emph{population protocols}. Here, $n$ anonymous agents start each with one of $k$ opinions. Their goal is to agree on the initially most frequent opinion (the \emph{plurality opinion}) via random, pairwise interactions. The case of $k = 2$ opinions is known as the \emph{majority problem}. Recent breakthroughs led to an always correct, exact majority population protocol that is both time- and space-optimal, needing $O(\log n)$ states per agent and, with high probability, $O(\log n)$ time~[Doty, Eftekhari, Gasieniec, Severson, Stachowiak, and Uznanski; 2021]. We know that any always correct protocol requires $\Omega(k^2)$ states, while the currently best protocol needs $O(k^{11})$ states~[Natale and Ramezani; 2019]. For ordered opinions, this can be improved to $O(k^6)$~[Gasieniec, Hamilton, Martin, Spirakis, and Stachowiak; 2016]. We design protocols for plurality consensus that beat the quadratic lower bound by allowing a negligible failure probability. While our protocols might fail, they identify the plurality opinion with high probability even if the bias is $1$. Our first protocol achieves this via $k-1$ tournaments in time $O(k \cdot \log n)$ using $O(k + \log n)$ states. While it assumes an ordering on the opinions, we remove this restriction in our second protocol, at the cost of a slightly increased time $O(k \cdot \log n + \log^2 n)$. By efficiently pruning insignificant opinions, our final protocol reduces the number of tournaments at the cost of a slightly increased state complexity $O(k \cdot \log\log n + \log n)$. This improves the time to $O(n / x_{\max} \cdot \log n + \log^2 n)$, where $x_{\max}$ is the initial size of the plurality. Note that $n/x_{\max}$ is at most $k$ and can be much smaller (e.g., in case of a large bias or if there are many small opinions).


title: "When He Feels Cold, He Goes to the Seahorse"-Blending Generative AI into Multimaterial Storymaking for Family Expressive Arts Therapy

abstract: Storymaking, as an integrative form of expressive arts therapy, is an effective means to foster family communication. Yet, the integration of generative AI as expressive materials in therapeutic storymaking remains underexplored. And there is a lack of HCI implications on how to support families and therapists in this context. Addressing this, our study involved five weeks of storymaking sessions with seven families guided by a professional therapist. In these sessions, the families used both traditional art-making materials and image-based generative AI to create and evolve their family stories. Via the rich empirical data and commentaries from four expert therapists, we contextualize how families creatively melded AI and traditional expressive materials to externalize their ideas and feelings. Through the lens of Expressive Therapies Continuum (ETC), we characterize the therapeutic implications of AI as expressive materials. Desirable interaction qualities to support children, parents, and therapists are distilled for future HCI research.


title: Conservative polynomial approximations and applications to Fokker-Planck equations

abstract: We address the problem of constructing approximations based on orthogonal polynomials that preserve an arbitrary set of moments of a given function without loosing the spectral convergence property. To this aim, we compute the constrained polynomial of best approximation for a generic basis of orthogonal polynomials. The construction is entirely general and allows us to derive structure preserving numerical methods for partial differential equations that require the conservation of some moments of the solution, typically representing relevant physical quantities of the problem. These properties are essential to capture with high accuracy the long-time behavior of the solution. We illustrate with the aid of several numerical applications to Fokker-Planck equations the generality and the performances of the present approach.


title: New Interstellar Extinction Maps Based on Gaia and Other Sky Surveys

abstract: We present new three-dimensional (3D) interstellar extinction maps in the $V$ and Gaia $G$ filters within 2 kpc of the Sun, a 3D differential extinction (dust spatial distribution density) map along the lines of sight in the same space, a 3D map of variations in the ratio of the extinctions in the $V$ and Gaia $G$ filters within 800 pc of the Sun, and a 2D map of total Galactic extinction through the entire dust half-layer from the Sun to extragalactic space for Galactic latitudes $|b|>13^{\circ}$. The 3D maps have a transverse resolution from 3.6 to 11.6 pc and a radial resolution of 50 pc. The 2D map has an angular resolution of 6.1 arcmin. We have produced these maps based on the Gaia DR3 parallaxes and Gaia, Pan-STARRS1, SkyMapper, 2MASS, and WISE photometry for nearly 100 million stars. We have paid special attention to the space within 200 pc of the Sun and high Galactic latitudes as regions where the extinction estimates have had a large relative uncertainty so far. Our maps estimate the extinction within the Galactic dust layer from the Sun to an extended object or through the entire dust half-layer from the Sun to extragalactic space with a precision $\sigma(A_\mathrm{V})=0.06$ mag. This gives a high relative precision of extinction estimates even at high Galactic latitudes, where, according to our estimates, the median total Galactic extinction through the entire dust half-layer from the Sun to extragalactic objects is $A_\mathrm{V}=0.12\pm0.06$ mag. We have shown that the presented maps are among the best ones in data amount, space size, resolution, precision, and other properties.


title: Large Language Models for Captioning and Retrieving Remote Sensing Images

abstract: Image captioning and cross-modal retrieval are examples of tasks that involve the joint analysis of visual and linguistic information. In connection to remote sensing imagery, these tasks can help non-expert users in extracting relevant Earth observation information for a variety of applications. Still, despite some previous efforts, the development and application of vision and language models to the remote sensing domain have been hindered by the relatively small size of the available datasets and models used in previous studies. In this work, we propose RS-CapRet, a Vision and Language method for remote sensing tasks, in particular image captioning and text-image retrieval. We specifically propose to use a highly capable large decoder language model together with image encoders adapted to remote sensing imagery through contrastive language-image pre-training. To bridge together the image encoder and language decoder, we propose training simple linear layers with examples from combining different remote sensing image captioning datasets, keeping the other parameters frozen. RS-CapRet can then generate descriptions for remote sensing images and retrieve images from textual descriptions, achieving SOTA or competitive performance with existing methods. Qualitative results illustrate that RS-CapRet can effectively leverage the pre-trained large language model to describe remote sensing images, retrieve them based on different types of queries, and also show the ability to process interleaved sequences of images and text in a dialogue manner.


title: Devolatilization of extrasolar planetesimals by 60Fe and 26Al heating

abstract: Whilst the formation of Solar system planets is constrained by meteoritic evidence, the geophysical history of low-mass exoplanets is much less clear. The bulk composition and climate states of rocky exoplanets may vary significantly based on the composition and properties of the planetesimals they form from. An important factor influenced by planetesimal composition is water content, where the desiccation of accreting planetesimals impacts the final water content of the resultant planets. While the inner planets of the Solar system are comparatively water-poor, recent observational evidence from exoplanet bulk densities and planetary formation models suggest that rocky exoplanets engulfed by substantial layers of high-pressure ices or massive steam atmospheres could be widespread. Here we quantify variations in planetesimal desiccation due to potential fractionation of the two short-lived radioisotopes 26Al and 60Fe relevant for internal heating on planetary formation timescales. We focus on how order of magnitude variations in 60Fe can affect the water content of planetesimals, and how this may alter the formation of extrasolar ocean worlds. We find that heating by 26Al is the dominant cause of planetesimal heating in any Solar system analogue scenario, thus validating previous works focussing only on this radioisotope. However, 60Fe can become the primary heating source in the case of high levels of supernova enrichment in massive star-forming regions. These diverging scenarios can affect the formation pathways, bulk volatile budget, and climate diversity of low-mass exoplanets.


title: Semiclassical measures for complex hyperbolic quotients

abstract: We study semiclassical measures for Laplacian eigenfunctions on compact complex hyperbolic quotients. Geodesic flows on these quotients are a model case of hyperbolic dynamical systems with different expansion/contraction rates in different directions. We show that the support of any semiclassical measure is either equal to the entire cosphere bundle or contains the cosphere bundle of a compact immersed totally geodesic complex submanifold. The proof uses the one-dimensional fractal uncertainty principle of Bourgain-Dyatlov [arXiv:1612.09040] along the fast expanding/contracting directions, in a way similar to the work of Dyatlov-J\'ez\'equel [arXiv:2108.10463] in the toy model of quantum cat maps, together with a description of the closures of fast unstable/stable trajectories relying on Ratner theory.


title: Topology of Stokes Complex Related to a Polynomial Quadratic Differential : Phase Transitions and Number of Short Trajectories

abstract: In this paper, we give a full description of the critical graph of the quadratic differential $\varpi_{a,\theta}$ defined on the Riemann sphere $\widehat{% %TCIMACRO{\U{2102} }% %BeginExpansion \mathbb{C} %EndExpansion }$ by $\varpi_{a,\theta}=-e^{2i\theta}\left( z-a\right) \left( z^{2}-1\right) dz^{2},$ where $\theta\in% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ,$ and $a\in% %TCIMACRO{\U{2102} }% %BeginExpansion \mathbb{C} %EndExpansion .$. We prove that the existence and the number of short trajectories of $\varpi_{a,\theta}$ depend on the location of $a$ in certain curves defined on the complex plane as the level sets of some harmonic functions. More focus will be to the cases $\theta\in\left\{ 0,\pi/4\right\} .$ We investigate these classifications to study an inverse spectral problem related to the complex cubic oscillator for Schr\"{o}dinger equation.


title: Thermal transport of glasses via machine learning driven simulations

abstract: Accessing the thermal transport properties of glasses is a major issue for the design of production strategies of glass industry, as well as for the plethora of applications and devices where glasses are employed. From the computational standpoint, the chemical and morphological complexity of glasses calls for atomistic simulations where the interatomic potentials are able to capture the variety of local environments, composition, and (dis)order that typically characterize glassy phases. Machine-learning potentials (MLPs) are emerging as a valid alternative to computationally expensive ab initio simulations, inevitably run on very small samples which cannot account for disorder at different scales, as well as to empirical force fields, fast but often reliable only in a narrow portion of the thermodynamic and composition phase diagrams. In this article, we make the point on the use of MLPs to compute the thermal conductivity of glasses, through a review of recent theoretical and computational tools and a series of numerical applications on vitreous silica and vitreous silicon, both pure and intercalated with lithium.


title: Optimal Forecast Reconciliation with Uncertainty Quantification

abstract: We propose to estimate the weight matrix used for forecast reconciliation as parameters in a general linear model in order to quantify its uncertainty. This implies that forecast reconciliation can be formulated as an orthogonal projection from the space of base-forecast errors into a coherent linear subspace. We use variance decomposition together with the Wishart distribution to derive the central estimator for the forecast-error covariance matrix. In addition, we prove that distance-reducing properties apply to the reconciled forecasts at all levels of the hierarchy as well as to the forecast-error covariance. A covariance matrix for the reconciliation weight matrix is derived, which leads to improved estimates of the forecast-error covariance matrix. We show how shrinkage can be introduced in the formulated model by imposing specific priors on the weight matrix and the forecast-error covariance matrix. The method is illustrated in a simulation study that shows consistent improvements in the log-score. Finally, standard errors for the weight matrix and the variance-separation formula are illustrated using a case study of forecasting electricity load in Sweden.


title: Determining the upper bound of code distance of quantum stabilizer codes through Monte Carlo method based on fully decoupled belief propagation

abstract: Code distance is an important parameter for quantum stabilizer codes (QSCs). Directly precisely computing it is an NP-complete problem. However, the upper bound of code distance can be computed by some efficient methods. In this paper, employing the idea of Monte Carlo method, we propose the algorithm of determining the upper bound of code distance of QSCs based on fully decoupled belief propagation. Our algorithm shows high precision - the upper bound of code distance determined by the algorithm of a variety of QSCs whose code distance is known is consistent with actual code distance. Besides, we explore the upper bound of logical X operators of Z-type Tanner-graph-recursive-expansion (Z-TGRE) code and Chamon code, which is a kind of XYZ product code constructed by three repetition codes. The former is consistent with the theoretical analysis, and the latter implies the code distance of XYZ product codes can very likely achieve $O(N^{2/3})$, which supports the conjecture of Leverrier et al..


title: DASH Adaptation Algorithm Based on Adaptive Forgetting Factor Estimation

abstract: The wide adoption of multimedia service capable mobile devices, the availability of better networks with higher bandwidths, and the availability of platforms offering digital content has led to an increasing popularity of multimedia streaming services. However, multimedia streaming services can be subject to different factors that affect the quality perceived by the users, such as service interruptions or quality oscillations due to changing network conditions, particularly in mobile networks. Dynamic Adaptive Streaming over HTTP (DASH), leverages the use of content-distribution networks and the capabilities of the multimedia devices to allow multimedia players to dynamically adapt the quality of the media streaming to the available bandwidth and the device characteristics. While many elements of DASH are standardized, the algorithms providing the dynamic adaptation of the streaming are not. The adaptation is often based on the estimation of the throughput or a buffer control mechanism. In this paper, we present a new throughput estimation adaptation algorithm based on a statistical method named Adaptive Forgetting Factor (AFF). Using this method, the adaptation logic is able to react appropriately to the different conditions of different types of networks. A set of experiments with different traffic profiles show that the proposed algorithm improves video quality performance in both wired and wireless environments.


title: Exact continuous relaxations of l0-regularized criteria with non-quadratic data terms

abstract: We propose a new class of exact continuous relaxations of l0-regularized criteria involving non-quadratic data terms such as the Kullback-Leibler divergence and the logistic regression, possibly combined with an l2 regularization. We first prove the existence of global minimizers for such problems and characterize their local minimizers.Then, we propose the l0 Bregman Relaxation (B-rex), a continuous approximation of the l0 pseudo-norm defined in terms of suitable Bregman distances, which leads to an exact continuous relaxations of the original l0-regularized problem in the sense that it does not alter its set of global minimizers and reduces the non-convexity by eliminating certain local minimizers. Both features make the relaxed problem more amenable to be solved by standard non-convex optimization algorithms. In this spirit, we consider the proximal gradient algorithm and provide explicit computation of proximal points for the B-rex penalty in several cases. Finally, we report a set of numerical results illustrating the geometrical behavior of the proposed B-rex penalty for different choices of the underlying Bregman distance, its relation with convex envelopes, as well as its exact relaxation properties in 1D/2D and higher dimensions.


title: Anomalous thermal relaxation and pump-probe spectroscopy of 2D topologically ordered systems

abstract: We study the behaviour of linear and nonlinear spectroscopic quantities in two-dimensional topologically ordered systems, which host anyonic excitations exhibiting fractional statistics. We highlight the role that braiding phases between anyons have on the dynamics of such quasiparticles, which as we show dictates the behaviour of both linear response coefficients at finite temperatures, as well as nonlinear pump-probe response coefficients. These quantities, which act as probes of temporal correlations in the system, are shown to obey distinctive universal forms at sufficiently long timescales. As well as providing an experimentally measurable fingerprint of anyonic statistics, the universal behaviour that we find also demonstrates anomalously fast thermal relaxation: correlation functions decay as a `squished exponential' $C(t) \sim \exp(-[t/\tau]^{3/2})$ at long times. We attribute this unusual asymptotic form to the nonlocal nature of interactions between anyons, which allows relaxation to occur much faster than in systems with quasiparticles interacting via local, non-statistical interactions. While our results apply to any Abelian or non-Abelian topological phase in two-dimensions, we discuss in particular the implications for candidate quantum spin liquid materials, wherein the relevant quantities can be measured using pre-existing time-resolved terahertz-domain spectroscopic techniques.


title: The structural evolution of temporal hypergraphs through the lens of hyper-cores

abstract: The richness of many complex systems stems from the interactions among their components. The higher-order nature of these interactions, involving many units at once, and their temporal dynamics constitute crucial properties that shape the behaviour of the system itself. An adequate description of these systems is offered by temporal hypergraphs, that integrate these features within the same framework. However, tools for their temporal and topological characterization are still scarce. Here we develop a series of methods specifically designed to analyse the structural properties of temporal hypergraphs at multiple scales. Leveraging the hyper-core decomposition of hypergraphs, we follow the evolution of the hyper-cores through time, characterizing the hypergraph structure and its temporal dynamics at different topological scales, and quantifying the multi-scale structural stability of the system. We also define two static hypercoreness centrality measures that provide an overall description of the nodes aggregated structural behaviour. We apply the characterization methods to several data sets, establishing connections between structural properties and specific activities within the systems. Finally, we show how the proposed method can be used as a model-validation tool for synthetic temporal hypergraphs, distinguishing the higher-order structures and dynamics generated by different models from the empirical ones, and thus identifying the essential model mechanisms to reproduce the empirical hypergraph structure and evolution. Our work opens several research directions, from the understanding of dynamic processes on temporal higher-order networks to the design of new models of time-varying hypergraphs.


title: On the equivalence of distributional and synthetic Ricci curvature lower bounds

abstract: The goal of the paper is to prove the equivalence of distributional and synthetic Ricci curvature lower bounds for a weighted Riemannian manifold with continuous metric tensor having Christoffel symbols in $L^2_{{\rm loc}}$, and with weight in $C^0\cap W^{1,2}_{{\rm loc}}$. The regularity assumptions are sharp, in the sense that they are minimal in order to define the distributional Ricci curvature tensor.


title: Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health Care

abstract: An important aim of this paper is to convey some basics of mathematical logic to the legal community working with Artificial Intelligence. After analysing what AI is, we decide to delimit ourselves to rule-based AI leaving Neural Networks and Machine Learning aside. Rule based AI allows for Formal methods which are described in a rudimentary form. We will then see how mathematical logic interacts with legal rule-based AI practice. We shall see how mathematical logic imposes limitations and complications to AI applications. We classify the limitations and interactions between mathematical logic and legal AI in three categories: logical, computational and mathematical. The examples to showcase the interactions will largely come from European traffic regulations. The paper closes off with some reflections on how and where AI could be used and on basic mechanisms that shape society.


title: Cool Gaseous Exoplanets: surveying the new frontier with Twinkle

abstract: Cool gaseous exoplanets ($1.75\ R_\oplus < R_\text{p} < 3\ R_\text{J}$, $200$ K $<T_\text{eq} < 1000$~K) are an as-yet understudied population, with great potential to expand our understanding of planetary atmospheres and formation mechanisms. In this paper, we outline the basis for a homogeneous survey of cool gaseous planets with Twinkle, a 0.45-m diameter space telescope with simultaneous spectral coverage from 0.5-4.5~$\mu$m, set to launch in 2025. We find that Twinkle has the potential to characterise the atmospheres of 36 known cool gaseous exoplanets (11~sub-Neptunian, 11~Neptunian, 14~Jovian) at an SNR $\geq$ 5 during its 3-year primary mission, with the capability of detecting most major molecules predicted by equilibrium chemistry to > $5\sigma$ significance. We find that an injected mass-metallicity trend is well-recovered, demonstrating Twinkle's ability to elucidate this fundamental relationship into cool regime. We also find Twinkle will be able to detect cloud layers at 3$\sigma$ or greater in all cool gaseous planets for clouds at $\leq$ 10 Pa pressure level, but will be insensitive to clouds deeper than $10^4$ Pa in all cases. With these results we demonstrate the capability of the Twinkle mission to greatly expand the current knowledge of cool gaseous planets, enabling key insights and constraints to be obtained for this poorly-charted region of exoplanet parameter space.


title: Observing quantum many-body scars in random quantum circuits

abstract: The Schwinger model describes quantum electrodynamics in 1+1-dimensions, it is a prototype for quantum chromodynamics, and its lattice version allows for a quantum link model description that can be simulated using modern quantum devices. In this work, we devise quantum simulations to investigate the dynamics of this model in its low dimensional form, where the gauge field degrees of freedom are described by spin 1/2 operators. We apply trotterization to write quantum circuits that effectively generate the evolution under the Schwinger model Hamiltonian. We consider both sequential circuits, with a fixed gate sequence, and randomized ones. Utilizing the correspondence between the Schwinger model and the PXP model, known for its quantum scars, we investigate the presence of quantum scar states in the Schwinger model by identifying states exhibiting extended thermalization times in our circuit evolutions. Our comparison of sequential and randomized circuit dynamics shows that the non-thermal sector of the Hilbert space, including the scars, are more sensitive to randomization.


title: Heavy element abundances in Galactic Globular Clusters

abstract: Context. Globular clusters are considered key objects for understanding the formation and evolution of the Milky Way. In this sense, their characterisation in terms of their chemical and orbital parameters can provide constraints to the chemical evolution models of the Galaxy. Aims. We use the heavy element abundances of globular clusters to trace their overall behaviour in the Galaxy, aiming to analyse potential relations between the hot H-burning and s-process elements. Methods. We measured the content of Cu I and s- and r-process elements (Y II, Ba II, La II, and Eu II) in a sample of 210 giant stars in 18 Galactic Globular Clusters from high-quality UVES spectra. The clusters span a large metallicity range, and the sample is the largest uniformly analysed for what concerns heavy elements in Globular Clusters. Results. Cu abundances did not show considerable spread in the sample nor correlation with Na, meaning that the Na nucleosynthesis process does not affect the Cu abundance. Most GCs closely follow the Cu, Y, Ba, La, and Eu field stars' distribution, revealing a similar chemical evolution. The Y abundances in mid-metallicity regime GCs (-1.10 dex <[Fe/H]<-1.80 dex) display a mildly significant correlation with the Na abundance, which should be further investigated. Finally, we did not find any significant difference between the n-capture abundances among GCs with Galactic and extragalactic origin.


title: A new parallel solver suited for arbitrary semilinear parabolic partial differential equations based on generalized random trees

abstract: A probabilistic representation for initial value semilinear parabolic problems based on generalized random trees has been derived. Two different strategies have been proposed, both requiring generating suitable random trees combined with a Pade approximant for approximating accurately a given divergent series. Such series are obtained by summing the partial contribution to the solution coming from trees with arbitrary number of branches. The new representation greatly expands the class of problems amenable to be solved probabilistically, and was used successfully to develop a generalized probabilistic domain decomposition method. Such a method has been shown to be suited for massively parallel computers, enjoying full scalability and fault tolerance. Finally, a few numerical examples are given to illustrate the remarkable performance of the algorithm, comparing the results with those obtained with a classical method.


title: Inducing Systematicity in Transformers by Attending to Structurally Quantized Embeddings

abstract: Transformers generalize to novel compositions of structures and entities after being trained on a complex dataset, but easily overfit on datasets of insufficient complexity. We observe that when the training set is sufficiently complex, the model encodes sentences that have a common syntactic structure using a systematic attention pattern. Inspired by this observation, we propose SQ-Transformer (Structurally Quantized) that explicitly encourages systematicity in the embeddings and attention layers, even with a training set of low complexity. At the embedding level, we introduce Structure-oriented Vector Quantization (SoVQ) to cluster word embeddings into several classes of structurally equivalent entities. At the attention level, we devise the Systematic Attention Layer (SAL) and an alternative, Systematically Regularized Layer (SRL) that operate on the quantized word embeddings so that sentences of the same structure are encoded with invariant or similar attention patterns. Empirically, we show that SQ-Transformer achieves stronger compositional generalization than the vanilla Transformer on multiple low-complexity semantic parsing and machine translation datasets. In our analysis, we show that SoVQ indeed learns a syntactically clustered embedding space and SAL/SRL induces generalizable attention patterns, which lead to improved systematicity.


title: Sparse-grid Discontinuous Galerkin Methods for the Vlasov-Poisson-Lenard-Bernstein Model

abstract: Sparse-grid methods have recently gained interest in reducing the computational cost of solving high-dimensional kinetic equations. In this paper, we construct adaptive and hybrid sparse-grid methods for the Vlasov-Poisson-Lenard-Bernstein (VPLB) model. This model has applications to plasma physics and is simulated in two reduced geometries: a 0x3v space homogeneous geometry and a 1x3v slab geometry. We use the discontinuous Galerkin (DG) method as a base discretization due to its high-order accuracy and ability to preserve important structural properties of partial differential equations. We utilize a multiwavelet basis expansion to determine the sparse-grid basis and the adaptive mesh criteria. We analyze the proposed sparse-grid methods on a suite of three test problems by computing the savings afforded by sparse-grids in comparison to standard solutions of the DG method. The results are obtained using the adaptive sparse-grid discretization library ASGarD.


title: Deep Learning-Based Auto-Segmentation of Planning Target Volume for Total Marrow and Lymph Node Irradiation

abstract: In order to optimize the radiotherapy delivery for cancer treatment, especially when dealing with complex treatments such as Total Marrow and Lymph Node Irradiation (TMLI), the accurate contouring of the Planning Target Volume (PTV) is crucial. Unfortunately, relying on manual contouring for such treatments is time-consuming and prone to errors. In this paper, we investigate the application of Deep Learning (DL) to automate the segmentation of the PTV in TMLI treatment, building upon previous work that introduced a solution to this problem based on a 2D U-Net model. We extend the previous research (i) by employing the nnU-Net framework to develop both 2D and 3D U-Net models and (ii) by evaluating the trained models on the PTV with the exclusion of bones, which consist mainly of lymp-nodes and represent the most challenging region of the target volume to segment. Our result show that the introduction of nnU-NET framework led to statistically significant improvement in the segmentation performance. In addition, the analysis on the PTV after the exclusion of bones showed that the models are quite robust also on the most challenging areas of the target volume. Overall, our study is a significant step forward in the application of DL in a complex radiotherapy treatment such as TMLI, offering a viable and scalable solution to increase the number of patients who can benefit from this treatment.


title: Monopoly agenda control with privately informed voters

abstract: An agenda-setter repeatedly proposes a spatial policy to voters until some proposal is accepted. Voters have distinct but correlated preferences and receive private signals about the common state. I investigate whether the agenda-setter retains the power to screen voters as players become perfectly patient and private signals become perfectly precise. I show that the extent of this power depends on the relative precision of private signals and the conflict of preferences among voters, confirming the crucial role of committee setting and single-peaked preferences. When the private signals have equal precision, the agenda-setter can achieve the full-information benchmark. When one voter receives an asymptotically more precise signal, the agenda-setter's power to screen depends on preference diversity. These results imply that the lack of commitment to a single proposal can benefit the agenda-setter. Surprisingly, an increase in the voting threshold can allow the agenda-setter to extract more surplus.


title: Benchmarking ionization potentials from pCCD tailored coupled cluster models

abstract: The ionization potential (IP) is an important parameter providing essential insights into the reactivity of chemical systems. IPs are also crucial for designing, optimizing, and understanding the functionality of modern technological devices. We recently showed that limiting the CC ansatz to the seniority-zero sector proves insufficient in predicting reliable and accurate ionization potentials within an IP equation-of-motion coupled-cluster formalism. Specifically, the absence of dynamic correlation in the seniority-zero pair coupled cluster doubles (pCCD) model led to unacceptably significant errors of approximately 1.5 eV. In this work, we aim to explore the impact of dynamical correlation and the choice of the molecular orbital basis (canonical vs. localized) in CC-type methods targeting 201 ionized states in 41 molecules. We focus on pCCD-based approaches as well as the conventional IP-EOM-CCD and IP-EOM-CCSD. Their performance is compared to the CCSDT equivalent and experimental reference data. Our statistical analysis reveals that all investigated frozen-pair coupled cluster methods exhibit similar performance, with differences in errors typically within chemical accuracy (1 kcal/mol or 0.05 eV). Notably, the effect of the molecular orbital basis, such as canonical Hartree-Fock or natural pCCD-optimized orbitals, on the IPs is marginal if dynamical correlation is accounted for. Our study suggests that triple excitations are crucial in achieving chemical accuracy in IPs when modeling electron detachment processes with pCCD-based methods.


title: Iris-SAM: Iris Segmentation Using a Foundation Model

abstract: Iris segmentation is a critical component of an iris biometric system and it involves extracting the annular iris region from an ocular image. In this work, we develop a pixel-level iris segmentation model from a foundational model, viz., Segment Anything Model (SAM), that has been successfully used for segmenting arbitrary objects. The primary contribution of this work lies in the integration of different loss functions during the fine-tuning of SAM on ocular images. In particular, the importance of Focal Loss is borne out in the fine-tuning process since it strategically addresses the class imbalance problem (i.e., iris versus non-iris pixels). Experiments on ND-IRIS-0405, CASIA-Iris-Interval-v3, and IIT-Delhi-Iris datasets convey the efficacy of the trained model for the task of iris segmentation. For instance, on the ND-IRIS-0405 dataset, an average segmentation accuracy of 99.58% was achieved, compared to the best baseline performance of 89.75%.


title: Signatures of Nuclear Isomers in Gamma-Ray Bursts from Binary Neutron Star Mergers

abstract: Neutron star mergers are astrophysical `gold mines,' synthesizing over half of the elements heavier than iron through rapid neutron capture nucleosynthesis. The observation of the binary neutron star merger GW170817, detected both in gravitational waves and electromagnetic radiation, marked a breakthrough. One electromagnetic component of this event, the gamma ray burst GRB 170817A, has an unresolved aspect: the characteristics of its prompt gamma-ray emission spectrum. In this work, we propose that gamma-ray spectra in such GRBs may be influenced by de-excitations from isomeric transitions. Our study begins with a review of current knowledge on GRB structure and of r-process nucleosynthesis in neutron star collisions, focusing on the role of nuclear isomers in these settings. We then test our hypothesis by developing criteria to select representative isomers, based on known solar element abundances, for modeling GRB spectral characteristics. We integrate these criteria into an interactive web page, facilitating the construction and analysis of relevant gamma-ray spectra from isomeric transitions. Our analysis reveals that three isomers (zirconium, lead and yttrium) stand out for their potential to impact the prompt GRB spectrum due to their specific properties. This information allows us to incorporate nuclear isomer data into astrophysical simulations and calculate isomeric abundances generated by astrophysical r-processes in neutron star mergers and their imprint on the detected signal.


title: BarlowTwins-CXR : Enhancing Chest X-Ray abnormality localization in heterogeneous data with cross-domain self-supervised learning

abstract: Background: Chest X-ray imaging-based abnormality localization, essential in diagnosing various diseases, faces significant clinical challenges due to complex interpretations and the growing workload of radiologists. While recent advances in deep learning offer promising solutions, there is still a critical issue of domain inconsistency in cross-domain transfer learning, which hampers the efficiency and accuracy of diagnostic processes. This study aims to address the domain inconsistency problem and improve autonomic abnormality localization performance of heterogeneous chest X-ray image analysis, by developing a self-supervised learning strategy called "BarlwoTwins-CXR". Methods: We utilized two publicly available datasets: the NIH Chest X-ray Dataset and the VinDr-CXR. The BarlowTwins-CXR approach was conducted in a two-stage training process. Initially, self-supervised pre-training was performed using an adjusted Barlow Twins algorithm on the NIH dataset with a Resnet50 backbone pre-trained on ImageNet. This was followed by supervised fine-tuning on the VinDr-CXR dataset using Faster R-CNN with Feature Pyramid Network (FPN). Results: Our experiments showed a significant improvement in model performance with BarlowTwins-CXR. The approach achieved a 3% increase in mAP50 accuracy compared to traditional ImageNet pre-trained models. In addition, the Ablation CAM method revealed enhanced precision in localizing chest abnormalities. Conclusion: BarlowTwins-CXR significantly enhances the efficiency and accuracy of chest X-ray image-based abnormality localization, outperforming traditional transfer learning methods and effectively overcoming domain inconsistency in cross-domain scenarios. Our experiment results demonstrate the potential of using self-supervised learning to improve the generalizability of models in medical settings with limited amounts of heterogeneous data.


title: On the Fly Detection of Root Causes from Observed Data with Application to IT Systems

abstract: This paper introduces a new structural causal model tailored for representing threshold-based IT systems and presents a new algorithm designed to rapidly detect root causes of anomalies in such systems. When root causes are not causally related, the method is proven to be correct; while an extension is proposed based on the intervention of an agent to relax this assumption. Our algorithm and its agent-based extension leverage causal discovery from offline data and engage in subgraph traversal when encountering new anomalies in online data. Our extensive experiments demonstrate the superior performance of our methods, even when applied to data generated from alternative structural causal models or real IT monitoring data.


title: Scalable Interactive Machine Learning for Future Command and Control

abstract: Future warfare will require Command and Control (C2) personnel to make decisions at shrinking timescales in complex and potentially ill-defined situations. Given the need for robust decision-making processes and decision-support tools, integration of artificial and human intelligence holds the potential to revolutionize the C2 operations process to ensure adaptability and efficiency in rapidly changing operational environments. We propose to leverage recent promising breakthroughs in interactive machine learning, in which humans can cooperate with machine learning algorithms to guide machine learning algorithm behavior. This paper identifies several gaps in state-of-the-art science and technology that future work should address to extend these approaches to function in complex C2 contexts. In particular, we describe three research focus areas that together, aim to enable scalable interactive machine learning (SIML): 1) developing human-AI interaction algorithms to enable planning in complex, dynamic situations; 2) fostering resilient human-AI teams through optimizing roles, configurations, and trust; and 3) scaling algorithms and human-AI teams for flexibility across a range of potential contexts and situations.


title: Continuation of Periodic Orbits in Conservative Hybrid Dynamical Systems and its Application to Mechanical Systems with Impulsive Dynamics

abstract: In autonomous differential equations where a single first integral is present, periodic orbits are well-known to belong to one-parameter families, parameterized by the first integral's values. This paper shows that this characteristic extends to a broader class of conservative hybrid dynamical systems (cHDSs). We define recurrent cHDSs to study periodic orbits, introducing the concept of a hybrid first integral to characterize conservation in these systems. Additionally, our work presents a methodology that utilizes numerical continuation methods to generate these periodic orbits, building upon the concept of normal periodic orbits. We specifically compare state-based and time-based implementations of an cHDS as an important application detail in generating periodic orbits. Furthermore, we showcase the continuation process using exemplary conservative mechanical systems with impulsive dynamics.


title: ACTER: Diverse and Actionable Counterfactual Sequences for Explaining and Diagnosing RL Policies

abstract: Understanding how failure occurs and how it can be prevented in reinforcement learning (RL) is necessary to enable debugging, maintain user trust, and develop personalized policies. Counterfactual reasoning has often been used to assign blame and understand failure by searching for the closest possible world in which the failure is avoided. However, current counterfactual state explanations in RL can only explain an outcome using just the current state features and offer no actionable recourse on how a negative outcome could have been prevented. In this work, we propose ACTER (Actionable Counterfactual Sequences for Explaining Reinforcement Learning Outcomes), an algorithm for generating counterfactual sequences that provides actionable advice on how failure can be avoided. ACTER investigates actions leading to a failure and uses the evolutionary algorithm NSGA-II to generate counterfactual sequences of actions that prevent it with minimal changes and high certainty even in stochastic environments. Additionally, ACTER generates a set of multiple diverse counterfactual sequences that enable users to correct failure in the way that best fits their preferences. We also introduce three diversity metrics that can be used for evaluating the diversity of counterfactual sequences. We evaluate ACTER in two RL environments, with both discrete and continuous actions, and show that it can generate actionable and diverse counterfactual sequences. We conduct a user study to explore how explanations generated by ACTER help users identify and correct failure.


title: Solving Complex Multi-UAV Mission Planning Problems using Multi-objective Genetic Algorithms

abstract: Due to recent booming of UAVs technologies, these are being used in many fields involving complex tasks. Some of them involve a high risk to the vehicle driver, such as fire monitoring and rescue tasks, which make UAVs excellent for avoiding human risks. Mission Planning for UAVs is the process of planning the locations and actions (loading/dropping a load, taking videos/pictures, acquiring information) for the vehicles, typically over a time period. These vehicles are controlled from Ground Control Stations (GCSs) where human operators use rudimentary systems. This paper presents a new Multi-Objective Genetic Algorithm for solving complex Mission Planning Problems (MPP) involving a team of UAVs and a set of GCSs. A hybrid fitness function has been designed using a Constraint Satisfaction Problem (CSP) to check if solutions are valid and Pareto-based measures to look for optimal solutions. The algorithm has been tested on several datasets optimizing different variables of the mission, such as the makespan, the fuel consumption, distance, etc. Experimental results show that the new algorithm is able to obtain good solutions, however as the problem becomes more complex, the optimal solutions also become harder to find.


title: The role of mobility in epidemics near criticality

abstract: The general epidemic process (GEP), also known as susceptible-infected-recovered model (SIR), describes how an epidemic spreads within a population of susceptible individuals who acquire permanent immunization upon recovery. This model exhibits a second-order absorbing state phase transition, commonly studied assuming immobile healthy individuals. We investigate the impact of mobility on disease spreading near the extinction threshold by introducing two generalizations of GEP, where the mobility of susceptible and recovered individuals is examined independently. In both cases, including mobility violates GEP's rapidity reversal symmetry and alters the number of absorbing states. The critical dynamics of the models are analyzed through a perturbative renormalization group approach and large-scale stochastic simulations using a Gillespie algorithm. The renormalization group analysis predicts both models to belong to the same novel universality class describing the critical dynamics of epidemic spreading when the infected individuals interact with a diffusive species and gain immunization upon recovery. At the associated renormalization group fixed point, the immobile species decouples from the dynamics of the infected species, dominated by the coupling with the diffusive species. Numerical simulations in two dimensions affirm our renormalization group results by identifying the same set of critical exponents for both models. Violation of the rapidity reversal symmetry is confirmed by breaking the associated hyperscaling relation. Our study underscores the significance of mobility in shaping population spreading dynamics near the extinction threshold.


title: Classifying point clouds at the facade-level using geometric features and deep learning networks

abstract: 3D building models with facade details are playing an important role in many applications now. Classifying point clouds at facade-level is key to create such digital replicas of the real world. However, few studies have focused on such detailed classification with deep neural networks. We propose a method fusing geometric features with deep learning networks for point cloud classification at facade-level. Our experiments conclude that such early-fused features improve deep learning methods' performance. This method can be applied for compensating deep learning networks' ability in capturing local geometric information and promoting the advancement of semantic segmentation.


title: Non-Conforming Finite Element Method For Constrained Dirichlet Boundary Control Problem

abstract: This article examines the Dirichlet boundary control problem governed by the Poisson equation, where the control variables are square integrable functions defined on the boundary of a two dimensional bounded, convex, polygonal domain. It employs an ultra weak formulation and utilizes Crouzeix-Raviart finite elements to discretize the state variable, while employing piecewise constants for the control variable discretization. The study demonstrates that the energy norm of an enriched discrete optimal control is uniformly bounded with respect to the discretization parameter. Furthermore, it establishes an optimal order a priori error estimate for the control variable.


title: Seismic structure of the southern Rivera plate and Jalisco block subduction zone

abstract: Structural and tectonic features in the Pacific Coast of Mexico generate a high level of seismic activity in the Jalisco block (JB) region, making it one of the most attractive areas of the world for geophysical investigations. The Rivera North America contact zone has been the object of different tectonic studies in recent years framed within the TsuJal project. To this day, this project is generating numerous crucial geophysical results, which significantly improve our understanding of the region. Our study is focused on the interaction between the south of the JB and Rivera plate (RP), which crosses the Middle America trench. We also cover an offshore onshore transect of 130 km length between the eastern Rivera fracture zone and La Huerta region, in the Jalisco state. To characterize this region,we interpreted wide angle seismic, multichannel seismic, and multibeam bathymetry data. The integration of these results, with the local and regional seismicity recorded by the Jalisco Seismic Accelerometric Telemetric Network and by the Mapping the Rivera Subduction Zone experiment, provides new insights into the geometry of the southern RP, which is dipping 12 14 degrees under the JB in the northeast southwest direction. Moreover, our results provide new seismic images of the accretionary wedge, the shallow crust, the deep crust, and the upper-mantle structure along this profile.


title: Asking the Right Question at the Right Time: Human and Model Uncertainty Guidance to Ask Clarification Questions

abstract: Clarification questions are an essential dialogue tool to signal misunderstanding, ambiguities, and under-specification in language use. While humans are able to resolve uncertainty by asking questions since childhood, modern dialogue systems struggle to generate effective questions. To make progress in this direction, in this work we take a collaborative dialogue task as a testbed and study how model uncertainty relates to human uncertainty -- an as yet under-explored problem. We show that model uncertainty does not mirror human clarification-seeking behavior, which suggests that using human clarification questions as supervision for deciding when to ask may not be the most effective way to resolve model uncertainty. To address this issue, we propose an approach to generating clarification questions based on model uncertainty estimation, compare it to several alternatives, and show that it leads to significant improvements in terms of task success. Our findings highlight the importance of equipping dialogue systems with the ability to assess their own uncertainty and exploit in interaction.


title: Fast entangling quantum gates with almost-resonant modulated driving

abstract: Recently, the method of off-resonant modulated driving (ORMD) with a special category of synthetic analytical pulses has improved the experimental performance of two- and multi-qubit gates and aroused many interests for further investigations. It particularly offers a helpful tool to the cold atom qubit platform and works well with the Rydberg dipole-dipole interaction. In order to explore more possibilities and wider ranges of options in constructing fast-speed and high-fidelity quantum logic gates, we design and analyze the entangling quantum gates via the almost-resonant modulated driving (ARMD) method. Apart from the apparent distinctions in resonance conditions, the ARMD gate protocols also have its different mechanisms in quantum physics compared with ORMD gate protocols. ARMD gates usually have abrupt phase changes and at certain points during the time evolution. In other words, whilst the modulation forms the key concept of high-fidelity Rydberg blockade gates, the on-off resonance condition can lead to nontrivial nuances in the styles of dynamics. From a more fundamental point of view, the ORMD and the ARMD methods all together belong to the unitary operation family of fast modulated driving with respect to precisely characterized inter-qubit interactions, which usually allows the quantum logic gate to concludes within one continuous pulse.


title: Toward Building a Semantic Network Inventory for Model-Driven Telemetry

abstract: Network telemetry based on data models is expected to become the standard mechanism for collecting operational data from network devices efficiently. But the wide variety of standard and proprietary data models along with the different implementations of telemetry protocols offered by network vendors, become a barrier when monitoring heterogeneous network infrastructures. To facilitate the integration and sharing of context information related to model-driven telemetry, this work proposes a semantic network inventory that integrates new information models specifically developed to capture context information in a vendor-agnostic fashion using current standards defined for context management. To automate the integration of this context information within the network inventory, a reference architecture is designed. Finally, a prototype of the solution is implemented and validated through a case study that illustrates how the network inventory can ease the operation of model-driven telemetry in multi-vendor networks.


title: Multimodal Clinical Trial Outcome Prediction with Large Language Models

abstract: The clinical trial is a pivotal and costly process, often spanning multiple years and requiring substantial financial resources. Therefore, the development of clinical trial outcome prediction models aims to exclude drugs likely to fail and holds the potential for significant cost savings. Recent data-driven attempts leverage deep learning methods to integrate multimodal data for predicting clinical trial outcomes. However, these approaches rely on manually designed modal-specific encoders, which limits both the extensibility to adapt new modalities and the ability to discern similar information patterns across different modalities. To address these issues, we propose a multimodal mixture-of-experts (LIFTED) approach for clinical trial outcome prediction. Specifically, LIFTED unifies different modality data by transforming them into natural language descriptions. Then, LIFTED constructs unified noise-resilient encoders to extract information from modal-specific language descriptions. Subsequently, a sparse Mixture-of-Experts framework is employed to further refine the representations, enabling LIFTED to identify similar information patterns across different modalities and extract more consistent representations from those patterns using the same expert model. Finally, a mixture-of-experts module is further employed to dynamically integrate different modality representations for prediction, which gives LIFTED the ability to automatically weigh different modalities and pay more attention to critical information. The experiments demonstrate that LIFTED significantly enhances performance in predicting clinical trial outcomes across all three phases compared to the best baseline, showcasing the effectiveness of our proposed key components.


title: Long-lived collective Rydberg excitations in atomic gas achieved via ac-Stark lattice modulation

abstract: Collective Rydberg excitations provide promising applications ranging from quantum information processing, and quantum computing to ultra-sensitive electrometry. However, their short lifetime is an immense obstacle in real-life scenarios. The state-of-the-art methods of prolonging the lifetime were mainly implemented for ground-state quantum memories and would require a redesign to effectively work on different atomic transitions. We propose a protocol for extending the Rydberg excitation lifetime, which in principle can freeze the spin-wave and completely cancel the effects of thermal dephasing. The protocol employs off-resonant ac-Stark lattice modulation of spin waves by interfering two laser beams on the atomic medium. Our implementation showed that the excitation lifetime can be extended by an order of magnitude, paving the way towards more complex protocols for collective Rydberg excitations.


title: Spatial calibration of high-density absorption imaging

abstract: The accurate determination of atom numbers is an ubiquitous problem in the field of ultracold atoms. For modest atom numbers, absolute calibration techniques are available, however, for large numbers and high densities, the available techniques neglect many-body scattering processes. Here, a spatial calibration technique for time-of-flight absorption images of ultracold atomic clouds is presented. The calibration is obtained from radially averaged absorption images and we provide a practical guide to the calibration process. It is shown that the calibration coefficient scales linearly with optical density and depends on the absorbed photon number for the experimental conditions explored here. This allows for the direct inclusion of a spatially dependent calibration in the image analysis. For typical ultracold atom clouds the spatial calibration technique leads to corrections in the detected atom number up to $\approx\! 12\,\%$ and temperature up to $\approx \!14\,\%$ in comparison to previous calibration techniques. The technique presented here addresses a major difficulty in absorption imaging of ultracold atomic clouds and prompts further theoretical work to understand the scattering processes in ultracold dense clouds of atoms for accurate atom number calibration.


title: The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording

abstract: Risk-limiting audits (RLAs) are techniques for verifying the outcomes of large elections. While they provide rigorous guarantees of correctness, widespread adoption has been impeded by both efficiency concerns and the fact they offer statistical, rather than absolute, conclusions. We attend to both of these difficulties, defining new families of audits that improve efficiency and offer qualitative advances in statistical power. Our new audits are enabled by revisiting the standard notion of a cast-vote record so that it can declare multiple possible mark interpretations rather than a single decision; this can reflect the presence of marginal marks, which appear regularly on hand-marked ballots. We show that this simple expedient can offer significant efficiency improvements with only minor changes to existing auditing infrastructure. We consider two ways of representing these marks, both yield risk-limiting comparison audits in the formal sense of Fuller, Harrison, and Russell (IEEE Security & Privacy 2023). We then define a new type of post-election audit we call a contested audit. These permit each candidate to provide a cast-vote record table advancing their own claim to victory. We prove that these audits offer remarkable sample efficiency, yielding control of risk with a constant number of samples (that is independent of margin). This is a first for an audit with provable soundness. These results are formulated in a game-based security model that specify quantitative soundness and completeness guarantees. These audits provide a means to handle contestation of election results affirmed by conventional RLAs.


title: HoneyDOC: An Efficient Honeypot Architecture Enabling All-Round Design

abstract: Honeypots are designed to trap the attacker with the purpose of investigating its malicious behavior. Owing to the increasing variety and sophistication of cyber attacks, how to capture high-quality attack data has become a challenge in the context of honeypot area. All-round honeypots, which mean significant improvement in sensibility, countermeasure and stealth, are necessary to tackle the problem. In this paper, we propose a novel honeypot architecture termed HoneyDOC to support all-round honeypot design and implementation. Our HoneyDOC architecture clearly identifies three essential independent and collaborative modules, Decoy, Captor and Orchestrator. Based on the efficient architecture, a Software-Defined Networking (SDN) enabled honeypot system is designed, which supplies high programmability for technically sustaining the features for capturing high-quality data. A proof-of-concept system is implemented to validate its feasibility and effectiveness. The experimental results show the benefits by using the proposed architecture comparing to the previous honeypot solutions.


title: UV Irradiation Facility for Solar Effects Simulations

abstract: We describe an experimental setup developed aiming to irradiate samples under UV radiation for accelerated test for solar effects according to the relevant ECSS-ESA standards. This facility has been already used for projects belonging to large space programs (Cosmic Vision, Artes) for simulations up to 3500 equivalent sun hours. In particular, we detail the calculation of the UV dose delivered by Sun, the calibration of the detectors, the spatial distribution of the UV radiation on samples, the remote control of both samples temperature and lamp radiation, the samples heat dissipation and operation in a helium atmosphere.


title: Dynamic swarms regulate the morphology and distribution of soft membrane domains

abstract: We study the dynamic structure of lipid domain inclusions embedded within a phase-separated reconstituted lipid bilayer in contact with a swarming flow of gliding filamentous actin. Passive circular domains transition into highly-deformed morphologies that continuously elongate, rotate, and pinch off into smaller fragments, leading to a dynamic steady state with approximately 23x speed up in the relaxation of the intermediate scattering function compared to passive membrane domains driven by purely thermal forces. To corroborate experimental results, we develop a phase-field model of the lipid domains with two-way coupling to the Toner-Tu equations. We report phase domains that become entrained in the chaotic eddy patterns, with oscillating waves of domains that correlate with the dominant wavelengths of the Toner-Tu flow fields.


title: Topological strings and Higgsing trees

abstract: 6-dimensional superconformal field theories are exotic and fascinating. They emerge from compactifications of F-theory on Calabi-Yau elliptic fibrations, which grants them a rich array of dualities with various other formulations of string and M-theory. In this thesis, we consider extended families of elliptic fibrations, giving rise to 6d theories connected by Higgs transitions. These families not only encompass the moduli space of a specific manifold but also include other manifolds with different topologies. Our investigation focuses on rank 1 6D superconformal field theories from two distinct angles. In Chapter 4, we employ modularity, which arises from the holomorphic anomaly equations, to compute the topological string partition function in terms of Jacobi modular forms. We also provide a prescription for obtaining the topological partition function of a Higgsed theory from its parent. Through this approach, we can explain numerous symmetry enhancements that we observed in our study. On the other hand, in Chapter 5, we explore the 2D soliton of the 6D theory, the non-critical string. The elliptic genus of this non-critical string coincides with a part of the topological string partition function. By carefully studying this non-critical string, we propose an ansatz for the elliptic genera expressed in terms of characters of the associated current algebras. We present compelling evidence supporting the validity of this ansatz and unveil novel closed form expressions for the elliptic genera of these non-critical strings. Through these investigations, we hope to shed light on the intriguing world of 6D superconformal field theories and uncover new insights into their remarkable properties and connections.


title: Accelerating Innovation in 6G Research: Real-Time Capable SDR System Architecture for Rapid Prototyping

abstract: The upcoming 3GPP global mobile communication standard 6G strives to push the technological limits of radio frequency (RF) communication even further than its predecessors: Sum data rates beyond 100 Gbit/s, RF bandwidths above 1 GHz per link, and sub-millisecond latency necessitate very high performance development tools. We propose a new SDR firmware and software architecture designed explicitly to meet these challenging requirements. It relies on Ethernet and commercial off-the-shelf network and server components to maximize flexibility and to reduce costs. We analyze state-of-the-art solutions (USRP X440 and other RFSoC-based systems), derive architectural design goals, explain resulting design decision in detail, and exemplify our architecture's implementation on the XCZU48DR RFSoC. Finally, we validate its performance via measurements and outline how the architecture surpasses the state-of-the-art with respect to sustained RF recording, while maintaining high Ethernet bandwidth efficiency. Building a micro-Doppler radar example, we demonstrate its real-time and rapid application development capabilities.


title: Reconstructing facade details using MLS point clouds and Bag-of-Words approach

abstract: In the reconstruction of fa\c{c}ade elements, the identification of specific object types remains challenging and is often circumvented by rectangularity assumptions or the use of bounding boxes. We propose a new approach for the reconstruction of 3D fa\c{c}ade details. We combine MLS point clouds and a pre-defined 3D model library using a BoW concept, which we augment by incorporating semi-global features. We conduct experiments on the models superimposed with random noise and on the TUM-FA\c{C}ADE dataset. Our method demonstrates promising results, improving the conventional BoW approach. It holds the potential to be utilized for more realistic facade reconstruction without rectangularity assumptions, which can be used in applications such as testing automated driving functions or estimating fa\c{c}ade solar potential.


title: Reducing model complexity by means of the Optimal Scaling: Population Balance Model for latex particles morphology formation

abstract: Rational computer-aided design of multiphase polymer materials is vital for rapid progress in many important applications, such as: diagnostic tests, drug delivery, coatings, additives for constructing materials, cosmetics, etc. Several property predictive models, including the prospective Population Balance Model for Latex Particles Morphology Formation (LPMF PBM), have already been developed for such materials. However, they lack computational efficiency, and the accurate prediction of materials' properties still remains a great challenge. To enhance performance of the LPMF PBM, we explore the feasibility of reducing its complexity through disregard of the aggregation terms of the model. The introduced nondimensionalization approach, which we call Optimal Scaling with Constraints, suggests a quantitative criterion for locating regions of slow and fast aggregation and helps to derive a family of dimensionless LPMF PBM of reduced complexity. The mathematical analysis of this new family is also provided. When compared with the original LPMF PBM, the resulting models demonstrate several orders of magnitude better computational efficiency.

categories: cond-mat.soft cs.CE cs.NA math.NA physics.chem-ph


title: Non-perturbative Studies of Non-conformal Field Theories

abstract: Many of the exciting features of the Standard Model of the elementary particles are inherently non-perturbative. A theoretical understanding of many physics aspects beyond the Standard Model of elementary particles also requires a non-perturbative framework. One such framework involves discretizing quantum field theories on a spacetime lattice. We can use this lattice regularization method to study supersymmetric versions of physics beyond the Standard Model. In this thesis, we discuss the spacetime lattice setup, and with the examples of different models, we will see the numerical capability of this tool in exploring field theory regimes that are not accessible through perturbation theory. We use an efficient version of the Monte Carlo algorithm to update the field configurations in the path integral and eventually reach the equilibrium configurations. A version of the gauge/gravity conjecture connects weakly coupled gravitational theories to strongly coupled field theories. We will mainly focus on the non-conformal analogs of the conjecture in lower dimensions. This thesis mainly discusses the numerical simulation results of two lower-dimensional models. One is the bosonic version of the BMN matrix quantum mechanics and the other is a two-dimensional Yang-Mills theory containing four supersymmetries. Our numerical results suggest that the phase diagram of bosonic BMN model smoothly interpolates between the bosonic BFSS and the gauged Gaussian model, with first-order deconfinement phase transition at all couplings. Our simulation results for two-dimensional Yang-Mills theory that contains four supersymmetries show that this model admits a deconfinement phase transition in the limit of a large number of colors. We also show that the nature of the transition looks similar to its maximally supersymmetric cousin in the weak coupling regime.


title: Isochrone fitting of Galactic globular clusters -- V. NGC6397 and NGC6809 (M55)

abstract: We fit various colour-magnitude diagrams (CMDs) of the Galactic globular clusters NGC\,6397 and NGC\,6809 (M55) by isochrones from the Dartmouth Stellar Evolution Database (DSED) and Bag of Stellar Tracks and Isochrones (BaSTI) for $\alpha$-enhanced [$\alpha$/Fe]$=+0.4$. For the CMDs, we use data sets from {\it HST}, {\it Gaia}, VISTA, and other sources utilizing 32 and 23 photometric filters for NGC\,6397 and NGC\,6809, respectively, from the ultraviolet to mid-infrared. We obtain the following characteristics for NGC\,6397 and NGC\,6809, respectively: metallicities [Fe/H]$=-1.84\pm0.02\pm0.1$ and $-1.78\pm0.02\pm0.1$ (statistic and systematic uncertainties); distances $2.45\pm0.02\pm0.06$ and $5.24\pm0.02\pm0.18$ kpc; ages $12.9\pm0.1\pm0.8$ and $13.0\pm0.1\pm0.8$ Gyr; reddenings $E(B-V)=0.178\pm0.006\pm0.01$ and $0.118\pm0.004\pm0.01$ mag; extinctions $A_\mathrm{V}=0.59\pm0.01\pm0.02$ and $0.37\pm0.01\pm0.04$ mag; extinction-to-reddening ratio $R_\mathrm{V}=3.32^{+0.32}_{-0.28}$ and $3.16^{+0.66}_{-0.56}$. Our estimates agree with most estimates from the literature. BaSTI gives systematically higher [Fe/H] and lower reddenings than DSED. Despite nearly the same metallicity, age, and helium enrichment, these clusters show a considerable horizontal branch (HB) morphology difference, which must therefore be described by another parameter. This parameter must predominantly explain why the least massive HB stars (0.58-0.63 solar masses) are only found within NGC 6809. Probably they have been lost by the core-collapse cluster NGC\,6397 during its dynamical evolution and mass segregation. In contrast, NGC\,6809 has a very low central concentration and, hence, did not undergo this process.


title: Flexible infinite-width graph convolutional networks and the importance of representation learning

abstract: A common theoretical approach to understanding neural networks is to take an infinite-width limit, at which point the outputs become Gaussian process (GP) distributed. This is known as a neural network Gaussian process (NNGP). However, the NNGP kernel is fixed, and tunable only through a small number of hyperparameters, eliminating any possibility of representation learning. This contrasts with finite-width NNs, which are often believed to perform well precisely because they are able to learn representations. Thus in simplifying NNs to make them theoretically tractable, NNGPs may eliminate precisely what makes them work well (representation learning). This motivated us to understand whether representation learning is necessary in a range of graph classification tasks. We develop a precise tool for this task, the graph convolutional deep kernel machine. This is very similar to an NNGP, in that it is an infinite width limit and uses kernels, but comes with a `knob' to control the amount of representation learning. We found that representation learning is necessary (in the sense that it gives dramatic performance improvements) in graph classification tasks and heterophilous node classification tasks, but not in homophilous node classification tasks.


title: Counting surfaces on Calabi-Yau 4-folds II: $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence

abstract: This is the second part in a series of papers on counting surfaces on Calabi-Yau 4-folds. In this paper, we introduce $K$-theoretic $\mathrm{DT}, \mathrm{PT}_0, \mathrm{PT}_1$ invariants and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ correspondence. For certain tautological insertions, we derive Lefschetz principles in both the compact and toric case allowing reductions to 3-dimensional $\mathrm{DT}, \mathrm{PT}$ invariants. We also develop a topological vertex and conjecture a $\mathrm{DT}$-$\mathrm{PT}_0$ vertex correspondence. These methods enable us to verify our conjectures in several examples.


title: Adjoints and Canonical Forms of Tree Amplituhedra

abstract: We consider semi-algebraic subsets of the Grassmannian of lines in three-space called tree amplituhedra. These arise in the study of scattering amplitudes from particle physics. Our main result states that tree amplituhedra in ${\rm Gr}(2,4)$ are positive geometries. The numerator of their canonical form plays the role of the adjoint in Wachspress geometry, and is uniquely determined by explicit interpolation conditions.


title: Collider sensitivity to SMEFT heavy-quark operators at one-loop in top-quark processes

abstract: We study the effects of four-heavy-quark operators in the production of top quarks in the framework of the Standard Model Effective Field Theory (SMEFT) at the LHC. In particular, we compute for the first time the total contribution of the four-top-quark operator which enters only at the one-loop level in the top-quark pair production process. Analytical results at one-loop are presented for the gluon- and quark-initiated sub-processes, which allowed a first complete validation of the SMEFT@NLO in Madgraph5_aMC@NLO. The 95% CL bounds on four-heavy-quark operators from the available top-quark pair and four-top-quark production data are provided, which are complementary to other bounds found in the literature. We focus on the comparison of the sensitivities of the top-quark pair and the four-top-quark production processes, where in the latter case the four-top-quark operator contributes at tree-level. We conclude that the sensitivities of the two processes to four-heavy-quark operators are comparable. The projected sensitivities of both processes at HL-LHC are also presented.


title: Introspective Planning: Aligning Robots' Uncertainty with Inherent Task Ambiguity

abstract: Large language models (LLMs) exhibit advanced reasoning skills, enabling robots to comprehend natural language instructions and strategically plan high-level actions through proper grounding. However, LLM hallucination may result in robots confidently executing plans that are misaligned with user goals or, in extreme cases, unsafe. Additionally, inherent ambiguity in natural language instructions can induce task uncertainty, particularly in situations where multiple valid options exist. To address this issue, LLMs must identify such uncertainty and proactively seek clarification. This paper explores the concept of introspective planning as a systematic method for guiding LLMs in forming uncertainty--aware plans for robotic task execution without the need for fine-tuning. We investigate uncertainty quantification in task-level robot planning and demonstrate that introspection significantly improves both success rates and safety compared to state-of-the-art LLM-based planning approaches. Furthermore, we assess the effectiveness of introspective planning in conjunction with conformal prediction, revealing that this combination yields tighter confidence bounds, thereby maintaining statistical success guarantees with fewer superfluous user clarification queries. Code is available at https://github.com/kevinliang888/IntroPlan.


title: Refining Myocardial Infarction Detection: A Novel Multi-Modal Composite Kernel Strategy in One-Class Classification

abstract: Early detection of myocardial infarction (MI), a critical condition arising from coronary artery disease (CAD), is vital to prevent further myocardial damage. This study introduces a novel method for early MI detection using a one-class classification (OCC) algorithm in echocardiography. Our study overcomes the challenge of limited echocardiography data availability by adopting a novel approach based on Multi-modal Subspace Support Vector Data Description. The proposed technique involves a specialized MI detection framework employing multi-view echocardiography incorporating a composite kernel in the non-linear projection trick, fusing Gaussian and Laplacian sigmoid functions. Additionally, we enhance the update strategy of the projection matrices by adapting maximization for both or one of the modalities in the optimization process. Our method boosts MI detection capability by efficiently transforming features extracted from echocardiography data into an optimized lower-dimensional subspace. The OCC model trained specifically on target class instances from the comprehensive HMC-QU dataset that includes multiple echocardiography views indicates a marked improvement in MI detection accuracy. Our findings reveal that our proposed multi-view approach achieves a geometric mean of 71.24%, signifying a substantial advancement in echocardiography-based MI diagnosis and offering more precise and efficient diagnostic tools.


title: Transferring facade labels between point clouds with semantic octrees while considering change detection

abstract: Point clouds and high-resolution 3D data have become increasingly important in various fields, including surveying, construction, and virtual reality. However, simply having this data is not enough; to extract useful information, semantic labeling is crucial. In this context, we propose a method to transfer annotations from a labeled to an unlabeled point cloud using an octree structure. The structure also analyses changes between the point clouds. Our experiments confirm that our method effectively transfers annotations while addressing changes. The primary contribution of this project is the development of the method for automatic label transfer between two different point clouds that represent the same real-world object. The proposed method can be of great importance for data-driven deep learning algorithms as it can also allow circumventing stochastic transfer learning by deterministic label transfer between datasets depicting the same objects.


title: Generative Adversarial Bayesian Optimization for Surrogate Objectives

abstract: Offline model-based policy optimization seeks to optimize a learned surrogate objective function without querying the true oracle objective during optimization. However, inaccurate surrogate model predictions are frequently encountered along the optimization trajectory. To address this limitation, we propose generative adversarial Bayesian optimization (GABO) using adaptive source critic regularization, a task-agnostic framework for Bayesian optimization that employs a Lipschitz-bounded source critic model to constrain the optimization trajectory to regions where the surrogate function is reliable. We show that under certain assumptions for the continuous input space prior, our algorithm dynamically adjusts the strength of the source critic regularization. GABO outperforms existing baselines on a number of different offline optimization tasks across a variety of scientific domains. Our code is available at https://github.com/michael-s-yao/gabo


title: 2PM waveform from loop corrected soft theorems

abstract: We introduce a classical version of the loop corrected soft graviton theorem and we use it to compute the universal part of the one-loop (2PM) waveform up to sub-subleading order in the energy $\omega$ of the emitted graviton for spinless black-hole scattering. In particular, we compute the action of the soft operators on the classically resummed four-point amplitude, that can be written in terms of the exponential of the eikonal phase (and is therefore non-perturbative in the Newton's constant $G_N$) and then we perform the usual PM expansion in powers of $G_N$ . We find perfect agreement with the existing 2PM literature at the orders $\omega^{-1}$, $\log\omega$ and $\omega\log^2\omega$, which are universal. Furthermore, we use this method to compute the universal part of the $\omega\log\omega$ contribution to the 2PM waveform. Even if in the present analysis we limit ourselves to compute the soft 2PM waveform, our general formulae can be used to extract all universal PM orders of the terms connected with the infrared divergences, once the impulse at the corresponding precision is known. Our approach, based on the resummed eikonal amplitude, gives a unified picture of the various computations of the classical soft graviton behaviour that are present in the literature since the seminal paper by Weinberg in 1965.


title: Control of autoresonant plasma beat-wave wakefield excitation

abstract: Autoresonant phase-locking of the plasma wakefield to the beat frequency of two driving lasers offers advantages over conventional wakefield acceleration methods, since it requires less demanding laser parameters and is robust to variations in the target plasma density. Here, we investigate the kinetic and nonlinear processes that come into play during autoresonant plasma beat-wave acceleration of electrons, their impact on the field amplitude of the accelerating structure, and on acceleration efficiency. Particle-in-Cell simulations show that the process depends on the plasma density in a non-trivial way but can be reliably modeled under specific conditions. Beside recovering previous fluid results in the deeply underdense plasma limit, we demonstrate that robust field excitation can be achieved within a fully kinetic self-consistent modeling. By adjusting the laser properties, we can amplify the electric field to the desired level, up to wave-breaking, and efficiently accelerate particles; we provide suggestions for optimized laser and plasma parameters. This versatile and efficient acceleration scheme, producing electrons from tens to hundreds of MeV energies, holds promise for a wide range of applications in research industry and medicine.


title: Bandit Convex Optimisation

abstract: Bandit convex optimisation is a fundamental framework for studying zeroth-order convex optimisation. These notes cover the many tools used for this problem, including cutting plane methods, interior point methods, continuous exponential weights, gradient descent and online Newton step. The nuances between the many assumptions and setups are explained. Although there is not much truly new here, some existing tools are applied in novel ways to obtain new algorithms. A few bounds are improved in minor ways.


title: Relative frequencies of constrained events in stochastic processes: An analytical approach

abstract: The stochastic simulation algorithm (SSA) and the corresponding Monte Carlo (MC) method are among the most common approaches for studying stochastic processes. They rely on knowledge of interevent probability density functions (PDFs) and on information about dependencies between all possible events. Analytical representations of a PDF are difficult to specify in advance, in many real life applications. Knowing the shapes of PDFs, and using experimental data, different optimization schemes can be applied in order to evaluate probability density functions and, therefore, the properties of the studied system. Such methods, however, are computationally demanding, and often not feasible. We show that, in the case where experimentally accessed properties are directly related to the frequencies of events involved, it may be possible to replace the heavy Monte Carlo core of optimization schemes with an analytical solution. Such a replacement not only provides a more accurate estimation of the properties of the process, but also reduces the simulation time by a factor of order of the sample size (at least $\approx 10^4$). The proposed analytical approach is valid for any choice of PDF. The accuracy, computational efficiency, and advantages of the method over MC procedures are demonstrated in the exactly solvable case and in the evaluation of branching fractions in controlled radical polymerization (CRP) of acrylic monomers. This polymerization can be modeled by a constrained stochastic process. Constrained systems are quite common, and this makes the method useful for various applications.

categories: stat.CO cond-mat.mtrl-sci cond-mat.soft cs.CE physics.chem-ph


title: Feature Density Estimation for Out-of-Distribution Detection via Normalizing Flows

abstract: Out-of-distribution (OOD) detection is a critical task for safe deployment of learning systems in the open world setting. In this work, we investigate the use of feature density estimation via normalizing flows for OOD detection and present a fully unsupervised approach which requires no exposure to OOD data, avoiding researcher bias in OOD sample selection. This is a post-hoc method which can be applied to any pretrained model, and involves training a lightweight auxiliary normalizing flow model to perform the out-of-distribution detection via density thresholding. Experiments on OOD detection in image classification show strong results for far-OOD data detection with only a single epoch of flow training, including 98.2% AUROC for ImageNet-1k vs. Textures, which exceeds the state of the art by 7.8%. We additionally explore the connection between the feature space distribution of the pretrained model and the performance of our method. Finally, we provide insights into training pitfalls that have plagued normalizing flows for use in OOD detection.


title: An Exercise in Tournament Design: When Some Matches Must Be Scheduled

abstract: Single-elimination (SE) tournaments are a popular format used in competitive environments and decision making. Algorithms for SE tournament manipulation have been an active topic of research in recent years. In this paper, we initiate the algorithmic study of a novel variant of SE tournament manipulation that aims to model the fact that certain matchups are highly desired in a sporting context, incentivizing an organizer to manipulate the bracket to make such matchups take place. We obtain both hardness and tractability results. We show that while the problem of computing a bracket enforcing a given set of matches in an SE tournament is NP-hard, there are natural restrictions that lead to polynomial-time solvability. In particular, we show polynomial-time solvability if there is a linear ordering on the ability of players with only a constant number of exceptions where a player with lower ability beats a player with higher ability.


title: Hybridnet for depth estimation and semantic segmentation

abstract: Semantic segmentation and depth estimation are two important tasks in the area of image processing. Traditionally, these two tasks are addressed in an independent manner. However, for those applications where geometric and semantic information is required, such as robotics or autonomous navigation,depth or semantic segmentation alone are not sufficient. In this paper, depth estimation and semantic segmentation are addressed together from a single input image through a hybrid convolutional network. Different from the state of the art methods where features are extracted by a sole feature extraction network for both tasks, the proposed HybridNet improves the features extraction by separating the relevant features for one task from those which are relevant for both. Experimental results demonstrate that HybridNet results are comparable with the state of the art methods, as well as the single task methods that HybridNet is based on.


title: Polarization of circumstellar debris disk light echoes

abstract: Light echoes of debris disks around active stars can reveal disk structure and composition even when disks are not spatially resolved. Unfortunately, distinguishing reflected light from quiescent starlight and unexpected post-peak flare structure is challenging, especially for edge-on geometries where the time delay between observed flare photons and light scattered from the near side of the disk is short. Here, we take advantage of the fact that scattered light from a dusty disk is polarized, depending on the location of the scattering site and the orientation of the disk relative to a distant observer. Filtering reflected light into its polarized components allows echoes to stand out in predictable ways. We test this idea with a simple model for a disk around an active M dwarf. Our results demonstrate that the use of polarimetric data of flaring stars can significantly enhance echo signals relative to starlight and yield more robust and accurate fits to disk parameters compared to analyses based on the total intensity alone.


title: Charge Collective Modes in Correlated Electron Systems: Plasmons Beyond the Random Phase Approximation

abstract: Elucidating the impact of strong electronic interactions on the collective excitations of metallic systems has been of longstanding interest, mainly due to the inadequacy of the random phase approximation (RPA) in the strongly correlated regime. Here, we adopt our newly developed radial Kotliar and Ruckenstein slave boson representation to analyze the charge excitation spectrum of a Hubbard model, extended with long range interactions. Working on the face centered cubic lattice, at half filling, and in different coupling regimes ranging from uncorrelated to the metal-to-insulator transition, we compare our results to conventional RPA as a benchmark. We focus on the influence of the local and long range couplings on the particle-hole excitation continuum and the plasmon and upper Hubbard band collective modes. Beyond the weak coupling regime, we find numerous quantitative and even qualitative discrepancies between our method and standard RPA. Our work thus deepens our understanding of charge collective modes in correlated systems, and lays the foundations for future studies of realistic materials.


title: Improving forecasts of precipitation extremes over Northern and Central Italy using machine learning

abstract: The accurate prediction of intense precipitation events is one of the main objectives of operational weather services. This task is even more relevant nowadays, with the rapid progression of global warming which intensifies these events. Numerical weather prediction models have improved continuously over time, providing uncertainty estimation with dynamical ensembles. However, direct precipitation forecasting is still challenging. Greater availability of machine learning tools paves the way to a hybrid forecasting approach, with the optimal combination of physical models, event statistics, and user-oriented post-processing. Here we describe a specific chain, based on a random forest pipeline, specialised in recognizing favourable synoptic conditions leading to precipitation extremes and subsequently classifying extremes into predefined types. The application focuses on Northern and Central Italy, taken as a testbed region, but is seamlessly extensible to other regions and timescales. The system is called MaLCoX (Machine Learning model predicting Conditions for eXtreme precipitation) and is running daily at the Italian regional weather service of ARPAE Emilia-Romagna. MalCoX has been trained with the ARCIS gridded high-resolution precipitation dataset as the target truth, using the last 20 years of the ECMWF re-forecast dataset as input predictors. We show that, with a long enough training period, the optimal blend of larger-scale information with direct model output improves the probabilistic forecast accuracy of extremes in the medium range. In addition, with specific methods, we provide a useful diagnostic to convey to forecasters the underlying physical storyline which makes a meteorological event extreme.


title: Supernova dust destruction in the magnetized turbulent ISM

abstract: Dust in the interstellar medium (ISM) is critical to the absorption and intensity of emission profiles used widely in astronomical observations, and necessary for star and planet formation. Supernovae (SNe) both produce and destroy ISM dust. In particular the destruction rate is difficult to assess. Theory and prior simulations of dust processing by SNe in a uniform ISM predict quite high rates of dust destruction, potentially higher than the supernova dust production rate in some cases. Here we show simulations of supernova-induced dust processing with realistic ISM dynamics including magnetic field effects and demonstrate how ISM inhomogeneity and magnetic fields inhibit dust destruction. Compared to the non-magnetic homogeneous case, the dust mass destroyed within 1 Myr per SNe is reduced by more than a factor of two, which can have a great impact on the ISM dust budget.