title: Data-driven design of safe control for polynomial systems

abstract: We consider the problem of designing an invariant set using only a finite set of input-state data collected from an unknown polynomial system in continuous time. We consider noisy data, i.e., corrupted by an unknown-but-bounded disturbance. We derive a data-dependent sum-of-squares program that enforces invariance of a set and also optimizes the size of the invariant set while keeping it within a set of user-defined safety constraints; the solution of this program directly provides a polynomial invariant set and a state-feedback controller. We numerically test the design on a system of two platooning cars.


title: Omni-Seg: A Single Dynamic Network for Multi-label Renal Pathology Image Segmentation using Partially Labeled Data

abstract: Computer-assisted quantitative analysis on Giga-pixel pathology images has provided a new avenue in histology examination. The innovations have been largely focused on cancer pathology (i.e., tumor segmentation and characterization). In non-cancer pathology, the learning algorithms can be asked to examine more comprehensive tissue types simultaneously, as a multi-label setting. The prior arts typically needed to train multiple segmentation networks in order to match the domain-specific knowledge for heterogeneous tissue types (e.g., glomerular tuft, glomerular unit, proximal tubular, distal tubular, peritubular capillaries, and arteries). In this paper, we propose a dynamic single segmentation network (Omni-Seg) that learns to segment multiple tissue types using partially labeled images (i.e., only one tissue type is labeled for each training image) for renal pathology. By learning from ~150,000 patch-wise pathological images from six tissue types, the proposed Omni-Seg network achieved superior segmentation accuracy and less resource consumption when compared to the previous the multiple-network and multi-head design. In the testing stage, the proposed method obtains "completely labeled" tissue segmentation results using only "partially labeled" training images. The source code is available at https://github.com/ddrrnn123/Omni-Seg


title: Fredholm Pfaffian ${\tau}$-functions for orthogonal isospectral and isomonodromic systems

abstract: We extend the approach to ${\tau}$-functions as Widom constants developed by Cafasso, Gavrylenko and Lisovyy to orthogonal loop group Drinfeld-Sokolov hierarchies and isomonodromic deformations systems. The combinatorial expansion of the ${\tau}$-function as a sum of correlators, each expressed as products of finite determinants, follows from using multicomponent fermionic vacuum expectation values of certain dressing operators encoding the initial conditions and the dependence on the flow (or deformation) parameters. When reduced to the orthogonal case, these correlators become finite Pfaffians and the determinantal ${\tau}$-functions, both in the Drinfeld-Sokolov and isomonodromic case, become squares of ${\tau}$-functions of Pfaffian type. The results are illustrated by several examples, consisting of polynomial ${\tau}$-functions of orthogonal Drinfeld-Sokolov type and of isomonodromic ones with four regular singular points.


title: Using Silent Writes in Low-Power Traffic-Aware ECC

abstract: Using Error Detection Code (EDC) and Error Correction Code (ECC) is a noteworthy way to increase cache memories robustness against soft errors. EDC enables detecting errors in cache memory while ECC is used to correct erroneous cache blocks. ECCs are often costly as they impose considerable area and energy overhead on cache memory. Reducing this overhead has been the subject of many studies. In particular, a previous study has suggested mapping ECC to the main memory at the expense of high cache traffic and energy. A major source of this excessive traffic and energy is the high frequency of cache writes. In this work, we show that a significant portion of cache writes are silent, i.e., they write the same data already existing. We build on this observation and introduce Traffic-aware ECC (or simply TCC). TCC detects silent writes by an efficient mechanism. Once such writes are detected updating their ECC is avoided effectively reducing L2 cache traffic and access frequency. Using our solution, we reduce L2 cache access frequency by 8% while maintaining performance. We reduce L2 cache dynamic and overall cache energy by up to 32% and 8%, respectively. Furthermore, TCC reduces L2 cache miss rate by 3%.


title: 3D Skeleton-based Few-shot Action Recognition with JEANIE is not so Na\"ive

abstract: In this paper, we propose a Few-shot Learning pipeline for 3D skeleton-based action recognition by Joint tEmporal and cAmera viewpoiNt alIgnmEnt (JEANIE). To factor out misalignment between query and support sequences of 3D body joints, we propose an advanced variant of Dynamic Time Warping which jointly models each smooth path between the query and support frames to achieve simultaneously the best alignment in the temporal and simulated camera viewpoint spaces for end-to-end learning under the limited few-shot training data. Sequences are encoded with a temporal block encoder based on Simple Spectral Graph Convolution, a lightweight linear Graph Neural Network backbone (we also include a setting with a transformer). Finally, we propose a similarity-based loss which encourages the alignment of sequences of the same class while preventing the alignment of unrelated sequences. We demonstrate state-of-the-art results on NTU-60, NTU-120, Kinetics-skeleton and UWA3D Multiview Activity II.


title: Two-parameter landscape of transport efficiency in mesoscopic networks: transitions from the Braess to normal regimes without a congestion relaxation

abstract: This paper deals with the Braess paradox in quantum transport. The scattering matrix formalism is used to consider a two-parameter family of mesoscopic conductors with the topology of the classical Braess transport network. The study investigates the mutual influence of the congestion and smoothness of the system on the Braess behavior. Both the Braess paradox and normal transport regimes coexist within the two-parametric landscape under the same congestion.


title: The interplay between ranking and communities in networks

abstract: Community detection and hierarchy extraction are usually thought of as separate inference tasks on networks. Considering only one of the two when studying real-world data can be an oversimplification. In this work, we present a generative model based on an interplay between community and hierarchical structures. It assumes that each node has a preference in the interaction mechanism and nodes with the same preference are more likely to interact, while heterogeneous interactions are still allowed. The sparsity of the network is exploited for implementing a more efficient algorithm. We demonstrate our method on synthetic and real-world data and compare performance with two standard approaches for community detection and ranking extraction. We find that the algorithm accurately retrieves the overall node's preference in different scenarios, and we show that it can distinguish small subsets of nodes that behave differently than the majority. As a consequence, the model can recognize whether a network has an overall preferred interaction mechanism. This is relevant in situations where there is no clear "a priori" information about what structure explains the observed network datasets well. Our model allows practitioners to learn this automatically from the data.

categories: cs.SI physics.data-an physics.soc-ph stat.ML


title: Single-mode sapphire fiber Bragg grating

abstract: We present here the inscription of single-mode waveguides with Bragg gratings in sapphire. The waveguide Bragg gratings have a novel multi-layer depressed cladding design in the 1550 nm telecommunications waveband. The Bragg gratings have a narrow bandwidth (<0.5 nm) and have survived annealing at 1000{\deg}C. The structures are inscribed with femtosecond laser direct writing, using adaptive beam shaping with a non-immersion objective. A single-mode sapphire fiber Bragg grating is created by writing a waveguide with a Bragg grating within a 425 {\mu}m diameter sapphire optical fiber, providing significant potential for accurate remote sensing in ultra-extreme environments.


title: Towards more patient friendly clinical notes through language models and ontologies

abstract: Clinical notes are an efficient way to record patient information but are notoriously hard to decipher for non-experts. Automatically simplifying medical text can empower patients with valuable information about their health, while saving clinicians time. We present a novel approach to automated simplification of medical text based on word frequencies and language modelling, grounded on medical ontologies enriched with layman terms. We release a new dataset of pairs of publicly available medical sentences and a version of them simplified by clinicians. Also, we define a novel text simplification metric and evaluation framework, which we use to conduct a large-scale human evaluation of our method against the state of the art. Our method based on a language model trained on medical forum data generates simpler sentences while preserving both grammar and the original meaning, surpassing the current state of the art.


title: Daylight Photometry of Bright Stars -- Observations of Betelgeuse at Solar Conjunction

abstract: Betelgeuse is an important variable star with many observations in the AAVSO database, but there is an annual gap of about four months where Betelgeuse is close to the sun and not observable at night. This gap could be filled with daylight observations. The star is bright enough to be imaged with small telescopes during the day, so photometry is possible when the sun is up. We present V band photometry of Alpha Ori taken with an amateur telescope equipped with an interline-transfer CCD camera and neutral density filter. These data compare favorably with contemporaneous nighttime photometry. The method used is a variation on ensemble photometry (using other bright daytime stars), and involves large stacks of very short exposures. The ensemble method provided V magnitudes of Betelgeuse with calculated errors of 0.020 +-0.008 mag from February to April 2021. From May to July, at the closest distances to the sun, the photometry of Betelgeuse could be continued with mean errors of 0.040 +-0.013 mag.


title: $B\to D \ell \nu_\ell$ form factors beyond leading power and extraction of $|V_{cb}|$ and $R(D)$

abstract: We investigate the subleading-power corrections to the exclusive $B\to D \ell \nu_\ell$ form factors at ${\cal O} (\alpha_s^0)$ in the light-cone sum rules (LCSR) framework by including the two- and three-particle higher-twist contributions from the $B$-meson light-cone distribution amplitudes up to the twist-six accuracy, by taking into account the subleading terms in expanding the hard-collinear charm-quark propagator, and by evaluating the hadronic matrix element of the subleading effective current $\bar q \, \gamma_{\mu} \, i \not\!\!{D}_\perp / (2 \, m_b) \, h_v$. Employing further the available leading-power results for the semileptonic $B \to D$ form factors at the next-to-leading-logarithmic level and combining our improved LCSR predictions with the recent lattice determinations, we then carry out a comprehensive phenomenological analysis on the semi-leptonic $B\to D \ell \nu_\ell$ decay. We extract $|V_{cb}| = \big( 40.2^{+0.6}_{-0.5} {\big |_{\rm th}}\,\, {}^{+1.4}_{-1.4} {\big |_{\rm exp}} \big)\times 10^{-3}$ ($|V_{cb}| = \big( 40.9^{+0.6}_{-0.5} {\big |_{\rm th}}\,\, {}^{+1.0}_{-1.0} {\big |_{\rm exp}} \big)\times 10^{-3}$) using the BaBar (Belle) experimental data, and particularly obtain for the gold-plated ratio $R(D) = 0.302\pm 0.003$.


