title: Service Level Agreements for Communication Networks: A Survey

abstract: Information and Communication Technology (ICT) is being provided to the variety of end-users demands, thereby providing a better and improved management of services is crucial. Therefore, Service Level Agreements (SLAs) are essential and play a key role to manage the provided services among the network entities. This survey identifies the state of the art covering concepts, approaches and open problems of the SLAs establishment, deployment and management. This paper is organised in a way that the reader can access a variety of proposed SLA methods and models addressed and provides an overview of the SLA actors and elements. It also describes SLAs' characteristics and objectives. SLAs' existing methodologies are explained and categorised followed by the Service Quality Categories (SQD) and Quality-Based Service Descriptions (QSD). SLA modelling and architectures are discussed, and open research problems and future research directions are introduced. The establishment of a reliable, safe and QoE-aware computer networking needs a group of services that goes beyond pure networking services. Therefore, within the paper this broader set of services are taken into consideration and for each Service Level Objective (SLO) the related services domains will be indicated. The purpose of this survey is to identify existing research gaps in utilising SLA elements to develop a generic methodology, considering all quality parameters beyond the Quality of Service (QoS) and what must or can be taken into account to define, establish and deploy an SLA. This study is still an active research on how to specify and develop an SLA to achieve the win-win agreements among all actors.


title: Real Effect or Bias? Best Practices for Evaluating the Robustness of Real-World Evidence through Quantitative Sensitivity Analysis for Unmeasured Confounding

abstract: The assumption of no unmeasured confounders is a critical but unverifiable assumption required for causal inference yet quantitative sensitivity analyses to assess robustness of real-world evidence remains underutilized. The lack of use is likely in part due to complexity of implementation and often specific and restrictive data requirements required for application of each method. With the advent of sensitivity analyses methods that are broadly applicable in that they do not require identification of a specific unmeasured confounder, along with publicly available code for implementation, roadblocks toward broader use are decreasing. To spur greater application, here we present a best practice guidance to address the potential for unmeasured confounding at both the design and analysis stages, including a set of framing questions and an analytic toolbox for researchers. The questions at the design stage guide the research through steps evaluating the potential robustness of the design while encouraging gathering of additional data to reduce uncertainty due to potential confounding. At the analysis stage, the questions guide researchers to quantifying the robustness of the observed result and providing researchers with a clearer indication of the robustness of their conclusions. We demonstrate the application of the guidance using simulated data based on a real-world fibromyalgia study, applying multiple methods from our analytic toolbox for illustration purposes.


title: Regularity of Singular Solutions to $p$-Poisson Equations

abstract: This work showcases level set estimates for weak solutions to the $p$-Poisson equation on a bounded domain, which we use to establish Lebesgue space inclusions for weak solutions. In particular we show that if $\Omega\subset\mathbb{R}^n$ is a bounded domain and $u$ is a weak solution to the Dirichlet problem for Poisson's equation \[ -\Delta u=f\textrm{ in }\Omega \] \[ \quad\;\; u=0\textrm{ on }\partial\Omega \] for $f\in L^q(\Omega)$ with $q<\frac{n}{2}$, then $u\in L^r(\Omega)$ for every $r<\frac{qn}{n-2q}$ and indeed $\|u\|_r\leq C\|f\|_q$. This result is shown to be sharp, and similar regularity is established for solutions to the $p$-Poisson equation including in the edge case $q=\frac{n}{p}$.


title: Sum of Squares Decompositions in H\"older Spaces

abstract: We investigate the number of half-regular squares required to decompose a non-negative $C^{k,\alpha}(\mathbb{R}^n)$ function into a sum of squares. Each non-negative $C^{3,1}(\mathbb{R}^n)$ function is known to be a finite SOS in $C^{1,1}(\mathbb{R}^n)$, and similar regularity-preserving SOS decompositions have been studied by various authors. Our work refines existing techniques to unify and build upon several known decomposition results, and moreover we provide upper and lower estimates on the number of squares required for SOS decompositions in $C^{k,\alpha}(\mathbb{R}^n)$.


title: Language-Conditioned Observation Models for Visual Object Search

abstract: Object search is a challenging task because when given complex language descriptions (e.g., "find the white cup on the table"), the robot must move its camera through the environment and recognize the described object. Previous works map language descriptions to a set of fixed object detectors with predetermined noise models, but these approaches are challenging to scale because new detectors need to be made for each object. In this work, we bridge the gap in realistic object search by posing the search problem as a partially observable Markov decision process (POMDP) where the object detector and visual sensor noise in the observation model is determined by a single Deep Neural Network conditioned on complex language descriptions. We incorporate the neural network's outputs into our language-conditioned observation model (LCOM) to represent dynamically changing sensor noise. With an LCOM, any language description of an object can be used to generate an appropriate object detector and noise model, and training an LCOM only requires readily available supervised image-caption datasets. We empirically evaluate our method by comparing against a state-of-the-art object search algorithm in simulation, and demonstrate that planning with our observation model yields a significantly higher average task completion rate (from 0.46 to 0.66) and more efficient and quicker object search than with a fixed-noise model. We demonstrate our method on a Boston Dynamics Spot robot, enabling it to handle complex natural language object descriptions and efficiently find objects in a room-scale environment.


title: Limitations of Face Image Generation

abstract: Text-to-image diffusion models have achieved widespread popularity due to their unprecedented image generation capability. In particular, their ability to synthesize and modify human faces has spurred research into using generated face images in both training data augmentation and model performance assessments. In this paper, we study the efficacy and shortcomings of generative models in the context of face generation. Utilizing a combination of qualitative and quantitative measures, including embedding-based metrics and user studies, we present a framework to audit the characteristics of generated faces conditioned on a set of social attributes. We applied our framework on faces generated through state-of-the-art text-to-image diffusion models. We identify several limitations of face image generation that include faithfulness to the text prompt, demographic disparities, and distributional shifts. Furthermore, we present an analytical model that provides insights into how training data selection contributes to the performance of generative models.


title: Topological protection of Majorana polaritons in a cavity

abstract: Cavity embedding is an emerging paradigm for the control of quantum matter, offering avenues to manipulate electronic states and potentially drive topological phase transitions. In this work, we address the stability of a one-dimensional topological superconducting phase to the vacuum quantum fluctuations brought by a global cavity mode. By employing a quasi-adiabatic analytical approach completed by density matrix renormalization group calculations, we show that the Majorana end modes evolve into composite polaritonic modes while maintaining the topological order intact and robust to disorder. These Majorana polaritons keep their non-abelian exchange properties and protect a twofold exponentially degenerate ground state for an open chain.

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Levi-Equivariant Restriction of Spherical Perverse Sheaves

abstract: We study the equivariant cohomology of spherical perverse sheaves on the affine Grassmannian of a connected reductive group $G$ with support in the affine Grassmannian of any Levi subgroup $L$ of $G$. In doing so, we extend the work of Ginzburg and Riche on the $T$-equivariant cofibers of spherical perverse sheaves. We obtain a description of this cohomology in terms of the Langlands dual group $\check{G}$. More precisely, we identify the cohomology of the regular sheaf on $\mathrm{Gr}_G$ with support along $\mathrm{Gr}_L$ with the algebra of functions on a hyperspherical Hamiltonian $\check{G}$-variety $T^*(\check{G}/(\check{U}, \psi_L))$, where the $\textit{Whittaker datum}$ $\psi_L$ is an additive character (determined by $L$) of the maximal unipotent subgroup $\check{U}$.


title: Rational numbers with odd greedy expansion of fixed length

abstract: Given a positive rational number $n/d$ with $d$ odd, its odd greedy expansion starts with the largest odd denominator unit fraction at most $n/d$, adds the largest odd denominator unit fraction so the sum is at most $n/d$, and continues as long as the sum is less than $n/d$. It is an open question whether this expansion always has finitely many terms. Given a fixed positive integer $n$, we find all reduced fractions with numerator $n$ whose odd greedy expansion has length $2$. Given $m-1$ odd positive integers, we find all rational numbers whose odd greedy expansion has length $m$ and begins with these numbers as denominators. Given $m-2$ compatible odd positive integers, we find an infinite family of rational numbers whose odd greedy expansion has length $m$ and begins with these numbers as denominators.


title: Which part of the Brillouin zone contributes most to the high-harmonic radiation?

abstract: Utilizing realistic simulations of high-harmonic generation (HHG) in several materials, we study how different regions of the Brillouin zone contribute to the nonlinear response. It is often assumed that only the vicinity of the Gamma point is predominantly responsible for the HHG spectrum, but it is shown here that such an approximation is inaccurate in general. While examples can be identified where merely 0.4% of the Brillouin zone produces semi-quantitatively accurate HHG-spectra, in most situations one must include at least thirty to fifty percent of the Brillouin-zone volume to obtain accurate above-the-gap harmonics. For the harmonic peaks below the bandgap energy, the current-density responses from the entire Brillouin zone must always be integrated. We also identify the minimal set of electronic bands necessary for the construction of reduced but still realistic HHG-models. The results should be useful for a number of HHG applications, including all-optical reconstructions of the band-structure and light-matter couplings, or considerations involving semi-classical approaches to solid-state high-harmonic radiation.


title: Centralizer Rigidity near Elements of the Weyl Chamber Flow

abstract: In this paper, we prove centralizer rigidity near an element of the Weyl chamber flow on a semisimple Lie group. We show that a volume preserving perturbation of an element of the Weyl chamber flow on a quotient $G/\Gamma$ of an $\mathbb{R}$-split, simple Lie group $G$ either has centralizer of dimension $0$ or $1$, or is smoothly conjugate to an element of the Weyl chamber flow. We also acquire a general condition for the centralizer of a partially hyperbolic diffeomorphism to be a Lie group.


