title: Nonleptonic two-body decays of $\Lambda_b\rightarrow \Lambda_c \pi, \Lambda_cK$ in the perturbative QCD approach

abstract: We study the color-allowed $\Lambda_b\rightarrow \Lambda_c \pi, \Lambda_cK$ decays in the perturbative QCD approach (PQCD) to lowest order in strong coupling constant $\alpha_s$. Both the factorizable and nonfactorizable contributions are taken into account in our calculations. It is found that these processes are dominated by the factorizable contributions, while the important nonfactorizable contributions can enhance the branching ratios by about 30$\%$. The decay branching ratios are predicted to be $\mathcal{B}(\Lambda_b\rightarrow \Lambda_c \pi)=6.7^{+4.1}_{-3.8}\times 10^{-3}$ and $\mathcal{B}(\Lambda_b\rightarrow \Lambda_c K)=5.0^{+4.0}_{-3.0}\times 10^{-4}$, where the uncertainties arise from the baryon light-cone distribution amplitudes (LCDAs), the heavy charm quark and charmed baryon masses, and the hard scales. It is shown that the asymmetry parameters in the two decays are approximately equal to -1, which is expected as in the heavy quark limit and the soft meson limit. Our predictions are consistent with the recent experimental data within errors. The obtained numerical results are also compared to those in the other theoretical approaches when they are available.


title: Churn modeling of life insurance policies via statistical and machine learning methods -- Analysis of important features

abstract: Life assurance companies typically possess a wealth of data covering multiple systems and databases. These data are often used for analyzing the past and for describing the present. Taking account of the past, the future is mostly forecasted by traditional statistical methods. So far, only a few attempts were undertaken to perform estimations by means of machine learning approaches. In this work, the individual contract cancellation behavior of customers within two partial stocks is modeled by the aid of various classification methods. Partial stocks of private pension and endowment policy are considered. We describe the data used for the modeling, their structured and in which way they are cleansed. The utilized models are calibrated on the basis of an extensive tuning process, then graphically evaluated regarding their goodness-of-fit and with the help of a variable relevance concept, we investigate which features notably affect the individual contract cancellation behavior.


title: Exploring the deep atmospheres of HD 209458b and WASP-43b using a non-gray general circulation model

abstract: Simulations with a 3D general circulation model (GCM) suggest that one potential driver behind the observed radius inflation in hot Jupiters may be the downward advection of energy from the highly irradiated photosphere into the deeper layers. Here, we compare dynamical heat transport within the non-inflated hot Jupiter WASP-43b and the canonical inflated hot Jupiter HD 209458b, with similar effective temperatures. We investigate to what extent the radiatively driven heating and cooling in the photosphere (at pressures smaller than 1 bar) influence the deeper temperature profile (at pressures between 1 to 700 bar). Our simulations with the new non-gray 3D radiation-hydrodynamical model expeRT/MITgcm show that the deep temperature profile of WASP-43b is associated with a relatively cold adiabat. The deep layers of HD 209458b, however, do not converge and remain nearly unchanged regardless of whether a cold or a hot initial state is used. Furthermore, we show that different flow structures in the deep atmospheric layers arise. There, we find that WASP-43b exhibits a deep equatorial jet, driven by the relatively fast tidally locked rotation of this planet (0.81 days), as compared to HD 209458b (3.47 days). However, by comparing simulations with different rotation periods, we find that the resulting flow structures only marginally influence the temperature evolution in the deep atmosphere, which is almost completely dominated by radiative heating and cooling. Furthermore, we find that the evolution of deeper layers can influence the 3D temperature structure in the photosphere of WASP-43b. Thus, dayside emission spectra of WASP-43b may shed more light onto the dynamical processes occurring at greater depths.


title: Taylor expansions and Pad\'e approximants for cumulants of conserved charge fluctuations at non-vanishing chemical potentials

abstract: Using high statistics datasets generated in (2+1)-flavor QCD calculations at finite temperature we present results for low order cumulants of net baryon-number fluctuations at non-zero values of the baryon chemical potential. We calculate Taylor expansions for the pressure (zeroth order cumulant), net baryon-number density (first order cumulant) and the variance of the distribution on net-baryon number fluctuations (second order cumulant). We obtain series expansions from an eighth order expansion of the pressure and compare these to diagonal Pad\'e approximants. This allows us to estimate the range of values for the baryon chemical potential in which these expansions are reliable. We find $\mu_B/T\le 2.5$, $2.0$ and $1.5$ for the zeroth, first and second order cumulants, respectively. We furthermore, construct estimators for the radius of convergence of the Taylor series of the pressure. In the vicinity of the pseudo-critical temperature, $T_{pc}\simeq 156.5$ MeV, we find $\mu_B/T \gtrsim\ 2.9$ at vanishing strangeness chemical potential and somewhat larger values for strangeness neutral matter. These estimates are temperature dependent and range from $\mu_B/T \gtrsim\ 2.2$ at $T=135$ MeV to $\mu_B/T\ \gtrsim\ 3.2$ at $T=165$ MeV. The estimated radius of convergences is the same for any higher order cumulant.


title: Identification, mass and age of primary red clump stars from spectral features derived with the LAMOST DR7

abstract: Although red clump (RC) stars are easy to identify due to their stability of luminosity and color, about 20-50% are actually red giant branch (RGB) stars in the same location on the HR diagram. In this paper, a sample of 210,504 spectra for 184 318 primary RC (PRC) stars from the LAMOST DR7 is identified, which has a purity of higher than 90 percent. The RC and the RGB stars are successfully distinguished through LAMOST spectra(R~1800 and SNR>10) by adopting the XGBoost ensemble learning algorithm, and the secondary RC stars are also removed. The SHapley Additive exPlanations (SHAP) value is used to explain the top features that the XGBoost model selected. The features are around Fe5270, MgH & MgIb, Fe4957, Fe4207, Cr5208, and CN, which can successfully distinguish RGB and RC stars. The XGBoost is also used to estimate the ages and masses of PRC stars by training their spectra with Kepler labeled asteroseismic parameters. The uncertainties of mass and age are 13 and 31 percent, respectively. Verifying the feature attribution model, we find the age-sensitive elements XGBoost gets are consistent with the literature. Distances of the PRC stars are derived by $K_{S}$ absolute magnitude calibrated by Gaia EDR3, which has an uncertainty of about 6 percent and shows the stars mainly locate at the Galactic disk. We also test the XGBoost with R$\sim$250, which is the resolution of the Chinese Space Station Telescope(CSST) under construction, it is still capable of finding sensitive features to distinguish RC and RGB.


title: Training-free hyperparameter optimization of neural networks for electronic structures in matter

abstract: A myriad of phenomena in materials science and chemistry rely on quantum-level simulations of the electronic structure in matter. While moving to larger length and time scales has been a pressing issue for decades, such large-scale electronic structure calculations are still challenging despite modern software approaches and advances in high-performance computing. The silver lining in this regard is the use of machine learning to accelerate electronic structure calculations -- this line of research has recently gained growing attention. The grand challenge therein is finding a suitable machine-learning model during a process called hyperparameter optimization. This, however, causes a massive computational overhead in addition to that of data generation. We accelerate the construction of neural network models by roughly two orders of magnitude by circumventing excessive training during the hyperparameter optimization phase. We demonstrate our workflow for Kohn-Sham density functional theory, the most popular computational method in materials science and chemistry.


title: Categorical symmetries of T-duality

abstract: Topological T-duality correspondences are higher categorical objects that can be classified by a strict Lie 2-group. In this article we compute the categorical automorphism group of this 2-group; hence, the higher-categorical symmetries of topological T-duality. We prove that the categorical automorphism group is a non-central categorical extension of the integral split pseudo-orthogonal group. We show that it splits over several subgroups, and that its k-invariant is 2-torsion.


title: Testing the boundaries: Normalizing Flows for higher dimensional data sets

abstract: Normalizing Flows (NFs) are emerging as a powerful class of generative models, as they not only allow for efficient sampling, but also deliver, by construction, density estimation. They are of great potential usage in High Energy Physics (HEP), where complex high dimensional data and probability distributions are everyday's meal. However, in order to fully leverage the potential of NFs it is crucial to explore their robustness as data dimensionality increases. Thus, in this contribution, we discuss the performances of some of the most popular types of NFs on the market, on some toy data sets with increasing number of dimensions.


title: Task-oriented Scheduling for Networked Control Systems: An Age of Information-Aware Implementation on Software-defined Radios

abstract: Networked control systems (NCSs) are feedback control loops that are closed over a communication network. Emerging applications, such as telerobotics, drones and autonomous driving are the most prominent examples of such systems. Regular and timely information sharing between the components of NCSs is essential to fulfill the desired control tasks, as stale information can lead to performance degradation or even physical damage. In this work, we consider multiple heterogeneous NCSs that transmit their system state over a shared physical wireless channel towards a gateway node. We conduct a comprehensive experimental study on selected MAC protocols using software-defined radios with state-of-the-art (SotA) solutions that have been designed to increase information freshness and control performance. As a significant improvement over the SotA, we propose a novel contention-free algorithm that is able to outperform the existing solutions by combining their strengths in one protocol. In addition, we propose a new metric called normalized mean squared error that maps the age of information to a dimensionless quantity that captures the expected value of a control system's next transmission. We demonstrate its adoption and effectiveness for wireless resource scheduling in a case study involving multiple inverted pendulums. From our experimental study and results, we observe that value-aware prioritization of the sub-systems contributes to minimizing the negative effects of information staleness on control performance. In particular, as the number of devices increases, the benefit of control-awareness to the quality of control stands out when compared to protocols that focus solely on maximizing information freshness.


title: A bound on the dissociation number

abstract: The dissociation number ${\rm diss}(G)$ of a graph $G$ is the maximum order of a set of vertices of $G$ inducing a subgraph that is of maximum degree at most $1$. Computing the dissociation number of a given graph is algorithmically hard even when restricted to subcubic bipartite graphs. For a graph $G$ with $n$ vertices, $m$ edges, $k$ components, and $c_1$ induced cycles of length $1$ modulo $3$, we show ${\rm diss}(G)\geq n-\frac{1}{3}\Big(m+k+c_1\Big)$. Furthermore, we characterize the extremal graphs in which every two cycles are vertex-disjoint.


