title: Screw dislocation interaction in smectic-A liquid crystals in an anharmonic approximation

abstract: The interaction of two screw dislocations in smectic-A liquid crystals is treated using an anharmonic correction to the elastic energy density. In the present contribution the elastic energy and the force between two screw dislocations is evaluated and discussed. For screw dislocations with both parallel and opposite Burgers vectors there is an attraction of dislocations for their small separations while for greater separations there is a repulsion. It can be explained by dominating terms in interaction energy which do not depend on signs of dislocations. In this way, the interaction energy of screw dislocations in smectic A liquid crystal within an anharmonic approximation differs with respect to the case of screw dislocations in solids.


title: Robustifying the Deployment of tinyML Models for Autonomous mini-vehicles

abstract: Standard-size autonomous navigation vehicles have rapidly improved thanks to the breakthroughs of deep learning. However, scaling autonomous driving to low-power systems deployed on dynamic environments poses several challenges that prevent their adoption. To address them, we propose a closed-loop learning flow for autonomous driving mini-vehicles that includes the target environment in-the-loop. We leverage a family of compact and high-throughput tinyCNNs to control the mini-vehicle, which learn in the target environment by imitating a computer vision algorithm, i.e., the expert. Thus, the tinyCNNs, having only access to an on-board fast-rate linear camera, gain robustness to lighting conditions and improve over time. Further, we leverage GAP8, a parallel ultra-low-power RISC-V SoC, to meet the inference requirements. When running the family of CNNs, our GAP8's solution outperforms any other implementation on the STM32L4 and NXP k64f (Cortex-M4), reducing the latency by over 13x and the energy consummation by 92%.


title: Circumventing spin glass traps by microcanonical spontaneous symmetry breaking

abstract: The planted p-spin interaction model is a paradigm of random-graph systems possessing both a ferromagnetic phase and a disordered phase with the latter splitting into many spin glass states at low temperatures. Conventional simulated annealing dynamics is easily blocked by these low-energy spin glass states. Here we demonstrate that, actually this planted system is exponentially dominated by a microcanonical polarized phase at intermediate energy densities. There is a discontinuous microcanonical spontaneous symmetry breaking transition from the paramagnetic phase to the microcanonical polarized phase. This transition can serve as a mechanism to avoid all the spin glass traps, and it is accelerated by the restart strategy of microcanonical random walk. We also propose an unsupervised learning problem on microcanonically sampled configurations for inferring the planted ground state.


title: A Typo in the Paterson-Wegman-de Champeaux algorithm

abstract: We investigate the Paterson-Wegman-de Champeaux linear-time unification algorithm. We show that there is a small mistake in the de Champeaux presentation of the algorithm and we provide a fix.


title: Skew Scattering and Side Jump Drive Exciton Valley Hall Effect in Two-Dimensional Crystals

abstract: Exciton Valley Hall effect is the spatial separation of the valley-tagged excitons in the presence of a drag force. Usually, the effect is associated with the anomalous velocity acquired by the particles due to the Berry curvature of the Bloch bands. Here we show that the anomalous velocity plays no role in the exciton valley Hall effect, which is governed by the side-jump and skew scattering mechanisms. We develop microscopic theory of the exciton valley Hall effect in the presence of synthetic electric field and phonon drag and calculate all relevant contributions to the valley Hall current also demonstrating the cancellation of the anomalous velocity. The sensitivity of the effect to the origin of the drag force and to the scattering processes is shown. We extend the drift-diffusion model to account for the valley Hall effect and calculate the exciton density and valley polarization profiles.


title: Interference Distribution Prediction for Link Adaptation in Ultra-Reliable Low-Latency Communications

abstract: The strict latency and reliability requirements of ultra-reliable low-latency communications (URLLC) use cases are among the main drivers in fifth generation (5G) network design. Link adaptation (LA) is considered to be one of the bottlenecks to realize URLLC. In this paper, we focus on predicting the signal to interference plus noise ratio at the user to enhance the LA. Motivated by the fact that most of the URLLC use cases with most extreme latency and reliability requirements are characterized by semi-deterministic traffic, we propose to exploit the time correlation of the interference to compute useful statistics needed to predict the interference power in the next transmission. This prediction is exploited in the LA context to maximize the spectral efficiency while guaranteeing reliability at an arbitrary level. Numerical results are compared with state of the art interference prediction techniques for LA. We show that exploiting time correlation of the interference is an important enabler of URLLC.


title: Optimization of the surface code design for Majorana-based qubits

abstract: The surface code is a prominent topological error-correcting code exhibiting high fault-tolerance accuracy thresholds. Conventional schemes for error correction with the surface code place qubits on a planar grid and assume native CNOT gates between the data qubits with nearest-neighbor ancilla qubits. Here, we present surface code error-correction schemes using $\textit{only}$ Pauli measurements on single qubits and on pairs of nearest-neighbor qubits. In particular, we provide several qubit layouts that offer favorable trade-offs between qubit overhead, circuit depth and connectivity degree. We also develop minimized measurement sequences for syndrome extraction, enabling reduced logical error rates and improved fault-tolerance thresholds. Our work applies to topologically protected qubits realized with Majorana zero modes and to similar systems in which multi-qubit Pauli measurements rather than CNOT gates are the native operations.


title: Polar Stroking: New Theory and Methods for Stroking Paths

abstract: Stroking and filling are the two basic rendering operations on paths in vector graphics. The theory of filling a path is well-understood in terms of contour integrals and winding numbers, but when path rendering standards specify stroking, they resort to the analogy of painting pixels with a brush that traces the outline of the path. This means important standards such as PDF, SVG, and PostScript lack a rigorous way to say what samples are inside or outside a stroked path. Our work fills this gap with a principled theory of stroking. Guided by our theory, we develop a novel polar stroking method to render stroked paths robustly with an intuitive way to bound the tessellation error without needing recursion. Because polar stroking guarantees small uniform steps in tangent angle, it provides an efficient way to accumulate arc length along a path for texturing or dashing. While this paper focuses on developing the theory of our polar stroking method, we have successfully implemented our methods on modern programmable GPUs.


title: Transport of a single cold ion immersed in a Bose-Einstein condensate

abstract: We investigate transport dynamics of a single low-energy ionic impurity in a Bose-Einstein condensate. The impurity is implanted into the condensate starting from a single Rydberg excitation, which is ionized by a sequence of fast electric field pulses aiming to minimize the ion's initial kinetic energy. Using a small electric bias field, we study the subsequent collisional dynamics of the impurity subject to an external force. The fast ion-atom collision rate, stemming from the dense degenerate host gas and the large ion-atom scattering cross section, allows us to study a regime of frequent collisions of the impurity within only tens of microseconds. Comparison of our measurements with stochastic trajectory simulations based on sequential Langevin collisions indicate diffusive transport properties of the impurity and allows us to measure its mobility. Furthermore, working with a free and untrapped ion provides unique means to distinguish single realizations, where the impurity is subject to inelastic molecular-ion formation via three-body recombination. We study the cold chemistry of these events and find evidence for subsequent rovibrational quenching collisions of the produced molecule. Our results open a novel path to study dynamics of charged quantum impurities in ultracold matter.


title: Temperature-dependent photoluminescence: A theoretical study

abstract: Photoluminescence (PL) is a light matter quantum interaction associated with the chemical potential of light formulated by the Generalized Planck's law. Without knowing the inherent temperature dependence of chemical potential, the Generalized Planck's law is insufficient in order to characterize PL vs. T. Recent experiments showed that PL at a critical temperature abruptly shifts from a conserved rate, accompanied by a blue-shift, to thermal emission. Here, we theoretically study temperature dependent PL by including phononic interactions in a detailed balance analysis. We show that in a three-level system, both chemical potential and T are defined in the case of fast thermalization. Our solution validates recent experiments and predicts new features, including an inherent relation between emissivity and external quantum efficiency of a system, a universal point defined by the pump and the temperature where the emission rate is fixed to any material, a new phonon induced quenching mechanism, and thermalization of the photon spectrum. Our high temperature luminescence solution is relevant to and important for all photonic fields where the temperature is dominant


title: Towards Explainable Graph Representations in Digital Pathology

abstract: Explainability of machine learning (ML) techniques in digital pathology (DP) is of great significance to facilitate their wide adoption in clinics. Recently, graph techniques encoding relevant biological entities have been employed to represent and assess DP images. Such paradigm shift from pixel-wise to entity-wise analysis provides more control over concept representation. In this paper, we introduce a post-hoc explainer to derive compact per-instance explanations emphasizing diagnostically important entities in the graph. Although we focus our analyses to cells and cellular interactions in breast cancer subtyping, the proposed explainer is generic enough to be extended to other topological representations in DP. Qualitative and quantitative analyses demonstrate the efficacy of the explainer in generating comprehensive and compact explanations.


title: Realizing arbitrary trapping potentials for light via direct laser writing of mirror surface profiles

abstract: The versatility of quantum gas experiments greatly benefits from the ability to apply variable potentials. Here we describe a method which allows the preparation of potential structures for microcavity photons via spatially selective deformation of optical resonator geometries with a heat induced mirror surface microstructuring technique. We investigate the thermalization of a two-dimensional photon gas in a dye-filled microcavity composed of the custom surface-structured mirrors at wavelength-scale separation. Specifically, we describe measurements of the spatial redistribution of thermal photons in a coupled double-ridge structure, where photons form a Bose-Einstein condensate in a spatially split ground state, as a function of different pumping geometries.


title: Employing WiFi Direct to Build a Wireless Network over both 2.4 GHz and 5.8 GHz bands