title: A general multi-scale description of metastable adaptive motion across fitness valleys

abstract: We consider a stochastic individual-based model of adaptive dynamics on a finite trait graph $G=(V,E)$. The evolution is driven by a linear birth rate, a density dependent logistic death rate an the possibility of mutations along the (possibly directed) edges in $E$. We study the limit of small mutation rates for a simultaneously diverging population size. Closing the gap between the works of Bovier, Coquille and Smadi (2019) and Coquille, Kraut and Smadi (2021), we give a precise description of transitions between evolutionary stable conditions (ESC), where multiple mutations are needed to cross a valley in the fitness landscape. The system shows a metastable behaviour on several divergent time scales associated to a degree of stability. We develop the framework of a meta graph that is constituted of ESCs and possible metastable transitions between those. This allows for a concise description of the multi-scale jump chain arising from concatenating several jumps. Finally, for each of the various time scale, we prove the convergence of the population process to a Markov jump process visiting only ESCs of sufficiently high stability.


title: LLT cumulants and graph coloring

abstract: The purpose of this note is to introduce a new family of quasi-symmetric functions called LLT cumulants and discuss its properties. We define LLT cumulants using the algebraic framework for conditional cumulants and we prove that the Macdonald cumulant has an explicit positive expansion in terms of LLT cumulants of ribbon shapes, generalizing the classical decomposition of Macdonald polynomials. We also find a natural combinatorial interpretation of the LLT cumulant of a given directed graph as a weighted generating function of colorings of its subgraphs. We use this graph theoretical framework to prove various positivity results. This includes monomial positivity, positivity in fundamental quasisymmetric functions and related positivity of the coefficients of Schur polynomials indexed by hook shapes. We also prove $e$-positivity for vertical-shape LLT cumulants, after the shift of variable $q \to q+1$, which refines a recent result of Alexandersson and Sulzgruber. All these results give evidence towards Schur-positivity of LLT cumulants, which we conjecture here. We prove that this conjecture implies Schur-positivity of Macdonald cumulants, and we give more evidence by proving the conjecture for LLT cumulants of melting lollipops that refines a recent result of Huh, Nam and Yoo.


title: Effective dynamics of scalar cosmological perturbations from quantum gravity

abstract: We derive an effective dynamics for scalar cosmological perturbations from quantum gravity, in the framework of group field theory (GFT) condensate cosmology. The emergent spacetime picture is obtained from the mean field hydrodynamic regime of the fundamental theory, and physical observables are defined using a relational strategy applied at the same level of approximation, in terms of suitable collective states of the GFT field. The dynamical equations we obtain for volume and matter perturbations lead to the same solutions as those of classical general relativity in the long-wavelength, super-horizon limit, but differ in other regimes. These differences could be of phenomenological interest and make contact between fundamental quantum gravity models and cosmological observations, indicating new physics or limitations of the fundamental models or of the approximations leading to the effective cosmological dynamics.


title: Dynamic Suffix Array with Sub-linear update time and Poly-logarithmic Lookup Time

abstract: The Suffix Array $SA_S[1\ldots n]$ of an $n$-length string $S$ is a lexicographically sorted array of the suffixes of $S$. The suffix array is one of the most well known and widely used data structures in string algorithms. We present a data structure for maintaining a representation of the suffix array of a dynamic string which undergoes symbol substitutions, deletions, and insertions. For every string manipulation, our data structure can be updated in $O(n^{\frac{2}{3}})$ time (ignoring multiplicative polylogarithmic factors) with $n$ being the current length of the string. For an input query $i\in [1\ldots n]$, our data structure reports $SA_S[i]$ in $O(\log^5(n))$ time. We also present a faster data structure, with $O(\sqrt{n})$ update time (ignoring multiplicative polylogarithmic factors), for maintaining the Inverted Suffix Array of a dynamic string undergoing symbol substitutions updates. For an input query $i\in [1\ldots n]$, our data structure reports the $i$'th entry in the inverted suffix array in $O(\log^4(n))$ time. Our data structures can be used to obtain sub-linear dynamic algorithms for several classical string problems for which efficient dynamic solutions were not previously known.


title: Topologization and Functional Analytification II: $\infty$-Categorical Motivic Constructions for Homotopical Contexts

abstract: This is our second scope of the consideration on the corresponding topologization and the corresponding functional analytification. We will focus on the corresponding functorial and motivic constructions in our current consideration. We consider topological motivic derived $I$-adic and derived $(p,I)$-adic cohomologies through derived de Rham complexes of Bhatt, Guo, Illusie, Morrow, Scholze, Frobenius sheaves over Robba rings of Kedlaya-Liu in certain derived $I$-adic and derived $(p,I)$-adic geometric context as what we defined for Bambozzi-Ben-Bassat-Kremnizer $\infty$-prestacks in our previous work in this series. The foundation we will work on will be based on the work of Bambozzi-Ben-Bassat-Kremnizer, Ben-Bassat-Mukherjee, Clausen-Scholze and Kelly-Kremnizer-Mukherjee, in order to promote the construction to even more general homotopical and $\infty$-categorical contexts. This gives us the chance to construct the functional analytic derived prismatic cohomology and derived preperfectoidizations, as well as the functional analytic derived logarithmic prismatic cohomology and derived logarithmic preperfectoidizations after Bhatt-Scholze and Koshikawa, in the framework of Bambozzi-Ben-Bassat-Kremnizer, Ben-Bassat-Mukherjee, Clausen-Scholze and Kelly-Kremnizer-Mukherjee.


title: Primordial Black Hole Formation in Non-Minimal Curvaton Scenario

abstract: In the curvaton scenario, the curvature perturbation is generated after inflation at the curvaton decay, which may have a prominent non-Gaussian effect. For a model with a non-trivial kinetic term, an enhanced curvature perturbation on a small scale can be realized, which can lead to copious production of primordial black holes (PBHs) and induce secondary gravitational waves (GWs). Using the probability distribution function (PDF) which takes full nonlinear effects into account, we calculate the PBH formation. We find that under the assumption that thus formed PBHs would not overclose the universe, the non-Gaussianity of the curvature perturbation can be well approximated by the local quadratic form, which can be used to calculate the induced GWs. In this model the limit of large non-Gaussianity can be reached when the curvaton energy fraction $r$ is small at the moment of curvaton decay. We also show that in the $r\to1$ limit the PDF is similar to that of ultraslow-roll inflation.


title: A Point-free Perspective on Lax extensions and Predicate liftings

abstract: Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax extensions and predicate liftings from the point of view of quantale-enriched relations. Using this perspective, we show in particular that various fundamental concepts and results arise naturally and their proofs become very elementary. Ultimately, we prove that every lax extension is induced by a class of predicate liftings; we discuss several implications of this result.


title: Spectral Expansion for the Non-self-adjoint Differential Operators with the Periodic Matrix Coefficients

abstract: In this paper we construct the spectral expansion for the non-self-adjoint differential operators generated in the space of vektor functions by the ordinary differential expression of arbitrary order with the periodic matrix coefficients by using the essential spectral singularities, singular quasimomenta and the series with parenthesis.


title: Free Quotients of Favorable Calabi-Yau Manifolds

abstract: Non-simply connected Calabi-Yau threefolds play a central role in the study of string compactifications. Such manifolds are usually described by quotienting a simply connected Calabi-Yau variety by a freely acting discrete symmetry. For the Calabi-Yau threefolds described as complete intersections in products of projective spaces, a classification of such symmetries descending from linear actions on the ambient spaces of the varieties has been given in the literature. However, which symmetries can be described in this manner depends upon the description that is being used to represent the manifold. In recent work new, favorable, descriptions were given of this data set of Calabi-Yau threefolds. In this paper, we perform a classification of cyclic symmetries that descend from linear actions on the ambient spaces of these new favorable descriptions. We present a list of 129 symmetries/non-simply connected Calabi-Yau threefolds. Of these, at least 33, and potentially many more, are topologically new varieties.


title: Carroll Expansion of General Relativity

abstract: We study the small speed of light expansion of general relativity, utilizing the modern perspective on non-Lorentzian geometry. This is an expansion around the ultra-local Carroll limit, in which light cones close up. To this end, we first rewrite the Einstein-Hilbert action in pre-ultra-local variables, which is closely related to the 3+1 decomposition of general relativity. At leading order in the expansion, these pre-ultra-local variables yield Carroll geometry and the resulting action describes the electric Carroll limit of general relativity. We also obtain the next-to-leading order action in terms of Carroll geometry and next-to-leading order geometric fields. The leading order theory yields constraint and evolution equations, and we can solve the evolution analytically. We furthermore construct a Carroll version of Bowen-York initial data, which has associated conserved boundary linear and angular momentum charges. The notion of mass is not present at leading order and only enters at next-to-leading order. This is illustrated by considering a particular truncation of the next-to-leading order action, corresponding to the magnetic Carroll limit, where we find a solution that describes the Carroll limit of a Schwarzschild black hole. Finally, we comment on how a cosmological constant can be incorporated in our analysis.


title: Dynamic Page Placement on Real Persistent Memory Systems

