title: The resilience of the multirelational structure of geopolitical treaties is critically linked to past colonial world order and offshore fiscal havens

abstract: The governance of the political and economic world order builds on a complex architecture of international treaties at various geographical scales. In a historical phase of high institutional turbulence, assessing the stability of such architecture with respect to the unilateral defection of single countries and to the breakdown of single treaties is important. We carry out this analysis on the whole global architecture and find that the countries with the highest disruption potential are not major world powers (with the exception of Germany and France) but mostly medium-small and micro-countries. Political stability is highly dependent on many former colonial overseas territories that are today part of the global network of fiscal havens, as well as on emerging economies, mostly from South-East Asia. Economic stability depends on medium sized European and African countries. However, single global treaties have surprisingly less disruptive potential, with the major exception of the WTO. These apparently counter-intuitive results highlight the importance to a nonlinear approach to international relations where the complex multilayered architecture of global governance is analyzed using advanced network science techniques. Our results suggest that the potential fragility of the world order seem to be much more directly related to global inequality and fiscal injustice than it is commonly believed, and that the legacy of the colonial world order is still very strong in the current international relations scenario. In particular, vested interests related to tax avoidance seem to have a structural role in the political architecture of global governance


title: Perturbations in Non-Flat Cosmology for $f(T)$ gravity

abstract: The study of cosmological perturbation theory in $f(T)$ gravity is a topic of great interest in teleparallel gravity since this is one of the simplest generalizations of the theory that modifies the teleparallel equivalent of general relativity. In this work, we explore the possibility of a non-flat FLRW background solution and perform perturbations for positively as well as negatively curved spatial geometries, together with a comparison to the flat case. We determine the generalized behaviour of the perturbative modes for this non-flat FLRW setting for arbitrary $f(T)$ models, when the most general homogeneous and isotropic background tetrads are used. We also identify propagating modes in this setup, and relate this with the case of a flat cosmology.


title: High order geometric methods with splines: an analysis of discrete Hodge--star operators

abstract: A new kind of spline geometric method approach is presented. Its main ingredient is the use of well established spline spaces forming a discrete de Rham complex to construct a primal sequence $\{X^k_h\}^n_{k=0}$, starting from splines of degree $p$, and a dual sequence $\{\tilde{X}^k_h\}_{k=0}^n$, starting from splines of degree $p-1$. By imposing homogeneous boundary conditions to the spaces of the primal sequence, the two sequences can be isomorphically mapped into one another. Within this setup, many familiar second order partial differential equations can be finally accommodated by explicitly constructing appropriate discrete versions of constitutive relations, called Hodge--star operators. Several alternatives based on both global and local projection operators between spline spaces will be proposed. The appeal of the approach with respect to similar published methods is twofold: firstly, it exhibits high order convergence. Secondly, it does not rely on the geometric realization of any (topologically) dual mesh. Several numerical examples in various space dimensions will be employed to validate the central ideas of the proposed approach and compare its features with the standard Galerkin approach in Isogeometric Analysis.


title: Revealing the Cosmic History with Gravitational Waves

abstract: The characteristics of the cosmic microwave background provide circumstantial evidence that the hot radiation-dominated epoch in the early universe was preceded by a period of inflationary expansion. Here, we show how a measurement of the stochastic gravitational wave background can reveal the cosmic history and the physical conditions during inflation, subsequent pre- and re-heating, and the beginning of the hot big bang era. This is exemplified with a particularly well-motivated and predictive minimal extension of the Standard Model which is known to provide a complete model for particle physics -- up to the Planck scale, and for cosmology -- back to inflation.


title: Descriptor for slip-induced crack-blunting in refractory ceramics

abstract: Understanding the competition between brittleness and plasticity in refractory ceramics is of importance for aiding design of hard materials with enhanced fracture resistance. Inspired by experimental observations of crack shielding due to dislocation activity in TiN ceramics [Int J Plast 27 (2011) 739], we carry out comprehensive atomistic investigations to identify mechanisms responsible for brittleness and slip-induced plasticity in Ti-N systems. First, we validate a semi-empirical interatomic potential against density-functional theory results of Griffith and Rice stress intensities for cleavage (KIc) and dislocation emission (KIe) as well as ab initio molecular dynamics mechanical-testing simulations of pristine and defective TiN lattices at temperatures between 300 and 1200 K. The calculated KIc and KIe values indicate intrinsic brittleness, as KIc<<KIe. However, KI-controlled molecular statics simulations - which reliably forecast macroscale mechanical properties through nanoscale modelling - reveal that slip-plasticity can be promoted by a reduced sharpness of the crack and/or the presence of anion vacancies. Classical molecular dynamics simulations of notched Ti-N supercell models subject to tension provide a qualitative understanding of the competition between brittleness and plasticity at finite temperatures. Although crack growth occurs in most cases, a sufficiently rapid accumulation of shear stress at the notch tip may postpone or prevent fracture via nucleation and emission of dislocations. Furthermore, we show that the probability to observe slip-induced plasticity leading to crack-blunting in flawed Ti-N lattices correlates with the ideal tensile/shear strength ratio (Iplast) of pristine Ti-N crystals. We propose that the Iplast descriptor should be considered for ranking the ability of ceramics to blunt cracks via dislocation-mediated plasticity at finite temperatures.


title: Prospects for distinguishing dynamical tides in inspiralling binary neutron stars with third generation gravitational-wave detectors

abstract: Tidal effects in gravitational-wave (GW) observations from binary neutron star mergers have the potential to probe ultra-dense matter and shed light on the unknown nuclear equation of state of neutron stars. Tidal effects in inspiralling neutron star binaries become relevant at GW frequencies of a few hundred Hz and require detectors with exquisite high-frequency sensitivity. Third generation GW detectors such as the Einstein Telescope or Cosmic Explorer will be particularly sensitive in this high-frequency regime, allowing us to probe neutron star tides beyond the adiabatic approximation. Here we assess whether dynamical tides can be measured from a neutron star inspiral. We find that the measurability of dynamical tides depends strongly on the neutron star mass and equation of state. For a semi-realistic population of 10,000 inspiralling binary neutron stars, we conservatively estimate that on average $\mathcal{O}(50)$ binaries will have measurable dynamical tides. As dynamical tides are characterised not only by the star's tidal deformability but also by its fundamental ($f$-) mode frequency, they present a possibility of probing higher-order tidal effects and test consistency with quasi-universal relations. For a GW170817-like signal in a third generation detector network, we find that the stars' $f$-mode frequencies can be measured to within a few hundred Hz.


title: A unified 3D framework for Organs at Risk Localization and Segmentation for Radiation Therapy Planning

abstract: Automatic localization and segmentation of organs-at-risk (OAR) in CT are essential pre-processing steps in medical image analysis tasks, such as radiation therapy planning. For instance, the segmentation of OAR surrounding tumors enables the maximization of radiation to the tumor area without compromising the healthy tissues. However, the current medical workflow requires manual delineation of OAR, which is prone to errors and is annotator-dependent. In this work, we aim to introduce a unified 3D pipeline for OAR localization-segmentation rather than novel localization or segmentation architectures. To the best of our knowledge, our proposed framework fully enables the exploitation of 3D context information inherent in medical imaging. In the first step, a 3D multi-variate regression network predicts organs' centroids and bounding boxes. Secondly, 3D organ-specific segmentation networks are leveraged to generate a multi-organ segmentation map. Our method achieved an overall Dice score of $0.9260\pm 0.18 \%$ on the VISCERAL dataset containing CT scans with varying fields of view and multiple organs.


title: Three new high-mass X-ray binaries in the Large Magellanic Cloud

abstract: The Magellanic Clouds host a large population of high-mass X-ray binary (HMXB) systems, but although the Large Magellanic Cloud (LMC) is an order of magnitude more massive than the Small Magellanic Cloud, significantly fewer HMXBs are known. We conducted a search for new HMXBs in XMM-Newton observations, which we performed to investigate supernova remnant candidates in the supergiant shells LMC5 and LMC7. The three observed fields are located in regions, which were little explored in X-rays before. We analysed the XMM-Newton data to look for sources with hard X-ray spectrum and counterparts with optical colours and brightness typical for HMXBs. We report the discovery of three new Be/X-ray binaries, two of them showing pulsations in their X-ray flux. With a luminosity of 6.5e34 erg/s, XMMU J045315.1-693242 in LMC7 was relatively X-ray faint. The long-term OGLE I-band light curve of the V = 15.5 mag counterpart suggests a 49.6 day or 24.8 day orbital period for the binary system. XMMU J045736.9-692727, also located in LMC7 was brighter with a luminosity of 5.6e35 erg/s and hard spectrum with a power-law photon index of 0.63. The X-ray flux revealed clear pulsations with a period of 317.7 s. We obtained optical high resolution spectra from the V = 14.2 mag counterpart using the SALT-HRS spectrograph. Halpha and Hbeta were observed in emission with complex line profiles and equivalent widths of -8.0 A and -1.3 A, respectively. The I-band light curve obtained from OGLE shows a series of four strong outbursts followed by a sudden drop in brightness by more than 1 mag within 73-165 days and a recovery to the level before the outbursts. RX J0524.2-6620, previously classified as X-ray binary candidate, is located at the eastern part of LMC5. We report the discovery of 360.7 s pulsations. (abridged)


title: On the conjectures of Vojta and Campana over function fields with explicit exceptional sets

abstract: We prove new cases of Vojta's conjectures for surfaces in the context of function fields, with truncation equal to one and providing an effective explicit description of the exceptional set. We also prove a general and explicit result towards Campana's conjecture over complex function fields of curves. Our methods rely on a local study of $\omega$-integral varieties.


title: Convergence for the fractional $p$-Laplacian and its corresponding extended Nirenberg problem