abstract: Almost all the WiFi networks today provide single band (either 2.4 GHz or 5.8 GHz) wireless communication functionality for connected mobile nodes. In a single band network, the interference depends on number of nodes in the network and the presence of other networks in the proximity. As the number of nodes in a Network increases, the interference in the network also increases which reduces the throughput of the network. If there are two single band networks, one operating in 2.4 GHz frequency band and other in 5.8 GHz frequency band, then nodes in network 1 will not cause any interference with nodes in network 2. This can be used as a basic idea to implement a network where the nodes in the same network use both the frequency bands to minimize the interference between nodes. We show that building dual band multi-hop network gives better performance in terms of throughput compared to that of a network with single frequency band.


title: Optimization of the JUNO liquid scintillator composition using a Daya Bay antineutrino detector

abstract: To maximize the light yield of the liquid scintillator (LS) for the Jiangmen Underground Neutrino Observatory (JUNO), a 20 t LS sample was produced in a pilot plant at Daya Bay. The optical properties of the new LS in various compositions were studied by replacing the gadolinium-loaded LS in one antineutrino detector. The concentrations of the fluor, PPO, and the wavelength shifter, bis-MSB, were increased in 12 steps from 0.5 g/L and <0.01 mg/L to 4 g/L and 13 mg/L, respectively. The numbers of total detected photoelectrons suggest that, with the optically purified solvent, the bis-MSB concentration does not need to be more than 4 mg/L. To bridge the one order of magnitude in the detector size difference between Daya Bay and JUNO, the Daya Bay data were used to tune the parameters of a newly developed optical model. Then, the model and tuned parameters were used in the JUNO simulation. This enabled to determine the optimal composition for the JUNO LS: purified solvent LAB with 2.5 g/L PPO, and 1 to 4 mg/L bis-MSB.


title: Multifractal Dynamics of the QREM

abstract: We study numerically the population transfer protocol on the Quantum Random Energy Model and its relation to quantum computing, for system sizes of $n\leq 20$ quantum spins. We focus on the energy matching problem, i.e. finding multiple approximate solutions to a combinatorial optimization problem when a known approximate solution is provided as part of the input. We study the delocalization process induced by the population transfer protocol by observing the saturation of the Shannon entropy of the time-evolved wavefunction as a measure of its spread over the system. The scaling of the value of this entropy at saturation with the volume of the system identifies the three known dynamical phases of the model. In the non-ergodic extended phase, we observe that the time necessary for the population transfer to complete follows a long-tailed distribution. We devise two statistics to quantify how effectively and uniformly the protocol populates the target energy shell. We find that population transfer is most effective if the transverse-field parameter $\Gamma$ is chosen close to the critical point of the Anderson transition of the model. In order to assess the use of population transfer as a quantum algorithm we perform a comparison with random search. We detect a "black box" advantage in favour of PT, but when the running times of population transfer and random search are taken into consideration we do not see strong indications of a speedup at the system sizes that are accessible to our numerical methods. We discuss these results and the impact of population transfer on NISQ devices.


title: Why paramagnetic chiral correlations in the long wavelength limit do not contribute to muon-spin relaxation

abstract: A crystal structure that cannot be superposed on its mirror image by any combination of rotations and translations is classified as chiral. Such crystal structures have gained importance in recent years since they are prone to host unconventional magnetic orders and to exhibit topological magnetic textures. These properties result from the Dzyaloshinskii-Moriya antisymmetric exchange interaction which is authorized when space inversion is broken. While recent reports have shown the muon spin rotation and relaxation technique to provide unique information about structural and dynamical properties which are specific to chiral magnets in their ordered phase, the question here is whether this technique is sensitive to paramagnetic chiral correlations that are observed in neutron scattering experiments above the critical temperature. In the relevant long wavelength limit, it is shown that they do not contribute to the relaxation rate, which in turn only probes non-chiral correlations.


title: Mathematical model for the thermal enhancement of radiation response: Thermodynamic approach

abstract: Radiotherapy can effectively kill malignant cells, but the doses required to cure cancer patients may inflict severe collateral damage to adjacent healthy tissues. Hyperthermia (HT) is a promising option to improve the outcome of radiation treatment (RT) and is increasingly applied in hospital. However, the synergistic effect of simultaneous thermoradiotherapy is not well understood yet, while its mathematical modelling is essential for treatment planning. To better understand this synergy, we propose a theoretical model in which the thermal enhancement ratio (TER) is explained by the fraction of cells being radiosensitised by the infliction of sublethal damage through mild HT. Further damage finally kills the cell or inhibits its proliferation in a non-reversible process. We suggest the TER to be proportional to the energy invested in the sensitisation, which is modelled as a simple rate process. Assuming protein denaturation as the main driver of HT-induced sublethal damage and considering the temperature dependence of the heat capacity of cellular proteins, the sensitisation rates were found to depend exponentially on temperature; in agreement with previous empirical observations. Our predictions well reproduce experimental data from in-vitro and in-vivo studies, explaining the thermal modulation of cellular radioresponse for simultaneous thermoradiotherapy.


title: Optimal control of the transmission rate in compartmental epidemics

abstract: We introduce a general system of ordinary differential equations that includes some classical and recent models for the epidemic spread in a closed population without vital dynamic in a finite time horizon. The model is vectorial, in the sense that it accounts for a vector valued state function whose components represent various kinds of exposed/infected subpopulations, with a corresponding vector of control functions possibly different for any subpopulation. In the general setting, we prove well-posedness and positivity of the initial value problem for the system of state equations and the existence of solutions to the optimal control problem of the coefficients of the nonlinear part of the system, under a very general cost functional. We also prove the uniqueness of the optimal solution for a small time horizon when the cost is superlinear in all control variables with possibly different exponents in the interval (1,2]. We consider then a linear cost in the control variables and study the singular arcs. Full details are given in the case n=1 and the results are illustrated by the aid of some numerical simulations.


title: Deep Neural Networks for Computational Optical Form Measurements

abstract: Deep neural networks have been successfully applied in many different fields like computational imaging, medical healthcare, signal processing, or autonomous driving. In a proof-of-principle study, we demonstrate that computational optical form measurement can also benefit from deep learning. A data-driven machine learning approach is explored to solve an inverse problem in the accurate measurement of optical surfaces. The approach is developed and tested using virtual measurements with known ground truth.


title: Iterative Paraphrastic Augmentation with Discriminative Span Alignment

abstract: We introduce a novel paraphrastic augmentation strategy based on sentence-level lexically constrained paraphrasing and discriminative span alignment. Our approach allows for the large-scale expansion of existing resources, or the rapid creation of new resources from a small, manually-produced seed corpus. We illustrate our framework on the Berkeley FrameNet Project, a large-scale language understanding effort spanning more than two decades of human labor. Based on roughly four days of collecting training data for the alignment model and approximately one day of parallel compute, we automatically generate 495,300 unique (Frame, Trigger) combinations annotated in context, a roughly 50x expansion atop FrameNet v1.7.


title: Transformation of ReLU-based recurrent neural networks from discrete-time to continuous-time

abstract: Recurrent neural networks (RNN) as used in machine learning are commonly formulated in discrete time, i.e. as recursive maps. This brings a lot of advantages for training models on data, e.g. for the purpose of time series prediction or dynamical systems identification, as powerful and efficient inference algorithms exist for discrete time systems and numerical integration of differential equations is not necessary. On the other hand, mathematical analysis of dynamical systems inferred from data is often more convenient and enables additional insights if these are formulated in continuous time, i.e. as systems of ordinary (or partial) differential equations (ODE). Here we show how to perform such a translation from discrete to continuous time for a particular class of ReLU-based RNN. We prove three theorems on the mathematical equivalence between the discrete and continuous time formulations under a variety of conditions, and illustrate how to use our mathematical results on different machine learning and nonlinear dynamical systems examples.


title: Kernel Learning for High-Resolution Time-Frequency Distribution

abstract: The design of high-resolution and cross-term (CT) free time-frequency distributions (TFDs) has been an open problem. Classical kernel based methods are limited by the trade-off between TFD resolution and CT suppression, even under optimally derived parameters. To break the current limitation, we propose a data-driven kernel learning model directly based on Wigner-Ville distribution (WVD). The proposed kernel learning based TFD (KL-TFD) model includes several stacked multi-channel learning convolutional kernels. Specifically, a skipping operator is utilized to maintain correct information transmission, and a weighted block is employed to exploit spatial and channel dependencies. These two designs simultaneously achieve high TFD resolution and CT elimination. Numerical experiments on both synthetic and real-world data confirm the superiority of the proposed KL-TFD over traditional kernel function methods.


title: Future Urban Scenes Generation Through Vehicles Synthesis

abstract: In this work we propose a deep learning pipeline to predict the visual future appearance of an urban scene. Despite recent advances, generating the entire scene in an end-to-end fashion is still far from being achieved. Instead, here we follow a two stages approach, where interpretable information is included in the loop and each actor is modelled independently. We leverage a per-object novel view synthesis paradigm; i.e. generating a synthetic representation of an object undergoing a geometrical roto-translation in the 3D space. Our model can be easily conditioned with constraints (e.g. input trajectories) provided by state-of-the-art tracking methods or by the user itself. This allows us to generate a set of diverse realistic futures starting from the same input in a multi-modal fashion. We visually and quantitatively show the superiority of this approach over traditional end-to-end scene-generation methods on CityFlow, a challenging real world dataset.


title: On Designing GPU Algorithms with Applications to Mesh Refinement

abstract: We present a set of rules to guide the design of GPU algorithms. These rules are grounded on the principle of reducing waste in GPU utility to achieve good speed up. In accordance to these rules, we propose GPU algorithms for 2D constrained, 3D constrained and 3D Restricted Delaunay refinement problems respectively. Our algorithms take a 2D planar straight line graph (PSLG) or 3D piecewise linear complex (PLC) $\mathcal{G}$ as input, and generate quality meshes conforming or approximating to $\mathcal{G}$. The implementation of our algorithms shows that they are the first to run an order of magnitude faster than current state-of-the-art counterparts in sequential and parallel manners while using similar numbers of Steiner points to produce triangulations of comparable qualities. It thus reduces the computing time of mesh refinement from possibly hours to a few seconds or minutes for possible use in interactive graphics applications.


