title: Equilibration on average in quantum processes with finite temporal resolution

abstract: We characterize the conditions under which a multi-time quantum process with a finite temporal resolution can be approximately described by an equilibrium one. By providing a generalization of the notion of equilibration on average, where a system remains closed to a fixed equilibrium for most times, to one which can be operationally assessed at multiple times, we place an upper-bound on a new observable distinguishability measure comparing a multi-time process with a finite temporal resolution against a fixed equilibrium one. While the same conditions on single-time equilibration, such as a large occupation of energy levels in the initial state remain necessary, we obtain genuine multi-time contributions depending on the temporal resolution of the process and the amount of disturbance of the observer's operations on it.


title: Generalized constructions of Menon-Hadamard difference sets

abstract: We revisit the problem of constructing Menon-Hadamard difference sets. In 1997, Wilson and Xiang gave a general framework for constructing Menon-Hadamard difference sets by using a combination of a spread and four projective sets of type Q in ${\mathrm{PG}}(3,q)$. They also found examples of suitable spreads and projective sets of type Q for $q=5,13,17$. Subsequently, Chen (1997) succeeded in finding a spread and four projective sets of type Q in ${\mathrm{PG}}(3,q)$ satisfying the conditions in the Wilson-Xiang construction for all odd prime powers $q$. Thus, he showed that there exists a Menon-Hadamard difference set of order $4q^4$ for all odd prime powers $q$. However, the projective sets of type Q found by Chen have automorphisms different from those of the examples constructed by Wilson and Xiang. In this paper, we first generalize Chen's construction of projective sets of type Q by using `semi-primitive' cyclotomic classes. This demonstrates that the construction of projective sets of type Q satisfying the conditions in the Wilson-Xiang construction is much more flexible than originally thought. Secondly, we give a new construction of spreads and projective sets of type Q in ${\mathrm{PG}}(3,q)$ for all odd prime powers $q$, which generalizes the examples found by Wilson and Xiang. This solves a problem left open in Section 5 of the Wilson-Xiang paper from 1997.


title: Fundamental Limits of Coded Caching: The Memory Rate Pair (K-1-1/K, 1/(K-1))

abstract: Maddah-Ali and Niesen, in a seminal paper, introduced the notion of coded caching. The exact nature of the fundamental limits in this context has remained elusive even as several approximate characterizations have been found. A new optimal scheme for the (3, 3) cache network, operating at the memory rate pair (5/3, 1/2) for the demand where all the users request for distinct files, was introduced recently to partially address this issue. In this paper, an extension of this scheme to the general (K, K) cache network, operating at the memory rate pair (K-1-1/K, 1/(K-1)), is proposed. A new lower bound is also derived which demonstrates the optimality of the proposed scheme for the demand where all the users request for distinct files.


title: The Lie symmetry group of the general Lienard-type equation

abstract: We consider the general Lienard-type equation $\ddot{u} = \sum_{k=0}^n f_k \dot{u}^k$ for $n\geq 4$. This equation naturally admits the Lie symmetry $\frac{\partial}{\partial t}$. We completely characterize when this equation admits another Lie symmetry, and give an easily verifiable condition for this on the functions $f_0, \dots , f_n$. Moreover, we give an equivalent characterization of this condition. Similar results have already been obtained previously in the cases $n=1$ or $n=2$. That is, this paper handles all remaining cases except for $n=3$.


title: Converse flexoelectricity around ferroelastic domain walls

abstract: Domain walls (DWs) are ubiquitous in ferroelectric materials. Ferroelastic DWs refer to those who separate two domains with unparalleled polarizations (or two different ferroelastic variants). It is long believed that the structures of ferroelastic DWs can be simply explained from the perspective of mechanical and electric compatibilities in the framework of the Landau-Ginzburg-Devonshire (LGD) theory. Here we show that the converse flexoelectricity must be taken into account for fully describing the nature of ferroelastic DWs. In our work, an unexpected asymmetric structure is identified, which is beyond the prediction of the conventional LGD theory. By incorporating the converse flexoelectricity into the LGD theory and using it to analyze high-resolution images acquired by the aberration-corrected transmission electron microscope (TEM), we demonstrate that it is the converse flexoelectricity that result in the asymmetric structure. Moreover, the flexoelectric coefficient is derived by quantifying the converse flexoelectricity around the DWs. This quantification is deterministic in both the magnitude and sign of flexoelectric coefficients, by the mutual verification of atomic mapping and first-principles calculations. Our results suggest that the converse flexoelectricity cannot be neglected for understanding the ferroelastic DWs and other boundaries in ferroelectric materials.


title: S-Flow GAN

abstract: Our work offers a new method for domain translation from semantic label maps and Computer Graphic (CG) simulation edge map images to photo-realistic images. We train a Generative Adversarial Network (GAN) in a conditional way to generate a photo-realistic version of a given CG scene. Existing architectures of GANs still lack the photo-realism capabilities needed to train DNNs for computer vision tasks, we address this issue by embedding edge maps, and training it in an adversarial mode. We also offer an extension to our model that uses our GAN architecture to create visually appealing and temporally coherent videos.


title: Stacking-Dependent Spatial Charge Separation in Graphitic Carbonic Nitride layers

abstract: We reveal the existence of stacking-dependent spatial(SDS) charge separation in graphitic carbonic nitride (g-C3N4) layers, with the density functional theory (DFT) calculations. In g-C3N4 bilayers, such SDS charge separation is found in particular effective for top valence bands that can drive electrons 100% away from one layer to the other. However, for bottom conduction ones, it results in little charge redistribution between layers. As spatial charge separation naturally suppresses the electron-hole recombination, that makes g-C3N4 layers with proper stacking much more efficient for harvesting solar energy in photovoltaic or photocatalytic applications. The SDS charge separation has been understood as a result of the inter-layer quantum entanglement from those g-C3N4 band electrons, whose unique chirality and phases in corner-atom-shared C6N10 units are relatively isolated and in tune only through the corner N atoms. The SDS charge separation in g-C3N4 may lead to an intrinsic way, i.e. without alien dopings, interfaces or electrical fields, to manipulate charge carriers in semiconducting materials. That may lead to new physics in the future optoelectronics or electronics of two-dimensional (2D) materials, such as realizing the layer-selected charge transport through the bilayer or multi-layer 2D materials.


title: Competition of L21 and XA Ordering in Fe2CoAl Heusler Alloy: A First-Principles Study

abstract: The physical properties of Fe2CoAl (FCA) Heusler alloy are systematically investigated using the first-principles calculations within generalized gradient approximation (GGA) and GGA+U. The influence of atomic ordering with respect to the Wyckoff sites on the phase stability, magnetism and half metallicity in both the conventional L21 and XA phases of FCA is focused in this study. Various possible hypothetical structures viz., L21, XA-I, and XA-II are prepared by altering atomic occupancies at their Wyckoff sites. At first, we have determined the stable phase of FCA considering various non-magnetic (or paramagnetic), ferromagnetic (FM) and antiferromagnetic (AFM) configurations. Out of these, the ferromagnetic (FM) XA-I structure is found to be energetically most stable. The total magnetic moments per cell are not in agreement with the Slater-Pauling (SP) rule in any phases; therefore, the half-metallicity is not observed in any configurations. However, FM ordered XA-I type FCA shows 78% spin polarization at EF. Interestingly, the results of XA-I type FCA are closely matched with the experimental results.


title: Dwarf Galaxies in the Local Volume

