title: Direction-dependent effects on global 21-cm detection

abstract: Cosmic dawn represents critical juncture in cosmic history when the first population of stars emerged. The astrophysical processes that govern this transformation need to be better understood. The detection of redshifted 21-cm radiation emitted from neutral hydrogen during this era offers a direct window into the thermal and ionization state of the universe. This emission manifests as differential brightness between spin temperature and the cosmic microwave background (CMB). SARAS experiment aims to detect the sky-averaged signal in the frequency range 40-200 MHz. SARAS's unique design and operation strategy to float the antenna over a water body minimizes spectral features that may arise due to stratified ground beneath the antenna. However, the antenna environment can be prone to configuration changes due to variations in critical design parameters such as conductivity and antenna tilts. In this paper, we connect the variations in antenna properties to signal detection prospects. By using realistic simulations of a direction and frequency-dependent radiation pattern of the SARAS antenna and its transfer function, we establish critical parameters and estimate bias in the detectability of different models of the global 21-cm signal. We find a correlation between the nature of chromaticity in antenna properties and the bias in the recovered spectral profiles of 21-cm signals. We also find stringent requirements for transfer function corrections, which can otherwise make detection prospects prohibitive. We finally explore a range of critical parameters that allow robust signal detection.


title: Estimating Computational Noise on Parametric Curves

abstract: We consider ECNoise, a practical tool for estimating the magnitude of noise in evaluations of a black-box function. Recent developments in numerical optimization algorithms have seen increased usage of ECNoise as a subroutine to provide a solver with noise level estimates, so that the solver might somehow proportionally adjust for noise. Particularly motivated by problems in computationally expensive derivative-free optimization, we question a fundamental assumption made in the original development of ECNoise, particularly the assumption that the set of points provided to ECNoise must satisfy fairly restrictive geometric conditions (in particular, that the points be collinear and equally spaced). Driven by prior practical experience, we show that in many situations, noise estimates obtained from providing an arbitrary (that is, not collinear) geometry of points as input to ECNoise are often indistinguishable from noise estimates obtained from using the standard (collinear and equally spaced) geometry. We analyze this via parametric curves that interpolate the arbitrary input points. The analysis provides insight into the circumstances in which one can expect arbitrary point selection to cause significant degradation of ECNoise. Moreover, the analysis suggests a practical means (the solution of a small mixed integer linear program) by which one can gradually adjust an initial arbitrary point selection to yield better noise estimates with higher probability.


title: Almost real closed fields with real analytic structure

abstract: Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of research by investigating ordered fields with real analytic structure that are not necessarily real closed. When considered in a language with a symbol for a convex valuation ring, these structures turn out to be tame as valued fields: we prove that they are $\omega$-h-minimal. Additionally, our approach gives a precise description of the induced structure on the residue field and the value group, and naturally leads to an Ax--Kochen--Ersov-theorem for fields with real analytic structure.


title: Interactions with Prompt Problems: A New Way to Teach Programming with Large Language Models

abstract: Large Language Models (LLMs) have upended decades of pedagogy in computing education. Students previously learned to code through \textit{writing} many small problems with less emphasis on code reading and comprehension. Recent research has shown that free code generation tools powered by LLMs can solve introductory programming problems presented in natural language with ease. In this paper, we propose a new way to teach programming with Prompt Problems. Students receive a problem visually, indicating how input should be transformed to output, and must translate that to a prompt for an LLM to decipher. The problem is considered correct when the code that is generated by the student prompt can pass all test cases. In this paper we present the design of this tool, discuss student interactions with it as they learn, and provide insights into this new class of programming problems as well as the design tools that integrate LLMs.


title: Diffraction and elastic scattering at the LHC

abstract: Several LHC experiments exploit the high acceptance in the forward region. Most of them use the possibility of measuring the intact proton in an elastic event. This approach can enhance the purity of selecting jet-gap-jet events, leading to refined limits on photon-induced processes or to a better study of pion pair production. Diffraction and elastic scattering plays also the main role when measuring the rho-parameter or the nuclear slope in total cross-section measurements. In this talk a summary of the latest results on this topic from the ATLAS, CMS and LHCb experiments has been presented.


title: NN-VVC: Versatile Video Coding boosted by self-supervisedly learned image coding for machines

abstract: The recent progress in artificial intelligence has led to an ever-increasing usage of images and videos by machine analysis algorithms, mainly neural networks. Nonetheless, compression, storage and transmission of media have traditionally been designed considering human beings as the viewers of the content. Recent research on image and video coding for machine analysis has progressed mainly in two almost orthogonal directions. The first is represented by end-to-end (E2E) learned codecs which, while offering high performance on image coding, are not yet on par with state-of-the-art conventional video codecs and lack interoperability. The second direction considers using the Versatile Video Coding (VVC) standard or any other conventional video codec (CVC) together with pre- and post-processing operations targeting machine analysis. While the CVC-based methods benefit from interoperability and broad hardware and software support, the machine task performance is often lower than the desired level, particularly in low bitrates. This paper proposes a hybrid codec for machines called NN-VVC, which combines the advantages of an E2E-learned image codec and a CVC to achieve high performance in both image and video coding for machines. Our experiments show that the proposed system achieved up to -43.20% and -26.8% Bj{\o}ntegaard Delta rate reduction over VVC for image and video data, respectively, when evaluated on multiple different datasets and machine vision tasks. To the best of our knowledge, this is the first research paper showing a hybrid video codec that outperforms VVC on multiple datasets and multiple machine vision tasks.


title: Aberration compensation for the anamorphic triplet

abstract: Compensation of the generalized spherical aberrations is discussed for the plane-symmetric and anamorphic optical systems. The compensation rules are derived for an economical three-component double-plane symmetric system containing two cylindrical mirrors and one toroidal lens. Anamorphic systems, which provide large magnifications in the two orthogonal directions, are presented.


title: Luminosity Calibration at the CMS Experiment

abstract: Precision luminosity measurements are essential to determine the fundamental properties of the physics processes at the LHC. The estimation of the integrated luminosity at the CMS experiment requires absolute scale calibration of the luminometers, which is derived under special LHC machine setup. Series of beam separation (van der Meer) scans are performed during these special runs. The transverse profile of the overlap between the proton beams are estimated by the continuous monitoring of the interaction rates together with the beam properties. The dominant sources of systematic calibration uncertainty are related to the precise estimation of the beam separation and the non-factorizability of the proton density distributions in the transverse direction. The correction factors and their uncertainties are extracted for each effect and propagated to determine the final absolute scale and the corresponding uncertainty. The obtained van der Meer scan calibration is applied to the full physics data-taking period in order to estimate the integrated luminosity. The latest results of the luminosity calibration studies are reported from the CMS experiment.


title: Shadowing, Hyers--Ulam stability and hyperbolicity for nonautonomous linear delay differential equations

abstract: It is known that hyperbolic non\-autonomous linear delay differential equations in a finite dimensional space are Hyers--Ulam stable and hence shadowable. The converse result is available only in the special case of autonomous and periodic linear delay differential equations with a simple spectrum. In this paper, we prove the converse and hence the equivalence of all three notions in the title for a general class of nonautonomous linear delay differential equations with uniformly bounded coefficients. The importance of the boundedness assumption is shown by an example.


title: Starlit: Privacy-Preserving Federated Learning to Enhance Financial Fraud Detection

abstract: Federated Learning (FL) is a data-minimization approach enabling collaborative model training across diverse clients with local data, avoiding direct data exchange. However, state-of-the-art FL solutions to identify fraudulent financial transactions exhibit a subset of the following limitations. They (1) lack a formal security definition and proof, (2) assume prior freezing of suspicious customers' accounts by financial institutions (limiting the solutions' adoption), (3) scale poorly, involving either $O(n^2)$ computationally expensive modular exponentiation (where $n$ is the total number of financial institutions) or highly inefficient fully homomorphic encryption, (4) assume the parties have already completed the identity alignment phase, hence excluding it from the implementation, performance evaluation, and security analysis, and (5) struggle to resist clients' dropouts. This work introduces Starlit, a novel scalable privacy-preserving FL mechanism that overcomes these limitations. It has various applications, such as enhancing financial fraud detection, mitigating terrorism, and enhancing digital health. We implemented Starlit and conducted a thorough performance analysis using synthetic data from a key player in global financial transactions. The evaluation indicates Starlit's scalability, efficiency, and accuracy.


title: Semantic-Aware Resource Allocation in Constrained Networks with Limited User Participation

abstract: Semantic communication has gained attention as a key enabler for intelligent and context-aware communication. However, one of the key challenges of semantic communications is the need to tailor the resource allocation to meet the specific requirements of semantic transmission. In this paper, we focus on networks with limited resources where devices are constrained to transmit with limited bandwidth and power over large distance. Specifically, we devise an efficient strategy to select the most pertinent semantic features and participating users, taking into account the channel quality, the transmission time, and the recovery accuracy. To this end, we formulate an optimization problem with the goal of selecting the most relevant and accurate semantic features over devices while satisfying constraints on transmission time and quality of the channel. This involves optimizing communication resources, identifying participating users, and choosing specific semantic information for transmission. The underlying problem is inherently complex due to its non-convex nature and combinatorial constraints. To overcome this challenge, we efficiently approximate the optimal solution by solving a series of integer linear programming problems. Our numerical findings illustrate the effectiveness and efficiency of our approach in managing semantic communications in networks with limited resources.


title: Shadowing and hyperbolicity for linear delay difference equations

abstract: It is known that hyperbolic linear delay difference equations are shadowable on the half-line. In this paper, we prove the converse and hence the equivalence between hyperbolicity and the positive shadowing property for the following two classes of linear delay difference equations: (a)~for nonautonomous equations with finite delays and uniformly bounded compact coefficient operators in (possibly infinite-dimensional) Banach spaces, (b)~for Volterra difference equations with infinite delay in finite dimensional spaces.