title: Dimming the Lights: 2D Simulations of Deflagrations of Hybrid C/O/Ne White Dwarfs using FLASH

abstract: The dimmest and most numerous outlier of the Type Ia supernova population, Type Iax events, is increasingly being found in the results of observational campaigns. There is currently no single accepted model to describe these events. This 2D study explores the viability of modeling Type Iax events as a hybrid C/O/Ne white dwarf progenitor undergoing a deflagration using the multi-physics software FLASH. This hybrid was created using the stellar evolution code MESA, and its C-depleted core and mixed structure have demonstrated lower yields than traditional C/O progenitors in previous deflagration-to-detonation studies. To generate a sample, 30 "realizations" of this simulation were performed, the only difference being the shape of the initial matchhead used to start the deflagration. As consistent with earlier work, these realizations produce the familiar hot dense bound remnant surrounded by sparse ejecta. Our results indicate the majority of the star remains unburned (~70%) and bound (>90%). Our realizations produce total ejecta yields on the order of 10$^{-2}$ - 10$^{-1}$ solar masses, ejected $^{56}$Ni yields on the order of 10$^{-4}$ - 10$^{-2}$ solar masses, and ejecta kinetic energies on the order of 10$^{48}$ - 10$^{49}$ ergs. Compared to yields inferred from recent observations of the dimmest Type Iax events - SN 2007qd, SN 2008ha, SN 2010ae, SN 2019gsc, SN 2019muj, SN 2020kyg, and SN 2021fcg - our simulation produces comparable $^{56}$Ni yields, but too-small total yields and kinetic energies. Reignition of the remnant is also seen in some realizations.


title: Toward Lossless Homomorphic Encryption for Scientific Computation

abstract: This paper presents a comprehensive investigation into encrypted computations using the CKKS (Cheon-Kim-Kim-Song) scheme, with a focus on multi-dimensional vector operations and real-world applications. Through two meticulously designed experiments, the study explores the potential of the CKKS scheme in Super Computing and its implications for data privacy and computational efficiency. The first experiment reveals the promising applicability of CKKS to matrix multiplication, indicating marginal differences in Euclidean distance and near-to-zero mean square error across various matrix sizes. The second experiment, applied to a wildfire dataset, illustrates the feasibility of using encrypted machine learning models without significant loss in accuracy. The insights gleaned from the research set a robust foundation for future innovations, including the potential for GPU acceleration in CKKS computations within TenSEAL. Challenges such as noise budget computation, accuracy loss in multiplication, and the distinct characteristics of arithmetic operations in the context of CKKS are also discussed. The paper serves as a vital step towards understanding the complexities and potentials of encrypted computations, with broad implications for secure data processing and privacy preservation in various scientific domains.


title: Spatiotemporal modelling of PM$_{2.5}$ concentrations in Lombardy (Italy) -- A comparative study

abstract: This study presents a comparative analysis of three predictive models with an increasing degree of flexibility: hidden dynamic geostatistical models (HDGM), generalised additive mixed models (GAMM), and the random forest spatiotemporal kriging models (RFSTK). These models are evaluated for their effectiveness in predicting PM$_{2.5}$ concentrations in Lombardy (North Italy) from 2016 to 2020. Despite differing methodologies, all models demonstrate proficient capture of spatiotemporal patterns within air pollution data with similar out-of-sample performance. Furthermore, the study delves into station-specific analyses, revealing variable model performance contingent on localised conditions. Model interpretation, facilitated by parametric coefficient analysis and partial dependence plots, unveils consistent associations between predictor variables and PM$_{2.5}$ concentrations. Despite nuanced variations in modelling spatiotemporal correlations, all models effectively accounted for the underlying dependence. In summary, this study underscores the efficacy of conventional techniques in modelling correlated spatiotemporal data, concurrently highlighting the complementary potential of Machine Learning and classical statistical approaches.


title: Initially Regular Sequences on Cycles and Depth of Unicyclic Graphs

abstract: In this article, we establish initially regular sequences on cycles of the form $C_{3n+2}$ for $n\ge 1$, in the sense of \cite{FHM-ini}. These sequences accurately compute the depth of these cycles, completing the case of finding effective initially regular sequences on cycles. Our approach involves a careful analysis of associated primes of initial ideals of the form $\rm{ini}_>(I,f)$ for arbitrary monomial ideals $I$ and $f$ linear sums. We describe the minimal associated primes of these ideals in terms of the minimal primes of $I$. Moreover, we obtain a description of the embedded associated primes of arbitrary monomial ideals. Finally, we accurately compute the depth of certain types of unicyclic graphs.


title: Enhancing Child Vocalization Classification with Phonetically-Tuned Embeddings for Assisting Autism Diagnosis

abstract: The assessment of children at risk of autism typically involves a clinician observing, taking notes, and rating children's behaviors. A machine learning model that can label adult and child audio may largely save labor in coding children's behaviors, helping clinicians capture critical events and better communicate with parents. In this study, we leverage Wav2Vec 2.0 (W2V2), pre-trained on 4300-hour of home audio of children under 5 years old, to build a unified system for tasks of clinician-child speaker diarization and vocalization classification (VC). To enhance children's VC, we build a W2V2 phoneme recognition system for children under 4 years old, and we incorporate its phonetically-tuned embeddings as auxiliary features or recognize pseudo phonetic transcripts as an auxiliary task. We test our method on two corpora (Rapid-ABC and BabbleCor) and obtain consistent improvements. Additionally, we outperform the state-of-the-art performance on the reproducible subset of BabbleCor. Code available at https://huggingface.co/lijialudew


title: A divergence free $C^0$-RIPG stream function formulation of the incompressible Stokes system with variable viscosity

abstract: Pointwise divergence free velocity field approximations of the Stokes system are gaining popularity due to their necessity in precise modelling of physical flow phenomena. Several methods have been designed to satisfy this requirement; however, these typically come at a greater cost when compared with standard conforming methods, for example, because of the complex implementation and development of specialized finite element bases. Motivated by the desire to mitigate these issues for 2D simulations, we present a $C^0$-interior penalty Galerkin (IPG) discretization of the Stokes system in the stream function formulation. In order to preserve a spatially varying viscosity this approach does not yield the standard and well known biharmonic problem. We further employ the so-called robust interior penalty Galerkin (RIPG) method; stability and convergence analysis of the proposed scheme is undertaken. The former, which involves deriving a bound on the interior penalty parameter is particularly useful to address the $\mathcal{O}(h^{-4})$ growth in the condition number of the discretized operator. Numerical experiments confirming the optimal convergence of the proposed method are undertaken. Comparisons with thermally driven buoyancy mantle convection model benchmarks are presented.


title: User Training with Error Augmentation for Electromyogram-based Gesture Classification

abstract: We designed and tested a system for real-time control of a user interface by extracting surface electromyographic (sEMG) activity from eight electrodes in a wrist-band configuration. sEMG data were streamed into a machine-learning algorithm that classified hand gestures in real-time. After an initial model calibration, participants were presented with one of three types of feedback during a human-learning stage: veridical feedback, in which predicted probabilities from the gesture classification algorithm were displayed without alteration, modified feedback, in which we applied a hidden augmentation of error to these probabilities, and no feedback. User performance was then evaluated in a series of minigames, in which subjects were required to use eight gestures to manipulate their game avatar to complete a task. Experimental results indicated that, relative to baseline, the modified feedback condition led to significantly improved accuracy and improved gesture class separation. These findings suggest that real-time feedback in a gamified user interface with manipulation of feedback may enable intuitive, rapid, and accurate task acquisition for sEMG-based gesture recognition applications.


title: Influence Phase of a dS Observer I : Scalar Exchange

abstract: Inspired by real-time computations in AdS black holes, we propose a method to obtain the influence phase of a cosmological observer by calculating the on-shell action on a doubled spacetime geometry. The influence phase is the effective action for an open system: for a dS static patch observer coupled to a scalar field it incorporates the radiation reaction due to the bulk fields and their dS Hawking radiation. For a general extended source in dS, we describe how to account for finite size effects. In the long-time limit, we get a Markovian open quantum system susceptible to cosmological fluctuations, whereas the short-time limit reproduces the worldline theory of flat-space radiation reaction. We also present a fully covariantised form for the cubic corrections to the radiation reaction in even spacetime dimensions, including Hubble contributions, and find an intriguing recursive structure across dimensions.


title: Reusability Challenges of Scientific Workflows: A Case Study for Galaxy

abstract: Scientific workflow has become essential in software engineering because it provides a structured approach to designing, executing, and analyzing scientific experiments. Software developers and researchers have developed hundreds of scientific workflow management systems so scientists in various domains can benefit from them by automating repetitive tasks, enhancing collaboration, and ensuring the reproducibility of their results. However, even for expert users, workflow creation is a complex task due to the dramatic growth of tools and data heterogeneity. Thus, scientists attempt to reuse existing workflows shared in workflow repositories. Unfortunately, several challenges prevent scientists from reusing those workflows. In this study, we thus first attempted to identify those reusability challenges. We also offered an action list and evidence-based guidelines to promote the reusability of scientific workflows. Our intensive manual investigation examined the reusability of existing workflows and exposed several challenges. The challenges preventing reusability include tool upgrading, tool support unavailability, design flaws, incomplete workflows, failure to load a workflow, etc. Such challenges and our action list offered guidelines to future workflow composers to create better workflows with enhanced reusability. In the future, we plan to develop a recommender system using reusable workflows that can assist scientists in creating effective and error-free workflows.


title: The Garber Current Pattern: An Additional Contribution to AC Losses in Helical HTS Cables?

