title: Bending behavior of additively manufactured lattice structures: numerical characterization and experimental validation

abstract: Selective Laser Melting (SLM) technology has undergone significant development in the past years providing unique flexibility for the fabrication of complex metamaterials such as octet-truss lattices. However, the microstructure of the final parts can exhibit significant variations due to the high complexity of the manufacturing process. Consequently, the mechanical behavior of these lattices is strongly dependent on the process-induced defects, raising the importance on the incorporation of as-manufactured geometries into the computational structural analysis. This, in turn, challenges the traditional mesh-conforming methods making the computational costs prohibitively large. In the present work, an immersed image-to-analysis framework is applied to efficiently evaluate the bending behavior of AM lattices. To this end, we employ the Finite Cell Method (FCM) to perform a three-dimensional numerical analysis of the three-point bending test of a lattice structure and compare the as-designed to as-manufactured effective properties. Furthermore, we undertake a comprehensive study on the applicability of dimensionally reduced beam models to the prediction of the bending behavior of lattice beams and validate classical and strain gradient beam theories applied in combination with the FCM. The numerical findings suggest that the SLM octet-truss lattices exhibit size effects, thus, requiring a flexible framework to incorporate high-order continuum theories.


title: Growing Mars fast: High-resolution GPU simulations of embryo formation

abstract: Recent high precision meteoritic data improve constraints on the formation timescale and bulk composition of the terrestrial planets. High resolution N-body simulations allow direct comparison of embryo growth timescale and accretion zones to these constraints. In this paper, we present results of high resolution simulations for embryo formation from a disc of up to 41,000 fully-self gravitating planetesimals with the GPU-based N-body code GENGA. Our results indicate that the growth of embryos are highly dependent on the initial conditions. More massive initial planetesimals, a shorter gas disc decay timescale and initially eccentric Jupiter and Saturn (EJS) all lead to faster growth of embryos. Asteroid belt material can thereby be implanted into the terrestrial planet region via sweeping secular resonances. This could possibly explain the rapid growth of Mars within 10 Myr inferred from its Hf-W chronology. The sweeping secular resonance almost completely clears the asteroid belt and deposits this material in the Mercury-Venus region, altering the composition of embryos there. This could result in embryos in the Mercury-Venus region accreting an unexpectedly high mass fraction from beyond 2 AU. Changing the initial orbits of Jupiter and Saturn to more circular (CJS) or assuming embryos formed in a gas free environment removes the sweeping secular resonance effect and thus greatly decreases material accreted from beyond 2 AU for Mercury-Venus region embryos. We therefore propose that rock samples from Mercury and Venus could aid greatly in deducing the condition and lifetime of the initial protoplanetary gas disc during planetesimal and embryo formation, as well as the initial architecture of the giant planets.


title: Symmetries, constants of the motion and reduction of mechanical systems with external forces

abstract: This paper is devoted to the study of mechanical systems subjected to external forces in the framework of symplectic geometry. We obtain a Noether's theorem for Lagrangian systems with external forces, among other results regarding symmetries and conserved quantities. We particularize our results for the so-called Rayleigh dissipation, i.e., external forces that are derived from a dissipation function, and illustrate them with some examples. Moreover, we present a theory for the reduction of Lagrangian systems subjected to external forces which are invariant under the action of a Lie group.

categories: math-ph math.MP math.SG physics.class-ph


title: A quantum Boltzmann equation for strongly correlated electrons

abstract: Collective orders and photo-induced phase transitions in quantum matter can evolve on timescales which are orders of magnitude slower than the femtosecond processes related to electronic motion in the solid. Quantum Boltzmann equations can potentially resolve this separation of timescales, but are often constructed within a perturbative framework. Here we derive a quantum Boltzmann equation which only assumes a separation of timescales (taken into account through the gradient approximation for convolutions in time), but is based on a non-perturbative scattering integral, and makes no assumption on the spectral function such as the quasiparticle approximation. In particular, a scattering integral corresponding to non-equilibrium dynamical mean-field theory is evaluated in terms of an Anderson impurity model in a non-equilibrium steady state with prescribed distribution functions. This opens the possibility to investigate dynamical processes in correlated solids with quantum impurity solvers designed for the study of non-equilibrium steady states.


title: A Decentralized Analysis of Multiparty Protocols

abstract: Protocols provide the unifying glue in concurrent and distributed software today; verifying that message-passing programs conform to such governing protocols is important but difficult. Static approaches based on multiparty session types (MPST) use protocols as types to avoid protocol violations and deadlocks in programs. An elusive problem for MPST is to ensure both protocol conformance and deadlock freedom for implementations with interleaved and delegated protocols. We propose a decentralized analysis of multiparty protocols, specified as global types and implemented as interacting processes in an asynchronous $\pi$-calculus. Our solution rests upon two novel notions: router processes and relative types. While router processes use the global type to enable the composition of participant implementations in arbitrary process networks, relative types extract from the global type the intended interactions and dependencies between pairs of participants. In our analysis, processes are typed using APCP, a type system that ensures protocol conformance and deadlock freedom with respect to binary protocols, developed in prior work. Our decentralized, router-based analysis enables the sound and complete transference of protocol conformance and deadlock freedom from APCP to multiparty protocols.


title: Projected Statistical Methods for Distributional Data on the Real Line with the Wasserstein Metric

abstract: We present a novel class of projected methods, to perform statistical analysis on a data set of probability distributions on the real line, with the 2-Wasserstein metric. We focus in particular on Principal Component Analysis (PCA) and regression. To define these models, we exploit a representation of the Wasserstein space closely related to its weak Riemannian structure, by mapping the data to a suitable linear space and using a metric projection operator to constrain the results in the Wasserstein space. By carefully choosing the tangent point, we are able to derive fast empirical methods, exploiting a constrained B-spline approximation. As a byproduct of our approach, we are also able to derive faster routines for previous work on PCA for distributions. By means of simulation studies, we compare our approaches to previously proposed methods, showing that our projected PCA has similar performance for a fraction of the computational cost and that the projected regression is extremely flexible even under misspecification. Several theoretical properties of the models are investigated and asymptotic consistency is proven. Two real world applications to Covid-19 mortality in the US and wind speed forecasting are discussed.


title: Blast waves in a paraxial fluid of light

abstract: We study experimentally blast wave dynamics on a weakly interacting fluid of light. The fluid density and velocity are measured in 1D and 2D geometries. Using a state equation arising from the analogy between optical propagation in the paraxial approximation and the hydrodynamic Euler's equation, we access the fluid hydrostatic and dynamic pressure. In the 2D configuration, we observe a negative differential hydrostatic pressure after the fast expansion of a localized over-density, which is a typical signature of a blast wave for compressible gases. Our experimental results are compared to the Friedlander waveform hydrodynamical model. Velocity measurements are presented in 1D and 2D configurations and compared to the local speed of sound, to identify supersonic region of the fluid. Our findings show an unprecedented control over hydrodynamic quantities in a paraxial fluid of light.


title: Quantum Private Information Retrieval for Quantum Messages

abstract: Quantum private information retrieval (QPIR) for quantum messages is the protocol in which a user retrieves one of the multiple quantum states from one or multiple servers without revealing which state is retrieved. We consider QPIR in two different settings: the blind setting, in which the servers contain one copy of the message states, and the visible setting, in which the servers contain the description of the message states. One trivial solution in both settings is downloading all states from the servers and the main goal of this paper is to find more efficient QPIR protocols. First, we prove that the trivial solution is optimal for one-server QPIR in the blind setting. In one-round protocols, the same optimality holds even in the visible setting. On the other hand, when the user and the server share entanglement, we prove that there exists an efficient one-server QPIR protocol in the blind setting. Furthermore, in the visible setting, we prove that it is possible to construct symmetric QPIR protocols in which the user obtains no information of the non-targeted messages. We construct three two-server symmetric QPIR protocols for pure states. Note that symmetric classical PIR is impossible without shared randomness unknown to the user.


title: PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)

abstract: Refactorings must not alter the program's functionality. However, not all refactorings fulfill this requirement. Hence, one must explicitly check that a refactoring does not alter the functionality. Since one rarely has a formal specification of the program's behavior, we utilize the original program as functional specification. Then, we check whether the original and refactored program are functionally equivalent. To this end, we apply a common idea and reduce equivalence checking to program verification. To increase efficiency, our equivalence checker PEQcheck constructs one verification task per refactored code segment instead of one per function as typically done by prior work. In addition, PEQcheck considers the context of the code segments. For instance, only variables that are modified and live are required to be equivalent and read-only variables may be shared between original and refactored code segments. We show that PEQcheck is sound.Moreover, our evaluation testifies that the localized and context-aware checking performed by \peqcheck can indeed be beneficial.


title: Homotopy Methods for Eigenvector-Dependent Nonlinear Eigenvalue Problems

abstract: Eigenvector-dependent nonlinear eigenvalue problems are considered which arise from the finite difference discretizations of the Gross-Pitaevskii equation. Existence and uniqueness of positive eigenvector for both one and two dimensional cases and existence of antisymmetric eigenvector for one dimensional case are proved. In order to compute eigenpairs corresponding to excited states as well as ground state, homotopies for both one and two dimensional problems are constructed respectively and the homotopy paths are proved to be regular and bounded. Numerical results are presented to verify the theories derived for both one and two dimensional problems.


title: Girth, magnitude homology, and phase transition of diagonality

abstract: This paper studies the magnitude homology of graphs focusing mainly on the relationship between its diagonality and the girth. Magnitude and magnitude homology are formulations of the Euler characteristic and the corresponding homology, respectively, for finite metric spaces, first introduced by Leinster and Hepworth-Willerton. Several authors study them restricting to graphs with path metric, and some properties which are similar to the ordinary homology theory have come to light. However, the whole picture of their behavior is still unrevealed, and it is expected that they catch some geometric properties of graphs. In this article, we show that the girth of graphs partially determines magnitude homology, that is, the larger girth a graph has, the more homologies near the diagonal part vanish. Furthermore, applying this result to a typical random graph, we investigate how the diagonality of graphs varies statistically as the edge density increases. In particular, we show that there exists a phase transition phenomenon for the diagonality.


