title: The moduli stack of principal $\rho$-sheaves and Gieseker-Harder-Narasimhan filtrations

abstract: Let X be a smooth projective variety and let G be a connected reductive group, both defined over a field of characteristic 0. Given a faithful representation $\rho$ of G into a product of general linear groups, we define a moduli stack of principal $\rho$-sheaves that compactifies the stack of G-bundles on X. We apply the theory developed by Alper, Halpern-Leistner and Heinloth to construct a moduli space of Gieseker semistable principal $\rho$-sheaves. This provides an intrinsic stack-theoretic construction of the moduli space of semistable singular principal bundles as constructed by Schmitt and G\'omez-Langer-Schmitt-Sols. Our second main result is the definition of a schematic Gieseker-Harder-Narasimhan filtration for $\rho$-sheaves, which induces a stratification of the stack by locally closed substacks. This filtration for a general reductive group G is a refinement of the canonical slope parabolic reductions previously considered at the level of points by Anchouche-Azad-Biswas and as a stratification of the stack by Gurjar-Nitsure. In an appendix, we apply the same techniques to define Gieseker-Harder-Narasimhan filtrations in arbitrary characteristic and show that they induce a stratification of the stack by radicial morphisms.


title: Understanding the Limits of Unsupervised Domain Adaptation via Data Poisoning