title: $p$-Laplace Operators for Oriented Hypergraphs

abstract: The $p$-Laplacian for graphs, as well as the vertex Laplace operator and the hyperedge Laplace operator for the general setting of oriented hypergraphs, are generalized. In particular, both a vertex $p$-Laplacian and a hyperedge $p$-Laplacian are defined for oriented hypergraphs, for all $p\geq 1$. Several spectral properties of these operators are investigated.


title: Identification of TV Channel Watching from Smart Meter Data Using Energy Disaggregation

abstract: Smart meters are used to measure the energy consumption of households. Specifically, within the energy consumption task smart meter have been used for load forecasting, reduction of consumer bills as well as reduction of grid distortions. Except energy consumption smart meters can be used to disaggregate energy consumption on device level. In this paper we investigate the potential of identifying the multimedia content played by a TV or monitor device using the central house's smart meter measuring the aggregated energy consumption from all working appliances of the household. The proposed architecture is based on elastic matching of aggregated energy signal frames with 20 reference TV channel signals. Different elastic matching algorithms were used with the best achieved video content identification accuracy being 93.6% using the MVM algorithm.


title: Closing the gap between theory and experiment for lithium manganese oxide spinels using a high-dimensional neural network potential

abstract: Many positive electrode materials in lithium ion batteries include transition metals which are difficult to describe by electronic structure methods like density functional theory (DFT) due to the presence of multiple oxidation states. A prominent example is the lithium manganese oxide spinel Li$_x$Mn$_2$O$_4$ with $0\leq x\leq2$. While DFT, employing the local hybrid functional PBE0r, provides a reliable description, the need for extended computer simulations of large structural models remains a significant challenge. Here, we close this gap by constructing a DFT-based high-dimensional neural network potential (HDNNP) providing accurate energies and forces at a fraction of the computational costs. As different oxidation states and the resulting Jahn-Teller distortions represent a new level of complexity for HDNNPs, the potential is carefully validated by performing X-ray diffraction experiments. We demonstrate that the HDNNP provides atomic level details and is able to predict a series of properties like the lattice parameters and expansion with increasing Li content or temperature, the orthorhombic to cubic transition, the lithium diffusion barrier, and the phonon frequencies. We show that for understanding these properties access to large time and length scales as enabled by the HDNNP is essential to close the gap between theory and experiment.


title: NestFuse: An Infrared and Visible Image Fusion Architecture based on Nest Connection and Spatial/Channel Attention Models

abstract: In this paper we propose a novel method for infrared and visible image fusion where we develop nest connection-based network and spatial/channel attention models. The nest connection-based network can preserve significant amounts of information from input data in a multi-scale perspective. The approach comprises three key elements: encoder, fusion strategy and decoder respectively. In our proposed fusion strategy, spatial attention models and channel attention models are developed that describe the importance of each spatial position and of each channel with deep features. Firstly, the source images are fed into the encoder to extract multi-scale deep features. The novel fusion strategy is then developed to fuse these features for each scale. Finally, the fused image is reconstructed by the nest connection-based decoder. Experiments are performed on publicly available datasets. These exhibit that our proposed approach has better fusion performance than other state-of-the-art methods. This claim is justified through both subjective and objective evaluation. The code of our fusion method is available at https://github.com/hli1221/imagefusion-nestfuse


title: An Efficient Slow-Time Adaptation for Massive MIMO Hybrid Beamforming in mm-Wave Time-Varying Channels

abstract: In this paper, adaptive hybrid beamforming methods are proposed for millimeter-wave range massive multiple-input-multiple-output (MIMO) systems considering single carrier wideband transmission in uplink data mode. A statistical analog beamformer is adaptively constructed in slow-time, while the channel is time-varying and erroneously estimated. A recursive filtering approach is proposed, which aims robustness against estimation errors for generalized eigen-beamformer (GEB). Approximated expressions are obtained for channel covariance matrices that decouple angular spread and center angle of multipath components. With these expressions, modified adaptive construction methods for GEB are proposed, which use only the quantized estimated power levels on angular patches. The performances of the proposed slow-time adaptation techniques for statistical Massive MIMO beamforming are evaluated in terms of the output signal-to-interference-and-noise-ratio (SINR), instantaneous channel estimation and beam accuracy. They are shown to be very efficient such that the computational complexity is significantly reduced while the performance remains almost the same as that of the ideal GEB even in large angular estimation errors.


title: Formalizing Traffic Rules for Machine Interpretability

abstract: Autonomous vehicles need to be designed to abide by the same rules that humans follow. This is challenging, because traffic rules are fuzzy and not well defined, making them incomprehensible to machines. Satisfaction cannot be incorporated in a planning component without proper formalization, nor can it be monitored and verified during simulation or testing. However, no research work has provided a consistent set of machine-interpretable traffic rules for a given operational driving domain. In this paper, we propose a methodology for the legal study and formalization of traffic rules in a formal language. We use Linear Temporal Logic as a formal specification language to describe temporal behaviors, capable of capturing a wide range of traffic rules. We contribute a formalized set of traffic rules for dual carriageways and evaluate the effectiveness of our formalized rules on a public dataset.


title: Rotations with Constant Curl are Constant

abstract: It is a classical result that if $u \in C^2(\mathbb{R}^n;\mathbb{R}^n)$ and $\nabla u \in SO(n)$ it follows that $u$ is rigid. In this article this result is generalized to matrix fields with non-vanishing curl. It is shown that every matrix field $R\in C^2(\Omega \subseteq \mathbb{R}^3;SO(3))$ such that $\operatorname{curl } R = constant$ is necessarily constant. Moreover, it is proved in arbitrary dimensions that a measurable rotation field is as regular as its distributional curl allows. In particular, a measurable matrix field $R: \Omega \to SO(n)$, whose curl in the sense of distributions is smooth, is also smooth.


title: Electromagnetic control of valley splitting in ideal and disordered Si quantum dots

abstract: In silicon spin qubits, the valley splitting must be tuned far away from the qubit Zeeman splitting to prevent fast qubit relaxation. In this work, we study in detail how the valley splitting depends on the electric and magnetic fields as well as the quantum dot geometry for both ideal and disordered Si/SiGe interfaces. We theoretically model a realistic electrostatically defined quantum dot and find the exact ground and excited states for the out-of-plane electron motion. This enables us to find the electron envelope function and its dependence on the electric and magnetic fields. For a quantum dot with an ideal interface, the slight cyclotron motion of electrons driven by an in-plane magnetic field slightly increases the valley splitting. Importantly, our modeling makes it possible to analyze the effect of arbitrary configurations of interface disorders. In agreement with previous studies, we show that interface steps can significantly reduce the valley splitting. Interestingly, depending on where the interface steps are located, the magnetic field can increase or further suppress the valley splitting. Moreover, the valley splitting can scale linearly or, in the presence of interface steps, non-linearly with the electric field.


title: Microscopic origin of magnetization reversal in exchange-coupled ferro-/ferrimagnetic bilayers

abstract: In this study, the magnetic reversal process of exchange-coupled bilayer systems, consisting of a ferrimagnetic TbFeCo alloy layer and a ferromagnetic [Co/Ni/Pt]N multilayer, was investigated. In particular, minor loop studies, probing solely the reversal characteristics of the softer ferromagnetic layer, reveal two distinct reversal mechanisms, which depend strongly on the thickness of the ferromagnetic layer. For thick layers, irreversible switching of the macroscopic minor loop is observed. The underlying microscopic origin of this reversal process was studied in detail by high-resolution magnetic force microscopy, showing that the reversal is triggered by in-plane domain walls propagating through the ferromagnetic layer. In contrast, thin ferromagnetic layers show a hysteresis-free reversal, which is nucleation-dominated due to grain-to-grain variations in magnetic anisotropy of the Co/Ni/Pt multilayer and an inhomogeneous exchange coupling with the magnetically hard TbFeCo layer, as confirmed by micromagnetic simulations.


title: Estimation with Uncertainty via Conditional Generative Adversarial Networks

abstract: Conventional predictive Artificial Neural Networks (ANNs) commonly employ deterministic weight matrices; therefore, their prediction is a point estimate. Such a deterministic nature in ANNs causes the limitations of using ANNs for medical diagnosis, law problems, and portfolio management, in which discovering not only the prediction but also the uncertainty of the prediction is essentially required. To address such a problem, we propose a predictive probabilistic neural network model, which corresponds to a different manner of using the generator in conditional Generative Adversarial Network (cGAN) that has been routinely used for conditional sample generation. By reversing the input and output of ordinary cGAN, the model can be successfully used as a predictive model; besides, the model is robust against noises since adversarial training is employed. In addition, to measure the uncertainty of predictions, we introduce the entropy and relative entropy for regression problems and classification problems, respectively. The proposed framework is applied to stock market data and an image classification task. As a result, the proposed framework shows superior estimation performance, especially on noisy data; moreover, it is demonstrated that the proposed framework can properly estimate the uncertainty of predictions.


title: Predicting Oxidation and Spin States by High-Dimensional Neural Networks: Applications to Lithium Manganese Oxide Spinels