abstract: As persistent memory (PM) technologies emerge, hybrid memory architectures combining DRAM with PM bring the potential to provide a tiered, byte-addressable main memory of unprecedented capacity. Nearly a decade after the first proposals for these hybrid architectures, the real technology has finally reached commercial availability with Intel Optane(TM) DC Persistent Memory (DCPMM). This raises the challenge of designing systems that realize this potential in practice, namely through effective approaches that dynamically decide at which memory tier should pages be placed. In this paper, we are the first, to our knowledge, to systematically analyze tiered page placement on real DCPMM-based systems. To this end, we start by revisiting the assumptions of state-of-the-art proposals, and confronting them with the idiosyncrasies of today's off-the-shelf DCPMM-equipped architectures. This empirical study reveals that some of the key design choices in the literature rely on important assumptions that are not verified in present-day DRAM-DCPMM memory architectures. Based on the lessons from this study, we design and implement HyPlacer, a tool for tiered page placement in off-the-shelf Linux-based systems equipped with DRAM+DCPMM. In contrast to previous proposals, HyPlacer follows an approach guided by two main practicality principles: 1) it is tailored to the performance idiosyncrasies of off-theshelf DRAM+DCPMM systems; and 2) it can be seamlessly integrated into Linux with minimal kernel-mode components, while ensuring extensibility to other HMAs and other data placement policies. Our experimental evaluation of HyPlacer shows that it outperforms both solutions proposed in past literature and placement options that are currently available in off-the-shelf DCPMM-equipped Linux systems, reaching an improvement of up to 11x when compared to the default memory policy in Linux.


title: Classical and Quantum Evolution in a Simple Coherent Neutrino Problem

abstract: The extraordinary neutrino flux produced in extreme astrophysical environments like the early universe, core-collapse supernovae and neutron star mergers may produce coherent quantum neutrino oscillations on macroscopic length scales. The Hamiltonian describing this evolution can be mapped into quantum spin models with all-to-all couplings arising from neutrino-neutrino forward scattering. To date many studies of these oscillations have been performed in a mean-field limit where the neutrinos time evolve in a product state. In this paper we examine a simple two-beam model evolving from an initial product state and compare the mean-field and many-body evolution. The symmetries in this model allow us to solve the real-time evolution for the quantum many-body system for hundreds or thousands of spins, far beyond what would be possible in a more general case with an exponential number ($2^N$) of quantum states. We compare mean-field and many-body solutions for different initial product states and ratios of one- and two-body couplings, and find that in all cases in the limit of infinite spins the mean-field (product state) and many-body solutions coincide for simple observables. This agreement can be understood as a consequence of the fact that the typical initial condition represents a very local but dense distribution about a mean energy in the spectrum of the Hamiltonian. We explore quantum information measures like entanglement entropy and purity of the many-body solutions, finding intriguing relationships between the quantum information measures and the dynamical behavior of simple physical observables.


title: Can Negative Capacitance Induce Superconductivity?

abstract: Superconductivity was originally observed in 3D metals caused by an effective attraction between electrons mediated by the electron-phonon interaction. Since then there has been a lot of work on 2D conductors including the possibility of alternative mechanisms that can lead to an effective attractive interaction. Inspired by the experimental demonstration of both steady-state and transient negative capacitance in a variety of structures, this paper investigates the possibility of superconductivity in a two-dimensional conductor embedded in a negative permittivity medium whose role is to turn the normally repulsive Coulomb interaction into an attractive one. A weak coupling BCS theory is used to identify the key parameters that have to be optimized to observe a superconducting transition, especially the need for a small effective negative permittivity, which could be obtained by balancing a negative permittivity medium with a positive permittivity one.


title: Minimal presentations of gln-web categories

abstract: In this paper we study categories of gln-webs which describe associated representation categories of the quantum group Uq(gln). We give a minimal presentation of the category of gln-webs over a field with generic quantum parameters. We additionally describe an integral presentation which differs from others in the literature because it is "as coefficient-free as possible".


title: Shannon theory beyond quantum: information content of a source

abstract: The information content of a source is defined in terms of the minimum number of bits needed to store the output of the source in a perfectly recoverable way. A similar definition can be given in the case of quantum sources, with qubits replacing bits. In the mentioned cases the information content can be quantified through Shannon's and von Neumann's entropy, respectively. Here we extend the definition of information content to operational probabilistic theories, and prove relevant properties as the subadditivity, and the relation between purity and information content of a state. We prove the consistency of the present notion of information content when applied to the classical and the quantum case. Finally, the relation with one of the notions of entropy that can be introduced in general probabilistic theories, the maximum accessible information, is given in terms of a lower bound.


title: Spectrum of kinetic plasma turbulence at 0.3-0.9 astronomical units from the Sun

abstract: We investigate spectral properties of turbulence in the solar wind that is a weakly collisional astrophysical plasma, accessible to in-situ observations. Using the Helios search coil magnetometer measurements in the fast solar wind, in the inner heliosphere, we focus on properties of the turbulent magnetic fluctuations at scales smaller than the ion characteristic scales, the so-called kinetic plasma turbulence. At such small scales, we show that the magnetic power spectra between 0.3 and 0.9 AU from the Sun have a generic shape $\sim f^{-8/3}\exp{(-f/f_d)}$ where the dissipation frequency $f_d$ is correlated with the Doppler shifted frequency $f_{\rho e}$ of the electron Larmor radius. This behavior is statistically significant: all the observed kinetic spectra are well described by this model, with $f_d = f_{\rho e}/1.8$. Our results indicate that the electron gyroradius plays the role of the dissipation scale and marks the end of the electromagnetic cascade in the solar wind.


title: Fully non-linear elliptic equations on compact hyperhermitian manifolds with a flat hyperk\"ahler metric

abstract: Mainly motivated by a conjecture of Alesker and Verbitsky, we study a class of elliptic equations on compact hyperhermitian manifolds. By adapting the approach of Sz\'ekelyhidi to the hypercomplex setting, we prove some a priori estimates for solutions to such equations. In the estimate of the Laplacian we assume the existence of a flat hyperk\"ahler metric. As an application of our results we prove that the quaternionic analogue of the Hessian equation can always be solved on compact flat hyperk\"ahler manifolds.


title: XDWM: A 2D Domain Wall Memory

abstract: Domain-Wall Memory (DWM) structures typically bundle nanowires shifted together for parallel access. Ironically, this organization does not allow the natural shifting of DWM to realize \textit{logical shifting} within data elements. We describe a novel 2-D DWM cross-point (X-Cell) that allows two individual nanowires placed orthogonally to share the X-Cell. Each nanowire can operate independently while sharing the value at the X-Cell. Using X-Cells, we propose an orthogonal nanowire in the Y dimension overlaid on a bundle of X dimension nanowires for a cross-DWM or XDWM. We demonstrate that the bundle shifts correctly in the X-Direction, and that data can be logically shifted in the Y-direction providing novel data movement and supporting processing-in-memory. We conducted studies on the requirements for physical cell dimensions and shift currents for XDWM. Due to the non-standard domain, our micro-magnetic studies demonstrate that XDWM introduces a shift current penalty of 6.25% while shifting happens in one nanowire compared to a standard nanowire. We also demonstrate correct shifting using nanowire bundles in both the X- and Y- dimensions. Using magnetic simulation to derive the values for SPICE simulation we show the maximum leakage current between nanowires when shifting the bundle together is $\le3$% indicating that sneak paths are not problematic for XDWM.


title: Deadlock-free asynchronous message reordering in Rust with multiparty session types

abstract: Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing. Unfortunately, arbitrarily ordering sending and receiving messages to maximise computation-communication overlap (a popular optimisation to message-passing applications) opens up a Pandora's box of further subtle concurrency bugs. To guarantee deadlock-freedom by construction, we present Rumpsteak: a new Rust framework based on multiparty session types. Previous session type implementations in Rust are either built upon synchronous and blocking communication and/or limited to two-party interactions. Crucially, none support the arbitrary ordering of messages for efficiency. Rumpsteak instead targets asynchronous async/await code. Its unique ability is allowing developers to arbitrarily order send/receive messages while preserving deadlock-freedom. For this, Rumpsteak incorporates two recent advanced session type theories: (1) k-multiparty compatibility (kmc), which globally verifies the safety of a set of participants, and (2) asynchronous multiparty session subtyping, which locally verifies optimisations in the context of a single participant. Specifically, we propose a novel algorithm for asynchronous subtyping that is both sound and decidable. We first evaluate the performance and expressiveness of Rumpsteak against three previous Rust implementations. We discover that Rumpsteak is around 1.7--8.6x more efficient and can safely express many more examples by virtue of offering arbitrary message ordering. Secondly, we analyse the complexity of our new algorithm and benchmark it against kmc and a binary session subtyping algorithm. We find they are exponentially slower than Rumpsteak's.


title: Functional Estimation of Anisotropic Covariance and Autocovariance Operators on the Sphere

abstract: We propose nonparametric estimators for the second-order central moments of possibly anisotropic spherical random fields, within a functional data analysis context. We consider a measurement framework where each random field among an identically distributed collection of spherical random fields is sampled at a few random directions, possibly subject to measurement error. The collection of random fields could be i.i.d. or serially dependent. Though similar setups have already been explored for random functions defined on the unit interval, the nonparametric estimators proposed in the literature often rely on local polynomials, which do not readily extend to the (product) spherical setting. We therefore formulate our estimation procedure as a variational problem involving a generalized Tikhonov regularization term. The latter favours smooth covariance/autocovariance functions, where the smoothness is specified by means of suitable Sobolev-like pseudo-differential operators. Using the machinery of reproducing kernel Hilbert spaces, we establish representer theorems that fully characterize the form of our estimators. We determine their uniform rates of convergence as the number of random fields diverges, both for the dense (increasing number of spatial samples) and sparse (bounded number of spatial samples) regimes. We moreover demonstrate the computational feasibility and practical merits of our estimation procedure in a simulation setting, assuming a fixed number of samples per random field. Our numerical estimation procedure leverages the sparsity and second-order Kronecker structure of our setup to reduce the computational and memory requirements by approximately three orders of magnitude compared to a naive implementation would require.


title: Cosmological Scattering Equations at Tree-level and One-loop