abstract: Unsupervised domain adaptation (UDA) enables cross-domain learning without target domain labels by transferring knowledge from a labeled source domain whose distribution differs from that of the target. However, UDA is not always successful and several accounts of `negative transfer' have been reported in the literature. In this work, we prove a simple lower bound on the target domain error that complements the existing upper bound. Our bound shows the insufficiency of minimizing source domain error and marginal distribution mismatch for a guaranteed reduction in the target domain error, due to the possible increase of induced labeling function mismatch. This insufficiency is further illustrated through simple distributions for which the same UDA approach succeeds, fails, and may succeed or fail with an equal chance. Motivated from this, we propose novel data poisoning attacks to fool UDA methods into learning representations that produce large target domain errors. We evaluate the effect of these attacks on popular UDA methods using benchmark datasets where they have been previously shown to be successful. Our results show that poisoning can significantly decrease the target domain accuracy, dropping it to almost 0% in some cases, with the addition of only 10% poisoned data in the source domain. The failure of these UDA methods demonstrates their limitations at guaranteeing cross-domain generalization consistent with our lower bound. Thus, evaluating UDA methods in adversarial settings such as data poisoning provides a better sense of their robustness to data distributions unfavorable for UDA.


title: Likelihood-Free Frequentist Inference: Bridging Classical Statistics and Machine Learning for Reliable Simulator-Based Inference

abstract: Many areas of science make extensive use of computer simulators that implicitly encode intractable likelihood functions of complex systems. Classical statistical methods are poorly suited for these so-called likelihood-free inference (LFI) settings, especially outside asymptotic and low-dimensional regimes. At the same time, traditional LFI methods - such as Approximate Bayesian Computation or more recent machine learning techniques - do not guarantee confidence sets with nominal coverage in general settings (i.e., with high-dimensional data, finite sample sizes, and for any parameter value). In addition, there are no diagnostic tools to check the empirical coverage of confidence sets provided by such methods across the entire parameter space. In this work, we propose a unified and modular inference framework that bridges classical statistics and modern machine learning providing (i) a practical approach to the Neyman construction of confidence sets with frequentist finite-sample coverage for any value of the unknown parameters; and (ii) interpretable diagnostics that estimate the empirical coverage across the entire parameter space. We refer to the general framework as likelihood-free frequentist inference (LF2I). Any method that defines a test statistic can leverage LF2I to create valid confidence sets and diagnostics without costly Monte Carlo samples at fixed parameter settings. We study the power of two likelihood-based test statistics (ACORE and BFF) and demonstrate their empirical performance on high-dimensional, complex data. Code is available at https://github.com/lee-group-cmu/lf2i.


title: Structure Calculations Without Effective Interactions

abstract: Good approximate eigenstates of a Hamiltionian operator which poesses a point as well as a continuous spectrum have beeen obtained using the Lanczos algorithm. Iterating with the bare Hamiltonian operator yields spurious solutions which can easily be identified. The rms radius of the ground state eigenvector, for example, is calculated using the bare operator.


title: Balancing Higher Moments Matters for Causal Estimation: Further Context for the Results of Setodji et al. (2017)

abstract: We expand upon the simulation study of Setodji et al. (2017) which compared three promising balancing methods when assessing the average treatment effect on the treated for binary treatments: generalized boosted models (GBM), covariate-balancing propensity scores (CBPS), and entropy balance (EB). The study showed that GBM can outperform CBPS and EB when there are likely to be non-linear associations in both the treatment assignment and outcome models and CBPS and EB are fine-tuned to obtain balance only on first order moments. We explore the potential benefit of using higher-order moments in the balancing conditions for CBPS and EB. Our findings showcase that CBPS and EB should, by default, include higher order moments and that focusing only on first moments can result in substantial bias in both CBPS and EB estimated treatment effect estimates that could be avoided by the use of higher moments.


title: Optical reconstruction of collective density matrix of qutrit

abstract: Reconstruction of a quantum state is of prime importance for quantum-information science. Specifically, means of efficient determination of a state of atoms of room-temperature vapor may enable applications in quantum computations and cryptography. To step toward such applications, here we present a method of reconstruction of a collective density matrix of an atomic ensemble, consisting of atoms with an $F=1$ ground state. Such a long-lived state is often encountered in real systems (e.g., potassium, sodium, rubidium) and hence may be practically utilized. Our theoretical treatment enables derivation of explicit formulas relating optical signals (polarization rotation and ellipticity change) with specific density-matrix elements. The analysis are supported with numerical simulations, which allows to evaluate fidelity and robustness of the algorithm. The tests show that our algorithm allows to obtain the fidelity exceeded 0.95 even at noisy environment and/or significant atomic manipulation imperfections.


title: Smart Healthcare in the Age of AI: Recent Advances, Challenges, and Future Prospects

abstract: The significant increase in the number of individuals with chronic ailments (including the elderly and disabled) has dictated an urgent need for an innovative model for healthcare systems. The evolved model will be more personalized and less reliant on traditional brick-and-mortar healthcare institutions such as hospitals, nursing homes, and long-term healthcare centers. The smart healthcare system is a topic of recently growing interest and has become increasingly required due to major developments in modern technologies, especially in artificial intelligence (AI) and machine learning (ML). This paper is aimed to discuss the current state-of-the-art smart healthcare systems highlighting major areas like wearable and smartphone devices for health monitoring, machine learning for disease diagnosis, and the assistive frameworks, including social robots developed for the ambient assisted living environment. Additionally, the paper demonstrates software integration architectures that are very significant to create smart healthcare systems, integrating seamlessly the benefit of data analytics and other tools of AI. The explained developed systems focus on several facets: the contribution of each developed framework, the detailed working procedure, the performance as outcomes, and the comparative merits and limitations. The current research challenges with potential future directions are addressed to highlight the drawbacks of existing systems and the possible methods to introduce novel frameworks, respectively. This review aims at providing comprehensive insights into the recent developments of smart healthcare systems to equip experts to contribute to the field.


title: Analysis of geospatial behaviour of visitors of urban gardens: is positioning via smartphones a valid solution?

abstract: Tracking locations is practical and speditive with smartphones, as they are omnipresent devices, relatively cheap, and have the necessary sensors for positioning and networking integrated in the same box. Nowadays recent models have GNSS antennas capable of receiving multiple constellations. In the proposed work we test the hypothesis that GNSS positions directly recorded by smartphones can be a valid solution for spatial analysis of people's behaviour in an urban garden. Particular behaviours can be linked to therapeutic spots that promote health and well-being of visitors. Three parts are reported: (i) assessment of the accuracy of the positions relative to a reference track, (ii) implementation of a framework for automating transmission and processing of the location information, (iii) analysis of preferred spots via spatial analytics. Different devices were used to survey at different times and with different methods, i.e. in the pocket of the owner or on a rigid frame. Accuracy was estimated using distance of each located point to the reference track, and precision was estimated with static multiple measures. A chat-bot through the Telegram application was implemented to allow users to send their data to a centralized computing environment thus automating the spatial analysis. Results report a horizontal accuracy below ~2.3 m at 95% confidence level, without significant difference between surveys, and very little differences between devices. GNSS-only and assisted navigation with telephone cells also did not show significant difference. Autocorrelation of the residuals over time and space showed strong consistency of the residuals, thus proving a valid solution for spatial analysis of walking behaviour.


title: Measuring Financial Time Series Similarity With a View to Identifying Profitable Stock Market Opportunities

abstract: Forecasting stock returns is a challenging problem due to the highly stochastic nature of the market and the vast array of factors and events that can influence trading volume and prices. Nevertheless it has proven to be an attractive target for machine learning research because of the potential for even modest levels of prediction accuracy to deliver significant benefits. In this paper, we describe a case-based reasoning approach to predicting stock market returns using only historical pricing data. We argue that one of the impediments for case-based stock prediction has been the lack of a suitable similarity metric when it comes to identifying similar pricing histories as the basis for a future prediction -- traditional Euclidean and correlation based approaches are not effective for a variety of reasons -- and in this regard, a key contribution of this work is the development of a novel similarity metric for comparing historical pricing data. We demonstrate the benefits of this metric and the case-based approach in a real-world application in comparison to a variety of conventional benchmarks.


title: Steady azimuthal flow field induced by a rotating sphere near a rigid disk or inside a gap between two coaxially positioned rigid disks

abstract: Geometric confinements play an important role in many physical and biological processes and significantly affect the rheology and behavior of colloidal suspensions at low Reynolds numbers. On the basis of the linear Stokes equations, we investigate theoretically and computationally the viscous azimuthal flow induced by the slow rotation of a small spherical particle located in the vicinity of a rigid no-slip disk or inside a gap between two coaxially positioned rigid no-slip disks of the same radius. We formulate the solution of the hydrodynamic problem as a mixed-boundary-value problem in the whole fluid domain, which we subsequently transform into a system of dual integral equations. Near a stationary disk, we show that the resulting integral equation can be reduced into an elementary Abel integral equation that admits a unique analytical solution. Between two coaxially positioned stationary disks, we demonstrate that the flow problem can be transformed into a system of two Fredholm integral equations of the first kind. The latter are solved by means of numerical approaches. Using our solution, we further investigate the effect of the disks on the slow rotational motion of a colloidal particle and provide expressions of the hydrodynamic mobility as a function of the system geometry. We compare our results with corresponding finite-element simulations and observe very good agreement.


title: Nontrivial temperature dependence of magnetic anisotropy in multiferroics Ba$_2$MnGe$_2$O$_7$

abstract: We measured the temperature dependences of the static magnetization and the spin excitation in a square-lattice multiferroics Ba$_2$MnGe$_2$O$_7$. An anisotropy gap of the observed low energy mode is scaled by electric polarization rather than a power of sublattice moment. Spin nematic interaction in effective spin Hamiltonian, which is equivalent to interaction of electric polarization, is responsible for the easy-axis anisotropy. The nontrivial behavior of the anisotropy gap can be rationalized as change of the hybridized $d$-$p$ orbital with temperature, leading to the temperature dependence of the spin nematic interaction.


title: Achieving energy permutation of modes in the Schr\"odinger equation with moving Dirac potentials

abstract: In this work, we study the Schr\"odinger equation $i\partial_t\psi=-\Delta\psi+\eta(t)\sum_{j=1}^J\delta_{x=a_j(t)}\psi$ on $L^2((0,1),C)$ where $\eta:[0,T]\longrightarrow R^+$ and $a_j:[0,T]\longrightarrow (0,1)$, $j=1,...,J$. We show how to permute the energy associated to different eigenmodes of the Schr\"odinger equation via suitable choice of the functions $\eta$ and $a_j$. To the purpose, we mime the control processes introduced in [17] for a very similar equation where the Dirac potential is replaced by a smooth approximation supported in a neighborhood of $x=a(t)$. We also propose a Galerkin approximation that we prove to be convergent and illustrate the control process with some numerical simulations.


title: BF-QC: Belief Functions on Quantum Circuits

abstract: Dempster-Shafer Theory (DST) of belief function is a basic theory of artificial intelligence, which can represent the underlying knowledge more reasonably than Probability Theory (ProbT). Because of the computation complexity exploding exponentially with the increasing number of elements, the practical application scenarios of DST are limited. In this paper, we encode Basic Belief Assignments (BBA) into quantum superposition states and propose the implementation and operation methods of BBA on quantum circuits. We decrease the computation complexity of the matrix evolution on BBA (MEoB) on quantum circuits. Based on the MEoB, we realize the quantum belief functions' implementation, the similarity measurements of BBAs, evidence Combination Rules (CR), and probability transformation on quantum circuits.


title: The ion acoustic solitary waves in the four component complex plasma with a Cairns-Tsallis distribution

abstract: We study the ion acoustic solitary waves in the four-component complex plasma consisting of cold inertial ions, positrons, cold and hot (two-temperature) electrons, where the electrons and positrons are the Cairns-Tsallis distribution and have different nonthermal and nonextensive parameters. Base on the plasma hydrodynamic equations and Sagdeev pseudo-potential theory, we derive the conditions of the solitary waves to exist in the plasma, such as the Sagdeev pseudo-potential, the normalized electrostatic potential, the lower and upper limits of Mach number, and the compressive/rarefactive solitary wave. We show that, according to the present study, the solitary wave solutions exist only if the positrons are a Maxwellian distribution and the two-temperature electrons have the same nonextensive and nonthermal parameters. Numerical analyses are made for the conditions of solitary waves depending on the nonextensive and nonthermal parameters in the Cairns-Tsallis distribution.


title: Perfect Sampling for (Atomic) Lov\'asz Local Lemma

abstract: We give a Markov chain based perfect sampler for uniform sampling solutions of constraint satisfaction problems (CSP). Under some mild Lov\'asz local lemma conditions where each constraint of the CSP has a small number of forbidden local configurations, our algorithm is accurate and efficient: it outputs a perfect uniform random solution and its expected running time is quasilinear in the number of variables. Prior to our work, perfect samplers are only shown to exist for CSPs under much more restrictive conditions (Guo, Jerrum, and Liu, JACM'19). Our algorithm has two components: 1. A simple perfect sampling algorithm using bounding chains (Huber, STOC'98; Haggstrom and Nelander, Scandinavian Journal of Statistics'99). This sampler is efficient if each variable domain is small. 2. A simple but powerful state tensorization trick to reduce large domains to smaller ones. This trick is a generalization of state compression (Feng, He, and Yin, STOC'21). The crux of our analysis is a simple information percolation argument which allows us to achieve bounds even beyond current best approximate samplers (Jain, Pham, and Vuong, ArXiv'21). Previous related works either use intricate algorithms or need sophisticated analysis or even both. Thus we view the simplicity of both our algorithm and analysis as a strength of our work.


title: A Federated Semi-Supervised Learning Approach for Network Traffic Classification

abstract: Network traffic classification, a task to classify network traffic and identify its type, is the most fundamental step to improve network services and manage modern networks. Classical machine learning and deep learning method have developed well in the field of network traffic classification. However, there are still two major challenges. One is how to protect the privacy of users' traffic data, and the other is that it is difficult to obtain labeled data in reality. In this paper, we propose a novel approach using federated semi-supervised learning for network traffic classification. In our approach, the federated servers and several clients work together to train a global classification model. Among them, unlabeled data is used on the client, and labeled data is used on the server. Moreover, we use two traffic subflow sampling methods: simple sampling and incremental sampling for data preprocessing. The experimental results in the QUIC dataset show that the accuracy of our federated semi-supervised approach can reach 91.08% and 97.81% when using the simple sampling method and incremental sampling method respectively. The experimental results also show that the accuracy gap between our method and the centralized training method is minimal, and it can effectively protect users' privacy and does not require a large amount of labeled data.


title: PROSPECT-II Physics Opportunities

abstract: The Precision Reactor Oscillation and Spectrum Experiment, PROSPECT, has made world-leading measurements of reactor antineutrinos at short baselines. In its first phase, conducted at the High Flux Isotope Reactor (HFIR) at Oak Ridge National Laboratory, PROSPECT produced some of the strongest limits on eV-scale sterile neutrinos, made a precision measurement of the reactor antineutrino spectrum from $^{235}$U, and demonstrated the observation of reactor antineutrinos in an aboveground detector with good energy resolution and well-controlled backgrounds. The PROSPECT collaboration is now preparing an upgraded detector, PROSPECT-II, to probe yet unexplored parameter space for sterile neutrinos and contribute to a full resolution of the Reactor Antineutrino Anomaly, a longstanding puzzle in neutrino physics. By pressing forward on the world's most precise measurement of the $^{235}$U antineutrino spectrum and measuring the absolute flux of antineutrinos from $^{235}$U, PROSPECT-II will sharpen a tool with potential value for basic neutrino science, nuclear data validation, and nuclear security applications. Following a two-year deployment at HFIR, an additional PROSPECT-II deployment at a low enriched uranium reactor could make complementary measurements of the neutrino yield from other fission isotopes. PROSPECT-II provides a unique opportunity to continue the study of reactor antineutrinos at short baselines, taking advantage of demonstrated elements of the original PROSPECT design and close access to a highly enriched uranium reactor core.


title: On a generalized Central Limit Theorem and Large Deviations for Homogeneous Open Quantum Walks

abstract: We consider homogeneous open quantum random walks on a lattice with finite dimensional local Hilbert space and we study in particular the position process of the quantum trajectories of the walk. We prove that the properly rescaled position process asymptotically approaches a mixture of Gaussian measures. We can generalize the existing central limit type results and give more explicit expressions for the involved asymptotic quantities, dropping any additional condition on the walk. We use deformation and spectral techniques, together with reducibility properties of the local channel associated with the open quantum walk. Further, we can provide a large deviations' principle in the case of a fast recurrent local channel and at least lower and upper bounds in the general case.


title: Graph Neural Pre-training for Enhancing Recommendations using Side Information

abstract: Leveraging the side information associated with entities (i.e. users and items) to enhance the performance of recommendation systems has been widely recognized as an important modelling dimension. While many existing approaches focus on the integration scheme to incorporate entity side information -- by combining the recommendation loss function with an extra side information-aware loss -- in this paper, we propose instead a novel pre-training scheme for leveraging the side information. In particular, we first pre-train a representation model using the side information of the entities, and then fine-tune it using an existing general representation-based recommendation model. Specifically, we propose two pre-training models, named GCN-P and COM-P, by considering the entities and their relations constructed from side information as two different types of graphs respectively, to pre-train entity embeddings. For the GCN-P model, two single-relational graphs are constructed from all the users' and items' side information respectively, to pre-train entity representations by using the Graph Convolutional Networks. For the COM-P model, two multi-relational graphs are constructed to pre-train the entity representations by using the Composition-based Graph Convolutional Networks. An extensive evaluation of our pre-training models fine-tuned under four general representation-based recommender models, i.e. MF, NCF, NGCF and LightGCN, shows that effectively pre-training embeddings with both the user's and item's side information can significantly improve these original models in terms of both effectiveness and stability.


title: May I Take Your Order? On the Interplay Between Time and Order in Process Mining

abstract: Process mining starts from event data. The ordering of events is vital for the discovery of process models. However, the timestamps of events may be unreliable or imprecise. To further complicate matters, also causally unrelated events may be ordered in time. The fact that one event is followed by another does not imply that the former causes the latter. This paper explores the relationship between time and order. Moreover, it describes an approach to preprocess event data having timestamp-related problems. This approach avoids using accidental or unreliable orders and timestamps, creates partial orders to capture uncertainty, and allows for exploiting domain knowledge to (re)order events. Optionally, the approach also generates interleavings to be able to use existing process mining techniques that cannot handle partially ordered event data. The approach has been implemented using ProM and can be applied to any event log.


title: Approximately dual pairs of wavelet frames

abstract: This paper deals with structural issues concerning wavelet frames and their dual frames. It is known that there exist wavelet frames $\{a^{j/2}\psi( a^j\cdot -kb)\}_{j,k\in \mathbb Z}$ in $L^2(\mathbb R)$ for which no dual frame has wavelet structure. We first generalize this result by proving that there exist wavelet frames for which no approximately dual frame has wavelet structure. Motivated by this we show that by imposing a very mild decay condition on the Fourier transform of the generator $\psi\in L^2(\mathbb R),$ a certain oversampling $\{a^{j/2}\psi( a^j\cdot -kb/N)\}_{j,k\in \mathbb Z}$ indeed has an approximately dual wavelet frame; most importantly, by choosing the parameter $N\in \mathbb N$ sufficiently large we can get as close to perfect reconstruction as desired, which makes the approximate dual frame pairs perform equally well as the classical dual frame pairs in applications.


title: Numerical study of the microscopic structure of jammed systems: from inferring their dynamics to finite size scaling

abstract: In this thesis I present most of the results obtained during my PhD, where I worked on different subjects regarding jamming in systems of frictionless spheres. In particular, I focused on microscopic properties of jammed packings, such as the distribution of contact forces and interparticle gaps, as well as the single particle dynamics that occur near the jamming point. Several of these results have already been presented in Refs. [1,2], but here I include a more detailed analysis of some of them. Besides, all the results of the second chapter are new, even if related to such works.


title: Locally differentially private estimation of nonlinear functionals of discrete distributions

abstract: We study the problem of estimating non-linear functionals of discrete distributions in the context of local differential privacy. The initial data $x_1,\ldots,x_n \in [K]$ are supposed i.i.d. and distributed according to an unknown discrete distribution $p = (p_1,\ldots,p_K)$. Only $\alpha$-locally differentially private (LDP) samples $z_1,...,z_n$ are publicly available, where the term 'local' means that each $z_i$ is produced using one individual attribute $x_i$. We exhibit privacy mechanisms (PM) that are interactive (i.e. they are allowed to use already published confidential data) or non-interactive. We describe the behavior of the quadratic risk for estimating the power sum functional $F_{\gamma} = \sum_{k=1}^K p_k^{\gamma}$, $\gamma >0$ as a function of $K, \, n$ and $\alpha$. In the non-interactive case, we study two plug-in type estimators of $F_{\gamma}$, for all $\gamma >0$, that are similar to the MLE analyzed by Jiao et al. (2017) in the multinomial model. However, due to the privacy constraint the rates we attain are slower and similar to those obtained in the Gaussian model by Collier et al. (2020). In the interactive case, we introduce for all $\gamma >1$ a two-step procedure which attains the faster parametric rate $(n \alpha^2)^{-1/2}$ when $\gamma \geq 2$. We give lower bounds results over all $\alpha$-LDP mechanisms and all estimators using the private samples.


title: Zeroth order optimization with orthogonal random directions

abstract: We propose and analyze a randomized zeroth-order approach based on approximating the exact gradient byfinite differences computed in a set of orthogonal random directions that changes with each iteration. A number ofpreviously proposed methods are recovered as special cases including spherical smoothing, coordinate descent, as wellas discretized gradient descent. Our main contribution is proving convergence guarantees as well as convergence ratesunder different parameter choices and assumptions. In particular, we consider convex objectives, but also possiblynon-convex objectives satisfying the Polyak-{\L}ojasiewicz (PL) condition. Theoretical results are complemented andillustrated by numerical experiments.


title: Thermometry in dual quantum dot set-up with staircase ground state configuration

abstract: We propose and investigate thermometry of a setup employing dual quantum dots with staircase ground state configuration. The stair-case ground state configuration actuates thermally controlled inelastic tunnelling, which translates into a temperature sensitive conductance, thereby inducing thermometry. The performance of the set-up is then analyzed employing quantum master equation (QME) for such systems in the sequential tunnelling regime. In particular, it is demonstrated that the system performance, in terms of temperature sensitivity and efficiency, is maximum in the regime of low temperature, making such system suitable for cryogenic thermometry. The proposed set-up can pave the path towards realization of high performance cryogenic nano temperature sensors.


title: Deep learning the slow modes for rare events sampling

abstract: The development of enhanced sampling methods has greatly extended the scope of atomistic simulations, allowing long-time phenomena to be studied with accessible computational resources. Many such methods rely on the identification of an appropriate set of collective variables. These are meant to describe the system's modes that most slowly approach equilibrium. Once identified, the equilibration of these modes is accelerated by the enhanced sampling method of choice. An attractive way of determining the collective variables is to relate them to the eigenfunctions and eigenvalues of the transfer operator. Unfortunately, this requires knowing the long-term dynamics of the system beforehand, which is generally not available. However, we have recently shown that it is indeed possible to determine efficient collective variables starting from biased simulations. In this paper, we bring the power of machine learning and the efficiency of the recently developed on-the-fly probability enhanced sampling method to bear on this approach. The result is a powerful and robust algorithm that, given an initial enhanced sampling simulation performed with trial collective variables or generalized ensembles, extracts transfer operator eigenfunctions using a neural network ansatz and then accelerates them to promote sampling of rare events. To illustrate the generality of this approach we apply it to several systems, ranging from the conformational transition of a small molecule to the folding of a mini-protein and the study of materials crystallization.


title: Unveiling quantum entanglement in many-body systems from partial information

abstract: Quantum entanglement is commonly assumed to be a central resource for quantum computing and quantum simulation. Nonetheless, the capability to detect it in many-body systems is severely limited by the absence of sufficiently scalable and flexible certification tools. This issue is particularly critical in situations where the structure of entanglement is a priori unknown, and where one cannot rely on existing entanglement witnesses. Here, we implement a scheme in which the knowledge of the mean value of arbitrary observables can be used to probe multipartite entanglement in a scalable, certified and systematic manner. Specifically, we rely on positive semidefinite conditions, independent of partial-transposition-based criteria, necessarily obeyed if the data can be reproduced by a separable state. The violation of any of these conditions yields a specific entanglement witness, tailored to the data of interest, revealing the salient features of the data which are impossible to reproduce without entanglement. We validate this approach by probing theoretical many-body states of several hundreds of qubits relevant to existing experiments: a single-particle quench in a one-dimensional $XX$ chain; a many-body quench in a two-dimensional $XX$ model with $1/r^3$ interactions; and thermal equilibrium states of Heisenberg and transverse-field Ising chains. In all cases, these investigations have lead us to discover new entanglement witnesses, some of which could be characterized analytically, generalizing existing results in the literature. In summary, our paper introduces a flexible data-driven entanglement detection technique for uncharacterized quantum many-body states, of immediate relevance to experiments in a quantum advantage regime.


title: Non-Abelian Electric Field Correlator at NLO for Dark Matter Relic Abundance and Quarkonium Transport

abstract: We perform a complete next-to-leading order calculation of the non-Abelian electric field correlator in a SU($N_c$) plasma, which encodes properties of the plasma relevant for heavy particle bound state formation and dissociation, and is different from the correlator for the heavy quark diffusion coefficient. The calculation is carried out in the real-time formalism of thermal field theory and includes both vacuum and finite temperature contributions. By working in the $R_\xi$ gauge, we explicitly show the results are gauge independent, infrared and collinear safe. The renormalization group equation of this electric field correlator is determined by that of the strong coupling constant. Our next-to-leading order calculation can be directly applied to any dipole singlet-adjoint transition of heavy particle pairs. For example, it can be used to describe dissociation and (re)generation of heavy quarkonia inside the quark-gluon plasma well below the melting temperature, as well as heavy dark matter pairs (or charged co-annihilating partners) in the early universe.


title: Is the existence of a $J/\psi J/\psi$ bound state plausible?

abstract: In a recent measurement LHCb reported pronounced structures in the $J/\psi J/\psi$ spectrum. One of the various possible explanations of those is that they emerge from non-perturbative interactions of vector charmonia. It is thus important to understand whether it is possible to form a bound state of two charmonia interacting through the exchange of gluons, which hadronise into two pions at the longest distance. In this paper, we demonstrate that, given our current understanding of hadron-hadron interactions, the exchange of correlated light mesons (pions and kaons) is able to provide sizeable attraction to the di-$J/\psi$ system, and it is possible for two $J/\psi$ mesons to form a bound state. As a side result we find from an analysis of the data for the $\psi(2S)\to J/\psi \pi\pi$ transition including both $\pi\pi$ and $K\bar K$ final state interactions an improved value for the $\psi(2S)\to J/\psi$ transition chromo-electric polarisability: $|\alpha_{\psi(2S)J/\psi}|= (1.8\pm 0.1)~\mbox{GeV}^{-3}$, where the uncertainty also includes the one induced by the final state interactions.


title: HTCondor data movement at 100 Gbps

abstract: HTCondor is a major workload management system used in distributed high throughput computing (dHTC) environments, e.g., the Open Science Grid. One of the distinguishing features of HTCondor is the native support for data movement, allowing it to operate without a shared filesystem. Coupling data handling and compute scheduling is both convenient for users and allows for significant infrastructure flexibility but does introduce some limitations. The default HTCondor data transfer mechanism routes both the input and output data through the submission node, making it a potential bottleneck. In this document we show that by using a node equipped with a 100 Gbps network interface (NIC) HTCondor can serve data at up to 90 Gbps, which is sufficient for most current use cases, as it would saturate the border network links of most research universities at the time of writing.


title: Lower bounds on the error probability of multiple quantum channel discrimination by the Bures angle and the trace distance

abstract: Quantum channel discrimination is a fundamental problem in quantum information science. In this study, we consider general quantum channel discrimination problems, and derive the lower bounds of the error probability. Our lower bounds are based on the triangle inequalities of the Bures angle and the trace distance. As a consequence of the lower bound based on the Bures angle, we prove the optimality of Grover's search if the number of marked elements is fixed to some integer $\ell$. This result generalizes Zalka's result for $\ell=1$. We also present several numerical results in which our lower bounds based on the trace distance outperform recently obtained lower bounds.


title: Task Fingerprinting for Meta Learning in Biomedical Image Analysis

abstract: Shortage of annotated data is one of the greatest bottlenecks in biomedical image analysis. Meta learning studies how learning systems can increase in efficiency through experience and could thus evolve as an important concept to overcome data sparsity. However, the core capability of meta learning-based approaches is the identification of similar previous tasks given a new task - a challenge largely unexplored in the biomedical imaging domain. In this paper, we address the problem of quantifying task similarity with a concept that we refer to as task fingerprinting. The concept involves converting a given task, represented by imaging data and corresponding labels, to a fixed-length vector representation. In fingerprint space, different tasks can be directly compared irrespective of their data set sizes, types of labels or specific resolutions. An initial feasibility study in the field of surgical data science (SDS) with 26 classification tasks from various medical and non-medical domains suggests that task fingerprinting could be leveraged for both (1) selecting appropriate data sets for pretraining and (2) selecting appropriate architectures for a new task. Task fingerprinting could thus become an important tool for meta learning in SDS and other fields of biomedical image analysis.


title: Vector Space Morphology with Linear Discriminative Learning

abstract: This paper presents three case studies of modeling aspects of lexical processing with Linear Discriminative Learning (LDL), the computational engine of the Discriminative Lexicon model (Baayen et al., 2019). With numeric representations of word forms and meanings, LDL learns to map one vector space onto the other, without being informed about any morphological structure or inflectional classes. The modeling results demonstrated that LDL not only performs well for understanding and producing morphologically complex words, but also generates quantitative measures that are predictive for human behavioral data. LDL models are straightforward to implement with the JudiLing package (Luo et al., 2021). Worked examples are provided for three modeling challenges: producing and understanding Korean verb inflection, predicting primed Dutch lexical decision latencies, and predicting the acoustic duration of Mandarin words.


title: Dirac Masses and Mixings in the (geo)SM(EFT) and Beyond

abstract: We report a set of exact formulae for computing Dirac masses, mixings, and CP-violation parameter(s) from 3$\times$3 Yukawa matrices $Y$ valid when $Y Y^\dagger \rightarrow U^\dagger \,Y Y^\dagger \, U$ under global $U(3)_{Q_L}$ flavour symmetry transformations $U$. The results apply to the Standard Model Effective Field Theory (SMEFT) and its `geometric' realization (geoSMEFT). We thereby complete, in the Dirac flavour sector, the catalogue of geoSMEFT parameters derived at all orders in the $\sqrt{2 \langle H^\dagger H \rangle} / \Lambda$ expansion. The formalism is basis-independent, and can be applied to models with decoupled ultraviolet flavour dynamics, as well as to models whose infrared dynamics are not minimally flavour violating. We highlight these points with explicit examples and, as a further demonstration of the formalism's utility, we derive expressions for the renormalization group flow of quark masses, mixings, and CP-violation at all mass dimension and perturbative loop orders in the (geo)SM(EFT) and beyond.