title: Heroes in orientations of chordal graphs

abstract: We characterize all digraphs $H$ such that orientations of chordal graphs with no induced copy of $H$ have bounded dichromatic number.


title: Continuous phase transition from a chiral spin state to collinear magnetic order in a zigzag chain with Kitaev interactions

abstract: Quantum spin systems can break time reversal symmetry by developing spontaneous magnetization or spin chirality. However, collinear magnets and chiral spin states are invariant under different symmetries, implying that the order parameter of one phase vanishes in the other. We show how to construct one-dimensional anisotropic spin models that exhibit a "Landau-forbidden" continuous phase transition between such states. As a concrete example, we focus on a zigzag chain with bond-dependent exchange and six-spin interactions. Using a combination of exact solutions, effective field theories, and numerical simulations, we show that the transition between the chiral and magnetic phases has an emergent U(1) symmetry. The excitations governing the transition from the chiral phase can be pictured as mobile defects in a $\mathbb Z_2$ flux configuration which bind fermionic modes. We briefly discuss extensions to two dimensions and analogies with deconfined quantum criticality. Our results suggest new prospects for unconventional phase transitions involving chiral spin states.


title: Non-Abelian chiral spin liquid on spin-1 kagome lattice: truncation of an exact Hamiltonian and numerical optimization

abstract: We search for short-range Hamiltonians of finite spin-1 kagome systems, maximizing the overlaps with lattice Moore-Read states. Our starting point is an exact, long-range parent Hamiltonian for such a state on a finite plane, obtained from conformal field theory. A truncation procedure is applied to it, which retains only short-range terms and makes it easy to define the Hamiltonian on a torus. Finally, the remaining coefficients are optimized, to yield maximized overlaps between exact diagonalization results and model ground states. In the best cases, these overlaps exceed 0.9 and 0.8 for the three lowest states of 12- and 18-site systems, respectively, suggesting that the obtained Hamiltonians are good parent Hamiltonians for a non-Abelian topological order.


title: Circuit Extraction for ZX-diagrams can be #P-hard

abstract: The ZX-calculus is a graphical language for reasoning about quantum computation using ZX-diagrams, a certain flexible generalisation of quantum circuits that can be used to represent linear maps from $m$ to $n$ qubits for any $m,n \geq 0$. Some applications for the ZX-calculus, such as quantum circuit optimisation and synthesis, rely on being able to efficiently translate a ZX-diagram back into a quantum circuit of comparable size. While several sufficient conditions are known for describing families of ZX-diagrams that can be efficiently transformed back into circuits, it has previously been conjectured that the general problem of circuit extraction is hard. That is, that it should not be possible to efficiently convert an arbitrary ZX-diagram describing a unitary linear map into an equivalent quantum circuit. In this paper we prove this conjecture by showing that the circuit extraction problem is #P-hard, and so is itself at least as hard as strong simulation of quantum circuits. In addition to our main hardness result, which relies specifically on the circuit representation, we give a representation-agnostic hardness result. Namely, we show that any oracle that takes as input a ZX-diagram description of a unitary and produces samples of the output of the associated quantum computation enables efficient probabilistic solutions to NP-complete problems.


title: A Review on Methods and Applications in Multimodal Deep Learning

abstract: Deep Learning has implemented a wide range of applications and has become increasingly popular in recent years. The goal of multimodal deep learning (MMDL) is to create models that can process and link information using various modalities. Despite the extensive development made for unimodal learning, it still cannot cover all the aspects of human learning. Multimodal learning helps to understand and analyze better when various senses are engaged in the processing of information. This paper focuses on multiple types of modalities, i.e., image, video, text, audio, body gestures, facial expressions, and physiological signals. Detailed analysis of the baseline approaches and an in-depth study of recent advancements during the last five years (2017 to 2021) in multimodal deep learning applications has been provided. A fine-grained taxonomy of various multimodal deep learning methods is proposed, elaborating on different applications in more depth. Lastly, main issues are highlighted separately for each domain, along with their possible future research directions.


title: An Integrated Optimization and Machine Learning Models to Predict the Admission Status of Emergency Patients

abstract: This work proposes a framework for optimizing machine learning algorithms. The practicality of the framework is illustrated using an important case study from the healthcare domain, which is predicting the admission status of emergency department (ED) patients (e.g., admitted vs. discharged) using patient data at the time of triage. The proposed framework can mitigate the crowding problem by proactively planning the patient boarding process. A large retrospective dataset of patient records is obtained from the electronic health record database of all ED visits over three years from three major locations of a healthcare provider in the Midwest of the US. Three machine learning algorithms are proposed: T-XGB, T-ADAB, and T-MLP. T-XGB integrates extreme gradient boosting (XGB) and Tabu Search (TS), T-ADAB integrates Adaboost and TS, and T-MLP integrates multi-layer perceptron (MLP) and TS. The proposed algorithms are compared with the traditional algorithms: XGB, ADAB, and MLP, in which their parameters are tunned using grid search. The three proposed algorithms and the original ones are trained and tested using nine data groups that are obtained from different feature selection methods. In other words, 54 models are developed. Performance was evaluated using five measures: Area under the curve (AUC), sensitivity, specificity, F1, and accuracy. The results show that the newly proposed algorithms resulted in high AUC and outperformed the traditional algorithms. The T-ADAB performs the best among the newly developed algorithms. The AUC, sensitivity, specificity, F1, and accuracy of the best model are 95.4%, 99.3%, 91.4%, 95.2%, 97.2%, respectively.


title: Synergism between B and Nb improves fire resistance in microalloyed steels

abstract: The development of new fire-resistant steels represents a challenge in materials science and engineering of utmost importance. Alloying elements such as Nb and Mo are generally used to improve the strength at both room- and high-temperatures due to, for example, the formation of precipitates and harder microconstituents. In this study we show alternatively that the addition of small amounts of boron in Nb-microalloyed steels may play a crucial role in maintaining the mechanical properties at high temperatures. The 66\,\% yield-strength criteria for fire resistance is achieved at $\approx 574$\,{\deg}C for a boron steel, whereas without boron this value reaches $\approx 460$\,{\deg}C, a remarkable boron-induced mechanical strengthening enhancement. DFT calculations show that boron additions can lower the vacancy formation energy when compared to pure ferrite and, for Nb-B steels, there is a further 24\,\% reduction, suggesting that the boron-niobium combination acts as an effective pinning-based strengthening agent.


title: Deep-Learning Architectures for Multi-Pitch Estimation: Towards Reliable Evaluation

abstract: Extracting pitch information from music recordings is a challenging but important problem in music signal processing. Frame-wise transcription or multi-pitch estimation aims for detecting the simultaneous activity of pitches in polyphonic music recordings and has recently seen major improvements thanks to deep-learning techniques, with a variety of proposed network architectures. In this paper, we realize different architectures based on CNNs, the U-net structure, and self-attention components. We propose several modifications to these architectures including self-attention modules for skip connections, recurrent layers to replace the self-attention, and a multi-task strategy with simultaneous prediction of the degree of polyphony. We compare variants of these architectures in different sizes for multi-pitch estimation, focusing on Western classical music beyond the piano-solo scenario using the MusicNet and Schubert Winterreise datasets. Our experiments indicate that most architectures yield competitive results and that larger model variants seem to be beneficial. However, we find that these results substantially depend on randomization effects and the particular choice of the training-test split, which questions the claim of superiority for particular architectures given only small improvements. We therefore investigate the influence of dataset splits in the presence of several movements of a work cycle (cross-version evaluation) and propose a best-practice splitting strategy for MusicNet, which weakens the influence of individual test tracks and suppresses overfitting to specific works and recording conditions. A final evaluation on a mixed dataset suggests that improvements on one specific dataset do not necessarily generalize to other scenarios, thus emphasizing the need for further high-quality multi-pitch datasets in order to reliably measure progress in music transcription tasks.


title: OKVIS2: Realtime Scalable Visual-Inertial SLAM with Loop Closure

abstract: Robust and accurate state estimation remains a challenge in robotics, Augmented, and Virtual Reality (AR/VR), even as Visual-Inertial Simultaneous Localisation and Mapping (VI-SLAM) getting commoditised. Here, a full VI-SLAM system is introduced that particularly addresses challenges around long as well as repeated loop-closures. A series of experiments reveals that it achieves and in part outperforms what state-of-the-art open-source systems achieve. At the core of the algorithm sits the creation of pose-graph edges through marginalisation of common observations, which can fluidly be turned back into landmarks and observations upon loop-closure. The scheme contains a realtime estimator optimising a bounded-size factor graph consisting of observations, IMU pre-integral error terms, and pose-graph edges -- and it allows for optimisation of larger loops re-using the same factor-graph asynchronously when needed.


title: Geometric representation of the weighted harmonic mean of $n$ positive values and potential uses

abstract: This paper is dedicated to the analysis and detailed study of a procedure to generate both the weighted arithmetic and harmonic means of $n$ positive real numbers. Together with this interpretation, we prove some relevant properties that will allow us to define numerical approximation methods in several dimensions adapted to discontinuities.


title: Automated galaxy-galaxy strong lens modelling: no lens left behind