abstract: We recently proposed a formula for tree-level $n$-point correlators of massive $\phi^4$ theory in de Sitter momentum space which consists of an integral over $n$ punctures on the Riemann sphere and differential operators in the future boundary dubbed the cosmological scattering equations. This formula was explicitly checked up to six points via a map to Witten diagrams using the global residue theorem. In this work we provide further details of these calculations and present an alternative formulation based on a double cover of the Riemann sphere. This framework can be used to derive simple graphical rules for evaluating the integrals more efficiently. Using these rules, we check the validity of our formula up to eight points and sketch the derivation of $n$-point correlators. Finally, we propose a similar formula for 1-loop $n$-point correlators in terms of an integral over $(n+2)$ punctures on the Riemann sphere, which we verify at four points. The 1-loop formula holds for small masses in de Sitter space and arbitrary masses satisfying the Breitenlohner-Freedman bound after Wick-rotating to Anti-de Sitter space.


title: The passage of a vortex electron over an inclined grating

abstract: We study Smith-Purcell radiation from a conducting grating generated by an inclined passage of a shaped electron wave packet with an electric quadrupole moment in the non-paraxial regime. Spreading of an asymmetric wave packet induces quadrupole corrections to the radiation field. Although the non-paraxial corrections stay small, they are dynamically enhanced during the interaction of the electron with the grating whose length exceeds the Rayleigh length of the packet. To simplify the possible experimental setup where such effects could be measured, we study the dependence of these effects on the inclination angle, i.e. the angle between the mean velocity of the packet and the surface of the grating. There is a minimal angle such that the multipole expansion always stays valid at the grating surface. In such a regime, the quadrupole contribution to the Smith-Purcell radiation can become the leading one, which represents a novel quantum effect impossible for classical point-like electrons. Thus, the impact of the wave-packet shape (vortex structure or non-spherical shape) can be observed experimentally by comparing the radiation for different orientations of the grating in the single-electron regime.


title: The role of noise in PIC and Vlasov simulations of the Buneman instability

abstract: The effects of noise in particle-in-cell (PIC) and Vlasov simulations of the Buneman instability in unmagnetized plasmas are studied. It is found that, in the regime of low drift velocity, the linear stage of the instability in PIC simulations differs significantly from the theoretical predictions, whereas in the Vlasov simulations it does not. A series of highly resolved PIC simulations with increasingly large numbers of macroparticles per cell is performed using a number of different PIC codes. All the simulations predict highly similar growth rates that are several times larger than those calculated from the linear theory. As a result, we find that the true convergence of the PIC simulations in the linear regime is elusive to achieve in practice and can easily be misidentified. The discrepancy between the theoretical and observed growth rates is attributed to the initial noise inherently present in PIC simulations, but not in Vlasov simulations, that causes particle trapping even though the fraction of trapped particles is low. We show analytically that even weak distortions of the electron velocity distribution function (such as flattening due to particle trapping) result in significant modifications of the growth rates. It is also found that the common quiet-start method for PIC simulations leads to more accurate growth rates but only if the maximum growth rate mode is perturbed initially. We demonstrate that the quiet-start method does not completely remedy the noise problem because the simulations generally exhibit inconsistencies with the linear theory.

categories: physics.plasm-ph cs.NA math.NA physics.comp-ph


title: Boundary driven Markov gas: duality and scaling limits

abstract: Inspired by the recent work of Bertini and Posta, who introduced the boundary driven Brownian gas on $[0,1]$, we study boundary driven systems of independent particles in a general setting, including particles jumping on finite graphs and diffusion processes on bounded domains in $\mathbb{R}^d$. We prove duality with a dual process that is absorbed at the boundaries, thereby creating a general framework that unifies dualities for boundary driven systems in the discrete and continuum setting. We use duality first to show that from any initial condition the systems evolve to the unique invariant measure, which is a Poisson point process with intensity the solution of a Dirichlet problem. Second, we show how the boundary driven Brownian gas arises as the diffusive scaling limit of a system of independent random walks coupled to reservoirs with properly rescaled intensity.


title: 3HDM with $\Delta(27)$ symmetry and its phenomenological consequences

abstract: We perform a comprehensive analysis of a version of the 3-Higgs doublet model whose scalar potential is invariant under a global $\Delta(27)$ discrete symmetry and where the three scalar doublets are chosen to transform as a triplet under this discrete group. For each of the known tree-level minima we study the mass spectra and use the oblique parameters $STU$ as well as perturbative unitarity to constrain the parameter space of the model. We then discuss phenomenological consequences of some leading order flavour mixing quark Yukawa couplings by considering the flavour violation process $b \to s \gamma$. We show that perturbative unitarity significantly constrains parameters of the model while, conversely, the beyond the Standard Model contributions to the $b \to s \gamma$ decay are automatically tamed by the symmetry.


title: Extreme Beam-forming with Impedance Metasurfaces Featuring Embedded Sources and Auxiliary Surface Wave Optimization

abstract: We present the end-to-end design of compact passive and lossless metasurface (MTS) antennas with integrated feeds. The complete low-profile system consists of a single-layered reactive impedance MTS printed on top of a grounded dielectric substrate, and is fed by sources which are embedded inside the substrate. An accurate and efficient volume-surface integral equation-based model of the device is developed, and used as the basis for the rapid optimization of its performance. The optimized designs leverage tailored auxiliary surface waves supported by the impedance MTS to distribute the localized source power across their apertures. This facilitates the realization of extreme field transformations such as wide-angle beam-forming or shared-aperture beam-forming, with nearly 100% aperture efficiencies. The procedure also allows for arbitrary beam-shaping with complete main beam and side lobe control. We also derive several feasibility-related constraints, which can significantly enhance the power efficiency as well as the bandwidth of the MTS antennas when they are implemented in practice. Full-wave numerical simulations confirm the effectiveness of the presented approach, as well as the extreme field transformation capabilities of the synthesized designs.


title: Interacting dark sector from the trace-free Einstein equations: cosmological perturbations with no instability

abstract: In trace-free Einstein gravity, the stress-energy tensor of matter is not necessarily conserved and so the theory offers a natural framework for interacting dark energy models where dark energy has a constant equation of state $w=-1$. We derive the equations of motion for linear cosmological perturbations in interacting dark energy models of this class, focusing on the scalar sector. Then, we consider a specific model where the energy-momentum transfer potential is proportional to the energy density of cold dark matter; this transfer potential has the effect of inducing an effective equation of state $w_{\rm eff}\neq0$ for cold dark matter. We analyze in detail the evolution of perturbations during radiation domination on super-Hubble scales, finding that the well-known large-scale instability that affects a large class of interacting dark energy models is absent in this model. To avoid a gradient instability, energy must flow from dark matter to dark energy. Finally, we show that interacting dark energy models with $w=-1$ are equivalent to a class of generalized dark matter models.


title: TagLab: A human-centric AI system for interactive semantic segmentation

abstract: Fully automatic semantic segmentation of highly specific semantic classes and complex shapes may not meet the accuracy standards demanded by scientists. In such cases, human-centered AI solutions, able to assist operators while preserving human control over complex tasks, are a good trade-off to speed up image labeling while maintaining high accuracy levels. TagLab is an open-source AI-assisted software for annotating large orthoimages which takes advantage of different degrees of automation; it speeds up image annotation from scratch through assisted tools, creates custom fully automatic semantic segmentation models, and, finally, allows the quick edits of automatic predictions. Since the orthoimages analysis applies to several scientific disciplines, TagLab has been designed with a flexible labeling pipeline. We report our results in two different scenarios, marine ecology, and architectural heritage.


title: Digital Editions as Distant Supervision for Layout Analysis of Printed Books

abstract: Archivists, textual scholars, and historians often produce digital editions of historical documents. Using markup schemes such as those of the Text Encoding Initiative and EpiDoc, these digital editions often record documents' semantic regions (such as notes and figures) and physical features (such as page and line breaks) as well as transcribing their textual content. We describe methods for exploiting this semantic markup as distant supervision for training and evaluating layout analysis models. In experiments with several model architectures on the half-million pages of the Deutsches Textarchiv (DTA), we find a high correlation of these region-level evaluation methods with pixel-level and word-level metrics. We discuss the possibilities for improving accuracy with self-training and the ability of models trained on the DTA to generalize to other historical printed books.


title: Deterministic Parallel Hypergraph Partitioning

abstract: Balanced hypergraph partitioning is a classical NP-hard optimization problem with applications in various domains such as VLSI design, simulating quantum circuits, optimizing data placement in distributed databases or minimizing communication volume in high-performance computing. Engineering parallel heuristics for this problem is a topic of recent research. Most of them are non-deterministic though. In this work, we design and implement a highly scalable deterministic algorithm in the state-of-the-art parallel partitioning framework Mt-KaHyPar. On our extensive set of benchmark instances, it achieves similar partition quality and performance as a comparable but non-deterministic configuration of Mt-KaHyPar and outperforms the only other existing parallel deterministic algorithm BiPart regarding partition quality, running time and parallel speedups.


title: Explainable Artificial Intelligence Methods in Combating Pandemics: A Systematic Review

abstract: Despite the myriad peer-reviewed papers demonstrating novel Artificial Intelligence (AI)-based solutions to COVID-19 challenges during the pandemic, few have made significant clinical impact. The impact of artificial intelligence during the COVID-19 pandemic was greatly limited by lack of model transparency. This systematic review examines the use of Explainable Artificial Intelligence (XAI) during the pandemic and how its use could overcome barriers to real-world success. We find that successful use of XAI can improve model performance, instill trust in the end-user, and provide the value needed to affect user decision-making. We introduce the reader to common XAI techniques, their utility, and specific examples of their application. Evaluation of XAI results is also discussed as an important step to maximize the value of AI-based clinical decision support systems. We illustrate the classical, modern, and potential future trends of XAI to elucidate the evolution of novel XAI techniques. Finally, we provide a checklist of suggestions during the experimental design process supported by recent publications. Common challenges during the implementation of AI solutions are also addressed with specific examples of potential solutions. We hope this review may serve as a guide to improve the clinical impact of future AI-based solutions.


title: Status of NNLO QCD corrections for process with one or more jets in the final state at the LHC