title: Convection and rotation boosted prescription of magnetic braking: application to the formation of extremely low-mass white dwarfs

abstract: Extremely low-mass white dwarfs (ELM WDs) are the result of binary evolution in which a low-mass donor star is stripped by its companion leaving behind a helium-core white dwarf. We explore the formation of ELM WDs in binary systems considering the Convection And Rotation Boosted magnetic braking treatment. Our evolutionary sequences were calculated using the MESA code, with initial masses of 1.0 and 1.2 Msun (donor), and 1.4 (accretor), compatible with low mass X-ray binaries (LMXB) systems. We obtain ELM models in the range 0.15 to 0.27 Msun from a broad range of initial orbital periods, 1 to 25 d. The bifurcation period, where the initial period is equal to the final period, ranges from 20 to 25 days. In addition to LMXBs, we show that ultra-compact X-ray binaries (UCXB) and wide-orbit binary millisecond pulsars can also be formed. The relation between mass and orbital period obtained is compatible with the observational data from He white dwarf companions to pulsars.


title: Stochastic Navier-Stokes equations for turbulent flows in critical spaces

abstract: In this paper we study the stochastic Navier-Stokes equations on the $d$-dimensional torus with transport noise, which arise in the study of turbulent flows. Under very weak smoothness assumptions on the data we prove local well-posedness in the critical case $\mathbb{B}^{d/q-1}_{q,p}$ for $q\in [2,2d)$ and $p$ large enough. Moreover, we obtain new regularization results for solutions, and new blow-up criteria which can be seen as a stochastic version of the Serrin blow-up criteria. The latter is used to prove global well-posedness with high probability for small initial data in critical spaces in any dimensions $d\geq 2$. Moreover, for $d=2$, we obtain new global well-posedness results and regularization phenomena which unify and extend several earlier results.