abstract: We review observational data about a sample of Local Volume objects containing about 1000 galaxies within 11 Mpc of the Milky Way. Dwarf galaxies with stellar masses $M_*/M_{\odot} < 9$ dex make up 5/6 of the sample. Almost 40% of them have their distances measured with high precision using the Hubble Space Telescope. Currently, the LV is the most representative and least selection-affected sample of dwarf galaxies suitable for testing the standard $\Lambda$CDM paradigm at the shortest cosmological scales. We discuss the H II properties of dwarf galaxies in different environments and the star formation rates in these systems as determined from $FUV$ - and H$\alpha$-survey data. We also pay certain attention to the baryonic Tully-Fisher relation for low-mass dwarf galaxies. We also point out that LV dwarfs are important `tracers' for determining the total masses of nearby groups and the nearest Virgo cluster.


title: TSN Algorithms for Large Scale Networks: A Survey and Conceptual Comparison

abstract: This paper provides a comprehensive survey of queueing and scheduling mechanisms for supporting large scale deterministic networks (LDNs). The survey finds that extensive mechanism design research and standards development for LDNs has been conducted over the past few years. However, these mechanism design studies have not been followed up with a comprehensive rigorous evaluation. The main outcome of this survey is a clear organization of the various research and standardization efforts towards queueing and scheduling mechanisms for LDNs as well as the identification of the main strands of mechanism development and their interdependencies. Based on this survey, it appears urgent to conduct a comprehensive rigorous simulation study of the main strands of mechanisms.


title: Entangled States as Robust and Re-usable Carriers of Information

abstract: Entangled states can be used as secure carriers of information much in the same way as carriers are used in classical communications. In such protocols, quantum states are uploaded to the carrier at one end and are downloaded from it in safe form at the other end, leaving the carrier intact and ready for reuse. Furthermore, protocols have been designed for performing quantum state sharing in this way. In this work, we study the robustness of these protocols against noise and show that multiple uses of these carriers do not lead to accumulative errors, rather the error remains constant and under control.


title: The squashed entanglement of the noiseless quantum Gaussian attenuator and amplifier

abstract: We determine the maximum squashed entanglement achievable between sender and receiver of the noiseless quantum Gaussian attenuators and amplifiers and we prove that it is achieved sending half of an infinitely squeezed two-mode vacuum state. The key ingredient of the proof is a lower bound to the squashed entanglement of the quantum Gaussian states obtained applying a two-mode squeezing operation to a quantum thermal Gaussian state tensored with the vacuum state. This is the first lower bound to the squashed entanglement of a quantum Gaussian state and opens the way to determine the squashed entanglement of all quantum Gaussian channels. Moreover, we determine the classical squashed entanglement of the quantum Gaussian states above and show that it is strictly larger than their squashed entanglement. This is the first time that the classical squashed entanglement of a mixed quantum Gaussian state is determined.


title: Preferential attachment with location-based choice: Degree distribution in the noncondensation phase

abstract: We consider the preferential attachment model with location-based choice introduced by Haslegrave, Jordan and Yarrow as a model in which condensation phenomena can occur [Haslegrave et al. 2020]. In this model every vertex carries an independent and uniformly drawn location. Starting from an initial tree the model evolves in discrete time. At every time step, a new vertex is added to the tree by selecting $r$ candidate vertices from the graph with replacement according to a sampling probability proportional to these vertices' degrees. The new vertex then connects to one of the candidates according to a given probability associated to the ranking of their locations. In this paper, we introduce a function that describes the phase transition when condensation can occur. Considering the noncondensation phase, we use stochastic approximation methods to investigate bounds for the (asymptotic) proportion of vertices inside a given interval of a given maximum degree. We use these bounds to observe a power law for the asymptotic degree distribution described by the aforementioned function. Hence, this function fully characterises the properties we are interested in. The power law exponent takes the critical value one at the phase transition between the condensation - noncondensation phase.


title: Enhancement of and interference among higher order multipole transitions in molecules near a plasmonic nanoantenna

abstract: Spontaneous emission of quantum emitters can be modified by engineering their optical environment. This allows a resonant nanoantenna to significantly modify the radiative properties of a quantum emitter. In this article, we go beyond the common electric dipole approximation for the molecular electronic transition and take light-matter coupling through higher order multipoles into account. We investigate, by means of theory and numerical simulations, a strong enhancement of the magnetic dipole and electric quadrupole emission channels of a molecule adjacent to a plasmonic patch nanoantenna. While this on its own had been considered, the assumption in prior work usually has been that each molecular transition is dominated only by one of those multipolar emission channels. This leads naturally to the notion of discussing the modified emission in terms of a modified local density of states defined for each specific multipolar transition. In reality, this restricts the applicability of the approach, since specific molecular transitions occur via multiple multipolar pathways that have to be considered all at once. Here, we introduce a framework to study interference effects between higher order transitions in molecules by (a) a rigorous quantum-chemical calculation of their multipolar moments and (b) by a consecutive investigation of the transition rate upon coupling to an arbitrarily shaped nanoantenna. Based on that formalism we predict interference effects between these transition channels. This allows for a strong suppression of radiation by exploiting destructive interference. Our work suggests that placing a suitably chosen molecule at a well defined position and at a well defined orientation relative to a nanoantenna can fully suppress the transition probability.


title: Strong subdifferentiability and local Bishop-Phelps-Bollob\'as properties

abstract: It has been recently presented some local versions of the Bishop-Phelps-Bollob\'as type property for operators. In the present article, we continue studying these properties for multilinear mappings. We show some differences between the local and uniform versions of the Bishop-Phelps-Bollob\'as type results for multilinear mappings, and also provide some interesting examples which shows that this study is not just a mere generalization of the linear case. We study those properties for bilinear forms on $\ell_p \times \ell_q$ using the strong subdifferentiability of the norm of the Banach space $\ell_p \hat{\otimes}_{\pi} \ell_{q}$. Moreover, we present necessary and sufficient conditions for the norm of a Banach space $Y$ to be strongly subdifferentiable through the study of these properties for bilinear mappings on $\ell_1^N \times Y$.


title: Life of cosmological perturbations in MDR models, and the prospect of travelling primordial gravitational waves

abstract: We follow the life of a generic primordial perturbation mode (scalar or tensor) subject to modified dispersion relations (MDR), as its proper wavelength is stretched by expansion. A necessary condition ensuring that travelling waves can be converted into standing waves is that the mode starts its life deep inside the horizon and in the trans-Planckian regime, then leaves the horizon as the speed of light corresponding to its growing wavelength drops, to eventually become cis-Planckian whilst still outside the horizon, and finally re-enter the horizon at late times. We find that scalar modes in the observable range satisfy this condition, thus ensuring the viability of MDR models in this respect. For tensor modes we find a regime in which this does not occur, but in practice it can only be realised for wavelengths in the range probed by future gravity wave experiments if the quantum gravity scale experienced by gravity waves goes down to the PeV range. In this case travelling---rather than standing---primordial gravity waves could be the tell-tale signature of MDR scenarios.


title: An Adaptive Quasi-Continuum Approach for Modeling Fracture in Networked Materials: Application to Modeling of Polymer Networks

abstract: Materials with network-like microstructure, including polymers, are the backbone for many natural and human-made materials such as gels, biological tissues, metamaterials, and rubbers. Fracture processes in these networked materials are intrinsically multiscale, and it is computationally prohibitive to adopt a fully discrete approach for large scale systems. To overcome such a challenge, we introduce an adaptive numerical algorithm for modeling fracture in this class of materials, with a primary application to polymer networks, using an extended version of the Quasi-Continuum method that accounts for both material and geometric nonlinearities. In regions of high interest, for example near crack tips, explicit representation of the local topology is retained where each polymer chain is idealized using the worm like chain model. Away from these imperfections, the degrees of freedom are limited to a fraction of the network nodes and the network structure is computationally homogenized, using the micro-macro energy consistency condition, to yield an anisotropic material tensor consistent with the underlying network structure. A nonlinear finite element framework is used to solve the system where dynamic adaptivity allows transition between the continuum and discrete scales. The method enables accurate modelling of crack propagation without a priori constraint on the fracture energy while maintaining the influence of large-scale elastic loading in the bulk. We demonstrate the accuracy and efficiency of the method by applying it to study the fracture in different examples of network structures. We further use the method to investigate the effects of network topology and disorder on its fracture characteristics. We discuss the implications of our method for multiscale analysis of fracture in networked material as they arise in different applications in biology and engineering.


title: Effective parameter estimation methods for an ExcitNet model in generative text-to-speech systems

abstract: In this paper, we propose a high-quality generative text-to-speech (TTS) system using an effective spectrum and excitation estimation method. Our previous research verified the effectiveness of the ExcitNet-based speech generation model in a parametric TTS framework. However, the challenge remains to build a high-quality speech synthesis system because auxiliary conditional features estimated by a simple deep neural network often contain large prediction errors, and the errors are inevitably propagated throughout the autoregressive generation process of the ExcitNet vocoder. To generate more natural speech signals, we exploited a sequence-to-sequence (seq2seq) acoustic model with an attention-based generative network (e.g., Tacotron 2) to estimate the condition parameters of the ExcitNet vocoder. Because the seq2seq acoustic model accurately estimates spectral parameters, and because the ExcitNet model effectively generates the corresponding time-domain excitation signals, combining these two models can synthesize natural speech signals. Furthermore, we verified the merit of the proposed method in producing expressive speech segments by adopting a global style token-based emotion embedding method. The experimental results confirmed that the proposed system significantly outperforms the systems with a similarly configured conventional WaveNet vocoder and our best prior parametric TTS counterpart.


title: A User-Centered Concept Mining System for Query and Document Understanding at Tencent

abstract: Concepts embody the knowledge of the world and facilitate the cognitive processes of human beings. Mining concepts from web documents and constructing the corresponding taxonomy are core research problems in text understanding and support many downstream tasks such as query analysis, knowledge base construction, recommendation, and search. However, we argue that most prior studies extract formal and overly general concepts from Wikipedia or static web pages, which are not representing the user perspective. In this paper, we describe our experience of implementing and deploying ConcepT in Tencent QQ Browser. It discovers user-centered concepts at the right granularity conforming to user interests, by mining a large amount of user queries and interactive search click logs. The extracted concepts have the proper granularity, are consistent with user language styles and are dynamically updated. We further present our techniques to tag documents with user-centered concepts and to construct a topic-concept-instance taxonomy, which has helped to improve search as well as news feeds recommendation in Tencent QQ Browser. We performed extensive offline evaluation to demonstrate that our approach could extract concepts of higher quality compared to several other existing methods. Our system has been deployed in Tencent QQ Browser. Results from online A/B testing involving a large number of real users suggest that the Impression Efficiency of feeds users increased by 6.01% after incorporating the user-centered concepts into the recommendation framework of Tencent QQ Browser.


title: Approximate encoded permutations and piecewise quantum adders

abstract: We present a paradigm for constructing approximate quantum circuits from reversible classical circuits that operate on many possible encodings of an input and send almost all encodings of that input to an encoding of the correct output. We introduce oblivious carry runways, which use piecewise addition circuits to perform approximate encoded additions and reduce the asymptotic depth of addition to $O(\lg \lg n)$. We show that the coset representation of modular integers (Zalka 2006) is an approximate encoded modular addition, and that it can be used in combination with oblivious carry runways. We prove error bounds on these approximate representations, and use them to construct 2s-complement adders and modular adders with lower costs than in previous work at register sizes relevant in practice.


title: Performance Enhancement for High-order Gas-kinetic Scheme Based on WENO-adaptive-order Reconstruction

abstract: High-order gas-kinetic scheme (HGKS) has been well-developed in the past years. Abundant numerical tests including hypersonic flow, turbulence, and aeroacoustic problems, have been used to validate its accuracy, efficiency, and robustness. However, there are still rooms for its further improvement. Firstly, the reconstruction in the previous scheme mainly achieves a third-order accuracy for the initial non-equilibrium states. At the same time, the equilibrium state in space and time in HGKS has to be reconstructed separately. Secondly, it is complicated to get reconstructed data at Gaussian points from the WENO-type method in high dimensions. For HGKS, besides the point-wise values at the Gaussian points it also requires the slopes in both normal and tangential directions of a cell interface. Thirdly, there exists visible spurious overshoot/undershoot at weak discontinuities from the previous HGKS with the standard WENO reconstruction. In order to overcome these difficulties, in this paper we use an improved reconstruction for HGKS. The WENO with adaptive order (WENO-AO) method is implemented for reconstruction.A whole polynomial inside each cell is provided in WENO-AO reconstruction. The HGKS becomes simpler than the previous one with the direct implementation of cell interface values and their slopes from WENO-AO. The additional reconstruction of equilibrium state at the beginning of each time step can be avoided as well by dynamically merging the reconstructed non-equilibrium slopes. The new HGKS essentially releases or totally removes the above existing problems in previous HGKS. The accuracy of the scheme from 1D to 3D from the new HGKS can recover the theoretical order of accuracy of the WENO reconstruction.In the two- and three-dimensional simulations, the new HGKS shows better robustness and efficiency than the previous scheme in all test cases.


title: Fractal catastrophes

abstract: We analyse the spatial inhomogeneities ('spatial clustering') in the distribution of particles accelerated by a force that changes randomly in space and time. To quantify spatial clustering, the phase-space dynamics of the particles must be projected to configuration space. Folds of a smooth phase-space manifold give rise to catastrophes ('caustics') in this projection. When the inertial particle dynamics is damped by friction, however, the phase-space manifold converges towards a fractal attractor. It is believed that caustics increase spatial clustering also in this case, but a quantitative theory is missing. We solve this problem by determining how projection affects the distribution of finite-time Lyapunov exponents. Applying our method in one spatial dimension we find that caustics arising from the projection of a dynamical fractal attractor ('fractal catastrophes') make a distinct and universal contribution to the distribution of spatial finite-time Lyapunov exponents. Our results explain a projection formula for the spatial fractal correlation dimension, and how a fluctuation relation for the distribution of finite-time Lyapunov exponents for white-in-time Gaussian force fields breaks upon projection. We explore the implications of our results for heavy particles in turbulence, and for wave propagation in random media.


title: Interpolation of quasi noncommutative $L_p$-spaces

abstract: Let $\mathcal{M}$ be a ($\sigma$-finite) von Neumann algebra associated with a normal faithful state $\phi.$ We prove a complex interpolation result for a couple of two (quasi) Haagerup noncommutative $L_p$-spaces $L_{p_0} (\mathcal{M}, \phi)$ and $L_{p_1} (\mathcal{M}, \phi), 0< p_0 < p_1\leq \infty,$ which has further applications to the sandwiched $p$-R\'{e}nyi divergence.


title: DNN-Based Speech Presence Probability Estimation for Multi-Frame Single-Microphone Speech Enhancement

abstract: Multi-frame approaches for single-microphone speech enhancement, e.g., the multi-frame minimum-power-distortionless-response (MFMPDR) filter, are able to exploit speech correlations across neighboring time frames. In contrast to single-frame approaches such as the Wiener gain, it has been shown that multi-frame approaches achieve a substantial noise reduction with hardly any speech distortion, provided that an accurate estimate of the correlation matrices and especially the speech interframe correlation (IFC) vector is available. Typical estimation procedures of the IFC vector require an estimate of the speech presence probability (SPP) in each time-frequency (TF) bin. In this paper, we propose to use a bi-directional long short-term memory deep neural network (DNN) to estimate the SPP for each TF bin. Aiming at achieving a robust performance, the DNN is trained for various noise types and within a large signal-to-noise-ratio range. Experimental results show that the MFMPDR in combination with the proposed data-driven SPP estimator yields an increased speech quality compared to a state-of-the-art model-based SPP estimator. Furthermore, it is confirmed that exploiting interframe correlations in the MFMPDR is beneficial when compared to the Wiener gain especially in adverse scenarios.


title: SvTPM: A Secure and Efficient vTPM in the Cloud

abstract: Virtual Trusted Platform Modules (vTPMs) have been widely used in commercial cloud platforms (e.g. Google Cloud, VMware Cloud, and Microsoft Azure) to provide virtual root-of-trust for virtual machines. Unfortunately, current state-of-the-art vTPM implementations are suffering from confidential data leakage and high performance overhead. In this paper, we present SvTPM, a secure and efficient software-based vTPM implementation based on hardware-rooted Trusted Execution Environment (TEE), providing a whole life cycle protection of vTPMs in the cloud. SvTPM offers strong isolation protection, so that cloud tenants or even cloud administrators cannot get vTPM's private keys or any other sensitive data. In SvTPM, we identify and solve a couple of critical security challenges for vTPM protection with SGX, such as NVRAM replacement attack, rollback attacks, trust establishment, and a fine-grained trusted clock. We implement a prototype of SvTPM on both QEMU and KVM. Performance evaluation results show that SvTPM achieves orders of magnitude of performance gains comparing to the vTPMs protected with physical TPM. The launch time of SvTPM is 2600$\times$ faster than vTPMs built upon hardware TPM. In the micro-benchmarks evaluation, we find that the command execution latency of SvTPM is smaller than or equal to the existing schemes.


title: Deep Signature Transforms

abstract: The signature is an infinite graded sequence of statistics known to characterise a stream of data up to a negligible equivalence class. It is a transform which has previously been treated as a fixed feature transformation, on top of which a model may be built. We propose a novel approach which combines the advantages of the signature transform with modern deep learning frameworks. By learning an augmentation of the stream prior to the signature transform, the terms of the signature may be selected in a data-dependent way. More generally, we describe how the signature transform may be used as a layer anywhere within a neural network. In this context it may be interpreted as a pooling operation. We present the results of empirical experiments to back up the theoretical justification. Code available at https://github.com/patrick-kidger/Deep-Signature-Transforms.


title: Exploring Bias in GAN-based Data Augmentation for Small Samples

abstract: For machine learning task, lacking sufficient samples mean the trained model has low confidence to approach the ground truth function. Until recently, after the generative adversarial networks (GAN) had been proposed, we see the hope of small samples data augmentation (DA) with realistic fake data, and many works validated the viability of GAN-based DA. Although most of the works pointed out higher accuracy can be achieved using GAN-based DA, some researchers stressed that the fake data generated from GAN has inherent bias, and in this paper, we explored when the bias is so low that it cannot hurt the performance, we set experiments to depict the bias in different GAN-based DA setting, and from the results, we design a pipeline to inspect specific dataset is efficiently-augmentable with GAN-based DA or not. And finally, depending on our trial to reduce the bias, we proposed some advice to mitigate bias in GAN-based DA application.


title: Compressible multi-component flow in porous media with Maxwell-Stefan diffusion

abstract: We introduce a Darcy-scale model to describe compressible multi-component flow in a fully saturated porous medium. In order to capture cross-diffusive effects between the different species correctly, we make use of the Maxwell--Stefan theory in a thermodynamically consistent way. For inviscid flow the model turns out to be a nonlinear system of hyperbolic balance laws. We show that the dissipative structure of the Maxwell-Stefan operator permits to guarantee the existence of global classical solutions for initial data close to equilibria. Furthermore it is proven by relative entropy techniques that solutions of the Darcy-scale model tend in a certain long-time regime to solutions of a parabolic limit system.


title: An HI absorption distance to the black hole candidate X-ray binary MAXI J1535-571

abstract: With the Australian Square Kilometre Array Pathfinder (ASKAP) we monitored the black hole candidate X-ray binary MAXI J1535--571 over seven epochs from 21 September to 2 October 2017. Using ASKAP observations, we studied the HI absorption spectrum from gas clouds along the line-of-sight and thereby constrained the distance to the source. The maximum negative radial velocities measured from the HI absorption spectra for MAXI J1535--571 and an extragalactic source in the same field of view are $-69\pm4$ km s$^{-1}$ and $-89\pm4$ km s$^{-1}$, respectively. This rules out the far kinematic distance ($9.3^{+0.5}_{-0.6}$ kpc), giving a most likely distance of $4.1^{+0.6}_{-0.5}$ kpc, with a strong upper limit of the tangent point at $6.7^{+0.1}_{-0.2}$ kpc. At our preferred distance, the peak unabsorbed luminosity of MAXI J1535--571 was $>78$ per cent of the Eddington luminosity, and shows that the soft-to-hard spectral state transition occurred at the very low luminosity of 1.2 -- 3.4 $\times$ 10$^{-5}$ times the Eddington luminosity. Finally, this study highlights the capabilities of new wide-field radio telescopes to probe Galactic transient outbursts, by allowing us to observe both a target source and a background comparison source in a single telescope pointing.


title: Revisiting the new-physics interpretation of the $b\to c\tau\nu$ data

abstract: We revisit the status of the new-physics interpretations of the anomalies in semileptonic $B$ decays in light of the new data reported by Belle on the lepton-universality ratios $R_{D^{(*)}}$ using the semileptonic tag and on the longitudinal polarization of the $D^*$ in $B\to D^*\tau\nu$, $F_L^{D^*}$. The preferred solutions involve new left-handed currents or tensor contributions. Interpretations with pure right-handed currents are disfavored by the LHC data, while pure scalar models are disfavored by the upper limits derived either from the LHC or from the $B_c$ lifetime. The observable $F_L^{D^*}$ also gives an important constraint leading to the exclusion of large regions of parameter space. Finally, we investigate the sensitivity of different observables to the various scenarios and conclude that a measurement of the tau polarization in the decay mode $B\to D\tau\nu$ would effectively discriminate among them.


title: Photoelectron circular dichroism with Lissajous-type bichromatic fields: One- vs two-photon ionization of chiral molecules

abstract: Angular distribution of photoelectrons released by the ionization of randomly-oriented molecules with two laser fields of carrier frequencies $\omega$ and $2\omega$, which are linearly polarized in two mutually-orthogonal directions, is analyzed in the perturbation limit for the case of one- vs two-photon ionization process. In particular, we focus on the recently predicted [Ph.V. Demekhin {\it et al.}, Phys. Rev. Lett. \textbf{121}, 253201 (2018)] forward-backward asymmetry in the photoelectron emission, which is induced by the interference of two fields and depends on the external relative phase between them. The present theoretical analysis proves a chiral origin of the effect and suggests that a molecule introduces an additional internal relative phase between two ionizing fields.


title: Compression with Flows via Local Bits-Back Coding

abstract: Likelihood-based generative models are the backbones of lossless compression due to the guaranteed existence of codes with lengths close to negative log likelihood. However, there is no guaranteed existence of computationally efficient codes that achieve these lengths, and coding algorithms must be hand-tailored to specific types of generative models to ensure computational efficiency. Such coding algorithms are known for autoregressive models and variational autoencoders, but not for general types of flow models. To fill in this gap, we introduce local bits-back coding, a new compression technique for flow models. We present efficient algorithms that instantiate our technique for many popular types of flows, and we demonstrate that our algorithms closely achieve theoretical codelengths for state-of-the-art flow models on high-dimensional data.


title: PDH : Probabilistic deep hashing based on MAP estimation of Hamming distance

abstract: With the growth of image on the web, research on hashing which enables high-speed image retrieval has been actively studied. In recent years, various hashing methods based on deep neural networks have been proposed and achieved higher precision than the other hashing methods. In these methods, multiple losses for hash codes and the parameters of neural networks are defined. They generate hash codes that minimize the weighted sum of the losses. Therefore, an expert has to tune the weights for the losses heuristically, and the probabilistic optimality of the loss function cannot be explained. In order to generate explainable hash codes without weight tuning, we theoretically derive a single loss function with no hyperparameters for the hash code from the probability distribution of the images. By generating hash codes that minimize this loss function, highly accurate image retrieval with probabilistic optimality is performed. We evaluate the performance of hashing using MNIST, CIFAR-10, SVHN and show that the proposed method outperforms the state-of-the-art hashing methods.


title: Mesh-based Camera Pairs Selection and Occlusion-Aware Masking for Mesh Refinement

abstract: Many Multi-View-Stereo algorithms extract a 3D mesh model of a scene, after fusing depth maps into a volumetric representation of the space. Due to the limited scalability of such representations, the estimated model does not capture fine details of the scene. Therefore a mesh refinement algorithm is usually applied; it improves the mesh resolution and accuracy by minimizing the photometric error induced by the 3D model into pairs of cameras. The choice of these pairs significantly affects the quality of the refinement and usually relies on sparse 3D points belonging to the surface. Instead, in this paper, to increase the quality of pairs selection, we exploit the 3D model (before the refinement) to compute five metrics: scene coverage, mutual image overlap, image resolution, camera parallax, and a new symmetry term. To improve the refinement robustness, we also propose an explicit method to manage occlusions, which may negatively affect the computation of the photometric error. The proposed method takes into account the depth of the model while computing the similarity measure and its gradient. We quantitatively and qualitatively validated our approach on publicly available datasets against state of the art reconstruction methods.


title: A Universal Approximation Result for Difference of log-sum-exp Neural Networks

abstract: We show that a neural network whose output is obtained as the difference of the outputs of two feedforward networks with exponential activation function in the hidden layer and logarithmic activation function in the output node (LSE networks) is a smooth universal approximator of continuous functions over convex, compact sets. By using a logarithmic transform, this class of networks maps to a family of subtraction-free ratios of generalized posynomials, which we also show to be universal approximators of positive functions over log-convex, compact subsets of the positive orthant. The main advantage of Difference-LSE networks with respect to classical feedforward neural networks is that, after a standard training phase, they provide surrogate models for design that possess a specific difference-of-convex-functions form, which makes them optimizable via relatively efficient numerical methods. In particular, by adapting an existing difference-of-convex algorithm to these models, we obtain an algorithm for performing effective optimization-based design. We illustrate the proposed approach by applying it to data-driven design of a diet for a patient with type-2 diabetes.


title: On a SAV-MAC scheme for the Cahn-Hilliard-Navier-Stokes Phase Field Model

abstract: We construct a numerical scheme based on the scalar auxiliary variable (SAV) approach in time and the MAC discretization in space for the Cahn-Hilliard-Navier-Stokes phase field model, and carry out stability and error analysis. The scheme is linear, second-order, unconditionally energy stable and can be implemented very efficiently. We establish second-order error estimates both in time and space for phase field variable, chemical potential, velocity and pressure in different discrete norms. We also provide numerical experiments to verify our theoretical results and demonstrate the robustness and accuracy of the our scheme.


title: Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework

abstract: The goal of cooperative verification is to combine verification approaches in such a way that they work together to verify a system model. In particular, cooperative verifiers provide exchangeable information (verification artifacts) to other verifiers or consume such information from other verifiers with the goal of increasing the overall effectiveness and efficiency of the verification process. This paper first gives an overview over approaches for leveraging strengths of different techniques, algorithms, and tools in order to increase the power and abilities of the state of the art in software verification. Second, we specifically outline cooperative verification approaches and discuss their employed verification artifacts. We formalize all artifacts in a uniform way, thereby fixing their semantics and providing verifiers with a precise meaning of the exchanged information.


title: Data-driven preference learning methods for value-driven multiple criteria sorting with interacting criteria

abstract: The learning of predictive models for data-driven decision support has been a prevalent topic in many fields. However, construction of models that would capture interactions among input variables is a challenging task. In this paper, we present a new preference learning approach for multiple criteria sorting with potentially interacting criteria. It employs an additive piecewise-linear value function as the basic preference model, which is augmented with components for handling the interactions. To construct such a model from a given set of assignment examples concerning reference alternatives, we develop a convex quadratic programming model. Since its complexity does not depend on the number of training samples, the proposed approach is capable for dealing with data-intensive tasks. To improve the generalization of the constructed model on new instances and to overcome the problem of over-fitting, we employ the regularization techniques. We also propose a few novel methods for classifying non-reference alternatives in order to enhance the applicability of our approach to different datasets. The practical usefulness of the proposed method is demonstrated on a problem of parametric evaluation of research units, whereas its predictive performance is studied on several monotone learning datasets. The experimental results indicate that our approach compares favourably with the classical UTADIS method and the Choquet integral-based sorting model.


title: Lagrangian discretization of crowd motion and linear diffusion

abstract: We study a model of crowd motion following a gradient vector field, with possibly additional interaction terms such as attraction/repulsion, and we present a numerical scheme for its solution through a Lagrangian discretization. The density constraint of the resulting particles is enforced by means of a partial optimal transport problem at each time step. We prove the convergence of the discrete measures to a solution of the continuous PDE describing the crowd motion in dimension one. In a second part, we show how a similar approach can be used to construct a Lagrangian discretization of a linear advection-diffusion equation, interpreted as a gradient flow in Wasserstein space. We provide also a numerical implementation in 2D to demonstrate the feasibility of the computations.


title: Simulating lattice thermal conductivity in semiconducting materials using high-dimensional neural network potential

abstract: We demonstrate that a high-dimensional neural network potential (HDNNP) can predict the lattice thermal conductivity of semiconducting materials with an accuracy comparable to that of density functional theory (DFT) calculation. After a training procedure based on the force, the root mean square error between the forces predicted by the HDNNP and DFT is less than 40 meV/{\AA}. As typical examples, we present the results for Si and GaN bulk crystals. The deviation from the thermal conductivity calculated using DFT is within 1% at 200 to 500 K for Si and within 5.4% at 200 to 1000 K for GaN.


title: Mutual Information Maximization in Graph Neural Networks

abstract: A variety of graph neural networks (GNNs) frameworks for representation learning on graphs have been recently developed. These frameworks rely on aggregation and iteration scheme to learn the representation of nodes. However, information between nodes is inevitably lost in the scheme during learning. In order to reduce the loss, we extend the GNNs frameworks by exploring the aggregation and iteration scheme in the methodology of mutual information. We propose a new approach of enlarging the normal neighborhood in the aggregation of GNNs, which aims at maximizing mutual information. Based on a series of experiments conducted on several benchmark datasets, we show that the proposed approach improves the state-of-the-art performance for four types of graph tasks, including supervised and semi-supervised graph classification, graph link prediction and graph edge generation and classification.


title: Stochastic Gravitational Waves from Inflaton Decays

abstract: Due to the universality of gravitational interactions, it is generally expected that a stochastic gravitational wave (GW) background could form during the reheating period when the inflaton perturbatively decays with the emission of gravitons. Previously, only models in which the inflaton dominantly decays into a pair of light scalar and/or fermion particles were considered in the literature. In the present paper, we focus on the cases with a vector particle pair in the final decay product. The differential decay rates for the three-body gravitational inflaton decays are presented for two typical couplings between the inflaton and vector fields, from which we predict their respective GW frequency spectra. It turns out that, similar to the scalar and fermion cases, the obtained GW spectra is too high in frequency to be observed by the current and near-future GW detection experiments and calls for a new design of high-frequency GW detectors.


title: Answering while Summarizing: Multi-task Learning for Multi-hop QA with Evidence Extraction

abstract: Question answering (QA) using textual sources for purposes such as reading comprehension (RC) has attracted much attention. This study focuses on the task of explainable multi-hop QA, which requires the system to return the answer with evidence sentences by reasoning and gathering disjoint pieces of the reference texts. It proposes the Query Focused Extractor (QFE) model for evidence extraction and uses multi-task learning with the QA model. QFE is inspired by extractive summarization models; compared with the existing method, which extracts each evidence sentence independently, it sequentially extracts evidence sentences by using an RNN with an attention mechanism on the question sentence. It enables QFE to consider the dependency among the evidence sentences and cover important information in the question sentence. Experimental results show that QFE with a simple RC baseline model achieves a state-of-the-art evidence extraction score on HotpotQA. Although designed for RC, it also achieves a state-of-the-art evidence extraction score on FEVER, which is a recognizing textual entailment task on a large textual database.


title: Classes of non-minimally coupled scalar fields in spatially curved FRW spacetimes

abstract: In this work we perform a dynamical analysis of a broad class of non-minimally coupled real scalar fields in the Friedmann-Robertson-Walker (FRW) spacetime framework. The first part of our study concerns the dynamics of an unspecified positive potential in a spatially curved FRW spacetime, for which we define a new set of dimensionless variables and a new evolution parameter. In the framework of this general setup we have recognized several general features of the system, like symmetries, invariant subsets and critical points, and provide their cosmological interpretation. The second part of our work focuses on flat FRW cases for which the tracker parameter is constant, i.e. we examine specific classes of potentials. After analyzing these cases dynamically, we discuss their physical interpretation.


title: Stochastic Inverse Reinforcement Learning

abstract: The goal of the inverse reinforcement learning (IRL) problem is to recover the reward functions from expert demonstrations. However, the IRL problem like any ill-posed inverse problem suffers the congenital defect that the policy may be optimal for many reward functions, and expert demonstrations may be optimal for many policies. In this work, we generalize the IRL problem to a well-posed expectation optimization problem stochastic inverse reinforcement learning (SIRL) to recover the probability distribution over reward functions. We adopt the Monte Carlo expectation-maximization (MCEM) method to estimate the parameter of the probability distribution as the first solution to the SIRL problem. The solution is succinct, robust, and transferable for a learning task and can generate alternative solutions to the IRL problem. Through our formulation, it is possible to observe the intrinsic property of the IRL problem from a global viewpoint, and our approach achieves a considerable performance on the objectworld.


title: Limit profile for random transpositions

abstract: We present an improved version of Diaconis' upper bound lemma, which is used to compute the limiting value of the distance to stationarity. We then apply it to random transpositions studied by Diaconis and Shahshahani.


title: Total variation multiscale estimators for linear inverse problems

abstract: Even though the statistical theory of linear inverse problems is a well-studied topic, certain relevant cases remain open. Among these is the estimation of functions of bounded variation ($BV$), meaning $L^1$ functions on a $d$-dimensional domain whose weak first derivatives are finite Radon measures. The estimation of $BV$ functions is relevant in many applications, since it involves minimal smoothness assumptions and gives simplified, interpretable cartoonized reconstructions. In this paper we propose a novel technique for estimating $BV$ functions in an inverse problem setting, and provide theoretical guaranties by showing that the proposed estimator is minimax optimal up to logarithms with respect to the $L^q$-risk, for any $q\in[1,\infty)$. This is to the best of our knowledge the first convergence result for $BV$ functions in inverse problems in dimension $d\geq 2$, and it extends the results by Donoho (Appl. Comput. Harmon. Anal., 2(2):101--126, 1995) in $d=1$. Furthermore, our analysis unravels a novel regime for large $q$ in which the minimax rate is slower than $n^{-1/(d+2\beta+2)}$, where $\beta$ is the degree of ill-posedness: our analysis shows that this slower rate arises from the low smoothness of $BV$ functions. The proposed estimator combines variational regularization techniques with the wavelet-vaguelette decomposition of operators.


title: First grids of low-mass stellar models and isochrones with self-consistent treatment of rotation : From 0.2 to 1.5 M_\odot at 7 metallicities from PMS to TAMS

abstract: We present an extended grid of state-of-the art stellar models for low-mass stars including updated physics (nuclear reaction rates, surface boundary condition, mass-loss rate, angular momentum transport, torque and rotation-induced mixing prescriptions). We aim at evaluating the impact of wind braking, realistic atmospheric treatment, rotation and rotation-induced mixing on the structural and rotational evolution from the pre-main sequence to the turn-off. Using the STAREVOL code, we provide an updated PMS grid. We compute stellar models for 7 different metallicities, from [Fe/H] = -1 dex to [Fe/H] = +0.3 dex with a solar composition corresponding to $Z=0.0134$. The initial stellar mass ranges from 0.2 to 1.5\Ms with extra grid refinement around one solar mass. We also provide rotating models for three different initial rotation rates (slow, median and fast) with prescriptions for the wind braking and disc-coupling timescale calibrated on observed properties of young open clusters. The rotational mixing includes an up-to-date description of the turbulence anisotropy in stably stratified regions. The overall behaviour of our models at solar metallicity -- and its constitutive physics -- is validated through a detailed comparison with a variety of distributed evolutionary tracks. The main differences arise from the choice of surface boundary conditions and initial solar composition. The models including rotation with our prescription for angular momentum extraction and self-consistent formalism for angular momentum transport are able to reproduce the rotation period distribution observed in young open clusters over a broad mass-range. These models are publicly available and may be used to analyse data coming from present and forthcoming asteroseismic and spectroscopic surveys such as Gaia, TESS and PLATO.


title: Blockchain in the Government Technology Fabric

abstract: Fuelled by the success (and hype) around cryptocurrencies, distributed ledger technologies (DLT), particularly blockchains, have gained a lot of attention from a wide spectrum of audience who perceive blockchains as a key to carry out business processes that have hitherto been cumbersome in a cost and time effective manner. Governments across the globe have responded to this promising but nascent technology differently - from being apathetic or adopting a wait-and-watch approach: letting the systems shape themselves, to creating regulatory sandboxes and sponsoring capacity building, or in some instances (arguably) over-regulating and attempting to put the blockchain genie back in the bottle. Possible government role spans across a spectrum: regulating crypto-currencies and initial coin offerings (ICO), formulating regulatory frameworks for managing the adoption of blockchains, particularly in critical infrastructure industries, facilitating capacity building, and finally, embracing blockchain technology in conducting the activities of the government itself - be it internally, or in using them to deliver public services. In this paper we survey the last, namely, the use of blockchain and associated distributed ledger technologies in the government technology (GovTech) stack, and discuss the merits and concerns associated with the existing initiatives and approaches.


title: Molecular rules for selectivity in lipase-catalysed acylation of lysine

abstract: The selectivity of L-lysine acylation by lauric acid catalysed by Candida antarctica lipase B (CALB) was investigated combining experimental and theoretical methodologies. Experiments showed the near-exclusive acylation of lysine $\epsilon$-amino group; only traces of product resulting from the acylation of lysine $\alpha$-amino group were observed fleetingly. Molecular modelling simulations were performed aiming to understand the molecular rules for selectivity. Flexible docking simulations combined with structural investigations into lysine/CALB binding modes also suggested the preferential acylation of lysine $\epsilon$-amino group without, however, excluding the acylation of the lysine $\alpha$-amino group. Electrostatic interaction energy between lysine and the residues covering the catalytic cavity was calculated in order to understand the discrimination between the two lysine amino groups. The results suggests that the proximity of the carboxylate group hinders the binding of the substrate in configurations enabling the N$\alpha$-acylation. Key interactions with the polar region covering the catalytic triad were identified and a plausible explanation for selectivity was proposed.


title: Convexity in Greek antiquity

abstract: We consider several appearances of the notion of convexity in Greek antiquity, more specifically in mathematics and optics, in the writings of Aristotle, and in art. The final version of this article will appear in the book `Geometry in History', ed. S. G. Dani and A. Papadopoulos, Springer Verlag, 2019.