abstract: Lithium ion batteries often contain transition metal oxides like Li$_{x}$Mn$_2$O$_4$ ($0\leq x\leq2$). Depending on the Li content different ratios of Mn$^\text{III}$ to Mn$^\text{IV}$ ions are present. In combination with electron hopping the Jahn-Teller distortions of the Mn$^\text{III}$O$_6$ octahedra can give rise to complex phenomena like structural transitions and conductance. While for small model systems oxidation and spin states can be determined using density functional theory (DFT), the investigation of dynamical phenomena by DFT is too demanding. Previously, we have shown that a high-dimensional neural network potential can extend molecular dynamics (MD) simulations of Li$_{x}$Mn$_2$O$_4$ to nanosecond time scales, but these simulations did not provide information about the electronic structure. Here we extend the use of neural networks to the prediction of atomic oxidation and spin states. The resulting high-dimensional neural network is able to predict the spins of the Mn ions with an error of only 0.03 $\hbar$. We find that the Mn e$_\text{g}$ electrons are correctly conserved and that the number of Jahn-Teller distorted Mn$^\text{III}$O$_6$ octahedra is predicted precisely for different Li loadings. A charge ordering transition is observed between 280 and 300 K, which matches resistivity measurements. Moreover, the activation energy of the electron hopping conduction above the phase transition is predicted to be 0.18 eV deviating only 0.02 eV from experiment. This work demonstrates that machine learning is able to provide an accurate representation of both, the geometric and the electronic structure dynamics of Li$_x$Mn$_2$O$_4$, on time and length scales that are not accessible by ab initio MD.


title: On the Minimization of Sobolev Norms of Time-Varying Graph Signals: Estimation of New Coronavirus Disease 2019 Cases

abstract: The mathematical modeling of infectious diseases is a fundamental research field for the planning of strategies to contain outbreaks. The models associated with this field of study usually have exponential prior assumptions in the number of new cases, while the exploration of spatial data has been little analyzed in these models. In this paper, we model the number of new cases of the Coronavirus Disease 2019 (COVID-19) as a problem of reconstruction of time-varying graph signals. To this end, we proposed a new method based on the minimization of the Sobolev norm in graph signal processing. Our method outperforms state-of-the-art algorithms in two COVID-19 databases provided by Johns Hopkins University. In the same way, we prove the benefits of the convergence rate of the Sobolev reconstruction method by relying on the condition number of the Hessian associated with the underlying optimization problem of our method.


title: Determining Sequence of Image Processing Technique (IPT) to Detect Adversarial Attacks

abstract: Developing secure machine learning models from adversarial examples is challenging as various methods are continually being developed to generate adversarial attacks. In this work, we propose an evolutionary approach to automatically determine Image Processing Techniques Sequence (IPTS) for detecting malicious inputs. Accordingly, we first used a diverse set of attack methods including adaptive attack methods (on our defense) to generate adversarial samples from the clean dataset. A detection framework based on a genetic algorithm (GA) is developed to find the optimal IPTS, where the optimality is estimated by different fitness measures such as Euclidean distance, entropy loss, average histogram, local binary pattern and loss functions. The "image difference" between the original and processed images is used to extract the features, which are then fed to a classification scheme in order to determine whether the input sample is adversarial or clean. This paper described our methodology and performed experiments using multiple data-sets tested with several adversarial attacks. For each attack-type and dataset, it generates unique IPTS. A set of IPTS selected dynamically in testing time which works as a filter for the adversarial attack. Our empirical experiments exhibited promising results indicating the approach can efficiently be used as processing for any AI model.


title: Positive solutions for a Minkowski-curvature equation with indefinite weight and super-exponential nonlinearity

abstract: We investigate the existence of positive solutions for a class of Minkowski-curvature equations with indefinite weight and nonlinear term having superlinear growth at zero and super-exponential growth at infinity. As an example, for the equation \begin{equation*} \Biggl{(} \dfrac{u'}{\sqrt{1-(u')^{2}}}\Biggr{)}' + a(t) \bigl{(}e^{u^{p}}-1\bigr{)} = 0, \end{equation*} where $p > 1$ and $a(t)$ is a sign-changing function satisfying the mean-value condition $\int_{0}^{T} a(t)\,\mathrm{d}t < 0$, we prove the existence of a positive solution for both periodic and Neumann boundary conditions. The proof relies on a topological degree technique.


title: Multi-Task Variational Information Bottleneck

abstract: Multi-task learning (MTL) is an important subject in machine learning and artificial intelligence. Its applications to computer vision, signal processing, and speech recognition are ubiquitous. Although this subject has attracted considerable attention recently, the performance and robustness of the existing models to different tasks have not been well balanced. This article proposes an MTL model based on the architecture of the variational information bottleneck (VIB), which can provide a more effective latent representation of the input features for the downstream tasks. Extensive observations on three public data sets under adversarial attacks show that the proposed model is competitive to the state-of-the-art algorithms concerning the prediction accuracy. Experimental results suggest that combining the VIB and the task-dependent uncertainties is a very effective way to abstract valid information from the input features for accomplishing multiple tasks.


title: Data-driven Uncertainty Quantification for Systematic Coarse-grained Models

abstract: In this work, we present methodologies for the quantification of confidence in bottom-up coarse-grained models for molecular and macromolecular systems. Coarse-graining methods have been extensively used in the past decades in order to extend the length and time scales accessible by simulation methodologies. The quantification, though, of induced errors due to the limited availability of fine-grained data is not yet established. Here, we employ rigorous statistical methods to deduce guarantees for the optimal coarse models obtained via approximations of the multi-body potential of mean force, with the relative entropy, the relative entropy rate minimization, and the force matching methods. Specifically, we present and apply statistical approaches, such as bootstrap and jackknife, to infer confidence sets for a limited number of samples, i.e., molecular configurations. Moreover, we estimate asymptotic confidence intervals assuming adequate sampling of the phase space. We demonstrate the need for non-asymptotic methods and quantify confidence sets through two applications. The first is a two-scale fast/slow diffusion process projected on the slow process. With this benchmark example, we establish the methodology for both independent and time-series data. Second, we apply these uncertainty quantification approaches on a polymeric bulk system. We consider an atomistic polyethylene melt as the prototype system for developing coarse-graining tools for macromolecular systems. For this system, we estimate the coarse-grained force field and present confidence levels with respect to the number of available microscopic data.


title: A search for star clusters in the outskirts of the Large Magellanic Cloud: indication of clusters in the age gap