title: Cyber Insurance Against Cyberattacks on Electric Vehicle Charging Stations

abstract: Cyberattacks in the energy sector are commonplace. Load-altering cyberattacks launched via the manipulations of high-wattage appliances and assets are particularly alarming, as they are not continuously monitored by electric power utilities. Public Electric Vehicle Charging Stations (EVCSs) are among such high-wattage assets. Even EVCSs monitored by the electric power utilities and protected by state-of-the-art defense mechanisms are vulnerable to cyberattacks. Such cyberattacks cause financial losses to the EVCSs. In this paper, we propose cyber insurance for EVCSs to hedge the economic loss due to such cyberattacks and develop a data-driven cyber insurance design model for public EVCSs. Under mild modeling assumptions, we derive an optimal cyber insurance premium. Then, we ensure the robustness of this optimal premium and investigate the risk of insuring the EVCSs using a suitable risk assessment metric (Conditional Value-at-Risk). A case study with data from EVCSs in Manhattan, New York illustrates our results. Our results demonstrate that risk assessment is crucial for designing insurance premiums. Furthermore, the premium increases in proportion to the loss coverage offered for the EVCSs. This work informs the stakeholders involved in the roll-out and operation of public EVCSs about the benefits of cyber insurance and suggests that insurance premiums can be reduced by deploying state-of-the-art defense mechanisms.


title: On Margins and Derandomisation in PAC-Bayes

abstract: We give a general recipe for derandomising PAC-Bayesian bounds using margins, with the critical ingredient being that our randomised predictions concentrate around some value. The tools we develop straightforwardly lead to margin bounds for various classifiers, including linear prediction -- a class that includes boosting and the support vector machine -- single-hidden-layer neural networks with an unusual \(\erf\) activation function, and deep ReLU networks. Further, we extend to partially-derandomised predictors where only some of the randomness is removed, letting us extend bounds to cases where the concentration properties of our predictors are otherwise poor.


title: The Alon-Jaeger-Tarsi conjecture via group ring identities

abstract: In this paper we resolve the Alon-Jaeger-Tarsi conjecture for sufficiently large primes. Namely, we show that for any finite field $\mathbb{F}$ of size $61<|\mathbb F|\ne 79$ and any nonsingular matrix $M$ over $\mathbb{F}$ there exists a vector $x$ such that neither $x$ nor $Ax$ has a 0 component.


title: Public preferences for marine plastic litter reductions across Europe

abstract: Plastic pollution is one of the most challenging problems affecting the marine environment of our time. Based on a unique dataset covering four European seas and eight European countries, this paper adds to the limited empirical evidence base related to the societal welfare effects of marine litter management. We use a discrete choice experiment to elicit public willingness-to-pay (WTP) for macro and micro plastic removal to achieve Good Environmental Status across European seas as required by the European Marine Strategy Framework Directive. Using a common valuation design and following best-practice guidelines, we draw meaningful comparisons between countries, seas and policy contexts. European citizens have strong preferences to improve the environmental status of the marine environment by removing both micro and macro plastic litter favouring a pan-European approach. However, public WTP estimates differ significantly across European countries and seas. We explain why and discuss implications for policymaking.


title: Fast accurate approximation of convolutions with weakly singular kernel and its applications

abstract: In this article, we present an $O(N \log N)$ rapidly convergent algorithm for the numerical approximation of the convolution integral with radially symmetric weakly singular kernels and compactly supported densities. To achieve the reduced computational complexity, we utilize the Fast Fourier Transform (FFT) on a uniform grid of size $N$ for approximating the convolution. To facilitate this and maintain the accuracy, we primarily rely on a periodic Fourier extension of the density with a suitably large period depending on the support of the density. The rate of convergence of the method increases with increasing smoothness of the periodic extension and, in fact, approximations exhibit super-algebraic convergence when the extension is infinitely differentiable. Furthermore, when the density has jump discontinuities, we utilize a certain Fourier smoothing technique to accelerate the convergence to achieve the quadratic rate in the overall approximation. Finally, we apply the integration scheme for numerical solution of certain partial differential equations. Moreover, we apply the quadrature to obtain a fast and high-order Nyst\"om solver for the solution of the Lippmann-Schwinger integral equation. We validate the performance of the proposed scheme in terms of accuracy as well as computational efficiency through a variety of numerical experiments.


title: Privacy Concerns in Chatbot Interactions: When to Trust and When to Worry

