title: Bayesian approach for inverse obstacle scattering with Poisson data

abstract: We consider an acoustic obstacle reconstruction problem with Poisson data. Due to the stochastic nature of the data, we tackle this problem in the framework of Bayesian inversion. The unknown obstacle is parameterized in its angular form. The prior for the parameterized unknown plays key role in the Bayes reconstruction algorithm. The most popular used prior is the Gaussian. Under the Gaussian prior assumption, we further suppose that the unknown satisfies the total variation prior. With the hybrid prior, the well-posedness of the posterior distribution is discussed. The numerical examples verify the effectiveness of the proposed algorithm.


title: Planning for target retrieval using a robotic manipulator in cluttered and occluded environments

abstract: This paper presents planning algorithms for a robotic manipulator with a fixed base in order to grasp a target object in cluttered environments. We consider a configuration of objects in a confined space with a high density so no collision-free path to the target exists. The robot must relocate some objects to retrieve the target while avoiding collisions. For fast completion of the retrieval task, the robot needs to compute a plan optimizing an appropriate objective value directly related to the execution time of the relocation plan. We propose planning algorithms that aim to minimize the number of objects to be relocated. Our objective value is appropriate for the object retrieval task because grasping and releasing objects often dominate the total running time. In addition to the algorithm working in fully known and static environments, we propose algorithms that can deal with uncertain and dynamic situations incurred by occluded views. The proposed algorithms are shown to be complete and run in polynomial time. Our methods reduce the total running time significantly compared to a baseline method (e.g., 25.1% of reduction in a known static environment with 10 objects


title: Self-supervised Learning with Physics-aware Neural Networks I: Galaxy Model Fitting

abstract: Estimating the parameters of a model describing a set of observations using a neural network is in general solved in a supervised way. In cases when we do not have access to the model's true parameters this approach can not be applied. Standard unsupervised learning techniques on the other hand, do not produce meaningful or semantic representations that can be associated to the model's parameters. Here we introduce a self-supervised hybrid network that combines traditional neural network elements with analytic or numerical models which represent a physical process to be learned by the system. Self-supervised learning is achieved by generating an internal representation equivalent to the parameters of the physical model. This semantic representation is used to evaluate the model and compare it to the input data during training. The Semantic Autoencoder architecture described here shares the robustness of neural networks while including an explicit model of the data, learns in an unsupervised way and estimates, by construction, parameters with direct physical interpretation. As an illustrative application we perform unsupervised learning for 2D model fitting of exponential light profiles.


title: Attentive CT Lesion Detection Using Deep Pyramid Inference with Multi-Scale Booster

abstract: Accurate lesion detection in computer tomography (CT) slices benefits pathologic organ analysis in the medical diagnosis process. More recently, it has been tackled as an object detection problem using the Convolutional Neural Networks (CNNs). Despite the achievements from off-the-shelf CNN models, the current detection accuracy is limited by the inability of CNNs on lesions at vastly different scales. In this paper, we propose a Multi-Scale Booster (MSB) with channel and spatial attention integrated into the backbone Feature Pyramid Network (FPN). In each pyramid level, the proposed MSB captures fine-grained scale variations by using Hierarchically Dilated Convolutions (HDC). Meanwhile, the proposed channel and spatial attention modules increase the network's capability of selecting relevant features response for lesion detection. Extensive experiments on the DeepLesion benchmark dataset demonstrate that the proposed method performs superiorly against state-of-the-art approaches.


title: Irreducibility criterion for certain trinomials

abstract: In this article we study the irreducibility of polynomials of the form $x^n+\epsilon_1 x^m+p^k\epsilon_2$, $p$ being a prime number. We will show that they are irreducible for $m=1$. We have also provided the cyclotomic factors and reducibility criterion for trinomials of the form $x^n+\epsilon_1x^m+\epsilon_2$, where $\epsilon_i\in \{\, -1,+1\,\}$. This corrects few of the existing results of W. Ljuggren's on $x^n+\epsilon_1x^m+\epsilon_2$.


title: Learning from Thresholds: Fully Automated Classification of Tumor Infiltrating Lymphocytes for Multiple Cancer Types

abstract: Deep learning classifiers for characterization of whole slide tissue morphology require large volumes of annotated data to learn variations across different tissue and cancer types. As is well known, manual generation of digital pathology training data is time consuming and expensive. In this paper, we propose a semi-automated method for annotating a group of similar instances at once, instead of collecting only per-instance manual annotations. This allows for a much larger training set, that reflects visual variability across multiple cancer types and thus training of a single network which can be automatically applied to each cancer type without human adjustment. We apply our method to the important task of classifying Tumor Infiltrating Lymphocytes (TILs) in H&E images. Prior approaches were trained for individual cancer types, with smaller training sets and human-in-the-loop threshold adjustment. We utilize these thresholded results as large scale "semi-automatic" annotations. Combined with existing manual annotations, our trained deep networks are able to automatically produce better TIL prediction results in 12 cancer types, compared to the human-in-the-loop approach.


title: 3D Multi-Object Tracking: A Baseline and New Evaluation Metrics

abstract: 3D multi-object tracking (MOT) is an essential component for many applications such as autonomous driving and assistive robotics. Recent work on 3D MOT focuses on developing accurate systems giving less attention to practical considerations such as computational cost and system complexity. In contrast, this work proposes a simple real-time 3D MOT system. Our system first obtains 3D detections from a LiDAR point cloud. Then, a straightforward combination of a 3D Kalman filter and the Hungarian algorithm is used for state estimation and data association. Additionally, 3D MOT datasets such as KITTI evaluate MOT methods in the 2D space and standardized 3D MOT evaluation tools are missing for a fair comparison of 3D MOT methods. Therefore, we propose a new 3D MOT evaluation tool along with three new metrics to comprehensively evaluate 3D MOT methods. We show that, although our system employs a combination of classical MOT modules, we achieve state-of-the-art 3D MOT performance on two 3D MOT benchmarks (KITTI and nuScenes). Surprisingly, although our system does not use any 2D data as inputs, we achieve competitive performance on the KITTI 2D MOT leaderboard. Our proposed system runs at a rate of $207.4$ FPS on the KITTI dataset, achieving the fastest speed among all modern MOT systems. To encourage standardized 3D MOT evaluation, our system and evaluation code are made publicly available at https://github.com/xinshuoweng/AB3DMOT.


title: Systematic method to evaluate energy dissipation in adiabatic quantum-flux-parametron logic

abstract: Adiabatic quantum-flux-parametron (AQFP) logic is an energy-efficient superconductor logic. It operates with zero static power dissipation and very low dynamic power dissipation owing to adiabatic switching. In previous numerical studies, we have evaluated the energy dissipation of basic AQFP logic gates and demonstrated sub-kBT switching energy, where kB is the Boltzmann's constant and T is the temperature, by integrating the product of the excitation current and voltage associated with the gates over time. However, this method is not applicable to complex logic gates, especially those in which the number of inputs is different from the number of outputs. In the present study, we establish a systematic method to evaluate the energy dissipation of general AQFP logic gates. In the proposed method, the energy dissipation is calculated by subtracting the energy dissipation of the peripheral circuits from that of the entire circuit. In this way, the energy change due to the interaction between gates, which makes it difficult to evaluate the energy dissipation, can be deducted. We evaluate the energy dissipation of a majority gate using this method.


title: Online Matching Frameworks under Stochastic Rewards, Product Ranking, and Unknown Patience

abstract: We study generalizations of online bipartite matching in which each arriving vertex (customer) views a ranked list of offline vertices (products) and matches to (purchases) the first one they deem acceptable. The number of products that the customer has patience to view can be stochastic and dependent on the products seen. We develop a framework that views the interaction with each customer as an abstract resource consumption process, and derive new results for these online matching problems under the adversarial, non-stationary, and IID arrival models, assuming we can (approximately) solve the product ranking problem for each single customer. To that end, we show new results for product ranking under two cascade-click models: an optimal algorithm when each item has its own hazard rate for making the customer depart, and a 1/2-approximate algorithm when the customer has a general item-independent patience distribution. We also present a constant-factor 0.027-approximate algorithm in a new model where items are not initially available and arrive over time. We complement these positive results by presenting three additional negative results relating to these problems.


title: Estimating Mass Distribution of Articulated Objects using Non-prehensile Manipulation

abstract: We explore the problem of estimating the mass distribution of an articulated object by an interactive robotic agent. Our method predicts the mass distribution of an object by using the limited sensing and actuating capabilities of a robotic agent that is interacting with the object. We are inspired by the role of exploratory play in human infants. We take the combined approach of supervised and reinforcement learning to train an agent that learns to strategically interact with the object to estimate the object's mass distribution. Our method consists of two neural networks: (i) the policy network which decides how to interact with the object, and (ii) the predictor network that estimates the mass distribution given a history of observations and interactions. Using our method, we train a robotic arm to estimate the mass distribution of an object with moving parts (e.g. an articulated rigid body system) by pushing it on a surface with unknown friction properties. We also demonstrate how our training from simulations can be transferred to real hardware using a small amount of real-world data for fine-tuning. We use a UR10 robot to interact with 3D printed articulated chains with varying mass distributions and show that our method significantly outperforms the baseline system that uses random pushes to interact with the object.


title: Sparse-to-Dense Hypercolumn Matching for Long-Term Visual Localization

abstract: We propose a novel approach to feature point matching, suitable for robust and accurate outdoor visual localization in long-term scenarios. Given a query image, we first match it against a database of registered reference images, using recent retrieval techniques. This gives us a first estimate of the camera pose. To refine this estimate, like previous approaches, we match 2D points across the query image and the retrieved reference image. This step, however, is prone to fail as it is still very difficult to detect and match sparse feature points across images captured in potentially very different conditions. Our key contribution is to show that we need to extract sparse feature points only in the retrieved reference image: We then search for the corresponding 2D locations in the query image exhaustively. This search can be performed efficiently using convolutional operations, and robustly by using hypercolumn descriptors, i.e. image features computed for retrieval. We refer to this method as Sparse-to-Dense Hypercolumn Matching. Because we know the 3D locations of the sparse feature points in the reference images thanks to an offline reconstruction stage, it is then possible to accurately estimate the camera pose from these matches. Our experiments show that this method allows us to outperform the state-of-the-art on several challenging outdoor datasets.


title: Interaction effects and superconductivity signatures in twisted double-bilayer WSe$_2$

abstract: Twisted bilayer graphene provides a new two-dimensional platform for studying electron interaction phenomena and flat band properties such as correlated insulator transition, superconductivity and ferromagnetism at certain magic angles. Here, we present strong evidence of correlated insulator states and superconductivity signatures in p-type twisted double-bilayer WSe$_2$. Enhanced interlayer interactions are observed when the twist angle decreases to a few degrees as reflected by the high-order satellites in the electron diffraction patterns taken from the 2H/3R-stacked domains reconstructed from a conventional Moir\'e superlattice. In contrast to twisted bilayer graphene, there is no specific magic angle for twisted WSe$_2$. The flat band properties are observed at twist angles ranging from 1 to 4 degrees. The highest superconducting transition temperature observed by transport measurement is 6 K. Our work has facilitated future study in the area of flat band related properties in twisted transition metal dichalcogenide layered structures.


title: On the Exact Recovery Conditions of 3D Human Motion from 2D Landmark Motion with Sparse Articulated Motion

abstract: In this paper, we address the problem of exact recovery condition in retrieving 3D human motion from 2D landmark motion. We use a skeletal kinematic model to represent the 3D human motion as a vector of angular articulation motion. We address this problem based on the observation that at high tracking rate, regardless of the global rigid motion, only few angular articulations have non-zero motion. We propose a first ideal formulation with $\ell_0$-norm to minimize the cardinal of non-zero angular articulation motion given an equality constraint on the time-differentiation of the reprojection error. The second relaxed formulation relies on an $\ell_1$-norm to minimize the sum of absolute values of the angular articulation motion. This formulation has the advantage of being able to provide 3D motion even in the under-determined case when twice the number of 2D landmarks is smaller than the number of angular articulations. We define a specific property which is the Projective Kinematic Space Property (PKSP) that takes into account the reprojection constraint and the kinematic model. We prove that for the relaxed formulation we are able to recover the exact 3D human motion from 2D landmarks if and only if the PKSP property is verified. We further demonstrate that solving the relaxed formulation provides the same ground-truth solution as the ideal formulation if and only if the PKSP condition is filled. Results with simulated sparse skeletal angular motion show the ability of the proposed method to recover exact location of angular motion. We provide results on publicly available real data (HUMAN3.6M, PANOPTIC and MPI-I3DHP).


title: Eigenfunction Behavior and Adaptive Finite Element Approximations of Nonlinear Eigenvalue Problems in Quantum Physics

abstract: In this paper, we investigate a class of nonlinear eigenvalue problems resulting from quantum physics. We first prove that the eigenfunction cannot be a polynomial on any open set, which may be reviewed as a refinement of the classic unique continuation property. Then we apply the non-polynomial behavior of eigenfunction to show that the adaptive finite element approximations are convergent even if the initial mesh is not fine enough. We finally remark that similar arguments can be applied to a class of linear eigenvalue problems that improve the relevant existing result.


title: Systematic quantitative analyses reveal the folk-zoological knowledge embedded in folktales

abstract: Cultural learning is a unique human capacity essential for a wide range of adaptations. Researchers have argued that folktales have the pedagogical function of transmitting the essential information for the environment. The most important knowledge for foraging and pastoral society is folk-zoological knowledge, such as the predator-prey relationship among wild animals, or between wild and domesticated animals. Here, we analysed the descriptions of the 382 animal folktales using the natural language processing method and descriptive statistics listed in a worldwide tale-type index (Aarne-Thompson-Uther type index). Our analyses suggested that first, the predator-prey relationship frequently appeared in a co-occurrent animal pair within a folktale (e.g., cat and mouse or wolf and pig), and second, the motif of 'deception', describing the antagonistic behaviour among animals, appeared relatively higher in 'wild and domestic animals' and 'wild animals' than other types. Furthermore, the motif of 'deception' appeared more frequently in pairs, corresponding to the predator-prey relationship. These results corresponded with the hypothesis that the combination of animal characters and what happens in stories represented relationships in the real world. The present study demonstrated that the combination of quantitative methods and qualitative data broaden our understanding of the evolutionary aspects of human cultures.


title: Lattice deformation on flat-band modulation in 3D Hopf-linked carbon allotrope: Hopfene

abstract: Flat bands form in a 3D Hopf-linked graphene crystal or a 3D carbon allotrope named Hopfene, which qualitatively differ from bands of only graphenes. This paper discusses carbon-hexagon deformation on the level shift of a flat band via density-functional-theoretical (DFT) analysis to set the flat-band level to the Fermi level, viz., to utilize its large density of states for magnetic- and electronic-property researches. Tight-binding (TB) analysis is also performed for a comparison with the DFT analysis; here, a qualitative agreement between TB and DFT bands is obtained. The DFT analysis shows an almost linear flat-band level shift to the lattice-deformation rate, where electron-interaction effects are included within the Kohn-Sham method. To tune the flat-band level so that it fits the Fermi level, a double-hetero-like structure is also proposed as a way of hexagon-deformation control.


title: Type and Degree of Covalence: Empirical Derivation and Implications

abstract: The way atoms attach to each other defines the function(s), e.g., mechanical, optical, electronic, of a given material. The nature of the chemical bond is, therefore, one of the most fundamental issues in materials. Both ionic interactions, i.e., resulting from electrical charges associated with the atoms, and covalent ones, i.e., the sharing of electrons between nuclei of different atoms, are usually viewed as forces that attract between atoms to form a rigid structure. Although less common for solid materials, it was shown theoretically to be possible for covalent interactions at the chemically-active electronic shell (or valence-band maximum) of semiconductors to reverse their more common nature and become repulsive, i.e., act against bonding. Some semiconductors with such predicted anti-bonding valence-band maximum levels (such as halide perovskites) show experimentally some amazing (opto-) electronic properties. Predictions that anti-bonding character can allow tolerance for existing defects, at least in part, can explain the superior properties of such semiconductors. Although there are known experimental ways to estimate the degree of the covalent nature (e.g., electronegativity), this was not possible hitherto for the type, i.e., distinguishing whether a material exhibits bonding or anti-bonding covalent interactions. We have developed a simple way to reveal the complete nature (both type and degree) of chemical bonds, using experimental data. After confirming our development with classical models and theoretical predictions, with a set of ~40 different functional semi-conductors, we show how knowledge of the complete nature of covalent bonding is of critical importance for fundamental properties of semiconductors.


title: Fibrations between finite topological spaces

abstract: We study Hurewicz fibrations between finite T$_0$--spaces from a combinatorial viewpoint and give strong conditions that a continuous map between finite T$_0$--spaces must satisfy in order to be a Hurewicz fibration. We also show that there exists a strong relationship between Hurewicz fibrations between finite T$_0$--spaces and Grothendieck bifibrations. Finally we give several interesting examples that illustrate this theory and show that many of the assumptions of our results are necessary.


title: Curvas de contato no espa\c{c}o projetivo

abstract: The odd dimensional projective space $\mathbb{P}^{2n-1}$ admits a contact structure arising from a non integrable distribution of hyperplanes determined by a symplectic form in $\mathbb{C}^{2n}$. Our object of interest is the set of rational curves of degree d which are tangent to that contact distribution in $\mathbb{P}^3$. Such curves are called contact curves or legendrian curves. To explore the geometry of contact curves, we construct the parameter space $\mathcal{L}_d$ using Kontsevich's stable maps, $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^3,d)$, endowed with the structure of algebraic stack. The intersection theory on stacks allows us to define in that space the virtual invariant $N_d$, associated with the number of degree $d$ contact curves incident to $2d+1$ lines. Using graph combinatorics and partitions originated from Bott's localization formula, we determine a general formula for $N_d$. We explicitly calculate it for contact curves up to degree 4 - confirming the known cases of contact lines and conics and introducing the new numbers for cubics and quartics. Finally, we discuss the enumerative significance of these invariants, still conjectural for $d>4$.


title: Homology of posets with functor coefficients and its relation to Khovanov homology of knots

abstract: We study homology groups of posets with functor coefficients and apply our results to give a novel approach to study Khovanov homology of knots and related homology theories.


title: Implicit Discourse Relation Identification for Open-domain Dialogues

abstract: Discourse relation identification has been an active area of research for many years, and the challenge of identifying implicit relations remains largely an unsolved task, especially in the context of an open-domain dialogue system. Previous work primarily relies on a corpora of formal text which is inherently non-dialogic, i.e., news and journals. This data however is not suitable to handle the nuances of informal dialogue nor is it capable of navigating the plethora of valid topics present in open-domain dialogue. In this paper, we designed a novel discourse relation identification pipeline specifically tuned for open-domain dialogue systems. We firstly propose a method to automatically extract the implicit discourse relation argument pairs and labels from a dataset of dialogic turns, resulting in a novel corpus of discourse relation pairs; the first of its kind to attempt to identify the discourse relations connecting the dialogic turns in open-domain discourse. Moreover, we have taken the first steps to leverage the dialogue features unique to our task to further improve the identification of such relations by performing feature ablation and incorporating dialogue features to enhance the state-of-the-art model.


title: Better-than-Demonstrator Imitation Learning via Automatically-Ranked Demonstrations

abstract: The performance of imitation learning is typically upper-bounded by the performance of the demonstrator. While recent empirical results demonstrate that ranked demonstrations allow for better-than-demonstrator performance, preferences over demonstrations may be difficult to obtain, and little is known theoretically about when such methods can be expected to successfully extrapolate beyond the performance of the demonstrator. To address these issues, we first contribute a sufficient condition for better-than-demonstrator imitation learning and provide theoretical results showing why preferences over demonstrations can better reduce reward function ambiguity when performing inverse reinforcement learning. Building on this theory, we introduce Disturbance-based Reward Extrapolation (D-REX), a ranking-based imitation learning method that injects noise into a policy learned through behavioral cloning to automatically generate ranked demonstrations. These ranked demonstrations are used to efficiently learn a reward function that can then be optimized using reinforcement learning. We empirically validate our approach on simulated robot and Atari imitation learning benchmarks and show that D-REX outperforms standard imitation learning approaches and can significantly surpass the performance of the demonstrator. D-REX is the first imitation learning approach to achieve significant extrapolation beyond the demonstrator's performance without additional side-information or supervision, such as rewards or human preferences. By generating rankings automatically, we show that preference-based inverse reinforcement learning can be applied in traditional imitation learning settings where only unlabeled demonstrations are available.


title: Homotopy-coherent algebra via Segal conditions

abstract: Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an "algebraic pattern", bywhich we mean an $\infty$-category equipped with a factorization system and a collection of "elementary" objects. Examples of structures that occur as such "Segal $\mathcal{O}$-spaces" for an algebraic pattern $\mathcal{O}$ include $\infty$-categories, $(\infty,n)$-categories, $\infty$-operads, $\infty$-properads, and algebras for an $\infty$-operad in spaces. In the first part of this paper we set up a general frameworkn for algebraic patterns and their Segal objects, including conditions under which the latter are preserved by left and right Kan extensions. In particular, we obtain necessary and sufficent conditions on a pattern $\mathcal{O}$ for free Segal $\mathcal{O}$-spaces to be described by an explicit colimit formula, in which case we say that $\mathcal{O}$ is "extendable". In the second part of the paper we explore the relationship between extendable algebraic patterns and polynomial monads, by which we mean cartesian monads on presheaf $\infty$-categories that are accessible and preserve weakly contractible limits. We first show that the free Segal $\mathcal{O}$-space monad for an extendable pattern $\mathcal{O}$ is always polynomial. Next, we prove an $\infty$-categorical version of Weber's Nerve Theorem for polynomial monads, and use this to define a canonical extendable pattern from any polynomial monad, whose Segal spaces are equivalent to the algebras of the monad. These constructions yield functors between polynomial monads and extendable algebraic patterns, and we show that these exhibit full subcategories of "saturated" algebraic patterns and "complete" polynomial monads as localizations, and moreover restrict to an equivalence between the $\infty$-categories of saturated patterns and complete polynomial monads.


title: Dirac fermion and superconductivity in two-dimensional transition-metal MOH (M= Zr, Hf )

abstract: Discovery of the new two-dimensional (2D) Dirac semimetals incorporating both superconductivity and the topological band structure has provided a novel platform for realizing the intriguing applications of Dirac fermions and Majorana quasiparticles, ranging from high-speed quantum devices at the nanoscale to topological quantum computations. In this work, utilizing first-principles calculations and symmetry analysis, we introduce MOH (M= Zr, Hf) as a new topological superconductor with Dirac points close to a Fermi level which are connected with nearly flat edge states as a striking feature of topological semimetals. Our calculations show that ZrOH as a 2D topological semimetal can exhibit superconductivity and is a novel platform for studying the interplay between superconductivity and Dirac states in low-dimensional materials.


title: Spin Hall effect in prototype Rashba ferroelectrics GeTe and SnTe

abstract: Ferroelectric Rashba semiconductors (FERSC) have recently emerged as a promising class of spintronics materials. The peculiar coupling between spin and polar degrees of freedom responsible for several exceptional properties, including ferroelectric switching of Rashba spin texture, suggests that the electron's spin could be controlled by using only electric fields. In this regard, recent experimental studies revealing charge-to-spin interconversion phenomena in two prototypical FERSC, GeTe and SnTe, appear extremely relevant. Here, by employing density functional theory calculations, we investigate spin Hall effect (SHE) in these materials and show that it can be large either in ferroelectric or paraelectric structure. We further explore the compatibility between doping required for the practical realization of SHE in semiconductors and polar distortions which determine Rashba-related phenomena in FERSC, but which could be suppressed by free charge carriers. Based on the analysis of the lone pairs which drive ferroelectricity in these materials, we have found that the polar displacements in GeTe can be sustained up to a critical hole concentration of over $\sim 10^{21}$/cm$^{3}$, while the tiny distortions in SnTe vanish at a minimal level of doping. Finally, we have estimated spin Hall angles for doped structures and demonstrated that the spin Hall effect could be indeed achieved in a polar phase. We believe that the confirmation of spin Hall effect, Rashba spin textures and ferroelectricity coexisting in one material will be helpful for design of novel multifunctional spintronics devices operating without magnetic fields.


title: Properties of the post in-spiral common envelope ejecta I: dynamical and thermal evolution

abstract: We investigate the common envelope binary interaction, that leads to the formation of compact binaries, such as the progenitor of Type Ia supernovae or of mergers that emit detectable gravitational waves. In this work we diverge from the classic numerical approach that models the dynamic in-spiral. We focus instead on the asymptotic behaviour of the common envelope expansion after the dynamic in-spiral terminates. We use the SPH code {\sc phantom} to simulate one of the setups from Passy et al., with a 0.88~\ms, 83~\rs \ RGB primary and a 0.6~\ms \ companion, then we follow the ejecta expansion for $\simeq 50$~yr. Additionally, we utilise a tabulated equation of state including the envelope recombination energy in the simulation (Reichardt et al.), achieving a full unbinding. We show that, as time passes, the envelope's radial velocities dominate over the tangential ones, hence allowing us to apply an homologous expansion kinematic model to the ejecta. The external layers of the envelope become homologous as soon as they are ejected, but it takes $\simeq 5000$~days ($\simeq 14$~yr) for the bulk of the unbound gas to achieve an homologous expanding regime. We observe that the complex distribution generated by the dynamic in-spiral evolves into a more ordered, ring-like shaped one in the asymptotic regime. We show that the thermodynamics of the expanding envelope are in very good agreement with those expected for an adiabatically expanding sphere under the homologous condition and give a prediction for the location and temperature of the photosphere assuming dust to be the main source of opacity.


title: Simulation Credibility Assessment Methodology with FPGA-based Hardware-in-the-loop Platform

abstract: Electronic control systems are becoming more and more complicated, which makes it difficult to test them sufficiently only through experiments. Simulation is an efficient way in the development and testing of complex electronic systems, but the simulation results are always doubtful by people due to the lack of credible simulation platforms and assessment methods. This paper proposes a credible simulation platform based on real-time FPGA-based hardware-in-the-loop (HIL) simulation, and then an assessment method is proposed to quantitatively assess its simulation credibility. By using the FPGA to simulate all sensor chips, the simulation platform can ensure that the tested electronic system maintains the same hardware and software operating environment in both simulations and experiments, which makes it possible to perform the same tests in the simulation platform and the real experiment to compare and analyze the simulation errors. Then, the testing methods and assessment indices are proposed to assess the simulation platform from various perspectives, such as performance, time-domain response, and frequency-domain response. These indices are all normalized to the same scale (from 0 to 1) and mapped to a uniform assessment criterion, which makes it convenient to compare and synthesize different assessment indices. Finally, an overall assessment index is proposed by combining all assessment indices obtained from different tests to assess the simulation credibility of the whole simulation platform. The simulation platform and the proposed assessment method are applied to a multicopter system, where the effectiveness and practicability are verified by simulations and experiments.


title: Brittle to quasibrittle transition in a compound fiber bundle

abstract: The brittle to quasibrittle transition has been studied for a compound of two different kinds of fibrous materials, having distinct difference in their breaking strengths under the framework of the fiber bundle model. A random fiber bundle model has been devised with a bimodal distribution of the breaking strengths of the individual fibers. The bimodal distribution is assumed to be consisting of two symmetrically placed rectangular probability distributions of strengths $p$ and $1 - p$, each of width $d$, and separated by a gap $2s$. Different properties of the transition have been studied varying these three parameters and using the well known equal load sharing dynamics. Our study exhibits a brittle to quasibrittle transition at the critical width $d_c(s,p) = p(1/2 - s)/(1 + p)$ confirmed by our numerical results.


title: On syntomic complex with modulus for semi-stable reduction case

abstract: In this paper, we define syntomic complex for modulus pair (X,D), where X is regular semi-stable family and D is an effective Cartier divisor on X. We compute its cohomology sheaves.


title: Nodeless s-wave superconductivity in the {\alpha}-Mn structure type noncentrosymmetric superconductor TaOs: A {\mu}SR study

abstract: Noncentrosymmetric superconductors can lead to a variety of exotic properties in the superconducting state such as line nodes, multigap behavior, and time-reversal symmetry breaking. In this paper, we report the properties of the new noncentrosymmetric superconductor TaOs, using muon spin relaxation and rotation measurements. It is shown using the zero-field muon experiment that TaOs preserve the time-reversal symmetry in the superconducting state. From the transverse field muon measurements, we extract the temperature dependence of $\lambda(T)$ which is proportional to the superfluid density. This data can be fit with a fully gapped s-wave model for $\alpha$ = $\Delta(0)/k_{B}T_{c}$ = 2.01 $\pm$ 0.02. Furthermore, the value of magnetic penetration depth is found to be 5919 $\pm$ 45 \text{\AA}, which is consistent with the value obtained from the bulk measurements.


title: Nuclear Recoil Scintillation Linearity of a High Pressure $^4$He Gas Detector

abstract: We investigate scintillation linearity of a commercial high pressure $^4$He gas detector using monoenergetic 2.8 MeV neutrons from a deuterium-deuterium fusion neutron generator. The scintillation response of the detector was measured for a range of recoil energies between 83 keV and 626 keV by tagging neutrons scattering into fixed angles with a far-side organic scintillator detector. Detailed Monte Carlo simulations were compared to experimental data to determine the linearity of the detector response by comparing the scaling of the energy deposits in the simulations to the detector output. In this analysis, a linear scintillation response corresponds to a consistent value for the scaling factor between simulated energy deposits and experimental data for several different scattering angles. We demonstrate that the detector can be used to detect fast neutron interactions down to 83 keV recoil energies and can be used to characterize low-energy neutron sources, one of its potential applications.


title: Magnetization reversal, giant exchange bias effect and magnetoresistance in oxygen vacancy ordered Sr$_{4}$Fe$_{3}$CoO$_{11}$

abstract: We report the structural, magnetic, exchange bias and magnetotransport effect in Sr$_{4}$Fe$_{3}$CoO$_{11}$. The material crystallizes in the orthorhombic $\textit{Cmmm}$ space group. It shows antiferromagnetic (G-type) transition (T$_{N}$ = 255 K) along with interesting temperature induced magnetization reversal (T$_{Comp.}$= 47 K measured at 100 Oe). The magnetic reversal can be elucidated considering the increased magnetocrystalline anisotropy with Co substitution. Magnetoresistance measurements shows an interesting crossover from negative to positive side at $\sim$ 100 K. The negative magnetoresistance reaches 80 $\%$ at 25 K in 7 T magnetic field. Giant exchange bias effect is observed below T$_{N}$ under field cooling condition. The origin of the negative magnetoresistance and giant exchange bias in this sample can be attributed to the magnetic frustration.


title: Metal-chalcogen bond-length induced electronic phase transition from semiconductor to topological semimetal in ZrX$_2$ (X = Se and Te)

abstract: Using angle resolved photoemission spectroscopy (ARPES) and density functional theory (DFT) calculations we studied the low-energy electronic structure of bulk ZrTe$_2$. ARPES studies on ZrTe$_2$ demonstrate free charge carriers at the Fermi level, which is further confirmed by the DFT calculations. An equal number of hole and electron carrier density estimated from the ARPES data, points ZrTe$_2$ to a semimetal. The DFT calculations further suggest a band inversion between Te $p$ and Zr $d$ states at the $\Gamma$ point, hinting at the non-trivial band topology in ZrTe$_2$. Thus, our studies for the first time unambiguously demonstrate that ZrTe$_2$ is a topological semimetal. Also, a comparative band structure study is done on ZrSe$_2$ which shows a semiconducting nature of the electronic structure with an indirect band gap of 0.9 eV between $\Gamma (A) $ and $M (L)$ high symmetry points. In the below we show that the metal-chalcogen bond-length plays a critical role in the electronic phase transition from semiconductor to a topological semimetal ingoing from ZrSe$_2$ to ZrTe$_2$.


title: Improving Reverberant Speech Training Using Diffuse Acoustic Simulation

abstract: We present an efficient and realistic geometric acoustic simulation approach for generating and augmenting training data in speech-related machine learning tasks. Our physically-based acoustic simulation method is capable of modeling occlusion, specular and diffuse reflections of sound in complicated acoustic environments, whereas the classical image method can only model specular reflections in simple room settings. We show that by using our synthetic training data, the same neural networks gain significant performance improvement on real test sets in far-field speech recognition by 1.58% and keyword spotting by 21%, without fine-tuning using real impulse responses.


title: All Sparse PCA Models Are Wrong, But Some Are Useful. Part I: Computation of Scores, Residuals and Explained Variance

abstract: Sparse Principal Component Analysis (sPCA) is a popular matrix factorization approach based on Principal Component Analysis (PCA) that combines variance maximization and sparsity with the ultimate goal of improving data interpretation. When moving from PCA to sPCA, there are a number of implications that the practitioner needs to be aware of. A relevant one is that scores and loadings in sPCA may not be orthogonal. For this reason, the traditional way of computing scores, residuals and variance explained that is used in the classical PCA cannot directly be applied to sPCA models. This also affects how sPCA components should be visualized. In this paper we illustrate this problem both theoretically and numerically using simulations for several state-of-the-art sPCA algorithms, and provide proper computation of the different elements mentioned. We show that sPCA approaches present disparate and limited performance when modeling noise-free, sparse data. In a follow-up paper, we discuss the theoretical properties that lead to this problem.


title: Effect of anomalous magnetic moment of quarks on the phase structure and mesonic properties in the NJL model

abstract: Employing a field dependent three-momentum cut-off regularization technique, we study the phase structure and mesonic masses using the $2$-flavour Nambu-Jona Lasinio model at finite temperature and density in presence of arbitrary external magnetic field. This approach is then applied to incorporate the effects of the anomalous magnetic moment(AMM) of quarks on constituent quark mass and thermodynamic observables as a function of temperature/baryonic density. The critical temperature for transition from chiral symmetry broken to the restored phase is observed to decrease with the external magnetic field, which can be classified as inverse magnetic catalysis, while an opposite behaviour is realized in the case of a vanishing magnetic moment, implying magnetic catalysis. These essential features are also reflected in the phase diagram. Furthermore, the properties of the low lying scalar and neutral pseudoscalar mesons are also studied in presence of a hot and dense magnetized medium including AMM of the quarks using random phase approximation. For non-zero values of magnetic field, we notice a sudden jump in the mass of the Goldstone mode at and above the Mott transition temperature which is found to decrease substantially with the increase in magnetic field when the AMM of the quarks are taken into consideration.


title: $H^\infty$-functional calculus for commuting families of Ritt operators and sectorial operators

abstract: We introduce and investigate $H^\infty$-functional calculus for commuting finite families of Ritt operators on Banach space $X$. We show that if either $X$ is a Banach lattice or $X$ or $X^*$ has property $(\alpha)$, then a commuting $d$-tuple $(T_1,\ldots, T_d)$ of Ritt operators on $X$ has an $H^\infty$ joint functional calculus if and only if each $T_k$ admits an $H^\infty$ functional calculus. Next for $p\in(1,\infty)$, we characterize commuting $d$-tuple of Ritt operators on $L^p(\Omega)$ which admit an $H^\infty$ joint functional calculus, by a joint dilation property. We also obtain a similar characterisation for operators acting on a UMD Banach space with property $(\alpha)$. Then we study commuting $d$-tuples $(T_1,\ldots, T_d)$ of Ritt operators on Hilbert space. In particular we show that if $\Vert T_k\Vert\leq 1$ for every $k=1,\ldots,d$, then $(T_1,\ldots, T_d)$ satisfies a multivariable analogue of von Neumann's inequality. Further we show analogues of most of the above results for commuting finite families of sectorial operators.


title: Word operads and admissible orderings

abstract: We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is utilised to exhibit a quadratic Gr\"obner basis of the Poisson operad.


title: Community Detection on Networks with Ricci Flow

abstract: Many complex networks in the real world have community structures -- groups of well-connected nodes with important functional roles. It has been well recognized that the identification of communities bears numerous practical applications. While existing approaches mainly apply statistical or graph theoretical/combinatorial methods for community detection, in this paper, we present a novel geometric approach which enables us to borrow powerful classical geometric methods and properties. By considering networks as geometric objects and communities in a network as a geometric decomposition, we apply curvature and discrete Ricci flow, which have been used to decompose smooth manifolds with astonishing successes in mathematics, to break down communities in networks. We tested our method on networks with ground-truth community structures, and experimentally confirmed the effectiveness of this geometric approach.


title: FarSense: Pushing the Range Limit of WiFi-based Respiration Sensing with CSI Ratio of Two Antennas

abstract: The past few years have witnessed the great potential of exploiting channel state information retrieved from commodity WiFi devices for respiration monitoring. However, existing approaches only work when the target is close to the WiFi transceivers and the performance degrades significantly when the target is far away. On the other hand, most home environments only have one WiFi access point and it may not be located in the same room as the target. This sensing range constraint greatly limits the application of the proposed approaches in real life. This paper presents FarSense--the first real-time system that can reliably monitor human respiration when the target is far away from the WiFi transceiver pair. FarSense works well even when one of the transceivers is located in another room, moving a big step towards real-life deployment. We propose two novel schemes to achieve this goal: (1) Instead of applying the raw CSI readings of individual antenna for sensing, we employ the ratio of CSI readings from two antennas, whose noise is mostly canceled out by the division operation to significantly increase the sensing range; (2) The division operation further enables us to utilize the phase information which is not usable with one single antenna for sensing. The orthogonal amplitude and phase are elaborately combined to address the "blind spots" issue and further increase the sensing range. Extensive experiments show that FarSense is able to accurately monitor human respiration even when the target is 8 meters away from the transceiver pair, increasing the sensing range by more than 100%. We believe this is the first system to enable through-wall respiration sensing with commodity WiFi devices and the proposed method could also benefit other sensing applications.


title: $\ell^1$-contractive maps on noncommutative $L^p$-spaces

abstract: Let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded operator between two noncommutative $L^p$-spaces, $1\leq p<\infty$. We say that $T$ is $\ell^1$-bounded (resp. $\ell^1$-contractive) if $T\otimes I_{\ell^1}$ extends to a bounded (resp. contractive) map from $L^p({\mathcal M};\ell^1)$ into $L^p({\mathcal N};\ell^1)$. We show that Yeadon's factorization theorem for $L^p$-isometries, $1\leq p\not=2 <\infty$, applies to an isometry $T\colon L^2({\mathcal M})\to L^2({\mathcal N})$ if and only if $T$ is $\ell^1$-contractive. We also show that a contractive operator $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is automatically $\ell^1$-contractive if it satisfies one of the following two conditions: either $T$ is $2$-positive; or $T$ is separating, that is, for any disjoint $a,b\in L^p({\mathcal M})$ (i.e. $a^*b=ab^*=0)$, the images $T(a),T(b)$ are disjoint as well.


title: Understanding Counterexamples for Relational Properties with DIbugger

abstract: Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially the case for complex requirements, e.g., regarding security or fairness, when one needs to compare multiple related runs of the same software. Verification tools often provide counterexamples consisting of program inputs when a proof attempt fails, however it is often not clear why the reported counterexample leads to a violation of the checked property. In this paper, we enhance this aspect of the software verification process by providing DIbugger, a tool for analyzing counterexamples of relational properties, allowing the user to debug multiple related programs simultaneously.


title: Relational Verification via Invariant-Guided Synchronization

abstract: Relational properties describe relationships that hold over multiple executions of one or more programs, such as functional equivalence. Conventional approaches for automatically verifying such properties typically rely on syntax-based, heuristic strategies for finding synchronization points among the input programs. These synchronization points are then annotated with appropriate relational invariants to complete the proof. However, when suboptimal synchronization points are chosen the required invariants can be complicated or even inexpressible in the target theory. In this work, we propose a novel approach to verifying relational properties. This approach searches for synchronization points and synthesizes relational invariants simultaneously. Specifically, the approach uses synthesized invariants as a guide for finding proper synchronization points that lead to a complete proof. We implemented our approach as a tool named PEQUOD, which targets Java Virtual Machine (JVM) bytecode. We evaluated PEQUOD by using it to solve verification challenges drawn from the from the research literature and by verifying properties of student-submitted solutions to online challenge problems. The results show that PEQUOD solve verification problems that cannot be addressed by current techniques.


title: Ultimate TreeAutomizer (CHC-COMP Tool Description)

abstract: We present Ultimate TreeAutomizer, a solver for satisfiability of sets of constrained Horn clauses. Constrained Horn clauses (CHC) are a fragment of first order logic with attractive properties in terms of expressiveness and accessibility to algorithmic solving. Ultimate TreeAutomizer is based on the techniques of trace abstraction, tree automata and tree interpolation. This paper serves as a tool description for TreeAutomizer in CHC-COMP 2019.


title: Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification

abstract: The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property. In this paper we have conducted a case study in Horn clause verification by considering several sorting programs with the aim of exploring the effectiveness of a transformation technique which allows us to eliminate inductive data structures such as lists or trees. If this technique is successful, we derive a set of CHCs with constraints over the integers and booleans only, and the satisfiability check can often be performed in an effective way by using state-of-the-art CHC solvers, such as Eldarica or Z3. In this case study we have also illustrated the usefulness of a companion technique based on the introduction of the so-called difference predicates, whose definitions correspond to lemmata required during the verification. We have considered functional programs which implement the following kinds of sorting algorithms acting on lists of integers: (i) linearly recursive sorting algorithms, such as insertion sort and selection sort, and (ii) non-linearly recursive sorting algorithms, such as quicksort and mergesort, and we have considered the following properties: (i) the partial correctness properties, that is, the orderedness of the output lists, and the equality of the input and output lists when viewed as multisets, and (ii) some arithmetic properties, such as the equality of the sum of the elements before and after sorting.


title: Recurrent Solutions of a Nonautonomous Modified Swift-Hohenberg Equation

abstract: We consider recurrent solutions of the nonautonomous modified Swift-Hohenberg equation $$u_t+\Delta^2u+2\Delta u+au+b|\nabla u|^2+u^3=g(t,x).$$ We employ Conley index theory to show that, if the forcing $g:\mathbb{R}\rightarrow L^2(\Omega)$ is a recurrent function, then there are at least two recurrent solutions in $H_0^2(\Omega)$ under appropriate assumptions on the parameters $a$, $b$ and $g$.


title: Incremental Semantic Mapping with Unsupervised On-line Learning

abstract: This paper introduces an incremental semantic mapping approach, with on-line unsupervised learning, based on Self-Organizing Maps (SOM) for robotic agents. The method includes a mapping module, which incrementally creates a topological map of the environment, enriched with objects recognized around each topological node, and a module of places categorization, endowed with an incremental unsupervised learning SOM with on-line training. The proposed approach was tested in experiments with real-world data, in which it demonstrates promising capabilities of incremental acquisition of topological maps enriched with semantic information, and for clustering together similar places based on this information. The approach was also able to continue learning from newly visited environments without degrading the information previously learned.


title: Characterizing Bitcoin donations to open source software on GitHub

abstract: Web-based hosting services for version control, such as GitHub, have made it easier for people to develop, share, and donate money to software repositories. In this paper, we study the use of Bitcoin to make donations to open source repositories on GitHub. In particular, we analyze the amount and volume of donations over time, in addition to its relationship to the age and popularity of a repository. We scanned over three million repositories looking for donation addresses. We then extracted and analyzed their transactions from Bitcoin's public blockchain. Overall, we found a limited adoption of Bitcoin as a payment method for receiving donations, with nearly 44 thousand deposits adding up to only 8.3 million dollars in the last 10 years. We also found weak positive correlation between the amount of donations in dollars and the popularity of a repository, with highest correlation (r=0.013) associated with number of forks.


title: Mean Spectral Normalization of Deep Neural Networks for Embedded Automation

abstract: Deep Neural Networks (DNNs) have begun to thrive in the field of automation systems, owing to the recent advancements in standardising various aspects such as architecture, optimization techniques, and regularization. In this paper, we take a step towards a better understanding of Spectral Normalization (SN) and its potential for standardizing regularization of a wider range of Deep Learning models, following an empirical approach. We conduct several experiments to study their training dynamics, in comparison with the ubiquitous Batch Normalization (BN) and show that SN increases the gradient sparsity and controls the gradient variance. Furthermore, we show that SN suffers from a phenomenon, we call the mean-drift effect, which mitigates its performance. We, then, propose a weight reparameterization called as the Mean Spectral Normalization (MSN) to resolve the mean drift, thereby significantly improving the network's performance. Our model performs ~16% faster as compared to BN in practice, and has fewer trainable parameters. We also show the performance of our MSN for small, medium, and large CNNs - 3-layer CNN, VGG7 and DenseNet-BC, respectively - and unsupervised image generation tasks using Generative Adversarial Networks (GANs) to evaluate its applicability for a broad range of embedded automation tasks.


title: Incremental Intervention Effects in Studies with Dropout and Many Timepoints

abstract: Modern longitudinal studies collect feature data at many timepoints, often of the same order of sample size. Such studies are typically affected by {dropout} and positivity violations. We tackle these problems by generalizing effects of recent incremental interventions (which shift propensity scores rather than set treatment values deterministically) to accommodate multiple outcomes and subject dropout. We give an identifying expression for incremental intervention effects when dropout is conditionally ignorable (without requiring treatment positivity), and derive the nonparametric efficiency bound for estimating such effects. Then we present efficient nonparametric estimators, showing that they converge at fast parametric rates and yield uniform inferential guarantees, even when nuisance functions are estimated flexibly at slower rates. We also study the variance ratio of incremental intervention effects relative to more conventional deterministic effects in a novel infinite time horizon setting, where the number of timepoints can grow with sample size, and show that incremental intervention effects yield near-exponential gains in statistical precision in this setup. Finally we conclude with simulations and apply our methods in a study of the effect of low-dose aspirin on pregnancy outcomes.


title: Handling localisation in rely/guarantee concurrency: An algebraic approach

abstract: The rely/guarantee approach of Jones extends Hoare logic with rely and guarantee conditions in order to allow compositional reasoning about shared-variable concurrent programs. This paper focuses on localisation in the context of rely/guarantee concurrency in order to support local variables. Because we allow the body of a local variable block to contain component processes that run in parallel, the approach needs to allow variables local to a block to become shared variables of its component parallel processes. To support the mechanisation of the rely/guarantee approach, we have developed a synchronous concurrent refinement algebra. Its foundation consists of a small set of primitive commands plus a small set of primitive operators from which all remaining constructs are defined. To support local variables we add a primitive localisation operator to our algebra that is used to define local variable blocks. From this we can prove properties of localisation, including its interaction with rely and guarantee conditions.


title: Variational Optimization Based Reinforcement Learning for Infinite Dimensional Stochastic Systems

abstract: Systems involving Partial Differential Equations (PDEs) have recently become more popular among the machine learning community. However prior methods usually treat infinite dimensional problems in finite dimensions with Reduced Order Models. This leads to committing to specific approximation schemes and subsequent derivation of control laws. Additionally, prior work does not consider spatio-temporal descriptions of noise that realistically represent the stochastic nature of physical systems. In this paper we suggest a new reinforcement learning framework that is mostly model-free for Stochastic PDEs with additive spacetime noise, based on variational optimization in infinite dimensions. In addition, our algorithm incorporates sparse representations that allow for efficient learning of feedback policies in high dimensions. We demonstrate the efficacy of the proposed approach with several simulated experiments on a variety of SPDEs.


title: Loss of transmission on directed networks due to link deletion

abstract: We investigate the effects of link deletion on a 1 - to - 1 transmission process occurring on various models of directed networks and characterize them in terms of the fraction of successful transmissions and average transmission time. We make intuitive arguments and numerically show that the probability of successful transmission depends, on an average, on the fractional size of the Strongly Connected Component (SCC) and the average transmission time depends on the Average Path Length (APL) of the SCC. In the context of a specific road-network, we study the roles of various process parameters. Finally, we provide remedial strategies to improve transmission during link deletion in such networks.


title: Decentralized Gaussian Mixture Fusion through Unified Quotient Approximations

abstract: This work examines the problem of using finite Gaussian mixtures (GM) probability density functions in recursive Bayesian peer-to-peer decentralized data fusion (DDF). It is shown that algorithms for both exact and approximate GM DDF lead to the same problem of finding a suitable GM approximation to a posterior fusion pdf resulting from the division of a `naive Bayes' fusion GM (representing direct combination of possibly dependent information sources) by another non-Gaussian pdf (representing removal of either the actual or estimated `common information' between the information sources). The resulting quotient pdf for general GM fusion is naturally a mixture pdf, although the fused mixands are non-Gaussian and are not analytically tractable for recursive Bayesian updates. Parallelizable importance sampling algorithms for both direct local approximation and indirect global approximation of the quotient mixture are developed to find tractable GM approximations to the non-Gaussian `sum of quotients' mixtures. Practical application examples for multi-platform static target search and maneuverable range-based target tracking demonstrate the higher fidelity of the resulting approximations compared to existing GM DDF techniques, as well as their favorable computational features.


title: On $S$-Curvature of Homogeneous Finsler spaces with $(\alpha, \beta)$-metrics

abstract: The study of curvature properties of homogeneous Finsler spaces with $(\alpha, \beta)$-metrics is one of the central problems in Riemann-Finsler geometry. In the present paper, the existence of invariant vector fields on homogeneous Finsler spaces with square $(\alpha, \beta)$-metric and Randers changed square $(\alpha, \beta)$-metric is proved. Further, an explicit formula for $S$-curvature of these $(\alpha, \beta)$-metrics is established. Finally, using the formula of $S$-curvature, the mean Berwald curvature of afore said $(\alpha, \beta)$-metrics is calculated.


title: Zero loci of Bernstein-Sato ideals

abstract: We prove a conjecture of the first author relating the Bernstein-Sato ideal of a finite collection of multivariate polynomials with cohomology support loci of rank one complex local systems. This generalizes a classical theorem of Malgrange and Kashiwara relating the b-function of a multivariate polynomial with the monodromy eigenvalues on the Milnor fibers cohomology.


title: UnsuperPoint: End-to-end Unsupervised Interest Point Detector and Descriptor

abstract: It is hard to create consistent ground truth data for interest points in natural images, since interest points are hard to define clearly and consistently for a human annotator. This makes interest point detectors non-trivial to build. In this work, we introduce an unsupervised deep learning-based interest point detector and descriptor. Using a self-supervised approach, we utilize a siamese network and a novel loss function that enables interest point scores and positions to be learned automatically. The resulting interest point detector and descriptor is UnsuperPoint. We use regression of point positions to 1) make UnsuperPoint end-to-end trainable and 2) to incorporate non-maximum suppression in the model. Unlike most trainable detectors, it requires no generation of pseudo ground truth points, no structure-from-motion-generated representations and the model is learned from only one round of training. Furthermore, we introduce a novel loss function to regularize network predictions to be uniformly distributed. UnsuperPoint runs in real-time with 323 frames per second (fps) at a resolution of $224\times320$ and 90 fps at $480\times640$. It is comparable or better than state-of-the-art performance when measured for speed, repeatability, localization, matching score and homography estimation on the HPatch dataset.