abstract: The abundant amount of data to be collected by the ATLAS and CMS collaborations in future runs of the Large Hadron Collider at CERN opens up a new era of precision physics. Some of the most prominent precision observables are related to processes with one or more jets in the final state. In order to fully exploit the potential of the LHC and the HL-LHC, it is imperative to make theoretical predictions at the level of accuracy that matches or even exceeds that of the upcoming measurements. In this talk we present a review of the status of theoretical predictions including NNLO QCD corrections for process with one or more jets in the final state at the LHC.


title: Improving Robustness and Uncertainty Modelling in Neural Ordinary Differential Equations

abstract: Neural ordinary differential equations (NODE) have been proposed as a continuous depth generalization to popular deep learning models such as Residual networks (ResNets). They provide parameter efficiency and automate the model selection process in deep learning models to some extent. However, they lack the much-required uncertainty modelling and robustness capabilities which are crucial for their use in several real-world applications such as autonomous driving and healthcare. We propose a novel and unique approach to model uncertainty in NODE by considering a distribution over the end-time $T$ of the ODE solver. The proposed approach, latent time NODE (LT-NODE), treats $T$ as a latent variable and apply Bayesian learning to obtain a posterior distribution over $T$ from the data. In particular, we use variational inference to learn an approximate posterior and the model parameters. Prediction is done by considering the NODE representations from different samples of the posterior and can be done efficiently using a single forward pass. As $T$ implicitly defines the depth of a NODE, posterior distribution over $T$ would also help in model selection in NODE. We also propose, adaptive latent time NODE (ALT-NODE), which allow each data point to have a distinct posterior distribution over end-times. ALT-NODE uses amortized variational inference to learn an approximate posterior using inference networks. We demonstrate the effectiveness of the proposed approaches in modelling uncertainty and robustness through experiments on synthetic and several real-world image classification data.


title: String-net construction of RCFT correlators

abstract: We use string-net models to accomplish a direct, purely two-dimensional, approach to correlators of two-dimensional rational conformal field theories. We obtain concise geometric expressions for the objects describing bulk and boundary fields in terms of idempotents in the cylinder category of the underlying modular fusion category, comprising more general classes of fields than is standard in the literature. Combining these idempotents with Frobenius graphs on the world sheet yields string nets that form a consistent system of correlators, i.e. a system of invariants under appropriate mapping class groups that are compatible with factorization. Using markings, we extract operator products of field objects from specific correlators; the resulting operator products are natural algebraic expressions that make sense beyond semisimplicity. We also derive an Eckmann-Hilton relation internal to a braided category, thereby demonstrating the utility of string nets for understanding algebra in braided tensor categories. Finally we introduce the notion of a universal correlator. This systematizes the treatment of situations in which different world sheets have the same correlator and allows for the definition of a more comprehensive mapping class group.


title: Data-driven Safety Verification of Stochastic Systems via Barrier Certificates

abstract: In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unknown discrete-time continuous-space stochastic systems. The proposed framework is based on a notion of barrier certificates together with data collected from trajectories of unknown systems. We first reformulate the barrier-based safety verification as a robust convex problem (RCP). Solving the acquired RCP is hard in general because not only the state of the system lives in a continuous set, but also and more problematic, the unknown model appears in one of the constraints of RCP. Instead, we leverage a finite number of data, and accordingly, the RCP is casted as a scenario convex problem (SCP). We then relate the optimizer of the SCP to that of the RCP, and consequently, we provide a safety guarantee over the unknown stochastic system with a priori guaranteed confidence. We apply our approach to an unknown room temperature system by collecting sampled data from trajectories of the system and verify formally that temperature of the room lies in a comfort zone for a finite time horizon with a desired confidence.


title: Anomalous acoustoelectric effect induced by clapping modes in chiral superconductors

abstract: Clapping modes, which are relative amplitude and phase modes between two chiral components of Cooper pairs, are bosonic collective modes inherent to chiral superconductors. These modes behave as long-lived bosons with masses smaller than the threshold energy, $2|\Delta|$, for decay into unbound fermion pairs. Here, we clarify that the real/imaginary clapping modes in chiral superconductors directly couple to acoustic wave propagation when the weak particle-hole asymmetry of the normal state quasiparticle dispersion is taken into account. The clapping modes driven by an acoustic wave generate an alternating electric current, that is, the acoustoelectric effect in superconductors. Significantly, the clapping modes give rise to a transverse electric current. When the sound velocity is comparable to the Fermi velocity, as in heavy fermion compounds, the transverse current is resonantly enhanced at energy below the threshold for continuum excitations. This resonance provides a smoking-gun evidence of chiral superconductivity.


title: On toric Hermitian ALF gravitational instantons

abstract: We give a classification of toric, Hermitian, Ricci flat, ALF Riemannian metrics in dimension 4, including metrics with conical singularities. The only smooth examples are on one hand the hyperKaehler ALF metrics, on the other hand, the Kerr, Taub-NUT and Chen-Teo metrics. There are examples with conical singularities with infinitely many distinct topologies. We provide explicit formulas.


title: Adsorption of water on the pristine and defective semiconducting 2D CrPX$_3$ monolayers (X: S, Se)

abstract: The effect of vacancy and water adsorption on the electronic structure of semiconducting 2D trichalcogenide material CrPX$_3$ (X: S, Se) is studied using state-of-the-art density functional theory (DFT) approach. It is found that chalcogen vacancies play a minor role on the electronic structure of CrPX$_3$ in the vicinity of the Fermi level leading to the slightly reduced band gap for these materials, however, inducing strongly localised defect states which are placed in the energy gap formed by the valence band states. Our DFT calculations show that the interaction of water molecules with CrPX$_3$, pristine and defective, can be described as physisorption and the adsorption energy for H$_2$O is insensitive to the difference between pristine and chalcogen-defective surface of trichalcogenide material. These results are the first steps for the theoretical description of the ambient molecules interaction with 2D semiconducting CrPX$_3$ material, that is important for its future experimental studies and possible applications.


title: Modeling Implicit Bias with Fuzzy Cognitive Maps

abstract: This paper presents a Fuzzy Cognitive Map model to quantify implicit bias in structured datasets where features can be numeric or discrete. In our proposal, problem features are mapped to neural concepts that are initially activated by experts when running what-if simulations, whereas weights connecting the neural concepts represent absolute correlation/association patterns between features. In addition, we introduce a new reasoning mechanism equipped with a normalization-like transfer function that prevents neurons from saturating. Another advantage of this new reasoning mechanism is that it can easily be controlled by regulating nonlinearity when updating neurons' activation values in each iteration. Finally, we study the convergence of our model and derive analytical conditions concerning the existence and unicity of fixed-point attractors.


title: Second-order accurate normal reconstruction from volume fractions on unstructured meshes with arbitrary polyhedral cells

abstract: This paper introduces a novel method for the efficient second-order accurate computation of normal fields from volume fractions on unstructured polyhedral meshes. Locally, i.e. in each mesh cell, an averaged normal is reconstructed by fitting a plane in a least squares sense to the volume fraction data of neighboring cells while implicitly accounting for volume conservation in the cell at hand. The resulting minimization problem is solved approximately by employing a Newton-type method. Moreover, applying the Reynolds transport theorem allows to assess the regularity of the derivatives. Since the divergence theorem implies that the volume fraction can be cast as a sum of face-based quantities, our method considerably simplifies the numerical procedure for applications in three spatial dimensions while demonstrating an inherent ability to robustly deal with unstructured meshes. We discuss the theoretical foundations, regularity and appropriate error measures, along with the details of the numerical algorithm. Finally, numerical results for convex and non-convex hypersurfaces embedded in cuboidal and tetrahedral meshes are presented, where we obtain second-order convergence for the normal alignment and symmetric volume difference. Moreover, the findings are substantiated by completely new deep insights into the minimization procedure.


title: Measure-valued low Mach number limits of ideal fluids

abstract: As a framework for handling low Mach number limits we consider a notion of measure-valued solution of the incompressible Euler system which explicitly formulates the usually suppressed dependence on the pressure variable. We clarify in which sense such a measure-valued solution is generated as a low Mach limit and state sufficient conditions for this convergence. For the special case of pressure-free solutions we are able to give such sufficient conditions only on the incompressible solution itself. As a necessary condition for low Mach limits we obtain a Jensen-type inequality. The same necessary condition actually holds true for limits of weak solutions or vanishing viscosity limits. We illustrate that this Jensen inequality is not trivially fulfilled. Since measure-valued solutions in the classical sense are always generated by weak solutions, this shows that our solution concept contains more information and low Mach limits lead to a partial selection criterion for incompressible solutions.


title: Plane point sets with many squares or isosceles right triangles

abstract: How many squares are spanned by $n$ points in the plane? Here we study the corresponding maximum possible number $S_{\square}(n)$ of squares and determine the exact values for all $n\le 17$. For $18\le n\le 100$ we give lower bounds for $S_{\square}(n)$. Besides that a few preliminary structural results are obtained. For the related problem of the maximum possible number of isosceles right triangles we determine the exact values for $n\le 14$ and give lower bounds for $15\le n\le 50$.


title: Forward Composition Propagation for Explainable Neural Reasoning

abstract: This paper proposes an algorithm called Forward Composition Propagation (FCP) to explain the predictions of feed-forward neural networks operating on structured classification problems. In the proposed FCP algorithm, each neuron is described by a composition vector indicating the role of each problem feature in that neuron. Composition vectors are initialized using a given input instance and subsequently propagated through the whole network until reaching the output layer. The sign of each composition value indicates whether the corresponding feature excites or inhibits the neuron, while the absolute value quantifies its impact. The FCP algorithm is executed on a post-hoc basis, i.e., once the learning process is completed. Aiming to illustrate the FCP algorithm, this paper develops a case study concerning bias detection in a fairness problem in which the ground truth is known. The simulation results show that the composition values closely align with the expected behavior of protected features. The source code and supplementary material for this paper are available at https://github.com/igraugar/fcp.


