title: Energy Optimal Point-to-Point Motion Profile Optimization

abstract: Position-controlled systems driving repetitive tasks are of significant importance in industrial machinery. The electric actuators used in these systems are responsible for a large part of the global energy consumption, indicating that major savings can be made in this field. In this context, motion profile optimization is a very cost-effective solution as it allows for more energy-efficient machines without additional hardware investments or adaptions. In particular, mono-actuated mechanisms with position-dependent system properties have received considerable attention in literature. However, the current state-of-the-art methods often use unbounded design parameters to describe the motion profile. This both increases the computational complexity and hampers the search for a global optimum. In this paper, Chebyshev polynomials are used to describe the motion profile. Moreover, the exact bounds on the Chebyshev design parameters are derived. This both seriously reduces the computational complexity and limits the design space, allowing the application of a global optimizer such as the genetic algorithm. Experiments validate the added value of the chosen approach. In this study, it is found that the energy consumption can be reduced by 62.9% compared to a standard reference motion profile.


title: Stochastic Comparisons of Second-Order Statistics from Dependent and Heterogenous Modified Proportional Hazard Rate Observations

abstract: In this manuscript, we study stochastic comparisons of the second-order statistics from dependent or independent observations with modified proportional hazard rates models. First, we establish the usual stochastic order of the second-order statistics from dependent and heterogeneous observations. Second, sufficient conditions are provided in the hazard rate order of the second-order statistics from independent observations. Then, we investigate the hazard rate order of the second-order statistics arising from two sets of independent multiple-outlier modified proportional hazard rates observations. Finally, some numerical examples are given to illustrate the theoretical findings.


title: Global weak solutions to the Vlasov-Poisson-Fokker-Planck-Navier-Stokes system

abstract: We consider the compressible Vlasov-Poisson-Fokker-Planck-Navier-Stokes system in a three dimensional bounded domain with nonhomogeneous Dirichlet boundary conditions. The system describes the evolution of charged particles ensemble dispersed in an isentropic fluid. For the adiabatic coefficient $\gamma>3/2$, we establish the global existence of weak solutions to this system with arbitrary large initial and boundary data.


title: Swarmalators under competitive time-varying phase interactions

abstract: Swarmalators are entities with the simultaneous presence of swarming and synchronization that reveal emergent collective behavior due to the fascinating bidirectional interplay between phase and spatial dynamics. Although different coupling topologies have already been considered, here we introduce time-varying competitive phase interaction among swarmalators where the underlying connectivity for attractive and repulsive coupling varies depending on the vision (sensing) radius. Apart from investigating some fundamental properties like conservation of center of position and collision avoidance, we also scrutinize the cases of extreme limits of vision radius. The concurrence of attractive-repulsive competitive phase coupling allows the exploration of diverse asymptotic states, like static $\pi$, and mixed phase wave states, and we explore the feasible routes of those states through a detailed numerical analysis. In sole presence of attractive local coupling, we reveal the occurrence of static cluster synchronization where the number of clusters depends crucially on the initial distribution of positions and phases of each swarmalator. In addition, we analytically calculate the sufficient condition for the emergence of the static synchronization state. We further report the appearance of the static ring phase wave state and evaluate its radius theoretically. Finally, we validate our findings using Stuart-Landau oscillators to describe the phase dynamics of swarmalators subject to attractive local coupling.


title: Graphs with convex balls

abstract: In this paper, we investigate the graphs in which all balls are convex and the groups acting on them geometrically (which we call CB-graphs and CB-groups). These graphs have been introduced and characterized by Soltan and Chepoi (1983) and Farber and Jamison (1987). CB-graphs and CB-groups generalize systolic (alias bridged) and weakly systolic graphs and groups, which play an important role in geometric group theory. We present metric and local-to-global characterizations of CB-graphs. Namely, we characterize CB-graphs $G$ as graphs whose triangle-pentagonal complexes $X(G)$ are simply connected and balls of radius at most $3$ are convex. Similarly to systolic and weakly systolic graphs, we prove a dismantlability result for CB-graphs $G$: we show that their squares $G^2$ are dismantlable. This implies that the Rips complexes of CB-graphs are contractible. Finally, we adapt and extend the approach of Januszkiewicz and Swiatkowski (2006) for systolic groups and of Chalopin et al. (2020) for Helly groups, to show that the CB-groups are biautomatic.


title: Maximal estimates for fractional Schr\"odinger equations in scaling critical magnetic fields

abstract: In this paper, we combine the argument of [12] and [27] to prove the maximal estimates for fractional Schr\"odinger equations $(i\partial_t+\mathcal{L}_{\mathbf{A}}^{\frac\alpha 2})u=0$ in the purely magnetic fields which includes the Aharonov-Bohm fields. The proof is based on the cluster spectral measure estimates. In particular $\alpha=1$, the maximal estimate for wave equation is sharp up to the endpoint.


title: FedBalancer: Data and Pace Control for Efficient Federated Learning on Heterogeneous Clients

abstract: Federated Learning (FL) trains a machine learning model on distributed clients without exposing individual data. Unlike centralized training that is usually based on carefully-organized data, FL deals with on-device data that are often unfiltered and imbalanced. As a result, conventional FL training protocol that treats all data equally leads to a waste of local computational resources and slows down the global learning process. To this end, we propose FedBalancer, a systematic FL framework that actively selects clients' training samples. Our sample selection strategy prioritizes more "informative" data while respecting privacy and computational capabilities of clients. To better utilize the sample selection to speed up global training, we further introduce an adaptive deadline control scheme that predicts the optimal deadline for each round with varying client training data. Compared with existing FL algorithms with deadline configuration methods, our evaluation on five datasets from three different domains shows that FedBalancer improves the time-to-accuracy performance by 1.20~4.48x while improving the model accuracy by 1.1~5.0%. We also show that FedBalancer is readily applicable to other FL approaches by demonstrating that FedBalancer improves the convergence speed and accuracy when operating jointly with three different FL algorithms.


title: A sixth-order central WENO scheme for nonlinear degenerate parabolic equations

abstract: In this paper we develop a new sixth-order finite difference central weighted essentially non-oscillatory (WENO) scheme with Z-type nonlinear weights for nonlinear degenerate parabolic equations. The centered polynomial is introduced for the WENO reconstruction in order to avoid the negative linear weights. We choose the Z-type nonlinear weights based on the $L^2$-norm smoothness indicators, yielding the new WENO scheme with more accurate resolution. It is also confirmed that the proposed central WENO scheme with the devised nonlinear weights achieves sixth order accuracy in smooth regions. One- and two-dimensional numerical examples are presented to demonstrate the improved performance of the proposed central WENO scheme.


title: Deep Probabilistic Graph Matching

abstract: Most previous learning-based graph matching algorithms solve the \textit{quadratic assignment problem} (QAP) by dropping one or more of the matching constraints and adopting a relaxed assignment solver to obtain sub-optimal correspondences. Such relaxation may actually weaken the original graph matching problem, and in turn hurt the matching performance. In this paper we propose a deep learning-based graph matching framework that works for the original QAP without compromising on the matching constraints. In particular, we design an affinity-assignment prediction network to jointly learn the pairwise affinity and estimate the node assignments, and we then develop a differentiable solver inspired by the probabilistic perspective of the pairwise affinities. Aiming to obtain better matching results, the probabilistic solver refines the estimated assignments in an iterative manner to impose both discrete and one-to-one matching constraints. The proposed method is evaluated on three popularly tested benchmarks (Pascal VOC, Willow Object and SPair-71k), and it outperforms all previous state-of-the-arts on all benchmarks.


title: Detection of extragalactic Ultra-Compact Dwarfs and Globular Clusters using Explainable AI techniques

abstract: Compact stellar systems such as Ultra-compact dwarfs (UCDs) and Globular Clusters (GCs) around galaxies are known to be the tracers of the merger events that have been forming these galaxies. Therefore, identifying such systems allows to study galaxies mass assembly, formation and evolution. However, in the lack of spectroscopic information detecting UCDs/GCs using imaging data is very uncertain. Here, we aim to train a machine learning model to separate these objects from the foreground stars and background galaxies using the multi-wavelength imaging data of the Fornax galaxy cluster in 6 filters, namely u, g, r, i, J and Ks. The classes of objects are highly imbalanced which is problematic for many automatic classification techniques. Hence, we employ Synthetic Minority Over-sampling to handle the imbalance of the training data. Then, we compare two classifiers, namely Localized Generalized Matrix Learning Vector Quantization (LGMLVQ) and Random Forest (RF). Both methods are able to identify UCDs/GCs with a precision and a recall of >93 percent and provide relevances that reflect the importance of each feature dimension %(colors and angular sizes) for the classification. Both methods detect angular sizes as important markers for this classification problem. While it is astronomical expectation that color indices of u-i and i-Ks are the most important colors, our analysis shows that colors such as g-r are more informative, potentially because of higher signal-to-noise ratio. Besides the excellent performance the LGMLVQ method allows further interpretability by providing the feature importance for each individual class, class-wise representative samples and the possibility for non-linear visualization of the data as demonstrated in this contribution. We conclude that employing machine learning techniques to identify UCDs/GCs can lead to promising results.


title: Optimizing Memory in Reservoir Computers

abstract: A reservoir computer is a way of using a high dimensional dynamical system for computation. One way to construct a reservoir computer is by connecting a set of nonlinear nodes into a network. Because the network creates feedback between nodes, the reservoir computer has memory. If the reservoir computer is to respond to an input signal in a consistent way (a necessary condition for computation), the memory must be fading; that is, the influence of the initial conditions fades over time. How long this memory lasts is important for determining how well the reservoir computer can solve a particular problem. In this paper I describe ways to vary the length of the fading memory in reservoir computers. Tuning the memory can be important to achieve optimal results in some problems; too much or too little memory degrades the accuracy of the computation.