abstract: Conductors made of high-temperature (HTS) wires helically wound in one or more layers on round tubes (CORT) are compact, flexible, and can carry a large amount of current. Although these conductors were initially developed for DC applications, e.g. in magnets, it is worth considering their use for AC, e.g. in underground cables for medium voltage grids and with currents in the kA-range. In these cases, the major challenge is reducing AC losses. In contrast to a straight superconducting wire, in a helical arrangement, due to superconducting shielding, the current does not follow the direction of the wires, but takes a non-trivial zig-zag path within the individual HTS wires (Garber pattern). This includes current components across the thickness of the superconducting layers, so that the often used thin-shell approximation does not hold. In this contribution, we studied a one-layer three-wire CORT by means of fully three-dimensional simulations, based on the H-formulation of Maxwell's equations implemented in the commercial software package COMSOL Multiphysics. As a result of our simulations, the peculiar current profiles were confirmed. In addition, the influence of current, pitch angle, and frequency on the AC losses was studied. We found an optimum for the pitch angle and that the current profiles strongly depend on frequency.


title: GAN-based Algorithm for Efficient Image Inpainting

abstract: Global pandemic due to the spread of COVID-19 has post challenges in a new dimension on facial recognition, where people start to wear masks. Under such condition, the authors consider utilizing machine learning in image inpainting to tackle the problem, by complete the possible face that is originally covered in mask. In particular, autoencoder has great potential on retaining important, general features of the image as well as the generative power of the generative adversarial network (GAN). The authors implement a combination of the two models, context encoders and explain how it combines the power of the two models and train the model with 50,000 images of influencers faces and yields a solid result that still contains space for improvements. Furthermore, the authors discuss some shortcomings with the model, their possible improvements, as well as some area of study for future investigation for applicative perspective, as well as directions to further enhance and refine the model.


title: Generalized Huygens' condition as the fulcrum of planar nonlocal omnidirectional transparency: from meta-atoms to metasurfaces

abstract: Fresnel reflection has been known for centuries to fundamentally impede efficient transmittance across planar interfaces, especially at grazing incidence. Herein, we present the generalized Huygens' condition (GHC) to resolve such intricacies in metasurface (MS) designs and allow omnidirectional transparency. Compared to common numerical antireflective-coating approaches, our analytical framework yields surprisingly simple closed form conditions, carefully leveraging the natural nonlocal mechanisms endowed in planar electromagnetic structures. At the meta-atom level, we meet the GHC by balancing traditional tangential susceptibilities of Huygens' MSs with their unconventional normal counterparts; the latter facilitates the key requisite of vanishing backscattering at the challenging grazing incidence scenario. At the MS level, we sheerly utilize this central insight to engineer realistic all-angle transparent printed-circuit-board (PCB) cascaded admittance sheets. Thoroughly validated in simulation and experiment, this universal GHC demonstrates a resourceful venue for practical implementation of advanced nonlocal devices, e.g., flat optical components, optical analog computers, and spaceplates.


title: Frequency-Dependent Quadratic Response Properties and Two-photon Absorption from Relativistic Equation-of-Motion Coupled Cluster Theory

abstract: We present the implementation of quadratic response theory based upon the relativistic equation-of-motion coupled cluster method. We showcase our implementation, whose generality allows us to consider both time-dependent and time-independent electric and magnetic perturbations, by considering the static and frequency-dependent hyperpolarizability of hydrogen halides (HX, X = F-At), providing a comprehensive insight into their electronic response characteristics. Additionally, we evaluated the Verdet constant for noble gases Xe and Rn, and discussed the relative importance of relativistic and electron correlation effects for these magneto-optical properties. Finally, we calculate the two-photon absorption cross-sections of transition ($ns^{1}S_{0}\to (n+1)s^{1}S_{0}$) of Ga$^{+}$, and In$^{+}$, which are suggested as candidates for new ion clocks. As our implementation allows for the use of non-relativistic Hamiltonians as well, we have compared our EOM-QRCC results to the QR-CC implementation in the DALTON code, and show that the differences between CC and EOMCC response are in general smaller than 5\% for the properties considered. Collectively, the results underscore the versatility of our implementation and its potential as a benchmark tool for other approximated models such as density functional theory for higher-order properties.


title: Beamforming Design and Performance Evaluation for RIS-aided Localization using LEO Satellite Signals

abstract: The growing availability of low-Earth orbit (LEO) satellites, coupled with the anticipated widespread deployment of reconfigurable intelligent surfaces (RISs), opens up promising prospects for new localization paradigms. This paper studies RIS-aided localization using LEO satellite signals. The Cram\'er-Rao bound of the considered localization problem is derived, based on which an optimal RIS beamforming design that minimizes the derived bound is proposed. Numerical results demonstrate the superiority of the proposed beamforming scheme over benchmark alternatives, while also revealing that the synergy between LEO satellites and RISs holds the promise of achieving localization accuracy at the meter or even sub-meter level.


title: Multi-Modal Hybrid Learning and Sequential Training for RGB-T Saliency Detection

abstract: RGB-T saliency detection has emerged as an important computer vision task, identifying conspicuous objects in challenging scenes such as dark environments. However, existing methods neglect the characteristics of cross-modal features and rely solely on network structures to fuse RGB and thermal features. To address this, we first propose a Multi-Modal Hybrid loss (MMHL) that comprises supervised and self-supervised loss functions. The supervised loss component of MMHL distinctly utilizes semantic features from different modalities, while the self-supervised loss component reduces the distance between RGB and thermal features. We further consider both spatial and channel information during feature fusion and propose the Hybrid Fusion Module to effectively fuse RGB and thermal features. Lastly, instead of jointly training the network with cross-modal features, we implement a sequential training strategy which performs training only on RGB images in the first stage and then learns cross-modal features in the second stage. This training strategy improves saliency detection performance without computational overhead. Results from performance evaluation and ablation studies demonstrate the superior performance achieved by the proposed method compared with the existing state-of-the-art methods.


title: Deriving Abstract Interpreters from Skeletal Semantics

abstract: This paper describes a methodology for defining an executable abstract interpreter from a formal description of the semantics of a programming language. Our approach is based on Skeletal Semantics and an abstract interpretation of its semantic meta-language. The correctness of the derived abstract interpretation can be established by compositionality provided that correctness properties of the core language-specific constructs are established. We illustrate the genericness of our method by defining a Value Analysis for a small imperative language based on its skeletal semantics.


title: On the Terminal Location Uncertainty in Elliptical Footprints: Application in Air-to-Ground Links

abstract: Wireless transmitters (Txs) radiating directionally downwards often generate circular footprints on the ground. In certain scenarios, using elliptical cells can offer increased flexibility for providing user coverage, owing to the unique network characteristics. For instance, an elliptical footprint can be produced when a practical directional antenna with unequal azimuth and elevation half-power beamwidths is used in high-speed railway networks. Another common scenario involves the production of an elliptical footprint when an airborne Tx radiates at an angle by tilting its directional antenna by a few degrees. This paper aims to investigate, for the first time, the association between the random user location within an elliptical coverage area and the performance of a wireless communication link by considering these scenarios. We assume an unmanned aerial vehicle (UAV) as a Tx, although a tall cellular base station tower could also be employed without losing generality. To better understand the impact of random location, we derive relevant distance metrics and investigate the outage probability of the link for the two scenarios, taking both random terminal location and fading impairments into account. The findings may provide valuable insights into the performance of similar wireless systems.


title: A mechanically-derived contact model for adhesive elastic-perfectly plastic particles. Part I: Utilizing the method of dimensionality reduction

abstract: In this two part series, we present a contact model able to capture the response of interacting adhesive elastic-perfectly plastic particles under a variety of loadings. In Part I, we focus on elastic through fully-plastic contact with and without adhesion. For these contact regimes the model is built upon the method of dimensionality reduction which allows the problem of a 3D axisymmetric contact to be mapped to a semi-equivalent problem of a 1D rigid indenter penetrating a bed of independent Hookean springs. Plasticity is accounted for by continuously varying the 1D indenter profile subject to a constraint on the contact pressure. Unloading falls out naturally, and simply requires lifting the 1D indenter out of the springs and tracking the force. By accounting for the incompressible nature of this plastic deformation, the contact model is able to capture multi-neighbor dependent effects such as increased force and formation of new contacts. JKR type adhesion is recovered seamlessly within the method of dimensionality reduction by simply allowing the springs to stick to the 1D indenter's surface. Because of the mechanics-focused formulation of the contact model, only a few physical inputs describing the interacting particles are needed: particle radius, Young's modulus, Poisson ratio, yield stress, and effective surface energy. The contact model is validated against finite element simulations and analytic theory, including Hertz's contact law and the JKR theory of adhesion. These comparisons show that the proposed contact model is able to accurately capture plastic displacement, average contact pressure, contact area, and force as a function of displacement for contacts as well as particle volume within the elastic to fully-plastic regimes.


title: Limits to Fluctuation Dynamics

abstract: The fluctuation of an experimentally measured observable, along with its mean, constitutes the fundamental ingredient of a non-equilibrium system involving randomness. Despite previous efforts, a comprehensive framework for characterizing the temporal dynamics of fluctuations of observables remains elusive. In this manuscript, we develop a ubiquitous theory concerning rigorous limits to the rate of fluctuation growth. We discover a simple principle that the time derivative of the standard deviation of an observable is upper bound by the standard deviation of an appropriate observable describing velocity. This indicates a hitherto unknown tradeoff relation between the changes for the mean and standard deviation, i.e., the sum of the squares for these quantities cannot exceed certain cost determined by dynamical processes. The cost can be kinetic energy for hydrodynamics, irreversible entropy production rate for thermodynamic processes, energy fluctuations for unitary quantum dynamics, and quantum Fisher information for dissipative quantum dynamics. Our results open an avenue toward a quantitative theory of fluctuation dynamics in various non-equilibrium systems, encompassing quantum many-body systems and nonlinear population dynamics, as well as toward our understanding of how to control them.