title: Next Generation Observatories -- Report from the Dawn VI Workshop; October 5-7 2021

abstract: The workshop Dawn VI: Next Generation Observatories took place online over three days, 5-7 October, 2021. More than 200 physicists and astronomers attended to contribute to, and learn from, a discussion of next-generation ground-based gravitational-wave detectors. The program was centered on the next generation of ground-based gravitational-wave observatories and their synergy with the greater landscape of scientific observatories of the 2030s. Cosmic Explorer (CE), a concept developed with US National Science Foundation support, was a particular focus; Einstein Telescope (ET), the European next generation concept, is an important complement and partner in forming a network. The concluding summary of the meeting expressed the sentiment that the observational science accessible to CE and ET, also in combination with data from other non-GW observatories, will stimulate a very broad community of analysts and yield insights which are exciting given the access to GWs from the entire universe. The need, and desire, for closer collaboration between ET and CE was expressed; a three-detector network is optimal for delivering much of the science. The science opportunities afforded by CE and ET are broad and compelling, impacting a wide range of disciplines in physics and high energy astrophysics. There was a consensus that CE is a concept that can deliver the promised science. A strong endorsement of Cosmic Explorer, as described in the CE Horizon Study, is a primary outcome of DAWN VI.


title: A general framework for penalized mixed-effects multitask learning with applications on DNA methylation surrogate biomarkers creation

abstract: Recent evidence highlights the usefulness of DNA methylation (DNAm) biomarkers as surrogates for exposure to risk factors for non-communicable diseases in epidemiological studies and randomized trials. DNAm variability has been demonstrated to be tightly related to lifestyle behavior and exposure to environmental risk factors, ultimately providing an unbiased proxy of an individual state of health. At present, the creation of DNAm surrogates relies on univariate penalized regression models, with elastic-net regularizer being the gold standard when accomplishing the task. Nonetheless, more advanced modeling procedures are required in the presence of multivariate outcomes with a structured dependence pattern among the study samples. In this work we propose a general framework for mixed-effects multitask learning in presence of high-dimensional predictors to develop a multivariate DNAm biomarker from a multi-center study. A penalized estimation scheme based on an expectation-maximization algorithm is devised, in which any penalty criteria for fixed-effects models can be conveniently incorporated in the fitting process. We apply the proposed methodology to create novel DNAm surrogate biomarkers for multiple correlated risk factors for cardiovascular diseases and comorbidities. We show that the proposed approach, modeling multiple outcomes together, outperforms state-of-the-art alternatives, both in predictive power and bio-molecular interpretation of the results.


title: Hidden in Plain Sight: UVIT and MUSE Discovery of a Large, Diffuse Star-Forming Galaxy

abstract: We report the discovery of a nearby large, diffuse galaxy that shows star formation, using Ultra Violet Imaging Telescope (UVIT) far-UV observations, archival optical data from Multi-Unit Spectroscopic Explorer (MUSE) and Dark Energy Camera Legacy Survey (DECaLS), and InfraRed Survey Facility (IRSF) near-infrared observations. The galaxy was not detected earlier due to its superposition with the background galaxy, NGC 6902A. They were together mistakenly classified as an interacting system. NGC 6902A is at a redshift of 0.05554, but MUSE observations indicate that the interacting tail is a separate star-forming, foreground galaxy at a redshift of 0.00980. We refer to the new galaxy as UVIT J202258.73-441623.8 (UVIT J2022). The near-infrared observations show that UVIT J2022 has a stellar mass of 8.7$\times$10$^{8}$M$_{\odot}$. Its inner disk (R$<$4 kpc) shows UV and H$\alpha$ emission from ongoing massive star formation. The rest of the disk is extremely low luminosity, has a low stellar surface density, and extends out to a radius of R$\sim$9 kpc. The velocity and metallicity distribution maps and the star formation history indicate that UVIT J2022 has undergone three bursts of star formation. The latest episode is ongoing, which is supported by the presence of widespread H$\alpha$ and UV emission in its inner disk. The galaxy also shows patchy spiral arms in far-UV, and there is a metallicity enhancement along a bar-like feature. UVIT J2022 is thus a unique example of triggered star formation in a diffuse galaxy, resulting in the growth of its inner stellar disk. Our study raises the intriguing possibility that (i) there could be similar diffuse galaxies that have been mistakenly interpreted as interacting galaxies due to their superposition, and (ii) UV or H$\alpha$ could be a way to detect such diffuse galaxies in our local universe.


title: Modeling Immunity to Malaria with an Age-Structured PDE Framework

abstract: Malaria is one of the deadliest infectious diseases globally, causing hundreds of thousands of deaths each year. It disproportionately affects young children, with two-thirds of fatalities occurring in under-fives. Individuals acquire protection from disease through repeated exposure, and this immunity plays a crucial role in the dynamics of malaria spread. We develop a novel age-structured PDE malaria model, which couples vector-host epidemiological dynamics with immunity dynamics. Our model tracks the acquisition and loss of anti-disease immunity during transmission and its corresponding nonlinear feedback onto the transmission parameters. We derive the basic reproduction number ($\mathcal{R}_0$) as the threshold condition for the stability of disease-free equilibrium; we also interpret $\mathcal{R}_0$ probabilistically as a weighted sum of cases generated by infected individuals at different infectious stages and different ages. We parametrize our model using demographic and immunological data from sub-Saharan regions. Numerical bifurcation analysis demonstrates the existence of an endemic equilibrium, and we observe a forward bifurcation in $\mathcal{R}_0$. Our numerical simulations reproduce the heterogeneity in the age distributions of immunity profiles and infection status created by frequent exposure. Motivated by the recently approved RTS,S vaccine, we also study the impact of vaccination; our results show a reduction in severe disease among young children but a small increase in severe malaria among older children due to lower acquired immunity from delayed exposure.


title: Bayesian Learning: A Selective Overview

abstract: This paper presents an overview of some of the concepts of Bayesian Learning. The number of scientific and industrial applications of Bayesian learning has been growing in size rapidly over the last few decades. This process has started with the wide use of Markov Chain Monte Carlo methods that emerged as a dominant computational technique for Bayesian in the early 1990's. Since then Bayesian learning has spread well across several fields from robotics and machine learning to medical applications. This paper provides an overview of some of the widely used concepts and shows several applications. This is a paper based on the series of seminars given by students of a PhD course on Bayesian Learning at George Mason University. The course was taught in the Fall of 2021. Thus, the topics covered in the paper reflect the topics students selected to study.


title: Existence, Stability and Dynamics of Monopole and Alice Ring Solutions in Anti-Ferromagnetic Spinor Condensates

abstract: In this work we study the existence, stability, and dynamics of select topological point and line defects in anti-ferromagnetic, polar phase, $F=1$ $^{23}$Na spinor condensates. Specifically, we leverage fixed-point and numerical continuation techniques in three spatial dimensions to identify solution families of monopole and Alice rings as the chemical potential (number of atoms) and trapping strengths are varied within intervals of realizable experimental parameters. We are able to follow the monopole from the linear limit of small atom number all the way to the Thomas-Fermi regime of large atom number. Additionally, and importantly, our studies reveal the existence of {\em two} Alice ring solution branches, corresponding to, relatively, smaller and larger ring radii, that bifurcate from each other in a saddle-center bifurcation as the chemical potential is varied. We find that the monopole solution is always dynamically unstable in the regimes considered. In contrast, we find that the larger Alice ring is indeed stable close to the bifurcation point until it destabilizes from an oscillatory instability bubble for a larger value of the chemical potential. We also report on the possibility of dramatically reducing, yet not completely eliminating, the instability rates for the smaller Alice ring by varying the trapping strengths. The dynamical evolution of the different unstable waveforms is also probed via direct numerical simulations.


title: A Green's basis for the bosonic SMEFT to dimension 8

abstract: We present a basis of dimension-eight Green's functions involving Standard Model (SM) bosonic fields, consisting of 86 new operators. Rather than using algebraic identities and integration by parts, we prove the independence of these interactions in momentum space, including a discussion on evanescent bosonic operators. Our results pave the way for renormalising the SM effective field theory (SMEFT), as well as for performing matching of ultraviolet models onto the SMEFT, to higher order. To demonstrate the potential of our construction, we have implemented our basis in matchmakereft and used it to integrate out a heavy singlet scalar and a heavy quadruplet scalar up to one loop. We provide the corresponding dimension-eight Wilson coefficients. Likewise, we show how our results can be easily used to simplify cumbersome redundant Lagrangians arising, for example, from integrating out heavy fields using the path-integral approach to matching.


title: Permanence of the torsion-freeness property for divisible discrete quantum subgroups

abstract: We prove that torsion-freeness in the sense of Meyer-Nest is preserved under divisible discrete quantum subgroups. As a consequence, we obtain some stability results of the torsion-freeness property for relevant constructions of quantum groups (quantum (semi-)direct products, compact bicrossed products and quantum free products). We improve some stability results concerning the Baum-Connes conjecture appearing already in a previous work of the author. For instance, we show that the (resp. strong) Baum-Connes conjecture is preserved by discrete quantum subgroups (without any torsion-freeness or divisibility assumption).


title: Investigating Leggett-Garg inequality in neutrino oscillations -- role of decoherence and decay

abstract: Neutrinos, due to their weakly interacting nature, provide us with a unique opportunity to test foundations of quantum mechanics over macroscopic distances. There has been considerable theoretical and experimental interest in examining the extent of violation of Leggett-Garg inequalities (LGI) in the context of neutrino flavour oscillations. While it is established that neutrino oscillations occur due to mass and mixing among the three generations of neutrinos, sub-dominant effects due to physics beyond the Standard Model (SM) are not yet ruled out. As we are entering the precision era in neutrino physics, it is possible that some of these effects may leave an imprint on data. Thus, it is worthwhile to investigate different physics scenarios beyond the SM and study their impact on oscillation probabilities. In the present work, we invoke damping effects (including decoherence and decay) on oscillation probabilities and study their implications on the LGI.