abstract: The distribution of dark and luminous matter can be mapped around galaxies that gravitationally lens background objects into arcs or Einstein rings. New surveys will soon observe hundreds of thousands of galaxy lenses, and current, labour-intensive analysis methods will not scale up to this challenge. We instead develop a fully automatic, Bayesian method which we use to fit a sample of 59 lenses imaged by the Hubble Space Telescope in uniform conditions. We set out to \textit{leave no lens behind} and focus on ways in which automated fits fail in a small handful of lenses, describing adjustments to the pipeline that allows us to infer accurate lens models. Our pipeline ultimately fits {\em all} 59 lenses in our sample, with a high success rate key because catastrophic outliers would bias large samples with small statistical errors. Machine Learning techniques might further improve the two most difficult steps: subtracting foreground lens light and initialising a first, approximate lens model. After that, increasing model complexity is straightforward. We find a mean $\sim1\%$ measurement precision on the measurement of the Einstein radius across the lens sample which {\em does not degrade with redshift} up to at least $z=0.7$ -- in stark contrast to other techniques used to study galaxy evolution, like stellar dynamics. Our \texttt{PyAutoLens} software is open source, and is also installed in the Science Data Centres of the ESA Euclid mission.


title: Classical simulation of quantum circuits with partial and graphical stabiliser decompositions

abstract: Recent developments in classical simulation of quantum circuits make use of clever decompositions of chunks of magic states into sums of efficiently simulable stabiliser states. We show here how, by considering certain non-stabiliser entangled states which have more favourable decompositions, we can speed up these simulations. This is made possible by using the ZX-calculus, which allows us to easily find instances of these entangled states in the simplified diagram representing the quantum circuit to be simulated. We additionally find a new technique of partial stabiliser decompositions that allow us to trade magic states for stabiliser terms. With this technique we require only $2^{\alpha t}$ stabiliser terms, where $\alpha\approx 0.396$, to simulate a circuit with T-count $t$. This matches the $\alpha$ found by Qassim et al., but whereas they only get this scaling in the asymptotic limit, ours applies for a circuit of any size. Our method builds upon a recently proposed scheme for simulation combining stabiliser decompositions and optimisation strategies implemented in the software QuiZX. With our techniques we manage to reliably simulate 50-qubit 1400 T-count hidden shift circuits in a couple of minutes on a consumer laptop.


title: An Adaptive Finite Element DtN Method for Maxwell's Equations

abstract: This paper is concerned with a numerical solution to the scattering of a time-harmonic electromagnetic wave by a bounded and impenetrable obstacle in three dimensions. The electromagnetic wave propagation is modeled by a boundary value problem of Maxwell's equations in the exterior domain of the obstacle. Based on the Dirichlet-to-Neumann (DtN) operator, which is defined by an infinite series, an exact transparent boundary condition is introduced and the scattering problem is reduced equivalently into a bounded domain. An a posteriori error estimate based adaptive finite element DtN method is developed to solve the discrete variational problem, where the DtN operator is truncated into a sum of finitely many terms. The a posteriori error estimate takes into account both the finite element approximation error and the truncation error of the DtN operator. The latter is shown to decay exponentially with respect to the truncation parameter. Numerical experiments are presented to illustrate the effectiveness of the proposed method.


title: Optimal convex domains for the first curl eigenvalue

abstract: We prove that there exists a bounded convex domain $\Omega \subset \mathbf{R}^3$ of fixed volume that minimizes the first positive curl eigenvalue among all other bounded convex domains of the same volume. We show that this optimal domain cannot be analytic, and that it cannot be stably convex if it is sufficiently smooth (e.g., of class $C^{1,1}$). Existence results for uniformly H\"older optimal domains in a box (that is, contained in a fixed bounded domain $D \subset \mathbf{R}^3$) are also presented.


title: Chiral plasma instability and inverse cascade from nonequilibrium left-handed neutrinos in core-collapse supernovae

abstract: We show that the backreaction of left-handed neutrinos out of equilibrium on the matter sector induces an electric current proportional to a magnetic field even without a chiral imbalance for electrons in core-collapse supernovae. We derive the transport coefficient of this effect based on the recently formulated chiral radiation transport theory for neutrinos. This chiral electric current generates a strong magnetic field via the so-called chiral plasma instability, which could provide a new mechanism for the strong and stable magnetic field of magnetars. We also numerically study the physical origin of the inverse cascade of the magnetic energy in the magnetohydrodynamics including this current. Our results indicate that incorporating the chiral effects of neutrinos would drastically modify the hydrodynamic evolutions of supernovae, which may also be relevant to the explosion dynamics.


title: Spatio-Temporal Outdoor Lighting Aggregation on Image Sequences using Transformer Networks

abstract: In this work, we focus on outdoor lighting estimation by aggregating individual noisy estimates from images, exploiting the rich image information from wide-angle cameras and/or temporal image sequences. Photographs inherently encode information about the scene's lighting in the form of shading and shadows. Recovering the lighting is an inverse rendering problem and as that ill-posed. Recent work based on deep neural networks has shown promising results for single image lighting estimation, but suffers from robustness. We tackle this problem by combining lighting estimates from several image views sampled in the angular and temporal domain of an image sequence. For this task, we introduce a transformer architecture that is trained in an end-2-end fashion without any statistical post-processing as required by previous work. Thereby, we propose a positional encoding that takes into account the camera calibration and ego-motion estimation to globally register the individual estimates when computing attention between visual words. We show that our method leads to improved lighting estimation while requiring less hyper-parameters compared to the state-of-the-art.


title: Leveraging Self-Sovereign Identity, Blockchain, and Zero-Knowledge Proof to Build a Privacy-Preserving Vaccination Pass

abstract: The current humanitarian health crisis popularized the debate on data privacy. At the same time, several cities, states, and even countries put the mandatory presentation of health pass to access services into practice. In this article, we explore the concepts of self-sovereign identity, blockchain, and zero-knowledge proofs to propose a solution to the problem of presenting proof of vaccination. This solution allows users to prove that they are vaccinated for different pathogens without revealing their identity. The architecture is loosely coupled, allowing components to be exchanged, which we discuss when we present the implementation of a working prototype.


title: Convective mesoscale turbulence at very low Prandtl numbers

abstract: Horizontally extended turbulent convection, termed mesoscale convection in natural systems, remains a challenge to investigate in both experiments and simulations. This is particularly so for very low molecular Prandtl numbers as in stellar convection and in Earth's outer core. The present study reports three-dimensional direct numerical simulations of turbulent Rayleigh-B\'{e}nard convection in square boxes of side length $L$ and height $H$ with the aspect ratio $\Gamma =L/H$ of 25, for Prandtl numbers that span almost 4 orders of magnitude, $10^{-3}\le Pr \le 7$, and Rayleigh numbers $10^5 \le Ra \le 10^7$, obtained by massively parallel computations on grids of up to $5.36\times 10^{11}$ points. The low end of this $Pr$-range cannot be accessed in controlled laboratory measurements. We report the essential properties of the flow and their trends with Rayleigh and Prandtl numbers, in particular the global transport of momentum and heat -- the latter decomposed into convective and diffusive contributions -- across the convection layer, mean vertical profiles of the temperature and temperature fluctuations, and the kinetic energy and thermal dissipation rates. We also explore the degree to which the turbulence in the bulk of the convection layer resembles classical homogeneous and isotropic turbulence in terms of spectra, increment moments, and dissipative anomaly, and find close similarities. Finally, we show that a characteristic scale on the order of the mesoscale seems to saturate to a wavelength of $\lambda\gtrsim 3H$ for $Pr\lesssim 0.005$. We briefly discuss possible implications of these results for the development of subgrid scale parameterization of turbulent convection.


title: A time-causal and time-recursive scale-covariant scale-space representation of temporal signals and past time

abstract: This article presents an overview of a theory for performing temporal smoothing on temporal signals in such a way that: (i) temporally smoothed signals at coarser temporal scales are guaranteed to constitute simplifications of corresponding temporally smoothed signals at any finer temporal scale (including the original signal) and (ii) the temporal smoothing process is both time-causal and time-recursive, in the sense that it does not require access to future information and can be performed with no other temporal memory buffer of the past than the resulting smoothed temporal scale-space representations themselves. For specific subsets of parameter settings for the classes of linear and shift-invariant temporal smoothing operators that obey this property, it is shown how temporal scale covariance can be additionally obtained, guaranteeing that if the temporal input signal is rescaled by a uniform scaling factor, then also the resulting temporal scale-space representations of the rescaled temporal signal will constitute mere rescalings of the temporal scale-space representations of the original input signal, complemented by a shift along the temporal scale dimension. The resulting time-causal limit kernel that obeys this property constitutes a canonical temporal kernel for processing temporal signal in real-time scenarios when the regular Gaussian kernel cannot be used because of its non-causal access to information from the future and we cannot additionally require the temporal smoothing process to comprise a complementary memory of the past beyond the information contained in the temporal smoothing process itself, which in this way also serves as a multi-scale temporal memory of the past. This theory is generally applicable for both: (i) modelling continuous temporal phenomena over multiple temporal scales and (ii) digital processing of measured temporal signals in real time.


title: Hedonic Diversity Games: A Complexity Picture with More than Two Colors

abstract: Hedonic diversity games are a variant of the classical Hedonic games designed to better model a variety of questions concerning diversity and fairness. Previous works mainly targeted the case with two diversity classes (represented as colors in the model) and provided some initial complexity-theoretic and existential results concerning Nash and individually stable outcomes. Here, we design new algorithms accompanied with lower bounds which provide a complete parameterized-complexity picture for computing Nash and individually stable outcomes with respect to the most natural parameterizations of the problem. Crucially, our results hold for general Hedonic diversity games where the number of colors is not necessarily restricted to two, and show that -- apart from two trivial cases -- a necessary condition for tractability in this setting is that the number of colors is bounded by the parameter. Moreover, for the special case of two colors we resolve an open question asked in previous work (Boehmer and Elkind, AAAI 2020).


title: Simulation of in-ice cosmic ray air shower induced particle cascades

abstract: We present detailed microscopic simulations of high-energy cosmic-ray air showers penetrating high-altitude ice layers that can be found at the polar regions. We use a combination of the CORSIKA Monte Carlo code and the Geant4 simulation toolkit, and focus on the particle cascade that develops in the ice to describe its most prominent features. We discuss the impact of the ice layer on the total number of particles in function of depth of the air shower, and we give a general parameterization of the charge distribution in the cascade front in function of Xmax of the cosmic ray air shower, which can be used for analytical and semi-analytical calculations of the expected Askaryan radio emission of the in-ice particle cascade. We show that the core of the cosmic ray air shower dominates during the propagation in ice, therefore creating an in-ice particle cascade strongly resembling a neutrino-induced particle cascade. Finally, we present the results of microscopic simulations of the Askaryan radio emission of the in-ice particle cascade, showing that the emission is dominated by the shower core, and discuss the feasibility of detecting the plasma created by the particle cascade in the ice using RADAR echo techniques.