title: Knowledge Verification to Nip Hallucination in the Bud

abstract: While large language models (LLMs) have demonstrated exceptional performance across various tasks following human alignment, they may still generate responses that sound plausible but contradict factual knowledge, a phenomenon known as \emph{hallucination}. In this paper, we demonstrate the feasibility of mitigating hallucinations by verifying and minimizing the inconsistency between external knowledge present in the alignment data and the intrinsic knowledge embedded within foundation LLMs. Specifically, we propose a novel approach called Knowledge Consistent Alignment (KCA), which employs a well-aligned LLM to automatically formulate assessments based on external knowledge to evaluate the knowledge boundaries of foundation LLMs. To address knowledge inconsistencies in the alignment data, KCA implements several specific strategies to deal with these data instances. We demonstrate the superior efficacy of KCA in reducing hallucinations across six benchmarks, utilizing foundation LLMs of varying backbones and scales. This confirms the effectiveness of mitigating hallucinations by reducing knowledge inconsistency. Our code, model weights, and data are openly accessible at \url{https://github.com/fanqiwan/KCA}.


title: Resurgence of superconductivity and the role of $d_{xy}$ hole band in FeSe$_{1-x}$Te$_x$

abstract: Iron-chalcogenide superconductors display rich phenomena caused by orbital-dependent band shifts and electronic correlations. Additionally, they are potential candidates for topological superconductivity due to the band inversion between the Fe $d$ bands and the chalcogen $p_z$ band. Here we present a detailed study of the electronic structure of the nematic superconductors FeSe$_{1-x}$Te$_x$ ($0<x<0.4$) using angle-resolved photoemission spectroscopy to understand the role of orbital-dependent band shifts, electronic correlations and the chalcogen band. We assess the changes in the effective masses using a three-band low energy model, and the band renormalization via comparison with DFT band structure calculations. The effective masses decrease for all three-hole bands inside the nematic phase followed by a strong increase for the band with $d_{xy}$ orbital character. Interestingly, this nearly-flat $d_{xy}$ band becomes more correlated as it shifts towards the Fermi level with increasing Te concentrations and as the second superconducting dome emerges. Our findings suggests that the $d_{xy}$ hole band, which is very sensitive to the chalcogen height, could be involved in promoting an additional pairing channel and increasing the density of states to stabilize the second superconducting dome in FeSe$_{1-x}$Te$_x$. This simultaneous shift of the $d_{xy}$ hole band and enhanced superconductivity is in contrast with FeSe$_{1-x}$S$_x$.


title: Thresholds for the distributed surface code in the presence of memory decoherence

abstract: In the search for scalable, fault-tolerant quantum computing, distributed quantum computers are promising candidates. These systems can be realized in large-scale quantum networks or condensed onto a single chip with closely situated nodes. We present a framework for numerical simulations of a memory channel using the distributed toric surface code, where each data qubit of the code is part of a separate node, and the error-detection performance depends on the quality of four-qubit Greenberger-Horne-Zeilinger (GHZ) states generated between the nodes. We quantitatively investigate the effect of memory decoherence and evaluate the advantage of GHZ creation protocols tailored to the level of decoherence. We do this by applying our framework for the particular case of color centers in diamond, employing models developed from experimental characterization of nitrogen-vacancy centers. For diamond color centers, coherence times during entanglement generation are orders of magnitude lower than coherence times of idling qubits. These coherence times represent a limiting factor for applications, but previous surface code simulations did not treat them as such. Introducing limiting coherence times as a prominent noise factor makes it imperative to integrate realistic operation times into simulations and incorporate strategies for operation scheduling. Our model predicts error probability thresholds for gate and measurement reduced by at least a factor of three compared to prior work with more idealized noise models. We also find a threshold of $4\cdot10^2$ in the ratio between the entanglement generation and the decoherence rates, setting a benchmark for experimental progress.


title: Study of Orbital Dynamics in Singular and Regular Naked Singularity Space-times

abstract: The universe is filled with various compact objects and the most attractive of them are the black holes and singularity. But it is also known that at the singularity density becomes so infinitely high that the present physics knowledge breaks down. Thus, the singularity remains a flaw of the present theories. Several methods have been exercised to resolve the singularity. One such mathematical method is through conformal transformations. This paper deals with regularizing a naked singularity space-time using conformal transformations, further studying and comparing its time-like orbits with that of the naked singularity space-time.


title: Nonreciprocal Pancharatnam-Berry Metasurface for Unidirectional Wavefront Manipulation

abstract: Optical metasurfaces have been widely used for manipulating electromagnetic waves due to their low intrinsic loss and easy fabrication. The metasurfaces employing the Pancharatnam-Berry (PB) geometric phase, called PB metasurfaces, have been extensively applied to realize spin-dependent functionalities, such as beam steering, focusing, holography, etc. The demand for PB metasurfaces in complex environments has brought about one challenging problem, i.e., the interference of multiple wave channels that limits the performance of PB metasurfaces. A promising solution is developing nonreciprocal PB metasurfaces that can isolate undesired wave channels and exhibit unidirectional functionalities. Here, we propose a mechanism to realize nonreciprocal PB metasurfaces of subwavelength thickness by using the magneto-optical effect of YIG material in synergy with the PB geometric phase of spatially rotating meta-atoms. Using full-wave numerical simulations, we show that the metasurface composed of dielectric cylinders and a thin YIG layer can achieve nearly 92% and 81% isolation of circularly polarized lights at 5.5 GHz and 6.5 GHz, respectively, attributed to the enhancement of the magneto-optical effect by the resonant Mie modes and Fabry-P\'erot cavity mode. In addition, the metasurface can enable efficient unidirectional wavefront manipulations of circularly polarized lights, including nonreciprocal beam steering and nonreciprocal beam focusing. The proposed metasurface can find highly useful applications in optical communications, optical sensing, and quantum information processing.


title: Multilevel lattice codes from Hurwitz quaternion integers

abstract: This work presents an extension of the Construction $\pi_A$ lattices proposed in \cite{huang2017construction}, to Hurwitz quaternion integers. This construction is provided by using an isomorphism from a version of the Chinese remainder theorem applied to maximal orders in contrast to natural orders in prior works. Exploiting this map, we analyze the performance of the resulting multilevel lattice codes, highlight via computer simulations their notably reduced computational complexity provided by the multistage decoding. Moreover it is shown that this construction effectively attain the Poltyrev-limit.


title: Medusa: Simple LLM Inference Acceleration Framework with Multiple Decoding Heads

abstract: Large Language Models (LLMs) employ auto-regressive decoding that requires sequential computation, with each step reliant on the previous one's output. This creates a bottleneck as each step necessitates moving the full model parameters from High-Bandwidth Memory (HBM) to the accelerator's cache. While methods such as speculative decoding have been suggested to address this issue, their implementation is impeded by the challenges associated with acquiring and maintaining a separate draft model. In this paper, we present Medusa, an efficient method that augments LLM inference by adding extra decoding heads to predict multiple subsequent tokens in parallel. Using a tree-based attention mechanism, Medusa constructs multiple candidate continuations and verifies them simultaneously in each decoding step. By leveraging parallel processing, Medusa substantially reduces the number of decoding steps required. We present two levels of fine-tuning procedures for Medusa to meet the needs of different use cases: Medusa-1: Medusa is directly fine-tuned on top of a frozen backbone LLM, enabling lossless inference acceleration. Medusa-2: Medusa is fine-tuned together with the backbone LLM, enabling better prediction accuracy of Medusa heads and higher speedup but needing a special training recipe that preserves the backbone model's capabilities. Moreover, we propose several extensions that improve or expand the utility of Medusa, including a self-distillation to handle situations where no training data is available and a typical acceptance scheme to boost the acceptance rate while maintaining generation quality. We evaluate Medusa on models of various sizes and training procedures. Our experiments demonstrate that Medusa-1 can achieve over 2.2x speedup without compromising generation quality, while Medusa-2 further improves the speedup to 2.3-3.6x.


title: Hodge loci associated with linear subspaces intersecting in codimension one

abstract: Let $X\subset \mathbb{P}^{2k+1}$ be a smooth hypersurface containing two k-dimensional linear spaces $\Pi_1,\Pi_2$ intersecting in codimension one. In this paper we study the question whether the Hodge loci $NL([\Pi_1]+\lambda[\Pi_2])$ and $NL([\Pi_1],[\Pi_2])$ coincide. This turns out to be the case in a neighborhood of $X$ if $X$ is very general on $NL([\Pi_1],[\Pi_2])$, $k>1$ and $\lambda\neq 0,1$. However, there exists a hypersurface $X$ for which $NL([\Pi_1],[\Pi_2])$ is smooth at $X$, but $NL([\Pi_1]+\lambda [\Pi_2])$ is singular for all $\lambda\neq0,1$. We expect that this is due to an embedded component of $NL([\Pi_1]+\lambda[\Pi_2])$. The case $k=1$ was treated before by Dan, in that case $NL([\Pi_1]+\lambda [\Pi_2])$ is nonreduced.


title: Quantitative infinite mixing for non-compact skew products

abstract: We consider skew products over subshifts of finite type in which the fibers are copies of the real line, and we study their mixing properties with respect to any infinite invariant measure given by the product of a Gibbs measure on the base and Lebesgue measure on the fibers. Assuming that the system is accessible, we prove a quantitative version of Krickeberg mixing for a class of observables which is dense in the space of continuous functions vanishing at infinity.


title: Determination of efficiency indicators of the stand for intelligent control of manual operations in industrial production

abstract: Systems of intelligent control of manual operations in industrial production are being implemented in many industries nowadays. Such systems use high-resolution cameras and computer vision algorithms to automatically track the operator's manipulations and prevent technological errors in the assembly process. At the same time compliance with safety regulations in the workspace is monitored. As a result, the defect rate of manufactured products and the number of accidents during the manual assembly of any device are decreased. Before implementing an intelligent control system into a real production it is necessary to calculate its efficiency. In order to do it experiments on the stand for manual operations control systems were carried out. This paper proposes the methodology for calculating the efficiency indicators. This mathematical approach is based on the IoU calculation of real- and predicted-time intervals between assembly stages. The results show high precision in tracking the validity of manual assembly and do not depend on the duration of the assembly process.


title: HaliVer: Deductive Verification and Scheduling Languages Join Forces

abstract: The HaliVer tool integrates deductive verification into the popular scheduling language Halide, used for image processing pipelines and array computations. HaliVer uses Vercors, a separation logic-based verifier, to verify the correctness of (1) the Halide algorithms and (2) the optimised parallel code produced by \halide when an optimisation schedule is applied to the algorithm. This allows proving complex, optimised code correct while reducing the effort to provide the required verification annotations. For both approaches, the same specification is used. We evaluated the tool on several optimised programs generated from characteristic Halide algorithms, using all but one of the essential scheduling directives available in Halide. Without annotation effort, Haliver proves memory safety in almost all programs. With annotations Haliver, additionally, proves functional correctness properties. We show that the approach is viable and reduces the manual annotation effort by an order of magnitude.


title: Development of a platform for experimental and computational studies of magnetic and radiative effects on astrophysically-relevant jets at OMEGA

abstract: Accurate modeling of astrophysical jets is critical for understanding accretion systems and their impact on the interstellar medium. While astronomical observations can validate models, they have limitations. Controlled laboratory experiments offer a complementary approach for qualitative and quantitative demonstration. Laser experiments offer a complementary approach. This article introduces a new platform on the OMEGA laser facility for high-velocity (1500 km/s), high-aspect-ratio ($\sim$36) jet creation with strong cylindrical symmetry. This platform s capabilities bridge observational gaps, enabling controlled initial conditions and direct measurements


title: Bidisperse micro fluidized beds: Effect of bed inclination on mixing

abstract: Micro fluidized beds are basically suspensions of solid particles by an ascending fluid in a mm-scale tube, with applications in chemical and pharmaceutical processes involving powders. Although in many applications beds are polydisperse, previous works considered only monodisperse beds aligned in the vertical direction. However, introducing an inclination with respect to gravity leads to different bed patterns and mixing levels, which can be beneficial for some applications. In this paper, we investigate experimentally the behavior of micro gas-solid beds consisting of bidisperse mixtures under different inclinations. In our experiments, mono and bidisperse beds are filmed with a high-speed camera and the images are processed for obtaining measurements at both the bed and grain scales. We show that the degree of segregation is larger for vertical beds, but mixing varies non-monotonically with inclination, with an optimal angle of 30$^{\circ}$--50$^{\circ}$ with respect to gravity. By computing the mean and fluctuation velocities of grains, we reveal that the mixing layer results from the competition between segregation by kinetic sieving and circulation promoted by the fluid flow. We also observe worse fluidization as the angle relative to gravity increases, accounting then for the non-monotonic behavior. Our results bring new insights into mixing and segregation in polydisperse beds, which can be explored for processing powders in industry.


title: Metric Dynamic Equilibrium Logic

abstract: In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. In many applications, however, timing constraints are important like, for instance, when planning and scheduling go hand in hand. We address this by developing a metric extension of linear-time Dynamic Equilibrium Logic, in which dynamic operators are constrained by intervals over integers. The resulting Metric Dynamic Equilibrium Logic provides the foundation of an ASP-based approach for specifying qualitative and quantitative dynamic constraints. As such, it constitutes the most general among a whole spectrum of temporal extensions of Equilibrium Logic. In detail, we show that it encompasses Temporal, Dynamic, Metric, and regular Equilibrium Logic, as well as its classic counterparts once the law of the excluded middle is added.


title: A HITRAN-formatted UV line list of S$_2$ containing transitions involving $X\,^{3}\Sigma^{-}_{g}$, $B\,^{3}\Sigma^{-}_{u}$, and $B''\,^{3}\Pi_{u}$ electronic states

abstract: The sulfur dimer (S$_2$) is an important molecular constituent in cometary atmospheres and volcanic plumes on Jupiter's moon Io. It is also expected to play an important role in the photochemistry of exoplanets. The UV spectrum of S$_2$ contains transitions between vibronic levels above and below the dissociation limit, giving rise to a distinctive spectral signature. By using spectroscopic information from the literature, and the spectral simulation program PGOPHER, a UV line list of S$_2$ is provided. This line list includes the primary $B\,^{3}\Sigma^{-}_{u}-X\,^{3}\Sigma^{-}_{g}$ ($v'$=0-27, $v''$=0-10) electronic transition, where vibrational bands with $v'$$\geq$10 are predissociated. Intensities have been calculated from existing experimental and theoretical oscillator strengths, and semi-empirical strengths for the predissociated bands of S$_2$ have been derived from comparisons with experimental cross-sections. The S$_2$ line list also includes the $B''\,^{3}\Pi_{u}-X\,^{3}\Sigma^{-}_{g}$ ($v'$=0-19, $v''$=0-10) vibronic bands due to the strong interaction with the $B$ state. In summary, we present the new HITRAN-formatted S$_2$ line list and its validation against existing laboratory spectra. The extensive line list covers the spectral range 21700$-$41300~cm$^{-1}$ ($\sim$242$-$461~nm) and can be used for modeling both absorption and emission.