title: Uncertainties on the theoretical input for $t\bar{t}j$ experimental analyses at the LHC

abstract: The precise measurement of the top-quark mass constitutes one of the main goals of the LHC top-quark physics program. One possibility to extract this parameter uses the $\rho_{\mathrm{s}}$ distribution, which depends on the invariant mass of the $t\bar{t}j$ system. To fully take advantage of the experimental accuracy achievable in measuring top quark production cross sections at the LHC, the theory uncertainties need to be well under control. We present a study of the effect of varying the input parameters of the theoretical calculation on the predicted $\rho_{\mathrm{s}}$ distribution. Thereby we studied the influence of the $R$ parameter in the jet reconstruction procedure, as well as the effect of various renormalization and factorization scale definitions and different PDF sets. A behaviour similar to the one presented here for the $\rho_{\mathrm{s}}$-distribution was also found for other differential distributions.


title: Low energy excitations of mean-field glasses

abstract: We study the linear excitations around typical energy minima of a mean-field disordered model with continuous degrees of freedom undergoing a Random First Order Transition (RFOT). Contrary to naive expectations, the spectra of linear excitations are ungapped and we find the presence of a pseudogap corresponding to localized excitations with arbitrary low excitation energy. Moving to deeper minima in the landscape, the excitations appear increasingly localized while their abundance decreases. Beside typical minima, there also exist rare ultra-stable minima, with an energy gap and no localised excitations.


title: Botometer 101: Social bot practicum for computational social scientists

abstract: Social bots have become an important component of online social media. Deceptive bots, in particular, can manipulate online discussions of important issues ranging from elections to public health, threatening the constructive exchange of information. Their ubiquity makes them an interesting research subject and requires researchers to properly handle them when conducting studies using social media data. Therefore, it is important for researchers to gain access to bot detection tools that are reliable and easy to use. This paper aims to provide an introductory tutorial of Botometer, a public tool for bot detection on Twitter, for readers who are new to this topic and may not be familiar with programming and machine learning. We introduce how Botometer works, the different ways users can access it, and present a case study as a demonstration. Readers can use the case study code as a template for their own research. We also discuss recommended practice for using Botometer.


title: All You Need In Sign Language Production

abstract: Sign Language is the dominant form of communication language used in the deaf and hearing-impaired community. To make an easy and mutual communication between the hearing-impaired and the hearing communities, building a robust system capable of translating the spoken language into sign language and vice versa is fundamental. To this end, sign language recognition and production are two necessary parts for making such a two-way system. Sign language recognition and production need to cope with some critical challenges. In this survey, we review recent advances in Sign Language Production (SLP) and related areas using deep learning. To have more realistic perspectives to sign language, we present an introduction to the Deaf culture, Deaf centers, psychological perspective of sign language, the main differences between spoken language and sign language. Furthermore, we present the fundamental components of a bi-directional sign language translation system, discussing the main challenges in this area. Also, the backbone architectures and methods in SLP are briefly introduced and the proposed taxonomy on SLP is presented. Finally, a general framework for SLP and performance evaluation, and also a discussion on the recent developments, advantages, and limitations in SLP, commenting on possible lines for future research are presented.


title: A numerical and theoretical study of multilevel performance for two-point correlator calculations

abstract: An investigation of the performance of the multilevel algorithm in the approach to criticality has been undertaken using the Ising model, performing simulations across a range of temperatures. Numerical results show that the performance of multilevel in this system deteriorates as the correlation length is increased with respect to the lattice size. The statistical error of the longest correlator in the system is reduced in a multilevel setup when the correlation length is less than one-tenth of the lattice size, while for longer correlation lengths multilevel performs more poorly than a computer-time equivalent single level algorithm. A theoretical model of this performance scaling is outlined, and shows remarkable accuracy when compared to numerical results. This theoretical model may be applied to other systems with more complex spectra to predict if multilevel techniques are likely to result in improved statistics.


title: BGK model for multi-component gases near a global Maxwellian

abstract: In this paper, we establish the existence of the unique global-in-time classical solutions to the multi-component BGK model suggested in \cite{mixmodel} when the initial data is a small perturbation of global equilibrium. For this, we carefully analyze the dissipative nature of the linearized multi-component relaxation operator, and observe that the partial dissipation from the intra-species and the inter-species linearized relaxation operators are combined in a complementary manner to give rise to the desired dissipation estimate of the model We also observe that the convergence rate of the distribution function increases as the momentum-energy interchange rate between the different components of the gas increases.


title: Hopf algebroids from noncommutative bundles

abstract: We present two classes of examples of Hopf algebroids associated with noncommutative principal bundles. The first comes from deforming the principal bundle while leaving unchanged the structure Hopf algebra. The second is related to deforming a quantum homogeneous space; this needs a careful deformation of the structure Hopf algebra in order to preserve the compatibilities between the Hopf algebra operations.


title: Proxying ROS communications -- enabling containerized ROS deployments in distributed multi-host environments

abstract: With the ability to use containers at the edge, they pose a unified solution to combat the complexity of distributed multi-host ROS deployments, as well as individual ROS-node and dependency deployment. The bidirectional communication in ROS poses a challenge to using containerized ROS deployments alongside non-containerized ones spread over multiple machines though. We will analyze the communication protocol employed by ROS, and the suitability of different container networking modes and their implications on ROS deployments. Finally, we will present a layer 7 transparent proxy server architecture for ROS, as a solution to the identified problems. Enabling the use of ROS not only in containerized environments, but proxying ROS between network segments in general.


title: PARM: A Paragraph Aggregation Retrieval Model for Dense Document-to-Document Retrieval

abstract: Dense passage retrieval (DPR) models show great effectiveness gains in first stage retrieval for the web domain. However in the web domain we are in a setting with large amounts of training data and a query-to-passage or a query-to-document retrieval task. We investigate in this paper dense document-to-document retrieval with limited labelled target data for training, in particular legal case retrieval. In order to use DPR models for document-to-document retrieval, we propose a Paragraph Aggregation Retrieval Model (PARM) which liberates DPR models from their limited input length. PARM retrieves documents on the paragraph-level: for each query paragraph, relevant documents are retrieved based on their paragraphs. Then the relevant results per query paragraph are aggregated into one ranked list for the whole query document. For the aggregation we propose vector-based aggregation with reciprocal rank fusion (VRRF) weighting, which combines the advantages of rank-based aggregation and topical aggregation based on the dense embeddings. Experimental results show that VRRF outperforms rank-based aggregation strategies for dense document-to-document retrieval with PARM. We compare PARM to document-level retrieval and demonstrate higher retrieval effectiveness of PARM for lexical and dense first-stage retrieval on two different legal case retrieval collections. We investigate how to train the dense retrieval model for PARM on limited target data with labels on the paragraph or the document-level. In addition, we analyze the differences of the retrieved results of lexical and dense retrieval with PARM.


title: Lawin Transformer: Improving Semantic Segmentation Transformer with Multi-Scale Representations via Large Window Attention

abstract: Multi-scale representations are crucial for semantic segmentation. The community has witnessed the flourish of semantic segmentation convolutional neural networks (CNN) exploiting multi-scale contextual information. Motivated by that the vision transformer (ViT) is powerful in image classification, some semantic segmentation ViTs are recently proposed, most of them attaining impressive results but at a cost of computational economy. In this paper, we succeed in introducing multi-scale representations into semantic segmentation ViT via window attention mechanism and further improves the performance and efficiency. To this end, we introduce large window attention which allows the local window to query a larger area of context window at only a little computation overhead. By regulating the ratio of the context area to the query area, we enable the $\textit{large window attention}$ to capture the contextual information at multiple scales. Moreover, the framework of spatial pyramid pooling is adopted to collaborate with $\textit{the large window attention}$, which presents a novel decoder named $\textbf{la}$rge $\textbf{win}$dow attention spatial pyramid pooling (LawinASPP) for semantic segmentation ViT. Our resulting ViT, Lawin Transformer, is composed of an efficient hierachical vision transformer (HVT) as encoder and a LawinASPP as decoder. The empirical results demonstrate that Lawin Transformer offers an improved efficiency compared to the existing method. Lawin Transformer further sets new state-of-the-art performance on Cityscapes (84.4% mIoU), ADE20K (56.2% mIoU) and COCO-Stuff datasets. The code will be released at https://github.com/yan-hao-tian/lawin


title: Towards a quantum notion of covariance in spherically symmetric loop quantum gravity

abstract: The covariance of loop quantum gravity studies of spherically symmetric space-times has recently been questioned. This is a reasonable worry, given that they are formulated in terms of slicing-dependent variables. We show explicitly that the resulting space-times, obtained from Dirac observables of the quantum theory, are covariant in the usual sense of the way -- they preserve the quantum line element -- for any gauge that is stationary (in the exterior, if there is a horizon). The construction depends crucially on the details of the Abelianized quantization considered, the satisfaction of the quantum constraints and the recovery of standard general relativity in the classical limit and suggests that more informal polymerization constructions of possible semi-classical approximations to the theory can indeed have covariance problems. This analysis is based on the understanding of how slicing dependent quantities as the metric arise in a quantum context in terms of parameterized observables. It has implications beyond loop quantum gravity that hold for general approaches to quantum space time theories.


title: Nonlinear lumped-parameter models for blood flow simulations in networks of vessels

abstract: To address the issue of computational efficiency related to the modelling of blood flow in complex networks, we derive a family of nonlinear lumped-parameter models for blood flow in compliant vessels departing from a well-established one-dimensional model. These 0D models must preserve important nonlinear properties of the original 1D model: the nonlinearity of the pressure-area relation and the pressure-dependent parameters characterizing the 0D models, the resistance $R$ and the inductance $L$, defined in terms of a time-dependent cross-sectional area subject to pressure changes. We introduce suitable coupling conditions to join 0D vessels through 0D junctions and construct 0D networks preserving the original 1D network topology. The newly derived nonlinear 0D models are then applied to several arterial networks and the predicted results are compared against (i) the reference 1D results, to validate the models and assess their ability to reproduce good approximations of pressure and flow waveforms in all vessels at a much lower computational cost, measured in terms of CPU time, and (ii) the linear 0D results, to evaluate the improvement gained by including certain nonlinearities in the 0D models, in terms of agreement with the 1D results.