title: Molecule Generation for Drug Design: a Graph Learning Perspective

abstract: Machine learning, particularly graph learning, is gaining increasing recognition for its transformative impact across various fields. One such promising application is in the realm of molecule design and discovery, notably within the pharmaceutical industry. Our survey offers a comprehensive overview of state-of-the-art methods in molecule design, particularly focusing on \emph{de novo} drug design, which incorporates (deep) graph learning techniques. We categorize these methods into three distinct groups: \emph{i)} \emph{all-at-once}, \emph{ii)} \emph{fragment-based}, and \emph{iii)} \emph{node-by-node}. Additionally, we introduce some key public datasets and outline the commonly used evaluation metrics for both the generation and optimization of molecules. In the end, we discuss the existing challenges in this field and suggest potential directions for future research.


title: Laser-written vapor cells for chip-scale atomic sensing and spectroscopy

abstract: We report the fabrication of alkali-metal vapor cells using femtosecond laser machining. This laser-written vapor-cell (LWVC) technology allows arbitrarily-shaped 3D interior volumes and has potential for integration with photonic structures and optical components. We use non-evaporable getters both to dispense rubidium and to absorb buffer gas. This enables us to produce cells with sub-atmospheric buffer gas pressures without vacuum apparatus. We demonstrate sub-Doppler saturated absorption spectroscopy and single beam optical magnetometry with a single LWVC. The LWVC technology may find application in miniaturized atomic quantum sensors and frequency references.


title: Pinpointing Anomaly Events in Logs from Stability Testing -- N-Grams vs. Deep-Learning

abstract: As stability testing execution logs can be very long, software engineers need help in locating anomalous events. We develop and evaluate two models for scoring individual log-events for anomalousness, namely an N-Gram model and a Deep Learning model with LSTM (Long short-term memory). Both are trained on normal log sequences only. We evaluate the models with long log sequences of Android stability testing in our company case and with short log sequences from HDFS (Hadoop Distributed File System) public dataset. We evaluate next event prediction accuracy and computational efficiency. The LSTM model is more accurate in stability testing logs (0.848 vs 0.865), whereas in HDFS logs the N-Gram is slightly more accurate (0.904 vs 0.900). The N-Gram model has far superior computational efficiency compared to the Deep model (4 to 13 seconds vs 16 minutes to nearly 4 hours), making it the preferred choice for our case company. Scoring individual log events for anomalousness seems like a good aid for root cause analysis of failing test cases, and our case company plans to add it to its online services. Despite the recent surge in using deep learning in software system anomaly detection, we found limited benefits in doing so. However, future work should consider whether our finding holds with different LSTM-model hyper-parameters, other datasets, and with other deep-learning approaches that promise better accuracy and computational efficiency than LSTM based models.


title: "Who Is Next in Line?'' On the Significance of Knowing the Arrival Order in Bayesian Online Settings

abstract: We introduce a new measure for the performance of online algorithms in Bayesian settings, where the input is drawn from a known prior, but the realizations are revealed one-by-one in an online fashion. Our new measure is called order-competitive ratio. It is defined as the worst case (over all distribution sequences) ratio between the performance of the best order-unaware and order-aware algorithms, and quantifies the loss that is incurred due to lack of knowledge of the arrival order. Despite the growing interest in the role of the arrival order on the performance of online algorithms, this loss has been overlooked thus far. We study the order-competitive ratio in the paradigmatic prophet inequality problem, for the two common objective functions of (i) maximizing the expected value, and (ii) maximizing the probability of obtaining the largest value; and with respect to two families of algorithms, namely (i) adaptive algorithms, and (ii) single-threshold algorithms. We provide tight bounds for all four combinations, with respect to deterministic algorithms. Our analysis requires new ideas and departs from standard techniques. In particular, our adaptive algorithms inevitably go beyond single-threshold algorithms. The results with respect to the order-competitive ratio measure capture the intuition that adaptive algorithms are stronger than single-threshold ones, and may lead to a better algorithmic advice than the classical competitive ratio measure.


title: Planar Tur\'an numbers of cubic graphs and disjoint union of cycles

abstract: The planar Tur\'an number of a graph $H$, denoted $ex_{_\mathcal{P}}(n,H)$, is the maximum number of edges in a planar graph on $n$ vertices without containing $H$ as a subgraph. This notion was introduced by Dowden in 2016 and has attracted quite some attention since then; those work mainly focus on finding $ex_{_\mathcal{P}}(n,H)$ when $H$ is a cycle or Theta graph or $H$ has maximum degree at least four. In this paper, we study $ex_{_\mathcal{P}}(n,H)$ when $H$ is a cubic graph or disjoint union of cycles or $H=K_{s, t}$.


title: Indirect search of Heavy Neutral Leptons using the DUNE Near Detector

abstract: We evaluate the potential of the DUNE Near Detector (DUNEND) for establishing bounds for heavy neutral leptons (HNL). This is achieved by studying how the presence of HNLs affects the production rates of active neutrinos, therefore, creating a deficit in the neutrino charged current (CC) events at the LArTPC of the DUNEND. The estimated bounds on HNLs are calculated for masses between 1 eV and 500 MeV. We consider 10 years of operation (5 in neutrino and antineutrino mode) and obtain limits of $|U_{\mu4}|^2 < 9 \times 10^{-3} (4 \times10^{-2})$ and $|U_{e4}|^2 < 7\times10^{-3} (3 \times10^{-2})$ for masses below 10 MeV and a 5\%(20\%) overall normalization uncertainty in the neutrino charged current event rates prediction. These limits, within the region of masses below 2(10) MeV, are better than those that can be achieved by DUNE direct searches for the case of a 5\%(20\%) uncertainty. When a conservative 20\% uncertainty is present, our limits can only improve current constraints on $|U_{e4}|^2$ by up to a factor of 3 in a small region around 5 eV and set limits on $|U_{\mu4}|^2$ in a mass region free of constraints (40 eV - 1 MeV).


title: Archetypal Factorization and Gluon Poles in semi-exclusive reactions

abstract: Within the archetypal factorization procedure, we study the gluon pole contributions manifesting in the nucleon-lepton hard processes of hadron production. We prove the dominant role of gluon pole contributions in the processes of such kind. We analyse the different sources of complexity associated with the gluon pole functions. As a practical application, we derive a new single spin asymmetry related directly to the gluon poles which can be studied experimentally.


title: $\mathbb{Q}$-curves and the Lebesgue-Nagell equation

abstract: In this paper, we consider the equation \[ x^2 - q^{2k+1} = y^n, \qquad q \nmid x, \quad 2 \mid y, \] for integers $x,q,k,y$ and $n$, with $k \geq 0$ and $n \geq 3$. We extend work of the first and third-named authors by finding all solutions in the cases $q= 41$ and $q = 97$. We do this by constructing a Frey-Hellegouarch $\mathbb{Q}$-curve defined over the real quadratic field $K=\mathbb{Q}(\sqrt{q})$, and using the modular method with multi-Frey techniques.


title: Unified products for Zinbiel 2-algebras

abstract: The extending structures problem for Zinbiel 2-algebras is studied. We introduce the concept of unified products for Zinbiel 2-algebras. Some special cases of unified products such as crossed product and matched pair of Zinbiel 2-algebras are investigated. It is proved that the extending problem for Zinbiel 2-algebras can be classified by some non-abelian cohomology theory.


title: Motion Macro Programming on Assistive Robotic Manipulators: Three Skill Types for Everyday Tasks

abstract: Assistive robotic manipulators are becoming increasingly important for people with disabilities. Teleoperating the manipulator in mundane tasks is part of their daily lives. Instead of steering the robot through all actions, applying self-recorded motion macros could greatly facilitate repetitive tasks. Dynamic Movement Primitives (DMP) are a powerful method for skill learning via teleoperation. For this use case, however, they need simple heuristics to specify where to start, stop, and parameterize a skill without a background in computer science and academic sensor setups for autonomous perception. To achieve this goal, this paper provides the concept of local, global, and hybrid skills that form a modular basis for composing single-handed tasks of daily living. These skills are specified implicitly and can easily be programmed by users themselves, requiring only their basic robotic manipulator. The paper contributes all details for robot-agnostic implementations. Experiments validate the developed methods for exemplary tasks, such as scratching an itchy spot, sorting objects on a desk, and feeding a piggy bank with coins. The paper is accompanied by an open-source implementation at https://github.com/fzi-forschungszentrum-informatik/ArNe


title: Improving AoI via Learning-based Distributed MAC in Wireless Networks

abstract: In this work, we consider a remote monitoring scenario in which multiple sensors share a wireless channel to deliver their status updates to a process monitor via an access point (AP). Moreover, we consider that the sensors randomly arrive and depart from the network as they become active and inactive. The goal of the sensors is to devise a medium access strategy to collectively minimize the long-term mean network \ac{AoI} of their respective processes at the remote monitor. For this purpose, we propose specific modifications to ALOHA-QT algorithm, a distributed medium access algorithm that employs a policy tree (PT) and reinforcement learning (RL) to achieve high throughput. We provide the upper bound on the mean network Age of Information (AoI) for the proposed algorithm along with pointers for selecting its key parameter. The results reveal that the proposed algorithm reduces mean network \ac{AoI} by more than 50 percent for state of the art stationary randomized policies while successfully adjusting to a changing number of active users in the network. The algorithm needs less memory and computation than ALOHA-QT while performing better in terms of AoI.


title: History Data Driven Distributed Consensus in Networks