title: Band width estimates via the Dirac operator

abstract: Let $M$ be a closed connected spin manifold such that its spinor Dirac operator has non-vanishing (Rosenberg) index. We prove that for any Riemannian metric on $V = M \times [-1,1]$ with scalar curvature bounded below by $\sigma > 0$, the distance between the boundary components of $V$ is at most $C_n/\sqrt{\sigma}$, where $C_n = \sqrt{(n-1)/{n}} \cdot C$ with $C < 8(1+\sqrt{2})$ being a universal constant. This verifies a conjecture of Gromov for such manifolds. In particular, our result applies to all high-dimensional closed simply connected manifolds $M$ which do not admit a metric of positive scalar curvature. We also establish a quadratic decay estimate for the scalar curvature of complete metrics on manifolds, such as $M \times \mathbb{R}^2$, which contain $M$ as a codimension two submanifold in a suitable way. Furthermore, we introduce the "$\mathcal{KO}$-width" of a closed manifold and deduce that infinite $\mathcal{KO}$-width is an obstruction to positive scalar curvature.


title: A generalized Complex Ginzburg-Landau Equation: global existence and stability results

abstract: We consider the complex Ginzburg-Landau equation with two pure-power nonlinearities and a damping term. After proving a general global existence result, we focus on the existence and stability of several periodic orbits, namely the trivial equilibrium, bound-states and solutions independent of the spatial variable. In particular, we construct bound-states either explicitly in the real line or through a bifurcation argument for a double eigenvalue of the Dirichlet-Laplace operator on bounded domains.


