title: Fine-Grained Fashion Similarity Prediction by Attribute-Specific Embedding Learning

abstract: This paper strives to predict fine-grained fashion similarity. In this similarity paradigm, one should pay more attention to the similarity in terms of a specific design/attribute between fashion items. For example, whether the collar designs of the two clothes are similar. It has potential value in many fashion related applications, such as fashion copyright protection. To this end, we propose an Attribute-Specific Embedding Network (ASEN) to jointly learn multiple attribute-specific embeddings, thus measure the fine-grained similarity in the corresponding space. The proposed ASEN is comprised of a global branch and a local branch. The global branch takes the whole image as input to extract features from a global perspective, while the local branch takes as input the zoomed-in region-of-interest (RoI) w.r.t. the specified attribute thus able to extract more fine-grained features. As the global branch and the local branch extract the features from different perspectives, they are complementary to each other. Additionally, in each branch, two attention modules, i.e., Attribute-aware Spatial Attention and Attribute-aware Channel Attention, are integrated to make ASEN be able to locate the related regions and capture the essential patterns under the guidance of the specified attribute, thus make the learned attribute-specific embeddings better reflect the fine-grained similarity. Extensive experiments on three fashion-related datasets, i.e., FashionAI, DARN, and DeepFashion, show the effectiveness of ASEN for fine-grained fashion similarity prediction and its potential for fashion reranking. Code and data are available at https://github.com/maryeon/asenpp .


title: Thermal Conductivities and Mechanical Properties of Epoxy Resin as a Function of the Degree of Cross-linking

abstract: Epoxy resins are widely used polymer matrices for numerous applications. Despite substantial advances, the molecular-level knowledge-base required to exploit these materials to their full potential remains limited. A deeper comprehension of structure/property relationships in epoxy resins at the molecular level is critical to progressing these efforts. It can be laborious, if not impractical, to elucidate these relationships based on experiments alone. Here, molecular dynamics simulations are used to calculate and compare thermal conductivities and mechanical properties of an exemplar epoxy resin, Bisphenol F cross-linked with Diethyl Toluene Diamine, revealing these inter-relationships. Both elastic modulus and thermal transport of the epoxy resin show an increase with greater cross-linking. Specifically, decomposition of the thermal conductivity into different force contributions suggests that the bonded term contributes to an increase in the heat flux. These outcomes provide a foundation for designing and fabricating customized epoxy resins with desirable thermal and mechanical attributes.


title: Theoretical mapping of interaction between alkali metal atoms adsorbed on graphene-like BC3 monolayer

abstract: First-principles calculations using density functional theory and two methods in comparison, Quantum ESPRESSO and Siesta, are done on large supercells which describe different placements of two identical adsorbed alkali metal atoms (of either Na, or K species) on the monolayer of boron carbide BC3. The energy of single-atom adsorption over the center of C6 ring, of the C4B2 hexagon and over a boron atom have been preliminarily estimated, the effect of applying the Grimme D2 correction on the adsorption characteristics evaluated, and the comparison of these results with available data discussed. The interaction of two identical Na or K atoms adsorbed at close enough distances (less than 10 Angstrom) is negligible if the adsorption occurs at the opposite sides of the BC3 layer, but creates a steep repulsive potential at distances less than 8 Angstrom if both atoms are adsorbed on the same side of the monolayer. Relaxation patterns resulting from the two K atoms being trapped at adjacent adsorption sites in the lattice are explained. The results suggest that the density of adsorbed K atoms on BC3 can be interestingly high.


title: Jacobi stability analysis of the classical restricted three body problem

abstract: The circular restricted three body problem, which considers the dynamics of an infinitesimal particle in the presence of the gravitational interaction with two massive bodies moving on circular orbits about their common center of mass, is a very useful model for investigating the behavior of real astronomical objects in the Solar System. In such a system, there are five Lagrangian equilibrium points, and one important characteristic of the motion is the existence of linearly stable equilibria at the two equilibrium points that form equilateral triangles with the primaries, in the plane of the primaries' orbit. We analyze the stability of motion in the restricted three body problem by using the concept of Jacobi stability, as introduced and developed in the Kosambi-Cartan-Chern (KCC) theory. The KCC theory is a differential geometric approach to the variational equations describing the deviation of the whole trajectory of a dynamical system with respect to the nearby ones. We obtain the general result that, from the point of view of the KCC theory and of Jacobi stability, all five Lagrangian equilibrium points of the restricted three body problem are unstable.


title: mSHINE: A Multiple-meta-paths Simultaneous Learning Framework for Heterogeneous Information Network Embedding

abstract: Heterogeneous information networks(HINs) become popular in recent years for its strong capability of modelling objects with abundant information using explicit network structure. Network embedding has been proved as an effective method to convert information networks into lower-dimensional space, whereas the core information can be well preserved. However, traditional network embedding algorithms are sub-optimal in capturing rich while potentially incompatible semantics provided by HINs. To address this issue, a novel meta-path-based HIN representation learning framework named mSHINE is designed to simultaneously learn multiple node representations for different meta-paths. More specifically, one representation learning module inspired by the RNN structure is developed and multiple node representations can be learned simultaneously, where each representation is associated with one respective meta-path. By measuring the relevance between nodes with the designed objective function, the learned module can be applied in downstream link prediction tasks. A set of criteria for selecting initial meta-paths is proposed as the other module in mSHINE which is important to reduce the optimal meta-path selection cost when no prior knowledge of suitable meta-paths is available. To corroborate the effectiveness of mSHINE, extensive experimental studies including node classification and link prediction are conducted on five real-world datasets. The results demonstrate that mSHINE outperforms other state-of-the-art HIN embedding methods.


title: Magnetic Fields of CP Stars in the OrionOB1 Association. IV. Stars of Subgroup 1b

abstract: The paper presents magnetic field measurements for 15 chemically peculiar (CP) stars of subgroup~1b in the OrionOB1 association. We have found that the proportion of stars with strong magnetic fields among these 15 CP stars is almost twice as large as in subgroup 1a. Along with this, the age of subgroup 1b is estimated as 2 Myr, and the age of subgroup~1a is in the order of 10 Myr. The average root-mean-square magnetic field Be for stars in subgroup 1b is 2.3 times higher than that for stars in subgroup 1a. The conclusions obtained fall within the concept of the fossil origin of large-scale magnetic fields in B and A stars, but the rate of field weakening with age appears anomalously high. We present our results as an important observational test for calibrating the theory of stellar magnetic field formation and evolution.


title: Bennu's global surface and two candidate sample sites characterized by spectral clustering of OSIRIS-REx multispectral images