abstract: The association of weights in a distributed consensus protocol quantify the trust that an agent has on its neighbors in a network. An important problem in such networked systems is the uncertainty in the estimation of trust between neighboring agents, coupled with the losses arising from mistakenly associating wrong amounts of trust with different neighboring agents. We introduce a probabilistic approach which uses the historical data collected in the network, to determine the level of trust between each agent. Specifically, using the finite history of the shared data between neighbors, we obtain a configuration which represents the confidence estimate of every neighboring agent's trustworthiness. Finally, we propose a History-Data-Driven (HDD) distributed consensus protocol which translates the computed configuration data into weights to be used in the consensus update. The approach using the historical data in the context of a distributed consensus setting marks the novel contribution of our paper.


title: Cohomology and crossed modules extension of Hom-Leibniz-Rinehart algebras

abstract: In this paper, we introduce the concept of crossed module for Hom-Leibniz-Rinehart algebras. We study the cohomology and extension theory of Hom-Leibniz-Rinehart algebras. It is proved that there is one-to-one correspondence between equivalence classes of abelian extensions of Hom-Leibniz-Rinehart algebras and the elements of second cohomology group. Furthermore, we prove that there is a natural map from $\alpha$-crossed modules extension of Hom-Leibniz-Rinehart algebras to the third cohomology group of Hom-Leibniz-Rinehart algebras.


title: A multivariate extension of the Misspecification-Resistant Information Criterion

abstract: The Misspecification-Resistant Information Criterion (MRIC) proposed in [H.-L. Hsu, C.-K. Ing, H. Tong: On model selection from a finite family of possibly misspecified time series models. The Annals of Statistics. 47 (2), 1061--1087 (2019)] is a model selection criterion for univariate parametric time series that enjoys both the property of consistency and asymptotic efficiency. In this article we extend the MRIC to the case where the response is a multivariate time series and the predictor is univariate. The extension requires novel derivations based upon random matrix theory. We obtain an asymptotic expression for the mean squared prediction error matrix, the vectorial MRIC and prove the consistency of its method-of-moments estimator. Moreover, we prove its asymptotic efficiency. Finally, we show with an example that, in presence of misspecification, the vectorial MRIC identifies the best predictive model whereas traditional information criteria like AIC or BIC fail to achieve the task.


title: Faster change of order algorithm for Gr\"obner bases under shape and stability assumptions

abstract: Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order algorithm. Currently, the change of order now takes a significant part of the whole solving time for many generic instances. Like the fastest known change of order algorithms, this work focuses on the situation where the ideal defined by the system satisfies natural properties which can be recovered in generic coordinates. First, the ideal has a \emph{shape} lexicographic Gr\"obner basis. Second, the set of leading terms with respect to the degree reverse lexicographic order has a \emph{stability} property; in particular, the multiplication matrix can be read on the input Gr\"obner basis. The current fastest algorithms rely on the sparsity of this matrix. Actually, this sparsity is a consequence of an algebraic structure, which can be exploited to represent the matrix concisely as a univariate polynomial matrix. We show that the Hermite normal form of that matrix yields the sought lexicographic Gr\"obner basis, under assumptions which cover the shape position case. Under some mild assumption implying $n \le t$, the arithmetic complexity of our algorithm is $O\tilde{~}(t^{\omega-1}D)$, where $n$ is the number of variables, $t$ is a sparsity indicator of the aforementioned matrix, $D$ is the degree of the zero-dimensional ideal under consideration, and $\omega$ is the exponent of matrix multiplication. This improves upon both state-of-the-art complexity bounds $O\tilde{~}(tD^2)$ and $O\tilde{~}(D^\omega)$, since $\omega < 3$ and $t\le D$. Practical experiments, based on the libraries msolve and PML, confirm the high practical benefit.


title: Hallmarks of Majorana mode leaking into a hybrid double quantum dot

abstract: We investigate the spectral and transport properties of a double quantum dot laterally attached to a topological superconducting nanowire, hosting the Majorana zero-energy modes. Specifically, we consider a geometry, in which the outer quantum dot is embedded between the external normal and superconducting leads, forming a circuit. First, we derive analytical expressions for the bound states in the case of an uncorrelated system and discuss their signatures in the tunneling spectroscopy. Then, we explore the case of strongly correlated quantum dots by performing the numerical renormalization group calculations, focusing on the interplay and relationship between the leaking Majorana mode and the Kondo states on both quantum dots. Finally, we discuss feasible means to experimentally probe the in-gap quasiparticles by using the Andreev spectroscopy based on the particle-to-hole scattering mechanism.


title: Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks

abstract: Reactive programming is a popular paradigm to program event-driven applications, and it is often proposed as a paradigm to write distributed applications. One such type of application is *prosumer* applications, which are distributed applications that both produce and consume many events. We analyse the problems that occur when using a reactive programming language or framework to implement prosumer applications. We find that the assumption of an open network, which means prosumers of various types spontaneously join and leave the network, can cause a lot of code complexity or run-time inefficiency. At the basis of these issues lies *acquaintance management*: the ability to discover prosumers as they join and leave the network, and correctly maintaining this state throughout the reactive program. Most existing reactive programming languages and frameworks have limited support for managing acquaintances, resulting in accidental complexity of the code or inefficient computations. In this paper we present acquaintance management for reactive programs. First, we design an *acquaintance discovery* mechanism to create a *flock* that automatically discovers prosumers on the network. An important aspect of flocks is their integration with reactive programs, such that a reactive program can correctly and efficiently maintain its state. To this end we design an *acquaintance maintenance* mechanism: a new type of operator for functional reactive programming languages that we call `deploy-*`. The `deploy-*` operator enables correct and efficient reactions to time-varying collections of discovered prosumers. The proposed mechanisms are implemented in a reactive programming language called Stella, which serves as a linguistic vehicle to demonstrate the ideas of our approach. Our implementation of acquaintance management results in computationally efficient and idiomatic reactive code. We evaluate our approach quantitatively via benchmarks that show that our implementation is efficient: computations will efficiently update whenever a new prosumer is discovered, or a connected prosumer is dropped. To evaluate the distributed capabilities of our prototype implementation, we implement a use-case that simulates the bike-sharing infrastructure of Brussels, and we run it on a Raspberry Pi cluster computer. We consider our work to be an important step to use functional reactive programming to build distributed systems for open networks, in other words, distributed reactive programs that involve many prosumer devices and sensors that spontaneously join and leave the network.


title: Figuring and Drawing: A Visual Approach to Principled Programming

abstract: A standing challenge in undergraduate Computer Science curricula is the teaching and learning of computer programming. Through this paper which is an essay about programming, we aim to contribute to the plethora of existing pedagogies, approaches and philosophies, by discussing a specific feature of our approach in teaching principled programming to undergraduate students, in their first semester of studies, namely the utilization of pictures, both text-based and raster-based graphics. Although the given course has evolved substantially over the thirty years of its delivery regarding the programming languages (Miranda, C, C++, Java) and paradigms (functional, imperative, object-oriented, combination of procedural and object-oriented) used, the discussed visual feature has been maintained and steadily strengthened. We list abstraction, problem decomposition and synthesis, information hiding, reusability, modularity and extensibility as key principles of problem solving and algorithmic thinking. These principles are closely aligned with the advocated computational thinking techniques of problem decomposition, pattern recognition, pattern generalization and algorithm design. We aim for our students to familiarize themselves with all the above principles through practical problem solving. Our ongoing inquiry has been whether the problem domain of pictures is contributing valuably towards this aim. Moreover, an added-value is that students get a glimpse of computational complexity in a visual, empirical way. The presented work is not related to visual programming, since the students write their programs textually and not graphically; it's the output of their programs which is in visual form. Our approach though is loosely related to the classical paradigm of turtle graphics. However, our focus is Computer Science majors, who should be able to design and build turtles and other objects and not just use them. Indeed, the programming principles course helps them to do both and also to appreciate the multitude of algorithmic ways for producing the same visual output. Currently the given programming principles are approached both from a procedural, process-based and an object-oriented, concept-based perspective and the course uses the Java language. Through the presented example problems, we aim to show the appropriateness of the visual domain of pictures for supporting the learning of principled programming. The problem domain of pictures is abundantly rich with potential examples to draw from. Moreover, as reported in the literature, female students may show higher interest towards visual problem domains in programming classes, in relation to other problem domains. We plan to investigate this conjecture in the context of our broader aim to encourage more females to follow university studies in computer science; in this paper only a cursory finding is presented, that bears some relation to what is reported in the literature.


title: United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees

abstract: Graphs and various graph-like combinatorial structures, such as preorders and hypergraphs, are ubiquitous in programming. This paper focuses on representing graphs in a purely functional programming language like Haskell. There are several existing approaches; one of the most recently developed ones is the "algebraic graphs" approach (2017). It uses an algebraic data type to represent graphs and has attracted users, including from industry, due to its emphasis on equational reasoning and making a common class of bugs impossible by eliminating internal invariants. The previous formulation of algebraic graphs did not support edge labels, which was a serious practical limitation. In this paper, we redesign the main algebraic data type and remove this limitation. We follow a fairly standard approach of parameterising a data structure with a semiring of edge labels. The new formulation is both more general and simpler: the two operations for composing graphs used in the previous work can now be obtained from a single operation by fixing the semiring parameter to zero and one, respectively. By instantiating the new data type with different semirings, and working out laws for interpreting the resulting expression trees, we discover an unusual algebraic structure, which we call "united monoids", that is, a pair of monoids whose unit elements coincide. We believe that it is worth studying united monoids in their full generality, going beyond the graphs which prompted their discovery. To that end, we characterise united monoids with a minimal set of axioms, prove a few basic theorems, and discuss several notable examples. We validate the presented approach by implementing it in the open-source *algebraic-graphs* library. Our theoretical contributions are supported by proofs that are included in the paper and have also been machine-checked in Agda. By extending algebraic graphs with support for edge labels, we make them suitable for a much larger class of possible applications. By studying united monoids, we provide a theoretical foundation for further research in this area.


title: Debootstrapping without Archeology: Stacked Implementations in Camlboot