abstract: The main objective of this paper is to establish the convergence for the fractional $p$-Laplacian of nonnegative sequence of functions with $p>2$. Further, we show the blow-up phenomena for solutions to the extended Nirenberg problem modeled by fractional $p$-Laplacian with the prescribed negative functions.


title: A Neural Ordinary Differential Equation Model for Visualizing Deep Neural Network Behaviors in Multi-Parametric MRI based Glioma Segmentation

abstract: Purpose: To develop a neural ordinary differential equation (ODE) model for visualizing deep neural network (DNN) behavior during multi-parametric MRI (mp-MRI) based glioma segmentation as a method to enhance deep learning explainability. Methods: By hypothesizing that deep feature extraction can be modeled as a spatiotemporally continuous process, we designed a novel deep learning model, neural ODE, in which deep feature extraction was governed by an ODE without explicit expression. The dynamics of 1) MR images after interactions with DNN and 2) segmentation formation can be visualized after solving ODE. An accumulative contribution curve (ACC) was designed to quantitatively evaluate the utilization of each MRI by DNN towards the final segmentation results. The proposed neural ODE model was demonstrated using 369 glioma patients with a 4-modality mp-MRI protocol: T1, contrast-enhanced T1 (T1-Ce), T2, and FLAIR. Three neural ODE models were trained to segment enhancing tumor (ET), tumor core (TC), and whole tumor (WT). The key MR modalities with significant utilization by DNN were identified based on ACC analysis. Segmentation results by DNN using only the key MR modalities were compared to the ones using all 4 MR modalities. Results: All neural ODE models successfully illustrated image dynamics as expected. ACC analysis identified T1-Ce as the only key modality in ET and TC segmentations, while both FLAIR and T2 were key modalities in WT segmentation. Compared to the U-Net results using all 4 MR modalities, Dice coefficient of ET (0.784->0.775), TC (0.760->0.758), and WT (0.841->0.837) using the key modalities only had minimal differences without significance. Conclusion: The neural ODE model offers a new tool for optimizing the deep learning model inputs with enhanced explainability. The presented methodology can be generalized to other medical image-related deep learning applications.


title: Full RGB Just Noticeable Difference (JND) Modelling

abstract: Just Noticeable Difference (JND) has many applications in multimedia signal processing, especially for visual data processing up to date. It's generally defined as the minimum visual content changes that the human can perspective, which has been studied for decades. However, most of the existing methods only focus on the luminance component of JND modelling and simply regard chrominance components as scaled versions of luminance. In this paper, we propose a JND model to generate the JND by taking the characteristics of full RGB channels into account, termed as the RGB-JND. To this end, an RGB-JND-NET is proposed, where the visual content in full RGB channels is used to extract features for JND generation. To supervise the JND generation, an adaptive image quality assessment combination (AIC) is developed. Besides, the RDB-JND-NET also takes the visual attention into account by automatically mining the underlying relationship between visual attention and the JND, which is further used to constrain the JND spatial distribution. To the best of our knowledge, this is the first work on careful investigation of JND modelling for full-color space. Experimental results demonstrate that the RGB-JND-NET model outperforms the relevant state-of-the-art JND models. Besides, the JND of the red and blue channels are larger than that of the green one according to the experimental results of the proposed model, which demonstrates that more changes can be tolerated in the red and blue channels, in line with the well-known fact that the human visual system is more sensitive to the green channel in comparison with the red and blue ones.


title: Traces for Hilbert Complexes

abstract: We study a new notion of trace operators and trace spaces for abstract Hilbert complexes. We introduce trace spaces as quotient spaces/annihilators. We characterize the kernels and images of the related trace operators and discuss duality relationships between trace spaces. We elaborate that many properties of the classical boundary traces associated with the Euclidean de Rham complex on bounded Lipschitz domains are rooted in the general structure of Hilbert complexes. We arrive at abstract trace Hilbert complexes that can be formulated using quotient spaces/annihilators. We show that, if a Hilbert complex admits stable "regular decompositions" with compact lifting operators, then the associated trace Hilbert complex is Fredholm. Incarnations of abstract concepts and results in the concrete case of the de Rham complex in three-dimensional Euclidean space will be discussed throughout.


title: Asymmetry-Based Quantum Backaction Suppression in Quadratic Optomechanics

abstract: As the field of optomechanics advances, quadratic dispersive coupling (QDC) promise an increasingly feasible class of qualitatively new functionality. However, the leading QDC geometries also generate linear dissipative coupling, and an associated quantum radiation force noise that is detrimental to QDC applications. Here, we propose a simple modification that dramatically reduces this noise without altering the QDC strength. We identify optimal regimes of operation, and discuss advantages within the examples of optical levitation and nondestructive phonon measurement.


title: RASER MRI: Magnetic Resonance Images formed Spontaneously exploiting Cooperative Nonlinear Interaction

abstract: The spatial resolution of magnetic resonance imaging (MRI) is fundamentally limited by the width of Lorentzian point spread functions (PSF) associated with the exponential decay rate of transverse magnetization (1/T2*). Here we show a different contrast mechanism in MRI by establishing RASER (Radio-frequency Amplification by Stimulated Emission of Radiation) in imaged media. RASER imaging bursts emerge out of noise and without applying (Radio Frequency) RF pulses when placing spins with sufficient population inversion in a weak magnetic field gradient. A small difference in initial population inversion density creates a stronger image contrast than conventional MRI. This contrast is based on the cooperative nonlinear interaction between all slices. On the other hand, the cooperative nonlinear interaction gives rise to imaging artifacts, such as amplitude distortions and side lobes outside of the imaging domain. Both the contrast and the artifacts are demonstrated experimentally and predicted by simulations based on a proposed theory. This theory of RASER MRI is strongly connected to many other distinct fields related to synergetics and non-linear dynamics.


title: Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale

abstract: We introduce Transformer Grammars (TGs), a novel class of Transformer language models that combine (i) the expressive power, scalability, and strong performance of Transformers and (ii) recursive syntactic compositions, which here are implemented through a special attention mask and deterministic transformation of the linearized tree. We find that TGs outperform various strong baselines on sentence-level language modeling perplexity, as well as on multiple syntax-sensitive language modeling evaluation metrics. Additionally, we find that the recursive syntactic composition bottleneck which represents each sentence as a single vector harms perplexity on document-level language modeling, providing evidence that a different kind of memory mechanism -- one that is independent of composed syntactic representations -- plays an important role in current successful models of long text.


title: Decoherence and quantum steering of accelerated qubit-qutrit system

abstract: The bidirectional steerability between different-size subsystems is discussed for a single parameter accelerated qubit-qutrit system. The decoherence due to the mixing and acceleration parameters is investigated, where for the total system and the qutrit, it increases as the mixing parameter increases, while it decreases for the qubit. The non-classical correlations are quantified by using the local quantum uncertainty, where it increases at large values of the acceleration parameter. The possibility that each subsystem steers each other is studied, where the behavior of the steering inequality predicts that the qubit has a large ability to steer the qutrit. The degree of steerability decays gradually when the qubit is accelerated. However, it decays suddenly when the qutrit or both subsystems are accelerated. The degree of steerability is shown for the qutrit/qubit vanishes at small/large values of the acceleration. The difference between the degrees of steerability depends on the initial state settings and the size of the accelerated subsystem.


title: Efficient Simulation of $p$-Tempered $\alpha$-Stable OU Processes

abstract: We develop efficient methods for simulating processes of Ornstein-Uhlenbeck type related to the class of $p$-tempered $\alpha$-stable ($\ts$) distributions. Our results hold for both the univariate and multivariate cases and we consider both the case where the $\ts$ distribution is the stationary law and where it is the distribution of the background driving L\'evy process (BDLP). In the latter case, we also derive an explicit representation for the transition law as this was previous known only in certain special cases and only for $p=1$ and $\alpha\in[0,1)$. Simulation results suggest that our methods work well in practice.


title: Distributional Reinforcement Learning for Scheduling of Chemical Production Processes

abstract: Reinforcement Learning (RL) has recently received significant attention from the process systems engineering and control communities. Recent works have investigated the application of RL to identify optimal scheduling decision in the presence of uncertainty. In this work, we present a RL methodology tailored to efficiently address production scheduling problems in the presence of uncertainty. We consider commonly imposed restrictions on these problems such as precedence and disjunctive constraints which are not naturally considered by RL in other contexts. Additionally, this work naturally enables the optimization of risk-sensitive formulations such as the conditional value-at-risk (CVaR), which are essential in realistic scheduling processes. The proposed strategy is investigated thoroughly in a parallel batch production environment, and benchmarked against mixed integer linear programming (MILP) strategies. We show that the policy identified by our approach is able to account for plant uncertainties in online decision-making, with expected performance comparable to existing MILP methods. Additionally, the framework gains the benefits of optimizing for risk-sensitive measures, and identifies online decisions orders of magnitude faster than the most efficient optimization approaches. This promises to mitigate practical issues and ease in handling realizations of process uncertainty in the paradigm of online production scheduling.


title: Signature Correction Attack on Dilithium Signature Scheme