title: On the spectrum of a stable rank 2 vector bundle on $\mathbb{P}^3$

abstract: The spectrum of a stable rank 2 vector bundle $E$ with $c_1 = 0$ on the projective 3-space is a finite sequence of positive integers $s(0)$, ..., $s(m)$ characterizing the Hilbert function of the graded $H^1$-module of $E$ in negative degrees. Hartshorne [Invent. Math. 66 (1982), 165-190] showed that if $s(i) = 1$ for some $i > 0$ then $s(i+1) = 1$, ..., $s(m) = 1$. We show that if $s(0) = 1$ then $E(1)$ has a global section whose zero scheme is a double structure on a space curve. We deduce, then, the existence of sequences satisfying Hartshorne's condition that cannot be the spectrum of any stable 2-bundle. This provides a negative answer to a question of Hartshorne and Rao [J. Math. Kyoto Univ. 31 (1991), 789-806].


title: Influence of particle size polydispersity on dynamical heterogeneities in dense particle packings

abstract: The dynamics of dense particle packings near the jamming transition is characterized by correlated particle motion. The growth of dynamical heterogeneities, or strong spatial variations in the motion of the particles constituting the system, is a hallmark feature of slow glassy dynamics. We report here a systematic confocal microscopy study that characterizes the cooperative dynamics of fluorescently-labelled colloidal particles in dense aqueous suspensions. We demonstrate that jammed particulate suspensions can be fluidized by increasing the width of the particle size distribution. Our molecular dynamics simulations, performed to numerically investigate the effects of continuous-size polydispersity on dense particle packing dynamics, show an excellent match with our experimental results. Besides shedding light on the fundamental aspects of particle-scale dynamics at the jamming-unjamming transition, our findings are significant in the processing of commonly-encountered dense suspensions such as paints, cosmetics, and food.


title: Composite learning backstepping control with guaranteed exponential stability and robustness

abstract: Adaptive backstepping control provides a feasible solution to achieve asymptotic tracking for mismatched uncertain nonlinear systems. However, input-to-state stability depends on high-gain feedback generated by nonlinear damping terms, and closed-loop exponential stability with parameter convergence involves a stringent condition named persistent excitation (PE). This paper proposes a composite learning backstepping control (CLBC) strategy based on modular backstepping and high-order tuners to compensate for the transient process of parameter estimation and achieve closed-loop exponential stability without the nonlinear damping terms and the PE condition. A novel composite learning mechanism that maximizes the staged exciting strength is designed for parameter estimation, such that parameter convergence can be achieved under a condition of interval excitation (IE) or even partial IE that is strictly weaker than PE. An extra prediction error is employed in the adaptive law to ensure the transient performance without nonlinear damping terms. The exponential stability of the closed-loop system is proved rigorously under the partial IE or IE condition. Simulations have demonstrated the effectiveness and superiority of the proposed method in both parameter estimation and control compared to state-of-the-art methods.


title: Sat2Scene: 3D Urban Scene Generation from Satellite Images with Diffusion

abstract: Directly generating scenes from satellite imagery offers exciting possibilities for integration into applications like games and map services. However, challenges arise from significant view changes and scene scale. Previous efforts mainly focused on image or video generation, lacking exploration into the adaptability of scene generation for arbitrary views. Existing 3D generation works either operate at the object level or are difficult to utilize the geometry obtained from satellite imagery. To overcome these limitations, we propose a novel architecture for direct 3D scene generation by introducing diffusion models into 3D sparse representations and combining them with neural rendering techniques. Specifically, our approach generates texture colors at the point level for a given geometry using a 3D diffusion model first, which is then transformed into a scene representation in a feed-forward manner. The representation can be utilized to render arbitrary views which would excel in both single-frame quality and inter-frame consistency. Experiments in two city-scale datasets show that our model demonstrates proficiency in generating photo-realistic street-view image sequences and cross-view urban scenes from satellite imagery.


title: Hybrid Online Certificate Status Protocol with Certificate Revocation List for Smart Grid Public Key Infrastructure