title: Separation of time-scales in drift-diffusion equations on $\mathbb{R}^2$

abstract: We deal with the problem of separation of time-scales and filamentation in a linear drift-diffusion problem posed on the whole space $\mathbb{R}^2$. The passive scalar considered is stirred by an incompressible flow with radial symmetry. We identify a time-scale, much faster than the diffusive one, at which mixing happens along the streamlines, as a result of the interaction between transport and diffusion. This effect is also known as enhanced dissipation. For power-law circular flows, this time-scale only depends on the behavior of the flow at the origin. The proofs are based on an adaptation of a hypocoercivity scheme and yield a linear semigroup estimate in a suitable weighted $L^2$-based space.


title: Modified golden ratio algorithms for solving equilibrium problems

abstract: In this paper an explicit algorithm is proposed for solving an equilibrium problem whose associated bifunction is pseudomonotone and satisfies a Lipschitz-type condition. Contrary to many algorithms, our algorithm is done without using explicitly the Lipschitz constants of bifunction although its convergence is obtained under such that condition. The introduced method is a form of proximal-like method whose steplengths are explicitly generated at each iteration without using any linesearch procedure. First we prove the convergence of the algorithm, and after we establish its $R$-linear rate of convergence under the assumption of strong pseudomonotonicity of the bifunction. Afterwards several numerical results are displayed to illustrate and to compare the behavior of the new algorithm with other ones.