title: Approximations of Mckean-Vlasov SDEs with Irregular Coefficients

abstract: The goal of this paper is to approximate several kinds of {\it Mckean-Vlasov SDEs} with {\it irregular coefficients} via weakly interacting particle systems. More precisely, propagation of chaos and convergence rate of Euler-Maruyama scheme associated with the consequent weakly interacting particle systems are investigated for Mckean-Vlasov SDEs, where (i) the diffusion terms are H\"older continuous by taking advantage of Yamada-Watanabe's approximation approach and (ii) the drifts are H\"older continuous by freezing distributions followed by invoking Zvonkin's transformation trick.


title: Quantum Rydberg Central Spin Model

abstract: We consider dynamics of a Rydberg impurity in a cloud of ultracold bosonic atoms in which the Rydberg electron can undergo spin-changing collisions with surrounding atoms. This system realizes a new type of the quantum impurity problem that compounds essential features of the Kondo model, the Bose polaron, and the central spin model. To capture the interplay of the Rydberg-electron spin dynamics and the orbital motion of atoms, we employ a new variational method that combines an impurity-decoupling transformation with a Gaussian ansatz for the bath particles. We find several unexpected features of this model that are not present in traditional impurity problems, including interaction-induced renormalization of the absorption spectrum that eludes simple explanations from molecular bound states, and long-lasting oscillations of the Rydberg-electron spin. We discuss generalizations of our analysis to other systems in atomic physics and quantum chemistry, where an electron excitation of high orbital quantum number interacts with a spinful quantum bath.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el quant-ph