abstract: Hsu et al. (2022) proposed a cryptographic scheme within the public key infrastructure to bolster the security of smart grid meters. Their proposal involved developing the Certificate Management over CMS mechanism to establish Simple Certificate Enrollment Protocol and Enrollment over Secure Transport protocol. Additionally, they implemented Online Certificate Status Protocol (OCSP) services to independently query the status of certificates. However, their implementation featured a single OCSP server handling all query requests. Considering the typical scenario in smart grid PKI environments with over tens of thousands of end-meters, we introduced a Hybrid Online Certificate Status Protocol mechanism. This approach decreases demand of query resources from the client to OCSP servers collaborating with Certificate Revocation Lists. Our simulations, mimicking meter behavior, demonstrated increased efficiency, creating a more robust architecture tailored to the smart grid meter landscape.


title: Non-linear-enabled localization in driven-dissipative photonic lattices

abstract: Recent experimental work has demonstrated the ability to achieve reconfigurable photon localization in lossy photonic lattices by continuously driving them with lasers strategically positioned at specific locations. This localization results from the perfect, destructive interference of light emitted from different positions and, because of that, occurs only at very specific frequencies. Here, we examine this localization regime in the presence of standard optical Kerr non-linearities, such as those found in polaritonic lattices, and show that they stabilize driven-dissipative localization across frequency ranges significantly broader than those observed in the linear regime. Moreover, we demonstrate that, contrary to intuition, in most siutations this driven-dissipative localization does not enhance non-linear effects like optical bistabilities, due to a concurrent reduction in overall intensities. Nevertheless, we are able to identify certain parameter regions where non-linear enhancement is achieved, corresponding to situations where emission from different spots constructively interferes.


title: Probing polarization response of monolayer cell cultures with photon entanglement

abstract: This study addresses the critical need for high signal-to-noise ratio in optical detection methods for biological sample discrimination under low-photon-flux conditions to ensure accuracy without compromising sample integrity. We explore polarization-based probing, which often excels over intensity modulation when assessing a specimen's morphology. Leveraging non-classical light sources, our approach capitalizes on sub-Poissonian photon statistics and quantum correlation-based measurements. We present a novel, highly sensitive method for probing single-layer cell cultures using entangled photon pairs. Our approach demonstrates capability in monolayer cell analysis, distinguishing between two types of monolayer cells and their host medium. The experimental results highlight our method's sensitivity, showcasing its potential for biological sample detection using quantum techniques, and paving the way for advanced diagnostic methodologies.


title: Measuring the Impact of Scene Level Objects on Object Detection: Towards Quantitative Explanations of Detection Decisions

abstract: Although accuracy and other common metrics can provide a useful window into the performance of an object detection model, they lack a deeper view of the model's decision process. Regardless of the quality of the training data and process, the features that an object detection model learns cannot be guaranteed. A model may learn a relationship between certain background context, i.e., scene level objects, and the presence of the labeled classes. Furthermore, standard performance verification and metrics would not identify this phenomenon. This paper presents a new black box explainability method for additional verification of object detection models by finding the impact of scene level objects on the identification of the objects within the image. By comparing the accuracies of a model on test data with and without certain scene level objects, the contributions of these objects to the model's performance becomes clearer. The experiment presented here will assess the impact of buildings and people in image context on the detection of emergency road vehicles by a fine-tuned YOLOv8 model. A large increase in accuracy in the presence of a scene level object will indicate the model's reliance on that object to make its detections. The results of this research lead to providing a quantitative explanation of the object detection model's decision process, enabling a deeper understanding of the model's performance.


title: Early alignment in two-layer networks training is a two-edged sword

abstract: Training neural networks with first order optimisation methods is at the core of the empirical success of deep learning. The scale of initialisation is a crucial factor, as small initialisations are generally associated to a feature learning regime, for which gradient descent is implicitly biased towards simple solutions. This work provides a general and quantitative description of the early alignment phase, originally introduced by Maennel et al. (2018) . For small initialisation and one hidden ReLU layer networks, the early stage of the training dynamics leads to an alignment of the neurons towards key directions. This alignment induces a sparse representation of the network, which is directly related to the implicit bias of gradient flow at convergence. This sparsity inducing alignment however comes at the expense of difficulties in minimising the training objective: we also provide a simple data example for which overparameterised networks fail to converge towards global minima and only converge to a spurious stationary point instead.


title: Implications of the Weak Gravity Conjecture on Charge, Kinetic Mixing, the Photon Mass, and More

abstract: We investigate several phenomenological implications of the Weak Gravity Conjecture (WGC). We find that the WGC implies that the SM neutrinos must be electrically neutral, that the electric charge in the SM must be quantized, and that the photon must be massless. In addition, we use the WGC to set lower bounds on the electric charge of milli-charged particles (mCP), the gauge coupling of several $U(1)$ extensions of the SM, their kinetic mixing parameter with the SM $U(1)_{\text{EM}}$, and the axion couplings to photons and fermions. We also set an upper bound on the lifetime of the proton.


title: TDC-less Direct Time-of-Flight Imaging Using Spiking Neural Networks

abstract: 3D depth sensors using single-photon avalanche diodes (SPADs) are becoming increasingly common in applications such as autonomous navigation and object detection. Recent designs implement on-chip histogramming time-to-digital converters (TDCs) to compress the photon timestamps and reduce the bottleneck in the read-out and processing of large volumes of photon data. However, the use of full histogramming with large SPAD arrays poses significant challenges due to the associated demands in silicon area and power consumption. We propose a TDC-less dToF sensor which uses Spiking Neural Networks (SNN) to process the SPAD events directly. The proposed SNN is trained and tested on synthetic SPAD events, and while it offers five times lower precision in depth prediction than a classic centre-of-mass (CoM) algorithm (applied to histograms of the events), it achieves similar Mean Absolute Error (MAE) with faster processing speeds and significantly lower power consumption is anticipated.


title: Deep Reinforcement Learning Empowered Activity-Aware Dynamic Health Monitoring Systems

abstract: In smart healthcare, health monitoring utilizes diverse tools and technologies to analyze patients' real-time biosignal data, enabling immediate actions and interventions. Existing monitoring approaches were designed on the premise that medical devices track several health metrics concurrently, tailored to their designated functional scope. This means that they report all relevant health values within that scope, which can result in excess resource use and the gathering of extraneous data due to monitoring irrelevant health metrics. In this context, we propose Dynamic Activity-Aware Health Monitoring strategy (DActAHM) for striking a balance between optimal monitoring performance and cost efficiency, a novel framework based on Deep Reinforcement Learning (DRL) and SlowFast Model to ensure precise monitoring based on users' activities. Specifically, with the SlowFast Model, DActAHM efficiently identifies individual activities and captures these results for enhanced processing. Subsequently, DActAHM refines health metric monitoring in response to the identified activity by incorporating a DRL framework. Extensive experiments comparing DActAHM against three state-of-the-art approaches demonstrate it achieves 27.3% higher gain than the best-performing baseline that fixes monitoring actions over timeline.


title: The Chow-Lam Form

abstract: The classical Chow form encodes any projective variety by one equation. We here introduce the Chow-Lam form for subvarieties of a Grassmannian. By evaluating the Chow-Lam form at twistor coordinates, we obtain universal projection formulas. These were pioneered by Thomas Lam for positroid varieties in the study of amplituhedra, and we develop his approach further. Universal formulas for branch loci are obtained from Hurwitz-Lam forms. Our focus is on computations and applications in geometry.


title: Reliability analysis for data-driven noisy models using active learning

abstract: Reliability analysis aims at estimating the failure probability of an engineering system. It often requires multiple runs of a limit-state function, which usually relies on computationally intensive simulations. Traditionally, these simulations have been considered deterministic, i.e., running them multiple times for a given set of input parameters always produces the same output. However, this assumption does not always hold, as many studies in the literature report non-deterministic computational simulations (also known as noisy models). In such cases, running the simulations multiple times with the same input will result in different outputs. Similarly, data-driven models that rely on real-world data may also be affected by noise. This characteristic poses a challenge when performing reliability analysis, as many classical methods, such as FORM and SORM, are tailored to deterministic models. To bridge this gap, this paper provides a novel methodology to perform reliability analysis on models contaminated by noise. In such cases, noise introduces latent uncertainty into the reliability estimator, leading to an incorrect estimation of the real underlying reliability index, even when using Monte Carlo simulation. To overcome this challenge, we propose the use of denoising regression-based surrogate models within an active learning reliability analysis framework. Specifically, we combine Gaussian process regression with a noise-aware learning function to efficiently estimate the probability of failure of the underlying noise-free model. We showcase the effectiveness of this methodology on standard benchmark functions and a finite element model of a realistic structural frame.


title: Bendability parameter for twisted ribbons to describe longitudinal wrinkling and delineate the near-threshold regime

abstract: We propose a dimensionless bendability parameter, $\epsilon^{-1} = [\left(h/W\right)^2 T^{-1}]^{-1}$ for wrinkling of thin, twisted ribbons with thickness $h$, width $W$, and tensional strain $T$. Bendability permits efficient collapse of data for wrinkle onset, wavelength, critical stress, and residual stress, demonstrating longitudinal wrinkling's primary dependence on this parameter. This new parameter also allows us to distinguish the highly bendable range ($\epsilon^{-1} > 20$) from moderately bendable samples ($\epsilon^{-1} \in (0,20]$). We identify scaling relations to describe longitudinal wrinkles that are valid across our entire set of simulated ribbons. When restricted to the highly bendable regime, simulations confirm theoretical near-threshold (NT) predictions for wrinkle onset and wavelength.


title: Drawing a parallel between the trend of confirmed COVID-19 deaths in the winters of 2022/2023 and 2023/2024 in Italy, with a prediction