title: Gelation impairs small molecule migration in polymer mixtures

abstract: Surface segregation of the low-molecular weight component in a polymeric mixture leads to degradation of industrial formulations. We report a simultaneous phase separation and surface migration phenomena in oligomer-polymer and oligomer-gel systems following a temperature quench. We compute equilibrium and time varying migrant density profiles and wetting layer thickness using coarse grained molecular dynamics and mesoscale hydrodynamics simulations to demonstrate that surface migration in oligomer-gel systems is significantly reduced due to network elasticity. Further, phase separation processes are significantly slowed in gels, modifying the Lifshitz-Slyozov-Wagner (LSW) law $\ell(\tau) \sim \tau^{1/3}$. Our work allows for rational design of polymer/gel-oligomer mixtures with predictable surface segregation characteristics.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech q-bio.BM


title: On alternative quantization for doubly weighted approximation and integration over unbounded domains

abstract: It is known that for a $\rho$-weighted $L_q$-approximation of single variable functions $f$ with the $r$th derivatives in a $\psi$-weighted $L_p$ space, the minimal error of approximations that use $n$ samples of $f$ is proportional to $\|\omega^{1/\alpha}\|_{L_1}^\alpha\|f^{(r)}\psi\|_{L_p}n^{-r+(1/p-1/q)_+},$ where $\omega=\rho/\psi$ and $\alpha=r-1/p+1/q.$ Moreover, the optimal sample points are determined by quantiles of $\omega^{1/\alpha}.$ In this paper, we show how the error of best approximations changes when the sample points are determined by a quantizer $\kappa$ other than $\omega.$ Our results can be applied in situations when an alternative quantizer has to be used because $\omega$ is not known exactly or is too complicated to handle computationally. The results for $q=1$ are also applicable to $\rho$-weighted integration over unbounded domains.