title: Violation of the equivalence principle from light scalar fields: from Dark Matter candidates to scalarized black holes

abstract: Tensor-scalar theory is a wide class of alternative theory of gravitation that can be motivated by higher dimensional theories, by models of dark matter or dark ernergy. In the general case, the scalar field will couple non-universally to matter producing a violation of the equivalence principle. In this communication, we review a microscopic model of scalar/matter coupling and its observable consequences in terms of universality of free fall, of frequencies comparison and of redshifts tests. We then focus on two models: (i) a model of ultralight scalar dark matter and (ii) a model of scalarized black hole in our Galactic Center. For both these models, we present constraints using recent measurements: atomic clocks comparisons, universality of free fall measurements, measurement of the relativistic redshift with the short period star S0-2 orbiting the supermassive black hole in our Galactic Center.


title: Evolving nature of human contact networks with its impact on epidemic processes

abstract: Human contact networks are constituted by a multitude of individuals and pairwise contacts among them. However, the dynamic nature, which generates the evolution of human contact networks, of contact patterns is not known yet. Here, we analyse three empirical datasets and identify two crucial mechanisms of the evolution of temporal human contact networks, i.e. the activity state transition laws for an individual to be socially active, and the contact establishment mechanism that active individuals adopt. We consider both of the two mechanisms to propose a temporal network model, named the memory driven (MD) model, of human contact networks. Then we study the susceptible-infected (SI) spreading processes on empirical human contact networks and four corresponding temporal network models, and compare the full prevalence time of SI processes with various infection rates on the networks. The full prevalence time of SI processes in the MD model is the same as that in real-world human contact networks. Moreover, we find that the individual activity state transition promotes the spreading process, while, the contact establishment of active individuals suppress the prevalence. Apart from this, we observe that even a small percentage of individuals to explore new social ties is able to induce an explosive spreading on networks. The proposed temporal network framework could help the further study of dynamic processes in temporal human contact networks, and offer new insights to predict and control the diffusion processes on networks.