abstract: Through advances in their conversational abilities, chatbots have started to request and process an increasing variety of sensitive personal information. The accurate disclosure of sensitive information is essential where it is used to provide advice and support to users in the healthcare and finance sectors. In this study, we explore users' concerns regarding factors associated with the use of sensitive data by chatbot providers. We surveyed a representative sample of 491 British citizens. Our results show that the user concerns focus on deleting personal information and concerns about their data's inappropriate use. We also identified that individuals were concerned about losing control over their data after a conversation with conversational agents. We found no effect from a user's gender or education but did find an effect from the user's age, with those over 45 being more concerned than those under 45. We also considered the factors that engender trust in a chatbot. Our respondents' primary focus was on the chatbot's technical elements, with factors such as the response quality being identified as the most critical factor. We again found no effect from the user's gender or education level; however, when we considered some social factors (e.g. avatars or perceived 'friendliness'), we found those under 45 years old rated these as more important than those over 45. The paper concludes with a discussion of these results within the context of designing inclusive, digital systems that support a wide range of users.


title: Classification, potential role, and modeling of power-to-heat and thermal energy storage in energy systems: A review

abstract: Most of the power-to-heat and thermal energy storage technologies are mature and impact the European energy transition. However, detailed models of these technologies are usually very complex, making it challenging to implement them in large-scale energy models, where simplicity, e.g., linearity and appropriate accuracy, are desirable due to computational limitations. In the literature, the main power-to-heat and thermal energy storage technologies across all sectors have not been clearly identified and characterized. Their potential roles have not been fully discussed from the European perspective, and their mathematical modeling equations have not been presented in a compiled form. This paper contributes to the research gap in three main parts. First, it identifies and classifies the major power-to-heat and thermal energy storage technologies that are climate-neutral, efficient, and technologically matured to supplement or substitute the current fossil fuel-based heating. The second part presents the technology readiness levels of the identified technologies and discusses their potential role in a sustainable European energy system. The third part presents the mathematical modeling equations for the technologies in large-scale optimization energy models. We identified electric heat pumps, electric boilers, electric resistance heaters, and hybrid heating systems as the most promising power-to-heat options. We grouped the most promising thermal energy storage technologies under four major categories. Low-temperature electric heat pumps, electric boilers, electric resistance heaters, and sensible and latent heat storage show high technology readiness levels to facilitate a large share of the heat demand. Finally, the mathematical formulations capture the main effects of the identified technologies.


title: Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learning

abstract: Many goal-reaching reinforcement learning (RL) tasks have empirically verified that rewarding the agent on subgoals improves convergence speed and practical performance. We attempt to provide a theoretical framework to quantify the computational benefits of rewarding the completion of subgoals, in terms of the number of synchronous value iterations. In particular, we consider subgoals as one-way {\em intermediate states}, which can only be visited once per episode and propose two settings that consider these one-way intermediate states: the one-way single-path (OWSP) and the one-way multi-path (OWMP) settings. In both OWSP and OWMP settings, we demonstrate that adding {\em intermediate rewards} to subgoals is more computationally efficient than only rewarding the agent once it completes the goal of reaching a terminal state. We also reveal a trade-off between computational complexity and the pursuit of the shortest path in the OWMP setting: adding intermediate rewards significantly reduces the computational complexity of reaching the goal but the agent may not find the shortest path, whereas with sparse terminal rewards, the agent finds the shortest path at a significantly higher computational cost. We also corroborate our theoretical results with extensive experiments on the MiniGrid environments using Q-learning and some popular deep RL algorithms.


title: Revisiting the second-order convergence of the lattice Boltzmann method with reaction-type source terms

abstract: This study analyses a method to consistently recover the second-order convergence of the lattice Boltzmann method (LBM), which is frequently degraded by the improper discretisation of required source terms. The work focuses on advection-diffusion models in which the source terms are dependent on the intensity of transported fields. The main findings are applicable to a wide range of formulations within the LBM framework. All considered source terms are interpreted as contributions to the zeroth-moment of the distribution function. These account for sources in a scalar field, such as density, concentration or temperature. In addition to this, certain immersed boundary methods can be interpreted as a source term in their formulation, highlighting a further application for this work. This paper is dedicated to three aspects regarding proper inclusion of the source term in LBM schemes. Firstly, it identifies the differences observed between the ways source terms are included in the LBM schemes present in the literature. The algebraic manipulations are explicitly presented in this paper to clarify the differences observed, and identify their origin. Secondly, it analyses in full detail, the implicit relation between the value of the transported macroscopic field, and the sum of the LBM densities. Moreover, three equivalent forms of the collision operator are presented. Finally, closed-form solutions of this implicit relation are shown for a variety of common models. The second-order convergence of the proposed LBM schemes is verified on both linear and non-linear source terms. The pitfalls of the commonly used acoustic and diffusive scaling are identified and discussed. Moreover, for a simplified case, the competing errors are shown visually with isolines of error in the space of spatial and temporal resolutions.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Expanding IceCube GPU computing into the Clouds

abstract: The IceCube collaboration relies on GPU compute for many of its needs, including ray tracing simulation and machine learning activities. GPUs are however still a relatively scarce commodity in the scientific resource provider community, so we expanded the available resource pool with GPUs provisioned from the commercial Cloud providers. The provisioned resources were fully integrated into the normal IceCube workload management system through the Open Science Grid (OSG) infrastructure and used CloudBank for budget management. The result was an approximate doubling of GPU wall hours used by IceCube over a period of 2 weeks, adding over 3.1 fp32 EFLOP hours for a price tag of about $58k. This paper describes the setup used and the operational experience.


title: Enhancing Video Analytics Accuracy via Real-time Automated Camera Parameter Tuning

abstract: In Video Analytics Pipelines (VAP), Analytics Units (AUs) such as object detection and face recognition running on remote servers critically rely on surveillance cameras to capture high-quality video streams in order to achieve high accuracy. Modern IP cameras come with a large number of camera parameters that directly affect the quality of the video stream capture. While a few of such parameters, e.g., exposure, focus, white balance are automatically adjusted by the camera internally, the remaining ones are not. We denote such camera parameters as non-automated (NAUTO) parameters. In this paper, we first show that environmental condition changes can have significant adverse effect on the accuracy of insights from the AUs, but such adverse impact can potentially be mitigated by dynamically adjusting NAUTO camera parameters in response to changes in environmental conditions. We then present CamTuner, to our knowledge, the first framework that dynamically adapts NAUTO camera parameters to optimize the accuracy of AUs in a VAP in response to adverse changes in environmental conditions. CamTuner is based on SARSA reinforcement learning and it incorporates two novel components: a light-weight analytics quality estimator and a virtual camera that drastically speed up offline RL training. Our controlled experiments and real-world VAP deployment show that compared to a VAP using the default camera setting, CamTuner enhances VAP accuracy by detecting 15.9% additional persons and 2.6%-4.2% additional cars (without any false positives) in a large enterprise parking lot and 9.7% additional cars in a 5G smart traffic intersection scenario, which enables a new usecase of accurate and reliable automatic vehicle collision prediction (AVCP). CamTuner opens doors for new ways to significantly enhance video analytics accuracy beyond incremental improvements from refining deep-learning models.


title: Warm Magnets

abstract: Warm magnets are magnets that function in normal ambient temperature conditions. These types are mostly using a soft steel yoke for field amplification and either Copper or Aluminium coils or permanent magnets to generate the field. Magnets powered with such normal-conducting coils are often also called classical, iron dominated or resistive magnets. Since decades these types of magnets are the workhorse for most linear and circular accelerators and beam transfer lines.


title: DFTTK: Density Functional Theory ToolKit for High-throughput Lattice Dynamics Calculations

abstract: In this work, we present a software package in Python for high-throughput first-principles calculations of thermodynamic properties at finite temperatures, which we refer to as DFTTK (Density Functional Theory Tool Kit). DFTTK is based on the atomate package and integrates our experiences in the last decades on the development of theoretical methods and computational software. It includes task submissions on all major operating systems and task execution on high-performance computing environments. The distribution of the DFTTK package comes with examples of calculations of phonon density of states, heat capacity, entropy, enthalpy, and free energy under the quasi-harmonic phonon scheme for the stoichiometric phases of Al, Ni, Al3Ni, AlNi, AlNi3, Al3Ni4, and Al3Ni5, and the fcc solution phases treated using the special quasirandom structures at the compositions of Al3Ni, AlNi, and AlNi3.


title: Higher order Brezis-Nirenberg problem on hyperbolic spaces: Existence, nonexistence and symmetry of solutions

abstract: The main purpose of this paper is to establish the existence, nonexistence and symmetry of nontrivial solutions to the higher order Brezis-Nirenberg problems associated with the GJMS operators $P_k$ on bounded domains in the hyperbolic space $\mathbb{H}^n$ and as well as on the entire hyperbolic space $\mathbb{H}^n$. Among other techniques, one of our main novelties is to use crucially the Helgason-Fourier analysis on hyperbolic spaces and the higher order Hardy-Sobolev-Maz'ya inequalities and careful study of delicate properties of Green's functions of $P_k-\lambda$ on hyperbolic spaces which are of independent interests in dealing with such problems. Such Green's functions allow us to obtain the integral representations of solutions and thus to avoid using the maximum principle to establish the symmetry of solutions.


title: Metallization of colloidal crystals

abstract: Colloidal crystals formed by size-asymmetric binary particles co-assemble into a wide variety of colloidal compounds with lattices akin to ionic crystals. Recently, a transition from a compound phase with a sublattice of small particles to a metal-like phase in which the small particles are delocalized has been predicted computationally and observed experimentally. In this colloidal metallic phase, the small particles roam the crystal maintaining the integrity of the lattice of large particles, as electrons do in metals. A similar transition also occurs in superionic crystals, termed sublattice melting. Here, we use energetic principles and a generalized molecular dynamics model of a binary system of functionalized nanoparticles to analyze the transition to sublattice delocalization in different co-assembled crystal phases as a function of T, number of grafted chains on the small particles, and number ratio between the small and large particles $n_s$:$n_l$. We find that $n_s$:$n_l$ is the primary determinant of crystal type due to energetic interactions and interstitial site filling, while the number of grafted chains per small particle determines the stability of these crystals. We observe first-order sublattice delocalization transitions as T increases, in which the host lattice transforms from low- to high-symmetry crystal structures, including A20 to BCT to BCC, Ad to BCT to BCC, and BCC to BCC/FCC to FCC transitions and lattices. Analogous sublattice transitions driven primarily by lattice vibrations have been seen in some atomic materials exhibiting an insulator-metal transition also referred to as metallization. We also find minima in the lattice vibrations and diffusion coefficient of small particles as a function of $n_s$:$n_l$, indicating enhanced stability of certain crystal structures for $n_s$:$n_l$ values that form compounds.