title: Skyrmion pinning energetics in thin film systems

abstract: A key issue for skyrmion dynamics and devices are pinning effects present in real systems. While posing a challenge for the realization of conventional skyrmionics devices, exploiting pinning effects can enable non-conventional computing approaches if the details of the pinning in real samples are quantified and understood. We demonstrate that using thermal skyrmion dynamics, we can characterize the pinning of a sample and we ascertain the spatially resolved energy landscape. To understand the mechanism of the pinning, we probe the strong skyrmion size and shape dependence of the pinning. Magnetic microscopy imaging demonstrates that in contrast to findings in previous investigations, for large skyrmions the pinning originates at the skyrmion boundary and not at its core. The boundary pinning is strongly influenced by the very complex pinning energy landscape that goes beyond the conventional rigid quasi-particle description. This gives rise to complex skyrmion shape distortions and allows for dynamic switching of pinning sites and flexible tuning of the pinning.


title: Evolution of interface singularities in shallow water equations with variable bottom topography

abstract: Wave front propagation with non-trivial bottom topography is studied within the formalism of hyperbolic long wave models. Evolution of non-smooth initial data is examined, and in particular the splitting of singular points and their short time behaviour is described. In the opposite limit of longer times, the local analysis of wavefronts is used to estimate the gradient catastrophe formation and how this is influenced by the topography. The limiting cases when the free surface intersects the bottom boundary, belonging to the so-called "physical" and "non-physical" vacuum classes, are examined. Solutions expressed by power series in the spatial variable lead to a hierarchy of ordinary differential equations for the time-dependent series coefficients, which are shown to reveal basic differences between the two vacuum cases: for non-physical vacuums, the equations of the hierarchy are recursive and linear past the first two pairs, while for physical vacuums the hierarchy is non-recursive, fully coupled and nonlinear. The former case may admit solutions that are free of singularities for nonzero time intervals, while the latter is shown to develop non-standard velocity shocks instantaneously. We show that truncation to finite dimensional systems and polynomial solutions is in general only possible for the case of a quadratic bottom profile. In this case the system's evolution can reduce to, and is completely described by, a low dimensional dynamical system for the time-dependent coefficients. This system encapsulates all the nonlinear properties of the solution for general power series initial data, and in particular governs the loss of regularity in finite times at the dry point. For the special case of parabolic bottom topographies, an exact, self-similar solution class is introduced and studied to illustrate via closed form expressions the general results.


title: Diffraction of strongly interacting molecular Bose-Einstein condensate from standing wave light pulses

abstract: We study the effects of strong inter-particle interaction on diffraction of a Bose-Einstein condensate of $^6Li_2$ molecules from a periodic potential created by pulses of a far detuned optical standing wave. For short pulses we observe the standard Kapitza-Dirac diffraction, with the contrast of the diffraction pattern strongly reduced for very large interactions due to interaction dependent loss processes. For longer pulses diffraction shows the characteristic for matter waves impinging on an array of tubes and coherent channeling transport. We observe a slowing down of the time evolution governing the population of the momentum modes caused by the strong atom interaction. A simple physical explanation of that slowing down is the phase shift caused by the self-interaction of the forming matter wave patterns inside the standing light wave. Simple 1D mean field simulations qualitatively capture the phenomenon, however to quantitatively reproduce the experimental results the molecular scattering length has to be multiplied by factor of 4.2. In addition, two contributions to interaction-dependent degradation of the coherent diffraction patterns were identified: (i) in-trap loss of molecules during the lattice pulse, which involves dissociation of Feshbach molecules into free atoms, as confirmed by radio-frequency spectroscopy and (ii) collisions between different momentum modes during separation. This was confirmed by interferometrically recombining the diffracted momenta into the zero-momentum peak, which consequently removed the scattering background.


title: ROOM: Adversarial Machine Learning Attacks Under Real-Time Constraints

abstract: Advances in deep learning have enabled a wide range of promising applications. However, these systems are vulnerable to Adversarial Machine Learning (AML) attacks; adversarially crafted perturbations to their inputs could cause them to misclassify. Several state-of-the-art adversarial attacks have demonstrated that they can reliably fool classifiers making these attacks a significant threat. Adversarial attack generation algorithms focus primarily on creating successful examples while controlling the noise magnitude and distribution to make detection more difficult. The underlying assumption of these attacks is that the adversarial noise is generated offline, making their execution time a secondary consideration. However, recently, just-in-time adversarial attacks where an attacker opportunistically generates adversarial examples on the fly have been shown to be possible. This paper introduces a new problem: how do we generate adversarial noise under real-time constraints to support such real-time adversarial attacks? Understanding this problem improves our understanding of the threat these attacks pose to real-time systems and provides security evaluation benchmarks for future defenses. Therefore, we first conduct a run-time analysis of adversarial generation algorithms. Universal attacks produce a general attack offline, with no online overhead, and can be applied to any input; however, their success rate is limited because of their generality. In contrast, online algorithms, which work on a specific input, are computationally expensive, making them inappropriate for operation under time constraints. Thus, we propose ROOM, a novel Real-time Online-Offline attack construction Model where an offline component serves to warm up the online algorithm, making it possible to generate highly successful attacks under time constraints.


title: A Chiral Mean-Field Equation-of-State in UrQMD: Effects on the Heavy Ion Compression Stage

abstract: It is shown that the initial compression in central heavy ion collisions at beam energies of $E_\mathrm{lab}=1-10A$~GeV depends dominantly on the underlying equation of state and only marginally on the model used for the dynamical description. To do so, a procedure to incorporate any equation of state in the UrQMD transport model is introduced. In particular we compare the baryon density, temperature and pressure evolution as well as produced entropy in a relativistic ideal hydrodynamics approach and the UrQMD transport model, where the same equation of state is used in both approaches. Not only is the compression similar if the same equation of state is used in either dynamical model, but it also strongly depends on the actual equation of state. These results indicate that the equation of state can be studied with observables which are sensitive to the initial compression phase and maximum compression achieved in heavy ion collisions at these beam energies.


title: Density-Functional-Theory Perspective on the Non-Linear Response of Correlated Electrons Across Temperature Regimes

abstract: We explore a new formalism to study the nonlinear electronic density response based on Kohn-Sham density functional theory (KS-DFT) at partially and strongly quantum degenerate regimes. It is demonstrated that the KS-DFT calculations are able to accurately reproduce the available path integral Monte Carlo simulation results at temperatures relevant for warm dense matter research. The existing analytical results for the quadratic and cubic response functions are rigorously tested. It is demonstrated that the analytical results for the quadratic response function closely agree with the KS-DFT data. Furthermore, the performed analysis reveals that currently available analytical formulas for the cubic response function are not able to describe simulation results, neither qualitatively nor quantitatively, at small wave-numbers $q<2q_F$, with $q_F$ being the Fermi wave-number. The results show that KS-DFT can be used to describe warm dense matter that is strongly perturbed by an external field with remarkable accuracy. Furthermore, it is demonstrated that KS-DFT constitutes a valuable tool to guide the development of the non-linear response theory of correlated quantum electrons from ambient to extreme conditions. This opens up new avenues to study nonlinear effects in a gamut of different contexts at conditions that cannot be accessed with previously used path integral Monte Carlo methods [T. Dornheim et al., Phys. Rev. Lett. 125, 085001 (2020)].


title: Moduli and Hidden Matter in Heterotic M-Theory with an Anomalous $U(1)$ Hidden Sector

abstract: This paper discusses the dilaton, K\"ahler moduli and hidden sector matter chiral superfields of heterotic $M$-theory vacua in which the hidden sector gauge bundle is chosen to be a line bundle with an anomalous U(1) structure group. For simplicity of notation, the theory is compactified on a Calabi-Yau threefold with $h^{1,1}=1$, although all methods and results apply to more general heterotic compactifications. After introducing a non-perturbative $F$-term potential and coupling to supergravity, the canonically normalized scalar and fermion mass eigenstates, evaluated around a fixed supersymmetry breaking vacuum, are computed and the explicit expressions for their masses presented. In addition, the relevant couplings of these eigenstates to themselves and to chiral matter in the observable sector are evaluated. The decay rates of generic observable sector scalars into both moduli and hidden sector matter scalars and fermions are then presented. This opens the door to explicit calculations of the decay of an observable sector cosmological inflaton into moduli and hidden sector dark matter candidates. Finally, an explicit flux and gaugino condensate induced non-perturbative superpotential is introduced which is shown to stabilize three of the four real components of the moduli fields.


title: The concentration of zero-noise limits of invariant measures for stochastic dynamical systems

abstract: In this paper, we study concentration phenomena of zero-noise limits of invariant measures for stochastic differential equations defined on $\mathbb{R}^d$ with locally Lipschitz continuous coefficients and more than one ergodic state. Under some dissipative conditions, by using Lyapunov-like functions and large deviations methods, we estimate the invariant measures in neighborhoods of stable sets, neighborhoods of unstable sets and their complement, respectively. Our result illustrates that invariant measures concentrate on the intersection of stable sets where a cost functional $W(K_i)$ is minimized and the Birkhoff center of the corresponding deterministic systems as noise tends down to zero. Furthermore, we prove the large deviations principle of invariant measures. At the end of this paper, we provide some explicit examples and their numerical simulations.


title: Neuromorphic Vision Based Control for the Precise Positioning of Robotic Drilling Systems