title: Timed Actors and Their Formal Verification

abstract: In this paper we review the actor-based language, Timed Rebeca, with a focus on its formal semantics and formal verification techniques. Timed Rebeca can be used to model systems consisting of encapsulated components which communicate by asynchronous message passing. Messages are put in the message buffer of the receiver actor and can be seen as events. Components react to these messages/events and execute the corresponding message/event handler. Real-time features, like computation delay, network delay and periodic behavior, can be modeled in the language. We explain how both Floating-Time Transition System (FTTS) and common Timed Transition System (TTS) can be used as the semantics of such models and the basis for model checking. We use FTTS when we are interested in event-based properties, and it helps in state space reduction. For checking the properties based on the value of variables at certain point in time, we use the TTS semantics. The model checking toolset supports schedulability analysis, deadlock and queue-overflow check, and assertion based verification of Timed Rebeca models. TCTL model checking based on TTS is also possible but is not integrated in the tool.


title: EXPRESSing Session Types

abstract: To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard $\pi$-calculus by means of a suitable encoding. The encoding allows one to reuse results about the $\pi$-calculus in the context of session-based communications, thus deepening the understanding of sessions and reducing redundancies in their theoretical foundations. Perhaps surprisingly, the encoding has practical implications as well, by enabling refined forms of deadlock analysis as well as allowing session type inference by means of a conventional type inference algorithm.


title: The Way We Were: Structural Operational Semantics Research in Perspective

abstract: This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a research field? (2) If so, is it possible to rejuvenate this field with a redefined purpose? In this article, we will consider possible answers to those questions by first analysing the history of the EXPRESS/SOS workshops and the data concerning the authors and the presentations featured in the editions of those workshops as well as their subject matters. The results of our quantitative and qualitative analyses all indicate a diminishing interest in the theory of SOS as a field of research. Even though `all good things must come to an end', we strive to finish this position paper on an upbeat note by addressing our second motivating question with some optimism. To this end, we use our personal reflections and an analysis of recent trends in two of the flagship conferences in the field of Programming Languages (namely POPL and PDLI) to draw some conclusions on possible future directions that may rejuvenate research on the (meta-)theory of SOS. We hope that our musings will entice members of the research community to breathe new life into a field of research that has been kind to three of the authors of this article.


title: SHIELD: Secure Haplotype Imputation Employing Local Differential Privacy

abstract: We introduce Secure Haplotype Imputation Employing Local Differential privacy (SHIELD), a program for accurately estimating the genotype of target samples at markers that are not directly assayed by array-based genotyping platforms while preserving the privacy of donors to public reference panels. At the core of SHIELD is the Li-Stephens model of genetic recombination, according to which genomic information is comprised of mosaics of ancestral haplotype fragments that coalesce via a Markov random field. We use the standard forward-backward algorithm for inferring the ancestral haplotypes of target genomes, and hence the most likely genotype at unobserved sites, using a reference panel of template haplotypes whose privacy is guaranteed by the randomized response technique from differential privacy.


title: A Cancellation Law for Probabilistic Processes

abstract: We show a cancellation property for probabilistic choice. If distributions mu + rho and nu + rho are branching probabilistic bisimilar, then distributions mu and nu are also branching probabilistic bisimilar. We do this in the setting of a basic process language involving non-deterministic and probabilistic choice and define branching probabilistic bisimilarity on distributions. Despite the fact that the cancellation property is very elegant and concise, we failed to provide a short and natural combinatorial proof. Instead we provide a proof using metric topology. Our major lemma is that every distribution can be unfolded into an equivalent stable distribution, where the topological arguments are required to deal with uncountable branching.


title: Using Pi-Calculus Names as Locks

abstract: Locks are a classic data structure for concurrent programming. We introduce a type system to ensure that names of the asynchronous pi-calculus are used as locks. Our calculus also features a construct to deallocate a lock once we know that it will never be acquired again. Typability guarantees two properties: deadlock-freedom, that is, no acquire operation on a lock waits forever; and leak-freedom, that is, all locks are eventually deallocated. We leverage the simplicity of our typing discipline to study the induced typed behavioural equivalence. After defining barbed equivalence, we introduce a sound labelled bisimulation, which makes it possible to establish equivalence between programs that manipulate and deallocate locks.


title: Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)

abstract: A classical theorem states that the set of languages given by a pushdown automaton coincides with the set of languages given by a context-free grammar. In previous work, we proved the pendant of this theorem in a setting with interaction: the set of processes given by a pushdown automaton coincides with the set of processes given by a finite guarded recursive specification over a process algebra with actions, choice, sequencing and guarded recursion, if and only if we add sequential value passing. In this paper, we look what happens if we consider parallel pushdown automata instead of pushdown automata, and a process algebra with parallelism instead of sequencing.


title: Quantifying Masking Fault-Tolerance via Fair Stochastic Games

abstract: We introduce a formal notion of masking fault-tolerance between probabilistic transition systems using stochastic games. These games are inspired in bisimulation games, but they also take into account the possible faulty behavior of systems. When no faults are present, these games boil down to probabilistic bisimulation games. Since these games could be infinite, we propose a symbolic way of representing them so that they can be solved in polynomial time. In particular, we use this notion of masking to quantify the level of masking fault-tolerance exhibited by almost-sure failing systems, i.e., those systems that eventually fail with probability 1. The level of masking fault-tolerance of almost-sure failing systems can be calculated by solving a collection of functional equations. We produce this metric in a setting in which one of the player behaves in a strong fair way (mimicking the idea of fair environments).


title: CRIL: A Concurrent Reversible Intermediate Language

abstract: We present a reversible intermediate language with concurrency for translating a high-level concurrent programming language to another lower-level concurrent programming language, keeping reversibility. Intermediate languages are commonly used in compiling a source program to an object code program closer to the machine code, where an intermediate language enables behavioral analysis and optimization to be decomposed in steps. We propose CRIL (Concurrent Reversible Intermediate Language) as an extension of RIL used by Mogensen for a functional reversible language, incorporating a multi-thread process invocation and the synchronization primitives based on the P-V operations. We show that the operational semantics of CRIL enjoy the properties of reversibility, including the causal safety and causal liveness proposed by Lanese et al., checking the axiomatic properties. The operational semantics is defined by composing the bidirectional control flow with the dependency information on updating the memory, called annotation DAG. We show a simple example of `airline ticketing' to illustrate how CRIL preserves the causality for reversibility in imperative programs with concurrency.


title: Sudden Drops in the Loss: Syntax Acquisition, Phase Transitions, and Simplicity Bias in MLMs

abstract: Most interpretability research in NLP focuses on understanding the behavior and features of a fully trained model. However, certain insights into model behavior may only be accessible by observing the trajectory of the training process. We present a case study of syntax acquisition in masked language models (MLMs) that demonstrates how analyzing the evolution of interpretable artifacts throughout training deepens our understanding of emergent behavior. In particular, we study Syntactic Attention Structure (SAS), a naturally emerging property of MLMs wherein specific Transformer heads tend to focus on specific syntactic relations. We identify a brief window in pretraining when models abruptly acquire SAS, concurrent with a steep drop in loss. This breakthrough precipitates the subsequent acquisition of linguistic capabilities. We then examine the causal role of SAS by manipulating SAS during training, and demonstrate that SAS is necessary for the development of grammatical capabilities. We further find that SAS competes with other beneficial traits during training, and that briefly suppressing SAS improves model quality. These findings offer an interpretation of a real-world example of both simplicity bias and breakthrough training dynamics.


title: Machine Learning-based Analysis of Electronic Properties as Predictors of Anticholinesterase Activity in Chalcone Derivatives

abstract: In this study, we investigated the correlation between the electronic properties of anticholinesterase compounds and their biological activity. While the methodology of such correlation is well-established and has been effectively utilized in previous studies, we employed a more sophisticated approach: machine learning. Initially, we focused on a set of $22$ molecules sharing a common chalcone skeleton and categorized them into two groups based on their IC50 indices: active and inactive. Utilizing the open-source software Orca, we conducted calculations to determine the geometries and electronic structures of these molecules. Over a hundred parameters were collected from these calculations, serving as the foundation for the features used in machine learning. These parameters included the Mulliken and Lowdin electronic populations of each atom within the skeleton, molecular orbital energies, and Mayer's free valences. Through our analysis, we developed numerous models and identified several successful candidates for effectively distinguishing between the two groups. Notably, the most informative descriptor for this separation relied solely on electronic populations and orbital energies. By understanding which computationally calculated properties are most relevant to specific biological activities, we can significantly enhance the efficiency of drug development processes, saving both time and resources.


title: Interconnect Fabrics for Multi-Core Quantum Processors: A Context Analysis

abstract: Quantum computing has revolutionized the field of computer science with its extraordinary ability to handle classically intractable problems. To realize its potential, however, quantum computers need to scale to millions of qubits, a feat that will require addressing fascinating yet extremely challenging interconnection problems. In this paper, we provide a context analysis of the nascent quantum computing field from the perspective of communications, with the aim of encouraging the on-chip networks community to contribute and pave the way for truly scalable quantum computers in the decades to come.


title: AudioSR: Versatile Audio Super-resolution at Scale

abstract: Audio super-resolution is a fundamental task that predicts high-frequency components for low-resolution audio, enhancing audio quality in digital applications. Previous methods have limitations such as the limited scope of audio types (e.g., music, speech) and specific bandwidth settings they can handle (e.g., 4kHz to 8kHz). In this paper, we introduce a diffusion-based generative model, AudioSR, that is capable of performing robust audio super-resolution on versatile audio types, including sound effects, music, and speech. Specifically, AudioSR can upsample any input audio signal within the bandwidth range of 2kHz to 16kHz to a high-resolution audio signal at 24kHz bandwidth with a sampling rate of 48kHz. Extensive objective evaluation on various audio super-resolution benchmarks demonstrates the strong result achieved by the proposed model. In addition, our subjective evaluation shows that AudioSR can acts as a plug-and-play module to enhance the generation quality of a wide range of audio generative models, including AudioLDM, Fastspeech2, and MusicGen. Our code and demo are available at https://audioldm.github.io/audiosr.