abstract: Context: It is common for programming languages that their reference implementation is implemented in the language itself. This requires a "bootstrap": a copy of a previous version of the implementation is provided along with the sources, to be able to run the implementation itself. Those bootstrap files are opaque binaries; they could contain bugs, or even malicious changes that could reproduce themselves when running the source version of the language implementation -- this is called the "trusting trust attack". For this reason, a collective project called Bootstrappable was launched in 2016 to remove those bootstraps, providing alternative build paths that do not rely on opaque binaries. Inquiry: Debootstrapping generally combines a mix of two approaches. The "archaeological" approach works by locating old versions of systems, or legacy alternative implementations, that do not need the bootstrap, and by preserving or restoring the ability to run them. The "tailored" approach re-implements a new, non-bootstrapped implementation of the system to debootstrap. Currently, the "tailored" approach is dominant for low-level system components (C, coreutils), and the "archaeological" approach is dominant among the few higher-level languages that were debootstrapped. Approach: We advocate for the benefits of "tailored" debootstrapping implementations of high-level languages. The new implementation needs not be production-ready, it suffices that it is able to run the reference implementation correctly. We argue that this is feasible with a reasonable development effort, with several side benefits besides debootstrapping. Knowledge: We propose a specific design of composing/stacking several implementations: a reference interpreter for the language of interest, implemented in a small subset of the language, and a compiler for this small subset (in another language). Developing a reference interpreter is valuable independently of debootstrapping: it may help clarify the language semantics, and can be reused for other purposes such as differential testing of the other implementations. Grounding: We present Camlboot, our project to debootstrap the OCaml compiler, version 4.07. Once we converged on this final design, the last version of Camlboot took about a person-month of implementation effort, demonstrating feasibility. Using diverse double-compilation, we were able to prove the absence of trusting trust attack in the existing bootstrap of the standard OCaml implementation. Importance: To our knowledge, this document is the first scholarly discussion of "tailored" debootstrapping for high-level programming languages. Debootstrapping is an interesting problem which recently grew an active community of free software contributors, but so far the interactions with the programming-language research community have been minimal. We share our experience on Camlboot, trying to highlight aspects that are of interest to other language designers and implementors; we hope to foster stronger ties between the Bootstrappable project and relevant academic communities. In particular, the debootstrapping experience has been an interesting reflection on OCaml design and implementation, and we hope that other language implementors would find it equally valuable.


title: Feynman's Sum-over-Paths method applied in wave optics and for calculating the quantum probability current

abstract: Based on the Sum-over-Paths approach of Richard Feynman, an integration method for calculating wave phase vectors is derived. The diffraction and interference patterns of various slit masks can be calculated from such phase vectors. The results obtained match with those computed using the more complex Fresnel integrals. Babinet's principle for phases is presented for the first time. As an example, the diffraction pattern of a double slit can also be calculated by subtracting the phase vectors of a smaller slit from those of a larger one. This method is also demonstrated by using a diffraction calculation tool when an obstacle is positioned behind a double slit. The approach of phase vector integration is expanded to calculate the quantum probability current. Based on the Hamilton-Jacobi- and the stationary Schr\"odinger- equation, the quantum probability current is calculated and its continuity is shown. The time-dependent differential equation of the probabilty current velocity is numerically solved. For a large number of integrations it is statistically shown that the distribution of the flux per area is consistent with the probability density profile. The quantum probability current is also simulated for photons traversing an asymmetrical double slit and the special results are discussed.


title: Nonstationary multi-output Gaussian processes via harmonizable spectral mixtures

abstract: Kernel design for Multi-output Gaussian Processes (MOGP) has received increased attention recently. In particular, the Multi-Output Spectral Mixture kernel (MOSM) arXiv:1709.01298 approach has been praised as a general model in the sense that it extends other approaches such as Linear Model of Corregionalization, Intrinsic Corregionalization Model and Cross-Spectral Mixture. MOSM relies on Cram\'er's theorem to parametrise the power spectral densities (PSD) as a Gaussian mixture, thus, having a structural restriction: by assuming the existence of a PSD, the method is only suited for multi-output stationary applications. We develop a nonstationary extension of MOSM by proposing the family of harmonizable kernels for MOGPs, a class of kernels that contains both stationary and a vast majority of non-stationary processes. A main contribution of the proposed harmonizable kernels is that they automatically identify a possible nonstationary behaviour meaning that practitioners do not need to choose between stationary or non-stationary kernels. The proposed method is first validated on synthetic data with the purpose of illustrating the key properties of our approach, and then compared to existing MOGP methods on two real-world settings from finance and electroencephalography.


title: Majorana-Kondo competition in a cross-shaped double quantum dot-topological superconductor system

abstract: We examine the transport properties of a double quantum dot system coupled to a topological superconducting nanowire hosting Majorana quasiparticles at its ends, with the central quantum dot attached to the left and right leads. We focus on the behavior of the local density of states and the linear conductance, calculated with the aid of the numerical renormalization group method, to describe the influence of the Majorana coupling on the low-temperature transport properties induced by the Kondo correlations. In particular, we show that the presence of Majorana quasiparticles in the system affects both the spin-up and spin-down transport channels, affecting the energy scales associated with the first-stage and second-stage Kondo temperatures, respectively, and modifying the low-energy behavior of the system.


title: Qutrit metaplectic gates are a subset of Clifford+T

abstract: A popular universal gate set for quantum computing with qubits is Clifford+T, as this can be readily implemented on many fault-tolerant architectures. For qutrits, there is an equivalent T gate, that, like its qubit analogue, makes Clifford+T approximately universal, is injectable by a magic state, and supports magic state distillation. However, it was claimed that a better gate set for qutrits might be Clifford+R, where R=diag(1,1,-1) is the metaplectic gate, as certain protocols and gates could more easily be implemented using the R gate than the T gate. In this paper we show that when we have at least two qutrits, the qutrit Clifford+R unitaries form a strict subset of the Clifford+T unitaries, by finding a direct decomposition of $R \otimes \mathbb{I}$ as a Clifford+T circuit and proving that the T gate cannot be exactly synthesized in Clifford+R. This shows that in fact the T gate is at least as powerful as the R gate, up to a constant factor. Moreover, we additionally show that it is impossible to find a single-qutrit Clifford+T decomposition of the R gate, making our result tight.


title: On the Secrecy Gain of Formally Unimodular Construction $\text{A}_4$ Lattices

abstract: Lattice coding for the Gaussian wiretap channel is considered, where the goal is to ensure reliable communication between two authorized parties while preventing an eavesdropper from learning the transmitted messages. Recently, a measure called secrecy gain was proposed as a design criterion to quantify the secrecy-goodness of the applied lattice code. In this paper, the theta series of the so-called formally unimodular lattices obtained by Construction $\text{A}_4$ from codes over $\mathbb{Z}_4$ is derived, and we provide a universal approach to determine their secrecy gains. Initial results indicate that Construction $\text{A}_4$ lattices can achieve a higher secrecy gain than the best-known formally unimodular lattices from the literature. Furthermore, a new code construction of formally self-dual $\mathbb{Z}_4$-linear codes is presented.


title: Global Minimizers of a Large Class of Anisotropic Attractive-Repulsive Interaction Energies in 2D

abstract: We study a large family of Riesz-type singular interaction potentials with anisotropy in two dimensions. Their associated global energy minimizers are given by explicit formulas whose supports are determined by ellipses under certain assumptions. More precisely, by parameterizing the strength of the anisotropic part we characterize the sharp range in which these explicit ellipse-supported configurations are the global minimizers based on linear convexity arguments. Moreover, for certain anisotropic parts, we prove that for large values of the parameter the global minimizer is only given by vertically concentrated measures corresponding to one dimensional minimizers. We also show that these ellipse-supported configurations generically do not collapse to a vertically concentrated measure at the critical value for convexity, leading to an interesting gap of the parameters in between. In this intermediate range, we conclude by infinitesimal concavity that any superlevel set of any local minimizer in a suitable sense does not have interior points. Furthermore, for certain anisotropic parts, their support cannot contain any vertical segment for a restricted range of parameters, and moreover the global minimizers are expected to exhibit a zigzag behavior. All these results hold for the limiting case of the logarithmic repulsive potential, extending and generalizing previous results in the literature. Various examples of anisotropic parts leading to even more complex behavior are numerically explored.


title: Dynamical origin of the Dwarf Planet Ceres

abstract: The Dwarf Planet Ceres revealed the presence of ammonia and other unique properties compared to other asteroids in the main belt which suggests that it was not formed in situ. We model the early dynamical evolution of the outer Solar System to study possible dynamical mechanisms to implant a Ceres-sized planetesimal in the asteroid belt from the trans-Saturnian region. We calculate that the fraction of the population of Ceres-sized planetesimals that are captured in the asteroid belt is in the range of 2.8e-5 to 1.2e-3 depending on the initial location in the outer planetesimal disk. The captured bodies have a 70% probability to have a semimajor axis between 2.5 and 3 au, a 33% probability to have an eccentricity smaller than 0.2 and a 45% probability to have an orbital inclination smaller than 10 degrees. Assuming the existence of 3,600 Ceres-size planetesimals in the inner part of the trans-Saturnian disk, consistent with the estimate of Nesvorny & Vokrouhlicky (2016) for the trans-Neptunian disk, our estimated capture probability and a final 80% depletion of the asteroid belt during the subsequent giant planet instability, lead to capture 1 Ceres in the asteroid belt, with a probability of 15%, 34%, and 51% to be located in the inner, middle and outer belt respectively.


title: Self-Kerr effect across the yellow $\mathrm{Cu_2O}$ Rydberg series