abstract: We studied the weekly number and the growth decline rates of COVID-19 deaths of the period from October 31, 2022 to February 9, 2023, in Italy, finding that that COVID 19 winter wave reached its peak during the three holiday weeks from December 16, 2002 to January 5, 2023, and it was definitely trending downward, returning to the same number of deaths of the end of October 2022, in the first week February 2023. During this period of 15 weeks, that wave caused a number of deaths as large as 8,526. Its percentage average growth rate was +7.89 deaths per week (10 weeks), while the percentage average weekly decline rate was -12.32 (5 weeks). At the time of writing of this paper, Italy was experiencing a new COVID 19 wave, with the latest 7 weekly bulletins available at that date (from October 26, 2023 to December 14, 2023) showing that the deaths had climbed from 148 to 322. The percentage weekly growth rate had risen by +14.08 deaths, on average. In the hypothesis that this 2023-2024 wave will have a total duration similar to that of 2022 2023, with a comparable extension of both the growing period and of the decline period and similar growth decline rates, a prediction can be cast regarding the number of COVID 19 deaths of the period from the end of October 2023 to the beginning of February 2024. They should be in the neighbourhood of 4100,4200. A preliminary assessment of this forecast, based on 11 of the 15 weeks of the period, has confirmed the accuracy of the approach.


title: Novel Representation Learning Technique using Graphs for Performance Analytics

abstract: The performance analytics domain in High Performance Computing (HPC) uses tabular data to solve regression problems, such as predicting the execution time. Existing Machine Learning (ML) techniques leverage the correlations among features given tabular datasets, not leveraging the relationships between samples directly. Moreover, since high-quality embeddings from raw features improve the fidelity of the downstream predictive models, existing methods rely on extensive feature engineering and pre-processing steps, costing time and manual effort. To fill these two gaps, we propose a novel idea of transforming tabular performance data into graphs to leverage the advancement of Graph Neural Network-based (GNN) techniques in capturing complex relationships between features and samples. In contrast to other ML application domains, such as social networks, the graph is not given; instead, we need to build it. To address this gap, we propose graph-building methods where nodes represent samples, and the edges are automatically inferred iteratively based on the similarity between the features in the samples. We evaluate the effectiveness of the generated embeddings from GNNs based on how well they make even a simple feed-forward neural network perform for regression tasks compared to other state-of-the-art representation learning techniques. Our evaluation demonstrates that even with up to 25% random missing values for each dataset, our method outperforms commonly used graph and Deep Neural Network (DNN)-based approaches and achieves up to 61.67% & 78.56% improvement in MSE loss over the DNN baseline respectively for HPC dataset and Machine Learning Datasets.


title: Estimation of AMOC transition probabilities using a machine learning based rare-event algorithm

abstract: The Atlantic Meridional Overturning Circulation (AMOC) is an important component of the global climate, known to be a tipping element, as it could collapse under global warming. The main objective of this study is to compute the probability that the AMOC collapses within a specified time window, using a rare-event algorithm called Trajectory-Adaptive Multilevel Splitting (TAMS). However, the efficiency and accuracy of TAMS depend on the choice of the score function. Although the definition of the optimal score function, called ``committor function" is known, it is impossible in general to compute it a priori. Here, we combine TAMS with a Next-Generation Reservoir Computing technique that estimates the committor function from the data generated by the rare-event algorithm. We test this technique in a stochastic box model of the AMOC for which two types of transition exist, the so-called F(ast)-transitions and S(low)-transitions. Results for the F-transtions compare favorably with those in the literature where a physically-informed score function was used. We show that coupling a rare-event algorithm with machine learning allows for a correct estimation of transition probabilities, transition times, and even transition paths for a wide range of model parameters. We then extend these results to the more difficult problem of S-transitions in the same model. In both cases of F- and S-transitions, we also show how the Next-Generation Reservoir Computing technique can be interpreted to retrieve an analytical estimate of the committor function.


title: Crossing the transcendental divide: from Schottky groups to algebraic curves

abstract: Though the uniformization theorem guarantees an equivalence of Riemann surfaces and smooth algebraic curves, moving between analytic and algebraic representations is inherently transcendental. Our analytic curves identify pairs of circles in the complex plane via free groups of M\"obius transformations called Schottky groups. We construct a family of non-hyperelliptic surfaces of genus $g\geq 3$ where we know the Riemann surface as well as properties of the canonical embedding, including a nontrivial symmetry group and a real structure with the maximal number of connected components (an $M$-curve). We then numerically approximate the algebraic curve and Riemann matrices underlying our family of Riemann surfaces.


title: Using GMM in Open Cluster Membership: An Insight

abstract: The unprecedented precision of Gaia has led to a paradigm shift in membership determination of open clusters where a variety of machine learning (ML) models can be employed. In this paper, we apply the unsupervised Gaussian Mixture Model (GMM) to a sample of thirteen clusters with varying ages ($log \ t \approx$ 6.38-9.64) and distances (441-5183 pc) from Gaia DR3 data to determine membership. We use ASteca to determine parameters for the clusters from our revised membership data. We define a quantifiable metric Modified Silhouette Score (MSS) to evaluate its performance. We study the dependence of MSS on age, distance, extinction, galactic latitude and longitude, and other parameters to find the particular cases when GMM seems to be more efficient than other methods. We compared GMM for nine clusters with varying ages but we did not find any significant differences between GMM performance for younger and older clusters. But we found a moderate correlation between GMM performance and the cluster distance, where GMM works better for closer clusters. We find that GMM does not work very well for clusters at distances larger than 3~kpc.


title: Global rigidity of random graphs in $\mathbb{R}$

abstract: Consider the Erd\H{o}s-R\'enyi random graph process $\{G_m\}_{m \ge 0}$ in which we start with an empty graph $G_0$ on the vertex set $[n]$, and in each step form $G_i$ from $G_{i-1}$ by adding one new edge chosen uniformly at random. Resolving a conjecture by Benjamini and Tzalik, we give a simple proof that w.h.p. as soon as $G_m$ has minimum degree $2$ it is globally rigid in the following sense: For any function $d \colon E(G_m) \rightarrow \mathbb{R}$, there exists at most one injective function $f \colon [n] \rightarrow \mathbb{R}$ (up to isometry) such that $d(ij) = |f(i) - f(j)|$ for every $ij \in E(G_m)$. We also resolve a related question of Gir\~{a}o, Illingworth, Michel, Powierski, and Scott in the sparse regime for the random graph and give some open problems.


title: Endovascular Detection of Catheter-Thrombus Contact by Vacuum Excitation

abstract: Objective: The objective of this work is to introduce and demonstrate the effectiveness of a novel sensing modality for contact detection between an off-the-shelf aspiration catheter and a thrombus. Methods: A custom robotic actuator with a pressure sensor was used to generate an oscillatory vacuum excitation and sense the pressure inside the extracorporeal portion of the catheter. Vacuum pressure profiles and robotic motion data were used to train a support vector machine (SVM) classification model to detect contact between the aspiration catheter tip and a mock thrombus. Validation consisted of benchtop accuracy verification, as well as user study comparison to the current standard of angiographic presentation. Results: Benchtop accuracy of the sensing modality was shown to be 99.67%. The user study demonstrated statistically significant improvement in identifying catheter-thrombus contact compared to the current standard. The odds ratio of successful detection of clot contact was 2.86 (p=0.03) when using the proposed sensory method compared to without it. Conclusion: The results of this work indicate that the proposed sensing modality can offer intraoperative feedback to interventionalists that can improve their ability to detect contact between the distal tip of a catheter and a thrombus. Significance: By offering a relatively low-cost technology that affords off-the-shelf aspiration catheters as clot-detecting sensors, interventionalists can improve the first-pass effect of the mechanical thrombectomy procedure while reducing procedural times and mental burden.


title: Learning to Visually Connect Actions and their Effects

abstract: In this work, we introduce the novel concept of visually Connecting Actions and Their Effects (CATE) in video understanding. CATE can have applications in areas like task planning and learning from demonstration. We identify and explore two different aspects of the concept of CATE: Action Selection and Effect-Affinity Assessment, where video understanding models connect actions and effects at semantic and fine-grained levels, respectively. We observe that different formulations produce representations capturing intuitive action properties. We also design various baseline models for Action Selection and Effect-Affinity Assessment. Despite the intuitive nature of the task, we observe that models struggle, and humans outperform them by a large margin. The study aims to establish a foundation for future efforts, showcasing the flexibility and versatility of connecting actions and effects in video understanding, with the hope of inspiring advanced formulations and models.


title: DeepRLI: A Multi-objective Framework for Universal Protein--Ligand Interaction Prediction

abstract: Protein (receptor)--ligand interaction prediction is a critical component in computer-aided drug design, significantly influencing molecular docking and virtual screening processes. Despite the development of numerous scoring functions in recent years, particularly those employing machine learning, accurately and efficiently predicting binding affinities for protein--ligand complexes remains a formidable challenge. Most contemporary methods are tailored for specific tasks, such as binding affinity prediction, binding pose prediction, or virtual screening, often failing to encompass all aspects. In this study, we put forward DeepRLI, a novel protein--ligand interaction prediction architecture. It encodes each protein--ligand complex into a fully connected graph, retaining the integrity of the topological and spatial structure, and leverages the improved graph transformer layers with cosine envelope as the central module of the neural network, thus exhibiting superior scoring power. In order to equip the model to generalize to conformations beyond the confines of crystal structures and to adapt to molecular docking and virtual screening tasks, we propose a multi-objective strategy, that is, the model outputs three scores for scoring and ranking, docking, and screening, and the training process optimizes these three objectives simultaneously. For the latter two objectives, we augment the dataset through a docking procedure, incorporate suitable physics-informed blocks and employ an effective contrastive learning approach. Eventually, our model manifests a balanced performance across scoring, ranking, docking, and screening, thereby demonstrating its ability to handle a range of tasks. Overall, this research contributes a multi-objective framework for universal protein--ligand interaction prediction, augmenting the landscape of structure-based drug design.


title: Isometric pairs with compact + normal cross-commutator