abstract: The manufacturing industry is currently witnessing a paradigm shift with the unprecedented adoption of industrial robots, and machine vision is a key perception technology that enables these robots to perform precise operations in unstructured environments. However, the sensitivity of conventional vision sensors to lighting conditions and high-speed motion sets a limitation on the reliability and work-rate of production lines. Neuromorphic vision is a recent technology with the potential to address the challenges of conventional vision with its high temporal resolution, low latency, and wide dynamic range. In this paper and for the first time, we propose a novel neuromorphic vision based controller for faster and more reliable machining operations, and present a complete robotic system capable of performing drilling tasks with sub-millimeter accuracy. Our proposed system localizes the target workpiece in 3D using two perception stages that we developed specifically for the asynchronous output of neuromorphic cameras. The first stage performs multi-view reconstruction for an initial estimate of the workpiece's pose, and the second stage refines this estimate for a local region of the workpiece using circular hole detection. The robot then precisely positions the drilling end-effector and drills the target holes on the workpiece using a combined position-based and image-based visual servoing approach. The proposed solution is validated experimentally for drilling nutplate holes on workpieces placed arbitrarily in an unstructured environment with uncontrolled lighting. Experimental results prove the effectiveness of our solution with an average positional errors of less than 0.1 mm, and demonstrate that the use of neuromorphic vision overcomes the lighting and speed limitations of conventional cameras.


title: Coulomb actuated microbeams: A Chebyshev-Edgeworth approach to highly efficient lumped parameter models

abstract: In a previous publication we demonstrated that the stable and unstable equilibrium states of prismatic Coulomb actuated Euler-Bernoulli micro-beams, clamped at both ends, can successfully be simulated combining finite element analysis (FEM) with continuation methods. Simulation results were experimentally scrutinised by combining direct optical observations with a modal analysis regarding Euler-Bernoulli eigenmodes. Experiment and simulation revealed convincing evidence for the possibility of modelling the physics of such a micro-beam by means of lumped parameter models involving only a single degree of freedom, the Euler-Bernoulli zero mode. In this paper we present the corresponding analytical single degree of freedom lumped parameter model (LPM). This comprehensive model demonstrates the impact of the beam bending on the nature of the Coulomb singularity, allows for an easy and accurate computation of the pull-in voltage in the presence of stress stiffening and is apt for efficient frequency response computations. Our method to derive the zero-mode LPM is based on a Chebyshev-Edgeworth type method as is common in analytical probability theory. While used here for a very particular purpose, this novel approach to non-linear dynamic systems has a much broader scope. It is apt to analyse different boundary conditions, electrostatic fringe field corrections and squeeze film damping, to name a few applications.


title: Bridging Adversarial and Nonstationary Multi-armed Bandit

abstract: In the multi-armed bandit framework, there are two formulations that are commonly employed to handle time-varying reward distributions: adversarial bandit and nonstationary bandit. Although their oracles, algorithms, and regret analysis differ significantly, we provide a unified formulation in this paper that smoothly bridges the two as special cases. The formulation uses an oracle that takes the best-fixed arm within time windows. Depending on the window size, it turns into the oracle in hindsight in the adversarial bandit and dynamic oracle in the nonstationary bandit. We provide algorithms that attain the optimal regret with the matching lower bound.


title: Topological characterization of dynamic chiral magnetic textures using machine learning

abstract: Recently proposed spintronic devices use magnetic skyrmions as bits of information. The reliable detection of those chiral magnetic objects is an indispensable requirement. Yet, the high mobility of magnetic skyrmions leads to their stochastic motion at finite temperatures, which hinders the precise measurement of the topological numbers. Here, we demonstrate the successful training of artificial neural networks to reconstruct the skyrmion number in confined geometries from time-integrated, dimensionally reduced data. Our results prove the possibility to recover the topological charge from a time-averaged measurement and hence smeared dynamic skyrmion ensemble, which is of immediate relevance to the interpretation of experimental results, skyrmion-based computing, and memory concepts


title: Chaos in Celestial CFT

abstract: Celestial holography proposes a duality between gravitational scattering in asymptotically flat space-time and a conformal field theory living on the celestial sphere. Its dictionary relates the infinite dimensional space-time symmetry group to Ward identities of the CFT. The spontaneous breaking of these asymptotic symmetries governs the dynamics of the soft sector in the CFT. Here we show that this sector encodes non-trivial backreaction effects that exhibit characteristics of maximal quantum chaos. A key element in the derivation is the identification of the Hilbert space of celestial CFT, defined through radial quantization, with that of a constantly accelerating Rindler observer. From the point of view of the bulk, Rindler particles exhibit Lyapunov behavior due to shockwave interactions that shift the observer horizon. From the point of view of the boundary, the superrotation Goldstone modes affect the relevant representations of the celestial Virasoro symmetry in a manner that induces Lyapunov behavior of out-of-time-ordered celestial correlators.


title: SMDT: Selective Memory-Augmented Neural Document Translation

abstract: Existing document-level neural machine translation (NMT) models have sufficiently explored different context settings to provide guidance for target generation. However, little attention is paid to inaugurate more diverse context for abundant context information. In this paper, we propose a Selective Memory-augmented Neural Document Translation model to deal with documents containing large hypothesis space of the context. Specifically, we retrieve similar bilingual sentence pairs from the training corpus to augment global context and then extend the two-stream attention model with selective mechanism to capture local context and diverse global contexts. This unified approach allows our model to be trained elegantly on three publicly document-level machine translation datasets and significantly outperforms previous document-level NMT models.


title: SiPM cross-talk in liquid argon detectors

abstract: SiPM-based readouts are becoming the standard for light detection in particle detectors given their superior resolution and ease of use with respect to vacuum tube photo-multipliers. However, the contributions of detection noise such as the dark rate, cross-talk, and after-pulsing may impact significantly their performance. In this work, we present the development of highly reflective single-phase argon chambers capable of light yields up to 32 photo-electrons per keV, with roughly 12 being primary photo-electrons generated by the argon scintillation, while the rest are accounted by optical cross-talk. Furthermore, the presence of compound processes results in a generalized Fano factor larger than 2 already at an over-voltage of 5 V. Finally, we present a parametrization of the optical cross-talk for the FBK NUV-HD-Cryo SiPMs at 87 K that can be extended to future detectors with tailored optical simulations.


title: Adaptive Online Incremental Learning for Evolving Data Streams

abstract: Recent years have witnessed growing interests in online incremental learning. However, there are three major challenges in this area. The first major difficulty is concept drift, that is, the probability distribution in the streaming data would change as the data arrives. The second major difficulty is catastrophic forgetting, that is, forgetting what we have learned before when learning new knowledge. The last one we often ignore is the learning of the latent representation. Only good latent representation can improve the prediction accuracy of the model. Our research builds on this observation and attempts to overcome these difficulties. To this end, we propose an Adaptive Online Incremental Learning for evolving data streams (AOIL). We use auto-encoder with the memory module, on the one hand, we obtained the latent features of the input, on the other hand, according to the reconstruction loss of the auto-encoder with memory module, we could successfully detect the existence of concept drift and trigger the update mechanism, adjust the model parameters in time. In addition, we divide features, which are derived from the activation of the hidden layers, into two parts, which are used to extract the common and private features respectively. By means of this approach, the model could learn the private features of the new coming instances, but do not forget what we have learned in the past (shared features), which reduces the occurrence of catastrophic forgetting. At the same time, to get the fusion feature vector we use the self-attention mechanism to effectively fuse the extracted features, which further improved the latent representation learning.


title: Realizing the Metaverse with Edge Intelligence: A Match Made in Heaven

abstract: Dubbed "the successor to the mobile Internet", the concept of the Metaverse has recently exploded in popularity. While there exists lite versions of the Metaverse today, we are still far from realizing the vision of a seamless, shardless, and interoperable Metaverse given the stringent sensing, communication, and computation requirements. Moreover, the birth of the Metaverse comes amid growing privacy concerns among users. In this article, we begin by providing a preliminary definition of the Metaverse. We discuss the architecture of the Metaverse and mainly focus on motivating the convergence of edge intelligence and the infrastructure layer of the Metaverse. We present major edge-based technological developments and their integration to support the Metaverse engine. Then, we present our research attempts through a case study of virtual city development in the Metaverse. Finally, we discuss the open research issues.


title: On the limiting law of line ensembles of Brownian polymers with geometric area tilts

abstract: We study the line ensembles of non-crossing Brownian bridges above a hard wall, each tilted by the area of the region below it with geometrically growing pre-factors. This model, which mimics the level lines of the $(2+1)$D SOS model above a hard wall, was studied in two works from 2019 by Caputo, Ioffe and Wachtel. In those works, the tightness of the law of the top $k$ paths, for any fixed $k$, was established under either zero or free boundary conditions, which in the former setting implied the existence of a limit via a monotonicity argument. Here we address the open problem of a limit under free boundary conditions: we prove that as the interval length, followed by the number of paths, go to $\infty$, the top $k$ paths converge to the same limit as in the free boundary case, as conjectured by Caputo, Ioffe and Wachtel.


title: Tackling the Class Imbalance Problem of Deep Learning Based Head and Neck Organ Segmentation

abstract: The segmentation of organs at risk (OAR) is a required precondition for the cancer treatment with image guided radiation therapy. The automation of the segmentation task is therefore of high clinical relevance. Deep Learning (DL) based medical image segmentation is currently the most successful approach, but suffers from the over-presence of the background class and the anatomically given organ size difference, which is most severe in the head and neck (HAN) area. To tackle the HAN area specific class imbalance problem we first optimize the patch-size of the currently best performing general purpose segmentation framework, the nnU-Net, based on the introduced class imbalance measurement, and second, introduce the class adaptive Dice loss to further compensate for the highly imbalanced setting. Both the patch-size and the loss function are parameters with direct influence on the class imbalance and their optimization leads to a 3\% increase of the Dice score and 22% reduction of the 95% Hausdorff distance compared to the baseline, finally reaching $0.8\pm0.15$ and $3.17\pm1.7$ mm for the segmentation of seven HAN organs using a single and simple neural network. The patch-size optimization and the class adaptive Dice loss are both simply integrable in current DL based segmentation approaches and allow to increase the performance for class imbalanced segmentation tasks.