abstract: The YMCA (Yes, Magellanic Clouds Again) and STEP ({The SMC in Time: Evolution of a Prototype interacting late-type dwarf galaxy) projects are deep g,i photometric surveys carried out with the VLT Survey Telescope (VST) and devoted to study the outskirts of the Magellanic System. A main goal of YMCA and STEP is to identify candidate stellar clusters and complete their census out to the outermost regions of the Magellanic Clouds. We adopted a specific over-density search technique coupled with a visual inspection of the color magnitude diagrams (CMDs) to select the best candidates and estimate their ages. To date, we analysed a region of 23 sq. deg. in the outskirts of the Large Magellanic Cloud, detecting 85 candidate cluster candidates, 16 of which have estimated ages falling in the so called "age gap". We use these objects together with literature data to gain insight into the formation and interaction history of the Magellanic Clouds.


title: Some homological properties of category $\mathcal{O}$, V

abstract: We compute projective dimension of translated simple modules in the regular block of the BGG category $\mathcal{O}$ in terms of Kazhdan-Lusztig combinatorics. This allows us to determine which projectives can appear at the last step of a minimal projective resolution for a translated simple module, confirming a conjecture by Johan K{\aa}hrstr\"om. We also derive some inequalities, in terms of Lusztig's $\mathbf{a}$-function, for possible degrees in which the top (or socle) of a translated simple module can live. Finally, we relate Kostant's problem with decomposability and isomorphism of translated simple modules, addressing yet another conjecture by Johan K{\aa}hrstr\"om.


title: On second order q-difference equations satisfied by Al-Salam-Carlitz I-Sobolev type polynomials of higher order

abstract: This contribution deals with the sequence $\{\mathbb{U}_{n}^{(a)}(x;q,j)\}_{n\geq 0}$ of monic polynomials, orthogonal with respect to a Sobolev-type inner product related to the Al-Salam--Carlitz I orthogonal polynomials, and involving an arbitrary number of $q$-derivatives on the two boundaries of the corresponding orthogonality interval. We provide several versions of the corresponding connection formulas, ladder operators, and several versions of the second order $q$-difference equations satisfied by polynomials in this sequence. As a novel contribution to the literature, we provide certain three term recurrence formula with rational coefficients satisfied by $\mathbb{U}_{n}^{(a)}(x;q,j)$, which paves the way to establish an appealing generalization of the so-called $J$-fractions to the framework of Sobolev-type orthogonality.


title: Orbits classifying extensions of prime power order groups

abstract: The strong isomorphism classes of extensions of finite groups are parametrized by orbits of a prescribed action on the second cohomology group. We study these orbits in the case of extensions of a finite abelian $p$-group by a cyclic factor of order $p$. As an application, we compute number and sizes of these orbits when the initial $p$-group is generated by at most $3$ elements.


title: Distributed Linearly Separable Computation

abstract: This paper formulates a distributed computation problem, where a master asks $N$ distributed workers to compute a linearly separable function. The task function can be expressed as $K_c$ linear combinations of $K$ messages, where each message is a function of one dataset. Our objective is to find the optimal tradeoff between the computation cost (number of uncoded datasets assigned to each worker) and the communication cost (number of symbols the master must download), such that from the answers of any $N_r$ out of $N$ workers the master can recover the task function with high probability, where the coefficients of the $K_c$ linear combinations are uniformly i.i.d. over some large enough finite field. The formulated problem can be seen as a generalized version of some existing problems, such as distributed gradient coding and distributed linear transform. In this paper, we consider the specific case where the computation cost is minimum, and propose novel achievability schemes and converse bounds for the optimal communication cost. Achievability and converse bounds coincide for some system parameters; when they do not match, we prove that the achievable distributed computing scheme is optimal under the constraint of a widely used `cyclic assignment' scheme on the datasets. Our results also show that when $K = N$, with the same communication cost as the optimal distributed gradient coding scheme proposed by Tandon et al. from which the master recovers one linear combination of $K$ messages, our proposed scheme can let the master recover any additional $N_r - 1$ independent linear combinations of messages with high probability.


title: A Novel Higher-order Weisfeiler-Lehman Graph Convolution

abstract: Current GNN architectures use a vertex neighborhood aggregation scheme, which limits their discriminative power to that of the 1-dimensional Weisfeiler-Lehman (WL) graph isomorphism test. Here, we propose a novel graph convolution operator that is based on the 2-dimensional WL test. We formally show that the resulting 2-WL-GNN architecture is more discriminative than existing GNN approaches. This theoretical result is complemented by experimental studies using synthetic and real data. On multiple common graph classification benchmarks, we demonstrate that the proposed model is competitive with state-of-the-art graph kernels and GNNs.


title: Continuous-Time Bayesian Networks with Clocks

abstract: Structured stochastic processes evolving in continuous time present a widely adopted framework to model phenomena occurring in nature and engineering. However, such models are often chosen to satisfy the Markov property to maintain tractability. One of the more popular of such memoryless models are Continuous Time Bayesian Networks (CTBNs). In this work, we lift its restriction to exponential survival times to arbitrary distributions. Current extensions achieve this via auxiliary states, which hinder tractability. To avoid that, we introduce a set of node-wise clocks to construct a collection of graph-coupled semi-Markov chains. We provide algorithms for parameter and structure inference, which make use of local dependencies and conduct experiments on synthetic data and a data-set generated through a benchmark tool for gene regulatory networks. In doing so, we point out advantages compared to current CTBN extensions.


title: Short story of stratospheric and ground-based observations of solar photosphere with high angular resolution in the 70s of the XX century at the Pulkovo Observatory

abstract: In the 70s of the last century, the stratospheric solar observatory "Saturn" with a 100cm telescope was launched at Pulkovo Observatory. The photographs and spectra obtained on it for more than 45 years remained record-breaking in angular resolution. Then, for ground-based observations of Sun fine structure in Pamir at an altitude of 4.5 km, a 50 cm open-type Pulkovo mobile telescope was installed. Photographs and spectra obtained with the Saturn telescope for the visible range were an important step in the development of high spatial resolution technologies in heliophysics. However, to date, the details of these studies remain unknown to the global scientific community. In this paper, an attempt is made to partially fill this gap.


title: DEMO: BTLEmap: Nmap for Bluetooth Low Energy

abstract: The market for Bluetooth Low Energy devices is booming and, at the same time, has become an attractive target for adversaries. To improve BLE security at large, we present BTLEmap, an auditing application for BLE environments. BTLEmap is inspired by network discovery and security auditing tools such as Nmap for IP-based networks. It allows for device enumeration, GATT service discovery, and device fingerprinting. It goes even further by integrating a BLE advertisement dissector, data exporter, and a user-friendly UI, including a proximity view. BTLEmap currently runs on iOS and macOS using Apple's CoreBluetooth API but also accepts alternative data inputs such as a Raspberry Pi to overcome the restricted vendor API. The open-source project is under active development and will provide more advanced capabilities such as long-term device tracking (in spite of MAC address randomization) in the future.


title: Adaptive Procedural Task Generation for Hard-Exploration Problems

abstract: We introduce Adaptive Procedural Task Generation (APT-Gen), an approach to progressively generate a sequence of tasks as curricula to facilitate reinforcement learning in hard-exploration problems. At the heart of our approach, a task generator learns to create tasks from a parameterized task space via a black-box procedural generation module. To enable curriculum learning in the absence of a direct indicator of learning progress, we propose to train the task generator by balancing the agent's performance in the generated tasks and the similarity to the target tasks. Through adversarial training, the task similarity is adaptively estimated by a task discriminator defined on the agent's experiences, allowing the generated tasks to approximate target tasks of unknown parameterization or outside of the predefined task space. Our experiments on the grid world and robotic manipulation task domains show that APT-Gen achieves substantially better performance than various existing baselines by generating suitable tasks of rich variations.


title: Boosted jet techniques for a supersymmetric scenario with gravitino LSP

abstract: Search for compressed supersymmetry at multi-TeV scale, in the presence of a light gravitino dark matter, can get sizable uplift while looking into the associated fat-jets with missing transverse momenta as a signature of the boson produced in the decay process of much heavier next-to-lightest sparticle. We focus on the hadronic decay of the ensuing Higgs and/or $Z$ boson giving rise to at least two fat-jets and $\slashed{E}_T$ in the final state. We perform a detailed background study adopting a multivariate analysis using a boosted decision tree to provide a robust investigation to explore the discovery potential for such signal at 14 TeV LHC considering different benchmark points satisfying all the theoretical and experimental constraints. This channel provides the best discovery prospects with most of the benchmarks discoverable within an integrated luminosity of $\mathcal{L}=200$ fb$^{-1}$. Kinematic observables are investigated in order to distinguish between compressed and uncompressed spectra having similar event yields.


title: Metasurfaces with bound states in the continuum enabled by eliminating first Fourier harmonic component in lattice parameters

abstract: Conventional photonic lattices, such as metamaterials and photonic crystals, exhibit various interesting physical properties that are attributed to periodic modulations in lattice parameters. In this study, we introduce novel types of photonic lattices, namely Fourier-component-engineered metasurfaces, that do not possess the first Fourier harmonic component in the lattice parameters. We demonstrate that these metasurfaces support the continuous high-$Q$ bound states near second stop bands. The concept of engineering Fourier harmonic components in periodic modulations provides a new method to manipulate electromagnetic waves in artificial periodic structures.


title: A mean-field approach to self-interacting network, convergence and regularity

abstract: The propagation of chaos property for a system of interacting particles, describing the spatial evolution of a network of interacting filaments is studied. The creation of a network of mycelium is analyzed as representative case, and the generality of the modeling choices are discussed. Convergence of the empirical density for the particle system to its mean field limit is proved, and a result of regularity for the solution is presented.


title: Toward an atlas of the number of visible stars

abstract: Modelling techniques for the propagation of light pollution in the atmosphere allow the computation of maps of artificial night sky brightness in any direction of the sky, involving a large number of details from satellite data. Cinzano et al. (2001a) introduced a method of mapping naked eye star visibility at the zenith from large areas based on satellite radiance measurements and Garstang models of the propagation of light pollution. It takes into account the altitude of each land area from digital elevation data, natural sky brightness in the chosen sky direction based on the Garstang approach, eye capability after Garstang and Schaefer, and atmospheric extinction in the visual photometric band. Here we discuss how to use these methods to obtain maps of the average number of visible stars when looking at the night sky hemisphere, finally answering, site by site, the question of how many stars are visible in the sky. This is not trivial, as the number of stars visible depends on the limiting magnitude in each direction in the sky, and this depends on sky brightness in that direction, atmospheric extinction at that zenith distance and the observer's visual acuity and experience. We present, as an example, a map of the number of visible stars in Italy to an average observer on clear nights with a resolution of approximately 1 km.


title: Mapping distinct phase transitions to a neural network

abstract: We demonstrate, by means of a convolutional neural network, that the features learned in the two-dimensional Ising model are sufficiently universal to predict the structure of symmetry-breaking phase transitions in considered systems irrespective of the universality class, order, and the presence of discrete or continuous degrees of freedom. No prior knowledge about the existence of a phase transition is required in the target system and its entire parameter space can be scanned with multiple histogram reweighting to discover one. We establish our approach in q-state Potts models and perform a calculation for the critical coupling and the critical exponents of the $\phi^{4}$ scalar field theory using quantities derived from the neural network implementation. We view the machine learning algorithm as a mapping that associates each configuration across different systems to its corresponding phase and elaborate on implications for the discovery of unknown phase transitions.

categories: cond-mat.stat-mech cond-mat.dis-nn hep-lat hep-th


title: Galactic potential constraints from clustering in action space of combined stellar stream data

abstract: Stream stars removed by tides from their progenitor satellite galaxy or globular cluster act as a group of test particles on neighboring orbits, probing the gravitational field of the Milky Way. While constraints from individual streams have been shown to be susceptible to biases, combining several streams from orbits with various distances reduces these biases. We fit a common gravitational potential to multiple stellar streams simultaneously by maximizing the clustering of the stream stars in action space. We apply this technique to members of the GD-1, Pal 5, Orphan and Helmi streams, exploiting both the individual and combined data sets. We describe the Galactic potential with a St\"ackel model, and vary up to five parameters simultaneously. We find that we can only constrain the enclosed mass, and that the strongest constraints come from the GD-1, Pal 5 and Orphan streams whose combined data set yields $M(< 20\ \mathrm{kpc}) = 2.96^{+0.25}_{-0.26} \times 10^{11} \ M_{\odot}$. When including the Helmi stream in the data set, the mass uncertainty increases to $M(< 20\ \mathrm{kpc}) = 3.12^{+3.21}_{-0.46} \times 10^{11} \ M_{\odot}$.


title: One-dimensional spin-orbit coupled Dirac system with extended $s$-wave superconductivity: Majorana modes and Josephson effects

abstract: Motivated by the spin-momentum locking of electrons at the boundaries of topological insulators, we study a one-dimensional system of spin-orbit coupled massless Dirac electrons with $s$-wave superconducting pairing. As a result of the spin-orbit coupling, our model has only two kinds of linearly dispersing modes, which we take to be right-moving spin-up and left-moving spin-down. Both lattice and continuum models are studied. In the lattice model, we find that a single Majorana zero energy mode appears at each end of a finite system provided that the $s$-wave pairing has an extended form, with the nearest-neighbor pairing being larger than the on-site pairing. We confirm this both numerically and analytically by calculating the winding number. Next we study a lattice version of a model with both Schr\"odinger and Dirac-like terms and find that the model hosts a topological transition between topologically trivial and non-trivial phases depending on the relative strength of the Schr\"odinger and Dirac terms. We then study a continuum system consisting of two $s$-wave superconductors with different phases of the pairing. Remarkably, we find that the system has a {\it single} Andreev bound state which is localized at the junction. When the pairing phase difference crosses a multiple of $2 \pi$, an Andreev bound state touches the top of the superconducting gap and disappears, and a different state appears from the bottom of the gap. We also study the AC Josephson effect in such a junction with a voltage bias that has both a constant $V_0$ and a term which oscillates with a frequency $\omega$. We find that, in contrast to standard Josephson junctions, Shapiro plateaus appear when the Josephson frequency $\omega_J= 2eV_0/\hbar$ is a rational fraction of $\omega$. We discuss experiments which can realize such junctions.


title: First-principles Dzyaloshinskii-Moriya interaction in a non-collinear framework

abstract: We have derived an expression of the Dzyaloshinskii-Moriya (DM) interaction, where all the three components of the DM vector can be calculated independently, for a general, non-collinear magnetic configuration. The formalism is implemented in a real space - linear muffin-tin orbital - atomic sphere approximation (RS-LMTO-ASA) method. We have chosen the Cr triangular trimer on Au(111) and Mn triangular trimers on Ag(111) and Au(111) surfaces as numerical examples. The results show that the DM interaction (module and direction) is drastically different for collinear and non-collinear states. Based on the relation between the spin and charge currents flowing in the system and their coupling to the non-collinear magnetic configuration of the triangular trimer, we demonstrate that the DM interaction can be significant, even in the absence of spin-orbit coupling. This is shown to emanate from the non-collinear magnetic structure, that can induce significant spin and charge currents even with spin-orbit coupling is ignored.


title: A Quasiorder-based Perspective on Residual Automata

abstract: In this work, we define a framework of automata constructions based on quasiorders over words to provide new insights on the class of residual automata. We present a new residualization operation and a generalized double-reversal method for building the canonical residual automaton for a given language. Finally, we use our framework to offer a quasiorder-based perspective on NL*, an online learning algorithm for residual automata. We conclude that quasiorders are fundamental to residual automata as congruences are to deterministic automata.


title: Decentralised Learning with Random Features and Distributed Gradient Descent

abstract: We investigate the generalisation performance of Distributed Gradient Descent with Implicit Regularisation and Random Features in the homogenous setting where a network of agents are given data sampled independently from the same unknown distribution. Along with reducing the memory footprint, Random Features are particularly convenient in this setting as they provide a common parameterisation across agents that allows to overcome previous difficulties in implementing Decentralised Kernel Regression. Under standard source and capacity assumptions, we establish high probability bounds on the predictive performance for each agent as a function of the step size, number of iterations, inverse spectral gap of the communication matrix and number of Random Features. By tuning these parameters, we obtain statistical rates that are minimax optimal with respect to the total number of samples in the network. The algorithm provides a linear improvement over single machine Gradient Descent in memory cost and, when agents hold enough data with respect to the network size and inverse spectral gap, a linear speed-up in computational runtime for any network topology. We present simulations that show how the number of Random Features, iterations and samples impact predictive performance.


title: A systematic observational study on Galactic interstellar ratio 18O/17O: I. C18O and C17O J=1-0 data analysis

abstract: The interstellar oxygen isotopic ratio of 18O/17O can reflect the relative amount of the secular enrichment by ejecta from high-mass versus intermediate-mass stars. Previous observations found a Galactic gradient of 18O/17O, i.e., low ratios in the Galactic center and large values in the Galactic disk, which supports the insideout formation scenario of our Galaxy. However, the observed objects are not many and, in particular, not so many at large galactocentric distances. Thus we started a systematic study on Galactic interstellar 18O/17O, through observations of C18O and C17O multi-transition lines toward a large sample of 286 sources (at least one order of magnitude larger than previous ones), from the Galactic center region to the far outer Galaxy (~22 kpc). Here we present our observations of J=1-0 lines of C18O and C17O, with the ARO12m and the IRAM 30m telescope. We detected successfully both C18O and C17O 1-0 lines for 34 sources among our IRAM30m sample of 50 targets and for 166 sources among our ARO12m sample of 260 targets. The C18O optical depth effect on our ratio results, evaluated by fitting results of C17O spectra with hyperfine components and our RADEX non-LTE model calculation for the strongest source, was found to be insignificant. Beam dilution does not seem to be a problem either, which was supported by the fact of no systematic variation between the isotopic ratio and the heliocentric distance, and consistent measured ratios from two telescopes for most of those detected sources. Our results, though there are still very few detections made for sources in the outer Galaxy, confirm the apparent 18O/17O gradient of 18O/17O = (0.10+-0.03)R_GC+(2.95+-0.30), with a Pearson's rank correlation coefficient R = 0.69. This is supported by the newest Galactic chemical evolution model including the impact of massive stellar rotators and novae.


title: Experimentally optimizing QKD rates via nonlocal dispersion compensation

abstract: Quantum key distribution (QKD) enables unconditionally secure communication guaranteed by the laws of physics. The last decades have seen tremendous efforts in making this technology feasible under real-life conditions, with implementations bridging ever longer distances and creating ever higher secure key rates. Readily deployed glass fiber connections are a natural choice for distributing the single photons necessary for QKD both in intra- and intercity links. Any fiber-based implementation however experiences chromatic dispersion which deteriorates temporal detection precision. This ultimately limits maximum distance and achievable key rate of such QKD systems. In this work, we address this limitation to both maximum distance and key rate and present an effective and easy-to-implement method to overcome chromatic dispersion effects. By exploiting the entangled photons' frequency correlations, we make use of nonlocal dispersion compensation to improve the photons' temporal correlations. Our experiment is the first implementation utilizing the inherently quantum-mechanical effect of nonlocal dispersion compensation for QKD in this way. We experimentally show an increase in key rate from 6.1 to 228.3 bits/s over 6.46 km of telecom fiber. Our approach is extendable to arbitrary fiber lengths and dispersion values, resulting in substantially increased key rates and even enabling QKD in the first place where strong dispersion would otherwise frustrate key extraction at all.


title: Spectral methods for small sample time series: A complete periodogram approach

abstract: The periodogram is a widely used tool to analyze second order stationary time series. An attractive feature of the periodogram is that the expectation of the periodogram is approximately equal to the underlying spectral density of the time series. However, this is only an approximation, and it is well known that the periodogram has a finite sample bias, which can be severe in small samples. In this paper, we show that the bias arises because of the finite boundary of observation in one of the discrete Fourier transforms which is used in the construction of the periodogram. Moreover, we show that by using the best linear predictors of the time series over the boundary of observation we can obtain a "complete periodogram" that is an unbiased estimator of the spectral density. In practice, the "complete periodogram" cannot be evaluated as the best linear predictors are unknown. We propose a method for estimating the best linear predictors and prove that the resulting "estimated complete periodogram" has a smaller bias than the regular periodogram. The estimated complete periodogram and a tapered version of it are used to estimate parameters, which can be represented in terms of the integrated spectral density. We prove that the resulting estimators have a smaller bias than their regular periodogram counterparts. The proposed method is illustrated with simulations and real data.


title: Medical idioms for clinical Bayesian network development

abstract: Bayesian Networks (BNs) are graphical probabilistic models that have proven popular in medical applications. While numerous medical BNs have been published, most are presented fait accompli without explanation of how the network structure was developed or justification of why it represents the correct structure for the given medical application. This means that the process of building medical BNs from experts is typically ad hoc and offers little opportunity for methodological improvement. This paper proposes generally applicable and reusable medical reasoning patterns to aid those developing medical BNs. The proposed method complements and extends the idiom-based approach introduced by Neil, Fenton, and Nielsen in 2000. We propose instances of their generic idioms that are specific to medical BNs. We refer to the proposed medical reasoning patterns as medical idioms. In addition, we extend the use of idioms to represent interventional and counterfactual reasoning. We believe that the proposed medical idioms are logical reasoning patterns that can be combined, reused and applied generically to help develop medical BNs. All proposed medical idioms have been illustrated using medical examples on coronary artery disease. The method has also been applied to other ongoing BNs being developed with medical experts. Finally, we show that applying the proposed medical idioms to published BN models results in models with a clearer structure.


title: Non-local hydrodynamic transport and collective excitations in Dirac fluids

abstract: We study the response of a Dirac fluid to electric fields and thermal gradients at finite wave-numbers and frequencies in the hydrodynamic regime. We find that non-local transport in the hydrodynamic regime is governed by infinite set of kinetic modes that describe non-collinear scattering events in different angular harmonic channels. The scattering rates of these modes $\tau_{m}^{-1}$ increase as $\|m\|$, where $m$ labels the angular harmonics. In an earlier publication, we pointed out that this dependence leads to anomalous, L\'evy-flight-like phase space diffusion (Phys. Rev. Lett. 123, 195302 (2019)). Here, we show how this surprisingly simple, non-analytic dependence allows us to obtain exact expressions for the non-local charge and electronic thermal conductivities. The peculiar dependence of the scattering rates on $m$ also leads to a non-trivial structure of collective excitations: Besides the well known plasmon, second sound and diffusive modes, we find non-degenerate damped modes corresponding to excitations of higher angular harmonics. We use these results to investigate the transport of a Dirac fluid through Poiseuille-type geometries of different widths, and to study the response to surface acoustic waves in graphene-piezoelectric devices.


title: Quantum droplet states of a binary magnetic gas

abstract: Quantum droplets can emerge in bosonic binary magnetic gases (BMGs) from the interplay of short- and long-ranged interactions, and quantum fluctuations. We develop an extended meanfield theory for this system and use it to predict equilibrium and dynamical properties of BMG droplets. We present a phase diagram and characterize miscible and immiscible droplet states. We also show that a single component self-bound droplet can be used to bind another magnetic component which is not in the droplet regime. Our results should be realizable in experiments with mixtures of highly-magnetic lanthanide atoms.


title: Correction to: "A spectral sequence for stratified spaces and configuration spaces of points"

abstract: We correct some oversights in the paper "A spectral sequence for stratified spaces and configuration spaces of points" by the second named author. In particular we explain that an additional hypothesis should be added to Theorem 4.15 in said paper.


title: Quantum optimal control with quantum computers: an hybrid algorithm featuring machine learning optimization

abstract: We develop an hybrid quantum-classical algorithm to solve an optimal population transfer problem for a molecule subject to a laser pulse. The evolution of the molecular wavefunction under the laser pulse is simulated on a quantum computer, while the optimal pulse is iteratively shaped via a machine learning (evolutionary) algorithm. A method to encode on the quantum computer the n-electrons wavefunction is discussed, the circuits accomplishing its quantum simulation are derived and the scalability in terms of number of operations is discussed. Performance on Noisy Intermediate-Scale Quantum devices (IBM Q X2) is provided to assess the current technological gap. Furthermore the hybrid algorithm is tested on a quantum emulator to compare performance of the evolutionary algorithm with standard ones. Our results show that such algorithms are able to outperform the optimization with a downhill simplex method and provide performance comparable to more advanced (but quantum-computer unfriendly) algorithms such as Rabitz's.


title: Inhomogeneous XX spin chains and quasi-exactly solvable models

abstract: We establish a direct connection between inhomogeneous XX spin chains (or free fermion systems with nearest-neighbors hopping) and certain QES models on the line giving rise to a family of weakly orthogonal polynomials. We classify all such models and their associated XX chains, which include two families related to the Lam\'e (finite gap) quantum potential on the line. For one of these chains, we numerically compute the R\'enyi bipartite entanglement entropy at half filling and derive an asymptotic approximation thereof by studying the model's continuous limit, which turns out to describe a massless Dirac fermion on a suitably curved background. We show that the leading behavior of the entropy is that of a $c=1$ critical system, although there is a subleading $\log(\log N)$ correction (where $N$ is the number of sites) unusual in this type of models.

categories: cond-mat.str-el hep-th math-ph math.MP nlin.SI


title: Regression Test Case Prioritization by Code Combinations Coverage

abstract: Regression test case prioritization (RTCP) aims to improve the rate of fault detection by executing more important test cases as early as possible. Various RTCP techniques have been proposed based on different coverage criteria. Among them, a majority of techniques leverage code coverage information to guide the prioritization process, with code units being considered individually, and in isolation. In this paper, we propose a new coverage criterion, code combinations coverage, that combines the concepts of code coverage and combination coverage. We apply this coverage criterion to RTCP, as a new prioritization technique, code combinations coverage based prioritization (CCCP). We report on empirical studies conducted to compare the testing effectiveness and efficiency of CCCP with four popular RTCP techniques: total, additional, adaptive random, and search-based test prioritization. The experimental results show that even when the lowest combination strength is assigned, overall, the CCCP fault detection rates are greater than those of the other four prioritization techniques. The CCCP prioritization costs are also found to be comparable to the additional test prioritization technique. Moreover, our results also show that when the combination strength is increased, CCCP provides higher fault detection rates than the state-of-the-art, regardless of the levels of code coverage.


title: Bound states in the continuum accompanied by avoided crossings in leaky-mode photonic lattices

abstract: When two nonorthogonal resonances are coupled to the same radiation channel, avoided crossing arises and a bound state in the continuum (BIC) appears in parametric space. This paper presents numerical and analytical results on the properties of avoided crossing and BIC due to the coupled guided-mode resonances in one-dimensional leaky-mode photonic lattices with slab geometry. In symmetric photonic lattices with up-down mirror symmetry, Friedrich-Wintgen BICs with infinite lifetime are accompanied by avoided crossings due to the coupling between two guided modes with the same transverse parity. In asymmetric photonic lattices with broken up-down mirror symmetry, quasi-BICs with finite lifetime appear with avoided crossings because radiating waves from different modes cannot be completely eliminated. We also show that unidirectional-BICs are accompanied by avoided crossings due to guided-mode resonances with different transverse parities in asymmetric photonic lattices. The Q factor of a unidirectional-BIC is finite, but its radiation power in the upward or downward direction is significantly smaller than that in the opposite direction. Our results may be helpful in engineering BICs and avoided crossings in diverse photonic systems that support leaky modes.


title: Noninvasive three-dimensional optoacoustic localization microangiography of deep tissues

abstract: Structural microvascular alterations and dysfunction serve as key disease indicators of cancer, diabetes, ischemic stroke, neurodegenerative disorders and many other conditions. In vivo visualization of the microvasculature has traditionally been restricted to millimeter scale depths accessible with optical microscopy. Optoacoustic imaging has enabled breaking through the barrier imposed by light diffusion to map functional hemodynamic parameters in deep-seated vessels, but diffraction and dispersion of ultrasound waves in heterogeneous living tissues prevents reaching capillary resolution. Herein, we demonstrate three-dimensional microangiography of deep mouse brain beyond the acoustic diffraction limit (<20$\mu$m resolution) through the intact scalp and skull via optoacoustic localization of sparsely-distributed highly absorbing microparticles. This was enabled by devising 5$\mu$m sized extremely absorbing dichloromethane microdroplets exhibiting four orders of magnitude higher optical absorption than red blood cells at near-infrared wavelengths, thus facilitating in vivo compatibility and single particle sensitivity in the presence of highly absorbing blood background. Accurate mapping of the blood flow velocity within microvascular structures was also facilitated by the high 3D frame rate of the optoacoustic tomography system. We further show that the detected optoacoustic signal intensities from the localized particles may serve for estimating the light fluence distribution within optically heterogeneous tissues, a long-standing quantification challenge in biomedical optics. Given the intrinsic sensitivity of optoacoustics to various functional, metabolic and molecular events in living tissues, this new approach paves the way for non-invasive deep-tissue microscopic observations with unrivaled resolution, contrast and speed.


title: Can Global Optimization Strategy Outperform Myopic Strategy for Bayesian Parameter Estimation?

abstract: Bayesian adaptive inference is widely used in psychophysics to estimate psychometric parameters. Most applications used myopic one-step ahead strategy which only optimizes the immediate utility. The widely held expectation is that global optimization strategies that explicitly optimize over some horizon can largely improve the performance of the myopic strategy. With limited studies that compared myopic and global strategies, the expectation was not challenged and researchers are still investing heavily to achieve global optimization. Is that really worthwhile? This paper provides a discouraging answer based on experimental simulations comparing the performance improvement and computation burden between global and myopic strategies in parameter estimation of multiple models. The finding is that the added horizon in global strategies has negligible contributions to the improvement of optimal global utility other than the most immediate next steps (of myopic strategy). Mathematical recursion is derived to prove that the contribution of utility improvement of each added horizon step diminishes fast as that step moves further into the future.


title: Performance Evaluation of UAV-enabled Cellular Networks with Battery-limited Drones

abstract: Unmanned aerial vehicles (UAVs) can be used as flying base stations (BSs) to offload Macro-BSs in hotspots. However, due to the limited battery on-board, UAVs can typically stay in operation for less than 1.5 hours. Afterward, the UAV has to fly back to a dedicated charging station that recharges/replaces the UAV's battery. In this paper, we study the performance of a UAV-enabled cellular network while capturing the influence of the spatial distribution of the charging stations. In particular, we use tools from stochastic geometry to derive the coverage probability of a UAV-enabled cellular network as a function of the battery size, the density of the charging stations, and the time required for recharging/replacing the battery.


title: Lamellar to micellar phases and beyond: when tactic active systems admit free-energy functionals

abstract: We consider microscopic models of active particles whose velocities, rotational diffusivities, and tumbling rates depend on the gradient of a local field, which is either externally imposed or depends on all particle positions. Despite the fundamental differences between active and passive dynamics at the microscopic scale, we show that a large class of such tactic active systems admit fluctuating hydrodynamics equivalent to those of interacting Brownian colloids in equilibrium. We exploit this mapping to show how taxis may lead to the lamellar and micellar phases observed for soft repulsive colloids. In the context of chemotaxis, we show how the competition between chemoattractant and chemorepellent may lead to a bona-fide equilibrium liquid-gas phase separation in which a loss of thermodynamic stability of the fluid signals the onset of a chemotactic collapse.


title: Degenerate manifolds, helimagnets, and multi-$\mathbf{Q}$ chiral phases in the classical Heisenberg antiferromagnet on the face-centered-cubic lattice

abstract: We present a detailed study of the ground state phase diagram of the classical frustrated Heisenberg model on the face-centered-cubic lattice. By considering exchange interactions up till third nearest neighbors, we find commensurate, helimagnetic, as well as noncollinear multi-{\bf Q} orders which include noncoplanar and chiral spin structures. We reveal the presence of subextensively degenerate manifolds that appear at triple points and certain phase boundaries in the phase diagram. Within these manifolds, the spin Hamiltonian can be recast as a complete square of spins on finite motifs, permitting us to identify families of exact ground state spin configurations in real space -- these include randomly stacked ferro- or antiferromagnetically ordered planes and interacting ferromagnetic chains, among others. Finally, we critically investigate the ramifications of our findings on the example of the Ising model, where we exactly enumerate all the states numerically for finite clusters.


title: The reduction number of canonical ideals

abstract: In this paper, we introduce an invariant of Cohen-Macaulay local rings in terms of the reduction number of canonical ideals. The invariant can be defined in arbitrary Cohen-Macaulay rings and it measures how close to being Gorenstein. First, we clarify the relation between almost Gorenstein rings and nearly Gorenstein rings by using the invariant in dimension one. We next characterize the idealization of trace ideals over Gorenstein rings in terms of the invariant. It provides better prospects for a result of the almost Gorenstein property of idealization.


title: Two-component electrolyte solutions with dipolar cations on a charged electrode: Theory and computer simulations

abstract: The development of advanced electrochemical devices for energy conversion and storage requires fine tuning of electrode reactions, which can be accomplished by altering the electrode/solution interface structure. Particularly, in case of an alkali-salt electrolyte the electric double layer (EDL) composition can be managed by introducing organic cations (e.g. room temperature ionic liquid cations) that may possess polar fragments. To explore this approach, we develop a theoretical model predicting the efficient replacement of simple (alkali) cations with dipolar (organic) ones within the EDL. For the typical values of the molecular dipole moment ($2-4~D$) the effect manifests itself at the surface charge densities higher than 30 $\mu C/cm^2$. We show that the predicted behavior of the system is in qualitative agreement with the molecular dynamics simulation results.


title: On asymptotic properties of high moments of compound Poisson distribution

abstract: We study asymptotic behavior of the moments $M_k(\lambda)$ of the sum $X_1+\dots+X_{N_\lambda}$, where $N_\lambda$ follows the Poisson probability distribution with mean value $\lambda$ and $\{X_j\}$ is a family of i.i.d. random variables also independent from $N_\lambda$. We obtain an explicit expression for the leading term of $M_k(\lambda)$ as $k\to\infty$ and study it in dependence of the asymptotic behavior of $\lambda= \lambda_k$.


title: Unsupervised Semantic Hashing with Pairwise Reconstruction

abstract: Semantic Hashing is a popular family of methods for efficient similarity search in large-scale datasets. In Semantic Hashing, documents are encoded as short binary vectors (i.e., hash codes), such that semantic similarity can be efficiently computed using the Hamming distance. Recent state-of-the-art approaches have utilized weak supervision to train better performing hashing models. Inspired by this, we present Semantic Hashing with Pairwise Reconstruction (PairRec), which is a discrete variational autoencoder based hashing model. PairRec first encodes weakly supervised training pairs (a query document and a semantically similar document) into two hash codes, and then learns to reconstruct the same query document from both of these hash codes (i.e., pairwise reconstruction). This pairwise reconstruction enables our model to encode local neighbourhood structures within the hash code directly through the decoder. We experimentally compare PairRec to traditional and state-of-the-art approaches, and obtain significant performance improvements in the task of document similarity search.


title: Limit Forms of the Distribution of the Number of Renewals

abstract: In this work the asymptotic properties of $Q_t(N)$ ,the probability of the number of renewals ($N$), that occur during time $t$ are explored. While the forms of the distribution at very long times, i.e. $t\to\infty$, are very well known and are related to the Gaussian Central Limit Theorem or the L\'{e}vy stable laws, the alternative limit of large number of renewals, i.e. $N\to\infty$, is much less noted. We address this limit of large $N$ and find that it attains a universal form that solely depends on the analytic properties of the distribution of renewal times. Explicit formulas for $Q_t(N)$ are provided, together with corrections for finite $N$ and the necessary conditions for convergence to the universal asymptotic limit. Our results show that the Large Deviations rate function for $N/t$ exists and attains an universal linear growth (up to logarithmic corrections) in the $N/t\to\infty$ limit. This result holds irrespective of the existence of mean renewal time or presence of power-law statistics.


title: Higher Complex Structures and Higher Teichm\"uller Theory

abstract: In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The construction of this structure, called higher complex structure, uses the punctual Hilbert scheme of the plane. Its moduli space admits similar properties to Hitchin's component. Given a higher complex structure, we try to canonically deform it to a flat connection. The space of such connections, called "parabolic", is obtained by imitating the Atiyah--Bott reduction. It is a space of pairs of commuting differential operators. Under some conjecture, we establish a canonical diffeomorphism between our moduli space and Hitchin's component. Finally, we generalize certain constructions, like the punctual Hilbert scheme and the higher complex structure, to the case of a simple Lie algebra.


title: Towards Increased Reliability, Transparency and Accessibility in Crosslinking Mass Spectrometry

abstract: Crosslinking mass spectrometry (Crosslinking MS) has substantially matured as a method over the last two decades through parallel development in multiple labs, demonstrating its applicability for protein structure determination, conformation analysis and mapping protein interactions in complex mixtures. Crosslinking MS has become a much-appreciated and routinely applied tool especially in structural biology. Therefore, it is timely that the community commits to the development of methodological and reporting standards. This white paper builds on an open process comprising a number of events at community conferences since 2015 and identifies aspects of Crosslinking MS for which guidelines should be developed as part of a Crosslinking MS standards initiative.


title: Adversarial Network with Multiple Classifiers for Open Set Domain Adaptation

abstract: Domain adaptation aims to transfer knowledge from a domain with adequate labeled samples to a domain with scarce labeled samples. Prior research has introduced various open set domain adaptation settings in the literature to extend the applications of domain adaptation methods in real-world scenarios. This paper focuses on the type of open set domain adaptation setting where the target domain has both private ('unknown classes') label space and the shared ('known classes') label space. However, the source domain only has the 'known classes' label space. Prevalent distribution-matching domain adaptation methods are inadequate in such a setting that demands adaptation from a smaller source domain to a larger and diverse target domain with more classes. For addressing this specific open set domain adaptation setting, prior research introduces a domain adversarial model that uses a fixed threshold for distinguishing known from unknown target samples and lacks at handling negative transfers. We extend their adversarial model and propose a novel adversarial domain adaptation model with multiple auxiliary classifiers. The proposed multi-classifier structure introduces a weighting module that evaluates distinctive domain characteristics for assigning the target samples with weights which are more representative to whether they are likely to belong to the known and unknown classes to encourage positive transfers during adversarial training and simultaneously reduces the domain gap between the shared classes of the source and target domains. A thorough experimental investigation shows that our proposed method outperforms existing domain adaptation methods on a number of domain adaptation datasets.


title: Asynchronous Real-Time Optimization of Footstep Placement and Timing in Bipedal Walking Robots

abstract: Online footstep planning is essential for bipedal walking robots to be able to walk in the presence of disturbances. Until recently this has been achieved by only optimizing the placement of the footstep, keeping the duration of the step constant. In this paper we introduce a footstep planner capable of optimizing footstep placement and timing in real-time by asynchronously combining two optimizers, which we refer to as asynchronous real-time optimization (ARTO). The first optimizer which runs at approximately 25 Hz, utilizes a fourth-order Runge-Kutta (RK4) method to accurately approximate the dynamics of the linear inverted pendulum (LIP) model for bipedal walking, then uses non-linear optimization to find optimal footsteps and duration at a lower frequency. The second optimizer that runs at approximately 250 Hz, uses analytical gradients derived from the full dynamics of the LIP model and constraint penalty terms to perform gradient descent, which finds approximately optimal footstep placement and timing at a higher frequency. By combining the two optimizers asynchronously, ARTO has the benefits of fast reactions to disturbances from the gradient descent optimizer, accurate solutions that avoid local optima from the RK4 optimizer, and increases the probability that a feasible solution will be found from the two optimizers. Experimentally, we show that ARTO is able to recover from considerably larger pushes and produces feasible solutions to larger reference velocity changes than a standard footstep location optimizer, and outperforms using just the RK4 optimizer alone.


title: Constraining the masses of high-redshift clusters with weak lensing: Revised shape calibration testing for the impact of stronger shears and increased blending

abstract: WL measurements have well-known shear estimation biases, which can be partially corrected for with the use of image simulations. We present an analysis of simulated images that mimic HST/ACS observations of high-redshift galaxy clusters, including cluster specific issues such as non-weak shear and increased blending. Our synthetic galaxies have been generated to match the observed properties of the background-selected samples in the real images. First, we used simulations with galaxies on a grid to determine a revised signal-to-noise-dependent correction for multiplicative shear measurement bias, and to quantify the sensitivity of our bias calibration to mismatches of galaxy or PSF properties between the real data and the simulations. We studied the impact of increased blending and light contamination from cluster and foreground galaxies, finding it negligible for $z>0.7$ clusters, whereas there is an effect at the $\sim 1\%$ level for lower redshift clusters. Finally, we studied the impact of fainter neighbours and selection bias mimicking the positions and magnitudes of galaxies in CANDELS data. The initial SExtractor object detection causes a selection bias of $-0.028 \pm 0.002$, reduced to $-0.016 \pm 0.002$ by further cuts. We compared our CANDELS-based estimate to a grid-based analysis, with added clustered galaxies reaching even fainter magnitudes, yielding a refined estimate of $\sim -0.013$. Our pipeline is calibrated to an accuracy of $\sim 0.015$, which is fully sufficient for current and near-future weak lensing studies of high-redshift clusters. As an application, we used it for a refined analysis of three highly relaxed clusters from the SPT-SZ survey, including measurements down to $r>200$ kpc. Compared to previously employed scales, this tightens the cluster mass constraints by a factor 1.38 on average.


title: On the geometry of $Diff(S^1)-$pseudodifferential operators based on renormalized traces

abstract: In this article, we examine the geometry of a group of Fourier-integral operators, which is the central extension of $Diff(S^1)$ with a group of classical pseudo-differential operators of any order. Several subgroups are considered, and the corresponding groups with formal pseudodifferential operators are defined. We investigate the relationship of this group with the restricted general linear group $GL_{res},$ we define a right-invariant pseudo-Riemannian metric on it that extends the Hilbert-Schmidt Riemannian metric by the use of renormalized traces of pseudo-differential operators, and we describe classes of remarkable connections.