title: Traveling Words: A Geometric Interpretation of Transformers

abstract: Transformers have significantly advanced the field of natural language processing, but comprehending their internal mechanisms remains a challenge. In this paper, we introduce a novel geometric perspective that elucidates the inner mechanisms of transformer operations. Our primary contribution is illustrating how layer normalization confines the latent features to a hyper-sphere, subsequently enabling attention to mold the semantic representation of words on this surface. This geometric viewpoint seamlessly connects established properties such as iterative refinement and contextual embeddings. We validate our insights by probing a pre-trained 124M parameter GPT-2 model. Our findings reveal clear query-key attention patterns in early layers and build upon prior observations regarding the subject-specific nature of attention heads at deeper layers. Harnessing these geometric insights, we present an intuitive understanding of transformers, depicting them as processes that model the trajectory of word particles along the hyper-sphere.


title: Plasma modes in QED super-strong magnetic fields of magnetars and laser plasmas

abstract: Ultra-magnetized plasmas, where the magnetic field strength exceeds the Schwinger field of about $B_{Q}\approx4\times10^{13}$~gauss, become of great scientific interest, thanks to the current advances in laser-plasma experiments and astrophysical observations of magnetar emission. These advances demand better understanding of how quantum electrodynamics (QED) effects influence collective plasma phenomena. In particular, Maxwell's equations become nonlinear in the strong-QED regime. Here we present the `QED plasma framework' which will allow one to {\em systematically} explore collective phenomena in a QED-plasma with arbitrarily strong magnetic field. Further, we illustrate the framework by exploring low-frequency modes in the ultra-magnetized, cold, electron-positron plasmas. We demonstrate that the classical picture of five branches holds in the QED regime; no new eigenmodes appear. The dispersion curves of all the modes are modified. The QED effects include the overall modification to the plasma frequency, which becomes field-dependent. They also modify resonances and cutoffs of the modes, which become both field- and angle-dependent. The strongest effects are (i) the {\em field-induced transparency of plasma} for the O-mode via the dramatic reduction of the low-frequency cutoff well below the plasma frequency, (ii) the {\em Alfven mode suppression} in the large-$k$ regime via the reduction of the Alfven mode resonance, and (iii) the {\em O-mode slowdown} via strong angle-dependent increase of the index of refraction. These results should be important for understanding of a magnetospheric pair plasma of a magnetar and for laboratory laser-plasma experiments in the QED regime.


title: A mechanically-derived contact model for adhesive elastic-perfectly plastic particles. Part II: Contact under high compaction--adding a bulk elastic response

abstract: In Part I of this two part series, we presented a multi-neighbor dependent contact model for adhesive elastic-plastic particles built upon the method of dimensionality reduction that is valid for the elastic and fully-plastic contact regimes. In this Part II, we complete the contact model by proposing a treatment for the bulk elastic contact regime which is characterized by a rapid stiffening in the force-displacement curve as interstitial pore spaces vanish. A simple formulation is presented for an additional bulk elastic force. A novel criterion for triggering this force (i.e. detecting the bulk elastic regime) related to the remaining free surface area of the particle is also given. This bulk elastic force is then superimposed with the force response given in Part I to achieve a contact model capable of capturing a variety of complex loadings. In this way, the methodology for treating the bulk elastic regime presented here stands independent of Part I and could be appended to any contact model. Direct comparison is made to finite element simulations showcasing bulk elastic responses, revealing the accurate predictive capabilities of the contact model. Notably, the contact model is also demonstrated to detect and evolve contacts caused purely by outward displacement of the free surface with good precision.


title: Relations between the Worldline Quantum Field Theory and scattering amplitudes for particles with spin

abstract: The Worldline Quantum Field Theory (WQFT) has proven to be an efficient tool for calculating observables in gravitational wave physics. In contrast to other QFT-based techniques in the realm of gravitational wave physics, it makes the classical limit very apparent. However, a natural question remains: How does it relate to ordinary quantum field theories that we know from particle physics? This question will be addressed by extending existing approaches to a description including spin. Furthermore, it will be explicitly shown that the WQFT can retain quantum contributions by summing up infinite towers of worldline loops.


title: Log-Sobolev inequalities and hypercontractivity for Ornstein-Uhlenbeck evolution operators in infinite dimensions

abstract: In an infinite dimensional separable Hilbert space $X$, we study the realizations of Ornstein-Uhlenbeck evolution operators $\pst$ in the spaces $L^p(X,\g_t)$, $\{\g_t\}_{t\in\R}$ being the unique evolution system of measures for $\pst$ in $\R$. We prove hyperconctractivity results, relying on suitable Log-Sobolev estimates. Among the examples we consider the transition evolution operator of a non autonomous stochastic parabolic PDE.


title: A Microwave Blackbody Target for Cosmic Microwave Background Spectral Measurements in the 10-20GHz range

abstract: The Tenerife Microwave Spectrometer (TMS) is a ground-based radio-spectrometer that will take absolute measurements of the sky between 10-20 GHz. To ensure the sensitivity and immunity to systematic errors of these measurements, TMS includes an internal calibration system optimised for the TMS band, and cooled down to 4 K. It consists of an Aluminium core, composed of a baseplate and a bed of pyramidal elements coated with an absorber material and a metallic shield. The absorber coating is made of a commercial resin ECCOSORB CR/MF 117. To achieve the high stability (+/- 1 mK/h), temperature homogeneity (thermal gradients {AT <= 25 mK), and emissivity (e>= 0.999) requirements of the reference unit, careful consideration has been given to the RF and thermal properties of the materials, as well as their geometry. In summary, this paper presents a comprehensive account of the design, characterisation, and test results of the TMS reference system.


title: Why does the Milky Way have a bar?

abstract: There is no doubt that the Milky Way is a barred galaxy; however, factors that establish its prominent morphology remain largely elusive and poorly comprehended. In this work, we attempt to constrain the history of the MW by tracing the present-day parameters and evolution of a set of MW and M31 analogues from the TNG50 cosmological simulations. We find that the strength of bars at $z=0$ correlates well not only with the total mass build-up of galaxies but, more crucially, with the time of rapid onset of stellar discs. Discs of strongly barred galaxies form early ($ z \gtrsim 2-3$), compared to weakly barred and non-barred galaxies ($z \approx 1-1.5$). Although we are cautious to draw ultimate conclusions about the governing factor of discs formation due to the complexity and correlations between different physical phenomena~(dark matter mass growth, gas accretion rate, mergers and others) affecting galaxy growth, the observed morphological diversity of galaxies can be tentatively explained by a substantial variation in the gas angular momentum around proto-galaxies already at $z\approx 3-5$; in such a way, early discs with the strongest bars at $z=0$ formed from gas with the largest angular momentum. By comparing the formation time scales of discs of barred galaxies in the TNG50 sample, we suggest that the MW has a strong bar ($0.35<A_2<0.6$) and that its stellar disc started to dominate over the spheroidal component already at $z \approx 2$, with a mass of $\approx 1 \pm 0.5 \times 10^{10} M_\odot$. We, therefore, conclude that the presence of a strong bar in the MW is a natural manifestation of the early formation of the stellar disc, which made possible bursty but highly efficient star formation at high redshift.


title: $\texttt{NePhi}$: Neural Deformation Fields for Approximately Diffeomorphic Medical Image Registration

abstract: This work proposes NePhi, a generalizable neural deformation model which results in approximately diffeomorphic transformations. In contrast to the predominant voxel-based transformation fields used in learning-based registration approaches, NePhi represents deformations functionally, leading to great flexibility within the design space of memory consumption during training and inference, inference time, registration accuracy, as well as transformation regularity. Specifically, NePhi 1) requires less memory compared to voxel-based learning approaches, 2) improves inference speed by predicting latent codes, compared to current existing neural deformation based registration approaches that \emph{only} rely on optimization, 3) improves accuracy via instance optimization, and 4) shows excellent deformation regularity which is highly desirable for medical image registration. We demonstrate the performance of NePhi on a 2D synthetic dataset as well as for real 3D lung registration. Our results show that NePhi can match the accuracy of voxel-based representations in a single-resolution registration setting. For multi-resolution registration, our method matches the accuracy of current SOTA learning-based registration approaches with instance optimization while reducing memory requirements by a factor of five.


title: Dominated splitting from constant periodic data and global rigidity of Anosov automorphisms

abstract: We show that a $\mathrm{GL}(d,\mathbb{R})$ cocycle over a hyperbolic system with constant periodic data has a dominated splitting whenever the periodic data indicates it should. This implies global periodic data rigidity of generic Anosov automorphisms of $\mathbb{T}^d$. Further, our approach also works when the periodic data is narrow, that is, sufficiently close to constant. We can show global periodic data rigidity for certain non-linear Anosov diffeomorphisms in a neighborhood of an irreducible Anosov automorphism with simple spectrum.


title: A Simple Non-Deterministic Approach Can Adapt to Complex Unpredictable 5G Cellular Networks