title: Coding theory for noiseless channels realized by anonymous oblivious mobile robots

abstract: We propose an information transmission scheme by a swarm of anonymous oblivious mobile robots on a graph. The swarm of robots travel from a sender vertex to a receiver vertex to transmit a symbol generated at the sender. The codeword for a symbol is a pair of an initial configuration at the sender and a set of terminal configurations at the receiver. The set of such codewords forms a code. We analyze the performance of the proposed scheme in terms of its code size and transmission delay. We first demonstrate that a lower bound of the transmission delay depends on the size of the swarm, and the code size is upper bounded by an exponent of the size of the swarm. We then give two algorithms for a swarm of a fixed size. The first algorithm realizes a near optimal code size with a large transmission delay. The second algorithm realizes an optimal transmission delay with a smaller code size. We then consider information transmission by swarms of different sizes and present upper bounds of the expected swarm size by the two algorithms. We also present lower bounds by Shannon's lemma and noiseless coding theorem.


title: CNNs found to jump around more skillfully than RNNs: Compositional generalization in seq2seq convolutional networks

abstract: Lake and Baroni (2018) introduced the SCAN dataset probing the ability of seq2seq models to capture compositional generalizations, such as inferring the meaning of "jump around" 0-shot from the component words. Recurrent networks (RNNs) were found to completely fail the most challenging generalization cases. We test here a convolutional network (CNN) on these tasks, reporting hugely improved performance with respect to RNNs. Despite the big improvement, the CNN has however not induced systematic rules, suggesting that the difference between compositional and non-compositional behaviour is not clear-cut.


title: The realizable solutions of the TAP equations

abstract: We show that the only solutions of the TAP equations for the Sherrington-Kirkpatrick model of Ising spin glasses which can be found by iteration are those whose free energy lies on the border between replica symmetric and broken replica symmetric states, when the number of spins $N$ is large. Convergence to this same borderline also happens in quenches from a high temperature initial state to a locally stable state where each spin is parallel to its local field; both are examples of self-organized criticality. At this borderline the band of eigenvalues of the Hessian associated with a solution extends to zero, so the states reached have marginal stability. We have also investigated the factors which determine the free energy difference between a stationary solution corresponding to a saddle point and its associated minimum, which is the barrier which has to be surmounted to escape from the vicinity of a TAP minimum or pure state.


title: Fluctuations in the random-link matching problem

abstract: Using the replica approach and the cavity method, we study the fluctuations of the optimal cost in the random-link matching problem. By means of replica arguments, we derive the exact expression of its variance. Moreover, we study the large deviation function, deriving its expression in two different ways, namely using both the replica method and the cavity method.


title: 2MTF - VII. 2MASS Tully-Fisher survey final data release: distances for 2,062 nearby spiral galaxies

abstract: We present the final distance measurements for the 2MASS Tully-Fisher (2MTF) survey. The final 2MTF catalogue contains 2,062 nearby spiral galaxies in the CMB frame velocity range of 600 km s$^{-1}$ $< cz < 10,000$ km s$^{-1}$ with a mean velocity of 4,805 km s$^{-1}$. The main update in this release is the replacement of some archival HI data with newer ALFALFA data. Using the 2MTF template relation, we calculate the distances and peculiar velocities of all 2MTF galaxies. The mean uncertainties of the linear distance measurements are around 22\% in all three infrared bands. 2MTF measurements agree well with the distances from the Cosmicflows-3 compilation, which contains 1,117 common galaxies, including 28 with SNIa distance measurements. Using distances estimated from the `3-bands combined' 2MTF sample and a $\chi^2$ minimization method, we find best-fit bulk flow amplitudes of $308 \pm 26$ km s$^{-1}$, $318 \pm 29$ km s$^{-1}$, and $286 \pm 25$ km s$^{-1}$ at depths of $R_I = $ 20, 30 and 40 $h^{-1}{\rm Mpc}$, respectively, which is consistent with the $\Lambda$CDM model and with previous 2MTF results with different estimation techniques and a preliminary catalogue.


title: Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

abstract: Computer systems can be found everywhere: in space, in our homes, in our cars, in our pockets, and sometimes even in our own bodies. For concerns of safety, economy, and convenience, it is important that such systems work correctly. However, it is a notoriously difficult task to ensure that the software running on computers behaves correctly. One approach to ease this task is that of model checking, where a model of the system is made using some mathematical formalism. Requirements expressed in a formal language can then be verified against the model in order to give guarantees that the model satisfies the requirements. For many computer systems, time is an important factor. As such, we need our formalisms and requirement languages to be able to incorporate real time. We therefore develop formalisms and algorithms that allow us to compare and express properties about real-time systems. We first introduce a logical formalism for reasoning about upper and lower bounds on time, and study the properties of this formalism, including axiomatisation and algorithms for checking when a formula is satisfied. We then consider the question of when a system is faster than another system. We show that this is a difficult question which can not be answered in general, but we identify special cases where this question can be answered. We also show that under this notion of faster-than, a local increase in speed may lead to a global decrease in speed, and we take step towards avoiding this. Finally, we consider how to compare the real-time behaviour of systems not just qualitatively, but also quantitatively. Thus, we are interested in knowing how much one system is faster or slower than another system. This is done by introducing a distance between systems. We show how to compute this distance and that it behaves well with respect to certain properties.


title: Dirichlet boundary values on Euclidean balls with infinitely many solutions for the minimal surface system

abstract: We make systematic developments on Lawson-Osserman constructions relating to the Dirichlet problem (over unit disks) for minimal surfaces of high codimension in their 1977 Acta paper. In particular, we show the existence of boundary functions for which infinitely many analytic solutions and at least one nonsmooth Lipschitz solution exist simultaneously. This newly-discovered amusing phenomenon enriches the understanding on the Lawson-Osserman philosophy.


title: On the weighting field of irradiated silicon detectors

abstract: The understanding of the weighting field of irradiated silicon sensors is essential for calculating the response of silicon detectors in the radiation environment at accelerators like at the CERN LHC. Using 1-D calculations of non-irradiated pad sensors and 1-D TCAD simulations of pad sensors before and after irradiation, it is shown that the time-dependence of the weighting field is related to the resistivity of low field regions with ohmic behaviour in the sensor. A simple formula is derived, which relates the time constant of the time-dependent weighting field, $\tau $, with the resistivity and the extension of the low-field region for pad detectors. As the resistivity of irradiated silicon increases with fluence and finally reaches the intrinsic resistivity, $\tau $ becomes much larger than the charge-collection time and the weighting field becomes essentially independent of time. The TCAD simulations show that the transition from a time-dependent to a time-independent weighting field occurs at a neutron-equivalent fluence of $ \approx 5 \times 10^{12}$ cm$^{-2}$ for a 200 $\mu$m thick pad diode operated at 40 V and $- 20^\circ$C. It is therefore concluded that the use of a time-independent weighting field calculated with the same method as for a fully-depleted non-irradiated sensor is also appropriate for the simulation of highly irradiated silicon sensors.


title: Optimal control via second order sensitivity analysis

abstract: This short note shows how to solve optimal control problems using second order sensitivity analysis


title: Smoothing quantile regressions

abstract: We propose to smooth the entire objective function, rather than only the check function, in a linear quantile regression context. Not only does the resulting smoothed quantile regression estimator yield a lower mean squared error and a more accurate Bahadur-Kiefer representation than the standard estimator, but it is also asymptotically differentiable. We exploit the latter to propose a quantile density estimator that does not suffer from the curse of dimensionality. This means estimating the conditional density function without worrying about the dimension of the covariate vector. It also allows for two-stage efficient quantile regression estimation. Our asymptotic theory holds uniformly with respect to the bandwidth and quantile level. Finally, we propose a rule of thumb for choosing the smoothing bandwidth that should approximate well the optimal bandwidth. Simulations confirm that our smoothed quantile regression estimator indeed performs very well in finite samples.


title: Dynamics of fluctuations in the Gaussian model with conserved dynamics

abstract: We study the fluctuations of the Gaussian model, with conservation of the order parameter, evolving in contact with a thermal bath quenched from inverse temperature $\beta _i$ to a final one $\beta _f$. At every time there exists a critical value $s_c(t)$ of the variance $s$ of the order parameter per degree of freedom such that the fluctuations with $s>s_c(t)$ are characterized by a macroscopic contribution of the zero wavevector mode, similarly to what occurs in an ordinary condensation transition. We show that the probability of fluctuations with $s<\inf_t [s_c(t)]$, for which condensation never occurs, rapidly converges towards a stationary behavior. By contrast, the process of populating the zero wavevector mode of the variance, which takes place for $s>\inf _t [s_c(t)]$, induces a slow non-equilibrium dynamics resembling that of systems quenched across a phase transition.


title: Adaptive Stochastic Natural Gradient Method for One-Shot Neural Architecture Search

abstract: High sensitivity of neural architecture search (NAS) methods against their input such as step-size (i.e., learning rate) and search space prevents practitioners from applying them out-of-the-box to their own problems, albeit its purpose is to automate a part of tuning process. Aiming at a fast, robust, and widely-applicable NAS, we develop a generic optimization framework for NAS. We turn a coupled optimization of connection weights and neural architecture into a differentiable optimization by means of stochastic relaxation. It accepts arbitrary search space (widely-applicable) and enables to employ a gradient-based simultaneous optimization of weights and architecture (fast). We propose a stochastic natural gradient method with an adaptive step-size mechanism built upon our theoretical investigation (robust). Despite its simplicity and no problem-dependent parameter tuning, our method exhibited near state-of-the-art performances with low computational budgets both on image classification and inpainting tasks.


title: A Two-stage Classification Method for High-dimensional Data and Point Clouds

abstract: High-dimensional data classification is a fundamental task in machine learning and imaging science. In this paper, we propose a two-stage multiphase semi-supervised classification method for classifying high-dimensional data and unstructured point clouds. To begin with, a fuzzy classification method such as the standard support vector machine is used to generate a warm initialization. We then apply a two-stage approach named SaT (smoothing and thresholding) to improve the classification. In the first stage, an unconstraint convex variational model is implemented to purify and smooth the initialization, followed by the second stage which is to project the smoothed partition obtained at stage one to a binary partition. These two stages can be repeated, with the latest result as a new initialization, to keep improving the classification quality. We show that the convex model of the smoothing stage has a unique solution and can be solved by a specifically designed primal-dual algorithm whose convergence is guaranteed. We test our method and compare it with the state-of-the-art methods on several benchmark data sets. The experimental results demonstrate clearly that our method is superior in both the classification accuracy and computation speed for high-dimensional data and point clouds.


title: Universal Approximation with Deep Narrow Networks

abstract: The classical Universal Approximation Theorem holds for neural networks of arbitrary width and bounded depth. Here we consider the natural `dual' scenario for networks of bounded width and arbitrary depth. Precisely, let $n$ be the number of inputs neurons, $m$ be the number of output neurons, and let $\rho$ be any nonaffine continuous function, with a continuous nonzero derivative at some point. Then we show that the class of neural networks of arbitrary depth, width $n + m + 2$, and activation function $\rho$, is dense in $C(K; \mathbb{R}^m)$ for $K \subseteq \mathbb{R}^n$ with $K$ compact. This covers every activation function possible to use in practice, and also includes polynomial activation functions, which is unlike the classical version of the theorem, and provides a qualitative difference between deep narrow networks and shallow wide networks. We then consider several extensions of this result. In particular we consider nowhere differentiable activation functions, density in noncompact domains with respect to the $L^p$-norm, and how the width may be reduced to just $n + m + 1$ for `most' activation functions.