abstract: We represent and classify pairs of commuting isometries $(V_1, V_2)$ acting on Hilbert spaces that satisfy the condition \[ [V_1^*, V_2] = \text{compact} + \text{normal}, \] where $[V_1^*, V_2] := V_1^* V_2 - V_2 V_1^*$ is the cross-commutator of $(V_1, V_2)$. The precise description of such pairs also gives a complete and concrete set of unitary invariants. The basic building blocks of representations of such pairs consist of four distinguished pairs of commuting isometries. One of them relies on some peculiar examples of invariant subspaces tracing back to Rudin's intricate constructions of analytic functions on the bidisc. Along the way, we present a rank formula for a general pair of commuting isometries that looks to be the first of its kind.


title: Orbital evolution of close binary systems: comparing viscous and wind-driven circumbinary disc models

abstract: Previous work has shown that interactions between a central binary system and a circumbinary disc (CBD) can lead to the binary orbit either shrinking or expanding, depending on the properties of the disc. In this work, we perform two-dimensional hydrodynamical simulations of CBDs surrounding equal mass binary systems that are on fixed circular orbits, using the Athena++ code in Cartesian coordinates. Previous studies have focused on discs where viscosity drives angular momentum transport. The aim of this work is to examine how the evolution of a binary system changes when angular momentum is extracted from the disc by a magnetised wind. In this proof-of-concept study, we mimic the effects of a magnetic field by applying an external torque that results in a prescribed radial mass flux through the disc. For three different values of the radial mass flux, we compare how the binary system evolves when the disc is either viscous or wind-driven. In all cases considered, our simulations predict that the binary orbit should shrink faster by a factor of a few when surrounded by a wind-driven circumbinary disc compared to a corresponding viscous circumbinary disc. In-spiral timescales of $\sim 10^6$-$10^7$yr are obtained for circular binaries surrounded by CBDs with masses typical of protoplanetary discs, indicating that significant orbital shrinkage can occur through binary-disc interactions during Class I/II pre-main sequence phases.


title: Neglected Hessian component explains mysteries in Sharpness regularization

abstract: Recent work has shown that methods like SAM which either explicitly or implicitly penalize second order information can improve generalization in deep learning. Seemingly similar methods like weight noise and gradient penalties often fail to provide such benefits. We show that these differences can be explained by the structure of the Hessian of the loss. First, we show that a common decomposition of the Hessian can be quantitatively interpreted as separating the feature exploitation from feature exploration. The feature exploration, which can be described by the Nonlinear Modeling Error matrix (NME), is commonly neglected in the literature since it vanishes at interpolation. Our work shows that the NME is in fact important as it can explain why gradient penalties are sensitive to the choice of activation function. Using this insight we design interventions to improve performance. We also provide evidence that challenges the long held equivalence of weight noise and gradient penalties. This equivalence relies on the assumption that the NME can be ignored, which we find does not hold for modern networks since they involve significant feature learning. We find that regularizing feature exploitation but not feature exploration yields performance similar to gradient penalties.


title: Rough neutron fields and nuclear reactor noise

abstract: Nuclear reactor cores achieve sustained fission chain reactions through the so-called 'critical state' -a subtle equilibrium between their material properties and their geometries. Observed at macroscopic scales during operations, the resulting stationary neutron field is tainted by a noise term, that hinders various fluctuations occurring at smaller scales. These fluctuations are either of a stochastic nature (whenever the core is operated at low power) or related to various perturbations and vibrations within the core, even operated in its power regime. For reasons that are only partially understood using linear noise theory, incidental events have been reported, characterized by an increase of the power noise. Such events of power noise growth, sometimes up to seemingly unbounded levels, have already led in the past to volontary scramming of reactors. In this paper, we will extend the findings of \cite{percolation_pre} (where a statistical field theory of critical processes was employed to model stochastic neutron noise) by incorporating the effects of power noise. We will show that the evolution of the neutron field in a reactor is intimately connected to the dynamic of surface growths given by the Kardar-Parisi-Zhang equation. Recent numerical results emerging from renormalization group approaches will be used to calculate a threshold in the amplitude of the reactor noise above which the core could enter a new criticality state, and to estimate the critical exponents characterizing this phase transition to rough neutron fields. The phenomenology of this roughening transition will be correlated and compared to data of misunderstood reactor noise levels and reactor instabilities, and will be shown to provide both qualitative and quantitative insights into this long-standing issue of reactor physics.


title: Simulation Based Bayesian Optimization

abstract: Bayesian Optimization (BO) is a powerful method for optimizing black-box functions by combining prior knowledge with ongoing function evaluations. BO constructs a probabilistic surrogate model of the objective function given the covariates, which is in turn used to inform the selection of future evaluation points through an acquisition function. For smooth continuous search spaces, Gaussian Processes (GPs) are commonly used as the surrogate model as they offer analytical access to posterior predictive distributions, thus facilitating the computation and optimization of acquisition functions. However, in complex scenarios involving optimizations over categorical or mixed covariate spaces, GPs may not be ideal. This paper introduces Simulation Based Bayesian Optimization (SBBO) as a novel approach to optimizing acquisition functions that only requires \emph{sampling-based} access to posterior predictive distributions. SBBO allows the use of surrogate probabilistic models tailored for combinatorial spaces with discrete variables. Any Bayesian model in which posterior inference is carried out through Markov chain Monte Carlo can be selected as the surrogate model in SBBO. In applications involving combinatorial optimization, we demonstrate empirically the effectiveness of SBBO method using various choices of surrogate models.


title: Deep Tissue Sensing of Chiral Molecules using Polarization Enhanced Photoacoustics

abstract: Chiral molecule sensing is currently performed using chromatography, electrophoresis, enzymatic-assays, mass spectrometry, and chiroptical sensing techniques. Currently polarimetry is the only method having in-vivo sensing capabilities, while other techniques analyze chiral molecules in body fluids. Polarimetry demonstrated in-vivo performance upto depths of 1 mm while using UV-Visbile light, beyond which light scattering tends to be dominant. We hypothesize that photoacoustic sensing while operating at the Near-Infrared (NIR)-II window can allow for deep-tissue sensing, due to reduced scattering/autofluorescence effects. Herein, a Photoacoustic based Polarization Enhanced Optical Rotation Sensing (PAPEORS) system was developed for the first time to estimate optical rotation parameter using the recorded PA signals at larger depths. This optical rotation was then used to correlate with the chiral molecular concentration at depths of about 3.5 mm. Experimental evaluations were performed with aqueous glucose solution, naproxen drug, and serum-based glucose samples. PAPEORS has achieved a detection limit of 80 mg/dL using circular incidence polarization with serum-based glucose samples. Further ex-vivo experiments were performed to demonstrate the ability of PAPEORS for deep-tissue sensing, which can be extended for in-vivo chiral molecular sensing. PAPEORS uses single wavelength for sensing chiral biomolecules, hence can be miniaturized, allowing for many point-of-care applications.


title: Inverse Primitive Path Analysis

abstract: The primitive-path analysis (PPA) {[}R. Everaers et al. Science 303, 823, (2004){]} is an algorithm that transforms a model polymer melt into its topologically equivalent mesh by removing excess contour length stored in thermal fluctuations. Here we present an inverse PPA algorithm that gradually reintroduces contour length in a PPA mesh to produce an topologically equilvalent polymer melt. This enables the generation of model polymer materials with well controlled topology. As an illustration, we generate knitted model polymer materials with a 2D cubic lattice of entanglement points using a synthetic PPA mesh as a starting point. We also show how to combine PPA and inverse PPA to accelerate stress relaxation approximately by an order of magnitude in simulation time. This reduces the computational cost of computational studies of structure-property relations for polymer materials.


title: Higgs production at RHIC and the positivity of the gluon helicity distribution

abstract: We show that the negative polarized gluon distribution $\Delta g$ found in a recent global next-to-leading order QCD analysis of the nucleon helicity structure is incompatible with the fundamental requirement that physical cross-sections must not be negative. Specifically, we show that the fact that this polarized gluon strongly violates the positivity condition $|\Delta g|\leq g$ in terms of the unpolarized gluon distribution $g$ leads to negative cross-sections for Higgs boson production at RHIC as a physical process, implying that this negative $\Delta g$ is unphysical.


title: RAD-DINO: Exploring Scalable Medical Image Encoders Beyond Text Supervision

abstract: Language-supervised pre-training has proven to be a valuable method for extracting semantically meaningful features from images, serving as a foundational element in multimodal systems within the computer vision and medical imaging domains. However, resulting features are limited by the information contained within the text. This is particularly problematic in medical imaging, where radiologists' written findings focus on specific observations; a challenge compounded by the scarcity of paired imaging-text data due to concerns over leakage of personal health information. In this work, we fundamentally challenge the prevailing reliance on language supervision for learning general purpose biomedical imaging encoders. We introduce RAD-DINO, a biomedical image encoder pre-trained solely on unimodal biomedical imaging data that obtains similar or greater performance than state-of-the-art biomedical language supervised models on a diverse range of benchmarks. Specifically, the quality of learned representations is evaluated on standard imaging tasks (classification and semantic segmentation), and a vision-language alignment task (text report generation from images). To further demonstrate the drawback of language supervision, we show that features from RAD-DINO correlate with other medical records (e.g., sex or age) better than language-supervised models, which are generally not mentioned in radiology reports. Finally, we conduct a series of ablations determining the factors in RAD-DINO's performance; notably, we observe that RAD-DINO's downstream performance scales well with the quantity and diversity of training data, demonstrating that image-only supervision is a scalable approach for training a foundational biomedical image encoder.


title: Co-Pilot for Health: Personalized Algorithmic AI Nudging to Improve Health Outcomes