title: EIFFeL: Ensuring Integrity for Federated Learning

abstract: Federated learning (FL) enables clients to collaborate with a server to train a machine learning model. To ensure privacy, the server performs secure aggregation of updates from the clients. Unfortunately, this prevents verification of the well-formedness (integrity) of the updates as the updates are masked. Consequently, malformed updates designed to poison the model can be injected without detection. In this paper, we formalize the problem of ensuring \textit{both} update privacy and integrity in FL and present a new system, \textsf{EIFFeL}, that enables secure aggregation of \textit{verified} updates. \textsf{EIFFeL} is a general framework that can enforce \textit{arbitrary} integrity checks and remove malformed updates from the aggregate, without violating privacy. Our empirical evaluation demonstrates the practicality of \textsf{EIFFeL}. For instance, with $100$ clients and $10\%$ poisoning, \textsf{EIFFeL} can train an MNIST classification model to the same accuracy as that of a non-poisoned federated learner in just $2.4s$ per iteration.


title: Latent Time Neural Ordinary Differential Equations

abstract: Neural ordinary differential equations (NODE) have been proposed as a continuous depth generalization to popular deep learning models such as Residual networks (ResNets). They provide parameter efficiency and automate the model selection process in deep learning models to some extent. However, they lack the much-required uncertainty modelling and robustness capabilities which are crucial for their use in several real-world applications such as autonomous driving and healthcare. We propose a novel and unique approach to model uncertainty in NODE by considering a distribution over the end-time $T$ of the ODE solver. The proposed approach, latent time NODE (LT-NODE), treats $T$ as a latent variable and apply Bayesian learning to obtain a posterior distribution over $T$ from the data. In particular, we use variational inference to learn an approximate posterior and the model parameters. Prediction is done by considering the NODE representations from different samples of the posterior and can be done efficiently using a single forward pass. As $T$ implicitly defines the depth of a NODE, posterior distribution over $T$ would also help in model selection in NODE. We also propose, adaptive latent time NODE (ALT-NODE), which allow each data point to have a distinct posterior distribution over end-times. ALT-NODE uses amortized variational inference to learn an approximate posterior using inference networks. We demonstrate the effectiveness of the proposed approaches in modelling uncertainty and robustness through experiments on synthetic and several real-world image classification data.


title: Membrane budding driven by intra-cellular ESCRT-III filaments

abstract: Exocytosis is a common transport mechanism via which cells transport out non-essential macro-molecules (cargo) into the extra cellular space. ESCRT-III proteins are known to help in this. They polymerize into a conical spring like structure and help deform the cell membrane locally into a bud which wrapps the outgoing cargo. we model this process using a continuum energy functional. It consists of elastic energies of the membrane and the semi-rigid ESCRT-III filament, favorable adhesion energy between the cargo and the membrane, and affinity among the ESCRT-III filaments. We take the free energy minimization route to identify the sequence of composite structures which form during the process. We show that membrane adhesion of the cargo is the driving force for this budding process and not the buckling of ESCRT-III filaments from flat spiral to conical spring shape. However ESCRT-III stabilizes the bud once it forms. Further we conclude that a non-equilibrium process is needed to pinch off/separate the stable bud (containing the cargo) from the cell body.


title: Almost everywhere ergodicity in quantum lattice models

abstract: We rigorously examine the ergodic properties of quantum lattice models with short range interactions, in the C* algebra formulation of statistical mechanics. Ergodicity results, in the context of group actions on C* algebras, assume that the algebra is asymptotically abelian, which is not the case for time evolution. The Lieb-Robinson bound tells us that the spatial extent of the time evolution of operators is exponentially small outside a light-cone, defined by the Lieb-Robinson velocity. More precisely, this means that the algebra of observables is asymptotically abelian only in a space-like region. This implies a form of ergodicity outside the light-cone, but what happens within it? We show that the long-time average of connected correlation functions of observables, along space-time rays of almost every speed, vanishes. This holds in any state that is invariant under space-time translations and that satisfies weak clustering properties in space. Further, we show that the long-time limit of the n-th moment, with respect to the state, of a ray-averaged observable converges to the n-th power of its ensemble average, which means that there are no fluctuations of ray averages in the long time limit. This is a statement of ergodicity. The ray averages can also be performed in a way that accounts for oscillations, showing that correlations (and moments) of the ray averaged observables cannot sustainably oscillate in the long time limit. Finally, we show that in the GNS representation of the algebra of observables, for any KMS state with the above properties, the long-time limit of the ray averaged commutator converges (in the strong operator topology (SOT)) to 0 and the ray average of any observable converges (in the SOT) to a multiple of the identity. This indicates that observables get "thinner" almost everywhere within the light-cone.


title: ERNIE 3.0 Titan: Exploring Larger-scale Knowledge Enhanced Pre-training for Language Understanding and Generation

abstract: Pre-trained language models have achieved state-of-the-art results in various Natural Language Processing (NLP) tasks. GPT-3 has shown that scaling up pre-trained language models can further exploit their enormous potential. A unified framework named ERNIE 3.0 was recently proposed for pre-training large-scale knowledge enhanced models and trained a model with 10 billion parameters. ERNIE 3.0 outperformed the state-of-the-art models on various NLP tasks. In order to explore the performance of scaling up ERNIE 3.0, we train a hundred-billion-parameter model called ERNIE 3.0 Titan with up to 260 billion parameters on the PaddlePaddle platform. Furthermore, we design a self-supervised adversarial loss and a controllable language modeling loss to make ERNIE 3.0 Titan generate credible and controllable texts. To reduce the computation overhead and carbon emission, we propose an online distillation framework for ERNIE 3.0 Titan, where the teacher model will teach students and train itself simultaneously. ERNIE 3.0 Titan is the largest Chinese dense pre-trained model so far. Empirical results show that the ERNIE 3.0 Titan outperforms the state-of-the-art models on 68 NLP datasets.


title: Supercongruences involving Domb numbers and binary quadratic forms

abstract: In this paper, we prove two recently conjectured supercongruences (modulo $p^3$, where $p$ is any prime greater than $3$) of Zhi-Hong Sun on truncated sums involving the Domb numbers. Our proofs involve a number of ingredients such as congruences involving specialized Bernoulli polynomials, harmonic numbers, binomial coefficients, and hypergeometric summations and transformations.


title: Dynamics of group formation

abstract: We consider a specific dynamical system of groups formation. It is based simultaneously on a gradient competition between groups and a strong accumulation inside groups. Such a dynamical system demonstrates interesting behavior of densities of emerging groups of $1$, $2$, $3$, ... elements in a steady-state depending on the densities of one-elements groups in a randomly chosen initial state.


title: Strichartz and Multi-linear Estimates for the One-dimensional Periodic Dysthe equation

abstract: This paper presents Strichartz estimates for the linearized 1D periodic Dysthe equation on the torus, namely estimate of the $L^6_{x,t}(\mathbb{T}^2)$ norm of the solution in terms of the initial data, and estimate of the $L^4_{x,t}(\mathbb{T}^2)$ norm in terms of the Bourgain space norm. The paper also presents other results such as bilinear and trilinear estimates pertaining to local well-posedness of the 1-dimensional periodic Dysthe equation in a suitable Bourgain space, and ill-posedness results in Sobolev spaces.


title: Higher-Form Subsystem Symmetry Breaking: Subdimensional Criticality and Fracton Phase Transitions

abstract: Subsystem symmetry has emerged as a powerful organizing principle for unconventional quantum phases of matter, most prominently fracton topological orders. Here, we focus on a special subclass of such symmetries, known as higher-form subsystem symmetries, which allow us to adapt tools from the study of conventional topological phases to the fracton setting. We demonstrate that certain transitions out of familiar fracton phases, including the X-cube model, can be understood in terms of the spontaneous breaking of higher-form subsystem symmetries. We find simple pictures for these seemingly complicated fracton topological phase transitions by relating them in an exact manner, via gauging, to spontaneous higher-form subsystem symmetry breaking phase transitions of decoupled stacks of lower-dimensional models. We harness this perspective to construct a sequence of unconventional subdimensional critical points in two and three spatial dimensions based on the stacking and gauging of canonical models with higher-form symmetry. Through numerous examples, we illustrate the ubiquity of coupled layer constructions in theories with higher-form subsystem symmetries.


title: On the Hodge-BGW correspondence

abstract: We establish an explicit relationship between the partition function of certain special cubic Hodge integrals and the generalized Brezin--Gross--Witten (BGW) partition function, which we refer to as the Hodge-BGW correspondence. As an application, we obtain an ELSV-like formula for generalized BGW correlators.


title: How to realise a homogeneous dipolar Bose gas in the roton regime

abstract: Homogeneous quantum gases open up new possibilities for studying many-body phenomena and have now been realised for a variety of systems. For gases with short-range interactions the way to make the cloud homogeneous is, predictably, to trap it in an ideal (homogeneous) box potential. We show that creating a close to homogeneous dipolar gas in the roton regime, when long-range interactions are important, actually requires trapping particles in soft-walled (inhomogeneous) box-like potentials. In particular, we numerically explore a dipolar gas confined in a pancake trap which is harmonic along the polarisation axis and a cylindrically symmetric power-law potential $r^p$ radially. We find that intermediate $p$'s maximise the proportion of the sample that can be brought close to the critical density required to reach the roton regime, whereas higher $p$'s trigger density oscillations near the wall even when the bulk of the system is not in the roton regime. We characterise how the optimum density distribution depends on the shape of the trapping potential and find it is controlled by the trap wall steepness.


title: Positive maps from the walled Brauer algebra

abstract: We present positive maps and matrix inequalities for variables from the positive cone. These inequalities contain partial transpose and reshuffling operations, and can be understood as positive multilinear maps that are in one-to-one correspondence with elements from the walled Brauer algebra. Using our formalism, these maps can be obtained in a systematic and clear way by manipulating partially transposed permutation operators under a partial trace. Additionally, these maps are reasonably easy in construction by combining an algorithmic approach with graphical calculus.