title: Emergence of Correlations in Alternating Twist Quadrilayer Graphene

abstract: Recently, alternating twist multilayer graphene (ATMG) has emerged as a family of moir\'e systems that share several fundamental properties with twisted bilayer graphene, and are expected to host similarly strong electron-electron interactions near the magic angle. Here, we study alternating twist quadrilayer graphene (ATQG) samples with twist angles of 1.96{\deg} and 1.52{\deg}, which are slightly removed from the magic angle of 1.68{\deg}. At the larger angle, we find signatures of correlated insulators only when the ATQG is hole doped, and no signatures of superconductivity, and for the smaller angle we find evidence of superconductivity, while signs of the correlated insulators weaken. Our results provide insight into the twist angle dependence of correlated phases in ATMG and shed light on the nature of correlations in the intermediate coupling regime at the edge of the magic angle range where dispersion and interaction are of the same order.


title: On the trail of a comet's tail: A particle tracking algorithm for comet 67P/Churyumov-Gerasimenko

abstract: Context. During the post-perihelion phase of the European Space Agency's Rosetta mission to comet 67P, the Optical, Spectroscopic, and Infrared Remote Imaging System on board the spacecraft took numerous image sequences of the near-nucleus coma, with many showing the motion of individual pieces of debris ejected from active surface areas into space. Aims. We aim to track the motion of individual particles in these image sequences and derive their projected velocities and accelerations. This should help us to constrain their point of origin on the surface, understand the forces that influence their dynamics in the inner coma, and predict whether they will fall back to the surface or escape to interplanetary space. Methods. We have developed an algorithm that tracks the motion of particles appearing as point sources in image sequences. Our algorithm employs a point source detection software to locate the particles and then exploits the image sequences' pair-nature to reconstruct the particle tracks and derive the projected velocities and accelerations. We also constrained the particle size from their brightness. Results. Our algorithm identified 2268 tracks in a sample image sequence. Manual inspection not only found that 1187 (~52%) of them are likely genuine, but in combination with runs on simulated data it also revealed a simple criterion related to the completeness of a track to single out a large subset of the genuine tracks without the need for manual intervention. A tentative analysis of a small (n = 89) group of particles exemplifies how our data can be used, and provides first results on the particles' velocity, acceleration, and radius distributions, which agree with previous work.


title: High impedance TES bolometers for EDELWEISS

abstract: The EDELWEISS collaboration aims for direct detection of light dark matter using germanium cryogenic detectors with low threshold phonon sensor technologies and efficient charge readout designs. We describe here the development of Ge bolometers equipped with high impedance thermistors based on a NbxSi1-x TES alloy. High aspect ratio spiral designs allow the TES impedance to match with JFET or HEMT front-end amplifiers. We detail the behavior of the superconducting transition properties of these sensors and the detector optimization in terms of sensitivity to out-of-equilibrium phonons. We report preliminary results of a 200 g Ge detector that was calibrated using 71Ge activation by neutrons at the LSM underground laboratory.


title: Characterization of some classes of graphs and their products as frame graph

abstract: To each finite frame $\varphi$ in an inner product space $\mathcal{H}$ we associate a simple graph $G(\varphi)$, called {\it frame graph}, with the vectors of the frame as vertices and there is an edge between vertices $f$ and $g$ provided that $\langle f, g\rangle \neq 0$ [1]. In this paper the relation between the order of $G(\varphi)$ and the dimension of $\mathcal{H}$ is investigated for some well-known classes of graphs and their products.


title: An approximate Bayes factor based high dimensional MANOVA using Random Projections

abstract: High-dimensional mean vector testing problem for two or more groups remain a very active research area. In these setting, traditional tests are not applicable because they involve the inversion of rank deficient group covariance matrix. In current approaches, this problem is addressed by simply looking at a test assuming a sparse or diagonal covariance matrix potentially ignoring complex dependency between features. In this paper, we develop a Bayes factor (BF) based testing procedure for comparing two or more population means in (very) high dimensional settings. Two versions of the Bayes factor based test statistics are considered which are based on a Random projection (RP) approach. RPs are appealing since they make not assumption about the form of the dependency across features in the data. The final test statistic is based on an ensemble of Bayes factors corresponding to multiple replications of randomly projected data. Both proposed test statistics are compared through a battery of simulation settings. Finally they are applied to the analysis of a publicly available genomic single cell RNA-seq (scRNA-seq) dataset.


title: A conjecture of Baruah and Begum on the smallest parts function of restricted overpartitions

abstract: In 2017, Andrews, Dixit, Schultz and Yee introduced the function $\overline{\textrm{spt}}_\omega(n)$, which denotes the number of smallest parts in the overpartitions of $n$ in which the smallest part is always overlined and all odd parts are less than twice the smallest part. Recently, Baruah and Begum established several internal congruences and congruences modulo small powers of $5$ for $\overline{\textrm{spt}}_\omega(n)$. Moreover, they conjectured a family of internal congruences modulo any powers of $5$ and two families of congruences modulo any even powers of $5$. In this paper, we confirm three families of congruences due to Baruah and Begum.


title: Convolutional Neural Network-reconstructed velocity for kinetic SZ detection

abstract: We report the detection of the kinetic Sunyaev-Zel'dovich (kSZ) effect in galaxy clusters with a 4.9 sigma significance using the latest 217 GHz Planck map from data release 4. For the detection, we stacked the Planck map at the positions of 30,431 galaxy clusters from the Wen-Han-Liu (WHL) catalog. To align the sign of the kSZ signals, the line-of-sight velocities of galaxy clusters were estimated with a machine-learning approach, in which the relation between the galaxy distribution around a cluster and its line-of-sight velocity was trained through a convolutional neural network. To train our network, we used the simulated galaxies and galaxy clusters in the Magneticum cosmological hydrodynamic simulations. The trained model was applied to the large-scale distribution of the Sloan Digital Sky Survey galaxies to derive the line-of-sight velocities of the WHL galaxy clusters. Assuming a standard beta-model for the intracluster medium, we obtained the gas mass fraction in R500 to be fgas,500 = 0.09 +- 0.02 within the galaxy clusters with the average mass of M500 ~ 1.0 x 10^14 Msun/h.


title: Machine-Learning the Classification of Spacetimes

abstract: On the long-established classification problems in general relativity we take a novel perspective by adopting fruitful techniques from machine learning and modern data-science. In particular, we model Petrov's classification of spacetimes, and show that a feed-forward neural network can achieve high degree of success. We also show how data visualization techniques with dimensionality reduction can help analyze the underlying patterns in the structure of the different types of spacetimes.


title: On quasi-tame Looijenga pairs

abstract: We prove a conjecture of Bousseau, van Garrel and the first-named author relating, under suitable positivity conditions, the higher genus maximal contact log Gromov-Witten invariants of Looijenga pairs to other curve counting invariants of Gromov-Witten/Gopakumar-Vafa type. The proof consists of a closed-form $q$-hypergeometric resummation of the quantum tropical vertex calculation of the log invariants in presence of infinite scattering. The resulting identity of $q$-series appears to be new and of independent combinatorial interest.


title: What makes a reaction network "chemical"?

abstract: Reaction networks (RNs) comprise a set $X$ of species and a set $\mathscr{R}$ of reactions $Y\to Y'$, each converting a multiset of educts $Y\subseteq X$ into a multiset $Y'\subseteq X$ of products. RNs are equivalent to directed hypergraphs. However, not all RNs necessarily admit a chemical interpretation. Instead, they might contradict fundamental principles of physics such as the conservation of energy and mass or the reversibility of chemical reactions. The consequences of these necessary conditions for the stoichiometric matrix $\mathbf{S} \in \mathbb{R}^{X\times\mathscr{R}}$ have been discussed extensively in the literature. Here, we provide sufficient conditions for $\mathbf{S}$ that guarantee the interpretation of RNs in terms of balanced sum formulas and structural formulas, respectively. Chemically plausible RNs allow neither a perpetuum mobile, i.e., a "futile cycle" of reactions with non-vanishing energy production, nor the creation or annihilation of mass. Such RNs are said to be thermodynamically sound and conservative. For finite RNs, both conditions can be expressed equivalently as properties of $\mathbf{S}$. The first condition is vacuous for reversible networks, but it excludes irreversible futile cycles and - in a stricter sense - futile cycles that even contain an irreversible reaction. The second condition is equivalent to the existence of a strictly positive reaction invariant. Furthermore, it is sufficient for the existence of a realization in terms of sum formulas, obeying conservation of "atoms". In particular, these realizations can be chosen such that any two species have distinct sum formulas, unless $\mathbf{S}$ implies that they are "obligatory isomers". In terms of structural formulas, every compound is a labeled multigraph, in essence a Lewis formula, and reactions comprise only a rearrangement of bonds such that the total bond order is preserved.

categories: q-bio.MN math.CO math.MG physics.chem-ph


title: Comparison of biomedical relationship extraction methods and models for knowledge graph creation

abstract: Biomedical research is growing at such an exponential pace that scientists, researchers, and practitioners are no more able to cope with the amount of published literature in the domain. The knowledge presented in the literature needs to be systematized in such a way that claims and hypotheses can be easily found, accessed, and validated. Knowledge graphs can provide such a framework for semantic knowledge representation from literature. However, in order to build a knowledge graph, it is necessary to extract knowledge as relationships between biomedical entities and normalize both entities and relationship types. In this paper, we present and compare few rule-based and machine learning-based (Naive Bayes, Random Forests as examples of traditional machine learning methods and DistilBERT, PubMedBERT, T5 and SciFive-based models as examples of modern deep learning transformers) methods for scalable relationship extraction from biomedical literature, and for the integration into the knowledge graphs. We examine how resilient are these various methods to unbalanced and fairly small datasets. Our experiments show that transformer-based models handle well both small (due to pre-training on a large dataset) and unbalanced datasets. The best performing model was the PubMedBERT-based model fine-tuned on balanced data, with a reported F1-score of 0.92. DistilBERT-based model followed with F1-score of 0.89, performing faster and with lower resource requirements. BERT-based models performed better then T5-based generative models.