abstract: Motivated by the rise of quantum computers, existing public-key cryptosystems are expected to be replaced by post-quantum schemes in the next decade in billions of devices. To facilitate the transition, NIST is running a standardization process which is currently in its final Round. Only three digital signature schemes are left in the competition, among which Dilithium and Falcon are the ones based on lattices. Classical fault attacks on signature schemes make use of pairs of faulty and correct signatures to recover the secret key which only works on deterministic schemes. To counter such attacks, Dilithium offers a randomized version which makes each signature unique, even when signing identical messages. In this work, we introduce a novel Signature Correction Attack which not only applies to the deterministic version but also to the randomized version of Dilithium and is effective even on constant-time implementations using AVX2 instructions. The Signature Correction Attack exploits the mathematical structure of Dilithium to recover the secret key bits by using faulty signatures and the public-key. It can work for any fault mechanism which can induce single bit-flips. For demonstration, we are using Rowhammer induced faults. Thus, our attack does not require any physical access or special privileges, and hence could be also implemented on shared cloud servers. We perform a thorough classical and quantum security analysis of Dilithium and successfully recover 1,851 bits out of 3,072 bits of secret key $s_1$ for security level 2. The lattice strength against quantum attackers is reduced from $2^{128}$ to $2^{81}$ while the strength against classical attackers is reduced from $2^{141}$ to $2^{89}$. Hence, the Signature Correction Attack may be employed to achieve a practical attack on Dilithium (security level 2) as proposed in Round 3 of the NIST post-quantum standardization process.


title: PaSca: a Graph Neural Architecture Search System under the Scalable Paradigm

abstract: Graph neural networks (GNNs) have achieved state-of-the-art performance in various graph-based tasks. However, as mainstream GNNs are designed based on the neural message passing mechanism, they do not scale well to data size and message passing steps. Although there has been an emerging interest in the design of scalable GNNs, current researches focus on specific GNN design, rather than the general design space, limiting the discovery of potential scalable GNN models. This paper proposes PasCa, a new paradigm and system that offers a principled approach to systemically construct and explore the design space for scalable GNNs, rather than studying individual designs. Through deconstructing the message passing mechanism, PasCa presents a novel Scalable Graph Neural Architecture Paradigm (SGAP), together with a general architecture design space consisting of 150k different designs. Following the paradigm, we implement an auto-search engine that can automatically search well-performing and scalable GNN architectures to balance the trade-off between multiple criteria (e.g., accuracy and efficiency) via multi-objective optimization. Empirical studies on ten benchmark datasets demonstrate that the representative instances (i.e., PasCa-V1, V2, and V3) discovered by our system achieve consistent performance among competitive baselines. Concretely, PasCa-V3 outperforms the state-of-the-art GNN method JK-Net by 0.4\% in terms of predictive accuracy on our large industry dataset while achieving up to $28.3\times$ training speedups.


title: Variance-based sensitivity analysis: The quest for better estimators and designs between explorativity and economy

abstract: Variance-based sensitivity indices have established themselves as a reference among practitioners of sensitivity analysis of model outputs. A variance-based sensitivity analysis typically produces the first-order sensitivity indices $S_j$ and the so-called total-effect sensitivity indices $T_j$ for the uncertain factors of the mathematical model under analysis. The cost of the analysis depends upon the number of model evaluations needed to obtain stable and accurate values of the estimates. While efficient estimation procedures are available for $S_j$, this availability is less the case for $T_j$. When estimating these indices, one can either use a sample-based approach whose computational cost depends on the number of factors or use approaches based on meta modelling/emulators. The present work focuses on sample-based estimation procedures for $T_j$ and tests different avenues to achieve an algorithmic improvement over the existing best practices. To improve the exploration of the space of the input factors (design) and the formula to compute the indices (estimator), we propose strategies based on the concepts of economy and explorativity. We then discuss how several existing estimators perform along these characteristics. We conclude that: a) sample-based approaches based on the use of multiple matrices to enhance the economy are outperformed by designs using fewer matrices but with better explorativity; b) among the latter, asymmetric designs perform the best and outperform symmetric designs having corrective terms for spurious correlations; c) improving on the existing best practices is fraught with difficulties; and d) ameliorating the results comes at the cost of introducing extra design parameters.


title: Impact of chemical disorder on magnetic exchange interactions in L1$_0$-FeNi (tetrataenite)

abstract: We investigate the effect of chemical disorder on the magnetic exchange couplings and the Curie temperature ($T_{\text{c}}$) in L1$_0$-ordered FeNi using first-principles-based calculations. We use supercells to model chemical disorder, to account for the specific symmetry-broken local chemical environments around the individual atoms. We find a very strong variation of the most dominant first-nearest neighbor Fe-Fe interaction for different inequivalent Fe-Fe pairs, ranging from around 5 meV to 37 meV, compared to a coupling strength of 27 meV in the ordered state. To estimate the influence of such strong variations of the magnetic coupling constants on the Curie temperature of the disordered or partially ordered state, we study a simple Heisenberg model with random Gaussian-distributed nearest neighbor couplings on an fcc lattice. Our Monte Carlo simulations for this model indicate that strongly varying exchange couplings, such as those obtained for FeNi, can lead to a reduction of $T_{\text{c}}$ of around 10% relative to the one obtained using only the average coupling.


title: Multi-Task Multi-Scale Learning For Outcome Prediction in 3D PET Images

abstract: Background and Objectives: Predicting patient response to treatment and survival in oncology is a prominent way towards precision medicine. To that end, radiomics was proposed as a field of study where images are used instead of invasive methods. The first step in radiomic analysis is the segmentation of the lesion. However, this task is time consuming and can be physician subjective. Automated tools based on supervised deep learning have made great progress to assist physicians. However, they are data hungry, and annotated data remains a major issue in the medical field where only a small subset of annotated images is available. Methods: In this work, we propose a multi-task learning framework to predict patient's survival and response. We show that the encoder can leverage multiple tasks to extract meaningful and powerful features that improve radiomics performance. We show also that subsidiary tasks serve as an inductive bias so that the model can better generalize. Results: Our model was tested and validated for treatment response and survival in lung and esophageal cancers, with an area under the ROC curve of 77% and 71% respectively, outperforming single task learning methods. Conclusions: We show that, by using a multi-task learning approach, we can boost the performance of radiomic analysis by extracting rich information of intratumoral and peritumoral regions.


title: Relaxed virtual memory in Armv8-A (extended version)

abstract: Virtual memory is an essential mechanism for enforcing security boundaries, but its relaxed-memory concurrency semantics has not previously been investigated in detail. The concurrent systems code managing virtual memory has been left on an entirely informal basis, and OS and hypervisor verification has had to make major simplifying assumptions. We explore the design space for relaxed virtual memory semantics in the Armv8-A architecture, to support future system-software verification. We identify many design questions, in discussion with Arm; develop a test suite, including use cases from the pKVM production hypervisor under development by Google; delimit the design space with axiomatic-style concurrency models; prove that under simple stable configurations our architectural model collapses to previous "user" models; develop tooling to compute allowed behaviours in the model integrated with the full Armv8-A ISA semantics; and develop a hardware test harness. This lays out some of the main issues in relaxed virtual memory bringing these security-critical systems phenomena into the domain of programming-language semantics and verification with foundational architecture semantics. This document is an extended version of a paper in ESOP 2022, with additional explanation and examples in the main body, and appendices detailing our litmus tests, models, proofs, and test results.


title: A Lattice-Theoretic Perspective on the Persistence Map

abstract: We provide a naturally isomorphic description of the persistence map from merge trees to barcodes in terms of a monotone map from the partition lattice to the subset lattice. Our description is local, which offers the potential to speed up inverse computations, and brings classical tools in combinatorics to bear on an active area of research in topological data analysis (TDA).


title: Tello Leg: The Study of Design Principles and Metrics for Dynamic Humanoid Robots

abstract: To be useful tools in real scenarios, humanoid robots must realize tasks dynamically. This means that they must be capable of applying substantial forces, rapidly swinging their limbs, and also mitigating impacts that may occur during the motion. Towards creating capable humanoids, this letter presents the leg of the robot TELLO and demonstrates how it embodies two new fundamental design concepts for dynamic legged robots. The limbs follows the principles of: (i) Cooperative Actuation (CA), by combining motors in differential configurations to increase the force capability of the limb. We demonstrate that the CA configuration requires half the motor torque to perform a jump in comparison to conventional serial design configurations. And (ii) proximal actuation, by placing heavy motors near the body to reduce the inertia of the limb. To quantify the effect of motor placement on the robot's dynamics, we introduce a novel metric entitle Centroidal Inertia Isotropy (CII). We show that the design of state-of-the-art dynamic legged robots empirically increase the CII to improve agility and facilitate model-based control. We hope this metric will enable a quantifiable way to design these machines in the future.


title: Variational Autoencoders Without the Variation

abstract: Variational autoencdoers (VAE) are a popular approach to generative modelling. However, exploiting the capabilities of VAEs in practice can be difficult. Recent work on regularised and entropic autoencoders have begun to explore the potential, for generative modelling, of removing the variational approach and returning to the classic deterministic autoencoder (DAE) with additional novel regularisation methods. In this paper we empirically explore the capability of DAEs for image generation without additional novel methods and the effect of the implicit regularisation and smoothness of large networks. We find that DAEs can be used successfully for image generation without additional loss terms, and that many of the useful properties of VAEs can arise implicitly from sufficiently large convolutional encoders and decoders when trained on CIFAR-10 and CelebA.


title: Is the number of subrings of index $p^e$ in $\mathbb{Z}^n$ polynomial in $p$?