title: A bijection for essentially 3-connected toroidal maps

abstract: We present a bijection for toroidal maps that are essentially $3$-connected ($3$-connected in the periodic planar representation). Our construction actually proceeds on certain closely related bipartite toroidal maps with all faces of degree $4$ except for a hexagonal root-face. We show that these maps are in bijection with certain well-characterized bipartite unicellular maps. Our bijection, closely related to the recent one by Bonichon and L\'ev\^eque for essentially 4-connected toroidal triangulations, can be seen as the toroidal counterpart of the one developed in the planar case by Fusy, Poulalhon and Schaeffer, and it extends the one recently proposed by Fusy and L\'ev\^eque for essentially simple toroidal triangulations. Moreover, we show that rooted essentially $3$-connected toroidal maps can be decomposed into two pieces, a toroidal part that is treated by our bijection, and a planar part that is treated by the above-mentioned planar case bijection. This yields a combinatorial derivation for the bivariate generating function of rooted essentially $3$-connected toroidal maps, counted by vertices and faces.


title: Decay modes of the scalar exotic meson $T_{bs;\overline{u}\overline{d}}^{-}$

abstract: We investigate the semileptonic decay of the scalar tetraquark $T_{bs; \overline{u}\overline{d}}^{-}$ to final state $T_{cs;\overline{u}\overline{d} }^{0} l \overline{\nu}_l$, which proceeds due to the weak transition $b \to c l \overline{\nu}_l$. For these purposes, we calculate the spectroscopic parameters of the final-state scalar tetraquark $T_{cs;\overline{u}\overline{ d}}^{0}$. In calculations we use the QCD sum rule method by taking into account the quark, gluon, and mixed condensates up to dimension 10. The mass of the $T_{cs;\overline{u}\overline{d}}^{0}$ obtained in the present work $( 2878 \pm 128 )~\mathrm{MeV}$ indicates that it is unstable against the strong interactions, and can decay to the mesons $D^{0}\overline{K}^{0}$ and $D^{+}K^{-}$. Partial widths of these $S$-wave modes as well as the full width of the tetraquark $T_{cs;\overline{u}\overline{d}}^{0}$ are found by means of the QCD light-cone sum rule method and technical tools of the soft-meson approximation. The partial widths of the main semileptonic processes $T_{bs;\overline{u}\overline{d}}^{-} \to T_{cs;\overline{u} \overline{d}}^{0}l\overline{\nu}_l$, $l=e, \mu$, and $\tau$ are computed by employing the weak form factors $G_{1}(q^2)$ and $G_{2}(q^2)$, which are extracted from the QCD three-point sum rules. We also trace back the weak transformations of the stable tetraquark $T_{bb;\overline{u}\overline{d} }^{-} $ to conventional mesons. The obtained results for the full width $ \Gamma_{\mathrm{full}}=(3.28\pm 0.60) \times 10^{-10}~\mathrm{MeV} $ and mean lifetime $\tau=2.01_{-0.31}^{+0.44}~\mathrm{ps}$ of $T_{bs;\overline{u} \overline{d}}^{-}$, as well as predictions for decay channels of the tetraquark $T_{bb;\overline{u}\overline{d}}^{-}$ can be used in experimental studies of these exotic states. \end{abstract}