abstract: 5G cellular networks are envisioned to support a wide range of emerging delay-oriented services with different delay requirements (e.g., 20ms for VR/AR, 40ms for cloud gaming, and 100ms for immersive video streaming). However, due to the highly variable and unpredictable nature of 5G access links, existing end-to-end (e2e) congestion control (CC) schemes perform poorly for them. In this paper, we demonstrate that properly blending non-deterministic exploration techniques with straightforward proactive and reactive measures is sufficient to design a simple yet effective e2e CC scheme for 5G networks that can: (1) achieve high controllable performance, and (2) possess provable properties. To that end, we designed Reminis and through extensive experiments on emulated and real-world 5G networks, show the performance benefits of it compared with different CC schemes. For instance, averaged over 60 different 5G cellular links on the Standalone (SA) scenarios, compared with a recent design by Google (BBR2), Reminis can achieve 2.2x lower 95th percentile delay while having the same link utilization.


title: Bicrystallography-informed Frenkel-Kontorova model for interlayer dislocations in strained 2D heterostructures

abstract: In recent years, van der Waals (vdW) heterostructures and homostructures, which consist of stacks of two-dimensional (2D) materials, have risen to prominence due to their association with exotic quantum phenomena. Atomistic scale relaxation effects play an extremely important role in the electronic scale quantum physics of these systems. We investigate such structural relaxation effects in this work using atomistic and mesoscale models, within the context of twisted bilayer graphene -- a well-known heterostructure system that features moire patterns arising from the lattices of the two graphene layers. For small twist angles, atomic relaxation effects in this system are associated with the natural emergence of interface dislocations or strain solitons, which result from the cyclic nature of the generalized stacking fault energy (GSFE), that measures the interface energy based on the relative movement of the two layers. In this work, we first demonstrate using atomistic simulations that atomic reconstruction in bilayer graphene under a large twist also results from interface dislocations, although the Burgers vectors of such dislocations are considerably smaller than those observed in small-twist systems. To reveal the translational invariance of the heterointerface responsible for the formation of such dislocations, we derive the translational symmetry of the GSFE of a 2D heterostructure using the notions of coincident site lattices (CSLs) and displacement shift complete lattices (DSCLs). The workhorse for this exercise is a recently developed Smith normal form bicrystallography framework. Next, we construct a bicrystallography-informed and frame-invariant Frenkel-Kontorova model, which can predict the formation of strain solitons in arbitrary 2D heterostructures, and apply it to study a heterostrained, large-twist bilayer graphene system.


title: The JWST Discovery of the Triply-imaged Type Ia "Supernova H0pe" and Observations of the Galaxy Cluster PLCK G165.7+67.0

abstract: A Type Ia supernova (SN) at $z=1.78$ was discovered in James Webb Space Telescope Near Infrared Camera imaging of the galaxy cluster PLCK G165.7+67.0 (G165; $z = 0.35$). The SN is situated 1.5-2 kpc from the host-galaxy nucleus and appears in three different locations as a result of gravitational lensing by G165. These data can yield a value for Hubble's constant using time delays from this multiply-imaged SN Ia that we call "SN H0pe." Over the cluster, we identified 21 image multiplicities, confirmed five of them using the Near-Infrared Spectrograph, and constructed a new lens model that gives a total mass within 600 kpc of ($2.6 \pm 0.3) \times 10^{14}$ $M_{\odot}$. The photometry uncovered a galaxy overdensity coincident with the SN host galaxy. NIRSpec confirmed six member galaxies, four of which surround the SN host galaxy with relative velocity $\lesssim$900 km s$^{-1}$ and projected physical extent $\lesssim$33 kpc. This compact galaxy group is dominated by the SN host galaxy, which has a stellar mass of $(5.0 \pm 0.1) \times 10^{11}$ $M_{\odot}$. The group members have specific star-formation rates of 2-260 Gyr$^{-1}$ derived from the H$\alpha$-line fluxes corrected for stellar absorption, dust extinction, and slit losses. Another group centered on a strongly-lensed dusty star forming galaxy is at $z=2.24$. The total (unobscured and obscured) SFR of this second galaxy group is estimated to be ($\gtrsim$100 $M_{\odot}$ yr$^{-1}$), which translates to a supernova rate of $\sim$1 SNe yr$^{-1}$, suggesting that regular monitoring of this cluster may yield additional SNe.


title: On homological reduction of Poisson structures

abstract: Given a $\mathfrak{g}$-action on a Poisson manifold $(M, \pi)$ and an equivariant map $J: M \rightarrow \mathfrak{h}^*,$ for $\mathfrak{h}$ a $\mathfrak{g}$-module, we obtain, under natural compatibility and regularity conditions previously considered by Cattaneo-Zambon, a homotopy Poisson algebra generalizing the classical BFV algebra described by Kostant-Sternberg in the usual hamiltonian setting. As an application of our methods, we also derive homological models for the reduced spaces associated to quasi-Poisson and hamiltonian quasi-Poisson spaces.


title: Electronic and spin transport in Bismuthene with magnetic impurities

abstract: Topological insulators have remained as candidates for future electronic devices since their first experimental realization in the past decade. The existence of topologically protected edge states could be exploited to generate a robust platform and develop quantum computers. In this work we explore the role of magnetic impurities in the transport properties of topological insulators, in particular, we study the effect on the edge states conductivity. By means of realistic $\it{ab}$ $\it{initio}$ calculations we simulate the interaction between magnetic adatoms and topological insulators, furthermore, our main goal is to obtain the transport properties for large samples as it would be possible to localize edge states at large scales.


title: A posteriori error analysis of a positivity preserving scheme for the power-law diffusion Keller-Segel model

abstract: We study a finite volume scheme approximating a parabolic-elliptic Keller-Segel system with power law diffusion with exponent $\gamma \in [1,3]$ and periodic boundary conditions. We derive conditional a posteriori bounds for the error measured in the $L^\infty(0,T;H^1(\Omega))$ norm for the chemoattractant and by a quasi-norm-like quantity for the density. These results are based on stability estimates and suitable conforming reconstructions of the numerical solution. We perform numerical experiments showing that our error bounds are linear in mesh width and elucidating the behaviour of the error estimator under changes of $\gamma$.


title: Automated Assessment of Critical View of Safety in Laparoscopic Cholecystectomy

abstract: Cholecystectomy (gallbladder removal) is one of the most common procedures in the US, with more than 1.2M procedures annually. Compared with classical open cholecystectomy, laparoscopic cholecystectomy (LC) is associated with significantly shorter recovery period, and hence is the preferred method. However, LC is also associated with an increase in bile duct injuries (BDIs), resulting in significant morbidity and mortality. The primary cause of BDIs from LCs is misidentification of the cystic duct with the bile duct. Critical view of safety (CVS) is the most effective of safety protocols, which is said to be achieved during the surgery if certain criteria are met. However, due to suboptimal understanding and implementation of CVS, the BDI rates have remained stable over the last three decades. In this paper, we develop deep-learning techniques to automate the assessment of CVS in LCs. An innovative aspect of our research is on developing specialized learning techniques by incorporating domain knowledge to compensate for the limited training data available in practice. In particular, our CVS assessment process involves a fusion of two segmentation maps followed by an estimation of a certain region of interest based on anatomical structures close to the gallbladder, and then finally determination of each of the three CVS criteria via rule-based assessment of structural information. We achieved a gain of over 11.8% in mIoU on relevant classes with our two-stream semantic segmentation approach when compared to a single-model baseline, and 1.84% in mIoU with our proposed Sobel loss function when compared to a Transformer-based baseline model. For CVS criteria, we achieved up to 16% improvement and, for the overall CVS assessment, we achieved 5% improvement in balanced accuracy compared to DeepCVS under the same experiment settings.


title: Test ideal restricted to principal ideals and connections to trace ideals

abstract: Motivated by some recent results of F. P\'erez and R. R.G connecting test ideal of module closure operations and trace ideals, we investigate the test ideal restricted to principal ideals corresponding to a module closure operation of a torsion-free module $M$. We show that such a test ideal is always a trace ideal, and moreover when $M$ is torsionless and faithful, then it is the trace of the center of $\operatorname{End}_R(M)$. Some applications are given.


title: Reliability-based cleaning of noisy training labels with inductive conformal prediction in multi-modal biomedical data mining

abstract: Accurately labeling biomedical data presents a challenge. Traditional semi-supervised learning methods often under-utilize available unlabeled data. To address this, we propose a novel reliability-based training data cleaning method employing inductive conformal prediction (ICP). This method capitalizes on a small set of accurately labeled training data and leverages ICP-calculated reliability metrics to rectify mislabeled data and outliers within vast quantities of noisy training data. The efficacy of the method is validated across three classification tasks within distinct modalities: filtering drug-induced-liver-injury (DILI) literature with title and abstract, predicting ICU admission of COVID-19 patients through CT radiomics and electronic health records, and subtyping breast cancer using RNA-sequencing data. Varying levels of noise to the training labels were introduced through label permutation. Results show significant enhancements in classification performance: accuracy enhancement in 86 out of 96 DILI experiments (up to 11.4%), AUROC and AUPRC enhancements in all 48 COVID-19 experiments (up to 23.8% and 69.8%), and accuracy and macro-average F1 score improvements in 47 out of 48 RNA-sequencing experiments (up to 74.6% and 89.0%). Our method offers the potential to substantially boost classification performance in multi-modal biomedical machine learning tasks. Importantly, it accomplishes this without necessitating an excessive volume of meticulously curated training data.

categories: cs.LG cs.AI cs.CV q-bio.GN q-bio.QM stat.AP stat.ML


title: Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications

abstract: The Thirteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2023) was held in Famagusta, North Cyprus, on September 18 and 19, 2023, organized by the Eastern Mediterranean University. The NCMA workshop series was established in 2009 as an annual event for researchers working on non-classical and classical models of automata, grammars or related devices. Such models are investigated both as theoretical models and as formal models for applications from various points of view.


title: Learning from Auxiliary Sources in Argumentative Revision Classification