abstract: The OSIRIS-REx spacecraft encountered the asteroid (101955) Bennu on December 3, 2018, and has since acquired extensive data from the payload of scientific instruments on board. In 2019, the OSIRIS-REx team selected primary and backup sample collection sites, called Nightingale and Osprey, respectively. On October 20, 2020, OSIRIS-REx successfully collected material from Nightingale. In this work, we apply an unsupervised machine learning classification through the K-Means algorithm to spectrophotometrically characterize the surface of Bennu, and in particular Nightingale and Osprey. We first analyze a global mosaic of Bennu, from which we find four clusters scattered across the surface, reduced to three when we normalize the images at 550 nm. The three spectral clusters are associated with boulders and show significant differences in spectral slope and UV value. We do not see evidence of latitudinal non-uniformity, which suggests that Bennu's surface is well-mixed. In our higher-resolution analysis of the primary and backup sample sites, we find three representative normalized clusters, confirming an inverse correlation between reflectance and spectral slope (the darkest areas being the reddest ones) and between b' normalized reflectance and slope. Nightingale and Osprey are redder than the global surface of Bennu by more than $1\sigma$ from average, consistent with previous findings, with Nightingale being the reddest ($S' = (- 0.3 \pm 1.0) \times 10^{- 3}$ percent per thousand angstroms). We see hints of a weak absorption band at 550 nm at the candidate sample sites and globally, which lends support to the proposed presence of magnetite on Bennu.


title: Short note: Transformation between different solution methods for general axisymmetric tangential contact problems in Hertz-Mindlin approximation

abstract: The transition between two conceptionally different solution procedures for general axisymmetric tangential contact problems with arbitrary laoding histories under Hertz-Mindlin assumptions is demonstrated, namely J\"ager's superposition solution and the method of dimensionality reduction. Both finite and ininite superpositions of Cattaneo-Mindlin basis functions are considered. It is shown how the weights in the superposition solution can be easily obtained from the displacements in the MDR model.


title: Spatially resolved surface dissipation over metal and dielectric substrates

abstract: We report spatially resolved measurements of static and fluctuating electric fields over conductive (Au) and non-conductive (SiO2) surfaces. Using an ultrasensitive `nanoladder' cantilever probe to scan over these surfaces at distances of a few tens of nanometers, we record changes in the probe resonance frequency and damping that we associate with static and fluctuating fields, respectively. We find that the two quantities are spatially correlated and of similar magnitude for the two materials. We quantitatively describe the observed effects on the basis of trapped surface charges and dielectric fluctuations in an adsorbate layer. Our results provide direct, spatial evidence for surface dissipation in adsorbates that affects nanomechanical sensors, trapped ions, superconducting resonators, and color centers in diamond.


title: Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

abstract: We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata for infinite alphabets. The algorithm runs in exponential time, and in polynomial time for a fixed number of registers. As a special case, we can decide, with the same complexity, language equivalence for unambiguous register automata, which improves previous results in three ways: (a) we allow for order comparisons on atoms, and not just equality; (b) the complexity is exponentially better; and (c) we allow automata with guessing.


title: Few-Shot Transformation of Common Actions into Time and Space

abstract: This paper introduces the task of few-shot common action localization in time and space. Given a few trimmed support videos containing the same but unknown action, we strive for spatio-temporal localization of that action in a long untrimmed query video. We do not require any class labels, interval bounds, or bounding boxes. To address this challenging task, we introduce a novel few-shot transformer architecture with a dedicated encoder-decoder structure optimized for joint commonality learning and localization prediction, without the need for proposals. Experiments on our reorganizations of the AVA and UCF101-24 datasets show the effectiveness of our approach for few-shot common action localization, even when the support videos are noisy. Although we are not specifically designed for common localization in time only, we also compare favorably against the few-shot and one-shot state-of-the-art in this setting. Lastly, we demonstrate that the few-shot transformer is easily extended to common action localization per pixel.


title: Tight universal quadratic forms

abstract: For a positive integer $n$, let $\mathcal T(n)$ be the set of all integers greater than or equal to $n$. An integral quadratic form $f$ is called tight $\mathcal T(n)$-universal if the set of nonzero integers that are represented by $f$ is exactly $\mathcal T(n)$. The smallest possible rank over all tight $\mathcal T(n)$-universal quadratic forms is defined by $t(n)$. In this article, we find all tight $\mathcal T(n)$-universal diagonal quadratic forms. We also prove that $t(n) \in \Omega(\log_2(n)) \cap O(\sqrt{n})$. Explicit lower and upper bounds for $t(n)$ will be provided for some small integer $n$.


title: Finite-size study of the athermal quasistatic yielding transition in structural glasses

abstract: We present a finite-size study of the athermal quasistatic yielding transition in structural glasses featuring a wide range of mechanical disorder. We find a crossover from gradual yielding in small systems, to a macroscopic discontinuous stress drop as the system size is increased. The crossover size grows significantly as the sample's structural disorder approaches the maximal value that a glass can attain. Our results suggest an analogy between the nature of the athermal quasistatic yielding transition in structural glasses and brittle fracture of fuse models and elastic networks. We discuss our results in the context of recent claims in the literature.


title: Generation of hard twisted photons by charged particles in cholesteric liquid crystals

abstract: We study the radiation from charged particles crossing a cholesteric plate in the shortwave approximation when the wavelength of photons is much smaller than the pitch of the cholesteric helix whereas the escaping angle of the photon and the anisotropy of the permittivity tensor can be arbitrary. The radiation of photons is treated in the framework of quantum electrodynamics with classical currents. The radiation of the plane-wave photons and the photons with definite projection of the angular momentum (the twisted photons) produced by charged particles crossing the cholesteric plate and moving rectilinearly and uniformly is considered. The explicit expressions for the average number of radiated photons and their spectra with respect to the energy and the projection of the angular momentum are obtained in this case. It turns out that in the paraxial approximation the projection of the orbital angular momentum, $l$, of radiated twisted photons is related to the harmonic number $n\in \mathbb{Z}$ as $l=2n+1$, i.e., the given system is a pure source of twisted photons as expected. It is shown that in the paraxial shortwave regime the main part of radiated photons is linearly polarized with $l=\pm1$ at the harmonics $n=\{-1,0\}$. The applicability conditions of the approach developed are discussed. As the examples, we consider the production of $6.3$ eV twisted photons from uranium nuclei and the production of X-ray twisted photons from $120$ MeV electrons.


title: CodeTrans: Towards Cracking the Language of Silicon's Code Through Self-Supervised Deep Learning and High Performance Computing

abstract: Currently, a growing number of mature natural language processing applications make people's life more convenient. Such applications are built by source code - the language in software engineering. However, the applications for understanding source code language to ease the software engineering process are under-researched. Simultaneously, the transformer model, especially its combination with transfer learning, has been proven to be a powerful technique for natural language processing tasks. These breakthroughs point out a promising direction for process source code and crack software engineering tasks. This paper describes CodeTrans - an encoder-decoder transformer model for tasks in the software engineering domain, that explores the effectiveness of encoder-decoder transformer models for six software engineering tasks, including thirteen sub-tasks. Moreover, we have investigated the effect of different training strategies, including single-task learning, transfer learning, multi-task learning, and multi-task learning with fine-tuning. CodeTrans outperforms the state-of-the-art models on all the tasks. To expedite future works in the software engineering domain, we have published our pre-trained models of CodeTrans. https://github.com/agemagician/CodeTrans


title: Statistical Network Analysis with Bergm

abstract: Recent advances in computational methods for intractable models have made network data increasingly amenable to statistical analysis. Exponential random graph models (ERGMs) emerged as one of the main families of models capable of capturing the complex dependence structure of network data in a wide range of applied contexts. The Bergm package for R has become a popular package to carry out Bayesian parameter inference, missing data imputation, model selection and goodness-of-fit diagnostics for ERGMs. Over the last few years, the package has been considerably improved in terms of efficiency by adopting some of the state-of-the-art Bayesian computational methods for doubly-intractable distributions. Recently, version 5 of the package has been made available on CRAN having undergone a substantial makeover, which has made it more accessible and easy to use for practitioners. New functions include data augmentation procedures based on the approximate exchange algorithm for dealing with missing data, adjusted pseudo-likelihood and pseudo-posterior procedures, which allow for fast approximate inference of the ERGM parameter posterior and model evidence for networks on several thousands nodes.


title: Gravitational Wave Physics and Astronomy in the nascent era

abstract: The detections of gravitational waves (GW) by LIGO/Virgo collaborations provide various possibilities to physics and astronomy. We are quite sure that GW observations will develop a lot both in precision and in number owing to the continuous works for the improvement of detectors, including the expectation to the newly joined detector, KAGRA, and the planned detector, LIGO-India. In this occasion, we review the fundamental outcomes and prospects of gravitational wave physics and astronomy. We survey the development focusing on representative sources of gravitational waves: binary black holes, binary neutron stars, and supernovae. We also summarize the role of gravitational wave observations as a probe of new physics.


title: Upper paired domination versus upper domination

abstract: A paired dominating set $P$ is a dominating set with the additional property that $P$ has a perfect matching. While the maximum cardainality of a minimal dominating set in a graph $G$ is called the upper domination number of $G$, denoted by $\Gamma(G)$, the maximum cardinality of a minimal paired dominating set in $G$ is called the upper paired domination number of $G$, denoted by $\Gamma_{pr}(G)$. By Henning and Pradhan (2019), we know that $\Gamma_{pr}(G)\leq 2\Gamma(G)$ for any graph $G$ without isolated vertices. We focus on the graphs satisfying the equality $\Gamma_{pr}(G)= 2\Gamma(G)$. We give characterizations for two special graph classes: bipartite and unicyclic graphs with $\Gamma_{pr}(G)= 2\Gamma(G)$ by using the results of Ulatowski (2015). Besides, we study the graphs with $\Gamma_{pr}(G)= 2\Gamma(G)$ and a restricted girth. In this context, we provide two characterizations: one for graphs with $\Gamma_{pr}(G)= 2\Gamma(G)$ and girth at least 6 and the other for $C_3$-free cactus graphs with $\Gamma_{pr}(G)= 2\Gamma(G)$. We also pose the characterization of the general case of $C_3$-free graphs with $\Gamma_{pr}(G)= 2\Gamma(G)$ as an open question.


title: On Performance Loss of DOA Measurement Using Massive MIMO Receiver with Mixed-ADCs

abstract: High hardware cost and high power consumption of massive multiple-input and multiple output (MIMO) are two challenges for the future wireless communications including beyond fifth generation (B5G) and sixth generation (6G). Adopting the low-resolution analog-to-digital converter (ADC) is viewed as a promising solution. Additionally, the direction of arrival (DOA) estimation is an indispensable technology for beam alignment and tracking in massive MIMO systems. Thus, in this paper, the performance of DOA estimation with mixed-ADC structure is firstly investigated. The Cramer-Rao lower bound (CRLB) for this architecture is derived based on the additive quantization noise model. Eventually, a performance loss factor and the associated energy efficiency factor is defined for analysis in detail. Simulation results show that the mixed-ADC architecture can strike a good balance among performance loss, circuit cost and energy efficiency. More importantly, just a few bits (up to 4 bits) of low-resolution ADCs can achieve a satisfactory performance for DOA measurement.


title: Combinatorics of a disordered two-species ASEP on a torus

abstract: We define a new disordered asymmetric simple exclusion process (ASEP) with two species of particles, first-class particles labelled $\bullet$ and second-class particles labelled ${\scriptstyle \Box}$, on a two-dimensional toroidal lattice. The dynamics is controlled by particles labelled $\bullet$, which only move horizontally, with forward and backward hopping rates $p_i$ and $q_i$ respectively if the $\bullet$ is on row $i$. The motion of particles labelled ${\scriptstyle \Box}$ depends on the relative position of these with respect to $\bullet$'s, and can be both horizontal and vertical. We show that the stationary weight of any configuration is proportional to a monomial in the $p_i$'s and $q_i$'s. Our process projects to the disordered ASEP on a ring, and so explains combinatorially the stationary distribution of the latter first derived by Evans (Europhysics Letters, 1996). We compute the partition function, as well as densities and currents of $\bullet$'s and ${\scriptstyle \Box}$'s in the stationary state. We observe a novel mechanism we call the Scott Russell phenomenon: the current of ${\scriptstyle \Box}$'s in the vertical direction is the same as that of $\bullet$'s in the horizontal direction.

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


title: Robust and bias-free localization of individual fixed dipole emitters achieving the Cram\'{e}r Rao bound

abstract: Single molecule localization microscopy has the potential to resolve structural details of biological samples at the nanometer length scale. However, to fully exploit the resolution it is crucial to account for the anisotropic emission characteristics of fluorescence dipole emitters. In case of slight residual defocus, localization estimates may well be biased by tens of nanometers. We show here that astigmatic imaging in combination with information about the dipole orientation allows to extract the position of the dipole emitters without localization bias and down to a precision of ~1nm, thereby reaching the corresponding Cram\'{e}r Rao bound. The approach is showcased with simulated data for various dipole orientations, and parameter settings realistic for real life experiments.


title: Fluctuating local field approach to free energy of 1D molecules with strong collective electronic correlations

abstract: The impact of leading collective electronic fluctuations on a free energy of a prototype 1D model for molecular systems is considered within the recently developed Fluctuating Local Field (FLF) approach. The FLF method is a non-perturbative extension of a mean-field theory, where a self-consistent effective constant field is replaced by a fluctuating one. Integrating the fluctuating field out numerically exactly allows to account for collective electronic fluctuations mediated by this field without any assumptions on their magnitude, degree of nonlinearity, etc. Using a half-filled Hubbard ring as a benchmark system, we find that the FLF method noticeably improves a mean-field estimation for the free energy, in particular below the mean-field Ne\'el temperature. We further demonstrate that the mean-field result can be even more improved introducing a multi-mode FLF scheme that additionally takes into account sub-leading fluctuations. Possible applications for the thermodynamics of real molecules are also discussed.


title: Nonexistence of solutions to quasilinear parabolic equations with a potential in bounded domains

abstract: We are concerned with nonexistence results for a class of quasilinear parabolic differential problems with a potential in $\Omega\times(0,+\infty)$, where $\Omega$ is a bounded domain. In particular, we investigate how the behavior of the potential near the boundary of the domain and the power nonlinearity affect the nonexistence of solutions. Particular attention is devoted to the special case of the semilinear parabolic problem, for which we show that the critical rate of growth of the potential near the boundary ensuring nonexistence is sharp.


title: A Latent space solver for PDE generalization

abstract: In this work we propose a hybrid solver to solve partial differential equation (PDE)s in the latent space. The solver uses an iterative inferencing strategy combined with solution initialization to improve generalization of PDE solutions. The solver is tested on an engineering case and the results show that it can generalize well to several PDE conditions.


title: Self-Shielding Copper Substrate Neutron Supermirror Guides

abstract: The invention of self-shielding copper substrate neutron guides is described, along with the rationale behind the development, and the realisation of commercial supply. The relative advantages with respect to existing technologies are quantified. These include ease of manufacture, long lifetime, increased thermal conductivity, and enhanced fast neutron attenuation in the keV-MeV energy range. Whilst the activation of copper is initially higher than for other material options, for the full energy spectrum, many of the isotopes are short-lived, so that for realistic maintenance access times the radiation dose to workers is expected to be lower than steel and in the lowest zoning category for radiation safety outside the spallation target monolith. There is no impact on neutron reflectivity performance relative to established alternatives, and the manufacturing cost is similar to other polished metal substrates.


title: The double quasar Q2138-431: detection of a lensing galaxy

abstract: This paper reviews the question of whether the wide separation double quasar Q2138-431 is a gravitational lens. From early work, the two quasar images are known to have almost identical spectra and redshifts, but no lensing galaxy has so far been detected. In this paper we used recent deep surveys in infrared and optical bands to search for the presence of a galaxy with the expected properties of a gravitational lens. The search revealed a $5 \sigma$ detection of a faint galaxy between the two quasar images on a deep $J$-band frame from the VISTA Science Archive, with apparent magnitude $J = 20.68$. Non-detection in the $I$-band implied a redshift $z > 0.6$, and mass modelling of the quasar system gave a mass of $1.31 \times 10^{12} M_\odot$ for the lensing galaxy, with mass-to-light ratio $M_{\odot}/L_{\odot} = 9.0$. Archival photographic data from the UK 1.2m Schmidt telescope covering 25 years were used to construct light curves for the two quasar images, which were then cross-correlated to measure any time lag. This showed image B to lead image A by around a year, consistent with 410 days from the mass model. Although the similarity of the spectra and the detection of the lensing galaxy are the most compelling arguments for the classification of Q2138-431 as a gravitational lens, the time delay and mass-to-light ratio provide a consistent picture to support this conclusion. The wide separation of the quasar images and the simplicity of the mass model make Q2138-431 an excellent system for the measurement of the Hubble constant.


title: Generalized Dellac configurations

abstract: We study combinatorics of two generalizations of Dellac configurations. First, we establish a correspondence between a generalized Dellac configuration with three parameters and a generalized Dumont permutations. Secondly, by relaxing conditions on Dellac configurations, we introduce a generalization which we call Dellac configurations with boundaries. We show several recurrence relations for the Poincar\'e polynomials of Dellac configurations with boundaries.


title: Trend Filtering for Functional Data

abstract: Despite increasing accessibility to function data, effective methods for flexibly estimating underlying functional trend are still scarce. We thereby develop functional version of trend filtering for estimating trend of functional data indexed by time or on general graph by extending the conventional trend filtering, a powerful nonparametric trend estimation technique, for scalar data. We formulate the new trend filtering by introducing penalty terms based on $L_2$-norm of the differences of adjacent trend functions. We develop an efficient iteration algorithm for optimizing the objective function obtained by orthonormal basis expansion. Furthermore, we introduce additional penalty terms to eliminate redundant basis functions, which leads to automatic adaptation of the number of basis functions. The tuning parameter in the proposed method is selected via cross validation. We demonstrate the proposed method through simulation studies and applications to real world datasets.


title: UCN, the ultracold neutron source -- neutrons for particle physics

abstract: Ultracold neutrons provide a unique tool for the study of neutron properties. An overview is given of the ultracold neutron (UCN) source at PSI, which produces the highest UCN intensities to fundamental physics experiments by exploiting the high intensity proton beam in combination with the high UCN yield in solid deuterium at a temperature of 5K. We briefly list important fundamental physics results based on measurements with neutrons at PSI.


title: Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

abstract: In the field of microservices, Model-Driven Engineering has emerged as a powerful methodology for architectural design, and new programming languages have introduced language abstractions to deal with microservice development more effectively. In this article, we present the first preliminary investigation of how the two approaches can be married, taking the LEMMA framework and the Jolie programming language as respective representatives. By developing a conceptual metamodel for Jolie, we elicit a strong link between the two approaches, which shows that there is much to gain. We discuss a few low-hanging fruits that come from our finding and present some interesting future directions that arise from our new viewpoint.


title: Contrastive Explanations for Explaining Model Adaptations

abstract: Many decision making systems deployed in the real world are not static - a phenomenon known as model adaptation takes place over time. The need for transparency and interpretability of AI-based decision models is widely accepted and thus have been worked on extensively. Usually, explanation methods assume a static system that has to be explained. Explaining non-static systems is still an open research question, which poses the challenge how to explain model adaptations. In this contribution, we propose and (empirically) evaluate a framework for explaining model adaptations by contrastive explanations. We also propose a method for automatically finding regions in data space that are affected by a given model adaptation and thus should be explained.


title: Ricci Limit Spaces Are Semi-locally Simply Connected

abstract: Let $(X,p)$ be a Ricci limit space. We show that for any $\epsilon > 0$ and $x \in X$, there exists $r< \epsilon$, depending on $\epsilon$ and $x$, so that any loop in $B_{r}(x)$ is contractible in $B_{\epsilon}(x)$. In particular, $X$ is semi-locally simply connected. Then we show that the generalized Margulis lemma holds for Ricci limit spaces of $n$-manifolds.


title: Sorted Range Reporting and Range Minima Queries

abstract: Given an array A[1: n] of n elements drawn from an ordered set, the sorted range selection problem is to build a data structure that can be used to answer the following type of queries efficiently: Given a pair of indices i, j $ (1\le i\le j \le n)$, and a positive integer k, report the k smallest elements from the sub-array A[i: j] in order. Brodal et al. (Brodal, G.S., Fagerberg, R., Greve, M., and L{\'o}pez-Ortiz, A., Online sorted range reporting. Algorithms and Computation (2009) pp. 173--182) introduced the problem and gave an optimal solution. After O(n log n) time for preprocessing, the query time is O(k). The space used is O(n). In this paper, we propose the only other possible optimal trade-off for the problem. We present a linear space solution to the problem that takes O(k log k) time to answer a range selection query. The preprocessing time is O(n). Moreover, the proposed algorithm reports the output elements one by one in non-decreasing order. Our solution is simple and practical. We also describe an extremely simple method for range minima queries (most of whose parts are known) which takes al most (but not exactly) linear time. We believe that this method may be, in practice, faster and easier to implement in most cases.


title: The eROSITA Final Equatorial-Depth Survey (eFEDS): An X-ray bright, extremely luminous infrared galaxy at z = 1.87

abstract: In this study, we investigate the X-ray properties of WISE J090924.01+000211.1 (WISEJ0909+0002), an extremely luminous infrared (IR) galaxy (ELIRG) at $z_{\rm spec}$= 1.871 in the eROSITA final equatorial depth survey (eFEDS). WISEJ0909+0002 is a WISE 22 $\mu$m source, located in the GAMA-09 field, detected by eROSITA during the performance and verification phase. The corresponding optical spectrum indicates that this object is a type-1 active galactic nucleus (AGN). Observations from eROSITA combined with Chandra and XMM-Newton archival data indicate a very luminous ($L$ (2--10 keV) = ($2.1 \pm 0.2) \times 10^{45}$ erg s$^{-1}$) unobscured AGN with a power-law photon index of $\Gamma$ = 1.73$_{-0.15}^{+0.16}$, and an absorption hydrogen column density of $\log\,(N_{\rm H}/{\rm cm}^{-2}) < 21.0$. The IR luminosity was estimated to be $L_{\rm IR}$ = (1.79 $\pm$ 0.09) $\times 10^{14}\, L_{\odot}$ from spectral energy distribution modeling based on 22 photometric data (X-ray to far-IR) with X-CIGALE, which confirmed that WISEJ0909+0002 is an ELIRG. A remarkably high $L_{\rm IR}$ despite very low $N_{\rm H}$ would indicate that we are witnessing a short-lived phase in which hydrogen gas along the line of sight is blown outwards, whereas warm and hot dust heated by AGNs still exist. As a consequence of eROSITA all-sky survey, $6.8_{-5.6}^{+16}\times 10^2$ such X-ray bright ELIRGs are expected to be discovered in the entire extragalactic sky ($|b| > 10^\circ$). This can potentially be the key population to constrain the bright-end of IR luminosity functions.


title: Towards Soft Circuit Breaking in Service Meshes via Application-agnostic Caching

abstract: Service meshes factor out code dealing with inter-micro-service communication, such as circuit breaking. Circuit breaking actuation is currently limited to an "on/off" switch, i.e., a tripped circuit breaker will return an application-level error indicating service unavailability to the calling micro-service. This paper proposes a soft circuit breaker actuator, which returns cached data instead of an error. The overall resilience of a cloud application is improved if constituent micro-services return stale data, instead of no data at all. While caching is widely employed for serving web service traffic, its usage in inter-micro-service communication is lacking. Micro-services responses are highly dynamic, which requires carefully choosing adaptive time-to-life caching algorithms. We evaluate our approach through two experiments. First, we quantify the trade-off between traffic reduction and data staleness using a purpose-build service, thereby identifying algorithm configurations that keep data staleness at about 3% or less while reducing network load by up to 30%. Second, we quantify the network load reduction with the micro-service benchmark by Google Cloud called Hipster Shop. Our approach results in caching of about 80% of requests. Results show the feasibility and efficiency of our approach, which encourages implementing caching as a circuit breaking actuator in service meshes.


title: Fast Design Space Exploration of Nonlinear Systems: Part II

abstract: Nonlinear system design is often a multi-objective optimization problem involving search for a design that satisfies a number of predefined constraints. The design space is typically very large since it includes all possible system architectures with different combinations of components composing each architecture. In this article, we address nonlinear system design space exploration through a two-step approach encapsulated in a framework called Fast Design Space Exploration of Nonlinear Systems (ASSENT). In the first step, we use a genetic algorithm to search for system architectures that allow discrete choices for component values or else only component values for a fixed architecture. This step yields a coarse design since the system may or may not meet the target specifications. In the second step, we use an inverse design to search over a continuous space and fine-tune the component values with the goal of improving the value of the objective function. We use a neural network to model the system response. The neural network is converted into a mixed-integer linear program for active learning to sample component values efficiently. We illustrate the efficacy of ASSENT on problems ranging from nonlinear system design to design of electrical circuits. Experimental results show that ASSENT achieves the same or better value of the objective function compared to various other optimization techniques for nonlinear system design by up to 54%. We improve sample efficiency by 6-10x compared to reinforcement learning based synthesis of electrical circuits.


title: Nets of standard subspaces induced by antiunitary representations of admissible Lie groups I

abstract: Let $(\pi, \mathcal{H})$ be a strongly continuous unitary representation of a 1-connected Lie group $G$ such that the Lie algebra $\mathfrak{g}$ of $G$ is generated by the positive cone $C_\pi := \{x \in \mathfrak{g} : -i\partial \pi(x) \geq 0\}$ and an element $h$ for which the adjoint representation of $h$ induces a 3-grading of $\mathfrak{g}$. Moreover, suppose that $(\pi, \mathcal{H})$ extends to an antiunitary representation of the extended Lie group $G_\tau := G \rtimes \{\mathbf{1}, \tau_G\}$, where $\tau_G$ is an involutive automorphism of $G$ with $\mathbf{L}(\tau_G) = e^{i\pi\mathrm{ad} h}$. In a recent work by Neeb and \'Olafsson, a method for constructing nets of standard subspaces of $\mathcal{H}$ indexed by open regions of $G$ has been introduced and applied in the case where $G$ is semisimple. In this paper, we extend this construction to general Lie groups $G$, provided the above assumptions are satisfied and the center of the ideal $\mathfrak{g}_C = C_\pi - C_\pi$ of $\mathfrak{g}$ is one-dimensional. The case where the center of $\mathfrak{g}_C$ has more than one dimension will be discussed in a separate paper.


title: A Review of Formal Methods applied to Machine Learning

abstract: We review state-of-the-art formal methods applied to the emerging field of the verification of machine learning systems. Formal methods can provide rigorous correctness guarantees on hardware and software systems. Thanks to the availability of mature tools, their use is well established in the industry, and in particular to check safety-critical applications as they undergo a stringent certification process. As machine learning is becoming more popular, machine-learned components are now considered for inclusion in critical systems. This raises the question of their safety and their verification. Yet, established formal methods are limited to classic, i.e. non machine-learned software. Applying formal methods to verify systems that include machine learning has only been considered recently and poses novel challenges in soundness, precision, and scalability. We first recall established formal methods and their current use in an exemplar safety-critical field, avionic software, with a focus on abstract interpretation based techniques as they provide a high level of scalability. This provides a golden standard and sets high expectations for machine learning verification. We then provide a comprehensive and detailed review of the formal methods developed so far for machine learning, highlighting their strengths and limitations. The large majority of them verify trained neural networks and employ either SMT, optimization, or abstract interpretation techniques. We also discuss methods for support vector machines and decision tree ensembles, as well as methods targeting training and data preparation, which are critical but often neglected aspects of machine learning. Finally, we offer perspectives for future research directions towards the formal verification of machine learning systems.


title: Temporal correlations in the simplest measurement sequences

abstract: We investigate temporal correlations in the simplest measurement scenario, i.e., that of a physical system on which the same measurement is performed at different times, producing a sequence of dichotomic outcomes. The resource for generating such sequences is the internal dimension, or memory, of the system. We characterize the minimum memory requirements for sequences to be obtained deterministically, and numerically investigate the probabilistic behavior below this memory threshold, in both classical and quantum scenarios. A particular class of sequences is found to offer an upper-bound for all other sequences, which suggests a nontrivial universal upper-bound of $1/e$ for the classical probability of realization of any sequence below this memory threshold. We further present evidence that no such nontrivial bound exists in the quantum case.


title: A Novel Approach for Semiconductor Etching Process with Inductive Biases

abstract: The etching process is one of the most important processes in semiconductor manufacturing. We have introduced the state-of-the-art deep learning model to predict the etching profiles. However, the significant problems violating physics have been found through various techniques such as explainable artificial intelligence and representation of prediction uncertainty. To address this problem, this paper presents a novel approach to apply the inductive biases for etching process. We demonstrate that our approach fits the measurement faster than physical simulator while following the physical behavior. Our approach would bring a new opportunity for better etching process with higher accuracy and lower cost.

categories: stat.ML cs.AI cs.LG physics.comp-ph physics.plasm-ph


title: Speaker Diarization using Two-pass Leave-One-Out Gaussian PLDA Clustering of DNN Embeddings

abstract: Many modern systems for speaker diarization, such as the recently-developed VBx approach, rely on clustering of DNN speaker embeddings followed by resegmentation. Two problems with this approach are that the DNN is not directly optimized for this task, and the parameters need significant retuning for different applications. We have recently presented progress in this direction with a Leave-One-Out Gaussian PLDA (LGP) clustering algorithm and an approach to training the DNN such that embeddings directly optimize performance of this scoring method. This paper presents a new two-pass version of this system, where the second pass uses finer time resolution to significantly improve overall performance. For the Callhome corpus, we achieve the first published error rate below 4% without any task-dependent parameter tuning. We also show significant progress towards a robust single solution for multiple diarization tasks.


title: Connecting Statistics, Probability, Algebra and Discrete Mathematics

abstract: In this paper, we connect four different branches of Mathematics: Statistics, Probability, Algebra and Discrete Mathematics with the objective of introducing new results on Markov chains and evolution algebras obtained by following a relatively new line of research, already dealt with by several authors. It consists of the use of certain directed graphs to facilitate the study of Markov chains and evolution algebras, as well as to use each of the three objects to make easier the study of the other two.


title: A Facial Feature Discovery Framework for Race Classification Using Deep Learning

abstract: Race classification is a long-standing challenge in the field of face image analysis. The investigation of salient facial features is an important task to avoid processing all face parts. Face segmentation strongly benefits several face analysis tasks, including ethnicity and race classification. We propose a raceclassification algorithm using a prior face segmentation framework. A deep convolutional neural network (DCNN) was used to construct a face segmentation model. For training the DCNN, we label face images according to seven different classes, that is, nose, skin, hair, eyes, brows, back, and mouth. The DCNN model developed in the first phase was used to create segmentation results. The probabilistic classification method is used, and probability maps (PMs) are created for each semantic class. We investigated five salient facial features from among seven that help in race classification. Features are extracted from the PMs of five classes, and a new model is trained based on the DCNN. We assessed the performance of the proposed race classification method on four standard face datasets, reporting superior results compared with previous studies.


title: Depth Evaluation for Metal Surface Defects by Eddy Current Testing using Deep Residual Convolutional Neural Networks

abstract: Eddy current testing (ECT) is an effective technique in the evaluation of the depth of metal surface defects. However, in practice, the evaluation primarily relies on the experience of an operator and is often carried out by manual inspection. In this paper, we address the challenges of automatic depth evaluation of metal surface defects by virtual of state-of-the-art deep learning (DL) techniques. The main contributions are three-fold. Firstly, a highly-integrated portable ECT device is developed, which takes advantage of an advanced field programmable gate array (Zynq-7020 system on chip) and provides fast data acquisition and in-phase/quadrature demodulation. Secondly, a dataset, termed as MDDECT, is constructed using the ECT device by human operators and made openly available. It contains 48,000 scans from 18 defects of different depths and lift-offs. Thirdly, the depth evaluation problem is formulated as a time series classification problem, and various state-of-the-art 1-d residual convolutional neural networks are trained and evaluated on the MDDECT dataset. A 38-layer 1-d ResNeXt achieves an accuracy of 93.58% in discriminating the surface defects in a stainless steel sheet. The depths of the defects vary from 0.3 mm to 2.0 mm in a resolution of 0.1 mm. In addition, results show that the trained ResNeXt1D-38 model is immune to lift-off signals.


title: Magnetohydrodynamic convection in accretion discs

abstract: Convection has been discussed in the field of accretion discs for several decades, both as a means of angular momentum transport and also because of its role in controlling discs' vertical structure via heat transport. If the gas is sufficiently ionized and threaded by a weak magnetic field, convection might interact in non-trivial ways with the magnetorotational instability (MRI). Recently, vertically stratified local simulations of the MRI have reported considerable variation in the angular momentum transport, as measured by the stress to thermal pressure ratio $\alpha$, when convection is thought to be present. Although MRI turbulence can act as a heat source for convection, it is not clear how the instabilities will interact dynamically. Here we aim to investigate the interplay between the two instabilities in controlled numerical experiments, and thus isolate the generic features of their interaction. We perform vertically stratified, 3D MHD shearing box simulations with a perfect gas equation of state with the conservative, finite-volume code PLUTO. We find two characteristic outcomes of the interaction between the two instabilities: straight MRI and MRI/convective cycles, with the latter exhibiting alternating phases of convection-dominated flow (during which the turbulent transport is weak) and MRI-dominated flow. During the latter phase we find that $\alpha$ is enhanced by nearly an order of magnitude, reaching peak values of $\sim 0.08$. In addition, we find that convection in the non-linear phase takes the form of large-scale and oscillatory convective cells. Convection can also help the MRI persist to lower Rm than it would otherwise do. Finally we discuss how our results help interpret simulations of Dwarf Novae.


title: All-Optical Image Identification with Programmable Matrix Transformation

abstract: An optical neural network is proposed and demonstrated with programmable matrix transformation and nonlinear activation function of photodetection (square-law detection). Based on discrete phase-coherent spatial modes, the dimensionality of programmable optical matrix operations is 30~37, which is implemented by spatial light modulators. With this architecture, all-optical classification tasks of handwritten digits, objects and depth images are performed on the same platform with high accuracy. Due to the parallel nature of matrix multiplication, the processing speed of our proposed architecture is potentially as high as7.4T~74T FLOPs per second (with 10~100GHz detector)


title: Solving Large Scale Quadratic Constrained Basis Pursuit

abstract: Inspired by alternating direction method of multipliers and the idea of operator splitting, we propose a efficient algorithm for solving large-scale quadratically constrained basis pursuit. Experimental results show that the proposed algorithm can achieve 50~~100 times speedup when compared with the baseline interior point algorithm implemented in CVX.


title: Resonant Quantum Principal Component Analysis

abstract: Principal component analysis has been widely adopted to reduce the dimension of data while preserving the information. The quantum version of PCA (qPCA) can be used to analyze an unknown low-rank density matrix by rapidly revealing the principal components of it, i.e. the eigenvectors of the density matrix with largest eigenvalues. However, due to the substantial resource requirement, its experimental implementation remains challenging. Here, we develop a resonant analysis algorithm with the minimal resource for ancillary qubits, in which only one frequency scanning probe qubit is required to extract the principal components. In the experiment, we demonstrate the distillation of the first principal component of a 4$\times$4 density matrix, with the efficiency of 86.0% and fidelity of 0.90. This work shows the speed-up ability of quantum algorithm in dimension reduction of data and thus could be used as part of quantum artificial intelligence algorithms in the future.


title: COVID-19 Detection in Cough, Breath and Speech using Deep Transfer Learning and Bottleneck Features

abstract: We present an experimental investigation into the effectiveness of transfer learning and bottleneck feature extraction in detecting COVID-19 from audio recordings of cough, breath and speech. This type of screening is non-contact, does not require specialist medical expertise or laboratory facilities and can be deployed on inexpensive consumer hardware. We use datasets that contain recordings of coughing, sneezing, speech and other noises, but do not contain COVID-19 labels, to pre-train three deep neural networks: a CNN, an LSTM and a Resnet50. These pre-trained networks are subsequently either fine-tuned using smaller datasets of coughing with COVID-19 labels in the process of transfer learning, or are used as bottleneck feature extractors. Results show that a Resnet50 classifier trained by this transfer learning process delivers optimal or near-optimal performance across all datasets achieving areas under the receiver operating characteristic (ROC AUC) of 0.98, 0.94 and 0.92 respectively for all three sound classes (coughs, breaths and speech). This indicates that coughs carry the strongest COVID-19 signature, followed by breath and speech. Our results also show that applying transfer learning and extracting bottleneck features using the larger datasets without COVID-19 labels led not only to improve performance, but also to minimise the standard deviation of the classifier AUCs among the outer folds of the leave-$p$-out cross-validation, indicating better generalisation. We conclude that deep transfer learning and bottleneck feature extraction can improve COVID-19 cough, breath and speech audio classification, yielding automatic classifiers with higher accuracy.


title: Topological Regularization for Graph Neural Networks Augmentation

abstract: The complexity and non-Euclidean structure of graph data hinder the development of data augmentation methods similar to those in computer vision. In this paper, we propose a feature augmentation method for graph nodes based on topological regularization, in which topological structure information is introduced into end-to-end model. Specifically, we first obtain topology embedding of nodes through unsupervised representation learning method based on random walk. Then, the topological embedding as additional features and the original node features are input into a dual graph neural network for propagation, and two different high-order neighborhood representations of nodes are obtained. On this basis, we propose a regularization technique to bridge the differences between the two different node representations, eliminate the adverse effects caused by the topological features of graphs directly used, and greatly improve the performance. We have carried out extensive experiments on a large number of datasets to prove the effectiveness of our model.


title: Adversarial Semi-supervised Learning for Corporate Credit Ratings

abstract: Corporate credit rating is an analysis of credit risks within a corporation, which plays a vital role during the management of financial risk. Traditionally, the rating assessment process based on the historical profile of corporation is usually expensive and complicated, which often takes months. Therefore, most of the corporations, which are lacking in money and time, can't get their own credit level. However, we believe that although these corporations haven't their credit rating levels (unlabeled data), this big data contains useful knowledge to improve credit system. In this work, its major challenge lies in how to effectively learn the knowledge from unlabeled data and help improve the performance of the credit rating system. Specifically, we consider the problem of adversarial semi-supervised learning (ASSL) for corporate credit rating which has been rarely researched before. A novel framework adversarial semi-supervised learning for corporate credit rating (ASSL4CCR) which includes two phases is proposed to address these problems. In the first phase, we train a normal rating system via a normal machine-learning algorithm to give unlabeled data pseudo rating level. Then in the second phase, adversarial semi-supervised learning is applied uniting labeled data and pseudo-labeled data. To demonstrate the effectiveness of the proposed ASSL4CCR, we conduct extensive experiments on the Chinese public-listed corporate rating dataset, which proves that ASSL4CCR outperforms the state-of-the-art methods consistently.


title: Pickers' Guide to Acoustics of the Banjo, parts I and II

abstract: The results of an investigation of fundamental banjo acoustics and physics are now readily available. The papers describe measurements and calculations which demonstrate the extent to which the sound of a banjo can be represented by linear modeling of the basic parts common to the banjo family: strings, drum head, light floating bridge, and break angle. This note summarizes the conclusions of that work and outlines some of the physics involved. While the scrutinized banjo behaviors are well-known to discerning builders and pickers, the focus here is how these arise from the physics. A practical application (discussed in an addendum) concerns head tap-tuning: what's going on, how it works, and why some people and some tuners can't get it right.


title: Towards Semantic Interpretation of Thoracic Disease and COVID-19 Diagnosis Models

abstract: Convolutional neural networks are showing promise in the automatic diagnosis of thoracic pathologies on chest x-rays. Their black-box nature has sparked many recent works to explain the prediction via input feature attribution methods (aka saliency methods). However, input feature attribution methods merely identify the importance of input regions for the prediction and lack semantic interpretation of model behavior. In this work, we first identify the semantics associated with internal units (feature maps) of the network. We proceed to investigate the following questions; Does a regression model that is only trained with COVID-19 severity scores implicitly learn visual patterns associated with thoracic pathologies? Does a network that is trained on weakly labeled data (e.g. healthy, unhealthy) implicitly learn pathologies? Moreover, we investigate the effect of pretraining and data imbalance on the interpretability of learned features. In addition to the analysis, we propose semantic attribution to semantically explain each prediction. We present our findings using publicly available chest pathologies (CheXpert, NIH ChestX-ray8) and COVID-19 datasets (BrixIA, and COVID-19 chest X-ray segmentation dataset). The Code is publicly available.


title: Porous Numbers

abstract: The concept of porous numbers is presented. A number $k$ which is not a multiple of 10 is called {\it porous} if every number $m$ with sum of digits = $k$ and $k$ a divisor of both $m$ and digit reversal of $m$ has a zero in its digits. It is proved that 11, 37, 74, 101 and 121 are the only porous numbers smaller than 1000.


title: Covariant formulation of f(Q) theory

abstract: In Symmetric Teleparallel General Relativity, gravity is attributed to the non-metricity. The so-called "coincident gauge" is usually taken in this theory so that the affine connection vanishes and the metric is the only fundamental variable. This gauge choice was kept in many studies on the extensions of Symmetric Teleparallel General Relativity, such as the so-called f(Q) theory. In this paper, we point out that sometimes this will make the f(Q) theory inconsistent. To circumvent this problem, we reformulate the f(Q) theory in a covariant way with which we can find suitable non-vanishing affine connection for a given metric. We also apply this method to two important cases: the spherically symmetric spacetime and the homogeneous and isotropic expanding universe.


title: OodGAN: Generative Adversarial Network for Out-of-Domain Data Generation

abstract: Detecting an Out-of-Domain (OOD) utterance is crucial for a robust dialog system. Most dialog systems are trained on a pool of annotated OOD data to achieve this goal. However, collecting the annotated OOD data for a given domain is an expensive process. To mitigate this issue, previous works have proposed generative adversarial networks (GAN) based models to generate OOD data for a given domain automatically. However, these proposed models do not work directly with the text. They work with the text's latent space instead, enforcing these models to include components responsible for encoding text into latent space and decoding it back, such as auto-encoder. These components increase the model complexity, making it difficult to train. We propose OodGAN, a sequential generative adversarial network (SeqGAN) based model for OOD data generation. Our proposed model works directly on the text and hence eliminates the need to include an auto-encoder. OOD data generated using OodGAN model outperforms state-of-the-art in OOD detection metrics for ROSTD (67% relative improvement in FPR 0.95) and OSQ datasets (28% relative improvement in FPR 0.95) (Zheng et al., 2020).


title: Non-parametric spatial curvature inference using late-universe cosmological probes

abstract: Inferring high-fidelity constraints on the spatial curvature parameter, $\Omega_{\rm K}$, under as few assumptions as possible, is of fundamental importance in cosmology. We propose a method to non-parametrically infer $\Omega_{\rm K}$ from late-Universe probes alone. Using Gaussian Processes (GP) to reconstruct the expansion history, we combine Cosmic Chronometers (CC) and Type Ia Supernovae (SNe~Ia) data to infer constraints on curvature, marginalized over the expansion history, calibration of the CC and SNe~Ia data, and the GP hyper-parameters. The obtained constraints on $\Omega_{\rm K}$ are free from parametric model assumptions for the expansion history, and are insensitive to the overall calibration of both the CC and SNe~Ia data (being sensitive only to relative distances and expansion rates). Applying this method to \textit{Pantheon} SNe~Ia and the latest compilation of CCs, we find $\Omega_{\rm K} = -0.03 \pm 0.26$, consistent with spatial flatness at the $\mathcal{O}(10^{-1})$ level, and independent of any early-Universe probes. Applying our methodology to future Baryon Acoustic Oscillations and SNe~Ia data from upcoming Stage IV surveys, we forecast the ability to constrain $\Omega_{\rm K}$ at the $\mathcal{O}(10^{-2})$ level.


title: SIMPLE: SIngle-network with Mimicking and Point Learning for Bottom-up Human Pose Estimation

abstract: The practical application requests both accuracy and efficiency on multi-person pose estimation algorithms. But the high accuracy and fast inference speed are dominated by top-down methods and bottom-up methods respectively. To make a better trade-off between accuracy and efficiency, we propose a novel multi-person pose estimation framework, SIngle-network with Mimicking and Point Learning for Bottom-up Human Pose Estimation (SIMPLE). Specifically, in the training process, we enable SIMPLE to mimic the pose knowledge from the high-performance top-down pipeline, which significantly promotes SIMPLE's accuracy while maintaining its high efficiency during inference. Besides, SIMPLE formulates human detection and pose estimation as a unified point learning framework to complement each other in single-network. This is quite different from previous works where the two tasks may interfere with each other. To the best of our knowledge, both mimicking strategy between different method types and unified point learning are firstly proposed in pose estimation. In experiments, our approach achieves the new state-of-the-art performance among bottom-up methods on the COCO, MPII and PoseTrack datasets. Compared with the top-down approaches, SIMPLE has comparable accuracy and faster inference speed.


title: Neural Process for Black-Box Model Optimization Under Bayesian Framework

abstract: There are a large number of optimization problems in physical models where the relationships between model parameters and outputs are unknown or hard to track. These models are named as black-box models in general because they can only be viewed in terms of inputs and outputs, without knowledge of the internal workings. Optimizing the black-box model parameters has become increasingly expensive and time consuming as they have become more complex. Hence, developing effective and efficient black-box model optimization algorithms has become an important task. One powerful algorithm to solve such problem is Bayesian optimization, which can effectively estimates the model parameters that lead to the best performance, and Gaussian Process (GP) has been one of the most widely used surrogate model in Bayesian optimization. However, the time complexity of GP scales cubically with respect to the number of observed model outputs, and GP does not scale well with large parameter dimension either. Consequently, it has been challenging for GP to optimize black-box models that need to query many observations and/or have many parameters. To overcome the drawbacks of GP, in this study, we propose a general Bayesian optimization algorithm that employs a Neural Process (NP) as the surrogate model to perform black-box model optimization, namely, Neural Process for Bayesian Optimization (NPBO). In order to validate the benefits of NPBO, we compare NPBO with four benchmark approaches on a power system parameter optimization problem and a series of seven benchmark Bayesian optimization problems. The results show that the proposed NPBO performs better than the other four benchmark approaches on the power system parameter optimization problem and competitively on the seven benchmark problems.


title: Weakly supervised segmentation with cross-modality equivariant constraints

abstract: Weakly supervised learning has emerged as an appealing alternative to alleviate the need for large labeled datasets in semantic segmentation. Most current approaches exploit class activation maps (CAMs), which can be generated from image-level annotations. Nevertheless, resulting maps have been demonstrated to be highly discriminant, failing to serve as optimal proxy pixel-level labels. We present a novel learning strategy that leverages self-supervision in a multi-modal image scenario to significantly enhance original CAMs. In particular, the proposed method is based on two observations. First, the learning of fully-supervised segmentation networks implicitly imposes equivariance by means of data augmentation, whereas this implicit constraint disappears on CAMs generated with image tags. And second, the commonalities between image modalities can be employed as an efficient self-supervisory signal, correcting the inconsistency shown by CAMs obtained across multiple modalities. To effectively train our model, we integrate a novel loss function that includes a within-modality and a cross-modality equivariant term to explicitly impose these constraints during training. In addition, we add a KL-divergence on the class prediction distributions to facilitate the information exchange between modalities, which, combined with the equivariant regularizers further improves the performance of our model. Exhaustive experiments on the popular multi-modal BRATS dataset demonstrate that our approach outperforms relevant recent literature under the same learning conditions.


title: Warm ISM in the Sgr A Complex. II. The [C/N] abundance ratio traced by [CII] 158 um and [NII] 205 um observations toward the Arched Filaments at the Galactic center

abstract: Aims. We aim to investigate the I([CII]) versus I([NII]) integrated intensity behavior in the AF region in order to assess the [CII] emission contribution from the H II region, which is traced by [NII] line observations, and PDR components in the high-metallicity environment of the GC. Methods. We used [CII] 158 um and [NII] 205 um fine-structure line observations of the AF in the literature to compare their observational integrated intensity distribution to semi-theoretical predictions for the contribution of H II regions and adjacent PDRs to the observed [CII] emission. We explored variations in the [C/N] elemental abundance ratio to explain the overall behavior of the observed relationship. Based on our models, the H II region and PDR contributions to the observed [CII] emission is calculated for a few positions within and near to the AF. Estimates for the [C/N] abundance ratio and [N/H] nitrogen elemental abundance in the AF can then be derived. Results. The behavior of the I([CII]) versus I([NII]) relationship in the AF can be explained by model results satisfying 0.84 < [C/N]_AF < 1.41, with model metallicities ranging from 1 Z to 2 Z, hydrogen volume density log n(H) = 3.5, and ionization parameters log U from -1 to -2. A least-squares fit to the model data points yields log I([CII]) = 1.068log I([NII]) + 0.645 to predict the [CII] emission arising from the H II regions in the AF. The fraction of the total observed [CII] emission arising from within PDRs varies between ~ 0.20 and ~ 0.75. Our results yield average values for the carbon-to-nitrogen ratio and nitrogen elemental abundances of [C/N]_AF = 1.13 +/- 0.09 and [N/H]_AF = 6.21x10^4 for the AF, respectively. They are a factor of ~ 0.4 smaller and ~ 7.5 larger than their corresponding Galactic disk values.


title: Numerical evidence of a super-universality of the 2D and 3D random quantum Potts models

abstract: The random q-state quantum Potts model is studied on hypercubic lattices in dimensions 2 and 3 using the numerical implementation of the Strong Disorder Renormalization Group introduced by Kovacs and Igl{\'o}i [Phys. Rev. B 82, 054437 (2010)]. Critical exponents $\nu$, d f and $\psi$ at the Infinite Disorder Fixed Point are estimated by Finite-Size Scaling for several numbers of states q between 2 and 50. When scaling corrections are not taken into account, the estimates of both d f and $\psi$ systematically increase with q. It is shown however that q-dependent scaling corrections are present and that the exponents are compatible within error bars, or close to each other, when these corrections are taking into account. This provides evidence of the existence of a super-universality of all 2D and 3D random Potts models.


title: Nonlinear Model Based Guidance with Deep Learning Based Target Trajectory Prediction Against Aerial Agile Attack Patterns

abstract: In this work, we propose a novel missile guidance algorithm that combines deep learning based trajectory prediction with nonlinear model predictive control. Although missile guidance and threat interception is a well-studied problem, existing algorithms' performance degrades significantly when the target is pulling high acceleration attack maneuvers while rapidly changing its direction. We argue that since most threats execute similar attack maneuvers, these nonlinear trajectory patterns can be processed with modern machine learning methods to build high accuracy trajectory prediction algorithms. We train a long short-term memory network (LSTM) based on a class of simulated structured agile attack patterns, then combine this predictor with quadratic programming based nonlinear model predictive control (NMPC). Our method, named nonlinear model based predictive control with target acceleration predictions (NMPC-TAP), significantly outperforms compared approaches in terms of miss distance, for the scenarios where the target/threat is executing agile maneuvers.


title: A Virgo Environmental Survey Tracing Ionised Gas Emission (VESTIGE).X. Formation of a red ultra-diffuse galaxy and an almost dark galaxy during a ram-pressure stripping event

abstract: The evolution of galaxies depends on their interaction with the surrounding environment. Ultra-diffuse galaxies (UDGs) have been found in large numbers in clusters. We detected a few star-forming blobs in the VESTIGE survey, located at $\sim$5 kpc from a UDG, namely NGVS 3543, in association with an HI gas cloud AGC 226178, suggesting a recent interaction between this low-surface-brightness system and the surrounding cluster environment. We use a complete set of multi-frequency data including deep optical, UV, and narrow-band H${\alpha}$ imaging and HI data to understand the formation process that gave birth to this peculiar system. For this purpose, we measured (i) the multi-wavelength radial surface brightness profiles of NGVS 3543 and compared them to the predictions of spectro-photometric models of galaxy evolution in rich clusters; and (ii) the aperture photometry of the blue regions in the vicinity of NGVS 3543 in order to determine their age and stellar mass. Comparisons of the observations with evolutionary models indicate that NGVS 3543 has undergone a ram-pressure stripping (RPS) that peaked $\sim$100 Myr ago, transforming a blue gas-rich UDG into a red gas-poor UDG. Star formation has taken place in the ram pressure stripped gas, the mass of which is $\sim$10$^8$ M$_{\odot}$, forming star complexes with a typical age of $\sim$20 Myr and a stellar mass of $\sim$10$^4$ M$_{\odot}$. These results suggest that we are observing for the first time the ongoing transformation of a gas-rich UDG into a red and quiescent UDG under the effect of a ram pressure stripping event. The same process could explain the lack of star-forming UDGs in rich environments observed in several nearby clusters.


title: RadarScenes: A Real-World Radar Point Cloud Data Set for Automotive Applications

abstract: A new automotive radar data set with measurements and point-wise annotations from more than four hours of driving is presented. Data provided by four series radar sensors mounted on one test vehicle were recorded and the individual detections of dynamic objects were manually grouped to clusters and labeled afterwards. The purpose of this data set is to enable the development of novel (machine learning-based) radar perception algorithms with the focus on moving road users. Images of the recorded sequences were captured using a documentary camera. For the evaluation of future object detection and classification algorithms, proposals for score calculation are made so that researchers can evaluate their algorithms on a common basis. Additional information as well as download instructions can be found on the website of the data set: www.radar-scenes.com.


title: Hardware-Oriented Krylov Methods for High-Performance Computing

abstract: Krylov subspace methods are an essential building block in numerical simulation software. The efficient utilization of modern hardware is a challenging problem in the development of these methods. In this work, we develop Krylov subspace methods to solve linear systems with multiple right-hand sides, tailored to modern hardware in high-performance computing. To this end, we analyze an innovative block Krylov subspace framework that allows to balance the computational and data-transfer costs to the hardware. Based on the framework, we formulate commonly used Krylov methods. For the CG and BiCGStab methods, we introduce a novel stabilization approach as an alternative to a deflation strategy. This helps us to retain the block size, thus leading to a simpler and more efficient implementation. In addition, we optimize the methods further for distributed memory systems and the communication overhead. For the CG method, we analyze approaches to overlap the communication and computation and present multiple variants of the CG method, which differ in their communication properties. Furthermore, we present optimizations of the orthogonalization procedure in the GMRes method. Beside introducing a pipelined Gram-Schmidt variant that overlaps the global communication with the computation of inner products, we present a novel orthonormalization method based on the TSQR algorithm, which is communication-optimal and stable. For all optimized method, we present tests that show their superiority in a distributed setting.


title: Deep Animation Video Interpolation in the Wild

abstract: In the animation industry, cartoon videos are usually produced at low frame rate since hand drawing of such frames is costly and time-consuming. Therefore, it is desirable to develop computational models that can automatically interpolate the in-between animation frames. However, existing video interpolation methods fail to produce satisfying results on animation data. Compared to natural videos, animation videos possess two unique characteristics that make frame interpolation difficult: 1) cartoons comprise lines and smooth color pieces. The smooth areas lack textures and make it difficult to estimate accurate motions on animation videos. 2) cartoons express stories via exaggeration. Some of the motions are non-linear and extremely large. In this work, we formally define and study the animation video interpolation problem for the first time. To address the aforementioned challenges, we propose an effective framework, AnimeInterp, with two dedicated modules in a coarse-to-fine manner. Specifically, 1) Segment-Guided Matching resolves the "lack of textures" challenge by exploiting global matching among color pieces that are piece-wise coherent. 2) Recurrent Flow Refinement resolves the "non-linear and extremely large motion" challenge by recurrent predictions using a transformer-like architecture. To facilitate comprehensive training and evaluations, we build a large-scale animation triplet dataset, ATD-12K, which comprises 12,000 triplets with rich annotations. Extensive experiments demonstrate that our approach outperforms existing state-of-the-art interpolation methods for animation videos. Notably, AnimeInterp shows favorable perceptual quality and robustness for animation scenarios in the wild. The proposed dataset and code are available at https://github.com/lisiyao21/AnimeInterp/.


title: Exploring Topic-Metadata Relationships with the STM: A Bayesian Approach

abstract: Topic models such as the Structural Topic Model (STM) estimate latent topical clusters within text. An important step in many topic modeling applications is to explore relationships between the discovered topical structure and metadata associated with the text documents. Methods used to estimate such relationships must take into account that the topical structure is not directly observed, but instead being estimated itself. The authors of the STM, for instance, perform repeated OLS regressions of sampled topic proportions on metadata covariates by using a Monte Carlo sampling technique known as the method of composition. In this paper, we propose two improvements: first, we replace OLS with more appropriate Beta regression. Second, we suggest a fully Bayesian approach instead of the current blending of frequentist and Bayesian methods. We demonstrate our improved methodology by exploring relationships between Twitter posts by German members of parliament (MPs) and different metadata covariates.


title: Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices

abstract: New algorithms are presented for computing annihilating polynomials of Toeplitz, Hankel, and more generally Toeplitz+ Hankel-like matrices over a field. Our approach follows works on Coppersmith's block Wiedemann method with structured projections, which have been recently successfully applied for computing the bivariate resultant. A first baby-step/giant step approach -- directly derived using known techniques on structured matrices -- gives a randomized Monte Carlo algorithm for the minimal polynomial of an $n\times n$ Toeplitz or Hankel-like matrix of displacement rank $\alpha$ using $\tilde O(n^{\omega - c(\omega)} \alpha^{c(\omega)})$ arithmetic operations, where $\omega$ is the exponent of matrix multiplication and $c(2.373)\approx 0.523$ for the best known value of $\omega$. For generic Toeplitz+Hankel-like matrices a second algorithm computes the characteristic polynomial in $\tilde O(n^{2-1/\omega})$ operations when the displacement rank is considered constant. Previous algorithms required $O(n^2)$ operations while the exponents presented here are respectively less than $1.86$ and $1.58$ with the best known estimate for $\omega$.


title: Improving Cell-Free Massive MIMO by Local Per-Bit Soft Detection

abstract: In this letter, we consider the uplink of a cell-free Massive multiple-input multiple-output (MIMO) network where each user is decoded by a subset of access points (APs). An additional step is introduced in the cell-free Massive MIMO processing: each AP in the uplink locally implements soft MIMO detection and then shares the resulting bit log-likelihoods on the front-haul link. The decoding of the data is performed at the central processing unit (CPU), collecting the data from the APs. The non-linear processing at the APs consists of the approximate computation of the posterior density for each received data bit, exploiting only local channel state information. The proposed method offers good performance in terms of frame-error-rate and considerably lower complexity than the optimal maximum-likelihood demodulator.


title: Genus of surcircular fields

abstract: We show that Riemann-Hurwitz-style translation formulas obtained by Kuz'min, Kida, Iwasawa, Wingberg et alii for the lambda invariant attached to certain Iwasawa moduli in cyclotomic Z{\ell}-extension of number fields are essentially equivalent. More precisely, we prove that all these formulas,including those stated in terms of representations, resul tidentically for purely algebraic reasons from the arithmetic computation of a suitable Herbrand quotient which it suffices to carry out in the cyclic case of prime degree {\ell}.


title: Compact Variable-Gap Undulator with Hydraulic-Assist Driver: undulator harmonic energy scan test

abstract: In the compact variable-gap undulator with Hydraulic-Assist Driver, miniature hydraulic cylinders compensate for ~90% of magnetic forces and mechanical actuators are used to accurately control the undulator gap. This method of hydraulic assist enables design simplicity and compactness of the undulator. Proof-of-concept experiments and test results of the undulator prototype in step-by-step motion mode indicated excellent accuracy and stability properties of the driver. In this note we present test results of hydraulic-assist driver in continuous motion mode. Results indicate that hydraulic-assist driver can provide smooth continuous undulator gap change, keeping the undulator harmonic energy variation within the required 1eV/sec, and speed and RMS normalized energy errors at 1.8e-4 level (or less). That satisfies any application planned at CHESS.


title: A Study On Some Geometric Properties and Physical Applications of A Mixed Quasi-Einstein Spacetime

abstract: In the present paper we discuss about a set of geometric properties and physical applications of a mixed quasi-Einstein spacetime$[M(QE)_{4}]$, which is a special type of nearly quasi-Einstein spacetime$[N(QE)_{4}]$. Firstly we consider a nearly quasi-Einstein manifold$[N(QE)_{n}]$ along with a mixed quasi-Einstein manifold$[M(QE)_{n}]$ and study some geometric conditions with respect to different curvature tensors on them. Then we consider a mixed quasi-Einstein spacetime and study $W_{2}$-Ricci pseudosymmetry and projective Ricci pseudosymmetry on it. Then we study the conditions $H \cdot S=0$ and $\tilde C \cdot S=0$ in an $M(QE)_{4}$ spacetime, where $H, \tilde C$ are the conharmonical curvature tensor and semiconformal curvature tensor respectively. Next we consider a semiconformally flat Ricci pseudosymmetric $M(QE)_{4}$ spacetime and find the nature of that spacetime. In the next section we study about some applications of a perfect fluid $M(QE)_{4}$ spacetime in the general theory of relativity. Followed by we discuss about the Ricci soliton structure in a semiconformally flat $M(QE)_{4}$ spacetime satisfying Einstein field equation without cosmological constant. Finally we give a nontrivial example of a $M(QE)_{4}$ spacetime to establish the existence of it.


title: Lake equations with an evanescent or emergent island

abstract: We study the asymptotic dynamics of the lake equations in the following two cases, an island shrinking to a point and an emerging island. For both cases, we derive an asymptotic lake-type equation. In the former case, the asymptotic dynamics includes an additional Dirac mass in the vorticity. The main mathematical difficulty is that the equations are singular when the water depth vanishes. We provide new uniform estimates in weighted spaces for the related stream functions which will imply the compactness result.


title: Renormalization of spin excitations and Kondo effect in open shell nanographenes

abstract: We study spin excitations and Kondo effect in open-shell nanographenes, motivated by recent scanning tunneling inelastic spectroscopy experiments. Specifically, we consider three systems, the triangulene, the extended triangulene with rocket shape, both with an $S=1$ ground state, and a triangulene dimer with $S=0$ on account of intermolecular exchange. We focus on the consequences of hybridization of the nanographene zero-modes with a conducting substrate on the $dI/dV$ lineshapes associated with spin excitations. The partially filled nanographene zero-modes coupled to the conduction electrons in the substrate constitute multi-orbital Anderson impurity models that we solve in the one-crossing approximation which treats the coupling to the substrate to infinite order. We find that the coupling to the substrate leads to (i) renormalization of the spin flip excitation energies of the bare molecule, (ii) broadening of the spectral features and (iii) the emergence of zero bias Kondo peaks for the $S=1$ ground states. The calculated substrate induced shift of the spin excitation energies is found to be significantly larger than their broadening, which implies that this effect has to be considered when comparing experimental results and theory.


title: Strain induced strengthening of soft thermoplastic polyurethanes under cyclic deformation

abstract: We investigate the cyclic mechanical behavior in uniaxial tension of three different commercial thermoplastic polyurethane elastomers (TPU) often considered as a sustainable replacement for common filled elastomers. All TPU have similar hard segment contents and linear moduli but sensibly different large strain properties as shown by X-Ray analysis. Despite these differences, we found a stiffening effect after conditioning in step cyclic loading which greatly differs from the common softening (also referred as Mullins effect) observed in chemically crosslinked filled rubbers. We propose that this self-reinforcement is related to the fragmentation of hard domains, naturally present in TPU, in smaller but more numerous sub-units that may act as new physical crosslinking points. The proposed stiffening mechanism is not dissimilar to the strain-induced crystallization observed in stretched natural rubber, but it presents a persistent nature. In particular, it may cause a local reinforcement where an inhomogeneous strain field is present, as is the case of a crack propagating in cyclic fatigue, providing a potential explanation for the well-known toughness and wear resistance of TPU


title: On Galois representations with large image

abstract: For every prime number $p\geq 3$ and every integer $m\geq 1$, we prove the existence of a continuous Galois representation $\rho: G_\mathbb{Q} \rightarrow Gl_m(\mathbb{Z}_p)$ which has open image and is unramified outside $\{p,\infty\}$ (resp. outside $\{2,p,\infty\}$) when $p\equiv 3$ mod $4$ (resp. $p \equiv 1$ mod $4$).


title: Can confined mechanical metamaterials replace adhesives?

abstract: The subject of mechanical metamaterials has been gaining significant attention, however, their widespread application is still halted. Such materials are usually considered as stand-alone, vis-\`a-vis all characteristic length scales being associated solely with geometry of material itself. In this work we propose novel application of mechanical metamaterials as interface regions joining two materials with potential of replacing bulk adhesives. This idea leads into paradigm shifts for both metamaterials and adhesive joints. In specific, we outline methodology for testing and evaluating confined lattice materials within fracture mechanics framework. The theoretical and numerical approaches are inter-winded, revealing a set of critical parameters that needs to be considered during design process. Lattices that are stretching and bending dominated are explored and failure maps are proposed, indicating susceptibility to a certain failure mode depending on level of confinement and characteristic dimension of each lattice's unit cells.

categories: cond-mat.mtrl-sci cond-mat.other cond-mat.soft physics.app-ph


title: Statistical Limits of Sparse Mixture Detection

abstract: We consider the problem of detecting a general sparse mixture and obtain an explicit characterization of the phase transition under some conditions, generalizing the univariate results of Cai and Wu. Additionally, we provide a sufficient condition for the adaptive optimality of a Higher Criticism type testing statistic formulated by Gao and Ma. In the course of establishing these results, we offer a unified perspective through the large deviations theory. The phase transition and adaptive optimality we establish are direct consequences of the large deviation principle of the normalized log-likelihood ratios between the null and the signal distributions.


title: Heat equation on the Heisenberg group: observability and applications

abstract: We investigate observability and Lipschitz stability for the Heisenberg heat equation on the rectangular domain $$\Omega = (-1,1)\times\mathbb{T}\times\mathbb{T}$$ taking as observation regions slices of the form $\omega=(a,b) \times \mathbb{T} \times \mathbb{T}$ or tubes $\omega = (a,b) \times \omega_y \times \mathbb{T}$, with $-1<a<b<1$. We prove that observability fails for an arbitrary time $T>0$ but both observability and Lipschitz stability hold true after a positive minimal time, which depends on the distance between $\omega$ and the boundary of $\Omega$: $$T_{\min} \geqslant \frac{1}{8} \min\{(1+a)^2,(1-b)^2\}.$$ Our proof follows a mixed strategy which combines the approach by Lebeau and Robbiano, which relies on Fourier decomposition, with Carleman inequalities for the heat equations that are solved by the Fourier modes. We extend the analysis to the unbounded domain $(-1,1)\times\mathbb{T}\times\mathbb{R}$.


title: Non-local corrections to the typical medium theory of Anderson localization

abstract: We use the recently developed finite cluster typical medium approach to study the Anderson localization transition in three dimensions. Applying our method to the box and binary alloy disorder distributions, we find a fast convergence with the cluster size. We demonstrate the importance of the typical medium environment and the non-local spatial correlations for the proper characterization of the localization transition. As the cluster size increases, our typical medium cluster method recovers the correct critical disorder strength for the transition. Our findings highlight the importance of the non-local cluster corrections for capturing the localization behavior of the mobility edge trajectories. Our results demonstrate that the typical medium cluster approach developed here provides a consistent and systematic description of the Anderson localization transition in the framework of the effective medium embedding schemes.


title: Infrared study of the interplay of charge, spin, and lattice excitations in the magnetic topological insulator EuIn$_2$As$_{2}$

abstract: We report an infrared spectroscopy study of the axion topological insulator candidate EuIn$_2$As$_2$ for which the Eu moments exhibit an A-type antiferromagnetic (AFM) order below $T_N \simeq 18 \mathrm{K}$. The low energy response is composed of a weak Drude peak at the origin, a pronounced infrared-active phonon mode at 185 cm$^{-1}$ and a free carrier plasma edge around 600 cm$^{-1}$. The interband transitions start above 800 cm$^{-1}$ and give rise to a series of weak absorption bands at 5\,000 and 12\,000 cm$^{-1}$ and strong ones at 20\,000, 27\,500 and 32\,000 cm$^{-1}$. The AFM transition gives rise to pronounced anomalies of the charge response in terms of a cusp-like maximum of the free carrier scattering rate around $T_N$ and large magnetic splittings of the interband transitions at 5\,000 and 12\,000 cm$^{-1}$. The phonon mode at 185 cm$^{-1}$ has also an anomalous temperature dependence around $T_N$ which suggests that it couples to the fluctuations of the Eu spins. The combined data provide evidence for a strong interaction amongst the charge, spin and lattice degrees of freedom.


title: Four-wave-cooling to the single phonon level in Kerr optomechanics

abstract: The field of cavity optomechanics has achieved groundbreaking photonic control and detection of mechanical oscillators, based on their coupling to linear electromagnetic modes. Lately, however, there is an uprising interest in exploring cavity nonlinearities as a powerful new resource in radiation-pressure interacting systems. Here, we present a flux-mediated optomechanical device combining a nonlinear Josephson-based superconducting quantum interference cavity with a mechanical nanobeam. We demonstrate how the intrinsic Kerr nonlinearity of the microwave circuit can be used for a counter-intuitive blue-detuned sideband-cooling scheme based on multi-tone cavity driving and intracavity four-wave-mixing. Based on the large single-photon coupling rate of the system of up to $g_0 = 2\pi\cdot 3.6\,$kHz and a high mechanical quality factor $Q_\mathrm{m} \approx 4\cdot 10^{5}$, we achieve an effective four-wave cooperativity of $\mathcal{C}_\mathrm{fw} > 100$ and demonstrate four-wave cooling of the mechanical oscillator close to its quantum groundstate, achieving a final occupancy of $n_\mathrm{m} \sim 1.6$. Our results significantly advance the recently developed platform of flux-mediated optomechanics and demonstrate how cavity Kerr nonlinearities can be utilized for novel control schemes in cavity optomechanics.


title: Low Complexity Joint Impairment Mitigation of I/Q Modulator and PA Using Neural Networks

abstract: Neural networks (NNs) for multiple hardware impairments mitigation of a realistic direct conversion transmitter are impractical due to high computational complexity. We propose two methods to reduce complexity without significant performance penalty. We first propose a novel attention residual learning NN, referred to as attention residual real-valued time-delay neural network (ARDEN), where trainable neuron-wise shortcut connections between the input and output layers allow to keep the attention always active. Furthermore, we implement a NN pruning algorithm that gradually removes connections corresponding to minimal weight magnitudes in each layer. Simulation and experimental results show that ARDEN with pruning achieves better performance for compensating frequency-dependent quadrature imbalance and power amplifier nonlinearity than other NN-based and Volterra-based models, while requiring less or similar complexity.


title: Logging Practices with Mobile Analytics: An Empirical Study on Firebase

abstract: Software logs are of great value in both industrial and open-source projects. Mobile analytics logging enables developers to collect logs remotely from their apps running on end user devices at the cost of recording and transmitting logs across the Internet to a centralised infrastructure. This paper makes a first step in characterising logging practices with a widely adopted mobile analytics logging library, namely Firebase Analytics. We provide an empirical evaluation of the use of Firebase Analytics in 57 open-source Android applications by studying the evolution of code-bases to understand: a) the needs-in-common that push practitioners to adopt logging practices on mobile devices, and b) the differences in the ways developers use local and remote logging. Our results indicate mobile analytics logs are less pervasive and less maintained than traditional logging code. Based on our analysis, we believe logging using mobile analytics is more user centered compared to traditional logging, where the latter is mainly used to record information for debugging purposes.


title: Nuclear pasta and symmetry energy in the relativistic point-coupling model

abstract: Nonuniform structure of low-density nuclear matter, known as nuclear pasta, is expected to appear not only in the inner crust of neutron stars but also in core-collapse supernova explosions and neutron-star mergers. We perform fully three-dimensional calculations of inhomogeneous nuclear matter and neutron-star matter in the low-density region using the Thomas-Fermi approximation. The nuclear interaction is described in the relativistic mean-field approach with the point-coupling interaction, where the meson exchange in each channel is replaced by the contact interaction between nucleons. We investigate the influence of nuclear symmetry energy and its density dependence on pasta structures by introducing a coupling term between the isoscalar-vector and isovector-vector interactions. It is found that the properties of pasta phases in the neutron-rich matter are strongly dependent on the symmetry energy and its slope. In addition to typical shapes like droplets, rods, slabs, tubes, and bubbles, some intermediate pasta structures are also observed in cold stellar matter with a relatively large proton fraction. We find that nonspherical shapes are unlikely to be formed in neutron-star crusts, since the proton fraction obtained in $\beta$ equilibrium is rather small. The inner crust properties may lead to a visible difference in the neutron-star radius.