title: Gadolinium Loaded Cherenkov Detectors for Neutron Monitoring in High Energy Air Showers

abstract: Monitoring of high energy cosmic ray neutrons is of particular interest for cosmic ray water Cherenkov detectors as intense bundles of delayed neutrons have been found to arrive after the initial passage of a high energy air shower. In this paper we explore the possibility of building large-area high-energy neutron monitors using gadolinium-loaded Water Cherenkov Detectors (WCDs). GEANT4 simulations of photon production in WCDs are used to estimate the maximum detection efficiency for a hypothetical system. Requiring a series of neutron induced gamma ray flashes distributed over an extended period of time (up to 20{\mu}s) was shown to be an effective way to discriminate high energy neutron interactions from other backgrounds. Results suggest that neutron detection efficiencies of 4-15% may be possible using a gadolinium-loaded detection system above 200 MeV. The magnitude of gadolinium loading was also shown to significantly modify the timing response of the simulated detector.


title: Learning Cooperative Multi-Agent Policies with Partial Reward Decoupling

abstract: One of the preeminent obstacles to scaling multi-agent reinforcement learning to large numbers of agents is assigning credit to individual agents' actions. In this paper, we address this credit assignment problem with an approach that we call \textit{partial reward decoupling} (PRD), which attempts to decompose large cooperative multi-agent RL problems into decoupled subproblems involving subsets of agents, thereby simplifying credit assignment. We empirically demonstrate that decomposing the RL problem using PRD in an actor-critic algorithm results in lower variance policy gradient estimates, which improves data efficiency, learning stability, and asymptotic performance across a wide array of multi-agent RL tasks, compared to various other actor-critic approaches. Additionally, we relate our approach to counterfactual multi-agent policy gradient (COMA), a state-of-the-art MARL algorithm, and empirically show that our approach outperforms COMA by making better use of information in agents' reward streams, and by enabling recent advances in advantage estimation to be used.


title: A tomographic spherical mass map emulator of the KiDS-1000 survey using conditional generative adversarial networks

abstract: Large sets of matter density simulations are becoming increasingly important in large-scale structure cosmology. Matter power spectra emulators, such as the Euclid Emulator and CosmicEmu, are trained on simulations to correct the non-linear part of the power spectrum. Map-based analyses retrieve additional non-Gaussian information from the density field, whether through human-designed statistics such as peak counts, or via machine learning methods such as convolutional neural networks. The simulations required for these methods are very resource-intensive, both in terms of computing time and storage. Map-level density field emulators, based on deep generative models, have recently been proposed to address these challenges. In this work, we present a novel mass map emulator of the KiDS-1000 survey footprint, which generates noise-free spherical maps in a fraction of a second. It takes a set of cosmological parameters $(\Omega_M, \sigma_8)$ as input and produces a consistent set of 5 maps, corresponding to the KiDS-1000 tomographic redshift bins. To construct the emulator, we use a conditional generative adversarial network architecture and the spherical CNN $\texttt{DeepSphere}$, and train it on N-body-simulated mass maps. We compare its performance using an array of quantitative comparison metrics: angular power spectra $C_\ell$, pixel/peaks distributions, $C_\ell$ correlation matrices, and Structural Similarity Index. Overall, the average agreement on these summary statistics is $<10\%$ for the cosmologies at the centre of the simulation grid, and degrades slightly on grid edges. Finally, we perform a mock cosmological parameter estimation using the emulator and the original simulation set. We find good agreement in these constraints, for both likelihood and likelihood-free approaches. The emulator is available at https://tfhub.dev/cosmo-group-ethz/models/kids-cgan/1.


title: Determinacy of Real Conjunctive Queries. The Boolean Case

abstract: In their classical 1993 paper [CV93] Chaudhuri and Vardi notice that some fundamental database theory results and techniques fail to survive when we try to see query answers as bags (multisets) of tuples rather than as sets of tuples. But disappointingly, almost 30 years after [CV93], the bag-semantics based database theory is still in its infancy. We do not even know whether conjunctive query containment is decidable. And this is not due to lack of interest, but because, in the multiset world, everything suddenly gets discouragingly complicated. In this paper, we try to re-examine, in the bag semantics scenario, the query determinacy problem, which has recently been intensively studied in the set semantics scenario. We show that query determinacy (under bag semantics) is decidable for boolean conjunctive queries and undecidable for unions of such queries (in contrast to the set semantics scenario, where the UCQ case remains decidable even for unary queries). We also show that -- surprisingly -- for path queries determinacy under bag semantics coincides with determinacy under set semantics (and thus it is decidable).


title: Multi-speaker Multi-style Text-to-speech Synthesis With Single-speaker Single-style Training Data Scenarios

abstract: In the existing cross-speaker style transfer task, a source speaker with multi-style recordings is necessary to provide the style for a target speaker. However, it is hard for one speaker to express all expected styles. In this paper, a more general task, which is to produce expressive speech by combining any styles and timbres from a multi-speaker corpus in which each speaker has a unique style, is proposed. To realize this task, a novel method is proposed. This method is a Tacotron2-based framework but with a fine-grained text-based prosody predicting module and a speaker identity controller. Experiments demonstrate that the proposed method can successfully express a style of one speaker with the timber of another speaker bypassing the dependency on a single speaker's multi-style corpus. Moreover, the explicit prosody features used in the prosody predicting module can increase the diversity of synthetic speech by adjusting the value of prosody features.


title: AI-based Reconstruction for Fast MRI -- A Systematic Review and Meta-analysis

abstract: Compressed sensing (CS) has been playing a key role in accelerating the magnetic resonance imaging (MRI) acquisition process. With the resurgence of artificial intelligence, deep neural networks and CS algorithms are being integrated to redefine the state of the art of fast MRI. The past several years have witnessed substantial growth in the complexity, diversity, and performance of deep learning-based CS techniques that are dedicated to fast MRI. In this meta-analysis, we systematically review the deep learning-based CS techniques for fast MRI, describe key model designs, highlight breakthroughs, and discuss promising directions. We have also introduced a comprehensive analysis framework and a classification system to assess the pivotal role of deep learning in CS-based acceleration for MRI.


title: The GALPROP Cosmic-ray Propagation and Non-thermal Emissions Framework: Release v57

abstract: The past decade has brought impressive advances in the astrophysics of cosmic rays (CRs) and multiwavelength astronomy, thanks to the new instrumentation launched into space and built on the ground. Modern technologies employed by those instruments provide measurements with unmatched precision, enabling searches for subtle signatures of dark matter (DM) and new physics. Understanding the astrophysical backgrounds to better precision than the observed data is vital in moving to this new territory. The state-of-the-art CR propagation code called GALPROP is designed to address exactly this challenge. Having 25 years of development behind it, the GALPROP framework has become a de-facto standard in the astrophysics of CRs, diffuse photon emissions (radio- to gamma-rays), and searches for new physics. GALPROP uses information from astronomy, particle physics, and nuclear physics to predict CRs and their associated emissions self-consistently, providing a unifying modelling framework. The range of its physical validity covers 18 orders of magnitude in energy, from sub-keV to PeV energies for particles and from micro-eV to PeV energies for photons. The framework and the datasets are public and are extensively used by many experimental collaborations and by thousands of individual researchers worldwide for interpretation of their data and for making predictions. This paper details the latest release of the GALPROP framework and updated cross sections, further developments of its initially auxiliary datasets for models of the interstellar medium that grew into independent studies of the Galactic structure -- distributions of gas, dust, radiation and magnetic fields -- as well as the extension of its modelling capabilities. Example applications included with the distribution illustrating usage of the new features are also described.


title: Quadratic speedup for spatial search by continuous-time quantum walk

abstract: Continuous-time quantum walks provide a natural framework to tackle the fundamental problem of finding a node among a set of marked nodes in a graph, known as spatial search. Whether spatial search by continuous-time quantum walk provides a quadratic advantage over classical random walks has been an outstanding problem. Thus far, this advantage is obtained only for specific graphs or when a single node of the underlying graph is marked. In this article, we provide a new continuous-time quantum walk search algorithm that completely resolves this: our algorithm can find a marked node in any graph with any number of marked nodes, in a time that is quadratically faster than classical random walks. The overall algorithm is quite simple, requiring time evolution of the quantum walk Hamiltonian followed by a projective measurement. A key component of our algorithm is a purely analog procedure to perform operations on a state of the form $e^{-tH^2}|\psi\rangle$, for a given Hamiltonian $H$: it only requires evolving $H$ for time scaling as $\sqrt{t}$. This allows us to quadratically fast-forward the dynamics of a continuous-time classical random walk. The applications of our work thus go beyond the realm of quantum walks and can lead to new analog quantum algorithms for preparing ground states of Hamiltonians or solving optimization problems.


title: Long-time dynamics in quantum spin lattices: ergodicity and hydrodynamic projections at all frequencies and wavelengths

abstract: Obtaining rigorous and general results about the non-equilibrium dynamics of extended many-body systems is a difficult task. In quantum lattice models with short-range interactions, the Lieb-Robinson bound tells us that the spatial extent of operators grows at most linearly in time. But what happens within this light-cone? We discuss rigorous results on ergodicity and the emergence of the hydrodynamic scale, which establish fundamental principles at the root of non-equilibrium physics. One key idea of the present work is that general structures of hydrodynamics at the Euler scale follow independently from the details of the microscopic dynamics, and in particular do not necessitate chaos; they are consequences of "extensivity". Another crucial observation is that these apply at arbitrary frequencies and wavelengths. That is, long-time oscillatory behaviours can be reproduced from a natural extension of standard hydrodynamic notions, thus enlarging the hydrodynamic paradigm beyond the zero-frequency / infinite-wavelength point that it traditionally addresses.