title: Data-Independent Neural Pruning via Coresets

abstract: Previous work showed empirically that large neural networks can be significantly reduced in size while preserving their accuracy. Model compression became a central research topic, as it is crucial for deployment of neural networks on devices with limited computational and memory resources. The majority of the compression methods are based on heuristics and offer no worst-case guarantees on the trade-off between the compression rate and the approximation error for an arbitrarily new sample. We propose the first efficient, data-independent neural pruning algorithm with a provable trade-off between its compression rate and the approximation error for any future test sample. Our method is based on the coreset framework, which finds a small weighted subset of points that provably approximates the original inputs. Specifically, we approximate the output of a layer of neurons by a coreset of neurons in the previous layer and discard the rest. We apply this framework in a layer-by-layer fashion from the top to the bottom. Unlike previous works, our coreset is data independent, meaning that it provably guarantees the accuracy of the function for any input $x\in \mathbb{R}^d$, including an adversarial one. We demonstrate the effectiveness of our method on popular network architectures. In particular, our coresets yield 90\% compression of the LeNet-300-100 architecture on MNIST while improving the accuracy.


title: On the energy of the Horowitz-Myers metrics

abstract: We present results supporting the Horowitz-Myers conjecture, that the Horowitz-Myers metrics minimise energy in the relevant classes of metrics.