abstract: We investigate the nonlinear refraction induced by Rydberg excitons in $\mathrm{Cu_2O}$. Using a high-precision interferometry imaging technique that spatially resolves the nonlinear phase shift, we observe significant shifts at extremely low laser intensity near each exciton resonance. From this, we derive the nonlinear index $\mathrm{n_2}$, present the $\mathrm{n_2}$ spectrum for $n\geq 5$ and report large $\mathrm{n_2}$ values of order $10^{-3}$ mm$^2$/mW. Moreover, we observe a rapid saturation of the Kerr nonlinearity and find that the saturation intensity $\mathrm{I_{sat}}$ decreases as $n^{-7}$. We explain this with the Rydberg blockade mechanism, whereby giant Rydberg interactions limit the exciton density, resulting in a maximum phase shift of 0.5 rad in our setup.


title: Coulomb and Riesz gases: The known and the unknown

abstract: We review what is known, unknown and expected about the mathematical properties of Coulomb and Riesz gases. Those describe infinite configurations of points in $\mathbb{R}^d$ interacting with the Riesz potential $\pm |x|^{-s}$ (resp. $-\log|x|$ for $s=0$). Our presentation follows the standard point of view of statistical mechanics, but we also mention how these systems arise in other important situations (e.g. in random matrix theory). The main question addressed in the article is how to properly define the associated infinite point process and characterize it using some (renormalized) equilibrium equation. This is largely open in the long range case $s<d$. For the convenience of the reader we give the detail of what is known in the short range case $s>d$. In the last part we discuss phase transitions and mention what is expected on physical grounds.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Reversed Hardy-Littlewood-Sobolev inequality on Heisenberg group $\mathbb{H}^n$ and CR sphere $\mathbb{S}^{2n+1}$

abstract: This paper is mainly devoted to the study of the reversed Hardy-Littlewood-Sobolev (HLS) inequality on Heisenberg group $\mathbb{H}^n$ and CR sphere $\mathbb{S}^{2n+1}$. First, we establish the roughly reversed HLS inequality and give a explicitly lower bound for the sharp constant. Then, the existence of the extremal functions with sharp constant is proved by subcritical approach and some compactness techniques. Our method is rearrangement free and can be applied to study the classical HLS inequality and other similar inequalities.


title: Existence and Uniqueness of Maximal Solutions to a 3D Navier-Stokes Equation with Stochastic Lie Transport

abstract: We present here a criterion to conclude that an abstract SPDE posseses a unique maximal strong solution, which we apply to a three dimensional Stochastic Navier-Stokes Equation. Inspired by the work of [Kato and Lai,1984] in the deterministic setting, we provide a comparable result here in the stochastic case whilst facilitating a variety of noise structures such as additive, multiplicative and transport. In particular our criterion is designed to fit viscous fluid dynamics models with Stochastic Advection by Lie Transport (SALT) as introduced in [Holm,2015]. Our application to the Incompressible Navier-Stokes equation matches the existence and uniqueness result of the deterministic theory. This short work summarises the results and announces two papers [Goodair et al, 2022] which give the full details for the abstract well-posedness arguments and application to the Navier-Stokes Equation.


title: COVID-19 Submodel for the NC MInD ABM Overview, Design Concepts, and Details Protocol

abstract: This Overview, Design Concepts, and Details (ODD) Protocol is an ODD extension to an agent-based model (ABM) framework built for the North Carolina Modeling Infectious Diseases Program (NC MInD). The model, NC MInD ABM, can be used as a base model for various infectious disease simulations. In this document, we describe a submodel specifically designed to simulate COVID-19 cases and hospitalizations within North Carolina. We describe in detail how each piece of the submodel works and how it was created. We do not discuss specific simulation scenarios or results. This information is reserved for papers related to each use case of the submodel.


title: Transfer and Marginalize: Explaining Away Label Noise with Privileged Information

abstract: Supervised learning datasets often have privileged information, in the form of features which are available at training time but are not available at test time e.g. the ID of the annotator that provided the label. We argue that privileged information is useful for explaining away label noise, thereby reducing the harmful impact of noisy labels. We develop a simple and efficient method for supervised learning with neural networks: it transfers via weight sharing the knowledge learned with privileged information and approximately marginalizes over privileged information at test time. Our method, TRAM (TRansfer and Marginalize), has minimal training time overhead and has the same test-time cost as not using privileged information. TRAM performs strongly on CIFAR-10H, ImageNet and Civil Comments benchmarks.


title: NLTE Effects on Kilonova Expansion Opacities

abstract: A binary neutron star merger produces a rapidly evolving transient known as a kilonova (KN), which peaks a few days after merger. Modelling of KNe has often been approached assuming local thermodynamic equilibrium (LTE) conditions in the ejecta. We present the first analysis of non-local thermodynamic equilibrium (NLTE) level populations, using the spectral synthesis code SUMO, and compare these to LTE values. We investigate the importance of the radiation field by conducting NLTE excitation calculations with and without radiative transfer. Level populations, in particular higher lying ones, start to show deviations from LTE a few days after merger. Excitation is lower in NLTE for the majority of ions and states, and this tends to give lower expansion opacities. While the difference is small for the first few days, it grows to factors 2-10 after this. Our results are important both for demonstrating validity of LTE expansion opacities for an initial phase (few days), while highlighting the need for NLTE modelling during later phases. Considering also NLTE ionisation, our results indicate that NLTE can give both higher or lower opacities, depending on composition and wavelength, sometimes by orders of magnitudes.


title: The sensitivity of $\mu\to e$ processes to $\tau$ flavour change

abstract: Transforming a $\mu$ to a $\tau$, then the $\tau$ to to an $e$, results in $\mu \to e$. In an EFT framework, we explore the sensitivity of $\mu\to e$ observables to products of $(\mu\to \tau)\times (\tau \to e)$ interactions, and show that the exceptional sensitivity of upcoming $\mu \to e$ experiments could allow to probe parameter space beyond the reach of upcoming $\tau \to l$ searches in Higgs, $\tau$ and $B$ decays. We describe the $\tau \to l$ interactions as dimension six operators in the SM EFT, identify pairs of them giving interesting contributions to $\mu \to e$ processes, and obtain the anomalous dimensions mixing those pairs into dimension eight $\mu\to e$ operators. We find that $\mu \to e$ processes are sensitive to $\tau$ flavour-changing $B$ decays at rates comparable to current $B$ anomalies, but cannot reduce rates -- as appropriate in many current $B$ anomalies -- because they do not interfere with the SM.


title: Beyond Vaccination Rates: A Synthetic Random Proxy Metric of Total SARS-CoV-2 Immunity Seroprevalence in the Community

abstract: Explicit knowledge of total community-level immune seroprevalence is critical to developing policies to mitigate the social and clinical impact of SARS-CoV-2. Publicly available vaccination data are frequently cited as a proxy for population immunity, but this metric ignores the effects of naturally-acquired immunity, which varies broadly throughout the country and world. Without broad or random sampling of the population, accurate measurement of persistent immunity post natural infection is generally unavailable. To enable tracking of both naturally-acquired and vaccine-induced immunity, we set up a synthetic random proxy based on routine hospital testing for estimating total Immunoglobulin G (IgG) prevalence in the sampled community. Our approach analyzes viral IgG testing data of asymptomatic patients who present for elective procedures within a hospital system. We apply multilevel regression and poststratification to adjust for demographic and geographic discrepancies between the sample and the community population. We then apply state-based vaccination data to categorize immune status as driven by natural infection or by vaccine. We have validated the model using verified clinical metrics of viral and symptomatic disease incidence to show the expected biological correlation of these entities with the timing, rate, and magnitude of seroprevalence. In mid-July 2021, the estimated immunity level was 74% with the administered vaccination rate of 45% in the two counties. The metric improves real-time understanding of immunity to COVID-19 as it evolves and the coordination of policy responses to the disease, toward an inexpensive and easily operational surveillance system that transcends the limits of vaccination datasets alone.


title: Stochastic Perturbations of Tabular Features for Non-Deterministic Inference with Automunge

abstract: Injecting gaussian noise into training features is well known to have regularization properties. This paper considers noise injections to numeric or categoric tabular features as passed to inference, which translates inference to a non-deterministic outcome and may have relevance to fairness considerations, adversarial example protection, or other use cases benefiting from non-determinism. We offer the Automunge library for tabular preprocessing as a resource for the practice, which includes options to integrate random sampling or entropy seeding with the support of quantum circuits, representing a new way to channel quantum algorithms into classical learning.


title: Convergence conditions for $p$--adic continued fractions

abstract: Continued fractions have been introduced in the field of $p$--adic numbers $\mathbb{Q}_p$ by several authors. However, a standard definition is still missing since all the proposed algorithms are not able to replicate all the properties of continued fractions in $\mathbb{R}$. In particular, an analogue of the Lagrange's Theorem is not yet proved for any attempt of generalizing continued fractions in $\mathbb{Q}_p$. Thus, it is worth to study the definition of new algorithms for $p$--adic continued fractions. The main condition that a new method needs to fulfill is the convergence in $\mathbb Q_p$ of the continued fractions. In this paper we study some convergence conditions for continued fractions in $\mathbb{Q}_p$. These results allow to define many new families of continued fractions whose convergence is guaranteed. Then we provide some new algorithms exploiting the new convergence condition and we prove that one of them terminates in a finite number of steps when the input is rational, as it happens for real continued fractions.


title: Data-Driven Enhanced Model Reduction for Bifurcating Models in Computational Fluid Dynamics

abstract: We investigate various data-driven methods to enhance projection-based model reduction techniques with the aim of capturing bifurcating solutions. To show the effectiveness of the data-driven enhancements, we focus on the incompressible Navier-Stokes equations and different types of bifurcations. To recover solutions past a Hopf bifurcation, we propose an approach that combines proper orthogonal decomposition with Hankel dynamic mode decomposition. To approximate solutions close to a pitchfork bifurcation, we combine localized reduced models with artificial neural networks. Several numerical examples are shown to demonstrate the feasibility of the presented approaches.


title: Consistent mass formulas for the four-dimensional dyonic NUT-charged spacetimes