abstract: We develop models to classify desirable reasoning revisions in argumentative writing. We explore two approaches -- multi-task learning and transfer learning -- to take advantage of auxiliary sources of revision data for similar tasks. Results of intrinsic and extrinsic evaluations show that both approaches can indeed improve classifier performance over baselines. While multi-task learning shows that training on different sources of data at the same time may improve performance, transfer-learning better represents the relationship between the data.


title: Towards quantitative precision for QCD at large densities

abstract: QCD at large density reveals a rich phase structure, ranging from a potential critical end point and inhomogeneous phases or moat regimes to color superconducting ones with competing order effects. Resolving this region in the phase diagram of QCD with functional approaches requires a great deal of quantitative reliability, already for a qualitative access. In the present work, we systematically extend the functional renormalisation group approach to low energy QCD by setting up a fully self-consistent approximation scheme in a low energy effective quark-meson theory. In this approximation, all pointlike multi-scattering events of the mesonic pion and the sigma mode are taken into account in terms of an effective potential as well as all higher quark-antiquark-mesonic scattering orders. As a first application we compute the phase structure of QCD including its low temperature - large chemical potential part. The quantitative reliability of the approximation and systematic extensions are also discussed.


title: Analysis of Superconducting Qubit Layouts Using InductEx

abstract: InductEx is a software tool used for the analysis of integrated circuit designs and extraction of design parameters by way of numerical electromagnetic field solving. This tool was originally developed with Rapid Single Flux Quantum (RSFQ) chips in mind, but it has a broad applicability and can be extended to other processes. In this poster, we report a comprehensive analysis of a superconducting aluminum two qubit chip. This analysis was performed with InductEx. We report the design of a two qubit chip which has the characteristics necessary to execute single and two qubit gates. Ahead of fabrication, several design characteristics have been extracted from this quantum chip design in order to verify that it satisfies basic design principles of transmon qubits. These characteristics are reported in this poster and they include the calculation of chip anharmonicities, qubit frequencies, resonator frequencies as well as g-factors and dispersive shifts. Design constraints which are satisfied by these extracted parameters are discussed. Additionally, qualitative aspects of the chip have been obtained from current density maps and are reported here. Taken as a whole, this analysis demonstrates the broad applicability of Inductex to integrated circuit design and particularly to the problem of quantum circuit layout optimization.


title: MPI Advance : Open-Source Message Passing Optimizations

abstract: The large variety of production implementations of the message passing interface (MPI) each provide unique and varying underlying algorithms. Each emerging supercomputer supports one or a small number of system MPI installations, tuned for the given architecture. Performance varies with MPI version, but application programmers are typically unable to achieve optimal performance with local MPI installations and therefore rely on whichever implementation is provided as a system install. This paper presents MPI Advance, a collection of libraries that sit on top of MPI, optimizing the underlying performance of any existing MPI library. The libraries provide optimizations for collectives, neighborhood collectives, partitioned communication, and GPU-aware communication.


title: Overcoming near-degeneracy in the autologistic actor attribute model

abstract: The autologistic actor attribute model, or ALAAM, is the social influence counterpart of the better-known exponential-family random graph model (ERGM) for social selection. Extensive experience with ERGMs has shown that the problem of near-degeneracy which often occurs with simple models can be overcome by using "geometrically weighted" or "alternating" statistics. In the much more limited empirical applications of ALAAMs to date, the problem of near-degeneracy, although theoretically expected, appears to have been less of an issue. In this work I present a comprehensive survey of ALAAM applications, showing that this model has to date only been used with relatively small networks, in which near-degeneracy does not appear to be a problem. I show near-degeneracy does occur in simple ALAAM models of larger empirical networks, define some geometrically weighted ALAAM statistics analogous to those for ERGM, and demonstrate that models with these statistics do not suffer from near-degeneracy and hence can be estimated where they could not be with the simple statistics.


title: Efficient quantum recurrent reinforcement learning via quantum reservoir computing

abstract: Quantum reinforcement learning (QRL) has emerged as a framework to solve sequential decision-making tasks, showcasing empirical quantum advantages. A notable development is through quantum recurrent neural networks (QRNNs) for memory-intensive tasks such as partially observable environments. However, QRL models incorporating QRNN encounter challenges such as inefficient training of QRL with QRNN, given that the computation of gradients in QRNN is both computationally expensive and time-consuming. This work presents a novel approach to address this challenge by constructing QRL agents utilizing QRNN-based reservoirs, specifically employing quantum long short-term memory (QLSTM). QLSTM parameters are randomly initialized and fixed without training. The model is trained using the asynchronous advantage actor-aritic (A3C) algorithm. Through numerical simulations, we validate the efficacy of our QLSTM-Reservoir RL framework. Its performance is assessed on standard benchmarks, demonstrating comparable results to a fully trained QLSTM RL model with identical architecture and training settings.


title: Informative path planning for scalar dynamic reconstruction using coregionalized Gaussian processes and a spatiotemporal kernel

abstract: The proliferation of unmanned vehicles offers many opportunities for solving environmental sampling tasks with applications in resource monitoring and precision agriculture. Informative path planning (IPP) includes a family of methods which offer improvements over traditional surveying techniques for suggesting locations for observation collection. In this work, we present a novel solution to the IPP problem by using a coregionalized Gaussian processes to estimate a dynamic scalar field that varies in space and time. Our method improves previous approaches by using a composite kernel accounting for spatiotemporal correlations and at the same time, can be readily incorporated in existing IPP algorithms. Through extensive simulations, we show that our novel modeling approach leads to more accurate estimations when compared with formerly proposed methods that do not account for the temporal dimension.


title: Astrochemical Modeling of Propargyl Radical Chemistry in TMC-1

abstract: Recent detections of aromatic species in dark molecular clouds suggest formation pathways may be efficient at very low temperatures and pressures, yet current astrochemical models are unable to account for their derived abundances, which can often deviate from model predictions by several orders of magnitude. The propargyl radical, a highly abundant species in the dark molecular cloud TMC- 1, is an important aromatic precursor in combustion flames and possibly interstellar environments. We performed astrochemical modeling of TMC-1 using the three-phase gas-grain code NAUTILUS and an updated chemical network, focused on refining the chemistry of the propargyl radical and related species. The abundance of the propargyl radical has been increased by half an order of magnitude compared to the previous GOTHAM network. This brings it closer in line with observations, but it remains underestimated by two orders of magnitude compared to its observed value. Predicted abundances for the chemically related C4H3N isomers within an order of magnitude of observed values corroborate the high efficiency of CN addition to closed-shell hydrocarbons under dark molecular cloud conditions. The results of our modeling provide insight into the chemical processes of the propargyl radical in dark molecular clouds and highlight the importance of resonance-stabilized radicals in PAH formation.


title: Scattering for the Wave Equation on de Sitter Space in All Even Spatial Dimensions

abstract: For any $n\geq4$ even, we establish a complete scattering theory for the linear wave equation on the $(n+1)$-dimensional de Sitter space. We prove the existence and uniqueness of scattering states, and asymptotic completeness. Moreover, we construct the scattering map taking asymptotic data at past infinity $\mathscr{I}^-$ to asymptotic data at future infinity $\mathscr{I}^+$. Identifying $\mathscr{I}^-$ and $\mathscr{I}^+$ with $S^n,$ we prove that the scattering map is a Banach space isomorphism on $H^{s+n}(S^n)\times H^{s}(S^n),$ for any $s\geq1.$ The main analysis is carried out at the level of the model equation obtained by differentiating the linear wave equation $\frac{n}{2}$ times in the time variable. The main result of the paper follows from proving a scattering theory for this equation. In particular, for the model equation we construct a scattering isomorphism from asymptotic data in $H^{s+\frac{1}{2}}(S^n)\times H^s(S^n)\times H^s(S^n)$ to Cauchy initial data in $H^{s+\frac{1}{2}}(S^n)\times H^{s+\frac{1}{2}}(S^n)\times H^{s-\frac{1}{2}}(S^n)$.


title: Field Theory of the Fermi Function

abstract: The Fermi function $F(Z,E)$ accounts for QED corrections to beta decays that are enhanced at either small electron velocity $\beta$ or large nuclear charge $Z$. For precision applications, the Fermi function must be combined with other radiative corrections and with scale- and scheme-dependent hadronic matrix elements. We formulate the Fermi function as a field theory object and present a new factorization formula for QED radiative corrections to beta decays. We provide new results for the anomalous dimension of the corresponding effective operator complete through three loops, and resum perturbative logarithms and $\pi$-enhancements with renormalization group methods. Our results are important for tests of fundamental physics with precision beta decay and related processes.


title: Efficient Learning of PDEs via Taylor Expansion and Sparse Decomposition into Value and Fourier Domains

abstract: Accelerating the learning of Partial Differential Equations (PDEs) from experimental data will speed up the pace of scientific discovery. Previous randomized algorithms exploit sparsity in PDE updates for acceleration. However such methods are applicable to a limited class of decomposable PDEs, which have sparse features in the value domain. We propose Reel, which accelerates the learning of PDEs via random projection and has much broader applicability. Reel exploits the sparsity by decomposing dense updates into sparse ones in both the value and frequency domains. This decomposition enables efficient learning when the source of the updates consists of gradually changing terms across large areas (sparse in the frequency domain) in addition to a few rapid updates concentrated in a small set of "interfacial" regions (sparse in the value domain). Random projection is then applied to compress the sparse signals for learning. To expand the model applicability, Taylor series expansion is used in Reel to approximate the nonlinear PDE updates with polynomials in the decomposable form. Theoretically, we derive a constant factor approximation between the projected loss function and the original one with poly-logarithmic number of projected dimensions. Experimentally, we provide empirical evidence that our proposed Reel can lead to faster learning of PDE models (70-98% reduction in training time when the data is compressed to 1% of its original size) with comparable quality as the non-compressed models.