title: Turbulent flows over dense filament canopies

abstract: Turbulent flows over dense canopies of rigid filaments of small size are investigated for different element heights and spacings using DNS. The flow can be decomposed into the element-coherent, dispersive flow, the Kelvin--Helmholtz-like rollers typically reported over dense canopies, and the background, incoherent turbulence. The canopies studied have spacings $s^+ = 3$--$50$, which essentially preclude the background turbulence from penetrating within. The dispersive velocity fluctuations are also mainly determined by the spacing, and are small deep within the canopy, where the footprint of the Kelvin--Helmholtz-like rollers dominates. Their typical streamwise wavelength is determined by the mixing length, which is essentially the sum of its height above and below the canopy tips. For the present dense canopies, the former remains roughly the same in wall-units, and the latter, which scales with the drag length, depends linearly on the spacing. This is the result of the drag being essentially viscous and governed by the planar layout of the canopy. In shallow canopies, the proximity of the canopy floor inhibits the formation of Kelvin--Helmholtz-like rollers, with essentially no signature for height-to-spacing ratios $h/s \approx 1$, and no further inhibition beyond $h/s \approx 6$. Very small spacings also inhibit the rollers, due to their obstruction by the canopy elements. The obstruction decreases with increasing spacing and the signature of the instability intensifies, even if for canopies sparser than those studied here the instability eventually breaks down. Simple models based on linear stability can capture some of the above effects.