title: Study of Block Diagonalization Precoding and Power Allocation for Multiple-Antenna Systems with Coarsely Quantized Signals

abstract: In this work, we present block diagonalization and power allocation algorithms for large-scale multiple-antenna systems with coarsely quantized signals. In particular, we develop Coarse Quantization-Aware Block Diagonalization ${\scriptstyle\mathrm{\left(CQA-BD\right)}}$ and Coarse Quantization-Aware Regularized Block Diagonalization ${\scriptstyle\mathrm{\left(CQA-RBD\right)}}$ precoding algorithms that employ the Bussgang decomposition and can mitigate the effects of low-resolution signals and interference. Moreover, we also devise the Coarse Quantization-Aware Most Advantageous Allocation Strategy ${\scriptstyle\mathrm{\left(CQA-MAAS\right)}}$ power allocation algorithm to improve the sum rate of precoders that operate with low-resolution signals. An analysis of the sum-rate performance is carried out along with computational complexity and power consumption studies of the proposed and existing techniques. Simulation results illustrate the performance of the proposed ${\scriptstyle\mathrm{CQA-BD}}$ and ${\scriptstyle\mathrm{CQA-RBD}}$ precoding algorithms, and the proposed ${\scriptstyle\mathrm{CQA-MAAS}}$ power allocation strategy against existing approaches.


title: Cascaded Complementary Filter Architecture for Sensor Fusion in Attitude Estimation

abstract: Attitude estimation is the process of computing the orientation angles of an object with respect to a fixed frame of reference. Gyroscope, accelerometer, and magnetometer are some of the fundamental sensors used in attitude estimation. The orientation angles computed from these sensors are combined using the sensor fusion methodologies to obtain accurate estimates. The complementary filter is one of the widely adopted techniques whose performance is highly dependent on the appropriate selection of its gain parameters. This paper presents a novel cascaded architecture of the complementary filter that employs a nonlinear and linear version of the complementary filter within one framework. The nonlinear version is used to correct the gyroscope bias, while the linear version estimates the attitude angle. The significant advantage of the proposed architecture is its independence of the filter parameters, thereby avoiding tuning the filters gain parameters. The proposed architecture does not require any mathematical modeling of the system and is computationally inexpensive. The proposed methodology is applied to the real-world datasets, and the estimation results were found to be promising compared to the other state-of-the-art algorithms.


title: The classical mean negative asynchrony in sensorimotor synchronization is not universal in humans. A cross-cultural study

abstract: The present study examines to what extent cultural background determines sensorimotor synchronization in humans


title: Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic

abstract: It is known that not only classical semantics but also intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth tables, or truth functions. In our previous work, it has been shown that the set of Kripke-valid propositional sequents and that of classically valid propositional sequents coincide if and only if all available propositional connectives are monotonic. The present paper extend this result to frst-order logic showing that, in the case of predicate logic, the condition that all available propositional connectives are monotonic is a necessary and sufficient condition for the set of sequents valid in all constant domain Kripke models, not the set of Kripke-valid sequents, and the set of classically valid sequents to coincide.


title: Three-body dynamics of the $a_1(1260)$ resonance from lattice QCD

abstract: Resonant hadronic systems often exhibit a complicated decay pattern in which three-body dynamics play a relevant or even dominant role. In this work we focus on the $a_1(1260)$ resonance. For the first time, the pole position and branching ratios of a three-body resonance are calculated from lattice QCD using one-, two-, and three-meson interpolators and a three-body finite-volume formalism extended to spin and coupled channels. This marks a new milestone for ab-initio studies of ordinary resonances along with hybrid and exotic hadrons involving three-body dynamics.


title: Offline Meta-Reinforcement Learning with Online Self-Supervision

abstract: Meta-reinforcement learning (RL) methods can meta-train policies that adapt to new tasks with orders of magnitude less data than standard RL, but meta-training itself is costly and time-consuming. If we can meta-train on offline data, then we can reuse the same static dataset, labeled once with rewards for different tasks, to meta-train policies that adapt to a variety of new tasks at meta-test time. Although this capability would make meta-RL a practical tool for real-world use, offline meta-RL presents additional challenges beyond online meta-RL or standard offline RL settings. Meta-RL learns an exploration strategy that collects data for adapting, and also meta-trains a policy that quickly adapts to data from a new task. Since this policy was meta-trained on a fixed, offline dataset, it might behave unpredictably when adapting to data collected by the learned exploration strategy, which differs systematically from the offline data and thus induces distributional shift. We propose a hybrid offline meta-RL algorithm, which uses offline data with rewards to meta-train an adaptive policy, and then collects additional unsupervised online data, without any reward labels to bridge this distribution shift. By not requiring reward labels for online collection, this data can be much cheaper to collect. We compare our method to prior work on offline meta-RL on simulated robot locomotion and manipulation tasks and find that using additional unsupervised online data collection leads to a dramatic improvement in the adaptive capabilities of the meta-trained policies, matching the performance of fully online meta-RL on a range of challenging domains that require generalization to new tasks.


title: Compressibility Analysis of Asymptotically Mean Stationary Processes

abstract: This work provides new results for the analysis of random sequences in terms of $\ell_p$-compressibility. The results characterize the degree in which a random sequence can be approximated by its best $k$-sparse version under different rates of significant coefficients (compressibility analysis). In particular, the notion of strong $\ell_p$-characterization is introduced to denote a random sequence that has a well-defined asymptotic limit (sample-wise) of its best $k$-term approximation error when a fixed rate of significant coefficients is considered (fixed-rate analysis). The main theorem of this work shows that the rich family of asymptotically mean stationary (AMS) processes has a strong $\ell_p$-characterization. Furthermore, we present results that characterize and analyze the $\ell_p$-approximation error function for this family of processes. Adding ergodicity in the analysis of AMS processes, we introduce a theorem demonstrating that the approximation error function is constant and determined in closed-form by the stationary mean of the process. Our results and analyses contribute to the theory and understanding of discrete-time sparse processes and, on the technical side, confirm how instrumental the point-wise ergodic theorem is to determine the compressibility expression of discrete-time processes even when stationarity and ergodicity assumptions are relaxed.


title: Automorphisms of semidirect products fixing the non-normal subgroup

abstract: In this paper, we describe the automorphism group of semidirect product of two groups that fixes the non-normal subgroup of it. We have computed these automorphisms for the non-abelian metacyclic $p$-group and non-abelian $p$-groups $(p\ge 5)$ of order $p^{4}$, where $p$ is a prime.


title: Low-regularity Seiberg-Witten moduli spaces on manifolds with boundary

abstract: For a compact spinc manifold $X$ with boundary $b_1(\partial X)=0$, we consider moduli spaces of solutions to the Seiberg-Witten equations in a generalized double Coulomb slice in $L^2_1$ (i.e., $W^{1,2}$) Sobolev regularity. We prove they are Hilbert manifolds, prove denseness and "semi-infinite-dimensionality" properties of the restriction to $\partial X$, and establish a gluing theorem. To achieve these, we prove a general regularity theorem and a strong unique continuation principle for Dirac operators, and smoothness of a restriction map to configurations of higher regularity on the interior, all of which are of independent interest.


title: Modeling coexisting GSF and shear instabilities in rotating stars

abstract: Zahn's widely-used model for turbulent mixing induced by rotational shear has recently been validated (with some caveats) in non-rotating shear flows. It is not clear, however, whether his model remains valid in the presence of rotation, even though this was its original purpose. Furthermore, new instabilities arise in rotating fluids, such as the Goldreich-Schubert-Fricke (GSF) instability. Which instability dominates when more than one can be excited, and how they influence each other, were open questions that this paper answers. To do so, we use direct numerical simulations of diffusive stratified shear flows in a rotating triply-periodic Cartesian domain located at the equator of a star. We find that either the GSF instability or the shear instability tends to take over the other in controlling the system, suggesting that stellar evolution models only need to have a mixing prescription for each individual instability, together with a criterion to determine which one dominates. However, we also find that it is not always easy to predict which instability "wins" for given input parameters, because the diffusive shear instability is subcritical, and only takes place if there is a finite-amplitude turbulence ``primer'' to seed it. Interestingly, we find that the GSF instability can in some cases play the role of this primer, thereby providing a pathway to excite the subcritical shear instability. This can also drive relaxation oscillations, that may be observable. We conclude by proposing a new model for mixing in the equatorial regions of stellar radiative zones due to differential rotation.


title: On the Selection of Loss Severity Distributions to Model Operational Risk

abstract: Accurate modeling of operational risk is important for a bank and the finance industry as a whole to prepare for potentially catastrophic losses. One approach to modeling operational is the loss distribution approach, which requires a bank to group operational losses into risk categories and select a loss frequency and severity distribution for each category. This approach estimates the annual operational loss distribution, and a bank must set aside capital, called regulatory capital, equal to the 0.999 quantile of this estimated distribution. In practice, this approach may produce unstable regulatory capital calculations from year-to-year as selected loss severity distribution families change. This paper presents truncation probability estimates for loss severity data and a consistent quantile scoring function on annual loss data as useful severity distribution selection criteria that may lead to more stable regulatory capital. Additionally, the Sinh-arcSinh distribution is another flexible candidate family for modeling loss severities that can be easily estimated using the maximum likelihood approach. Finally, we recommend that loss frequencies below the minimum reporting threshold be collected so that loss severity data can be treated as censored data.