abstract: In our previous work, a novel idea that the NUT charge can be thought of as a thermodynamical multi-hair has been advocated to describe perfectly the thermodynamical character of the generic four-dimensional Taub-NUT spacetimes. According to this scheme, the Komar mass M, the gravito-magnetic charge and/or the dual (magnetic) mass N, together with a new secondary hair J_N=MN, namely, a Kerr-like conserved angular momentum, enter into the standard forms of the first law and Bekenstein-Smarr mass formula. Distinguished from other recent attempts, our consistent thermodynamic differential and integral mass formulae are both obtainable from a meaningful Christodoulou-Ruffini-type squared mass formula of almost all of the four-dimensional NUT-charged spacetimes. As an excellent consequence, the famous Bekenstein-Hawking one-quarter area-entropy relation can be naturally restored not only in the Lorentzian sector and but also in the Euclidian counterpart of the generic Taub-NUT-type spacetimes without imposing any constraint condition. However, only purely electric-charged cases in the four-dimensional Einstein-Maxwell gravity theory with a NUT charge have been addressed there. In this paper, we shall follow the simple, systematic way proposed in that article to further investigate the dyonic NUT-charged case. It is shown that the standard thermodynamic relations continue to hold true provided that no new secondary charge is added, however, the so-obtained electrostatic and magneto-static potentials are not coincident with those computed via the standard method. To rectify this inconsistence, a simple strategy is provided by further introducing two additional secondary hairs: Q_N=QN and P_N=PN, together with their thermodynamical conjugate potentials, so that the first law and Bekenstein-Smarr mass formula are still satisfied.


title: Universal control of a six-qubit quantum processor in silicon

abstract: Future quantum computers capable of solving relevant problems will require a large number of qubits that can be operated reliably. However, the requirements of having a large qubit count and operating with high-fidelity are typically conflicting. Spins in semiconductor quantum dots show long-term promise but demonstrations so far use between one and four qubits and typically optimize the fidelity of either single- or two-qubit operations, or initialization and readout. Here we increase the number of qubits and simultaneously achieve respectable fidelities for universal operation, state preparation and measurement. We design, fabricate and operate a six-qubit processor with a focus on careful Hamiltonian engineering, on a high level of abstraction to program the quantum circuits and on efficient background calibration, all of which are essential to achieve high fidelities on this extended system. State preparation combines initialization by measurement and real-time feedback with quantum-non-demolition measurements. These advances will allow for testing of increasingly meaningful quantum protocols and constitute a major stepping stone towards large-scale quantum computers.


title: Sketching Distances in Monotone Graph Classes

abstract: We study the two-player communication problem of determining whether two vertices $x, y$ are nearby in a graph $G$, with the goal of determining the graph structures that allow the problem to be solved with a constant-cost randomized protocol. Equivalently, we consider the problem of assigning constant-size random labels (sketches) to the vertices of a graph, which allow adjacency, exact distance thresholds, or approximate distance thresholds to be computed with high probability from the labels. Our main results are that, for monotone classes of graphs: constant-size adjacency sketches exist if and only if the class has bounded arboricity; constant-size sketches for exact distance thresholds exist if and only if the class has bounded expansion; constant-size approximate distance threshold (ADT) sketches imply that the class has bounded expansion; any class of constant expansion (i.e. any proper minor closed class) has constant-size ADT sketches; and a class may have arbitrarily small expansion without admitting constant-size ADT sketches.


title: Cell-Free Massive MIMO in Virtualized CRAN: How to Minimize the Total Network Power?

abstract: Previous works on cell-free massive MIMO mostly consider physical-layer and fronthaul transport aspects. How to deploy cell-free massive MIMO functionality in a practical wireless system is an open problem. This paper proposes a new cell-free architecture that can be implemented on top of a virtualized cloud radio access network (V-CRAN). We aim to minimize the end-to-end power consumption by jointly considering the radio, optical fronthaul, virtualized cloud processing resources, and spectral efficiency requirements of the user equipments. The considered optimization problem is cast in a mixed binary second-order cone programming form and, thus, the global optimum can be found using a branch-and-bound algorithm. The optimal power-efficient solution of our proposed cell-free system is compared with conventional small-cell implemented using V-CRAN, to determine the benefits of cell-free networking. The numerical results demonstrate that cell-free massive MIMO increases the maximum rate substantially, which can be provided with almost the same energy per bit. We show that it is more power-efficient to activate cell-free massive MIMO already at low spectral efficiencies (above 1 bit/s/Hz).


title: On heights of distributivity matrices

abstract: We construct a model in which there exists a distributivity matrix of regular height $\lambda$ larger than $\mathfrak{h}$; both $\lambda = \mathfrak{c}$ and $\lambda < \mathfrak{c}$ are possible. A distributivity matrix is a refining system of mad families without common refinement. Of particular interest in our proof is the preservation of $\mathcal{B}$-Canjarness.


title: Traffic-Aware Dynamic Functional Split for 5G Cloud Radio Access Networks

abstract: The recent adaption of virtualization technologies in the next generation mobile network enables 5G base station to be segregated into a Radio Unit (RU), a Distributed Unit (DU), and a Central Unit (CU) to support Cloud based Radio Access Networks (C-RAN). RU and DU are connected through a fronthaul link. In contrast, CU and DU are connected through a midhaul link. Although virtualization of CU gives benefits of centralization to the operators, there are other issues to be solved such as optimization of midhaul bandwidth and computing resources at edge cloud and central cloud where the DUs and CUs are deployed, respectively. In this paper, we propose a dynamic functional split selection for the DUs in 5G C-RAN by adopting to traffic heterogeneity where the midhaul bandwidth is limited. We propose an optimization problem that maximizes the centralization of the C-RAN system by operating more number of DUs on split Option-7 by changing the channel bandwidth of the DUs. The dynamic selection of split options among each CU-DU pair gives 90% centralization over the static functional split for a given midhaul bandwidth.


title: Next-Level, Robotic Telescope-Based Observing Experiences to Boost STEM Enrollments and Majors on a National Scale

abstract: Funded by a $3M Department of Defense (DoD) National Defense Education Program (NDEP) award, we are developing and deploying on a national scale a follow-up curriculum to "Our Place In Space!", or OPIS!, in which approx. 3,500 survey-level astronomy students are using our global network of "Skynet" robotic telescopes each year. The goal of this new curriculum, called "Astrophotography of the Multi-Wavelength Universe!", or MWU!, is to boost the number of these students who choose STEM majors. One semester in, our participant program has begun, and participating educators have made good progress on MWU!'s first two modules. Excellent progress has been made on the software front, where we have developed new graphing, analysis, and modeling tools in support of these, and upcoming, modules. On the hardware front, preparation continues to expand Skynet to include a global network of intermediate-sized, radio telescopes, capable of exploring the invisible universe.


title: Autoencoding Low-Resolution MRI for Semantically Smooth Interpolation of Anisotropic MRI

abstract: High-resolution medical images are beneficial for analysis but their acquisition may not always be feasible. Alternatively, high-resolution images can be created from low-resolution acquisitions using conventional upsampling methods, but such methods cannot exploit high-level contextual information contained in the images. Recently, better performing deep-learning based super-resolution methods have been introduced. However, these methods are limited by their supervised character, i.e. they require high-resolution examples for training. Instead, we propose an unsupervised deep learning semantic interpolation approach that synthesizes new intermediate slices from encoded low-resolution examples. To achieve semantically smooth interpolation in through-plane direction, the method exploits the latent space generated by autoencoders. To generate new intermediate slices, latent space encodings of two spatially adjacent slices are combined using their convex combination. Subsequently, the combined encoding is decoded to an intermediate slice. To constrain the model, a notion of semantic similarity is defined for a given dataset. For this, a new loss is introduced that exploits the spatial relationship between slices of the same volume. During training, an existing in-between slice is generated using a convex combination of its neighboring slice encodings. The method was trained and evaluated using publicly available cardiac cine, neonatal brain and adult brain MRI scans. In all evaluations, the new method produces significantly better results in terms of Structural Similarity Index Measure and Peak Signal-to-Noise Ratio (p< 0.001 using one-sided Wilcoxon signed-rank test) than a cubic B-spline interpolation approach. Given the unsupervised nature of the method, high-resolution training data is not required and hence, the method can be readily applied in clinical settings.


title: Reduced-Order Modeling of Thermal Dynamics in District Energy Networks using Spectral Clustering

abstract: Simulation of thermal dynamics in city-scale district energy grids often becomes computationally prohibitive for long simulation runs. Current model order reduction methods offer limited interpretability with regards to the non-reduced system, and are not in general applicable for e.g., varying flow rates, multiple producers, or changing flow directions. This article presents a novel method based on graph theory that approximates the solution of an optimization problem that minimizes the local truncation error for heat transport in the grid. It is shown that the method can be used to reduce the thermal dynamic model of a city-scale energy grid, resulting in a coarser temporal and spatial resolution. The relative root mean square error was 2.3\% for the temperature in the evaluation scenario, comparing the reduced-order system with the non-reduced system at the instances of the coarser time-step.


title: Strichartz estimates for equations with structured Lipschitz coefficients

abstract: Sharp Strichartz estimates are proved for Schr\"odinger and wave equations with Lipschitz coefficients satisfying additional structural assumptions. We use Phillips functional calculus as a substitute for Fourier inversion, which shows how dispersive properties are inherited from the constant coefficient case. Global Strichartz estimates follow provided that the derivatives of the coefficients are integrable. The estimates extend to structured coefficients of bounded variations. As applications we derive Strichartz estimates with additional derivative loss for wave equations with H\"older-continuous coefficients and solve nonlinear Schr\"odinger equations. Finally, we record spectral multiplier estimates, which follow from the Strichartz estimates by well-known means.


title: Is the relativistic Structure of Spacetime Ontic or Epistemic?

abstract: As repeatedly emphasized by Einstein our knowledge of the structure of space and time is based entirely on inferences from observations of physical objects and processes. At the most fundamental level these objects and processes are described by quantum theory. However, the ontological status of the theoretical entities employed by quantum theory is a matter of considerable debate. Furthermore, the nonlocal correlations identified by Bell cannot readily be explained within the standard relativistic framework. This suggests that we should re-examine our understanding of spacetime.