title: SVGD: A Virtual Gradients Descent Method for Stochastic Optimization

abstract: Inspired by dynamic programming, we propose Stochastic Virtual Gradient Descent (SVGD) algorithm where the Virtual Gradient is defined by computational graph and automatic differentiation. The method is computationally efficient and has little memory requirements. We also analyze the theoretical convergence properties and implementation of the algorithm. Experimental results on multiple datasets and network models show that SVGD has advantages over other stochastic optimization methods.


title: PDE/PDF-informed adaptive sampling for efficient non-intrusive surrogate modelling

abstract: A novel refinement measure for non-intrusive surrogate modelling of partial differential equations (PDEs) with uncertain parameters is proposed. Our approach uses an empirical interpolation procedure, where the proposed refinement measure is based on a PDE residual and probability density function of the uncertain parameters, and excludes parts of the PDE solution that are not used to compute the quantity of interest. The PDE residual used in the refinement measure is computed by using all the partial derivatives that enter the PDE separately. The proposed refinement measure is suited for efficient parametric surrogate construction when the underlying PDE is known, even when the parameter space is non-hypercube, and has no restrictions on the type of the discretisation method. Therefore, we are not restricted to conventional discretisation techniques, e.g., finite elements and finite volumes, and the proposed method is shown to be effective when used in combination with recently introduced neural network PDE solvers. We present several numerical examples with increasing complexity that demonstrate accuracy, efficiency and generality of the method.


title: Analysing Censorship Circumvention with VPNs via DNS Cache Snooping

abstract: Anecdotal evidence suggests an increasing number of people are turning to VPN services for the properties of privacy, anonymity and free communication over the internet. Despite this, there is little research into what these services are actually being used for. We use DNS cache snooping to determine what domains people are accessing through VPNs. This technique is used to discover whether certain queries have been made against a particular DNS server. Some VPNs operate their own DNS servers, ensuring that any cached queries were made by users of the VPN. We explore 3 methods of DNS cache snooping and briefly discuss their strengths and limitations. Using the most reliable of the methods, we perform a DNS cache snooping scan against the DNS servers of several major VPN providers. With this we discover which domains are actually accessed through VPNs. We run this technique against popular domains, as well as those known to be censored in certain countries; China, Indonesia, Iran, and Turkey. Our work gives a glimpse into what users use VPNs for, and provides a technique for discovering the frequency with which domain records are accessed on a DNS server.


title: Meromorphic modular forms with rational cycle integrals

abstract: We study rationality properties of geodesic cycle integrals of meromorphic modular forms associated to positive definite binary quadratic forms. In particular, we obtain finite rational formulas for the cycle integrals of suitable linear combinations of these meromorphic modular forms.


title: On the Security and Applicability of Fragile Camera Fingerprints

abstract: Camera sensor noise is one of the most reliable device characteristics in digital image forensics, enabling the unique linkage of images to digital cameras. This so-called camera fingerprint gives rise to different applications, such as image forensics and authentication. However, if images are publicly available, an adversary can estimate the fingerprint from her victim and plant it into spurious images. The concept of fragile camera fingerprints addresses this attack by exploiting asymmetries in data access: While the camera owner will always have access to a full fingerprint from uncompressed images, the adversary has typically access to compressed images and thus only to a truncated fingerprint. The security of this defense, however, has not been systematically explored yet. This paper provides the first comprehensive analysis of fragile camera fingerprints under attack. A series of theoretical and practical tests demonstrate that fragile camera fingerprints allow a reliable device identification for common compression levels in an adversarial environment.


title: Measuring Supermassive Black Hole Masses: Correlation between the Redshifts of the Fe III UV Lines and the Widths of Broad Emission Lines