title: The ideal intersection property for essential groupoid C*-algebras

abstract: We characterise, in several complementary ways, \'etale groupoids with locally compact Hausdorff space of units whose essential groupoid C*-algebra has the ideal intersection property, assuming that the groupoid is either Hausdorff or $\sigma$-compact. This leads directly to a characterisation of the simplicity of this C*-algebra which, for Hausdorff groupoids, agrees with the reduced groupoid C*-algebra. Specifically, we prove that the ideal intersection property is equivalent to the absence of essentially confined amenable sections of isotropy groups. For groupoids with compact space of units we moreover show that this is equivalent to the uniqueness of equivariant pseudo-expectations. A key technical idea underlying our results is a new notion of groupoid action on C*-algebras including the essential groupoid C*-algebra itself. For minimal groupoids, we further obtain a relative version of Powers averaging property. Examples arise from suitable group representations into simple groupoid C*-algebras. This is illustrated by the example of the quasi-regular representation of Thompson's group $\mathrm{T}$ with respect to Thompson's group $\mathrm{F}$, which satisfies the relative Powers averaging property in the Cuntz algebra $\mathcal{O}_2$.


title: Phase transition dynamics in the three-dimensional field-free $\pm J$ Ising model

abstract: By using frustration-preserving hard-spin mean-field theory, we investigated the phase transition dynamics in the three-dimensional field-free $\pm J$ Ising spin glass model. As the temperature $T$ is decreased from paramagnetic phase at high temperatures, with a rate $\omega=-dT/dt$ in time $t$, the critical temperature depends on the cooling rate through a clear power-law $\omega^a$. With increasing antiferromagnetic bond fraction $p$, the exponent $a$ increases for the transition into the ferromagnetic case for $p<p_\text{c}$, and decreases for the transition into the spin glass phase for $p>p_\text{c}$, signaling the ferromagnetic-spin glass phase transition at $p_\text{c}\approx0.22$. The relaxation time is also investigated, at adiabatic case $\omega=0$, and it is found that the dynamic exponent $z\nu$ increases with increasing $p$.


title: The Schwinger action principle for classical systems

abstract: We use the Schwinger action principle to obtain the equations of motion in the Koopman-von Neumann operational version of classical mechanics. We restrict our analysis to non-dissipative systems. We show that the Schwinger action principle can be interpreted as a variational principle for velocity-independent forces.


title: EEG-ConvTransformer for Single-Trial EEG based Visual Stimuli Classification

abstract: Different categories of visual stimuli activate different responses in the human brain. These signals can be captured with EEG for utilization in applications such as Brain-Computer Interface (BCI). However, accurate classification of single-trial data is challenging due to low signal-to-noise ratio of EEG. This work introduces an EEG-ConvTranformer network that is based on multi-headed self-attention. Unlike other transformers, the model incorporates self-attention to capture inter-region interactions. It further extends to adjunct convolutional filters with multi-head attention as a single module to learn temporal patterns. Experimental results demonstrate that EEG-ConvTransformer achieves improved classification accuracy over the state-of-the-art techniques across five different visual stimuli classification tasks. Finally, quantitative analysis of inter-head diversity also shows low similarity in representational subspaces, emphasizing the implicit diversity of multi-head attention.


title: Generalising Projection in Asynchronous Multiparty Session Types

abstract: Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying message passing software systems. In the theory of MSTs, a global type specifies the interaction among the roles at the global level. A local specification for each role is generated by projecting from the global type on to the message exchanges it participates in. Whenever a global type can be projected on to each role, the composition of the projections is deadlock free and has exactly the behaviours specified by the global type. The key to the usability of MSTs is the projection operation: a more expressive projection allows more systems to be type-checked but requires a more difficult soundness argument. In this paper, we generalise the standard projection operation in MSTs. This allows us to model and type-check many design patterns in distributed systems, such as load balancing, that are rejected by the standard projection. The key to the new projection is an analysis that tracks causality between messages. Our soundness proof uses novel graph-theoretic techniques from the theory of message-sequence charts. We demonstrate the efficacy of the new projection operation by showing many global types for common patterns that can be projected under our projection but not under the standard projection operation.


title: Comparing Supervised Models And Learned Speech Representations For Classifying Intelligibility Of Disordered Speech On Selected Phrases

abstract: Automatic classification of disordered speech can provide an objective tool for identifying the presence and severity of speech impairment. Classification approaches can also help identify hard-to-recognize speech samples to teach ASR systems about the variable manifestations of impaired speech. Here, we develop and compare different deep learning techniques to classify the intelligibility of disordered speech on selected phrases. We collected samples from a diverse set of 661 speakers with a variety of self-reported disorders speaking 29 words or phrases, which were rated by speech-language pathologists for their overall intelligibility using a five-point Likert scale. We then evaluated classifiers developed using 3 approaches: (1) a convolutional neural network (CNN) trained for the task, (2) classifiers trained on non-semantic speech representations from CNNs that used an unsupervised objective [1], and (3) classifiers trained on the acoustic (encoder) embeddings from an ASR system trained on typical speech [2]. We found that the ASR encoder's embeddings considerably outperform the other two on detecting and classifying disordered speech. Further analysis shows that the ASR embeddings cluster speech by the spoken phrase, while the non-semantic embeddings cluster speech by speaker. Also, longer phrases are more indicative of intelligibility deficits than single words.


title: Dynamical second-order noise sweetspots in resonantly driven spin qubits

abstract: Quantum dot-based quantum computation employs extensively the exchange interaction between nearby electronic spins in order to manipulate and couple different qubits. The exchange interaction, however, couples the qubit states to charge noise, which reduces the fidelity of the quantum gates that employ it. The effect of charge noise can be mitigated by working at noise sweetspots in which the sensitivity to charge variations is reduced. In this work we study the response to charge noise of a double quantum dot based qubit in the presence of ac gates, with arbitrary driving amplitudes, applied either to the dot levels or to the tunneling barrier. Tuning with an ac driving allows to manipulate the sign and strength of the exchange interaction as well as its coupling to environmental electric noise. Moreover, we show the possibility of inducing a second-order sweetspot in the resonant spin-triplet qubit in which the dephasing time is significantly increased.


title: Atlas-Based Segmentation of Intracochlear Anatomy in Metal Artifact Affected CT Images of the Ear with Co-trained Deep Neural Networks

abstract: We propose an atlas-based method to segment the intracochlear anatomy (ICA) in the post-implantation CT (Post-CT) images of cochlear implant (CI) recipients that preserves the point-to-point correspondence between the meshes in the atlas and the segmented volumes. To solve this problem, which is challenging because of the strong artifacts produced by the implant, we use a pair of co-trained deep networks that generate dense deformation fields (DDFs) in opposite directions. One network is tasked with registering an atlas image to the Post-CT images and the other network is tasked with registering the Post-CT images to the atlas image. The networks are trained using loss functions based on voxel-wise labels, image content, fiducial registration error, and cycle-consistency constraint. The segmentation of the ICA in the Post-CT images is subsequently obtained by transferring the predefined segmentation meshes of the ICA in the atlas image to the Post-CT images using the corresponding DDFs generated by the trained registration networks. Our model can learn the underlying geometric features of the ICA even though they are obscured by the metal artifacts. We show that our end-to-end network produces results that are comparable to the current state of the art (SOTA) that relies on a two-steps approach that first uses conditional generative adversarial networks to synthesize artifact-free images from the Post-CT images and then uses an active shape model-based method to segment the ICA in the synthetic images. Our method requires a fraction of the time needed by the SOTA, which is important for end-user acceptance.


title: Longitudinal Study of an IP Geolocation Database

abstract: IP geolocation - the process of mapping network identifiers to physical locations - has myriad applications. We examine a large collection of snapshots from a popular geolocation database and take a first look at its longitudinal properties. We define metrics of IP geo-persistence, prevalence, coverage, and movement, and analyse 10 years of geolocation data at different location granularities. Across different classes of IP addresses, we find that significant location differences can exist even between successive instances of the database - a previously underappreciated source of potential error when using geolocation data: 47% of end users IP addresses move by more than 40 km in 2019. To assess the sensitivity of research results to the instance of the geo database, we reproduce prior research that depended on geolocation lookups. In this case study, which analyses geolocation database performance on routers, we demonstrate impact of these temporal effects: median distance from ground truth shifted from 167 km to 40 km when using a two months apart snapshot. Based on our findings, we make recommendations for best practices when using geolocation databases in order to best encourage reproducibility and sound measurement.


title: Cuplength estimates for periodic solutions of Hamiltonian particle-field systems

abstract: We consider a natural class of time-periodic infinite-dimensional nonlinear Hamiltonian systems modelling the interaction of a classical mechanical system of particles with a scalar wave field. When the field is defined on a space torus $\mathbb{T}^d=\mathbb{R}^d/(2\pi\mathbb{Z})^d$ and the coordinates of the particles are constrained to a submanifold $Q\subset\mathbb{T}^d$, we prove that the number of $T$-periodic solutions of the coupled Hamiltonian particle-field system is bounded from below by the $\mathbb{Z}_2$-cuplength of the space of contractible loops in $Q$, provided that the square of the ratio $T/2\pi$ of time period $T$ and space period $X=2\pi$ is a Diophantine irrational number. The latter condition is necessary since for the infinite-dimensional version of Gromov-Floer compactness as well as for the $C^0$-bounds we need to deal with small divisors.


title: Classification of 7-dimensional solvable Lie algebras having 5-dimensional nilradicals

abstract: This paper presents a classification of 7-dimensional real and complex indecomposable solvable Lie algebras having some 5-dimensional nilradicals. Afterwards, we combine our results with those of Rubin and Winternitz (1993), Ndogmo and Winternitz (1994), Snobl and Winternitz (2005, 2009), Snobl and Kar\'asek (2010) to obtain a complete classification of 7-dimensional real and complex indecomposable solvable Lie algebras with 5-dimensional nilradicals. In association with Gong (1998), Parry (2007), Hindeleh and Thompson (2008), we achieve a classification of 7-dimensional real and complex indecomposable solvable Lie algebras.