title: Confirmation of the Stellar Binary Microlensing Event, Macho 97-BLG-28

abstract: The high-magnification microlensing event MACHO-97-BLG-28 was previously determined to be a binary system composed either of two M dwarfs, or an M dwarf and a brown dwarf. We present a revised light-curve model using additional data from the Mt. Stromlo 74" telescope, model estimates of stellar limb darkening and fitting the blend separately for each telescope and passband. We find a lensing system with a larger mass ratio, $q = 0.28 \pm 0.01$, and smaller projected separation, $s = 0.61 \pm 0.01 $, than that presented in the original study. We revise the estimate of the lens-source relative proper motion to $\mu_{rel}=2.8 \pm 0.5 \; \mathrm{mas\: yr^{-1}}$, which indicates that 16.07 years after the event maximum the lens and source should have separated by $46 \pm 8$ mas. We revise the source star radius using more recent reddening maps and angular diameter-color relations to $R_*=(10.3 \pm 1.9) R_\odot$. K and J-band adaptive optics images of the field taken at this epoch using the NIRC2 imager on the Keck telescope show that the source and lens are still blended, consistent with our light-curve model. With no statistically significant excess flux detection we constrain the mass, $M_L= 0.24^{+0.28}_{-0.12}M_\odot$, and distance, $D_L = 7.0 \pm 1.0$ kpc, of the lensing system. This supports the interpretation of this event being a stellar binary in the galactic bulge. This lens mass gives a companion mass of $M=0.07^{+0.08}_{-0.04}M_\odot$, close to the boundary between being a star and a brown dwarf.


title: Orientational order and morphology of clusters of self-assembled Janus swimmers

abstract: Due to the combined effect of anisotropic interactions and activity, Janus swimmers are capable to self-assemble in a wide variety of structures, many more than their equilibrium counterpart. This might lead to the development of novel active materials capable of performing tasks without any central control. Their potential application in designing such materials endows trying to understand the fundamental mechanism in which these swimmers self-assemble. In the present work, we study a quasi-two dimensional semi-dilute suspensions of two classes of amphiphilic spherical swimmers whose direction of motion can be tuned: either swimmers propelling in the direction of the hydrophobic patch (WP), or swimmers propelling in the opposite direction (towards the hydrophilic side) (AP). In both systems we have systematically tuned swimmers' hydrophobic strength and signature, and observed that the anisotropic interactions, characterized by the angular attractive potential and its interaction range, in competition with the active stress, pointing towards or against the attractive patch gives rise to a rich aggregation phenomenology.


title: Triage of Astrometric Binaries - how to find triple systems and dormant black-hole secondaries in the Gaia orbits

abstract: Preparing for the expected wealth of Gaia detections, we consider here a simple algorithm for classifying unresolved astrometric binaries with main-sequence (MS) primary into three classes: binaries with a probable MS secondary, with two possible values for the mass ratio; probable hierarchical triple MS systems with an astrometric secondary as a close binary, with a limited range of mass-ratio values; and binaries with a compact-object secondary, with a minimal value of the mass ratio. This is done by defining a unit-less observational parameter 'Astrometric Mass-Ratio Function' (AMRF), $\mathcal{A}$, of a binary, based on primary-mass estimation, in addition to the astrometric parameters - the angular semi-major axis, the period and the parallax. We derive the $\mathcal{A}$ value that differentiates the three classes by forward modeling representative binaries of each class, assuming some mass-luminosity relation.To demonstrate the potential of the algorithm, we consider the orbits of 98 Hipparcos astrometric binaries with main-sequence primaries, using the Hipparcos parallaxes and the primary-mass estimates. For systems with known spectroscopic orbital solution, our results are consistent with the spectroscopic elements, validating the suggested approach. The algorithm will be able to identify hierarchical triple systems and dormant neutron-star and black-hole companions in the Gaia astrometric binaries.


title: Superradiant scattering by a black hole binary

abstract: I present evidence of a novel guise of superradiance that arises in black hole binary spacetimes. Given the right initial conditions, a wave will be amplified as it scatters off the binary. This process, which extracts energy from the orbital motion, is driven by absorption across the horizons and is most pronounced when the individual black holes are not spinning. Focusing on real scalar fields, I demonstrate how modern effective field theory (EFT) techniques enable the computation of the superradiant amplification factor analytically when there exist large separations of scales. Although exploiting these hierarchies inevitably means that the amplification factor is always negligible (it is never larger than about one part in $10^{10}$) in the EFT's regime of validity, this work has interesting theoretical implications for our understanding of general relativity and lays the groundwork for future studies on superradiant phenomena in binary systems.


title: Quantum fluctuations and phase coherence in superconducting nanowires

abstract: Quantum behavior of superconducting nanowires may essentially depend on the employed experimental setup. Here we investigate a setup that enables passing equilibrium supercurrent across an arbitrary segment of the wire without restricting fluctuations of its superconducting phase. The low temperature physics of the system is determined by a combined effect of collective sound-like plasma excitations and quantum phase slips. At $T=0$ the wire exhibits two quantum phase transitions, both being controlled by the dimensionless wire impedance $g$. While thicker wires with $g>16$ stay superconducting, in thinnest wires with $g<2$ the supercurrent is totally destroyed by quantum fluctuations. The intermediate phase with $2<g<16$ is characterized by two different correlation lengths demonstrating superconducting-like behavior at shorter scales combined with vanishing superconducting response in the long scale limit.


title: Contrast Enhancement of Medical X-Ray Image Using Morphological Operators with Optimal Structuring Element

abstract: To guide surgical and medical treatment X-ray images have been used by physicians in every modern healthcare organization and hospitals. Doctor's evaluation process and disease identification in the area of skeletal system can be performed in a faster and efficient way with the help of X-ray imaging technique as they can depict bone structure painlessly. This paper presents an efficient contrast enhancement technique using morphological operators which will help to visualize important bone segments and soft tissues more clearly. Top-hat and Bottom-hat transform are utilized to enhance the image where gradient magnitude value is calculated for automatically selecting the structuring element (SE) size. Experimental evaluation on different x-ray imaging databases shows the effectiveness of our method which also produces comparatively better output against some existing image enhancement techniques.


title: A multi-room reverberant dataset for sound event localization and detection

abstract: This paper presents the sound event localization and detection (SELD) task setup for the DCASE 2019 challenge. The goal of the SELD task is to detect the temporal activities of a known set of sound event classes, and further localize them in space when active. As part of the challenge, a synthesized dataset with each sound event associated with a spatial coordinate represented using azimuth and elevation angles is provided. These sound events are spatialized using real-life impulse responses collected at multiple spatial coordinates in five different rooms with varying dimensions and material properties. A baseline SELD method employing a convolutional recurrent neural network is used to generate benchmark scores for this reverberant dataset. The benchmark scores are obtained using the recommended cross-validation setup.