title: Rigidity of flag manifolds

abstract: Let $N\subset GL(n,R)$ be the group of upper triangular matrices with $1$s on the diagonal, equipped with the standard Carnot group structure. We show that quasiconformal homeomorphisms between open subsets of $N$, and more generally Sobolev mappings with nondegenerate Pansu differential, are rigid when $n \geq 4$; this settles the Regularity Conjecture for such groups. This result is deduced from a rigidity theorem for the manifold of complete flags in $R^n$. Similar results also hold in the complex and quaternion cases.


title: WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

abstract: The complexity of browsers has steadily increased over the years, driven by the continuous introduction and update of Web platform components, such as novel Web APIs and security mechanisms. Their specifications are manually reviewed by experts to identify potential security issues. However, this process has proved to be error-prone due to the extensiveness of modern browser specifications and the interplay between new and existing Web platform components. To tackle this problem, we developed WebSpec, the first formal security framework for the analysis of browser security mechanisms, which enables both the automatic discovery of logical flaws and the development of machine-checked security proofs. WebSpec, in particular, includes a comprehensive semantic model of the browser in the Coq proof assistant, a formalization in this model of ten Web security invariants, and a toolchain turning the Coq model and the Web invariants into SMT-lib formulas to enable model checking with the Z3 theorem prover. If a violation is found, the toolchain automatically generates executable tests corresponding to the discovered attack trace, which is validated across major browsers. We showcase the effectiveness of WebSpec by discovering two new logical flaws caused by the interaction of different browser mechanisms and by identifying three previously discovered logical flaws in the current Web platform, as well as five in old versions. Finally, we show how WebSpec can aid the verification of our proposed changes to amend the reported inconsistencies affecting the current Web platform.


title: Scalar perturbations around rotating regular black holes and wormholes: quasi-normal modes, ergoregion instability and superradiance

abstract: We study scalar test-field perturbations on top of a Kerr--black-bounce background, i.e. a family of rotating regular black holes and/or rotating traversable wormholes that can mimic Kerr black holes. We compute the quasi-normal modes for a massless field in both the regular black holes and wormhole branches, confirming the stability of the former and identifying a set of growing modes that renders the latter unstable. We further compute the superradiance amplification factors, for massless and massive fields, in the regular black hole branch, confirming that these objects superradiate, though to a lesser degree than the corresponding Kerr black holes.


title: On the duality formula for parametrized multiple series

abstract: We show that a duality formula for certain parametrized multiple series yields numerous relations among them. As a result, we obtain a new relation among extended multiple zeta values, which is an extension of Ohno's relation for multiple zeta values. We do the same study also to multiple Hurwitz zeta values, and obtain a new identity for them.


title: Stochastic regularized majorization-minimization with weakly convex and multi-convex surrogates

abstract: Stochastic majorization-minimization (SMM) is a class of stochastic optimization algorithms that proceed by sampling new data points and minimizing a recursive average of surrogate functions of an objective function. The surrogates are required to be strongly convex and convergence rate analysis for the general non-convex setting was not available. In this paper, we propose an extension of SMM where surrogates are allowed to be only weakly convex or block multi-convex, and the averaged surrogates are approximately minimized with proximal regularization or block-minimized within diminishing radii, respectively. For the general nonconvex constrained setting with non-i.i.d. data samples, we show that the first-order optimality gap of the proposed algorithm decays at the rate $O((\log n)^{1+\epsilon}/n^{1/2})$ for the empirical loss and $O((\log n)^{1+\epsilon}/n^{1/4})$ for the expected loss, where $n$ denotes the number of data samples processed. Under some additional assumption, the latter convergence rate can be improved to $O((\log n)^{1+\epsilon}/n^{1/2})$. As a corollary, we obtain the first convergence rate bounds for various optimization methods under general nonconvex dependent data setting: Double-averaging projected gradient descent and its generalizations, proximal point empirical risk minimization, and online matrix/tensor decomposition algorithms. We also provide experimental validation of our results.


title: Do we need to consider electron kinetic effects to properly model a planetary magnetosphere: the case of Mercury

abstract: The magnetosphere of Mercury is studied using an implicit full particle in cell simulation (PIC). We use a hybrid simulation where ions are full particles and electrons are considered as a fluid to start a full PIC simulation where electrons are also particles and follow their distribution function. This approach allows us to estimate the changes introduced by the electron kinetic physics. We find that the overall macroscopic state of the magnetosphere of Mercury is little affected but several physical processes are significantly modified in the full PIC simulation: the foreshock region is more active with more intense shock reformation, the Kelvin-Helmholtz rippling effects on the nightside magnetopause are sharper, and the magnetotail current sheet becomes thinner than those predicted by the hybrid simulation. The greatest effect of the electron physics, comes from the processes of particle energization. Both species, not just the electrons, are found to gain more energy when kinetic electron processes are taken into account. The region with the most energetic plasma is found on the dusk side of the tail where magnetic flux ropes are formed due to reconnection. We find that the ion and electron energization is associated with the regions of reconnection and the development of kinetic instabilities caused by counter-streaming electron populations. The resulting electron distributions are highly non Maxwellian, a process that neither MHD nor hybrid models can describe.


title: TableParser: Automatic Table Parsing with Weak Supervision from Spreadsheets

abstract: Tables have been an ever-existing structure to store data. There exist now different approaches to store tabular data physically. PDFs, images, spreadsheets, and CSVs are leading examples. Being able to parse table structures and extract content bounded by these structures is of high importance in many applications. In this paper, we devise TableParser, a system capable of parsing tables in both native PDFs and scanned images with high precision. We have conducted extensive experiments to show the efficacy of domain adaptation in developing such a tool. Moreover, we create TableAnnotator and ExcelAnnotator, which constitute a spreadsheet-based weak supervision mechanism and a pipeline to enable table parsing. We share these resources with the research community to facilitate further research in this interesting direction.


title: Time-dependent friction effects on vibrational infrared frequencies and line shapes of liquid water

abstract: From ab initio simulations of liquid water, the time-dependent friction functions and time-averaged non-linear effective bond potentials for the OH stretch and HOH bend vibrations are extracted. The obtained friction exhibits adiabatic contributions at and below the vibrational time scales, but also much slower non-adiabatic contributions, reflecting homogeneous and inhomogeneous line broadening mechanisms, respectively. Compared to the gas phase, hydration softens both stretch and bend potentials, which by itself would lead to a red-shift of the corresponding vibrational bands. In contrast, non-adiabatic friction contributions cause a spectral blue shift. For the stretch mode, the potential effect dominates and thus a significant red shift when going from gas to the liquid phase results. For the bend mode, potential and non-adiabatic friction effects are of comparable magnitude, so that a slight blue shift results, in agreement with well-known but puzzling experimental findings. The observed line broadening is shown to be roughly equally caused by adiabatic and non-adiabatic friction contributions for both, the stretch and bend modes in liquid water. Thus, the understanding of infrared vibrational frequencies and line shapes is considerably advanced by the quantitative analysis of the time-dependent friction that acts on vibrational modes in liquids.


title: High-Angular-Momentum Topological Superconductivity in the Largest-Angle Twisted Homo-bilayer Systems

abstract: We study the largest-angle twisted homo-bilayer (LA-THB) systems, hosting Moir\'eless quasi-crystal (QC) structure. We propose to use these materials to generate high-angular-momentum (HAM) topological superconductivities (TSCs) protected by their QC symmetries absent on conventional crystalline materials. This proposal is based on our universal Ginzburg-Landau theory based analysis which yields the general conclusion that, when each $D_n$-symmetric ($n$ is even) monolayer hosts SC with pairing angular momentum $l\le \frac{n}{2}$, the interlayer Josephson coupling will induce SC with pairing angular momentum $L=l$ or $L=n-l$ in the LA-THB, determined by microscopic details. The latter one is just the HAM TSC if $l>0$. Based on our revised perturbational-band theory, we develop general microscopic framework to study the QC LA-THBs involving electron-electron interactions, adopting which we study three examples, i.e. the 30$^\circ$- twisted bilayer graphene, the 30$^\circ$- twisted bilayer BC$_3$, and the 45$^\circ$- twisted bilayer cuprates. The $g+ig$- $h+ih$- and $d+id$- TSCs with HAM $L=4,5$ and $2$ can emerge in certain doping regimes in these systems, respectively.


title: Calculations of Delbr\"uck scattering to all orders in $\alpha Z$

abstract: We present a theoretical method to calculate Delbr\"uck scattering amplitudes. Our formalism is based on the exact analytical Dirac-Coulomb Green's function and, therefore, accounts for the interaction of the virtual electron-positron pair with the nucleus to all orders, including the Coulomb corrections. The numerical convergence of our calculations is accelerated by solving the radial integrals that are involved analytically in the asymptotic region. Numerical results for the collision of photons with energies 102.2 keV and 255.5 keV with bare neon and lead nuclei are compared with the predictions of the lowest-order Born approximation. We find that our method can produce accurate results within a reasonable computation time and that the Coulomb corrections enhance the absolute value of the Delbr\"uck amplitude by a few percent for the studied photon energies.


title: Systematic assessment of the quality of fit of the stochastic block model for empirical networks