title: On the Quot scheme $\mathrm{Quot}^{l}_{S}(\mathcal{E})$

abstract: We study the geometry of the Quot scheme $\mathrm{Quot}^l_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of a locally free sheaf $\mathcal{E}$ on a smooth projective surface. In particular, we investigate the nature of its singularities, its intersection theory, and the cohomology of sheaves on $\mathrm{Quot}^l_{S}(\mathcal{E})$.


title: A Long Short-Term Memory for AI Applications in Spike-based Neuromorphic Hardware

abstract: Spike-based neuromorphic hardware holds the promise to provide more energy efficient implementations of Deep Neural Networks (DNNs) than standard hardware such as GPUs. But this requires to understand how DNNs can be emulated in an event-based sparse firing regime, since otherwise the energy-advantage gets lost. In particular, DNNs that solve sequence processing tasks typically employ Long Short-Term Memory (LSTM) units that are hard to emulate with few spikes. We show that a facet of many biological neurons, slow after-hyperpolarizing (AHP) currents after each spike, provides an efficient solution. AHP-currents can easily be implemented in neuromorphic hardware that supports multi-compartment neuron models, such as Intel's Loihi chip. Filter approximation theory explains why AHP-neurons can emulate the function of LSTM units. This yields a highly energy-efficient approach to time series classification. Furthermore it provides the basis for implementing with very sparse firing an important class of large DNNs that extract relations between words and sentences in a text in order to answer questions about the text.


title: Charged Higgs Prospects In Extended Gauge Models

abstract: In this paper, we explore the collider phenomenology of the charged Higgs boson in the context of a generic Beyond Standard Model scenario with extended gauge and scalar sectors. In such scenarios, the charged Higgs boson can decay via the $W^{'}Z/ WZ^{'}$ channels. We formulate a search strategy for the $H^{\pm}$ in the channel $\sigma(g b \rightarrow H^{\pm}t)\mathcal{BR}(H^{\pm} \rightarrow W' Z)$ considering the interesting cascade decay chain $H^{\pm} \rightarrow W^{'} Z \rightarrow W^{\pm} Z Z$. We find that the charged Higgs can be discovered in final states with multiple hard leptons and/ or b-quarks which future LHC experiments with sufficiently large luminosity ($\mathcal{L} = 1000 fb^{-1}$ and above) can probe.


title: Morpho-kinematic properties of Wolf-Rayet planetary nebulae

abstract: The majority of planetary nebulae (PNe) show axisymmetric morphologies, whose causes are not well understood. In this work, we present spatially resolved kinematic observations of 14 Galactic PNe surrounding Wolf-Rayet ([WR]) and weak emission-line stars ($wels$) based on the H$\alpha$ and [N II] emission taken with the Wide Field Spectrograph on the Australian National University 2.3-m telescope. Velocity-resolved channel maps and position--velocity diagrams, together with archival Hubble Space Telescope ($HST$) and ground-based images, are employed to construct three-dimensional morpho-kinematic models of 12 objects using the program SHAPE. Our results indicate that these 12 PNe mostly have elliptical morphologies with either open or closed outer ends. The kinematic maps show the on-sky orientations of the interior shells in NGC6578 and NGC6629, as well as the compact ($\leq 6$ arcsec) PNe Pe1-1, M3-15, M1-25, Hen2-142, and NGC6567, in agreement with the elliptically symmetric morphologies seen in high-resolution $HST$ images. Point-symmetric knots in Hb4 exhibit deceleration with distance from the central star, which could be due to shock collisions with the ambient medium. The velocity dispersion maps of Pe1-1 also disclose the shock interaction between its collimated outflows and the interstellar medium. Collimated bipolar outflows are also visible in the position--velocity diagrams of M3-30, M1-32, and M3-15, which are reconstructed by tenuous prolate ellipsoids extending upward from dense equatorial regions in the kinematic models. The formation of aspherical morphologies and collimated outflows in these PNe could be related to the stellar evolution of hydrogen-deficient [WR] and $wels$ nuclei, which require further investigation.


title: Stretchable self-tuning MRI receive coils based on liquid metal technology (LiquiTune)

abstract: Magnetic resonance imaging systems rely on signal detection via radiofrequency coil arrays which, ideally, need to provide both bendability and form-fitting stretchability to conform to the imaging volume. However, most commercial coils are rigid and of fixed size with a substantial mean offset distance of the coil from the anatomy, which compromises the spatial resolution and diagnostic image quality as well as patient comfort. Here, we propose a soft and stretchable receive coil concept based on liquid metal and ultra-stretchable polymer that conforms closely to a desired anatomy. Moreover, its smart geometry provides a self-tuning mechanism to maintain a stable resonance frequency over a wide range of elongation levels. Theoretical analysis and numerical simulations were experimentally confirmed and demonstrated that the proposed coil withstood the unwanted frequency detuning typically observed with other stretchable coils (0.4% for the proposed coil as compared to 4% for a comparable control coil). Moreover, the signal-to-noise ratio of the proposed coil increased by up to 60% as compared to a typical, rigid, commercial coil.


title: Learning Vision-Guided Quadrupedal Locomotion End-to-End with Cross-Modal Transformers

abstract: We propose to address quadrupedal locomotion tasks using Reinforcement Learning (RL) with a Transformer-based model that learns to combine proprioceptive information and high-dimensional depth sensor inputs. While learning-based locomotion has made great advances using RL, most methods still rely on domain randomization for training blind agents that generalize to challenging terrains. Our key insight is that proprioceptive states only offer contact measurements for immediate reaction, whereas an agent equipped with visual sensory observations can learn to proactively maneuver environments with obstacles and uneven terrain by anticipating changes in the environment many steps ahead. In this paper, we introduce LocoTransformer, an end-to-end RL method that leverages both proprioceptive states and visual observations for locomotion control. We evaluate our method in challenging simulated environments with different obstacles and uneven terrain. We transfer our learned policy from simulation to a real robot by running it indoors and in the wild with unseen obstacles and terrain. Our method not only significantly improves over baselines, but also achieves far better generalization performance, especially when transferred to the real robot. Our project page with videos is at https://rchalyang.github.io/LocoTransformer/ .


title: Probabilistic Trace Alignment

abstract: Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model and their severity. However, approaches based on trace alignments use crisp process models as reference and recent probabilistic conformance checking approaches check the degree of conformance of an event log with respect to a stochastic process model instead of finding trace alignments. In this paper, for the first time, we provide a conformance checking approach based on trace alignments using stochastic Workflow nets. Conceptually, this requires to handle the two possibly contrasting forces of the cost of the alignment on the one hand and the likelihood of the model trace with respect to which the alignment is computed on the other.


title: Topological Higgs Amplitude Modes in Strongly Interacting Superfluids

abstract: By studying the 2-dimensional Su-Schrieffer-Heeger-Bose-Hubbard model, we show the existence of topological Higgs amplitude modes in the strongly interacting superfluid phase. Using the slave boson approach, we find that, in the large filling limit, the Higgs excitations and the Goldstone excitations above the ground state are well decoupled, and both of them exhibit nontrivial topology inherited from the underlying noninteracting bands. At finite fillings, they become coupled at high energies; nevertheless, the topology of these modes are unchanged. Moreover, based on an effective action analysis, we further provide a universal physical picture for the topological character of Higgs and Goldstone modes. Our discovery of the first realization of the topological Higgs mode opens the path to novel investigations in various systems such as superconductors and quantum magnetism.


title: Remote entanglement distribution in a quantum network via multinode indistinguishability of photons

abstract: Quantum networking relies on entanglement distribution between distant nodes, typically realized by swapping procedures. However, entanglement swapping is a demanding task in practice, mainly because of limited effectiveness of entangled photon sources and Bell-state measurements necessary to realize the process. Here we experimentally activate a remote distribution of two-photon polarization entanglement superseding the need for initial entangled pairs and traditional Bell-state measurements. This alternative procedure is accomplished thanks to the controlled spatial indistinguishability of four independent photons in three separated nodes of the network, which enables us to perform localized product-state measurements in the central node acting as a trigger. This experiment proves that the inherent indistinguishability of identical particles supplies new standards for feasible quantum communication in multinode photonic quantum networks.


title: Active Safety Envelopes using Light Curtains with Probabilistic Guarantees

abstract: To safely navigate unknown environments, robots must accurately perceive dynamic obstacles. Instead of directly measuring the scene depth with a LiDAR sensor, we explore the use of a much cheaper and higher resolution sensor: programmable light curtains. Light curtains are controllable depth sensors that sense only along a surface that a user selects. We use light curtains to estimate the safety envelope of a scene: a hypothetical surface that separates the robot from all obstacles. We show that generating light curtains that sense random locations (from a particular distribution) can quickly discover the safety envelope for scenes with unknown objects. Importantly, we produce theoretical safety guarantees on the probability of detecting an obstacle using random curtains. We combine random curtains with a machine learning based model that forecasts and tracks the motion of the safety envelope efficiently. Our method accurately estimates safety envelopes while providing probabilistic safety guarantees that can be used to certify the efficacy of a robot perception system to detect and avoid dynamic obstacles. We evaluate our approach in a simulated urban driving environment and a real-world environment with moving pedestrians using a light curtain device and show that we can estimate safety envelopes efficiently and effectively. Project website: https://siddancha.github.io/projects/active-safety-envelopes-with-guarantees


title: Incorporating Gaze into Social Navigation

abstract: Most current approaches to social navigation focus on the trajectory and position of participants in the interaction. Our current work on the topic focuses on integrating gaze into social navigation, both to cue nearby pedestrians as to the intended trajectory of the robot and to enable the robot to read the intentions of nearby pedestrians. This paper documents a series of experiments in our laboratory investigating the role of gaze in social navigation.