title: Benchmarking Deep Learning Architectures for Predicting Readmission to the ICU and Describing Patients-at-Risk

abstract: Objective: To compare different deep learning architectures for predicting the risk of readmission within 30 days of discharge from the intensive care unit (ICU). The interpretability of attention-based models is leveraged to describe patients-at-risk. Methods: Several deep learning architectures making use of attention mechanisms, recurrent layers, neural ordinary differential equations (ODEs), and medical concept embeddings with time-aware attention were trained using publicly available electronic medical record data (MIMIC-III) associated with 45,298 ICU stays for 33,150 patients. Bayesian inference was used to compute the posterior over weights of an attention-based model. Odds ratios associated with an increased risk of readmission were computed for static variables. Diagnoses, procedures, medications, and vital signs were ranked according to the associated risk of readmission. Results: A recurrent neural network, with time dynamics of code embeddings computed by neural ODEs, achieved the highest average precision of 0.331 (AUROC: 0.739, F1-Score: 0.372). Predictive accuracy was comparable across neural network architectures. Groups of patients at risk included those suffering from infectious complications, with chronic or progressive conditions, and for whom standard medical care was not suitable. Conclusions: Attention-based networks may be preferable to recurrent networks if an interpretable model is required, at only marginal cost in predictive accuracy.


title: A generic construction for high order approximation schemes of semigroups using random grids

abstract: Our aim is to construct high order approximation schemes for general semigroups of linear operators $P_{t},t\geq 0$. In order to do it, we fix a time horizon $T $ and the discretization steps $h_{l}=\frac{T}{n^{l}},l\in \mathbb{N}$ and we suppose that we have at hand some short time approximation operators $Q_{l}$ such that $P_{h_{l}}=Q_{l}+O(h_{l}^{1+\alpha })$ for some $\alpha >0$. Then, we consider random time grids $\Pi (\omega )=\{t_0(\omega )=0<t_{1}(\omega )<...<t_{m}(\omega )=T\}$ such that for all $1\le k\le m$, $t_{k}(\omega )-t_{k-1}(\omega )=h_{l_{k}}$ for some $l_{k}\in \mathbb{N}$, and we associate the approximation discrete semigroup $P_{T}^{\Pi (\omega )}=Q_{l_{n}}...Q_{l_{1}}.$ Our main result is the following: for any approximation order $\nu $, we can construct random grids $\Pi_{i}(\omega )$ and coefficients $c_{i}$, with $i=1,...,r$ such that \[ P_{t}f=\sum_{i=1}^{r}c_{i}\mathbb{E}(P_{t}^{\Pi _{i}(\omega )}f(x))+O(n^{-\nu}) \]% with the expectation concerning the random grids $\Pi _{i}(\omega ).$ Besides, $\text{Card}(\Pi _{i}(\omega ))=O(n)$ and the complexity of the algorithm is of order $n$, for any order of approximation $\nu$. The standard example concerns diffusion processes, using the Euler approximation for~$Q_l$. In this particular case and under suitable conditions, we are able to gather the terms in order to produce an estimator of $P_tf$ with finite variance. However, an important feature of our approach is its universality in the sense that it works for every general semigroup $P_{t}$ and approximations. Besides, approximation schemes sharing the same $\alpha$ lead to the same random grids $\Pi_{i}$ and coefficients $c_{i}$. Numerical illustrations are given for ordinary differential equations, piecewise deterministic Markov processes and diffusions.


title: Quantum and Classical Query Complexities for Generalized Simon's Problem

abstract: Simon's problem is an essential example demonstrating the faster speed of quantum computers than classical computers for solving some problems. The optimal separation between exact quantum and classical query complexities for Simon's problem has been proved by Cai $\&$ Qiu. Generalized Simon's problem can be described as follows. Given a function $f:{\{0, 1\}}^n \to {\{0, 1\}}^m$, with the property that there is some unknown hidden subgroup $S$ such that $f(x)=f(y)$ iff $x \oplus y\in S$, for any $x, y\in {\{0, 1\}}^n$, where $|S|=2^k$ for some $0\leq k\leq n$. The goal is to find $S$. For the case of $k=1$, it is Simon's problem. In this paper, we propose an exact quantum algorithm with $O(n-k)$ queries and an non-adaptive deterministic classical algorithm with $O(k\sqrt{2^{n-k}})$ queries for solving the generalized Simon's problem. Also, we prove that their lower bounds are $\Omega(n-k)$ and $\Omega(\sqrt{k2^{n-k}})$, respectively. Therefore, we obtain a tight exact quantum query complexity $\Theta(n-k)$ and an almost tight non-adaptive classical deterministic query complexities $\Omega(\sqrt{k2^{n-k}}) \sim O(k\sqrt{2^{n-k}})$ for this problem.


title: Conditional Sum-Product Networks: Imposing Structure on Deep Probabilistic Architectures

abstract: Probabilistic graphical models are a central tool in AI; however, they are generally not as expressive as deep neural models, and inference is notoriously hard and slow. In contrast, deep probabilistic models such as sum-product networks (SPNs) capture joint distributions in a tractable fashion, but still lack the expressive power of intractable models based on deep neural networks. Therefore, we introduce conditional SPNs (CSPNs), conditional density estimators for multivariate and potentially hybrid domains which allow harnessing the expressive power of neural networks while still maintaining tractability guarantees. One way to implement CSPNs is to use an existing SPN structure and condition its parameters on the input, e.g., via a deep neural network. This approach, however, might misrepresent the conditional independence structure present in data. Consequently, we also develop a structure-learning approach that derives both the structure and parameters of CSPNs from data. Our experimental evidence demonstrates that CSPNs are competitive with other probabilistic models and yield superior performance on multilabel image classification compared to mean field and mixture density networks. Furthermore, they can successfully be employed as building blocks for structured probabilistic models, such as autoregressive image models.


title: Gravitational wave signatures of dark matter cores in binary neutron star mergers by using numerical simulations

abstract: Recent detections by the gravitational wave facilities LIGO/Virgo have opened a window to study the internal structure of neutron stars through the gravitational waves emitted during their coalescence. In this work we explore, through numerical simulations, the gravitational radiation produced by the merger of binary neutron stars with dark matter particles trapped on their interior, focusing on distinguishable imprints produced by these dark matter cores. Our results reveal the presence of a strong m = 1 mode in the waveforms during the post-merger stage, together with other relevant features. Comparison of our results with observations might allow us to constraint the amount of dark matter in the interior of neutron star.


title: A Kalman particle filter for online parameter estimation with applications to affine models

abstract: In this paper we address the problem of estimating the posterior distribution of the static parameters of a continuous time state space model with discrete time observations by an algorithm that combines the Kalman filter and a particle filter. The proposed algorithm is semi-recursive and has a two layer structure, in which the outer layer provides the estimation of the posterior distribution of the unknown parameters and the inner layer provides the estimation of the posterior distribution of the state variables. This algorithm has a similar structure as the so-called recursive nested particle filter, but unlike the latter filter, in which both layers use a particle filter, this proposed algorithm introduces a dynamic kernel to sample the parameter particles in the outer layer to obtain a higher convergence speed. Moreover, this algorithm also implements the Kalman filter in the inner layer to reduce the computational time. This algorithm can also be used to estimate the parameters that suddenly change value. We prove that, for a state space model with a certain structure, the estimated posterior distribution of the unknown parameters and the state variables converge to the actual distribution in $L_p$ with rate of order $\mathcal{O}(N^{-\frac{1}{2}}+\delta^{\frac{1}{2}})$, where $N$ is the number of particles for the parameters in the outer layer and $\delta$ is the maximum time step between two consecutive observations. We present numerical results of the implementation of this algorithm, in particularly we implement this algorithm for affine interest models, possibly with stochastic volatility, although the algorithm can be applied to a much broader class of models.


title: Reply to Comments on Our Paper "On the Relation Between Two Approaches to Necessary Optimality Conditions in Problems with State Constraints"

abstract: We consider some critical claims concerning our above paper, and reply to these claims.


title: Completeness and Incompleteness of Synchronous Kleene Algebra

abstract: Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), was proposed by Prisacariu as a tool for reasoning about programs that may execute synchronously, i.e., in lock-step. We provide a countermodel witnessing that the axioms of SKA are incomplete w.r.t. its language semantics, by exploiting a lack of interaction between the synchronous product operator and the Kleene star. We then propose an alternative set of axioms for SKA, based on Salomaa's axiomatisation of regular languages, and show that these provide a sound and complete characterisation w.r.t. the original language semantics.


title: Breuil-Kisin modules and integral $p$-adic Hodge theory

abstract: We construct a category of Breuil-Kisin $G_K$-modules to classify integral semi-stable Galois representations. Our theory uses Breuil-Kisin modules and Breuil-Kisin-Fargues modules with Galois actions, and can be regarded as the algebraic avatar of the integral $p$-adic cohomology theories of Bhatt-Morrow-Scholze and Bhatt-Scholze. As a key ingredient, we classify Galois representations that are of finite $E(u)$-height.


title: Implementation of the SuSAv2-MEC 1p1h and 2p2h models in GENIE and analysis of nuclear effects in T2K measurements

abstract: We first present the implementation and validation of the SuSAv2-MEC 1p1h and 2p2h models in the GENIE neutrino-nucleus interaction event generator and a comparison of the subsequent predictions to measurements of lepton and hadron kinematics from the T2K experiment. These predictions are also compared to those of other available models in GENIE. We additionally compare the semi-inclusive predictions of the implemented 1p1h model to those of the microscopic model on which SuSAv2 is based - Relativistic Mean Field (RMF) - to begin to test the validity of widely-used `factorisation' assumptions employed by generators to predict hadron kinematics from inclusive input models. The results highlight that a more precise treatment of hadron kinematics in generators is essential in order to attain the few-% level uncertainty on neutrino interactions necessary for the next generation of accelerator-based long-baseline neutrino oscillation experiments.