abstract: We test the recently proposed (Mediavilla et al. 2018) black hole mass scaling relationship based on the redshift {with respect to the quasar's rest frame} of the Fe III$\lambda\lambda$2039-2113 line blend. To this end, we fit this feature in the spectra of a well suited sample of quasars, observed with X-shooter at the Very Large Telescope (VLT), whose masses have been independently estimated using the virial theorem. For the quasars of this sample we consistently confirm the redshift of the Fe III$\lambda\lambda$2039-2113 blend and find that it correlates with the squared widths of H$\beta$, H$\alpha$ and Mg II, which are commonly used as a measure of $M_{BH}/R$ to determine masses from the virial theorem. The average differences between virial and Fe III$\lambda\lambda$2039-2113 redshift based masses are 0.18$\pm 0.21$ dex, 0.18$\pm 0.22$ dex and 0.14$\pm 0.21$ dex, when the full widths at half maximum (FWHM) of the H$\beta$, H$\alpha$ and MgII lines are, respectively, used. The difference is reduced to 0.10$\pm 0.16$ dex when the standard deviation, $\sigma$, of {the} MgII line is used, instead. We also study the high S/N composite quasar spectra of the Baryon Oscillation Spectroscopic Survey (BOSS), finding that the Fe III$\lambda\lambda$2039-2113 redshifts and Mg II squared widths, $FWHM_{MgII}^2$, match very well the correlation found for the individual quasar spectra observed with X-shooter. This correlation is expected if the redshift is gravitational.


title: Iteratively Reweighted $\ell_1$-Penalized Robust Regression

abstract: This paper investigates tradeoffs among optimization errors, statistical rates of convergence and the effect of heavy-tailed errors for high-dimensional robust regression with nonconvex regularization. When the additive errors in linear models have only bounded second moment, we show that iteratively reweighted $\ell_1$-penalized adaptive Huber regression estimator satisfies exponential deviation bounds and oracle properties, including the oracle convergence rate and variable selection consistency, under a weak beta-min condition. Computationally, we need as many as $O(\log s + \log\log d)$ iterations to reach such an oracle estimator, where $s$ and $d$ denote the sparsity and ambient dimension, respectively. Extension to a general class of robust loss functions is also considered. Numerical studies lend strong support to our methodology and theory.


title: PathRank: A Multi-Task Learning Framework to Rank Paths in Spatial Networks

abstract: Modern navigation services often provide multiple paths connecting the same source and destination for users to select. Hence, ranking such paths becomes increasingly important, which directly affects the service quality. We present PathRank, a data-driven framework for ranking paths based on historical trajectories using multi-task learning. If a trajectory used path P from source s to destination d, PathRank considers this as an evidence that P is preferred over all other paths from s to d. Thus, a path that is similar to P should have a larger ranking score than a path that is dissimilar to P. Based on this intuition, PathRank models path ranking as a regression problem, where each path is associated with a ranking score. To enable PathRank, we first propose an effective method to generate a compact set of training data: for each trajectory, we generate a small set of diversified paths. Next, we propose a multi-task learning framework to solve the regression problem. In particular, a spatial network embedding is proposed to embed each vertex to a feature vector by considering both road network topology and spatial properties, such as distances and travel times. Since a path is represented by a sequence of vertices, which is now a sequence of feature vectors after embedding, recurrent neural network is applied to model the sequence. The objective function is designed to consider errors on both ranking scores and spatial properties, making the framework a multi-task learning framework. Empirical studies on a substantial trajectory data set offer insight into the designed properties of the proposed framework and indicating that it is effective and practical.


title: Quantum instability of an oscillating universe

abstract: An oscillating, compact Friedmann universe with a massive conformally coupled scalar field is studied in the framework of quantum cosmology. The scalar field is treated as a perturbation and we look for solutions of the Wheeler-DeWitt equation describing stable stationary states of the model. We assume that the previous sources of quantum instability that have been discussed in the literature (particle production, and tunnelling to zero size) are absent. We then show, under rather general assumptions, that a further source of quantum instability prevents the existence of stationary states with localized wave function in the direction of the scalar-field modes.


title: CSI2264: Simultaneous optical and X-ray variability in the pre-main sequence stars of NGC2264. II: Photometric variability, magnetic activity, and rotation in classIII objects and stars with transition disks

abstract: Pre-main sequence stars are variable sources. In diskless stars this variability is mainly due to the rotational modulation of dark photospheric spots and active regions, as in main sequence stars even if associated with a stronger magnetic activity. Aims. We aim at analyzing the simultaneous optical and X-ray variability in these stars to unveil how the activity in the photosphere is connected with that in the corona, to identify the dominant surface magnetic activity, and to correlate our results with stellar properties, such as rotation and mass. Methods. We analyzed the simultaneous optical and X-ray variability in stars without inner disks (e.g., class III objects and stars with transition disks) in NGC 2264 from observations obtained with Chandra/ACIS-I and CoRoT as part of the Coordinated Synoptic Investigation of NGC 2264. We searched for those stars whose optical and X-ray variability is correlated, anti-correlated, or not correlated by sampling their optical and X-ray light curves in suitable time intervals and studying the correlation between the flux observed in optical and in X-rays. We then studied how this classification is related with stellar properties. Results. Starting from a sample of 74 class III/transition disk (TD) stars observed with CoRoT and detected with Chandra with more than 60 counts, we selected 16 stars whose optical and X-ray variability is anti-correlated, 11 correlated, and 17 where there is no correlation. The remaining stars did not fall in any of these groups. We interpreted the anti-correlated optical and X-ray variability as typical of spot-dominated sources, due to the rotational modulation of photospheric spots spatially coincident to coronal active regions, and correlated variability typical of faculae-dominated sources, where the brightening due to faculae is dominant over the darkening due to spots. [Conclusions not shown in the pre-print]


title: Multiple gaps revealed by low temperature specific heat in the 1111-type CaFe_{0.88}Co_{0.12}AsF single crystals

abstract: Low-temperature specific heat (SH) is measured on the 1111-type CaFe_{0.88}Co_{0.12}AsF single crystals under different magnetic fields. A clear SH jump with the height \Delta C/T|_Tc = 10.4 mJ/mol K^2 was observed at the superconducting transition temperature T_c. The electronic SH coefficient \Delta\gamma (B) increases linearly with the field below 5 T and a kink is observed around 5 T, indicating a multi-gap feature in the present system. Such a sign is also reflected in the Tc-B data. A detailed analysis shows that this behavior can be interpreted in terms of a two-gap scenario with the ratio \Delta_L=\Delta_S = 2:8-4:5.


title: Uncertainty quantification and falsification of Chiral Nuclear Potentials

abstract: Are chiral theories at present describing experimental NN scattering data satisfactorily ?. Will the chiral approach offer a framework where fitting and selecting the existing np and pp data can be done without theoretical bias ?. While predictive power in theoretical nuclear physics has been a major concern in the study of nuclear structure and reactions, the Effective Field Theory (EFT) based on chiral expansions has emerged after Weinberg as a model independent hierarchy for many body forces and much progress has been achieved over the last decades. We review some of the issues involved which point to being close to the solution, but also that work remains still to be done to validate the theory. We analyze several examples including zero energy NN scattering and perturbative counterterm -- free peripheral scattering where one would expect these methods to work best and unveil relevant systematic discrepancies when a fair comparison to the Granada-2013 NN-database and partial wave analysis (PWA) based on coarse graining the interaction is undertaken.


title: Two-Gap Superconductivity in CaFe_{0.88}Co_{0.12}AsF Revealed by Temperature Dependence of the Lower Critical Field H_{c1}^c(T)

abstract: Gap symmetry and structure are crucial issues in understanding the superconducting mechanism of unconventional superconductors. Here we report an in-depth investigation on the out-of-plane lower critical field $H_{c1}^{c}$ of fluorine-based 1111 system superconductor CaFe$_{0.88}$Co$_{0.12}$AsF with $T_c$ = 21 K. A pronounced two-gap feature is revealed by the kink in the temperature dependent $H_{c1}^c(T)$ curve. The magnitudes of the two gaps are determined to be $\Delta_1$ = 0.86 meV and $\Delta_2$ = 4.48 meV, which account for 74% and 26% of the total superfluid density respectively. Our results suggest that the local antiferromagnetic exchange pairing picture is favored compared to the Fermi surface nesting scenario.


title: An improved non-reflecting outlet boundary condition for weakly-compressible SPH

abstract: Implementation of an outlet boundary condition is challenging in the context of the weakly-compressible Smoothed Particle Hydrodynamics method. We perform a systematic numerical study of several of the available techniques for the outlet boundary condition. We propose a new hybrid approach that combines a characteristics-based method with a simpler frozen-particle (do-nothing) technique to accurately satisfy the outlet boundary condition in the context of wind-tunnel-like simulations. In addition, we suggest some improvements to the do-nothing approach. We introduce a new suite of test problems that make it possible to compare these techniques carefully. We then simulate the flow past a backward-facing step and circular cylinder. The proposed method allows us to obtain accurate results with an order of magnitude less particles than those presented in recent research. We provide a completely open source implementation and a reproducible manuscript.


title: Full characterization of spin-orbit coupled photons via spatial-Stokes measurement

abstract: Characterization and analysis of spin-orbit coupled (SOC) states, as a measurement problem, play a vital role in research on the modern optics and photonics based on structured light. Here, we demonstrate determination of photonic SOC states via spatial-Stokes measurement, in which two spatial complex probability amplitudes of spin-dependent spatial modes within SOC states and their relative (intramode) phase can be measured directly. Compared with the standard quantum-state tomography, by avoiding wavefront-flattening operations, the apparatus can completely record photons' realistic SOC structure, leading to a more accurate and precise determination of wavefunction. This simple and general approach for SOC state determination can provide a powerful toolkit for in-situ measuring photonic SOC state, characterizing the quality of SOC light source and associated geometric-phase devices.


title: A duality theoretic view on limits of finite structures

abstract: A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed. We show that a closely related but finer grained space of measures arises --- via Stone-Priestley duality and the notion of types from model theory --- by enriching the expressive power of first-order logic with certain ``probabilistic operators''. We provide a sound and complete calculus for this extended logic and expose the functorial nature of this construction. The consequences are two-fold. On the one hand, we identify the logical gist of the theory of structural limits. On the other hand, our construction shows that the duality-theoretic variant of the Stone pairing captures the adding of a layer of quantifiers, thus making a strong link to recent work on semiring quantifiers in logic on words. In the process, we identify the model theoretic notion of types as the unifying concept behind this link. These results contribute to bridging the strands of logic in computer science which focus on semantics and on more algorithmic and complexity related areas, respectively.


title: Simulations of Crystal Nucleation from Solution at Constant Chemical Potential

abstract: A widely spread method of crystal preparation is to precipitate it from a supersaturated solution. In such a process, control of solution concentration is of paramount importance. Nucleation process, polymorph selection, and crystal habits depend crucially on this thermodynamic parameter. When performing simulations in the canonical ensemble as the crystalline phase is deposited the solution is depleted of solutes. This unavoidable modification of the thermodynamic conditions leads to significant artifact. Here we adopt the idea of the constant chemical potential molecular dynamics approach of Perego et al. [J. Chem. Phys. 2015, 142, 144113] to the study of nucleation. Our method allows determining the crystal nucleus size and nucleation rates at constant supersaturation. As an example we study the homogeneous nucleation of sodium chloride from its supersaturated aqueous solution.


title: A product formula for homogeneous characteristic functions

abstract: A bounded linear operator $T$ on a Hilbert space is said to be homogeneous if $\varphi(T)$ is unitarily equivalent to $T$ for all $\varphi$ in the group M\"{o}b of bi-holomorphic automorphisms of the unit disc. A projective unitary representation $\sigma$ of M\"{o}b is said to be associated with an operator T if $\varphi(T)= \sigma(\varphi)^\star T \sigma(\varphi)$ for all $\varphi$ in M\"{o}b. In this paper, we develop a M\"{o}bius equivariant version of the Sz.-Nagy--Foias model theory for completely non-unitary (cnu) contractions. As an application, we prove that if T is a cnu contraction with associated (projective unitary) representation $\sigma$, then there is a unique projective unitary representation $\hat{\sigma}$, extending $\sigma$, associated with the minimal unitary dilation of $T$. The representation $\hat{\sigma}$ is given in terms of $\sigma$ by the formula $$ \hat{\sigma} = (\pi \otimes D_1^+) \oplus \sigma \oplus (\pi_\star \otimes D_1^-), $$ where $D_1^\pm$ are the two Discrete series representations (one holomorphic and the other anti-holomorphic) living on the Hardy space $H^2(\mathbb D)$, and $\pi, \pi_\star$ are representations of M\"{o}b living on the two defect spaces of $T$ defined explicitly in terms of $\sigma$. Moreover, a cnu contraction $T$ has an associated representation if and only if its Sz.-Nagy--Foias characteristic function $\theta_T$ has the product form $\theta_T(z) = \pi_\star(\varphi_z)^* \theta_T(0) \pi(\varphi_z),$ $z\in \mathbb D$, where $\varphi_z$ is the involution in M\"{o}b mapping $z$ to $0.$ We obtain a concrete realization of this product formula %the two representations $\pi_\star$ and $\pi$ for a large subclass of homogeneous cnu contractions from the Cowen-Douglas class.


title: Quantum Acoustomechanics with a Micromagnet

abstract: We theoretically show how to strongly couple the center-of-mass motion of a micromagnet in a harmonic potential to one of its acoustic phononic modes. The coupling is induced by a combination of an oscillating magnetic field gradient and a static homogeneous magnetic field. The former parametrically couples the center-of-mass motion to a magnonic mode while the latter tunes the magnonic mode in resonance with a given acoustic phononic mode. The magnetic fields can be adjusted to either cool the center-of-mass motion to the ground state, or to enter into the strong quantum coupling regime. The center-of-mass can thus be used to probe and manipulate an acoustic mode, thereby opening new possibilities for out-of-equilibrium quantum nanophysics. Our results hold for experimentally feasible parameters and apply to levitated micromagnets as well as micromagnets deposited on a clamped nanomechanical oscillator.


title: Degenerations of K3, Orientifolds and Exotic Branes

abstract: A recently constructed limit of K3 has a long neck consisting of segments, each of which is a nilfold fibred over a line, that are joined together with Kaluza-Klein monopoles. The neck is capped at either end by a Tian-Yau space, which is non-compact, hyperkahler and asymptotic to a nilfold fibred over a line. We show that the type IIA string on this degeneration of K3 is dual to the type I$'$ string, with the Kaluza-Klein monopoles dual to the D8-branes and the Tian-Yau spaces providing a geometric dual to the O8 orientifold planes. At strong coupling, each O8-plane can emit a D8-brane to give an O8$^*$ plane, so that there can be up to 18 D8-branes in the type I$'$ string. In the IIA dual, this phenomenon occurs at weak coupling and there can be up to 18 Kaluza-Klein monopoles in the dual geometry. We consider further duals in which the Kaluza-Klein monopoles are dualised to NS5-branes or exotic branes. A 3-torus with $H$-flux can be realised in string theory as an NS5-brane wrapped on $T^3$, with the 3-torus fibred over a line. T-dualising gives a 4-dimensional hyperkahler manifold which is a nilfold fibred over a line, which can be viewed as a Kaluza-Klein monopole wrapped on $T^2$. Further T-dualities then give non-geometric spaces fibred over a line and can be regarded as wrapped exotic branes. These are all domain wall configurations, dual to the D8-brane. Type I$'$ string theory is the natural home for D8-branes, and we dualise this to find string theory homes for each of these branes. The Kaluza-Klein monopoles arise in the IIA string on the degenerate K3. T-duals of this give exotic branes on non-geometric spaces.