title: Inference of Markov models from trajectories via Large Deviations at Level 2.5 with applications to random walks in disordered media

abstract: The inference of Markov models from data on stochastic dynamical trajectories over the large time-window $T$ is revisited via the Large Deviations at Level 2.5 for the time-empirical density and the time-empirical flows. The goal is to obtain the large deviations properties for the probability distribution of the inferred Markov parameters in order to characterize their possible fluctuations around the true Markov parameters for large $T$. The explicit rate functions are given for several settings, namely discrete-time Markov chains, continuous-time Markov jump processes, and diffusion processes in dimension $d$. Applications to various models of random walks in disordered media are described, where the goal is to infer the quenched disordered variables defining a given disordered sample.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: Run-and-tumble motion: the role of reversibility

abstract: We study a model of active particles that perform a simple random walk and on top of that have a preferred direction determined by an internal state which is modelled by a stationary Markov process. First we calculate the limiting diffusion coefficient. Then we show that the `active part' of the diffusion coefficient is in some sense maximal for reversible state processes. Further, we obtain a large deviations principle for the active particle in terms of the large deviations rate function of the empirical process corresponding to the state process. Again we show that the rate function and free energy function are (pointwise) optimal for reversible state processes. Finally, we show that in the case with two states, the Fourier-Laplace transform of the distribution, the moment generating function and the free energy function can be computed explicitly. Along the way we provide several examples.


title: A consistent BGK model with velocity-dependent collision frequency for gas mixtures

abstract: We derive a multi-species BGK model with velocity-dependent collision frequency for a non-reactive, multi-component gas mixture. The model is derived by minimizing a weighted entropy under the constraint that the number of particles of each species, total momentum, and total energy are conserved. We prove that this minimization problem admits a unique solution for very general collision frequencies. Moreover, we prove that the model satisfies an H-Theorem and characterize the form of equilibrium.


title: Selfish Sparse RNN Training

abstract: Sparse neural networks have been widely applied to reduce the computational demands of training and deploying over-parameterized deep neural networks. For inference acceleration, methods that discover a sparse network from a pre-trained dense network (dense-to-sparse training) work effectively. Recently, dynamic sparse training (DST) has been proposed to train sparse neural networks without pre-training a dense model (sparse-to-sparse training), so that the training process can also be accelerated. However, previous sparse-to-sparse methods mainly focus on Multilayer Perceptron Networks (MLPs) and Convolutional Neural Networks (CNNs), failing to match the performance of dense-to-sparse methods in the Recurrent Neural Networks (RNNs) setting. In this paper, we propose an approach to train intrinsically sparse RNNs with a fixed parameter count in one single run, without compromising performance. During training, we allow RNN layers to have a non-uniform redistribution across cell gates for better regularization. Further, we propose SNT-ASGD, a novel variant of the averaged stochastic gradient optimizer, which significantly improves the performance of all sparse training methods for RNNs. Using these strategies, we achieve state-of-the-art sparse training results, better than the dense-to-sparse methods, with various types of RNNs on Penn TreeBank and Wikitext-2 datasets. Our codes are available at https://github.com/Shiweiliuiiiiiii/Selfish-RNN.


title: Spin dynamics and unconventional Coulomb phase in Nd$_2$Zr$_2$O$_7$

abstract: We investigate the temperature dependence of the spin dynamics in the pyrochlore magnet Nd$_2$Zr$_2$O$_7$ by neutron scattering experiments. At low temperature, this material undergoes a transition towards an "all in - all out" antiferromagnetic phase and the spin dynamics encompass a dispersion-less mode, characterized by a dynamical spin ice structure factor. Unexpectedly, this mode is found to survive above $T_{\rm N} \approx 300$ mK. Concomitantly, elastic correlations of the spin ice type develop. These are the signatures of a peculiar correlated paramagnetic phase which can be considered as a new example of Coulomb phase. Our observations near $T_{\rm N}$ do not reproduce the signatures expected for a Higgs transition, but show reminiscent features of the "all in - all out" order superimposed on a Coulomb phase.


title: Chemistry42: An AI-based platform for de novo molecular design

abstract: Chemistry42 is a software platform for de novo small molecule design that integrates Artificial Intelligence (AI) techniques with computational and medicinal chemistry methods. Chemistry42 is unique in its ability to generate novel molecular structures with predefined properties validated through in vitro and in vivo studies. Chemistry42 is a core component of Insilico Medicine Pharma.ai drug discovery suite that also includes target discovery and multi-omics data analysis (PandaOmics) and clinical trial outcomes predictions (InClinico).


title: Contact problems with friction for hemitropic solids: boundary variational inequality approach

abstract: We study the interior and exterior contact problems for hemitropic elastic solids. We treat the cases when the friction effects, described by Tresca friction (given friction model), are taken into consideration either on some part of the boundary of the body or on the whole boundary. We equivalently reduce these problems to a boundary variational inequality with the help of the Steklov-Poincar'e type operator. Based on our boundary variational inequality approach we prove existence and uniqueness theorems for weak solutions. We prove that the solutions continuously depend on the data of the original problem and on the friction coefficient. For the interior problem necessary and sufficient conditions of solvability are established when friction is taken into consideration on the whole boundary.


title: 15 years of Galactic surveys and hard X-ray Background measurements

abstract: The INTEGRAL hard X-ray surveys have proven to be of fundamental importance. INTEGRAL has mapped the Galactic plane with its large field of view and excellent sensitivity. Such hard X-ray snapshots of the whole Milky Way on a time scale of a year are beyond the capabilities of past and current narrow-FOV grazing incidence X-ray telescopes. By expanding the INTEGRAL X-ray survey into shorter timescales, a productive search for transient X-ray emitters was made possible. In more than fifteen years of operation, the INTEGRAL observatory has given us a sharper view of the hard X-ray sky, and provided the triggers for many follow-up campaigns from radio frequencies to gamma-rays. In addition to conducting a census of hard X-ray sources across the entire sky, INTEGRAL has carried out, through Earth occultation maneuvers, unique observations of the large-scale cosmic X-ray background, which will without question be included in the annals of X-ray astronomy as one of the mission's most salient contribution to our understanding of the hard X-ray sky.


title: New randomized response technique for estimating the population total of a quantitative variable

abstract: In this paper, a new randomized response technique aimed at protecting respondents' privacy is proposed. It is designed for estimating the population total, or the population mean, of a quantitative characteristic. It provides a~high degree of protection to the interviewed individuals, hence it may be favorably perceived by them and increase their willingness to cooperate. Instead of revealing the true value of the characteristic under investigation, a respondent only states whether the value is greater (or smaller) than a~number which is selected by him/her at random, and is unknown to the interviewer. For each respondent this number, a sort of individual threshold, is generated as a pseudorandom number from the uniform distribution. Further, two modifications of the proposed technique are presented. The first modification assumes that the interviewer also knows the generated random number. The second modification deals with the issue that, for certain variables, such as income, it may be embarrassing for the respondents to report either high or low values. Thus, depending on the value of the pseudorandom lower bound, the respondent is asked different questions to avoid being embarrassed. The suggested approach is applied in detail to the simple random sampling without replacement, but it can also be applied to many currently used sampling schemes, including cluster sampling, two-stage sampling, etc. Results of simulations illustrate the behavior of the proposed procedure.


title: Adversarial Laws of Large Numbers and Optimal Regret in Online Classification

abstract: Laws of large numbers guarantee that given a large enough sample from some population, the measure of any fixed sub-population is well-estimated by its frequency in the sample. We study laws of large numbers in sampling processes that can affect the environment they are acting upon and interact with it. Specifically, we consider the sequential sampling model proposed by Ben-Eliezer and Yogev (2020), and characterize the classes which admit a uniform law of large numbers in this model: these are exactly the classes that are \emph{online learnable}. Our characterization may be interpreted as an online analogue to the equivalence between learnability and uniform convergence in statistical (PAC) learning. The sample-complexity bounds we obtain are tight for many parameter regimes, and as an application, we determine the optimal regret bounds in online learning, stated in terms of \emph{Littlestone's dimension}, thus resolving the main open question from Ben-David, P\'al, and Shalev-Shwartz (2009), which was also posed by Rakhlin, Sridharan, and Tewari (2015).

categories: cs.LG cs.CR cs.DS math.ST stat.ML stat.TH


title: Growth of Sobolev norms in linear Schr\"odinger equations as a dispersive phenomenon

abstract: In this paper we consider linear, time dependent Schr\"odinger equations of the form ${\rm i} \partial_t \psi = K_0 \psi + V(t) \psi$, where $K_0$ is a strictly positive selfadjoint operator with discrete spectrum and constant spectral gaps, and $V(t)$ a time periodic potential. We give sufficient conditions on $V(t)$ ensuring that $K_0+V (t)$ generates unbounded orbits. The main condition is that the resonant average of $V(t)$, namely the average with respect to the flow of $K_0$, has a nonempty absolutely continuous spectrum and fulfills a Mourre estimate. These conditions are stable under perturbations. The proof combines pseudodifferential normal form with dispersive estimates in the form of local energy decay. We apply our abstract construction to the Harmonic oscillator on $\mathbb R$ and to the half-wave equation on $\mathbb T$; in each case, we provide large classes of potentials which are transporters.


title: A Few Good Counterfactuals: Generating Interpretable, Plausible and Diverse Counterfactual Explanations

abstract: Counterfactual explanations provide a potentially significant solution to the Explainable AI (XAI) problem, but good, native counterfactuals have been shown to rarely occur in most datasets. Hence, the most popular methods generate synthetic counterfactuals using blind perturbation. However, such methods have several shortcomings: the resulting counterfactuals (i) may not be valid data-points (they often use features that do not naturally occur), (ii) may lack the sparsity of good counterfactuals (if they modify too many features), and (iii) may lack diversity (if the generated counterfactuals are minimal variants of one another). We describe a method designed to overcome these problems, one that adapts native counterfactuals in the original dataset, to generate sparse, diverse synthetic counterfactuals from naturally occurring features. A series of experiments are reported that systematically explore parametric variations of this novel method on common datasets to establish the conditions for optimal performance.


title: DSAL: Deeply Supervised Active Learning from Strong and Weak Labelers for Biomedical Image Segmentation

abstract: Image segmentation is one of the most essential biomedical image processing problems for different imaging modalities, including microscopy and X-ray in the Internet-of-Medical-Things (IoMT) domain. However, annotating biomedical images is knowledge-driven, time-consuming, and labor-intensive, making it difficult to obtain abundant labels with limited costs. Active learning strategies come into ease the burden of human annotation, which queries only a subset of training data for annotation. Despite receiving attention, most of active learning methods generally still require huge computational costs and utilize unlabeled data inefficiently. They also tend to ignore the intermediate knowledge within networks. In this work, we propose a deep active semi-supervised learning framework, DSAL, combining active learning and semi-supervised learning strategies. In DSAL, a new criterion based on deep supervision mechanism is proposed to select informative samples with high uncertainties and low uncertainties for strong labelers and weak labelers respectively. The internal criterion leverages the disagreement of intermediate features within the deep learning network for active sample selection, which subsequently reduces the computational costs. We use the proposed criteria to select samples for strong and weak labelers to produce oracle labels and pseudo labels simultaneously at each active learning iteration in an ensemble learning manner, which can be examined with IoMT Platform. Extensive experiments on multiple medical image datasets demonstrate the superiority of the proposed method over state-of-the-art active learning methods.


title: Polymer-embedded molecular junctions between graphene sheets: A Molecular Dynamics study

abstract: Thermal conduction in polymer nanocomposites depends on several parameters including the thermal conductivity and geometrical features of the nanoparticles, the particle loading, their degree of dispersion and formation of a percolating networks. To enhance efficiency of thermal contact between free-standing conductive nanoparticles were previously proposed. This work report for the first time the investigation of molecular junctions within a graphene polymer nanocomposite. Molecular dynamics simulations were conducted to investigate the thermal transport efficiency of molecular junctions in polymer tight contact, to quantify the contribution of molecular junctions when graphene and the molecular junctions are surrounded by polydimethylsiloxane (PDMS). A strong dependence of the thermal conductance in PDMS/graphene model was found, with best performances obtained with short and conformationally rigid molecular junctions.


title: An ensemble solver for segregated cardiovascular FSI

abstract: Computational models are increasingly used for diagnosis and treatment of cardiovascular disease. To provide a quantitative hemodynamic understanding that can be effectively used in the clinic, it is crucial to quantify the variability in the outputs from these models due to multiple sources of uncertainty. To quantify this variability, the analyst invariably needs to generate a large collection of high-fidelity model solutions, typically requiring a substantial computational effort. In this paper, we show how an explicit-in-time ensemble cardiovascular solver offers superior performance with respect to the embarrassingly parallel solution with implicit-in-time algorithms, typical of an inner-outer loop paradigm for non-intrusive uncertainty propagation. We discuss in detail the numerics and efficient distributed implementation of a segregated FSI cardiovascular solver on both CPU and GPU systems, and demonstrate its applicability to idealized and patient-specific cardiovascular models, analyzed under steady and pulsatile flow conditions.


title: Rethinking Domain Generalization Baselines

abstract: Despite being very powerful in standard learning settings, deep learning models can be extremely brittle when deployed in scenarios different from those on which they were trained. Domain generalization methods investigate this problem and data augmentation strategies have shown to be helpful tools to increase data variability, supporting model robustness across domains. In our work we focus on style transfer data augmentation and we present how it can be implemented with a simple and inexpensive strategy to improve generalization. Moreover, we analyze the behavior of current state of the art domain generalization methods when integrated with this augmentation solution: our thorough experimental evaluation shows that their original effect almost always disappears with respect to the augmented baseline. This issue open new scenarios for domain generalization research, highlighting the need of novel methods properly able to take advantage of the introduced data variability.


title: First principles study of the surface of silica and sodium silicate glasses

abstract: We use \textit{ab initio} molecular dynamics simulations to investigate the properties of the dry surface of pure silica and sodium silicate glasses. The surface layers are defined based on the atomic distributions along the direction ($z-$direction) perpendicular to the surfaces. We show that these surfaces have a higher concentration of dangling bonds as well as two-membered (2M) rings than the bulk samples. Increasing concentration of Na$_2$O reduces the proportion of structural defects. From the vibrational density of states, one concludes that 2M rings have a unique vibrational signature at a frequency $\approx850$~cm$^{-1}$, compatible with experimental findings. We also find that, due to the presence of surfaces, the atomic vibration in the $z-$direction is softer than for the two other directions. The electronic density of states shows clear the differences between the surface and interior and we can attribute these to specific structural units. Finally, the analysis of the electron localization function allows to get insight on the influence of local structure and the presence of Na on the nature of chemical bonding in the glasses.


title: Quasi-isotropic orbital magnetoresistance in lightly doped SrTiO$_{3}$

abstract: A magnetic field parallel to an electrical current does not produce a Lorentz force on the charge carriers. Therefore, orbital longitudinal magnetoresistance is unexpected. Here we report on the observation of a large and non saturating magnetoresistance in lightly doped SrTiO$_{3-x}$ independent of the relative orientation of current and magnetic field. We show that this quasi-isotropic magnetoresistance can be explained if the carrier mobility along all orientations smoothly decreases with magnetic field. This anomalous regime is restricted to low concentrations when the dipolar correlation length is longer than the distance between carriers. We identify cyclotron motion of electrons in a potential landscape tailored by polar domains as the cradle of quasi-isotropic orbital magnetoresistance. The result emerges as a challenge to theory and may be a generic feature of lightly-doped quantum paralectric materials.


title: Properties of graphene-related materials controlling thermal conductivity of their polymer nanocomposites

abstract: Different types of graphene-related materials (GRM) are industrially available and have been exploited for thermal conductivity enhancement in polymers. These include materials with very different features, in terms of thickness, lateral size and composition, especially concerning the oxygen to carbon ratio and the possible presence of surface functionalization. Due to the variability of GRM properties, the differences in polymer nanocomposites preparation methods and the microstructures obtained, a large scatter of thermal conductivity performance is found in literature. However, detailed correlations between GRM-based nanocomposites features, including nanoplatelets thickness and size, defectiveness, composition and dispersion, with their thermal conductivity remain mostly undefined. In the present paper, the thermal conductivity of GRM-based polymer nanocomposites, prepared by melt polymerization of cyclic polybutylene terephtalate oligomers, exploiting 13 different GRM grades, was investigated. The selected GRM, covering a wide range of specific surface area, size and defectiveness, secure a sound basis for the understanding of the effect of GRM properties on the thermal conductivity of their relevant polymer nanocomposites. Indeed, the thermal conductivity obtained appeared to depend on the interplay between the above GRM feature. In particular, the combination of low GRM defectiveness and high filler percolation density was found to maximize the nanocomposites thermal conductivity.


title: Extensive networks would eliminate the demand for pricing formulas

abstract: In this study, we generate a large number of implied volatilities for the Stochastic Alpha Beta Rho (SABR) model using a graphics processing unit (GPU) based simulation and enable an extensive neural network to learn them. This model does not have any exact pricing formulas for vanilla options, and neural networks have an outstanding ability to approximate various functions. Surprisingly, the network reduces the simulation noises by itself, thereby achieving as much accuracy as the Monte-Carlo simulation. Extremely high accuracy cannot be attained via existing approximate formulas. Moreover, the network is as efficient as the approaches based on the formulas. When evaluating based on high accuracy and efficiency, extensive networks can eliminate the necessity of the pricing formulas for the SABR model. Another significant contribution is that a novel method is proposed to examine the errors based on nonlinear regression. This approach is easily extendable to other pricing models for which it is hard to induce analytic formulas.


title: Interrelation of elasticity and thermal bath in nanotube cantilevers

abstract: We report the first study on the thermal behaviour of the stiffness of individual carbon nanotubes, which is achieved by measuring the resonance frequency of their fundamental mechanical bending modes. We observe a reduction of the Young's modulus over a large temperature range with a slope $-(173\pm 65)$ ppm/K in its relative shift. These findings are reproduced by two different theoretical models based on the thermal dynamics of the lattice. These results reveal how the measured fundamental bending modes depend on the phonons in the nanotube via the Young's modulus. An alternative description based on the coupling between the measured mechanical modes and the phonon thermal bath in the Akhiezer limit is discussed.


title: Query Abandonment Prediction with Recurrent Neural Models of Mouse Cursor Movements

abstract: Most successful search queries do not result in a click if the user can satisfy their information needs directly on the SERP. Modeling query abandonment in the absence of click-through data is challenging because search engines must rely on other behavioral signals to understand the underlying search intent. We show that mouse cursor movements make a valuable, low-cost behavioral signal that can discriminate good and bad abandonment. We model mouse movements on SERPs using recurrent neural nets and explore several data representations that do not rely on expensive hand-crafted features and do not depend on a particular SERP structure. We also experiment with data resampling and augmentation techniques that we adopt for sequential data. Our results can help search providers to gauge user satisfaction for queries without clicks and ultimately contribute to a better understanding of search engine performance.


title: Relaying Topological Interface States for Negative Refraction of Bulk Waves

abstract: Topological notions in physics have become a powerful perspective that leads to the discoveries of topological interface states (TISs). In this work, we present a scheme to achieve negative refraction by leveraging the properties of TISs in a valley photonic crystal (VPC). Due to the chiral characteristics, one type of the TISs deterministically possesses negative dispersion relation, which can cause an obliquely incident wave to undergo a negative lateral shift. By stacking multiple VPC interfaces, the TIS-induced lateral shifts can relay in the transmitted wave towards the far side of incidence. The resultant outgoing wave appears to have undergone negative refraction. This finding is verified in microwave experiments. Our scheme opens new application scenarios for topological systems in bulk wave manipulations.


title: Convergence Results of Forward-Backward Algorithms for Sum of Monotone Operators in Banach Spaces

abstract: It is well known that many problems in image recovery, signal processing, and machine learning can be modeled as finding zeros of the sum of maximal monotone and Lipschitz continuous monotone operators. Many papers have studied forward-backward splitting methods for finding zeros of the sum of two monotone operators in Hilbert spaces. Most of the proposed splitting methods in the literature have been proposed for the sum of maximal monotone and inverse-strongly monotone operators in Hilbert spaces. In this paper, we consider splitting methods for finding zeros of the sum of maximal monotone operators and Lipschitz continuous monotone operators in Banach spaces. We obtain weak and strong convergence results for the zeros of the sum of maximal monotone and Lipschitz continuous monotone operators in Banach spaces. Many already studied problems in the literature can be considered as special cases of this paper.


title: Lexical semantic change for Ancient Greek and Latin

abstract: Change and its precondition, variation, are inherent in languages. Over time, new words enter the lexicon, others become obsolete, and existing words acquire new senses. Associating a word's correct meaning in its historical context is a central challenge in diachronic research. Historical corpora of classical languages, such as Ancient Greek and Latin, typically come with rich metadata, and existing models are limited by their inability to exploit contextual information beyond the document timestamp. While embedding-based methods feature among the current state of the art systems, they are lacking in the interpretative power. In contrast, Bayesian models provide explicit and interpretable representations of semantic change phenomena. In this chapter we build on GASC, a recent computational approach to semantic change based on a dynamic Bayesian mixture model. In this model, the evolution of word senses over time is based not only on distributional information of lexical nature, but also on text genres. We provide a systematic comparison of dynamic Bayesian mixture models for semantic change with state-of-the-art embedding-based models. On top of providing a full description of meaning change over time, we show that Bayesian mixture models are highly competitive approaches to detect binary semantic change in both Ancient Greek and Latin.


title: A sparse grid discrete ordinate discontinuous Galerkin method for the radiative transfer equation

abstract: The radiative transfer equation is a fundamental equation in transport theory and applications, which is a 5-dimensional PDE in the stationary one-velocity case, leading to great difficulties in numerical simulation. To tackle this bottleneck, we first use the discrete ordinate technique to discretize the scattering term, an integral with respect to the angular variables, resulting in a semi-discrete hyperbolic system. Then, we make the spatial discretization by means of the discontinuous Galerkin (DG) method combined with the sparse grid method. The final linear system is solved by the block Gauss-Seidal iteration method. The computational complexity and error analysis are developed in detail, which show the new method is more efficient than the original discrete ordinate DG method. A series of numerical results are performed to validate the convergence behavior and effectiveness of the proposed method.


title: Finitely presented simple groups and measure equivalence

abstract: We exhibit explicit infinite families of finitely presented, Kazhdan, simple groups that are pairwise not measure equivalent. These groups are lattices acting on products of buildings. We obtain the result by studying vanishing and non-vanishing of their $L^2$-Betti numbers.


title: Lower bounds for the warping degree of a knot projection

abstract: The warping degree of an oriented knot diagram is the minimal number of crossings which we meet as an under-crossing first when we travel along the diagram from a fixed point. The warping degree of a knot projection is the minimal value of the warping degree for all oriented alternating diagrams obtained from the knot projection. In this paper, we consider the maximal number of regions which share no crossings for a knot projection with a fixed crossing, and give lower bounds for the warping degree.


title: Completion of skew completable unimodular rows

abstract: Skew completable unimodular rows of odd length are completable over polynomial extension of a local ring if dimension of local ring and length of unimodular rows are same.


title: Measurement of Absolute Single and Double Electron Capture Cross Sections for O6+ Ions Collision with CO2, CH4, H2 and N2

abstract: The absolute electron capture cross sections for single and double charge exchanges between the highly charged ions O6+ and CO2, CH4, H2, N2, the dominant collision processes in the solar wind, have been measured in the energy from 7 keV*q (2.63 keV/u) to 52 keV*q (19.5 keV/u). These measurements were carried out in the new experimental instrument set up at Fudan University, and the error of cross sections for single and double charge exchanges at the 1{\sigma} confidence level are about 11% and 16%, respectively. Limited agreement is achieved with single electron capture results calculated by the classical over-barrier model. These cross sections data are useful for simulation ion-neutral processes in astrophysical environments and to improve the present theoretical model of fundamental atomic processes.


title: Distance Estimation for BLE-based Contact Tracing -- A Measurement Study

abstract: Mobile contact tracing apps are -- in principle -- a perfect aid to condemn the human-to-human spread of an infectious disease such as COVID-19 due to the wide use of smartphones worldwide. Yet, the unknown accuracy of contact estimation by wireless technologies hinders the broader use. We address this challenge by conducting a measurement study with a custom testbed to show the capabilities and limitations of Bluetooth Low Energy (BLE) in different scenarios. Distance estimation is based on interpreting the signal pathloss with a basic linear and a logarithmic model. Further, we compare our results with accurate ultra-wideband (UWB) distance measurements. While the results indicate that distance estimation by BLE is not accurate enough, a contact detector can detect contacts below 2.5 m with a true positive rate of 0.65 for the logarithmic and of 0.54 for the linear model. Further, the measurements reveal that multi-path signal propagation reduces the effect of body shielding and thus increases detection accuracy in indoor scenarios.


title: Optimal convergence rates in the averaging principle for slow-fast SPDEs driven by multiplicative noise

abstract: In this paper, we study a class of slow-fast stochastic partial differential equations with multiplicative Wiener noise. Under some appropriate conditions, we prove the slow component converges to the solution of the corresponding averaged equation with optimal orders 1/2 and 1 in the strong and weak sense respectively. The main technique is based on the Poisson equation.


title: An Empirical Study of Flaky Tests in Python

abstract: Tests that cause spurious failures without any code changes, i.e., flaky tests, hamper regression testing, increase maintenance costs, may shadow real bugs, and decrease trust in tests. While the prevalence and importance of flakiness is well established, prior research focused on Java projects, thus raising the question of how the findings generalize. In order to provide a better understanding of the role of flakiness in software development beyond Java, we empirically study the prevalence, causes, and degree of flakiness within software written in Python, one of the currently most popular programming languages. For this, we sampled 22352 open source projects from the popular PyPI package index, and analyzed their 876186 test cases for flakiness. Our investigation suggests that flakiness is equally prevalent in Python as it is in Java. The reasons, however, are different: Order dependency is a much more dominant problem in Python, causing 59% of the 7571 flaky tests in our dataset. Another 28% were caused by test infrastructure problems, which represent a previously undocumented cause of flakiness. The remaining 13% can mostly be attributed to the use of network and randomness APIs by the projects, which is indicative of the type of software commonly written in Python. Our data also suggests that finding flaky tests requires more runs than are often done in the literature: A 95% confidence that a passing test case is not flaky on average would require 170 reruns.


title: Toggling Near-field Directionality via Polarization Control of Surface Waves

abstract: Directional excitation of guidance modes is central to many applications ranging from light harvesting, optical information processing to quantum optical technology. Of paramount interest, especially, the active control of near-field directionality provides a new paradigm for the real-time on-chip manipulation of light. Here we find that for a given dipolar source, its near-field directionality can be toggled efficiently via tailoring the polarization of surface waves that are excited, for example, via tuning the chemical potential of graphene in a graphene-metasurface waveguide. This finding enables a feasible scheme for the active near-field directionality. Counterintuitively, we reveal that this scheme can transform a circular electric/magnetic dipole into a Huygens dipole in the near-field coupling. Moreover, for Janus dipoles, this scheme enables us to actively flip their near-field coupling and non-coupling faces.


title: Evaluation Discrepancy Discovery: A Sentence Compression Case-study

abstract: Reliable evaluation protocols are of utmost importance for reproducible NLP research. In this work, we show that sometimes neither metric nor conventional human evaluation is sufficient to draw conclusions about system performance. Using sentence compression as an example task, we demonstrate how a system can game a well-established dataset to achieve state-of-the-art results. In contrast with the results reported in previous work that showed correlation between human judgements and metric scores, our manual analysis of state-of-the-art system outputs demonstrates that high metric scores may only indicate a better fit to the data, but not better outputs, as perceived by humans.


title: Repeated randomized algorithm for the Multicovering Problem

abstract: Let $\mathcal{H}=(V,\mathcal{E})$ be a hypergraph with maximum edge size $\ell$ and maximum degree $\Delta$. For given numbers $b_v\in \mathbb{N}_{\geq 2}$, $v\in V$, a set multicover in $\mathcal{H}$ is a set of edges $C \subseteq \mathcal{E}$ such that every vertex $v$ in $V$ belongs to at least $b_v$ edges in $C$. Set multicover is the problem of finding a minimum-cardinality set multicover. Peleg, Schechtman and Wool conjectured that unless $\cal{P} =\cal{NP}$, for any fixed $\Delta$ and $b:=\min_{v\in V}b_{v}$, no polynomial-time approximation algorithm for the Set multicover problem has an approximation ratio less than $\delta:=\Delta-b+1$. Hence, it's a challenge to know whether the problem of set multicover is not approximable within a ratio of $\beta \delta$ with a constant $\beta<1$. This paper proposes a repeated randomized algorithm for the Set multicover problem combined with an initial deterministic threshold step. Boosting success by repeated trials, our algorithm yields an approximation ratio of $ \max\left\{ \frac{15}{16}\delta, \left(1- \frac{(b-1)\exp\left(\frac{ 3\delta+1}{8}\right)}{72 \ell} \right)\delta\right\}$. The crucial fact is not only that our result improves over the approximation ratio presented by Srivastav et al (Algorithmica 2016) for any $\delta\geq 13$, but it's more general since we set no restriction on the parameter $\ell$. Furthermore, we prove that it is NP-hard to approximate the Set multicover problem on $\Delta$-regular hypergraphs within a factor of $(\delta-1-\epsilon)$. Moreover we show that the integrality gap for the Set multicover problem is at least $\frac{\ln_{2}(n+1)}{2b}$, which for constant $b$ is $\Omega(\ln n )$.


title: Convergence Analysis of Projection Method for Variational Inequalities

abstract: The main contributions of this paper are the proposition and the convergence analysis of a class of inertial projection-type algorithm for solving variational inequality problems in real Hilbert spaces where the underline operator is monotone and uniformly continuous. We carry out a unified analysis of the proposed method under very mild assumptions. In particular, weak convergence of the generated sequence is established and nonasymptotic $O(1/n)$ rate of convergence is established, where $n$ denotes the iteration counter. We also present some experimental results to illustrate the profits gained by introducing the inertial extrapolation steps.


title: Orthogonal subspace based fast iterative thresholding algorithms for joint sparsity recovery

abstract: Sparse signal recoveries from multiple measurement vectors (MMV) with joint sparsity property have many applications in signal, image, and video processing. The problem becomes much more involved when snapshots of the signal matrix are temporally correlated. With signal's temporal correlation in mind, we provide a framework of iterative MMV algorithms based on thresholding, functional feedback and null space tuning. Convergence analysis for exact recovery is established. Unlike most of iterative greedy algorithms that select indices in a measurement/solution space, we determine indices based on an orthogonal subspace spanned by the iterative sequence. In addition, a functional feedback that controls the amount of energy relocation from the "tails" is implemented and analyzed. It is seen that the principle of functional feedback is capable to lower the number of iteration and speed up the convergence of the algorithm. Numerical experiments demonstrate that the proposed algorithm has a clearly advantageous balance of efficiency, adaptivity and accuracy compared with other state-of-the-art algorithms.


title: Exploiting Beam Search Confidence for Energy-Efficient Speech Recognition

abstract: With computers getting more and more powerful and integrated in our daily lives, the focus is increasingly shifting towards more human-friendly interfaces, making Automatic Speech Recognition (ASR) a central player as the ideal means of interaction with machines. Consequently, interest in speech technology has grown in the last few years, with more systems being proposed and higher accuracy levels being achieved, even surpassing \textit{Human Accuracy}. While ASR systems become increasingly powerful, the computational complexity also increases, and the hardware support have to keep pace. In this paper, we propose a technique to improve the energy-efficiency and performance of ASR systems, focusing on low-power hardware for edge devices. We focus on optimizing the DNN-based Acoustic Model evaluation, as we have observed it to be the main bottleneck in state-of-the-art ASR systems, by leveraging run-time information from the Beam Search. By doing so, we reduce energy and execution time of the acoustic model evaluation by 25.6% and 25.9%, respectively, with negligible accuracy loss.


title: Glide-Symmetric Metallic Structures with Elliptical Holes for Lens Compression

abstract: In this paper, we study the wave propagation in a metallic parallel-plate structure with glide-symmetric elliptical holes. To perform this study, we derived a mode-matching technique based on the generalized Floquet theorem for glide-symmetric structures. This mode-matching technique benefits from a lower computational cost since it takes advantage of the glide symmetry in the structure. It also provides physical insight on the specific properties of Floquet modes propagating in these specific structures. With our analysis, we demonstrate that glide-symmetric structures with periodic elliptical holes exhibit an anisotropic refractive index over a wide range of frequencies. The equivalent refractive index can be controlled by tuning the dimensions of the holes. Finally, by combining the anisotropy related to the elliptical holes and transformation optics, a Maxwell fish-eye lens with a 33.33% size compression is designed. This lens operates in a wideband frequency range from 2.5 GHz to 10 GHz.


title: Privacy Friendly E-Ticketing For Public Transport

abstract: This paper studies how to implement a privacy friendly form of ticketing for public transport in practice. The protocols described are inspired by current (privacy invasive) public transport ticketing systems used around the world. The first protocol emulates paper based tickets. The second protocol implements a pay-as-you-go approach, with fares determined when users check-in and check-out. Both protocols assume the use of a smart phone as the main user device to store tickets or travel credit. We see this research as a step towards investigating how to design commonly used infrastructure in a privacy friendly manner in practice, paying particular attention to how to deal with failures.


title: Impact of Response Latency on User Behaviour in Mobile Web Search

abstract: Traditionally, the efficiency and effectiveness of search systems have both been of great interest to the information retrieval community. However, an in-depth analysis of the interaction between the response latency and users' subjective search experience in the mobile setting has been missing so far. To address this gap, we conduct a controlled study that aims to reveal how response latency affects mobile web search. Our preliminary results indicate that mobile web search users are four times more tolerant to response latency reported for desktop web search users. However, when exceeding a certain threshold of 7-10 sec, the delays have a sizeable impact and users report feeling significantly more tensed, tired, terrible, frustrated and sluggish, all which contribute to a worse subjective user experience.


title: My Mouse, My Rules: Privacy Issues of Behavioral User Profiling via Mouse Tracking

abstract: This paper aims to stir debate about a disconcerting privacy issue on web browsing that could easily emerge because of unethical practices and uncontrolled use of technology. We demonstrate how straightforward is to capture behavioral data about the users at scale, by unobtrusively tracking their mouse cursor movements, and predict user's demographics information with reasonable accuracy using five lines of code. Based on our results, we propose an adversarial method to mitigate user profiling techniques that make use of mouse cursor tracking, such as the recurrent neural net we analyze in this paper. We also release our data and a web browser extension that implements our adversarial method, so that others can benefit from this work in practice.


title: Fully Depleted Monolithic Active Microstrip Sensors: TCAD simulation study of an innovative design concept

abstract: The paper presents the simulation studies of 10 $\mu$m pitch microstrips on a fully depleted monolithic active CMOS technology and describes their potential to provide a new and cost-effective solution for particle tracking and timing applications. The Fully Depleted Monolithic Active Microstrip Sensors (FD-MAMS) described in this work, which are developed within the framework of the ARCADIA project, are compliant with commercial CMOS fabrication processes. A TCAD simulation campaign was performed in the perspective of an upcoming engineering production run with the aim of designing FD-MAMS, studying their electrical characteristics and optimising the sensor layout for enhanced performance in terms of low capacitance, fast charge collection and low-power operation. A very fine pitch of 10 $\mu$m was chosen to provide very high spatial resolution. This small pitch still allows readout electronics to be monolithically integrated in the inter-strip regions, enabling the segmentation of long strips and the implementation of distributed readout architectures. The effects of surface radiation damage expected for total ionising doses of the order of 10 to 10$^5$ krad were also modelled in the simulations. The results of the simulations exhibit promising performance in terms of timing and low power consumption and motivate R&D efforts to further develop FD-MAMS; the results will be experimentally verified through measurements on the test structures that will be available at the beginning of 2021.


title: Recurrent Sums and Partition Identities

abstract: Sums of the form $\sum_{N_m=q}^{n}{\cdots \sum_{N_1=q}^{N_2}{a_{(m);N_m}\cdots a_{(1);N_1}}}$ where the $a_{(k);N_k}$'s are same or distinct sequences appear quite often in mathematics. We will refer to them as recurrent sums. In this paper, we introduce a variety of formulas to help manipulate and work with this type of sums. We begin by developing variation formulas that allow the variation of a recurrent sum of order $m$ to be expressed in terms of lower order recurrent sums. We then proceed to derive theorems (which we will call inversion formulas) which show how to interchange the order of summation in a multitude of ways. Later, we introduce a set of new partition identities in order to then prove a reduction theorem which permits the expression of a recurrent sum in terms of a combination of non-recurrent sums. Finally, we apply this reduction theorem to a recurrent form of two famous types of sums: The $p$-series and the sum of powers.


title: A shallow neural model for relation prediction

abstract: Knowledge graph completion refers to predicting missing triples. Most approaches achieve this goal by predicting entities, given an entity and a relation. We predict missing triples via the relation prediction. To this end, we frame the relation prediction problem as a multi-label classification problem and propose a shallow neural model (SHALLOM) that accurately infers missing relations from entities. SHALLOM is analogous to C-BOW as both approaches predict a central token (p) given surrounding tokens ((s,o)). Our experiments indicate that SHALLOM outperforms state-of-the-art approaches on the FB15K-237 and WN18RR with margins of up to $3\%$ and $8\%$ (absolute), respectively, while requiring a maximum training time of 8 minutes on these datasets. We ensure the reproducibility of our results by providing an open-source implementation including training and evaluation scripts at {\url{https://github.com/dice-group/Shallom}.}


title: The ambivalent competition of Coulomb and van-der-Waals interactions in Xe-Cs+ aggregates on Cu(111) surfaces

abstract: Microscopic insight into interactions is a key for understanding the properties of heterogenous interfaces. We analyze local attraction in non-covalently bonded Xe{Cs+ aggregates and monolayers on Cu(111) as well as repulsion upon electron transfer. Using two-photon photoemission spectroscopy, scanning tunneling microscopy, and coupled cluster calculations combined with an image-charge model we explain the intricate impact Xe has on Cs+/Cu(111). We find that attraction between Cs+ and Xe counterbalances the screened Coulomb repulsion between Cs+ ions on Cu(111). Furthermore, we observe that the Cs 6s electron is repelled from Cu(111) due to xenon's electron density. Together, this yields a dual, i.e., attractive or repulsive, response of Xe depending on the positive or negative charge of the respective counterparticle, which emphasizes the importance of the Coulomb interaction in these systems.


title: Deepfakes and the 2020 US elections: what (did not) happen

abstract: Alarmed by the volume of disinformation that was assumed to have taken place during the 2016 US elections, scholars, politics and journalists predicted the worst when the first deepfakes began to emerge in 2018. After all, US Elections 2020 were believed to be the most secure in American history. This paper seeks explanations for an apparent contradiction: we believe that it was precisely the multiplication and conjugation of different types of warnings and fears that created the conditions that prevented malicious political deepfakes from affecting the 2020 US elections. From these warnings, we identified four factors (more active role of social networks, new laws, difficulties in accessing Artificial Intelligence and better awareness of society). But while this formula has proven to be effective in the case of the United States, 2020, it is not correct to assume that it can be repeated in other political contexts.


title: Einstein vacuum equations with $\mathbb{U}(1)$ symmetry in an elliptic gauge : local well-posedness and blow-up criterium

abstract: In this article, we are interested in the Einstein vacuum equations on a Lorentzian manifold displaying $\mathbb{U}(1)$ symmetry. We identify some freely prescribable initial data, solve the constraint equations and prove the existence of a unique and local in time solution at the $H^3$ level. In addition, we prove a blow-up criterium at the $H^2$ level. Our main objective is to provide a framework adapted to the study of high-frequency solutions to the Einstein vacuum equations done in a forthcoming paper by Huneau and Luk. As a consequence we work in an elliptic gauge, particularly adapted to the handling of high-frequency solutions, which have large high-order norms.


title: Towards Expectation-Maximization by SQL in RDBMS

abstract: Integrating machine learning techniques into RDBMSs is an important task since there are many real applications that require modeling (e.g., business intelligence, strategic analysis) as well as querying data in RDBMSs. In this paper, we provide an SQL solution that has the potential to support different machine learning modelings. As an example, we study how to support unsupervised probabilistic modeling, that has a wide range of applications in clustering, density estimation and data summarization, and focus on Expectation-Maximization (EM) algorithms, which is a general technique for finding maximum likelihood estimators. To train a model by EM, it needs to update the model parameters by an E-step and an M-step in a while-loop iteratively until it converges to a level controled by some threshold or repeats a certain number of iterations. To support EM in RDBMSs, we show our answers to the matrix/vectors representations in RDBMSs, the relational algebra operations to support the linear algebra operations required by EM, parameters update by relational algebra, and the support of a while-loop. It is important to note that the SQL'99 recursion cannot be used to handle such a while-loop since the M-step is non-monotonic. In addition, assume that a model has been trained by an EM algorithm, we further design an automatic in-database model maintenance mechanism to maintain the model when the underlying training data changes.We have conducted experimental studies and will report our findings in this paper.


title: Towards Enhancing Fine-grained Details for Image Matting

abstract: In recent years, deep natural image matting has been rapidly evolved by extracting high-level contextual features into the model. However, most current methods still have difficulties with handling tiny details, like hairs or furs. In this paper, we argue that recovering these microscopic details relies on low-level but high-definition texture features. However, {these features are downsampled in a very early stage in current encoder-decoder-based models, resulting in the loss of microscopic details}. To address this issue, we design a deep image matting model {to enhance fine-grained details. Our model consists of} two parallel paths: a conventional encoder-decoder Semantic Path and an independent downsampling-free Textural Compensate Path (TCP). The TCP is proposed to extract fine-grained details such as lines and edges in the original image size, which greatly enhances the fineness of prediction. Meanwhile, to leverage the benefits of high-level context, we propose a feature fusion unit(FFU) to fuse multi-scale features from the semantic path and inject them into the TCP. In addition, we have observed that poorly annotated trimaps severely affect the performance of the model. Thus we further propose a novel term in loss function and a trimap generation method to improve our model's robustness to the trimaps. The experiments show that our method outperforms previous start-of-the-art methods on the Composition-1k dataset.


title: Thermally driven fission of protocells

abstract: We propose a simple mechanism for the self-replication of protocells. Our main hypothesis is that the amphiphilic molecules composing the membrane bilayer are synthesised inside the protocell through globally exothermic chemical reactions. The slow increase of the inner temperature forces the hottest molecules to move from the inner leaflet to the outer leaflet of the bilayer. This asymmetric translocation process makes the outer leaflet grow faster than the inner leaflet. This differential growth increases the mean curvature and amplifies any local shrinking of the protocell until it splits in two.


title: Blind Map Level Systematics Cleaning: A Quadratic Estimator Approach

abstract: We present the first detailed case study using quadratic estimators (QE) to diagnose and remove systematics present in observed Cosmic Microwave Background (CMB) maps. In this work we focus on the temperature to polarization leakage. We use an iterative QE analysis to remove systematics, in analogy to de-lensing, recovering the primordial B-mode signal and the systematic maps. We introduce a new Gaussian filtering scheme crucial to stable convergence of the iterative cleaning procedure and validate with comparisons to semi-analytical forecasts. We study the limitations of this method by examining its performance both on idealized simulations and on more realistic, non-ideal simulations, where we assume varying de-lensing efficiencies. Finally, we quantify the systematic cleaning efficiency by presenting a likelihood analysis on the tensor to scalar ratio, $r$, and demonstrate that the blind cleaning results in an un-biased measurement of $r$, reducing the systematic induced B-mode power by nearly two orders of magnitude.


title: Bispyrene functionalization drives self-assembly of graphite nanoplates into highly efficient heat spreader foils

abstract: Thermally conductive nanopapers fabricated from graphene and related materials are currently showing a great potential in thermal management applications. However, thermal contacts between conductive plates represent the bottleneck for thermal conductivity of nanopapers prepared in the absence of a high temperature step for graphitization. In this work, the problem of ineffective thermal contacts is addressed by the use of bifunctional polyaromatic molecules designed to drive self-assembly of graphite nanoplates (GnP) and establish thermal bridges between them. To preserve the high conductivity associated to defect-free sp2 structure, non-covalent functionalization with bispyrene compounds, synthesised on purpose with variable tethering chain length, was exploited. Pyrene terminal groups granted for a strong {\pi}-{\pi} interaction with graphene surface, as demonstrated by UV-Vis, fluorescence and Raman spectroscopies. Bispyrene molecular junctions between GnP were found to control GnP organization and orientation within the nanopaper, delivering significant enhancement in both in-plane and cross-plane thermal diffusivity. Finally, nanopapers were validated as heat spreader devices for electronic components, evidencing comparable or better thermal dissipation performance than conventional Cu foil, while delivering over 90% weight reduction.


title: The VMC survey -- XLI. Stellar proper motions within the Small Magellanic Cloud

abstract: We used data from the near-infrared VISTA survey of the Magellanic Cloud system (VMC) to measure proper motions (PMs) of stars within the Small Magellanic Cloud (SMC). The data analysed in this study comprise 26 VMC tiles, covering a total contiguous area on the sky of ~40 deg$^2$. Using multi-epoch observations in the Ks band over time baselines between 13 and 38 months, we calculated absolute PMs with respect to ~130,000 background galaxies. We selected a sample of ~2,160,000 likely SMC member stars to model the centre-of-mass motion of the galaxy. The results found for three different choices of the SMC centre are in good agreement with recent space-based measurements. Using the systemic motion of the SMC, we constructed spatially resolved residual PM maps and analysed for the first time the internal kinematics of the intermediate-age/old and young stellar populations separately. We found outward motions that point either towards a stretching of the galaxy or stripping of its outer regions. Stellar motions towards the North might be related to the "Counter Bridge" behind the SMC. The young populations show larger PMs in the region of the SMC Wing, towards the young Magellanic Bridge. In the older populations, we further detected a coordinated motion of stars away from the SMC in the direction of the Old Bridge as well as a stream towards the SMC.


title: A Categorical Semantics for Bounded Petri Nets

abstract: We provide a categorical semantics for bounded Petri nets, both in the collective- and individual-token philosophy. In both cases, we describe the process of bounding a net internally, by just constructing new categories of executions of a net using comonads, and externally, using lax-monoidal-lax functors. Our external semantics is non-local, meaning that tokens are endowed with properties that say something about the global state of the net. We then prove, in both cases, that the internal and external constructions are equivalent, by using machinery built on top of the Grothendieck construction. The individual-token case is harder, as it requires a more explicit reliance on abstract methods.


title: A multi-perspective combined recall and rank framework for Chinese procedure terminology normalization

abstract: Medical terminology normalization aims to map the clinical mention to terminologies come from a knowledge base, which plays an important role in analyzing Electronic Health Record(EHR) and many downstream tasks. In this paper, we focus on Chinese procedure terminology normalization. The expression of terminologies are various and one medical mention may be linked to multiple terminologies. Previous study explores some methods such as multi-class classification or learning to rank(LTR) to sort the terminologies by literature and semantic information. However, these information is inadequate to find the right terminologies, particularly in multi-implication cases. In this work, we propose a combined recall and rank framework to solve the above problems. This framework is composed of a multi-task candidate generator(MTCG), a keywords attentive ranker(KAR) and a fusion block(FB). MTCG is utilized to predict the mention implication number and recall candidates with semantic similarity. KAR is based on Bert with a keywords attentive mechanism which focuses on keywords such as procedure sites and procedure types. FB merges the similarity come from MTCG and KAR to sort the terminologies from different perspectives. Detailed experimental analysis shows our proposed framework has a remarkable improvement on both performance and efficiency.


title: Quantum lock-in detection of a vector light shift

abstract: We demonstrate detection of a vector light shift (VLS) using the quantum lock-in method. The method offers precise and accurate VLS measurement without being affected by real magnetic field fluctuations. We detect a VLS on a Bose--Einstein condensate (BEC) of $^{87}$Rb atoms caused by an optical trap beam with a resolution less than 1 Hz. We also demonstrate elimination of a VLS by controlling the beam polarization to realize a long coherence time of a transversally polarized $F$ = 2 BEC. Quantum lock-in VLS detection should find wide application, including the study of spinor BECs, electric-dipole moment searches, and precise magnetometry.


title: Nash Equilibria in certain two-choice multi-player games played on the ladder graph

abstract: In this article we compute analytically the number of Nash Equilibria (NE) for a two-choice game played on a (circular) ladder graph with $2n$ players. We consider a set of games with generic payoff parameters, with the only requirement that a NE occurs if the players choose opposite strategies (anti-coordination game). The results show that for both, the ladder and circular ladder, the number of NE grows exponentially with (half) the number of players $n$, as $N_{NE}(2n)\sim C(\varphi)^n$, where $\varphi=1.618..$ is the golden ratio and $C_{circ}>C_{ladder}$. In addition, the value of the scaling factor $C_{ladder}$ depends on the value of the payoff parameters. However, that is no longer true for the circular ladder (3-degree graph), that is $C_{circ}$ is constant, which might suggest that the topology of the graph indeed plays an important role for setting the number of NE.


title: Integral morphisms and log blow-ups

abstract: This paper is a revision of the author's old preprint "Exactness, integrality, and log modifications". We will prove that any quasi-compact morphism of fs log schemes can be modified locally on the base to an integral morphism by base change by fs log blow-ups.


title: Decay width modeling of Higgs boson within THDM model

abstract: As part of the search for new physics beyond the Standard Model, we chose the determination of the Higgs boson decay width as one of the least experimentally determined values. The decay widths into the four fermions of the lightest and heaviest CP-even Higgs bosons of the THDM model were calculated, taking into account QCD and electroweak corrections in the NLO approximation. To achieve this goal, the program Monte Carlo Prophecy 4f with special scenarios of parameters, 7B1 and 5B1 were used. It was found that the decay width of the heavier CP-even Higgs boson, H differs from H$_{SM}$ by 1227.93 times and changes to a negative value when deviating from the standard scenarios. Scale factors k$^2_{Z}$ and k$^2_{W}$ showed the predominance of the associated with Z boson production cross section of CP-even Higgs boson over the associated with W production cross section.


title: Nanohole etching in AlGaSb with Ga droplets

abstract: We demonstrate nanohole formation in AlGaSb by Ga droplet etching within a temperature range from 270{\deg}C to 500{\deg}C, allowing a wide range of tunability of the nanohole density. By leveraging the low vapor pressure of Sb, we can obtain high degree of control over droplet formation and nanohole etching steps and reveal the physics of adatom diffusion in these processes. Furthermore, by combining the experimental results and a geometric diffusion-based model, we can determine the temperature and Sb-flux-dependencies of the critical monolayer coverage of Sb atoms required for driving the droplet etching process to completion. These findings provide new insight into the droplet formation and etching process present in the droplet-mediated synthesis of semiconductor nanostructures and represent a significant step towards development of telecom-emitting quantum dots in the GaSb system.


title: Quantum theory cannot violate a causal inequality

abstract: Within quantum theory, we can create superpositions of different causal orders of events, and observe interference between them. This raises the question of whether quantum theory can produce results that would be impossible to replicate with any classical causal model, thereby violating a causal inequality. This would be a temporal analogue of Bell inequality violation, which proves that no local hidden variable model can replicate quantum results. However, unlike the case of non-locality, we show that quantum experiments \emph{can} be simulated by a classical causal model, and therefore cannot violate a causal inequality.


title: Adaptive Neighbourhoods for the Discovery of Adversarial Examples

abstract: Deep Neural Networks (DNNs) have often supplied state-of-the-art results in pattern recognition tasks. Despite their advances, however, the existence of adversarial examples have caught the attention of the community. Many existing works have proposed methods for searching for adversarial examples within fixed-sized regions around training points. Our work complements and improves these existing approaches by adapting the size of these regions based on the problem complexity and data sampling density. This makes such approaches more appropriate for other types of data and may further improve adversarial training methods by increasing the region sizes without creating incorrect labels.


title: Stochastic Modeling of an Infectious Disease Part III-A: Analysis of Time-Nonhomogeneous Models

abstract: We extend our BDI (birth-death-immigration) process based stochastic model of an infectious disease to time-nonhomogeneous cases. First, we discuss the deterministic model, and derive the expected value of the infection process. Then as an application we consider that a government issues a decree to its citizens to curtail their activities that may incur further infections and show how the public's tardy response may further increase infections and prolong the epidemic much longer than one might think. We seek to solve a partial differential equation for the probability generating function. We find, however, that an exact solution is obtainable only for the BD process, i.e., no arrivals of the infected from outside. The coefficient of variation for the nonhomogeneous BD process is found to be well over unity. This result implies that the variations among different sample paths will be as large as in the negative binomial distribution with r<1, which was found in Part I for the homogeneous BDI model. In the final section, we illustrate, using our running example, how much information we can derive from the time dependent PMF (probability mass function) P_k(t)=Pr[I(t)=k]. We present graphical plots of the PMF at various t's, and cross-sections of this function at various k's. A mesh plot of the function over the (k, t) plane summarizes the above numerous plots. The results of this paper reinforce our earlier claim (see Abstract of Part II) that it would be a futile effort to attempt to identify all possible reasons why environments of similar situations differ so much in their epidemic patterns. Mere "luck" plays a more significant role than most of us may believe. We should be prepared for a worse possible scenario, which only a stochastic model can provide with probabilistic qualification. An empirical validation of the above results will be given in Part III-B.


title: RaJIVE: Robust Angle Based JIVE for Integrating Noisy Multi-Source Data

abstract: With increasing availability of high dimensional, multi-source data, the identification of joint and data specific patterns of variability has become a subject of interest in many research areas. Several matrix decomposition methods have been formulated for this purpose, for example JIVE (Joint and Individual Variation Explained), and its angle based variation, aJIVE. Although the effect of data contamination on the estimated joint and individual components has not been considered in the literature, gross errors and outliers in the data can cause instability in such methods, and lead to incorrect estimation of joint and individual variance components. We focus on the aJIVE factorization method and provide a thorough analysis of the effect outliers on the resulting variation decomposition. After showing that such effect is not negligible when all data-sources are contaminated, we propose a robust extension of aJIVE (RaJIVE) that integrates a robust formulation of the singular value decomposition into the aJIVE approach. The proposed RaJIVE is shown to provide correct decompositions even in the presence of outliers and improves the performance of aJIVE. We use extensive simulation studies with different levels of data contamination to compare the two methods. Finally, we describe an application of RaJIVE to a multi-omics breast cancer dataset from The Cancer Genome Atlas. We provide the R package RaJIVE with a ready-to-use implementation of the methods and documentation of code and examples.


title: Uniquely orderable interval graphs

abstract: Interval graphs and interval orders are deeply linked. In fact, edges of an interval graphs represent the incomparability relation of an interval order, and in general, of different interval orders. The question about the conditions under which a given interval graph is associated to a unique interval order (up to duality) arises naturally. Fishburn provided a characterisation for uniquely orderable finite connected interval graphs. We show, by an entirely new proof, that the same characterisation holds also for infinite connected interval graphs. Using tools from reverse mathematics, we explain why the characterisation cannot be lifted from the finite to the infinite by compactness, as it often happens.


title: Homogenization of a modified bidomain model involving imperfect transmission

abstract: We study, by means of the periodic unfolding technique, the homogenization of a modified bidomain model, which describes the propagation of the action potential in the cardiac electrophysiology. Such a model, allowing the presence of pathological zones in the heart, involves various geometries and non-standard transmission conditions on the interface between the healthy and the damaged part of the cardiac muscle.


title: Pareto GAN: Extending the Representational Power of GANs to Heavy-Tailed Distributions

abstract: Generative adversarial networks (GANs) are often billed as "universal distribution learners", but precisely what distributions they can represent and learn is still an open question. Heavy-tailed distributions are prevalent in many different domains such as financial risk-assessment, physics, and epidemiology. We observe that existing GAN architectures do a poor job of matching the asymptotic behavior of heavy-tailed distributions, a problem that we show stems from their construction. Additionally, when faced with the infinite moments and large distances between outlier points that are characteristic of heavy-tailed distributions, common loss functions produce unstable or near-zero gradients. We address these problems with the Pareto GAN. A Pareto GAN leverages extreme value theory and the functional properties of neural networks to learn a distribution that matches the asymptotic behavior of the marginal distributions of the features. We identify issues with standard loss functions and propose the use of alternative metric spaces that enable stable and efficient learning. Finally, we evaluate our proposed approach on a variety of heavy-tailed datasets.


title: Extended theoretical transition data in C I - IV

abstract: Accurate atomic data are essential for opacity calculations and for abundance analyses of the Sun and other stars. The aim of this work is to provide accurate and extensive results of energy levels and transition data for C I - IV. The Multiconfiguration Dirac-Hartree-Fock and relativistic configuration interaction methods were used in the present work. To improve the quality of the wave functions and reduce the relative differences between length and velocity forms for transition data involving high Rydberg states, alternative computational strategies were employed by imposing restrictions on the electron substitutions when constructing the orbital basis for each atom and ion. Transition data, e.g., weighted oscillator strengths and transition probabilities, are given for radiative electric dipole (E1) transitions involving levels up to 1s$^2$2s$^2$2p6s for C I, up to 1s$^2$2s$^2$7f for C II, up to 1s$^2$2s7f for C III, and up to 1s$^2$8g for CIV. Using the difference between the transition rates in length and velocity gauges as an internal validation, the average uncertainties of all presented E1 transitions are estimated to be 8.05%, 7.20%, 1.77%, and 0.28%, respectively, for C I - IV. Extensive comparisons with available experimental and theoretical results are performed and good agreement is observed for most of the transitions. In addition, the C I data were employed in a reanalysis of the solar carbon abundance. The new transition data give a line-by-line dispersion similar to the one obtained when using transition data that are typically used in stellar spectroscopic applications today.


title: The heads hypothesis: A unifying statistical approach towards understanding multi-headed attention in BERT

abstract: Multi-headed attention heads are a mainstay in transformer-based models. Different methods have been proposed to classify the role of each attention head based on the relations between tokens which have high pair-wise attention. These roles include syntactic (tokens with some syntactic relation), local (nearby tokens), block (tokens in the same sentence) and delimiter (the special [CLS], [SEP] tokens). There are two main challenges with existing methods for classification: (a) there are no standard scores across studies or across functional roles, and (b) these scores are often average quantities measured across sentences without capturing statistical significance. In this work, we formalize a simple yet effective score that generalizes to all the roles of attention heads and employs hypothesis testing on this score for robust inference. This provides us the right lens to systematically analyze attention heads and confidently comment on many commonly posed questions on analyzing the BERT model. In particular, we comment on the co-location of multiple functional roles in the same attention head, the distribution of attention heads across layers, and effect of fine-tuning for specific NLP tasks on these functional roles.


title: Hybrid Rotation Averaging: A Fast and Robust Rotation Averaging Approach

abstract: We address rotation averaging (RA) and its application to real-world 3D reconstruction. Local optimisation based approaches are the de facto choice, though they only guarantee a local optimum. Global optimisers ensure global optimality in low noise conditions, but they are inefficient and may easily deviate under the influence of outliers or elevated noise levels. We push the envelope of rotation averaging by leveraging the advantages of a global RA method and a local RA method. Combined with a fast view graph filtering as preprocessing, the proposed hybrid approach is robust to outliers. We further apply the proposed hybrid rotation averaging approach to incremental Structure from Motion (SfM), the accuracy and robustness of SfM are both improved by adding the resulting global rotations as regularisers to bundle adjustment. Overall, we demonstrate high practicality of the proposed method as bad camera poses are effectively corrected and drift is reduced.


title: On the robustness to adversarial corruption and to heavy-tailed data of the Stahel-Donoho median of means

abstract: We consider median of means (MOM) versions of the Stahel-Donoho outlyingness (SDO) [stahel 1981, donoho 1982] and of Median Absolute Deviation (MAD) functions to construct subgaussian estimators of a mean vector under adversarial contamination and heavy-tailed data. We develop a single analysis of the MOM version of the SDO which covers all cases ranging from the Gaussian case to the L2 case. It is based on isomorphic and almost isometric properties of the MOM versions of SDO and MAD. This analysis also covers cases where the mean does not even exist but a location parameter does; in those cases we still recover the same subgaussian rates and the same price for adversarial contamination even though there is not even a first moment. These properties are achieved by the classical SDO median and are therefore the first non-asymptotic statistical bounds on the Stahel-Donoho median complementing the $\sqrt{n}$-consistency [maronna 1995] and asymptotic normality [Zuo, Cui, He, 2004] of the Stahel-Donoho estimators. We also show that the MOM version of MAD can be used to construct an estimator of the covariance matrix under only a L2-moment assumption or of a scale parameter if a second moment does not exist.


title: Measurements and analysis of response function of cold atoms in optical molasses

abstract: We report our experimental measurements and theoretical analysis of the position response function of a cloud of cold atoms residing in the viscous medium of an optical molasses and confined by a magneto-optical trap (MOT). We measure the position response function by applying a transient homogeneous magnetic field as a perturbing force. We observe a transition from a damped oscillatory motion to an over-damped relaxation, stemming from a competition between the viscous drag provided by the optical molasses and the restoring force of the MOT. Our observations are in both qualitative and quantitative agreement with the predictions of a theoretical model based on the Langevin equation. As a consistency check, and as a prototype for future experiments, we also study the free diffusive spreading of the atomic cloud in our optical molasses with the confining magnetic field of the MOT turned off. We find that the measured value of the diffusion coefficient agrees with the value predicted by our Langevin model, using the damping coefficient. The damping coefficient was deduced from our measurements of the position response function at the same temperature.


title: An upper bound for the nonsolvable length of a finite group in terms of its shortest law

abstract: Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of non-abelian simple groups. The minimum number of nonsolvable factors, attained on all possible such series in $G$, is called the \emph{nonsolvable length} $\lambda(G)$ of $G$. In the present paper, we prove a theorem about permutation representations of groups of fixed nonsolvable length. As a consequence, we show that in a finite group of nonsolvable length at least $n$, no non-trivial word of length at most $n$ (in any number of variables) can be a law. This result is then used to give a bound on $\lambda(G)$ in terms of the length of the shortest law of $G$, thus confirming a conjecture of Larsen. Moreover our Theorem C can be used to give a positive answer, in the case $p=2$, to a problem raised by Khukhro and Shumyatsky, concerning the non-$p$-solvable length of finite groups.


title: Softness, anomalous dynamics, and fractal-like energy landscape in model cell tissues

abstract: Epithelial cell tissues have a slow relaxation dynamics resembling that of supercooled liquids. Yet, they also have distinguishing features. These include an extended short-time sub-diffusive transient, as observed in some experiments and recent studies of model systems, and a sub-Arrhenius dependence of the relaxation time on temperature, as reported in numerical studies. Here we demonstrate that the anomalous glassy dynamics of epithelial tissues originates from the emergence of a fractal-like energy landscape, particles becoming virtually free to diffuse in specific phase space directions up to a small distance. Furthermore, we clarify that the stiffness of the cells tunes this anomalous behaviour, tissues of stiff cells having conventional glassy relaxation dynamics.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.stat-mech physics.bio-ph


title: Abelian invariants of doubly slice links

abstract: We provide obstructions to a link in $S^3$ arising as the cross section of any number of unlinked spheres in $S^4$. Our obstructions arise from the multivariable signature, the Blanchfield form and generalised Seifert matrices. We also obtain obstructions in the case of surfaces of higher genera, leading to a lower bound on the doubly slice genus of links.


title: A Universal Deep Learning Framework for Real-Time Denoising of Ultrasound Images

abstract: Ultrasound images are widespread in medical diagnosis for muscle-skeletal, cardiac, and obstetrical diseases, due to the efficiency and non-invasiveness of the acquisition methodology. However, ultrasound acquisition introduces noise in the signal, which corrupts the resulting image and affects further processing steps, e.g., segmentation and quantitative analysis. We define a novel deep learning framework for the real-time denoising of ultrasound images. Firstly, we compare state-of-the-art methods for denoising (e.g., spectral, low-rank methods) and select WNNM (Weighted Nuclear Norm Minimisation) as the best denoising in terms of accuracy, preservation of anatomical features, and edge enhancement. Then, we propose a tuned version of WNNM (tuned-WNNM) that improves the quality of the denoised images and extends its applicability to ultrasound images. Through a deep learning framework, the tuned-WNNM qualitatively and quantitatively replicates WNNM results in real-time. Finally, our approach is general in terms of its building blocks and parameters of the deep learning and high-performance computing framework; in fact, we can select different denoising algorithms and deep learning architectures.


title: Stability of scalar perturbations in scalar-torsion $f(T,\phi)$ gravity theories in the presence of a matter fluid

abstract: We study the viability conditions for the absence of ghost, gradient and tachyonic instabilities, in scalar-torsion $f(T,\phi)$ gravity theories in the presence of a general barotropic perfect fluid. To describe the matter sector, we use the Sorkin-Schutz action and then calculate the second order action for scalar perturbations. For the study of ghost and gradient instabilities, we found that the gravity sector keeps decoupled from the matter sector and then applied the viability conditions for each one separately. Particularly, we verified that this theory is free from ghost and gradient instabilities, obtaining the standard results for matter, and for the gravity sector we checked that the corresponding speed of propagation satisfies $c_{s,g}^2=1$. On the other hand, in the case of tachyonic instability, we obtained the general expressions for the mass eigenvalues and then evaluated them in the scaling matter fixed points of a concrete model of dark energy. Thus, we found a space of parameters where it is possible to have a stable configuration respecting the constraints from the CMB measurements and the BBN constraints for early dark energy. Finally, we have numerically corroborated these results by solving the cosmological equations for a realistic cosmological evolution with phase space trajectories undergoing scaling matter regimes, and then showing that the system presents a stable configuration throughout cosmic evolution.


title: A Smoking Gun for Planetesimal Formation: Charge Driven Growth into a New Size Range

abstract: Collisions electrically charge grains which promotes growth by coagulation. We present aggregation experiments with three large ensembles of basalt beads ($150\,\mu\mathrm{m} - 180\,\mu\mathrm{m})$, two of which are charged, while one remains almost neutral as control system. In microgravity experiments, free collisions within these samples are induced with moderate collision velocities ($0 - 0.2 \,\mathrm{m\,s}^{-1}$). In the control system, coagulation stops at (sub-)mm size while the charged grains continue to grow. A maximum agglomerate size of 5\,cm is reached, limited only by bead depletion in the free volume. For the first time, charge-driven growth well into the centimeter range is directly proven by experiments. In protoplanetary disks, this agglomerate size is well beyond the critical size needed for hydrodynamic particle concentration as, e.g., by the streaming instabilities.