abstract: The ability to shape health behaviors of large populations automatically, across wearable types and disease conditions at scale has tremendous potential to improve global health outcomes. We designed and implemented an AI driven platform for digital algorithmic nudging, enabled by a Graph-Neural Network (GNN) based Recommendation System, and granular health behavior data from wearable fitness devices. Here we describe the efficacy results of this platform with its capabilities of personalized and contextual nudging to $n=84,764$ individuals over a 12-week period in Singapore. We statistically validated that participants in the target group who received such AI optimized daily nudges increased daily physical activity like step count by 6.17% ($p = 3.09\times10^{-4}$) and weekly minutes of Moderate to Vigorous Physical Activity (MVPA) by 7.61% ($p = 1.16\times10^{-2}$), compared to matched participants in control group who did not receive any nudges. Further, such nudges were very well received, with a 13.1% of nudges sent being opened (open rate), and 11.7% of the opened nudges rated useful compared to 1.9% rated as not useful thereby demonstrating significant improvement in population level engagement metrics.


title: A Proof of the Pentagon Relation for Skeins

abstract: In \cite{HSZ23}, with Gus Schrader and Eric Zaslow we developed a skein-theoretic version of cluster theory, and made a conjecture on the pentagon relation for the skein dilogarithm. Here we give a topological proof of this conjecture. Combining \cite{MS21} and \cite{BCMN23}, we get a surjection from the skein algebra $\mathrm{Sk}^+(T - D)$ to the positive part of the elliptic Hall algebra $\mathcal{E}_{q, t}^+$. Hence our pentagon relation generalizes the ones in \cite{Z23} and \cite{GM19}.


title: From Market Saturation to Social Reinforcement: Understanding the Impact of Non-Linearity in Information Diffusion Models

abstract: Diffusion of information in networks is at the core of many problems in AI. Common examples include the spread of ideas and rumors as well as marketing campaigns. Typically, information diffuses at a non-linear rate, for example, if markets become saturated or if users of social networks reinforce each other's opinions. Despite these characteristics, this area has seen little research, compared to the vast amount of results for linear models, which exhibit less complex dynamics. Especially, when considering the possibility of re-infection, no fully rigorous guarantees exist so far. We address this shortcoming by studying a very general non-linear diffusion model that captures saturation as well as reinforcement. More precisely, we consider a variant of the SIS model in which vertices get infected at a rate that scales polynomially in the number of their infected neighbors, weighted by an infection coefficient $\lambda$. We give the first fully rigorous results for thresholds of $\lambda$ at which the expected survival time becomes super-polynomial. For cliques we show that when the infection rate scales sub-linearly, the threshold only shifts by a poly-logarithmic factor, compared to the standard SIS model. In contrast, super-linear scaling changes the process considerably and shifts the threshold by a polynomial term. For stars, sub-linear and super-linear scaling behave similar and both shift the threshold by a polynomial factor. Our bounds are almost tight, as they are only apart by at most a poly-logarithmic factor from the lower thresholds, at which the expected survival time is logarithmic.


title: Optimisation in Neurosymbolic Learning Systems

abstract: Neurosymbolic AI aims to integrate deep learning with symbolic AI. This integration has many promises, such as decreasing the amount of data required to train a neural network, improving the explainability and interpretability of answers given by models and verifying the correctness of trained systems. We study neurosymbolic learning, where we have both data and background knowledge expressed using symbolic languages. How do we connect the symbolic and neural components to communicate this knowledge? One option is fuzzy reasoning, which studies degrees of truth. For example, being tall is not a binary concept. Instead, probabilistic reasoning studies the probability that something is true or will happen. Our first research question studies how different forms of fuzzy reasoning combine with learning. We find surprising results like a connection to the Raven paradox stating we confirm "ravens are black" when we observe a green apple. In this study, we did not use the background knowledge when we deployed our models after training. In our second research question, we studied how to use background knowledge in deployed models. We developed a new neural network layer based on fuzzy reasoning. Probabilistic reasoning is a natural fit for neural networks, which we usually train to be probabilistic. However, they are expensive to compute and do not scale well to large tasks. In our third research question, we study how to connect probabilistic reasoning with neural networks by sampling to estimate averages, while in the final research question, we study scaling probabilistic neurosymbolic learning to much larger problems than before. Our insight is to train a neural network with synthetic data to predict the result of probabilistic reasoning.


title: Help Me Reflect: Leveraging Self-Reflection Interface Nudges to Enhance Deliberativeness on Online Deliberation Platforms

abstract: The deliberative potential of online platforms has been widely examined. However, little is known about how various interface-based reflection nudges impact the quality of deliberation. This paper presents two user studies with 12 and 120 participants, respectively, to investigate the impacts of different reflective nudges on the quality of deliberation. In the first study, we examined five distinct reflective nudges: persona, temporal prompts, analogies and metaphors, cultural prompts and storytelling. Persona, temporal prompts, and storytelling emerged as the preferred nudges for implementation on online deliberation platforms. In the second study, we assess the impacts of these preferred reflectors more thoroughly. Results revealed a significant positive impact of these reflectors on deliberative quality. Specifically, persona promotes a deliberative environment for balanced and opinionated viewpoints while temporal prompts promote more individualised viewpoints. Our findings suggest that the choice of reflectors can significantly influence the dynamics and shape the nature of online discussions.


title: On integer distance sets

abstract: We develop a new approach to address some classical questions concerning the size and structure of integer distance sets. Our main result is that any integer distance set in the Euclidean plane has all but a very small number of points lying on a single line or circle. From this, we deduce a near-optimal lower bound on the diameter of any non-collinear integer distance set of size $n$ and a strong upper bound on the size of any integer distance set in $[-N,N]^2$ with no three points on a line and no four points on a circle.


title: ActAnywhere: Subject-Aware Video Background Generation

abstract: Generating video background that tailors to foreground subject motion is an important problem for the movie industry and visual effects community. This task involves synthesizing background that aligns with the motion and appearance of the foreground subject, while also complies with the artist's creative intention. We introduce ActAnywhere, a generative model that automates this process which traditionally requires tedious manual efforts. Our model leverages the power of large-scale video diffusion models, and is specifically tailored for this task. ActAnywhere takes a sequence of foreground subject segmentation as input and an image that describes the desired scene as condition, to produce a coherent video with realistic foreground-background interactions while adhering to the condition frame. We train our model on a large-scale dataset of human-scene interaction videos. Extensive evaluations demonstrate the superior performance of our model, significantly outperforming baselines. Moreover, we show that ActAnywhere generalizes to diverse out-of-distribution samples, including non-human subjects. Please visit our project webpage at https://actanywhere.github.io.


title: Reconfigurable Intelligent Surface (RIS)-Assisted Entanglement Distribution in FSO Quantum Networks

abstract: Quantum networks (QNs) relying on free-space optical (FSO) quantum channels can support quantum applications in environments wherein establishing an optical fiber infrastructure is challenging and costly. However, FSO-based QNs require a clear line-of-sight (LoS) between users, which is challenging due to blockages and natural obstacles. In this paper, a reconfigurable intelligent surface (RIS)-assisted FSO-based QN is proposed as a cost-efficient framework providing a virtual LoS between users for entanglement distribution. A novel modeling of the quantum noise and losses experienced by quantum states over FSO channels defined by atmospheric losses, turbulence, and pointing errors is derived. Then, the joint optimization of entanglement distribution and RIS placement problem is formulated, under heterogeneous entanglement rate and fidelity constraints. This problem is solved using a simulated annealing metaheuristic algorithm. Simulation results show that the proposed framework effectively meets the minimum fidelity requirements of all users' quantum applications. This is in stark contrast to baseline algorithms that lead to a drop of at least 83% in users' end-to-end fidelities. The proposed framework also achieves a 64% enhancement in the fairness level between users compared to baseline rate maximizing frameworks. Finally, the weather conditions, e.g., rain, are observed to have a more significant effect than pointing errors and turbulence.


title: The trivariate wrapped Cauchy copula -- a multi-purpose model for angular data

abstract: In this paper, we will present a new flexible distribution for three-dimensional angular data, or data on the three-dimensional torus. Our trivariate wrapped Cauchy copula has the following benefits: (i) simple form of density, (ii) adjustable degree of dependence between every pair of variables, (iii) interpretable and well-estimable parameters, (iv) well-known conditional distributions, (v) a simple data generating mechanism, (vi) unimodality. Moreover, our construction allows for linear marginals, implying that our copula can also model cylindrical data. Parameter estimation via maximum likelihood is explained, a comparison with the competitors in the existing literature is given, and two real datasets are considered, one concerning protein dihedral angles and another about data obtained by a buoy in the Adriatic Sea.


title: A survey on recent advances in named entity recognition

abstract: Named Entity Recognition seeks to extract substrings within a text that name real-world objects and to determine their type (for example, whether they refer to persons or organizations). In this survey, we first present an overview of recent popular approaches, but we also look at graph- and transformer- based methods including Large Language Models (LLMs) that have not had much coverage in other surveys. Second, we focus on methods designed for datasets with scarce annotations. Third, we evaluate the performance of the main NER implementations on a variety of datasets with differing characteristics (as regards their domain, their size, and their number of classes). We thus provide a deep comparison of algorithms that are never considered together. Our experiments shed some light on how the characteristics of datasets affect the behavior of the methods that we compare.


title: Self-tuning model predictive control for wake flows

abstract: This study presents a noise-robust closed-loop control strategy for wake flows employing model predictive control. The proposed control framework involves the autonomous offline selection of hyperparameters, eliminating the need for user interaction. To this purpose, Bayesian optimization maximizes the control performance, adapting to external disturbances, plant model inaccuracies, and actuation constraints. The noise robustness of the control is achieved through sensor data smoothing based on local polynomial regression. The plant model can be identified through either theoretical formulation or using existing data-driven techniques. In this work, we leverage the latter approach, which requires minimal user intervention. The self-tuned control strategy is applied to the control of the wake of the fluidic pinball, with the plant model based solely on aerodynamic force measurements. The closed-loop actuation results in two distinct control mechanisms: boat tailing for drag reduction and stagnation point control for lift stabilization. The control strategy proves to be highly effective even in realistic noise scenarios, despite relying on a plant model based on a reduced number of sensors.