title: Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners

abstract: User feedback has grown in importance for organizations to improve software products. Prior studies focused primarily on feedback collection and reported a high-level overview of the processes, often overlooking how practitioners reason about, and act upon this feedback through a structured set of activities. In this work, we conducted an exploratory interview study with 40 practitioners from 32 organizations of various sizes and in several domains such as e-commerce, analytics, and gaming. Our findings indicate that organizations leverage many different user feedback sources. Social media emerged as a key category of feedback that is increasingly critical for many organizations. We found that organizations actively engage in a number of non-trivial activities to curate and act on user feedback, depending on its source. We synthesize these activities into a life cycle of managing user feedback. We also report on the best practices for managing user feedback that we distilled from responses of practitioners who felt that their organization effectively understood and addressed their users' feedback. We present actionable empirical results that organizations can leverage to increase their understanding of user perception and behavior for better products thus reducing user attrition.


title: Spectro-Polarimetric Properties of Sunquake Sources in X1.5 Flare and Evidence for Electron and Proton Beam Impacts

abstract: The first significant sunquake event of Solar Cycle 25 was observed during the X1.5 flare of May 10, 2022, by the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory. We perform a detailed spectro-polarimetric analysis of the sunquake photospheric sources, using the Stokes profiles of the FeI 6173A line, reconstructed from the HMI linear and circular polarized filtergrams. The results show fast variations of the continuum emission with rapid growth and slower decay lasting 3-4 min, coinciding in time with the hard X-ray impulses observed by the Konus instrument onboard the Wind spacecraft. The variations in the line core appeared slightly ahead of the variations in the line wings, showing that the heating started in the higher atmospheric layers and propagated downward. The most significant feature of the line profile variations is the transient emission in the line core in three of the four sources, indicating intense, impulsive heating in the lower chromosphere and photosphere. In addition, the observed variations of the Stokes profiles reflect transient and permanent changes in the magnetic field strength and geometry in the sunquake sources. Comparison with the radiative hydrodynamics models shows that the physical processes in the impulsive flare phase are substantially more complex than those predicted by proton and electron beam flare models currently presented in the literature.


title: Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception

abstract: In this work, we consider the problem of autonomous exploration in search of targets while respecting a fixed energy budget. The robot is equipped with an incremental-resolution symbolic perception module wherein the perception of targets in the environment improves as the robot's distance from targets decreases. We assume no prior information about the total number of targets, their locations as well as their possible distribution within the environment. This work proposes a novel decision-making framework for the resulting constrained sequential decision-making problem by first converting it into a reward maximization problem on a product graph computed offline. It is then solved online as a Mixed-Integer Linear Program (MILP) where the knowledge about the environment is updated at each step, combining automata-based and MILP-based techniques. We demonstrate the efficacy of our approach with the help of a case study and present empirical evaluation in terms of expected regret. Furthermore, the runtime performance shows that online planning can be efficiently performed for moderately-sized grid environments.


title: Predicting reliable H$_2$ column density maps from molecular line data using machine learning

abstract: The total mass estimate of molecular clouds suffers from the uncertainty in the H$_2$-CO conversion factor, the so-called $X_{\rm CO}$ factor, which is used to convert the $^{12}$CO (1--0) integrated intensity to the H$_2$ column density. We demonstrate the machine learning's ability to predict the H$_2$ column density from the $^{12}$CO, $^{13}$CO, and C$^{18}$O (1--0) data set of four star-forming molecular clouds; Orion A, Orion B, Aquila, and M17. When the training is performed on a subset of each cloud, the overall distribution of the predicted column density is consistent with that of the Herschel column density. The total column density predicted and observed is consistent within 10\%, suggesting that the machine learning prediction provides a reasonable total mass estimate of each cloud. However, the distribution of the column density for values $> \sim 2 \times 10^{22}$ cm$^{-2}$, which corresponds to the dense gas, could not be predicted well. This indicates that molecular line observations tracing the dense gas are required for the training. We also found a significant difference between the predicted and observed column density when we created the model after training the data on different clouds. This highlights the presence of different $X_{\rm CO}$ factors between the clouds, and further training in various clouds is required to correct for these variations. We also demonstrated that this method could predict the column density toward the area not observed by Herschel if the molecular line and column density maps are available for the small portion, and the molecular line data are available for the larger areas.


title: Stable In-hand Manipulation with Finger Specific Multi-agent Shadow Reward

abstract: Deep Reinforcement Learning has shown its capability to solve the high degrees of freedom in control and the complex interaction with the object in the multi-finger dexterous in-hand manipulation tasks. Current DRL approaches prefer sparse rewards to dense rewards for the ease of training but lack behavior constraints during the manipulation process, leading to aggressive and unstable policies that are insufficient for safety-critical in-hand manipulation tasks. Dense rewards can regulate the policy to learn stable manipulation behaviors with continuous reward constraints but are hard to empirically define and slow to converge optimally. This work proposes the Finger-specific Multi-agent Shadow Reward (FMSR) method to determine the stable manipulation constraints in the form of dense reward based on the state-action occupancy measure, a general utility of DRL that is approximated during the learning process. Information Sharing (IS) across neighboring agents enables consensus training to accelerate the convergence. The methods are evaluated in two in-hand manipulation tasks on the Shadow Hand. The results show FMSR+IS converges faster in training, achieving a higher task success rate and better manipulation stability than conventional dense reward. The comparison indicates FMSR+IS achieves a comparable success rate even with the behavior constraint but much better manipulation stability than the policy trained with a sparse reward.


title: Curriculum-based Sensing Reduction in Simulation to Real-World Transfer for In-hand Manipulation

abstract: Simulation to Real-World Transfer allows affordable and fast training of learning-based robots for manipulation tasks using Deep Reinforcement Learning methods. Currently, Sim2Real uses Asymmetric Actor-Critic approaches to reduce the rich idealized features in simulation to the accessible ones in the real world. However, the feature reduction from the simulation to the real world is conducted through an empirically defined one-step curtail. Small feature reduction does not sufficiently remove the actor's features, which may still cause difficulty setting up the physical system, while large feature reduction may cause difficulty and inefficiency in training. To address this issue, we proposed Curriculum-based Sensing Reduction to enable the actor to start with the same rich feature space as the critic and then get rid of the hard-to-extract features step-by-step for higher training performance and better adaptation for real-world feature space. The reduced features are replaced with random signals from a Deep Random Generator to remove the dependency between the output and the removed features and avoid creating new dependencies. The methods are evaluated on the Allegro robot hand in a real-world in-hand manipulation task. The results show that our methods have faster training and higher task performance than baselines and can solve real-world tasks when selected tactile features are reduced.


title: Wasserstein Consensus ADMM

abstract: We introduce Wasserstein consensus alternating direction method of multipliers (ADMM) and its entropic-regularized version: Sinkhorn consensus ADMM, to solve measure-valued optimization problems with convex additive objectives. Several problems of interest in stochastic prediction and learning can be cast in this form of measure-valued convex additive optimization. The proposed algorithm generalizes a variant of the standard Euclidean ADMM to the space of probability measures but departs significantly from its Euclidean counterpart. In particular, we derive a two layer ADMM algorithm wherein the outer layer is a variant of consensus ADMM on the space of probability measures while the inner layer is a variant of Euclidean ADMM. The resulting computational framework is particularly suitable for solving Wasserstein gradient flows via distributed computation. We demonstrate the proposed framework using illustrative numerical examples.


title: Tackling the dimensions in imaging genetics with CLUB-PLS

abstract: A major challenge in imaging genetics and similar fields is to link high-dimensional data in one domain, e.g., genetic data, to high dimensional data in a second domain, e.g., brain imaging data. The standard approach in the area are mass univariate analyses across genetic factors and imaging phenotypes. That entails executing one genome-wide association study (GWAS) for each pre-defined imaging measure. Although this approach has been tremendously successful, one shortcoming is that phenotypes must be pre-defined. Consequently, effects that are not confined to pre-selected regions of interest or that reflect larger brain-wide patterns can easily be missed. In this work we introduce a Partial Least Squares (PLS)-based framework, which we term Cluster-Bootstrap PLS (CLUB-PLS), that can work with large input dimensions in both domains as well as with large sample sizes. One key factor of the framework is to use cluster bootstrap to provide robust statistics for single input features in both domains. We applied CLUB-PLS to investigating the genetic basis of surface area and cortical thickness in a sample of 33,000 subjects from the UK Biobank. We found 107 genome-wide significant locus-phenotype pairs that are linked to 386 different genes. We found that a vast majority of these loci could be technically validated at a high rate: using classic GWAS or Genome-Wide Inferred Statistics (GWIS) we found that 85 locus-phenotype pairs exceeded the genome-wide suggestive (P<1e-05) threshold.


title: Anytime-valid inference in N-of-1 trials

abstract: App-based N-of-1 trials offer a scalable experimental design for assessing the effects of health interventions at an individual level. Their practical success depends on the strong motivation of participants, which, in turn, translates into high adherence and reduced loss to follow-up. One way to maintain participant engagement is by sharing their interim results. Continuously testing hypotheses during a trial, known as "peeking", can also lead to shorter, lower-risk trials by detecting strong effects early. Nevertheless, traditionally, results are only presented upon the trial's conclusion. In this work, we introduce a potential outcomes framework that permits interim peeking of the results and enables statistically valid inferences to be drawn at any point during N-of-1 trials. Our work builds on the growing literature on valid confidence sequences, which enables anytime-valid inference with uniform type-1 error guarantees over time. We propose several causal estimands for treatment effects applicable in an N-of-1 trial and demonstrate, through empirical evaluation, that the proposed approach results in valid confidence sequences over time. We anticipate that incorporating anytime-valid inference into clinical trials can significantly enhance trial participation and empower participants.