abstract: We perform a systematic analysis of the quality of fit of the stochastic block model (SBM) for 275 empirical networks spanning a wide range of domains and orders of size magnitude. We employ posterior predictive model checking as a criterion to assess the quality of fit, which involves comparing networks generated by the inferred model with the empirical network, according to a set of network descriptors. We observe that the SBM is capable of providing an accurate description for the majority of networks considered, but falls short of saturating all modeling requirements. In particular, networks possessing a large diameter and slow-mixing random walks tend to be badly described by the SBM. However, contrary to what is often assumed, networks with a high abundance of triangles can be well described by the SBM in many cases. We demonstrate that simple network descriptors can be used to evaluate whether or not the SBM can provide a sufficiently accurate representation, potentially pointing to possible model extensions that can systematically improve the expressiveness of this class of models.

categories: physics.soc-ph physics.data-an stat.AP stat.ML


title: From the Ground Truth Up: Doing AI Ethics from Practice to Principles

abstract: Recent AI ethics has focused on applying abstract principles downward to practice. This paper moves in the other direction. Ethical insights are generated from the lived experiences of AI-designers working on tangible human problems, and then cycled upward to influence theoretical debates surrounding these questions: 1) Should AI as trustworthy be sought through explainability, or accurate performance? 2) Should AI be considered trustworthy at all, or is reliability a preferable aim? 3) Should AI ethics be oriented toward establishing protections for users, or toward catalyzing innovation? Specific answers are less significant than the larger demonstration that AI ethics is currently unbalanced toward theoretical principles, and will benefit from increased exposure to grounded practices and dilemmas.


title: Eyring-Kramers law for Fokker-Planck type differential operators

abstract: We consider Fokker-Planck type differential operators associated with general Langevin processes admitting a Gibbs stationary distribution. Under assumptions insuring suitable resolvent estimates, we prove Eyring-Kramers formulas for the bottom of the spectrum of these operators in the low temperature regime. Our approach is based on the construction of sharp Gaussian quasimodes which avoids supersymmetry or PT-symmetry assumptions.


title: Evaluation of Thermal Imaging on Embedded GPU Platforms for Application in Vehicular Assistance Systems

abstract: This study is focused on evaluating the real-time performance of thermal object detection for smart and safe vehicular systems by deploying the trained networks on GPU & single-board EDGE-GPU computing platforms for onboard automotive sensor suite testing. A novel large-scale thermal dataset comprising of > 35,000 distinct frames is acquired, processed, and open-sourced in challenging weather and environmental scenarios. The dataset is a recorded from lost-cost yet effective uncooled LWIR thermal camera, mounted stand-alone and on an electric vehicle to minimize mechanical vibrations. State-of-the-art YOLO-V5 networks variants are trained using four different public datasets as well newly acquired local dataset for optimal generalization of DNN by employing SGD optimizer. The effectiveness of trained networks is validated on extensive test data using various quantitative metrics which include precision, recall curve, mean average precision, and frames per second. The smaller network variant of YOLO is further optimized using TensorRT inference accelerator to explicitly boost the frames per second rate. Optimized network engine increases the frames per second rate by 3.5 times when testing on low power edge devices thus achieving 11 fps on Nvidia Jetson Nano and 60 fps on Nvidia Xavier NX development boards.


title: Path group actions induced by sigma-actions and affine Kac-Moody symmetric spaces of group type

abstract: In 1995, C.-L. Terng associated to each hyperpolar action on a compact symmetric space, a hyperpolar proper Fredholm (PF) action on a Hilbert space. This is a group action by an infinite dimensional path group and it acts on a Hilbert space via the gauge transformations. Those two hyperpolar actions are related through an equivariant Riemannian submersion called the parallel transport map and they have close relations to the infinite dimensional symmetric spaces called affine Kac-Moody symmetric spaces. In this paper we define a linear isomorphism between Hilbert spaces and show that it is equivariant with respect to the gauge transformations and is compatible with the parallel transport map. Using this isomorphism we extend and unify all known computational results of principal curvatures of PF submanifolds in Hilbert spaces. Especially we study the submanifold geometry of orbits of hyperpolar PF actions associated to sigma-actions and give new examples of austere PF submanifolds in Hilbert spaces. Moreover we show that the isomorphism between Hilbert spaces given here corresponds to a natural isomorphism between affine Kac-Moody symmetric spaces of group type.


title: Percent-level constraints on baryonic feedback with spectral distortion measurements

abstract: High-significance measurements of the monopole thermal Sunyaev-Zel'dovich CMB spectral distortions have the potential to tightly constrain poorly understood baryonic feedback processes. The sky-averaged Compton-y distortion and its relativistic correction are measures of the total thermal energy in electrons in the observable universe and their mean temperature. We use the CAMELS suite of hydrodynamic simulations to explore possible constraints on parameters describing the subgrid implementation of feedback from active galactic nuclei and supernovae, assuming a PIXIE-like measurement. The small 25 Mpc/h CAMELS boxes present challenges due to the significant cosmic variance. We utilize machine learning to construct interpolators through the noisy simulation data. Using the halo model, we translate the simulation halo mass functions into correction factors to reduce cosmic variance where required. Our results depend on the subgrid model. In the case of IllustrisTNG, we find that the best-determined parameter combination can be measured to ~2% and corresponds to a product of AGN and SN feedback. In the case of SIMBA, the tightest constraint is ~0.2% on a ratio between AGN and SN feedback. A second orthogonal parameter combination can be measured to ~8%. Our results demonstrate the significant constraining power a measurement of the late-time spectral distortion monopoles would have for baryonic feedback models.


title: Nonadiabatic coupled-qubit Otto cycle with bidirectional operation and efficiency gains

abstract: We study a quantum Otto cycle that uses a 2-qubit working substance whose Hamiltonian does not commute with itself at different times during unitary strokes. We investigate how the cycle responds to the loss of quantum adiabaticity when these strokes are operated with a finite duration. We find that qualitative features such as the possibility of counter-rotating cycles operating as heat engines, or a cycle efficiency that can increase with a decrease in the temperature difference between the baths, are resilient even to highly nonadiabatic strokes. However, cycle efficiency rapidly decreases, although it can still remain above the standard Otto value for small degrees of quantum nonadiabaticity.


title: Geometry of Points Satisfying Cayley-Bacharach Conditions and Applications

abstract: In this paper, we study the geometry of points in complex projective space that satisfy the Cayley-Bacharach condition with respect to the complete linear system of hypersurfaces of given degree. In particular, we improve a result by Lopez and Pirola and we show that, if $k\geq 1$ and $\Gamma =\{P_1,\dots,P_d\}\subset \mathbb{P}^n$ is a set of distinct points satisfying the Cayley-Bacharach condition with respect to $|\mathcal{O}_{\mathbb{P}^n}(k)|$, with $d\leq h(k-h+3)-1$ and $3\leq h\leq 5$, then $\Gamma$ lies on a curve of degree $h-1$. Then we apply this result to the study of linear series on curves on smooth surfaces in $\mathbb{P}^3$. Moreover, we discuss correspondences with null trace on smooth hypersurfaces of $\mathbb{P}^n$ and on codimension $2$ complete intersections.


title: Sample Efficient Deep Reinforcement Learning via Uncertainty Estimation

abstract: In model-free deep reinforcement learning (RL) algorithms, using noisy value estimates to supervise policy evaluation and optimization is detrimental to the sample efficiency. As this noise is heteroscedastic, its effects can be mitigated using uncertainty-based weights in the optimization process. Previous methods rely on sampled ensembles, which do not capture all aspects of uncertainty. We provide a systematic analysis of the sources of uncertainty in the noisy supervision that occurs in RL, and introduce inverse-variance RL, a Bayesian framework which combines probabilistic ensembles and Batch Inverse Variance weighting. We propose a method whereby two complementary uncertainty estimation methods account for both the Q-value and the environment stochasticity to better mitigate the negative impacts of noisy supervision. Our results show significant improvement in terms of sample efficiency on discrete and continuous control tasks.


title: Magnetoelectric classification of skyrmions

abstract: We develop a general theory to classify magnetic skyrmions and related spin textures in terms of their magnetoelectric multipoles. Since magnetic skyrmions are now established in insulating materials, where the magnetoelectric multipoles govern the linear magnetoelectric response, our classification provides a recipe for manipulating the magnetic properties of skyrmions using applied electric fields. We apply our formalism to skyrmions and anti-skyrmions of different helicities, as well as to magnetic bimerons, which are topologically, but not geometrically, equivalent to skyrmions. We show that the non-zero components of the magnetoelectric multipole and magnetoelectric response tensors are uniquely determined by the topology, helicity and geometry of the spin texture. Therefore, we propose straightforward linear magnetoelectric response measurements as an alternative to Lorentz microscopy for characterizing insulating skyrmionic textures.


title: Blankets, Heat, and Why Free Energy Has Not Illuminated the Workings of the Brain

abstract: What can we hope to learn about brains from the free energy principle? In adopting the "primordial soup" physical model, Bruineberg et al. perpetuate the unsupported notion that the free energy principle has a meaningful physical--and neuronal--interpretation. We examine how minimization of free energy arises in physical contexts, and what this can and cannot tell us about brains.


title: Using Deep Learning with Large Aggregated Datasets for COVID-19 Classification from Cough

abstract: The Covid-19 pandemic has been one of the most devastating events in recent history, claiming the lives of more than 5 million people worldwide. Even with the worldwide distribution of vaccines, there is an apparent need for affordable, reliable, and accessible screening techniques to serve parts of the World that do not have access to Western medicine. Artificial Intelligence can provide a solution utilizing cough sounds as a primary screening mode for COVID-19 diagnosis. This paper presents multiple models that have achieved relatively respectable performance on the largest evaluation dataset currently presented in academic literature. Through investigation of a self-supervised learning model (Area under the ROC curve, AUC = 0.807) and a convolutional nerual network (CNN) model (AUC = 0.802), we observe the possibility of model bias with limited datasets. Moreover, we observe that performance increases with training data size, showing the need for the worldwide collection of data to help combat the Covid-19 pandemic with non-traditional means.