title: The TES-based Cryogenic AntiCoincidence Detector (CryoAC) of ATHENA X-IFU: a large area silicon microcalorimeter for background particles detection

abstract: We are developing the Cryogenic AntiCoincidence detector (CryoAC) of the ATHENA X-IFU spectrometer. It is a TES-based particle detector aimed to reduce the background of the instrument. Here, we present the result obtained with the last CryoAC single-pixel prototype. It is based on a 1 cm2 silicon absorber sensed by a single 2mm x 1mm Ir/Au TES, featuring an on-chip heater for calibration and diagnostic purposes. We have illuminated the sample with 55Fe (6 keV line) and 241Am (60 keV line) radioactive sources, thus studying the detector response and the heater calibration accuracy at low energy. Furthermore, we have operated the sample in combination with a past-generation CryoAC prototype. Here, by analyzing the coincident detections between the two detectors, we have been able to characterize the background spectrum of the laboratory environment and disentangle the primary (i.e. cosmic muons) and secondaries (mostly secondary photons and electrons) signatures in the spectral shape.


title: Helical Luttinger liquid on a space-time lattice

abstract: The Luttinger model is a paradigm for the breakdown due to interactions of the Fermi liquid description of one-dimensional massless Dirac fermions. Attempts to discretize the model on a one-dimensional lattice have failed to reproduce the established bosonization results, because of the fermion-doubling obstruction: A local and symmetry-preserving discretization of the Hamiltonian introduces a spurious second species of low-energy excitations, while a nonlocal discretization opens a single-particle gap at the Dirac point. Here we show how to work around this obstruction, by discretizing both space and time to obtain a \textit{local} Lagrangian for a helical Luttinger liquid with Hubbard interaction. The approach enables quantum Monte Carlo simulations that preserve the topological protection of an unpaired Dirac cone.


title: Long-Term Monitoring of the Oe Star VES 735: Ope! Not So Quiet After All

abstract: Only 3-4 per cent of galactic O stars are observed to display the emission features representative of the OBe phenomenon, compared to galactic B stars, which display these characteristics in 25-35 per cent of B0 and B1 stars. We present new observations of the high-mass O star, VES 735, which confirms its classification as one of these rare emission-line stars. These are its first recorded observations that display strong spectroscopic variations in nearly 30 years of monitoring, with the H$\alpha$ profile exhibiting a tenfold increase in emission compared to observations taken between 1996 and 2014 and having variations which show episodes of inflowing and outflowing material. These observations, coupled with photometric variations in the visible and infrared, show behavior that is consistent with the mass reservoir effect for viscous decretion discs. We propose that in 2015 VES 735 began an approximately three year event in which mass was being injected into the circumstellar environment followed by re-accretion towards the star. We also find evidence that the re-accretion may have been interrupted with another, smaller, mass-injection event based on observations in 2022 and 2023. Observational cadences ranging from hours to months show no evidence that VES 735 is part of a binary system, making it an ideal candidate for future observations to further investigate the evolution of high-mass stars and the OBe phenomenon as it pertains to their circumstellar environment.


title: $L^2$-Maximal functions on graded Lie groups

abstract: Bourgain in his seminal paper [2] about the analysis of maximal functions associated to convex bodies, has estimated in a sharp way the $L^2$-operator norm of the maximal function associated to a kernel $K\in L^1,$ with differentiable Fourier transform $\widehat{K}.$ We formulate the extension to Bourgain's $L^2$-estimate in the setting of maximal functions on graded Lie groups. Our criterion is formulated in terms of the group Fourier transform of the kernel. We discuss the application of our main result to the $L^p$-boundedness of maximal functions on graded Lie groups.


title: Understanding Video Transformers via Universal Concept Discovery

abstract: This paper studies the problem of concept-based interpretability of transformer representations for videos. Concretely, we seek to explain the decision-making process of video transformers based on high-level, spatiotemporal concepts that are automatically discovered. Prior research on concept-based interpretability has concentrated solely on image-level tasks. Comparatively, video models deal with the added temporal dimension, increasing complexity and posing challenges in identifying dynamic concepts over time. In this work, we systematically address these challenges by introducing the first Video Transformer Concept Discovery (VTCD) algorithm. To this end, we propose an efficient approach for unsupervised identification of units of video transformer representations - concepts, and ranking their importance to the output of a model. The resulting concepts are highly interpretable, revealing spatio-temporal reasoning mechanisms and object-centric representations in unstructured video models. Performing this analysis jointly over a diverse set of supervised and self-supervised representations, we discover that some of these mechanism are universal in video transformers. Finally, we show that VTCD can be used for fine-grained action recognition and video object segmentation.


title: Accuracy of metaGGA functionals in describing transition metal fluorides

abstract: Accurate predictions of material properties within the chemical space of transition metal fluorides (TMFs), using density functional theory (DFT) is important for advancing several technological applications. The state-of-the-art semi-local exchange-correlation functionals within DFT include the strongly constrained and appropriately normed (SCAN) and the restored regularized SCAN (r$^2$SCAN), both of which are meta generalized gradient approximation (metaGGA) functionals. Both SCAN and r$^2$SCAN are susceptible to self-interaction errors (SIEs) while modelling correlated $d$ electrons of transition metals. Hence, in this work, we evaluate the accuracy of both functionals in estimating properties of TMFs, including redox enthalpies, lattice geometries, on-site magnetic moments, and band gaps. We observe both SCAN and r$^2$SCAN to exhibit poor accuracy in estimating fluorination enthalpies among TMFs, attributable to SIEs among the $d$ electrons. Thus, we derive optimal Hubbard $U$ corrections for both functionals based on experimental fluorination enthalpies of binary TMFs. Note that the linear response theory yielded unphysical $U$ values for V, Fe, and Ni fluorides. While adding the optimal $U$ to the metaGGA functionals does not significantly affect the lattice volumes and magnetic moments, it does significantly increase the calculated band gaps. Also, we calculate the average Na intercalation voltage in Mn, Fe, Co, and Ni fluorides as a transferability check of our optimal $U$ values. Overall, we recommend using the Hubbard $U$ correction to improve predictions of redox enthalpies in other TMFs, while for band gap predictions, we suggest using the non-corrected functionals. Finally, our study should advance the accuracy of DFT-based screening studies to unearth novel TMFs, which can be used in various applications, including energy storage, catalysis, and magnetic devices.


title: Quality Requirements for Code: On the Untapped Potential in Maintainability Specifications

abstract: Quality requirements are critical for successful software engineering, with maintainability being a key internal quality. Despite significant attention in software metrics research, maintainability has attracted surprisingly little focus in the Requirements Engineering (RE) community. This position paper proposes a synergistic approach, combining code-oriented research with RE expertise, to create meaningful industrial impact. We introduce six illustrative use cases and propose three future research directions. Preliminary findings indicate that the established QUPER model, designed for setting quality targets, does not adequately address the unique aspects of maintainability.


title: Cppless: Productive and Performant Serverless Programming in C++

abstract: The rise of serverless introduced a new class of scalable, elastic and highly available parallel workers in the cloud. Many systems and applications benefit from offloading computations and parallel tasks to dynamically allocated resources. However, the developers of C++ applications found it difficult to integrate functions due to complex deployment, lack of compatibility between client and cloud environments, and loosely typed input and output data. To enable single-source and efficient serverless acceleration in C++, we introduce Cppless, an end-to-end framework for implementing serverless functions which handles the creation, deployment, and invocation of functions. Cppless is built on top of LLVM and requires only two compiler extensions to automatically extract C++ function objects and deploy them to the cloud. We demonstrate that offloading parallel computations from a C++ application to serverless workers can provide up to 30x speedup, requiring only minor code modifications and costing less than one cent per computation.


title: Post-synthesis tuning of dielectric constant via ferroelectric domain wall engineering

abstract: A promising mechanism for achieving colossal dielectric constants is to use insulating internal barrier layers, which typically form during synthesis and then remain in the material. It has recently been shown that insulating domain walls in ferroelectrics can act as such barriers. One advantage domain walls have, in comparison to stationary interfaces, is that they can be moved, offering the potential of post-synthesis control of the dielectric constant. However, to date, direct imaging of how changes in domain wall pattern cause a change in dielectric constant within a single sample has not been realized. In this work, we demonstrate that changing the domain wall density allows the engineering of the dielectric constant in hexagonal-ErMnO3 single crystals. The changes of the domain wall density are quantified via microscopy techniques, while the dielectric constant is determined via macroscopic dielectric spectroscopy measurements. The observed changes in the dielectric constant are quantitatively consistent with the observed variation in domain wall density, implying that the insulating domain walls behave as 'ideal' capacitors connected in series. Our approach to engineer the domain wall density can be readily extended to other control methods, e.g., electric fields or mechanical stresses, providing a novel degree of flexibility to in-situ tune the dielectric constant.


title: A Santal\'o inequality for the $L^p$-polar body

abstract: In recent work with Berndtsson and Rubinstein, a notion of $L^p$-polarity was introduced, with classical polarity recovered in the limit $p\to\infty$, and $L^1$-polarity closely related to Bergman kernels of tube domains. A Santal\'o inequality for the $L^p$-polar was proved for symmetric convex bodies. The aim of this article is to remove the symmetry assumption. Thus, an $L^p$-Santal\'o inequality holds for any convex body after translation by the $L^p$-Santal\'o point. As a corollary, this yields an optimal upper bound on Bergman kernels of tube domains. The proof is by Steiner symmetrization, but unlike the symmetric case, a careful translation of the body is required before each symmetrization.