abstract: It is well-known that for each fixed $n$ and $e$, the number of subgroups of index $p^e$ in $\mathbb{Z}^n$ is a polynomial in $p$. Is this true for \emph{subrings} in $\mathbb{Z}^n$ of index $p^e$? Let $f_n(k)$ denote the number of subrings of index $k$ in $\mathbb{Z}^n$. We can define the subring zeta function over $\mathbb{Z}^n$ to be $\zeta_{\mathbb{Z}^n}^R(s) = \sum_{k \ge 1} f_n(k)k^{-s}$. Is this zeta function uniform? These two questions are closely related. In this paper, we describe what is known about these questions, and we make progress toward answering them in a couple ways. First, we describe the connection between counting subrings of index $p^e$ in $\mathbb{Z}^n$ and counting the solutions to a corresponding set of equations modulo various powers of $p$. We then show that the number of solutions to certain subsets of these equations is a polynomial in $p$ for any fixed $n$. On the other hand, we give an example for which the number of solutions to a certain subset of equations is not polynomial. Finally, we give an explicit polynomial formula for the number of `irreducible' subrings of index $p^{n+2}$ in $\mathbb{Z}^n$.


title: Coexistence of Age Sensitive Traffic and High Throughput Flows: Does Prioritization Help?

abstract: We study the coexistence of high throughput traffic flows with status update flows that require timely delivery of updates. A mix of these flows share an end-to-end path that includes a WiFi access network followed by paths over the Internet to a server in the cloud. Using real-world experiments, we show that commonly used methods of prioritization (DSCP at the IP layer and EDCA at the 802.11 MAC layer) in networks are highly effective in isolating status update flows from the impact of high throughput flows in the absence of WiFi access contention, say when all flows originate from the same WiFi client. Prioritization, however, isn't as effective in the presence of contention that results from the throughput and status update flows sharing WiFi. This results in prioritized status update flows suffering from a time-average age of information at the destination server that is about the same as when all flows have the same priority.


title: Measuring the Impact of Individual Domain Factors in Self-Supervised Pre-Training

abstract: Human speech data comprises a rich set of domain factors such as accent, syntactic and semantic variety, or acoustic environment. Previous work explores the effect of domain mismatch in automatic speech recognition between pre-training and fine-tuning as a whole but does not dissect the contribution of individual factors. In this paper, we present a controlled study to better understand the effect of such factors on the performance of pre-trained representations on automatic speech recognition. To do so, we pre-train models either on modified natural speech or synthesized audio, with a single domain factor modified, and then measure performance after fine-tuning. Results show that phonetic domain factors play an important role during pre-training while grammatical and syntactic factors are far less important. To our knowledge, this is the first study to better understand the domain characteristics of pre-trained sets in self-supervised pre-training for speech.


title: Lodestar: An Integrated Embedded Real-Time Control Engine

abstract: In this work we present Lodestar, an integrated engine for rapid real-time control system development. Using a functional block diagram paradigm, Lodestar allows for complex multi-disciplinary control software design, while automatically resolving execution order, circular data-dependencies, and networking. In particular, Lodestar presents a unified set of control, signal processing, and computer vision routines to users, which may be interfaced with external hardware and software packages using interoperable user-defined wrappers. Lodestar allows for user-defined block diagrams to be directly executed, or for them to be translated to overhead-free source code for integration in other programs. We demonstrate how our framework departs from approaches used in state-of-the-art simulation frameworks to enable real-time performance, and compare its capabilities to existing solutions in the realm of control software. To demonstrate the utility of Lodestar in real-time control systems design, we have applied Lodestar to implement two real-time torque-based controller for a robotic arm. In addition, we have developed a novel autofocus algorithm for use in thermography-based localization and parameter estimation in electrosurgery and other areas of robot-assisted surgery. We compare our algorithm design approach in Lodestar to a classical ground-up approach, showing that Lodestar considerably eases the design process. We also show how Lodestar can seamlessly interface with existing simulation and networking framework in a number of simulation examples.


title: Reduced fluctuations for bosons in a double well

abstract: We review two recent results on the ground state properties of bosonic systems trapped by a double well external potential. In the limit of large population and large separation between the wells we prove that fluctuations in the number of particles occupying each single-well low energy mode occur at a reduced scale with respect to $ \sqrt{N}$, the latter being the typical prediction of the central limit theorem. This signals the breakdown of the independent and uncorrelated particles picture of standard Bose-Einstein condensation and the emergence of an interaction-driven correlated phase in the ground state.


title: Gaussian Zonoids, Gaussian determinants and Gaussian random fields

abstract: We study the Vitale zonoid (a convex body associated to a probability distribution) associated to a non--centered Gaussian vector. We compute an ellipsoid that contains such zonoid and show that it remains close to it. We use this result to give new estimates for the expectation of the absolute determinant of a non--centered Gaussian matrix in terms of mixed volume of ellipsoids. Finally, exploiting a recent link between random fields and zonoids uncovered by Stecconi and the author, we apply our results to the study of the zero set of non--centered Gaussian random fields. We show how these can be approximated by a suitable centered Gaussian random field. We also give an explicit asymptotic formula for the concentration of measure in the limit where the variance goes to zero.


title: Parsing Randomness: Unifying and Differentiating Parsers and Random Generators

abstract: "A generator is a parser of randomness." This perspective on generators for random data structures is well established as folklore in the programming languages community, but it has apparently never been formalized, nor have its consequences been deeply explored. We present free generators, which unify parsing and generation using a common structure that makes the relationship between the two concepts precise. Free generators lead naturally to a proof that a large class of generators can be factored into a parser plus a distribution over choice sequences. Further, free generators support a notion of derivative, analogous to familiar Brzozowski derivatives of formal languages, that allows analysis tools to "preview" the effect of a particular generator choice. This, in turn, gives rise to a novel algorithm for generating data structures satisfying user-specified preconditions.


title: ONBRA: Rigorous Estimation of the Temporal Betweenness Centrality in Temporal Networks

abstract: In network analysis, the betweenness centrality of a node informally captures the fraction of shortest paths visiting that node. The computation of the betweenness centrality measure is a fundamental task in the analysis of modern networks, enabling the identification of the most central nodes in such networks. Additionally to being massive, modern networks also contain information about the time at which their events occur. Such networks are often called temporal networks. The temporal information makes the study of the betweenness centrality in temporal networks (i.e., temporal betweenness centrality) much more challenging than in static networks (i.e., networks without temporal information). Moreover, the exact computation of the temporal betweenness centrality is often impractical on even moderately-sized networks, given its extremely high computational cost. A natural approach to reduce such computational cost is to obtain high-quality estimates of the exact values of the temporal betweenness centrality. In this work we present ONBRA, the first sampling-based approximation algorithm for estimating the temporal betweenness centrality values of the nodes in a temporal network, providing rigorous probabilistic guarantees on the quality of its output. ONBRA is able to compute the estimates of the temporal betweenness centrality values under two different optimality criteria for the shortest paths of the temporal network. In addition, ONBRA outputs high-quality estimates with sharp theoretical guarantees leveraging on the \emph{empirical Bernstein bound}, an advanced concentration inequality. Finally, our experimental evaluation shows that ONBRA significantly reduces the computational resources required by the exact computation of the temporal betweenness centrality on several real world networks, while reporting high-quality estimates with rigorous guarantees.


title: Deconvolution of spherical data corrupted with unknown noise

abstract: We consider the deconvolution problem for densities supported on a $(d-1)$-dimensional sphere with unknown center and unknown radius, in the situation where the distribution of the noise is unknown and without any other observations. We propose estimators of the radius, of the center, and of the density of the signal on the sphere that are proved consistent without further information. The estimator of the radius is proved to have almost parametric convergence rate for any dimension $d$. When $d=2$, the estimator of the density is proved to achieve the same rate of convergence over Sobolev regularity classes of densities as when the noise distribution is known.


title: A hardware-software co-design approach to minimize the use of memory resources in multi-core neuromorphic processors

abstract: Both in electronics and biology, physical implementations of neural networks have severe energy and memory constraints. We propose a hardware-software co-design approach for minimizing the use of memory resources in multi-core neuromorphic processors, by taking inspiration from biological neural networks. We use this approach to design new routing schemes optimized for small-world networks and to provide guidelines for designing novel application-specific multi-core neuromorphic chips. Starting from the hierarchical routing scheme proposed, we present a hardware-aware placement algorithm that optimizes the allocation of resources for arbitrary network models. We validate the algorithm with a canonical small-world network and present preliminary results for other networks derived from it.


title: Tri-linear birational maps in dimension three

abstract: A tri-linear rational map in dimension three is a rational map $\phi: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $\phi$ admits an inverse rational map $\phi^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set $\mathfrak{Bir}_{(1,1,1)}$ of tri-linear birational maps, up to composition with an automorphism of $\mathbb{P}_\mathbb{C}^3$, is a locally closed algebraic subset of the Grassmannian of $4$-dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Additionally, the group action on $\mathfrak{Bir}_{(1,1,1)}$ given by composition with automorphisms of $(\mathbb{P}_\mathbb{C}^1)^3$ defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations.


title: A Lower Bound for the Rank of Matroid Intersection

abstract: Matroid is a generalization of many fundamental objects in combinatorial mathematics , and matroid intersection problem is a classical subject in combinatorial optimization . However , only the intersection of two matroids are well understood . The solution of the intersection problem of more than three matroids is proved to be \textbf{NP-hard} . We will give a lower bound estimate on the maximal cardinality of the common independent sets in matroid intersections . We will also study some properties of the intersection of more than two matroids and deduce some analogous results for Edmonds' Min-max theorems for matroids intersection .


title: Quantum many-body scars in bipartite Rydberg arrays originate from hidden projector embedding

abstract: We study the nature of the ergodicity-breaking "quantum many-body scar" states that appear in the PXP model describing constrained Rabi oscillations. For a {wide class of bipartite lattices} of Rydberg atoms, we reveal that the nearly energy-equidistant tower of these states arises from the Hamiltonian's close proximity to a generalized projector-embedding form, a structure common to many models hosting quantum many-body scars. We construct a non-Hermitian, but strictly local extension of the PXP model hosting exact quantum scars, and show how various Hermitian scar-stabilizing extensions from the literature can be naturally understood within this framework. The exact scar states are obtained analytically as large spin states of explicitly constructed pseudospins. The quasi-periodic motion ensuing from the N\'eel state is finally shown to be the projection onto the Rydberg-constrained subspace of the precession of the large pseudospin.


title: Generalized Hanson-Wright Inequality for Random Tensors

abstract: The Hanson-Wright inequality is an upper bound for tails of real quadratic forms in independent random variables. In this work, we extend the Hanson-Wright inequality for the Ky Fan k-norm for the polynomial function of the quadratic sum of random tensors under Einstein product. We decompose the quadratic tensors sum into the diagonal part and the coupling part. For the diagonal part, we can apply the generalized tensor Chernoff bound directly. But, for the coupling part, we have to apply decoupling method first, i.e., decoupling inequality to bound expressions with dependent random tensors with independent random tensors, before applying generalized tensor Chernoff bound again to get the the tail probability of the Ky Fan $k$-norm of the coupling part sum of independent random tensors. At the end, the generalized Hanson-Wright inequality for the Ky Fan k-norm for the polynomial function of the quadratic sum of random tensors can be obtained by the combination of the bound from the diagonal sum part and the bound from the coupling sum part.


title: On symbol correspondences for quark systems

abstract: We present the characterization of symbol correspondences for mechanical systems that are symmetric under $SU(3)$, which we refer to as quark systems. The quantum systems are the unitary irreducible representations of $SU(3)$, denoted by $Q(p,q)$, $p,q\in\mathbb N_0$, together with their operator algebras. We study the cases when the classical phase space is a coadjoint orbit: either the complex projective plane $\mathbb CP^2$ or the flag manifold that is the total space of fiber bundle $\mathbb CP^1\hookrightarrow \mathcal E\to \mathbb CP^2$. In the first case, we refer to pure-quark systems and the characterization of their correspondences is given in terms of characteristic numbers, similarly to the case of spin systems, cf. [24]. In the second case, we refer to generic quark systems and the characterization of their correspondences is given in terms of characteristic matrices, which introduces various novel features. Furthermore, we present the $SU(3)$ decomposition of the product of quantum operators and their corresponding twisted products of classical functions, for both pure and generic quark systems. In preparation for asymptotic analysis of these twisted products, we also present the $SU(3)$ decomposition of the pointwise product of classical functions.


title: $2+1$ Einstein-Klein-Gordon black holes by gravitational decoupling

abstract: In this work we study the 2+1 Einstein-Klein-Gordon system in the framework of Gravitational Decoupling. We associate the generic matter decoupling sector with a real scalar field so we can obtain a constraint which allows to close the system of differential equations. The constraint corresponds to a differential equation involving the decoupling functions and the metric of the seed sector and will be independent of the scalar field itself. We show that when the equation admits analytical solutions, the scalar field and the self-interacting potential can be obtained straightforwardly. We found that, in the cases under consideration, it is possible to express the potential as an explicit function of the scalar field only for certain particular cases corresponding to limiting values of the parameters involved.


title: In-memory Associative Processors: Tutorial, Potential, and Challenges

abstract: In-memory computing is an emerging computing paradigm that overcomes the limitations of exiting Von-Neumann computing architectures such as the memory-wall bottleneck. In such paradigm, the computations are performed directly on the data stored in the memory, which highly reduces the memory-processor communications during computation. Hence, significant speedup and energy savings could be achieved especially with data-intensive applications. Associative processors (APs) were proposed in the seventies and recently were revived thanks to the high-density memories. In this tutorial brief, we overview the functionalities and recent trends of APs in addition to the implementation of each content-addressable memory with different technologies. The AP operations and runtime complexity are also summarized. We also explain and explore the possible applications that can benefit from APs. Finally, the AP limitations, challenges, and future directions are discussed.


title: Iterative Residual Policy: for Goal-Conditioned Dynamic Manipulation of Deformable Objects

abstract: This paper tackles the task of goal-conditioned dynamic manipulation of deformable objects. This task is highly challenging due to its complex dynamics (introduced by object deformation and high-speed action) and strict task requirements (defined by a precise goal specification). To address these challenges, we present Iterative Residual Policy (IRP), a general learning framework applicable to repeatable tasks with complex dynamics. IRP learns an implicit policy via delta dynamics -- instead of modeling the entire dynamical system and inferring actions from that model, IRP learns delta dynamics that predict the effects of delta action on the previously-observed trajectory. When combined with adaptive action sampling, the system can quickly optimize its actions online to reach a specified goal. We demonstrate the effectiveness of IRP on two tasks: whipping a rope to hit a target point and swinging a cloth to reach a target pose. Despite being trained only in simulation on a fixed robot setup, IRP is able to efficiently generalize to noisy real-world dynamics, new objects with unseen physical properties, and even different robot hardware embodiments, demonstrating its excellent generalization capability relative to alternative approaches. Video is available at https://youtu.be/7h3SZ3La-oA


title: Deformation of pairs and Noether-Lefschetz loci in toric varieties

abstract: We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinitesimal deformation if and only if V remains algebraic. Actually we prove that locally the Noether-Lefschetz locus is an irreducible component of a suitable Hilbert scheme. This generalizes Theorem 4.2 in our previous work [4] and the main theorem proved by Dan in [10].


title: Characteristics of Chromospheric Oscillation Periods in Magnetic Bright Points (MBPs)

abstract: In this investigation oscillation periods in Mg II k line intensity, brightness temperature, and Doppler velocity obtained above Magnetic Bright Points (MBPs) are investigated. For that purpose, data from the Interface Region Imaging Spectrometer (IRIS) observing the higher chromosphere and transition region (TR) were analysed together with imaging and magnetogram data obtained by Solar Dynamics Observatory (SDO). The MBPs were identified in combining Si IV 1403 A Slit Jaw Images (SJIs) with the magnetogram information from the Heliospheric and Magnetic Imager (HMI). A time-slice analysis followed by a wavelet inspection were carried out on the Mg II k (2796 A and 10,000 K) resonance lines for the detection of the oscillation period. Finally, a power spectrum analysis was performed to characterise the oscillations with the result that network points feature a typical intensity, temperature, and velocity oscillation period of about 300 seconds; The internetwork points have a mean intensity oscillation period of about 180 seconds, mean temperature oscillation period of about 202, and mean velocity oscillation period of about 202 seconds. In addition, one BP was analysed in detail, which demonstrates intensity oscillation periods with a value of 500 seconds, obviously not related to the common 3- or 5-minute oscillations found typically elsewhere in chromospheric/photospheric structures.


title: Temporal increments of the KPZ equation with general initial data

abstract: We consider the Cole-Hopf solution of the (1+1)-dimensional KPZ equation $\mathcal{H}^f(t,x)$ started with initial data $f$. In this article, we study the sample path properties of the KPZ temporal process $\mathcal{H}_t^f := \mathcal{H}^f(t,0)$. We show that for a very large class of initial data which includes any deterministic continuous initial data that grows slower than parabola ($f(x) \ll 1 + x^2$) as well as narrow wedge and stationary initial data, temporal increments of $\mathcal{H}_t^f$ are well approximated by increments of a fractional Brownian motion of Hurst parameter $\frac14$. As a consequence, we obtain several sample path properties of KPZ temporal properties including variation of the temporal process, law of iterated logarithms, modulus of continuity and Hausdorff dimensions of the set of points with exceptionally large increments.


title: Generative Adversarial Networks

abstract: Generative Adversarial Networks (GANs) are very popular frameworks for generating high-quality data, and are immensely used in both the academia and industry in many domains. Arguably, their most substantial impact has been in the area of computer vision, where they achieve state-of-the-art image generation. This chapter gives an introduction to GANs, by discussing their principle mechanism and presenting some of their inherent problems during training and evaluation. We focus on these three issues: (1) mode collapse, (2) vanishing gradients, and (3) generation of low-quality images. We then list some architecture-variant and loss-variant GANs that remedy the above challenges. Lastly, we present two utilization examples of GANs for real-world applications: Data augmentation and face images generation.


title: Information back-flow in quantum non-Markovian dynamics and its connection to teleportation

abstract: A quantum process is called non-Markovian when memory effects take place during its evolution. Quantum non-Markovianity is a phenomenon typically associated with the information back-flow from the environment to the principal system, however it has been shown that such an effect is not necessary. In this work, we establish a connection between quantum non-Markovianity and the protocol of quantum teleportation in both discrete and continuous-variable systems. We also show how information flows during a teleportation protocol between the principal system and the environment in a bidirectional way leading up to a state revival. Finally, given the resource-like role of entanglement in the teleportation protocol, the relationship between this property and non-Markovianity is also elucidated.


title: Hierarchical Reinforcement Learning with AI Planning Models

abstract: Two common approaches to sequential decision-making are AI planning (AIP) and reinforcement learning (RL). Each has strengths and weaknesses. AIP is interpretable, easy to integrate with symbolic knowledge, and often efficient, but requires an up-front logical domain specification and is sensitive to noise; RL only requires specification of rewards and is robust to noise but is sample inefficient and not easily supplied with external knowledge. We propose an integrative approach that combines high-level planning with RL, retaining interpretability, transfer, and efficiency, while allowing for robust learning of the lower-level plan actions. Our approach defines options in hierarchical reinforcement learning (HRL) from AIP operators by establishing a correspondence between the state transition model of AI planning problem and the abstract state transition system of a Markov Decision Process (MDP). Options are learned by adding intrinsic rewards to encourage consistency between the MDP and AIP transition models. We demonstrate the benefit of our integrated approach by comparing the performance of RL and HRL algorithms in both MiniGrid and N-rooms environments, showing the advantage of our method over the existing ones.


title: How Big are the Stable Homotopy Groups of Spheres?

abstract: In this article we show that the $p$-torsion exponent of the stable stems grows sublinearly in $n$ and the $p$-rank of the $E_2$-page of the Adams spectral sequence grows as $\exp(\Theta( \log(n)^3))$. Together these bounds provide the first subexponential bound on the size of the stable stems. Conversely, we prove that a certain, precise, version of the failure of the telescope conjecture would imply that the upper bound provided by the Adams $E_2$-page is essentially sharp -- answering the titular question: As big as the fate of the telescope conjecture demands. In an appendix joint with Andrew Senger we consider the unstable analog of this question. Bootstrapping from the stable bounds we prove that the size of the $p$-local homotopy groups of spheres grows like $\exp(O(\log(n)^3))$, providing the first subexponential bound on the size of the unstable stems.


title: Maximum Flow and Minimum-Cost Flow in Almost-Linear Time

abstract: We give an algorithm that computes exact maximum flows and minimum-cost flows on directed graphs with $m$ edges and polynomially bounded integral demands, costs, and capacities in $m^{1+o(1)}$ time. Our algorithm builds the flow through a sequence of $m^{1+o(1)}$ approximate undirected minimum-ratio cycles, each of which is computed and processed in amortized $m^{o(1)}$ time using a new dynamic graph data structure. Our framework extends to algorithms running in $m^{1+o(1)}$ time for computing flows that minimize general edge-separable convex functions to high accuracy. This gives almost-linear time algorithms for several problems including entropy-regularized optimal transport, matrix scaling, $p$-norm flows, and $p$-norm isotonic regression on arbitrary directed acyclic graphs.


title: Generalizable Person Re-Identification via Self-Supervised Batch Norm Test-Time Adaption

abstract: In this paper, we investigate the generalization problem of person re-identification (re-id), whose major challenge is the distribution shift on an unseen domain. As an important tool of regularizing the distribution, batch normalization (BN) has been widely used in existing methods. However, they neglect that BN is severely biased to the training domain and inevitably suffers the performance drop if directly generalized without being updated. To tackle this issue, we propose Batch Norm Test-time Adaption (BNTA), a novel re-id framework that applies the self-supervised strategy to update BN parameters adaptively. Specifically, BNTA quickly explores the domain-aware information within unlabeled target data before inference, and accordingly modulates the feature distribution normalized by BN to adapt to the target domain. This is accomplished by two designed self-supervised auxiliary tasks, namely part positioning and part nearest neighbor matching, which help the model mine the domain-aware information with respect to the structure and identity of body parts, respectively. To demonstrate the effectiveness of our method, we conduct extensive experiments on three re-id datasets and confirm the superior performance to the state-of-the-art methods.


title: Essay on modality across different logics

abstract: In this paper, we deal with the problem of putting together modal worlds that operate in different logic systems. When evaluating a modal sentence $\Box \varphi$, we argue that it is not sufficient to inspect the truth of $\varphi$ in accessed worlds (possibly in different logics). Instead, ways of transferring more subtle semantic information between logical systems must be established. Thus, we will introduce modal structures that accommodate communication between logic systems by fixing a common lattice $L$ where different logics build their semantics. The semantics of each logic being considered in the modal structure is a sublattice of $L$. In this system, necessity and possibility of a statement should not solely rely on the satisfaction relation in each world and the accessibility relation. The value of a formula $\Box \varphi$ will be defined in terms of a comparison between the values of $\varphi$ in accessible worlds and the common lattice $L$. We will investigate natural instances where formulas $\varphi$ can be said to be necessary$/$possible even though all accessible world falsify $\varphi$. Finally, we will discuss frames that characterize dynamic relations between logic systems: classically increasing, classically decreasing and dialectic frames.


title: Advancing an Interdisciplinary Science of Conversation: Insights from a Large Multimodal Corpus of Human Speech

abstract: People spend a substantial portion of their lives engaged in conversation, and yet our scientific understanding of conversation is still in its infancy. In this report we advance an interdisciplinary science of conversation, with findings from a large, novel, multimodal corpus of 1,656 recorded conversations in spoken English. This 7+ million word, 850 hour corpus totals over 1TB of audio, video, and transcripts, with moment-to-moment measures of vocal, facial, and semantic expression, along with an extensive survey of speaker post conversation reflections. We leverage the considerable scope of the corpus to (1) extend key findings from the literature, such as the cooperativeness of human turn-taking; (2) define novel algorithmic procedures for the segmentation of speech into conversational turns; (3) apply machine learning insights across various textual, auditory, and visual features to analyze what makes conversations succeed or fail; and (4) explore how conversations are related to well-being across the lifespan. We also report (5) a comprehensive mixed-method report, based on quantitative analysis and qualitative review of each recording, that showcases how individuals from diverse backgrounds alter their communication patterns and find ways to connect. We conclude with a discussion of how this large-scale public dataset may offer new directions for future research, especially across disciplinary boundaries, as scholars from a variety of fields appear increasingly interested in the study of conversation.


title: Visualizing the out-of-plane electronic dispersions in an intercalated transition metal dichalcogenide

abstract: Layered transition metal dichalcogenides have rich phase diagram and they feature two dimensionality on numerous physical properties. Co1/3NbS2 is one of the newest members of this family where Co atoms are intercalated into the Van der Waals gaps between NbS2 layers. We study the three-dimensional electronic band structure of Co1/3NbS2 using both surface and bulk sensitive angle-resolved photoemission spectroscopy. We show that the electronic bands do not fit into the rigid-band-shift picture after the Co intercalation. Instead, Co1/3NbS2 displays a different orbital character near the Fermi level compared to the pristine NbS2 compound and has a clear band dispersion in kz direction despite its layered structure. Our photoemission study demonstrates the out-of-plane electronic correlations introduced by the Co intercalation, thus offering a new perspective on this compound. Finally, we propose how Fermi level tuning could lead to exotic phases such as spin density wave instability.


title: The Schwinger function, confinement and positivity violation in pure gauge QED

abstract: The lattice regularized pure gauge compact U(1) theory is an ideal laboratory to explore how confinement is realized as its phase diagram has a confined and a deconfined phase that depends on the value of the coupling constant, i.e. on $\beta$. Herein, the connection between confinement and positivity violation through the Schwinger function associated with the Landau gauge photon propagator is investigated. The simulations reported show a very clear link between the realization of confinement and positivity violation of the photon Schwinger function and, therefore, of the photon K\"all\'en-Lehmann spectral density. Furthermore, a mass scale that characterizes the decay of the Schwinger function for small time separations is computed and used to distinguish the two phases of the theory.


title: Radiative Plateau Inflation with Conformal Invariance: Dynamical Generation of Electroweak and Seesaw Scales

abstract: We investigate a scale-invariant $B-L$ scenario where the Standard Model (SM) is supplemented with a dark scalar $\phi$ which has gauge \& Yukawa interactions, with the couplings $g_{BL}$ and $y$, respectively, leading to radiative plateau inflation at scale $\phi=M$ in the ultraviolet (UV), while dynamically generating the Electroweak and Seesaw scales \textit{\'a l\'a} Coleman-Weinberg in the infrared (IR). This is particularly achieved by implementing threshold corrections at an energy scale $\mu_T$ arising due to the presence of vector-like fermions. We show that implementing the inflationary observables makes the couplings solely dependent on the plateau scale $M$, leaving us with only two independent parameters $M$ and $\mu_T$. Within the theoretically consistent parameter space defined by $m_{Z_{BL}} > 850~\rm GeV$, from the assumption of independent evolution of the dark sector couplings from the SM couplings and $M < 5.67~M_P$ required for the realisation of inflationary \textit{plateau-like} behaviour of the potential around $\phi=M$, where $M_P=2.4\times10^{18}$ GeV is the reduced Planck mass, we identify the parameter space that is excluded by the current LHC results from the search for the heavy $Z_{BL}$ boson. For typical benchmark points in the viable parameter regions, we estimate the reheating temperature to be $\mathcal{O}(TeV)$ thus consistent with the standard Big Bang Nucleosynthesis (BBN) constraints. For typical benchmark points ($M=5.67,~1,~0.1~M_P$) we predict the scales of inflation to be $\mathcal{H}_{inf}=2.79\times10^{12}$ GeV, $1.53\times10^{10}$ GeV and $1.53\times10^7$ GeV, respectively.


title: Ultrafast Melting of Superconductivity in an Iron-Based Superconductor

abstract: Intense debate has recently arisen regarding the photoinduced changes to the iron-chalcogenide superconductors, including the enhancement of superconductivity and a metastable state. Here, by employing high energy resolution, we directly observe the melting of superconductivity on ultrafast timescales. We demonstrate a distinctly nonequilibrium response on short timescales, where the gap fills in prior to the destruction of the superconducting peak, followed by a metastable response. We propose that the former is due to pair phase decoherence and speculate that the latter is due to the increase in double stripe correlations that are known to compete with superconductivity. Our results add to exciting new developments on the iron-based superconductors, indicating that the photoinduced metastable state possibly competes with superconductivity.


title: Details of Second-Order Partial Derivatives of Rigid-Body Inverse Dynamics

abstract: The details of second-order partial derivatives of rigid-body Inverse/Forward dynamics are provided. Several properties and identities using Spatial Vector Algebra are listed, along with their detailed derivations. The expressions build upon previous work by the author on first-order partial derivatives of inverse dynamics. The first/second-order derivatives are also extended for systems with external forces. Finally, the KKT Forward dynamics and Impact dynamics derivatives are derived.


title: CrossPoint: Self-Supervised Cross-Modal Contrastive Learning for 3D Point Cloud Understanding

abstract: Manual annotation of large-scale point cloud dataset for varying tasks such as 3D object classification, segmentation and detection is often laborious owing to the irregular structure of point clouds. Self-supervised learning, which operates without any human labeling, is a promising approach to address this issue. We observe in the real world that humans are capable of mapping the visual concepts learnt from 2D images to understand the 3D world. Encouraged by this insight, we propose CrossPoint, a simple cross-modal contrastive learning approach to learn transferable 3D point cloud representations. It enables a 3D-2D correspondence of objects by maximizing agreement between point clouds and the corresponding rendered 2D image in the invariant space, while encouraging invariance to transformations in the point cloud modality. Our joint training objective combines the feature correspondences within and across modalities, thus ensembles a rich learning signal from both 3D point cloud and 2D image modalities in a self-supervised fashion. Experimental results show that our approach outperforms the previous unsupervised learning methods on a diverse range of downstream tasks including 3D object classification and segmentation. Further, the ablation studies validate the potency of our approach for a better point cloud understanding. Code and pretrained models are available at http://github.com/MohamedAfham/CrossPoint.


title: A General Framework for Distributed Partitioned Optimization

abstract: Decentralized optimization is widely used in large scale and privacy preserving machine learning and various distributed control and sensing systems. It is assumed that every agent in the network possesses a local objective function, and the nodes interact via a communication network. In the standard scenario, which is mostly studied in the literature, the local functions are dependent on a common set of variables, and, therefore, have to send the whole variable set at each communication round. In this work, we study a different problem statement, where each of the local functions held by the nodes depends only on some subset of the variables. Given a network, we build a general algorithm-independent framework for decentralized partitioned optimization that allows to construct algorithms with reduced communication load using a generalization of Laplacian matrix. Moreover, our framework allows to obtain algorithms with non-asymptotic convergence rates with explicit dependence on the parameters of the network, including accelerated and optimal first-order methods. We illustrate the efficacy of our approach on a synthetic example.


title: ONIX: an X-ray deep-learning tool for 3D reconstructions from sparse views

abstract: Three-dimensional (3D) X-ray imaging techniques like tomography and confocal microscopy are crucial for academic and industrial applications. These approaches access 3D information by scanning the sample with respect to the X-ray source. However, the scanning process limits the temporal resolution when studying dynamics and is not feasible for some applications, such as surgical guidance in medical applications. Alternatives to obtaining 3D information when scanning is not possible are X-ray stereoscopy and multi-projection imaging. However, these approaches suffer from limited volumetric information as they only acquire a small number of views or projections compared to traditional 3D scanning techniques. Here, we present ONIX (Optimized Neural Implicit X-ray imaging), a deep-learning algorithm capable of retrieving 3D objects with arbitrary large resolution from only a set of sparse projections. ONIX, although it does not have access to any volumetric information, outperforms current 3D reconstruction approaches because it includes the physics of image formation with X-rays, and it generalizes across different experiments over similar samples to overcome the limited volumetric information provided by sparse views. We demonstrate the capabilities of ONIX compared to state-of-the-art tomographic reconstruction algorithms by applying it to simulated and experimental datasets, where a maximum of eight projections are acquired. We anticipate that ONIX will become a crucial tool for the X-ray community by i) enabling the study of fast dynamics not possible today when implemented together with X-ray multi-projection imaging, and ii) enhancing the volumetric information and capabilities of X-ray stereoscopic imaging in medical applications.

categories: eess.IV physics.data-an physics.med-ph physics.optics


title: Conformal Submersions Whose Total Manifolds Admit a Ricci Soliton

abstract: In this paper, we study conformal submersions from Ricci solitons to Riemannian manifolds with non-trivial examples. First, we study some properties of the O'Neill tensor $A$ in the case of conformal submersion. We also find a necessary and sufficient condition for conformal submersion to be totally geodesic and calculate the Ricci tensor for the total manifold of such a map with different assumptions. Further, we consider a conformal submersion $F:M \to N$ from a Ricci soliton to a Riemannian manifold and obtain necessary conditions for the fibers of $F$ and the base manifold $N$ to be Ricci soliton, almost Ricci soliton and Einstein. Moreover, we find necessary conditions for a vector field and its horizontal lift to be conformal on $N$ and $(KerF_\ast)^\bot,$ respectively. Also, we calculate the scalar curvature of Ricci soliton $M$. Finally, we obtain a necessary and sufficient condition for $F$ to be harmonic.


title: Awareness and use of quantitative decision-making methods in pharmaceutical development

abstract: The pharmaceutical industry has experienced increasing costs and sustained high attrition rates in drug development over the last years. One proposal that addresses this challenge from a statistical perspective is the use of quantitative decision-making (QDM) methods to support a data-driven, objective appraisal of the evidence that forms the basis of decisions at different development levels. Growing awareness among statistical leaders in the industry has led to the creation of the European EFSPI/PSI special interest group (ESIG) on quantitative decision making to share experiences, collect best practices, and promote the use of QDM. In this paper, we introduce key components of QDM and present examples of QDM methods on trial, program, and portfolio level. The ESIG created a questionnaire to learn how and to what extent QDM methods are currently used in the different development phases. We present the main questionnaire findings, and we show where QDM is already used today but also where areas for future improvement can be identified. In particular, statisticians should increase their visibility, involvement, and leadership in cross-functional decision-making.


title: Investigation of Mixed Irradiation Effects in p-MCz Thin Silicon Microstrip Detector for the HL-LHC Experiments

abstract: A lot of R & D work is carried out in the CERN RD50 Collaboration to find out the best material for the Si detectors that can be used in the harsh radiation environment of HL-LHC, n and p-MCz Si was identified as one of the prime candidates as a material for strip detector that can be chosen the phase 2 upgrade plan of the new Compact Muon Solenoid tracker detector in 2026. For the very first time, in this work, an advanced four level deep-trap mixed irradiation model for p-MCz Si is proposed by the comparison of experimental data on the full depletion voltage and leakage current to the Shockley Read Hall recombination statistics results on the mixed irradiated p-MCz Si PAD detector. In this work, we have determined the effective introduction rate {\eta}eff of shallower donor deep trap E30 K using SRH theory calculations for exp. Neff and that can shown the behavior of space charges and electric field distribution in the p-MCz Si strip detector and compared its value with the Neff of shallower donor deep trap E30 K in the n -MCz Si microstrip detector. Prediction uncertainty in the p-MCz Si radiation damage mixed irradiation model considered in the full depletion voltage and leakage current. A very good agreement is observed in the experimental and SRH results. This radiation damage models also used to extrapolate the value of the full depletion voltage at different mixed (proton + neutron) higher irradiation fluences for the thin p-MCz Si microstrip detector.


title: TCAD Simulation and Design Optimization of Radiation Hard n-MCz and n-Fz Si Microstrip Detector for the HL-LHC

abstract: A radiation hard Si detector is used in the new CMS tracker detector at HL-LHC. It has been observed that n-MCz and n-Fz Si as a material can be used for the Si micro strip detector. The detector design for this material should be simulated and optimized to get high CCE. In order to understand the charge collection behavior of the n-MCz/n-FzSi detector, it is required to simulate and compare the radiation damage effects in the mixed irradiated n-MCz Si and neutron irradiated n-FzSi micro strip detector equipped with metal overhang and multiple guard rings. In this paper, we have done analysis and optimization of the radiation hard n-MCz Si/n-Fz Si strip detector design for the HL-LHC experiment in order to get high CCE.


title: Catalog of Properties of the First Isodynamic Point of a Triangle

abstract: The first isodynamic point of a triangle is one of many notable points associated with a triangle. It is named X(15) in the Encyclopedia of Triangle Centers. This paper surveys known results about this point and gives additional properties that were discovered by computer.


title: High-resolution absorption measurements with free-electron lasers using ghost spectroscopy

abstract: We demonstrate a simple and robust high-resolution ghost spectroscopy approach for x-ray and extreme ultraviolet absorption spectroscopy at free-electron laser sources. Our approach requires an on-line spectrometer before the sample and a downstream bucket detector. We use this method to measure the absorption spectrum of silicon, silicon carbide and silicon nitride membranes in the vicinity of the silicon L2,3-edge. We show that ghost spectroscopy allows the high-resolution reconstruction of the sample spectral response using a coarse energy scan with self-amplified spontaneous emission radiation. For the conditions of our experiment the energy resolution of the ghost-spectroscopy reconstruction is higher than the energy resolution reached by scanning the energy range by narrow spectral bandwidth radiation produced by the seeded free-electron laser. When we set the photon energy resolution of the ghost spectroscopy to be equal to the resolution of the measurement with the seeded radiation, the measurement time with the ghost spectroscopy method is shorter than scanning the photon energy with seeded radiation. The exact conditions for which ghost spectroscopy can provide higher resolution at shorter times than measurement with narrow band scans depend on the details of the measurements and on the properties of the samples and should be addressed in future studies.


title: Kiloparsec view of a typical star-forming galaxy when the Universe was $\sim$1 Gyr old II. Regular rotating disk and evidence for baryon dominance on galactic scales

abstract: We present a kinematic analysis of the main-sequence galaxy HZ4 at $z=5.5$. Our study is based on deep, spatially resolved observations of the [CII] 158 $\mu$m transition obtained with the Atacama Large Millimeter/Submillimeter Array (ALMA). From the combined analysis of the disk morphology, the two-dimensional velocity structure, and forward-modeling of the one-dimensional velocity and velocity dispersion profiles, we conclude that HZ4 has a regular rotating disk in place. The intrinsic velocity dispersion in HZ4 is high ($\sigma_{0}=65.8^{+2.9}_{-3.3}$ km s$^{-1}$), and the ratio between the rotational velocity and the intrinsic velocity dispersion is $V_{\rm rot}/\sigma_{0}=2.2$. These values are consistent with the expectations from the trends of increasing $\sigma_{0}$ and decreasing $V_{\rm rot}/\sigma_{0}$ as a function of redshift observed in main-sequence galaxies up to $z\approx4$. Galaxy evolution models suggest that the high level of turbulence observed in HZ4 can only be achieved if, in addition to stellar feedback, there is radial transport of gas within the disk. Finally, we find that HZ4 is baryon dominated on galactic scales ($\lesssim2\times R_{\rm e}$), with a dark matter fraction at one effective radius of $f_{\rm DM}(R_{\rm e})=0.41^{+0.25}_{-0.22}$. This value is comparable to the dark matter fractions found in lower redshift galaxies that could be the descendants of HZ4: massive ($M_{\star}\approx10^{11}~M_{\odot}$), star-forming galaxies at $z\sim2$, and passive, early type galaxies at $z\approx0$.


title: From Images to Dark Matter: End-To-End Inference of Substructure From Hundreds of Strong Gravitational Lenses

abstract: Constraining the distribution of small-scale structure in our universe allows us to probe alternatives to the cold dark matter paradigm. Strong gravitational lensing offers a unique window into small dark matter halos ($<10^{10} M_\odot$) because these halos impart a gravitational lensing signal even if they do not host luminous galaxies. We create large datasets of strong lensing images with realistic low-mass halos, Hubble Space Telescope (HST) observational effects, and galaxy light from HST's COSMOS field. Using a simulation-based inference pipeline, we train a neural posterior estimator of the subhalo mass function (SHMF) and place constraints on populations of lenses generated using a separate set of galaxy sources. We find that by combining our network with a hierarchical inference framework, we can both reliably infer the SHMF across a variety of configurations and scale efficiently to populations with hundreds of lenses. By conducting precise inference on large and complex simulated datasets, our method lays a foundation for extracting dark matter constraints from the next generation of wide-field optical imaging surveys.


title: Tunable Nonlinearity and Efficient Harmonic Generation from a Strongly Coupled Light-Matter System

abstract: Strong light-matter coupling within electromagnetic environments provides a promising path to modify and control chemical and physical processes. The origin of the enhancement of nonlinear optical processes such as second-harmonic and third-harmonic generation (SHG and THG) due to strong light-matter coupling is attributed to distinct physical effects which questions the relevance of strong coupling in these processes. In this work, we leverage a first-principles approach to investigate the origins of the experimentally observed enhancement of resonant SHG and THG under strong light-matter coupling. We find that the enhancement of the nonlinear conversion efficiency has its origins in a modification of the associated nonlinear optical susceptibilities as polaritonic resonances emerge in the nonlinear spectrum. Further, we find that the nonlinear conversion efficiency can be tuned by increasing the light-matter coupling strength. Finally, we provide a general framework to compute the harmonic generation spectra from the displacement field as opposed to the standard approach which computes the harmonic spectrum from the matter-only induced polarization. Our results address a key debate in the field, and pave the way for predicting and understanding quantum nonlinear optical phenomena in strongly coupled light-matter systems.


title: Observing planet-driven dust spirals with ALMA

abstract: ALMA continuum observations of thermal emission from the dust component of protoplanetary disks have revealed an abundance of substructures that may be interpreted as evidence for embedded planets, but planet-driven spiral arms -- perhaps one of the most compelling lines of evidence -- have proven comparatively elusive. In this work, we test the capabilities of ALMA to detect the planet-driven spiral signal in continuum emission. Carrying out hydrodynamic simulations and radiative transfer calculations, we present synthetic Band 7 continuum images for a wide range of disk and observing conditions. We show that thermal mass planets at tens of au typically drive spirals detectable within a few hours of integration time, and the detectable planet mass may be as low as $\sim$Neptune mass ($0.3 \, M_{\rm th}$). The grains probed by ALMA form spirals morphologically identical to the underlying gas spiral. The temperature of the dust spiral is crucial in determining its contrast, and spirals are easier to detect in disks with an adiabatic equation of state and longer cooling times. Resolving the spiral is not necessary for its detection; with the help of residual maps, the optimal beam size is a few times the spiral width at a constant noise level. Finally, we show how the presence of gaps and rings can impair our ability to recognize co-located spirals. Our work demonstrates the planet-finding potential of the current design specification of ALMA, and suggests that observing capability is not the bottleneck in searching for spirals induced by thermal mass planets.


title: Gravitational Waves from Incomplete Inflationary Phase Transitions

abstract: We study the observable implications of an incomplete first order phase transition during inflation. In such a phase transition, the nucleated bubbles do not percolate and instead are continuously produced until the onset of reheating. The process creates an inhomogeneity with a distinct power spectrum that depends on both the physics of the phase transition and the inflationary dynamics. Upon horizon re-entry, this spectrum generates gravitational waves through non-linear effects. This stochastic gravitational wave background is predicted to have unique signatures that may be detectable by future experiments spanning a wide frequency range. The discovery of such a gravitational wave signal would shed a light on the detailed dynamics of inflation.


title: Cuspy dark matter density profiles in massive dwarf galaxies

abstract: Rotation curves of galaxies probe their total mass distributions, including dark matter. Dwarf galaxies are excellent systems to investigate the dark matter density distribution, as they tend to have larger fractions of dark matter compared to higher mass systems. The core-cusp problem describes the discrepancy found in the slope of the dark matter density profile in the centres of galaxies ($\beta^*$) between observations of dwarf galaxies (shallower cores) and dark matter-only simulations (steeper cusps). We investigate $\beta^*$ in six nearby spiral dwarf galaxies for which high-resolution CO $J=1-0$ data were obtained with ALMA. We derive rotation curves and decompose the mass profile of the dark matter using our CO rotation curves as a tracer of the total potential and 4.5$\mu$m photometry to define the stellar mass distribution. We find $\langle\beta^*\rangle = 0.6$ with a standard deviation of $\pm0.1$ among the galaxies in this sample, in agreement with previous measurements in this mass range. The galaxies studied are on the high stellar mass end of dwarf galaxies and have cuspier profiles than lower mass dwarfs, in agreement with other observations. When the same definition of the slope is used, we observe steeper slopes than predicted by the FIRE and NIHAO simulations. This may signal that these relatively massive dwarfs underwent stronger gas inflows toward their centres than predicted by these simulations, that these simulations over-predict the frequency of accretion or feedback events, or that a combination of these or other effects are at work.


title: Calibrations of the Compton Spectrometer and Imager

abstract: The Compton Spectrometer and Imager (COSI) is a balloon-borne soft $\gamma$-ray telescope (0.2-5 MeV) designed to study astrophysical sources. COSI employs a compact Compton telescope design and is comprised of twelve high-purity germanium semiconductor detectors. Tracking the locations and energies of $\gamma$-ray scatters within the detectors permits high-resolution spectroscopy, direct imaging over a wide field-of-view, polarization studies, and effective suppression of background events. Critical to the precise determination of each interaction's energy, position, and the subsequent event reconstruction are several calibrations conducted in the field before launch. Additionally, benchmarking the instrument's higher-level performance through studies of its angular resolution, effective area, and polarization sensitivity quantifies COSI's scientific capabilities. In May 2016, COSI became the first science payload to be launched on NASA's superpressure balloon and was slated for launch again in April 2020. Though the 2020 launch was canceled due to the COVID-19 pandemic, the COSI team took calibration measurements prior to cancellation. In this paper we provide a detailed overview of COSI instrumentation, describe the calibration methods, and compare the calibration and benchmarking results of the 2016 and 2020 balloon campaigns. These procedures will be integral to the calibration and benchmarking of the NASA Small Explorer satellite version of COSI scheduled to launch in 2025.


title: UV-Complete Gravity Amplitudes and the Triple Product

abstract: We construct an infinite class of new ultraviolet-complete four-graviton scattering amplitudes that reduce to Einstein gravity at low energies, vanish at high energies, are meromorphic, and exhibit a triple-product structure ${\cal A}(s){\cal A}(t){\cal A}(u)$. The spectrum invariantly exhibits accumulation points in the form of infinite towers of states on each mass pole, whose residue can be positively expanded on tree-level exchanges of irreducible representations of the Lorentz group.


title: Automated reconstruction of bound states in bilayer graphene quantum dots

abstract: Bilayer graphene is a nanomaterial that allows for well-defined, separated quantum states to be defined by electrostatic gating and, therefore, provides an attractive platform to construct tunable quantum dots. When a magnetic field perpendicular to the graphene layers is applied, the graphene valley degeneracy is lifted, and splitting of the energy levels of the dot is observed. Given the experimental ability to engineer this energy valley splitting, bilayer graphene quantum dots have a great potential for hosting robust qubits. Although bilayer graphene quantum dots have been recently realized in experiments, it is critically important to devise robust methods that can identify the observed quantum states from accessible measurement data. Here, we develop an efficient algorithm for extracting the model parameters needed to characterize the states of a bilayer graphene quantum dot completely. We introduce a Hamiltonian-guided random search method and demonstrate robust identification of quantum states on both simulated and experimental data.


title: Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

abstract: Satisfiability Testing (SAT) techniques are well-established in classical computing where they are used to solve a broad variety of problems, e.g., in the design of classical circuits and systems. Analogous to the classical realm, quantum algorithms are usually modelled as circuits and similar design tasks need to be tackled. Thus, it is natural to pose the question whether these design tasks in the quantum realm can also be approached using SAT techniques. To the best of our knowledge, no SAT formulation for arbitrary quantum circuits exists and it is unknown whether such an approach is feasible at all. In this work, we define a propositional SAT encoding that, in principle, can be applied to arbitrary quantum circuits. However, we show that due to the inherent complexity of representing quantum states, constructing such an encoding is not feasible in general. Therefore, we establish general criteria for determining the feasibility of the proposed encoding and identify classes of quantum circuits fulfilling these criteria. We explicitly demonstrate how the proposed encoding can be applied to the class of Clifford circuits as a representative. Finally, we empirically demonstrate the applicability and efficiency of the proposed encoding for Clifford circuits. With these results, we lay the foundation for continuing the ongoing success of SAT in classical circuit and systems design for quantum circuits.