title: Finite-Word Hyperlanguages

abstract: Formal languages are in the core of models of computation and their behavior. A rich family of models for many classes of languages have been widely studied. Hyperproperties lift conventional trace-based languages from a set of execution traces to a set of sets of executions. Hyperproperties have been shown to be a powerful formalism for expressing and reasoning about information-flow security policies and important properties of cyber-physical systems. Although there is an extensive body of work on formal-language representation of trace properties, we currently lack such a general characterization for hyperproperties. We introduce hyperlanguages over finite words and models for expressing them. Essentially, these models express multiple words by using assignments to quantified word variables. Relying on the standard models for regular languages, we propose hyperregular expressions and finite-word hyperautomata (NFH), for modeling the class of regular hyperlanguages. We demonstrate the ability of regular hyperlanguages to express hyperproperties for finite traces. We explore the closure properties and the complexity of the fundamental decision problems such as nonemptiness, universality, membership, and containment for various fragments of NFH.


title: Diffusion-mediated surface reactions, Brownian functionals and the Feynman-Kac formula

abstract: Many processes in cell biology involve diffusion in a domain $\Omega$ that contains a target $\calU$ whose boundary $\partial \calU$ is a chemically reactive surface. Such a target could represent a single reactive molecule, an intracellular compartment or a whole cell. Recently, a probabilistic framework for studying diffusion-mediated surface reactions has been developed that considers the joint probability density or propagator for the particle position and the so-called boundary local time. The latter characterizes the amount of time that a Brownian particle spends in the neighborhood of a point on a totally reflecting boundary. The effects of surface reactions are then incorporated via an appropriate stopping condition for the boundary local time. In this paper we generalize the theory of diffusion-mediated surface reactions to cases where the whole interior target domain $\calU$ acts as a partial absorber rather than the target boundary $\partial \calU$. Now the particle can freely enter and exit $\calU$, and is only able to react (be absorbed) within $\calU$. The appropriate Brownian functional is then the occupation time (accumulated time that the particle spends within $\calU$) rather than the boundary local time. We show that both cases can be considered within a unified framework by using a Feynman-Kac formula to derive a boundary value problem (BVP) for the propagator of the corresponding Brownian functional, and introducing an associated stopping condition. We illustrate the theory by calculating the mean first passage time (MFPT) for a spherical target $\calU$ located at the center of a spherical domain $\Omega$. This is achieved by solving the propagator BVP directly, rather than using spectral methods. We find that if the first moment of the stopping time density is infinite, then the MFPT is also infinite, that is, the spherical target is not sufficiently absorbing.


title: Robinson-Trautman spacetimes coupled to conformally invariant electrodynamics in higher dimensions

abstract: We summarize recent results on $D$-dimensional Robinson-Trautman solutions of Einstein's gravity in the presence of a conformally invariant non-linear electromagnetic field and a cosmological constant. These spacetimes contain static dyonic black holes with various horizon geometries and their time-dependent radiating generalizations, as well as a class of stealth solutions. Extensions to $f(R)$ and Gauss-Bonnet gravity are mentioned.


title: A stochastic particle system approximating the BGK equation

abstract: We consider a stochastic $N$-particle system on a torus in which each particle moving freely can instantaneously thermalize according to the particle configuration at that instant. Following [2], we show that the propagation of chaos does hold and that the one-particle distribution converges to the solution of the BGK equation. The improvement with respect to [2] consists in the fact that here, as suggested by physical considerations, the thermalizing transition is driven only by the restriction of the particle configuration in a small neighborhood of the jumping particle. In other words, the Maxwellian distribution of the outgoing particle is computed via the empirical hydrodynamical fields associated to the fraction of particles sufficiently close to the test particle and not, as in [2], via the whole particle configuration. [2]: arXiv:2002.10535 (Journal reference: Arch. Ration. Mech. Anal. Vol. 240 (2021), pp. 785-808)


title: On Unfolded Approach To Off-Shell Supersymmetric Models

abstract: We construct and analyze unfolded off-shell systems for chiral and vector supermultiplets using multispinor formalism and external currents. We find that auxiliary variables of multispinor formalism allow for the interesting reorganization of the unfolded off-shell modules: one can unify dynamical and auxiliary scalars in the Wess-Zumino model, as well as an auxiliary pseudoscalar and a zero-helicity subsector in the vector supermultiplet, so that the resulting unfolded equations get simplified, while various constraints like chirality, electric current conservation and P-oddness of the pseudoscalar can be formulated entirely in terms of these auxiliary variables.


title: The narrow capture problem: an encounter-based approach to partially reactive targets

abstract: A general topic of current interest is the analysis of diffusion problems in singularly perturbed domains with small interior targets or traps (the narrow capture problem). One major application is to intracellular diffusion, where the targets typically represent some form of reactive biochemical substrate. Most studies of the narrow capture problem treat the target boundaries as totally absorbing. In this paper, we analyze the three-dimensional narrow capture problem in the more realistic case of partially reactive target boundaries. We begin by considering classical Robin boundary conditions. Matching inner and outer solutions of the single-particle probability density, we derive an asymptotic expansion of the Laplace transformed flux into each reactive surface in powers of $\epsilon$, where $\epsilon \rho$ is a given target size. In turn, the fluxes determine the splitting probabilities for target absorption. We then extend our analysis to more general types of reactive targets by combining matched asymptotic analysis with an encounter-based formulation of diffusion-mediated surface reactions. That is, we derive an asymptotic expansion of the joint probability density for particle position and the boundary local time. The effects of surface reactions are then incorporated via an appropriate stopping condition for the boundary local time. Finally, we illustrate the theory by exploring how the leading-order contributions to the splitting probabilities depend on the choice of surface reactions. In particular, we show that there is an effective renormalization of the target radius of the form $\rho\rightarrow \rho-\widetilde{\Psi}(1/\rho)$, where $\widetilde{\Psi}$ is the Laplace transform of the stopping local time distribution.


title: Iterated Integrals and Multiple Polylogarithm at Algebraic Arguments

abstract: We give systematic method that can convert many values of multiple polylogarithm at algebraic arguments into colored multiple zeta values (CMZV). Moreover, a new method to generate nonstandard relations of CMZVs is discovered. Some applications to polylogarithm identities and infinite series are also mentioned.


title: A Versatile SPH Modeling Framework for Coupled Microfluid-Powder Dynamics in Additive Manufacturing: Binder Jetting, Material Jetting, Directed Energy Deposition and Powder Bed Fusion

abstract: Many additive manufacturing (AM) technologies rely on powder feedstock, which is fused to form the final part either by melting or by chemical binding with subsequent sintering. In both cases, process stability and resulting part quality depend on dynamic interactions between powder particles and a fluid phase, i.e., molten metal or liquid binder. The present work proposes a versatile computational modeling framework for simulating such coupled microfluid-powder dynamics problems involving thermo-capillary flow and reversible phase transitions. In particular, a liquid and a gas phase are interacting with a solid phase that consists of a substrate and mobile powder particles while simultaneously considering temperature-dependent surface tension and wetting effects. In case of laser-metal interactions, the effect of rapid evaporation is incorporated through additional mechanical and thermal interface fluxes. All phase domains are spatially discretized using smoothed particle hydrodynamics. The method's Lagrangian nature is beneficial in the context of dynamically changing interface topologies. Special care is taken in the formulation of phase transitions, which is crucial for the robustness of the computational scheme. While the underlying model equations are of a very general nature, the proposed framework is especially suitable for the mesoscale modeling of various AM processes. To this end, the generality and robustness of the computational modeling framework is demonstrated by several application-motivated examples representing the specific AM processes binder jetting, material jetting, directed energy deposition, and powder bed fusion. Among others, it is shown how the dynamic impact of droplets in binder jetting or the evaporation-induced recoil pressure in powder bed fusion leads to powder motion, distortion of the powder packing structure, and powder particle ejection.


title: Comparison of methods for the calculation of the real dilogarithm regarding instruction-level parallelism

abstract: We compare different methods for the computation of the real dilogarithm regarding their ability for using instruction-level parallelism when executed on appropriate CPUs. As a result we present an instruction-level-aware method and compare it to existing implementations.


title: Geometric Flow of Bubbles

abstract: In this work we derive a class of geometric flow equations for metric-scalar systems. Thereafter, we construct them from some general string frame action by performing volume-preserving fields variations and writing down the associated gradient flow equations. Then, we consider some specific realisations of the above procedure, applying the flow equations to non-trivial scalar bubble and metric bubble solutions, studying the subsequent flow behaviour.


title: Regret Lower Bounds for Learning Linear Quadratic Gaussian Systems

abstract: TWe establish regret lower bounds for adaptively controlling an unknown linear Gaussian system with quadratic costs. We combine ideas from experiment design, estimation theory and a perturbation bound of certain information matrices to derive regret lower bounds exhibiting scaling on the order of magnitude $\sqrt{T}$ in the time horizon $T$. Our bounds accurately capture the role of control-theoretic parameters and we are able to show that systems that are hard to control are also hard to learn to control; when instantiated to state feedback systems we recover the dimensional dependency of earlier work but with improved scaling with system-theoretic constants such as system costs and Gramians. Furthermore, we extend our results to a class of partially observed systems and demonstrate that systems with poor observability structure also are hard to learn to control.


title: Making Music Using Two Quantum Algorithms

abstract: This document explores how to make music using quantum computing algorithms. The text is an unedited pre-publication chapter which will appear in the book "Quantum Computer Music", Miranda, E. R. (Editor). This chapters provides the background and specific details of a collaboration formed in 2021 between the Quantum Engineering Technology Labs - a quantum computing and technology research group at the University of Bristol - and music artist, producer and audio engineer Simon Small. The goal of the collaboration was to explore how the data and concepts used in the research at the university could be `sonified' to create sounds or even make music.