title: Pragmatically Informative Text Generation

abstract: We improve the informativeness of models for conditional text generation using techniques from computational pragmatics. These techniques formulate language production as a game between speakers and listeners, in which a speaker should generate output text that a listener can use to correctly identify the original input that the text describes. While such approaches are widely used in cognitive science and grounded language learning, they have received less attention for more standard language generation tasks. We consider two pragmatic modeling methods for text generation: one where pragmatics is imposed by information preservation, and another where pragmatics is imposed by explicit modeling of distractors. We find that these methods improve the performance of strong existing systems for abstractive summarization and generation from structured meaning representations.


title: Off-diagonal cumulants of net-charge, net-proton and net-kaon multiplicity distributions in Au+Au collisions at $\sqrt{s_{NN}}$ = 7.7-200 GeV from STAR

abstract: Fluctuations of conserved quantities such as net-baryon, net-charge, and net-strangeness numbers have generated considerable interest in the study of the thermodynamic properties of the hot and dense QCD matter. Theoretical calculations suggest that the off-diagonal cumulants of conserved charges along with the diagonal cumulants can help better constrain the freeze-out parameters and, therefore, help to map the QCD phase diagram. In this proceeding, we briefly outline the recent STAR measurements on the second-order off-diagonal cumulants of net-charge, net-proton, and net-kaon multiplicity distributions in Au+Au collisions from the RHIC BES-I program in the energy range of $\sqrt{s_{NN}}$ = 7.7-200 GeV. The measured cumulant ratios are compared to the predictions from both thermal (HRG) and non-thermal (UrQMD) models.


title: Coordinating Large-Scale Robot Networks with Motion and Communication Uncertainties for Logistics Applications

abstract: In this paper, we focus on the problem of task allocation, cooperative path planning and motion coordination of the large-scale system with thousands of robots, aiming for practical applications in robotic warehouses and automated logistics systems. Particularly, we solve the life-long planning problem and guarantee the coordination performance of large-scale robot network in the presence of robot motion uncertainties and communication failures. A hierarchical planning and coordination structure is presented. The environment is divided into several sectors and a dynamic traffic heat-map is generated to describe the current sector-level traffic flow. In task planning level, a greedy task allocation method is implemented to assign the current task to the nearest free robot and the sector-level path is generated by comprehensively considering the traveling distance, the traffic heat-value distribution and the current robot/communication failures. In motion coordination level, local cooperative A* algorithm is implemented in each sector to generate the collision-free road-level path of each robot in the sector and the rolling planning structure is introduced to solve problems caused by motion and communication uncertainties. The effectiveness and practical applicability of the proposed approach are validated by large-scale simulations with more than one thousand robots and real laboratory experiments.


title: Criticality at finite strain rate in fluidized soft glassy materials

abstract: We study the emergence of critical dynamics in the steady shear rheology of fluidized soft glassy materials. Within a mesoscale elasto-plastic model accounting for a shear band instability, we show how an additional noise can induce a transition from phase separated to homogeneous flow, accompanied by critical-like fluctuations of the macroscopic shear rate. Both macroscopic quantities and fluctuations exhibit power law behaviors in the vicinity of this transition, consistent with previous experimental findings on vibrated granular media. Altogether, our results suggest a generic scenario for the emergence of criticality when shear weakening mechanisms compete with a fluidizing noise.


title: Neural networks-based variationally enhanced sampling

abstract: Sampling complex free energy surfaces is one of the main challenges of modern atomistic simulation methods. The presence of kinetic bottlenecks in such surfaces often renders a direct approach useless. A popular strategy is to identify a small number of key collective variables and to introduce a bias potential that is able to favor their fluctuations in order to accelerate sampling. Here we propose to use machine learning techniques in conjunction with the recent variationally enhanced sampling method [Valsson and Parrinello, Physical Review Letters 2014] to determine such potential. This is achieved by expressing the bias as a neural network. The parameters are determined in a reinforcement learning scheme aimed at minimizing the variationally enhanced sampling functional. This required the development of a new and more efficient minimization technique. The expressivity of neural networks allows accelerating sampling in systems with rapidly varying free energy surfaces, removing boundary effects artifacts, and making one more step towards being able to handle several collective variables.


title: Equation-of-state Constraints and the QCD Phase Transition in the Era of Gravitational-Wave Astronomy

abstract: We describe a multi-messenger interpretation of GW170817, which yields a robust lower limit on NS radii. This excludes NSs with radii smaller than about 10.7 km and thus rules out very soft nuclear matter. We stress the potential of this type of constraints when future detections become available. A very similar argumentation may yield an upper bound on the maximum mass of nonrotating NSs. We also discuss simulations of NS mergers, which undergo a first-order phase transition to quark matter. We point out a different dynamical behavior. Considering the gravitational-wave signal, we identify an unambiguous signature of the QCD phase transition in NS mergers. The occurrence of quark matter through a strong first-order phase transition during merging leads to a characteristic shift of the dominant postmerger frequency. The frequency shift is indicative for a phase transition if it is compared to the postmerger frequency which is expected for purely hadronic EoS models. A very strong deviation of several 100 Hz is observed for hybrid EoSs in an otherwise tight relation between the tidal deformability and the postmerger frequency. We address the potential impact of a first-order phase transition on the electromagnetic counterpart of NS mergers. Our simulations suggest that there would be no significant qualitative differences between a system undergoing a phase transition to quark matter and purely hadronic mergers. The quantitative differences are within the spread which is found between different hadronic EoS models. This implies on the one hand that GW170817 is compatible with a possible transition to quark matter. On the other hand these considerations show that it may not be easy to identify quantitative differences between purely hadronic mergers and events in which quark matter occurs considering solely their electromagnetic counterpart or their nucleosynthesis products. (abridged)


title: Group classification and symmetry reductions of a nonlinear Fokker-Planck equation based on the Sharma-Taneja-Mittal entropy

abstract: A nonlinear Fokker-Planck equation that arises in the framework of statistical mechanics based on the Sharma-Taneja-Mittal entropy is studied via Lie symmetry analysis. The equation describes kinetic processes in anomalous mediums where both super-diffusive and subdiffusive mechanisms arise contemporarily and competitively. We perform complete group classification of the equation based on two parameters that characterise the underlying Sharma-Taneja-Mittal entropy. For arbitrary values of the parameters the equation is found to admit a two-dimensional symmetry Lie algebra. We identify and catalogue all the cases in which the equation admits additional symmetries. We also perform symmetry reductions of the equation and obtain second-order ODEs that describe all essentially different invariant solutions of the Fokker-Planck equation.


title: CANU-ReID: A Conditional Adversarial Network for Unsupervised person Re-IDentification

abstract: Unsupervised person re-ID is the task of identifying people on a target data set for which the ID labels are unavailable during training. In this paper, we propose to unify two trends in unsupervised person re-ID: clustering & fine-tuning and adversarial learning. On one side, clustering groups training images into pseudo-ID labels, and uses them to fine-tune the feature extractor. On the other side, adversarial learning is used, inspired by domain adaptation, to match distributions from different domains. Since target data is distributed across different camera viewpoints, we propose to model each camera as an independent domain, and aim to learn domain-independent features. Straightforward adversarial learning yields negative transfer, we thus introduce a conditioning vector to mitigate this undesirable effect. In our framework, the centroid of the cluster to which the visual sample belongs is used as conditioning vector of our conditional adversarial network, where the vector is permutation invariant (clusters ordering does not matter) and its size is independent of the number of clusters. To our knowledge, we are the first to propose the use of conditional adversarial networks for unsupervised person re-ID. We evaluate the proposed architecture on top of two state-of-the-art clustering-based unsupervised person re-identification (re-ID) methods on four different experimental settings with three different data sets and set the new state-of-the-art performance on all four of them. Our code and model will be made publicly available at https://team.inria.fr/perception/canu-reid/.


title: Quantum states of confined hydrogen plasma species: Monte Carlo calculations

abstract: The diffusion Monte Carlo method with symmetry-based state selection is used to calculate the quantum energy states of H$_2^+$ confined into potential barriers of atomic dimensions (a model for these ions in solids). Special solutions are employed permitting one to obtain satisfactory results with rather simple native code. As a test case, $^2\Pi_u$ and $^2\Pi_g$ states of H$_2^+$ ions under spherical confinement are considered. The results are interpreted using the correlation of H$_2^+$ states to atomic orbitals of H atoms lying on the confining surface and perturbation calculations. The method is straightforwardly applied to cavities of any shape and different hydrogen plasma species (at least one-electron ones, including H) for future studies with real crystal symmetries.


title: DM-GAN: Dynamic Memory Generative Adversarial Networks for Text-to-Image Synthesis

abstract: In this paper, we focus on generating realistic images from text descriptions. Current methods first generate an initial image with rough shape and color, and then refine the initial image to a high-resolution one. Most existing text-to-image synthesis methods have two main problems. (1) These methods depend heavily on the quality of the initial images. If the initial image is not well initialized, the following processes can hardly refine the image to a satisfactory quality. (2) Each word contributes a different level of importance when depicting different image contents, however, unchanged text representation is used in existing image refinement processes. In this paper, we propose the Dynamic Memory Generative Adversarial Network (DM-GAN) to generate high-quality images. The proposed method introduces a dynamic memory module to refine fuzzy image contents, when the initial images are not well generated. A memory writing gate is designed to select the important text information based on the initial image content, which enables our method to accurately generate images from the text description. We also utilize a response gate to adaptively fuse the information read from the memories and the image features. We evaluate the DM-GAN model on the Caltech-UCSD Birds 200 dataset and the Microsoft Common Objects in Context dataset. Experimental results demonstrate that our DM-GAN model performs favorably against the state-of-the-art approaches.


title: Disaggregation for Improved Efficiency in Fog Computing Era

abstract: This paper evaluates the impact of using disaggregated servers in the near-edge of telecom networks (metro central offices, radio cell sites and enterprise branch office which form part of a Fog as a Service system) to minimize the number of fog nodes required in the far-edge of telecom networks. We formulated a mixed integer linear programming (MILP) model to this end. Our results show that replacing traditional servers with disaggregated servers in the near-edge of the telecom network can reduce the number of far-edge fog nodes required by up to 50% if access to near-edge computing resources is not limited by network bottlenecks. This improved efficiency is achieved at the cost of higher average hop count between workload sources and processing locations and marginal increases in overall metro and access networks traffic and power consumption.


title: Modeling of interactions between supernovae ejecta and aspherical circumstellar environments

abstract: Massive stars are characterized by a significant loss of mass either via spherically symmetric stellar winds or pre-explosion pulses, or by aspherical forms of circumstellar matter (CSM) such as bipolar lobes or outflowing circumstellar equatorial disks. A significant fraction of most massive stars end their lives by a core collapse; supernovae (SNe) are always located inside circumstellar envelopes created by their progenitors. We study the dynamics and thermal effects of collision between expanding ejecta of SNe and CSM that may be formed during, for example, a sgB[e] star phase, a luminous blue variable phase, around PopIII stars, or by various forms of accretion. For time-dependent hydrodynamic modeling we used our own code built with a finite volumes method. The code is highly efficient for calculations of shocks and physical flows with large discontinuities. The initial geometry of the disks corresponds to a density structure of a material that orbits in Keplerian trajectories. We examine the behavior of the density, pressure, velocity of expansion, and temperature structure in the interaction zone under various geometrical configurations of dense equatorial disks. Our `low density' model shows significant asphericity in the case of the disk mass-loss rate $\dot{M}_\text{csd}=10^{-6}\,M_\odot\,\text{yr}^{-1}$. The models also show the zones of overdensity in the SN - disk contact region and indicate the development of Kelvin-Helmholtz instabilities within the zones of shear between the disk and the more freely expanding material outside the disk.


title: Short Text Classification Improved by Feature Space Extension

abstract: With the explosive development of mobile Internet, short text has been applied extensively. The difference between classifying short text and long documents is that short text is of shortness and sparsity. Thus, it is challenging to deal with short text classification owing to its less semantic information. In this paper, we propose a novel topic-based convolutional neural network (TB-CNN) based on Latent Dirichlet Allocation (LDA) model and convolutional neural network. Comparing to traditional CNN methods, TB-CNN generates topic words with LDA model to reduce the sparseness and combines the embedding vectors of topic words and input words to extend feature space of short text. The validation results on IMDB movie review dataset show the improvement and effectiveness of TB-CNN.


title: By-passing fluctuation theorems

abstract: Fluctuation theorems impose constraints on possible work extraction probabilities in thermodynamical processes. These constraints are stronger than the usual second law, which is concerned only with average values. Here, we show that such constraints, expressed in the form of the Jarzysnki equality, can be bypassed if one allows for the use of catalysts - additional degrees of freedom that may become correlated with the system from which work is extracted, but whose reduced state remains unchanged so that they can be re-used. This violation can be achieved both for small systems but also for macroscopic many-body systems and leads to positive work extraction per particle with finite probability from macroscopic states in equilibrium. In addition to studying such violations for a single system, we also discuss the scenario in which many parties use the same catalyst to induce local transitions. We show that there exist catalytic processes that lead to highly correlated work distributions, expected to have implications for stochastic and quantum thermodynamics.


title: A new scaling MCDA procedure putting together pairwise comparison tables and the deck of cards method

abstract: This paper deals with an improved version of the deck of the cards method to render the construction of the ratio and interval scales more `accurate'. The improvement comes from the fact that we can account for a richer and finer preference information provided by the decision-makers, which permits a more accurate modelling of the strength of preference between two consecutive levels of a scale. Instead of considering only the number of blank cards between consecutive positions in the ranking of objects such as criteria and scale levels, we consider also the number of blank cards between non consecutive positions in the ranking. This information is collected in a pairwise comparison table that it is not necessarily built with precise values. We can consider also missing information and imprecise information provided in the form of ranges. Since the information provided by the decision-makers is not necessarily consistent, we propose also some procedures to help the decision-maker to make consistent his evaluations in a co-constructive way interacting with an analyst and reflecting and revising her/his judgments. The method is illustrated through and example in which, generalizing the SWING method, interacting criteria are aggregated through the Choquet integral.


title: Mechanical properties of the magnetocaloric intermetallic LaFe11.2Si1.8 alloy at different length scales

abstract: In this work the global and local mechanical properties of the magnetocaloric intermetallic LaFe11.2Si1.8 alloy are investigated by a combination of different testing and characterization techniques in order to shed light on the partly contradictory data in recent literature. Macroscale compression tests were performed to illuminate the global fracture behavior and evaluate it statistically. LaFe11.2Si1.8 demonstrates a brittle behavior with fracture strains below 0.6 % and widely distributed fracture stresses of 180-620 MPa leading to a Weibull modulus of m = 2 to 6. The local mechanical properties, such as hardness and Youngs modulus, of the main and secondary phases are examined by nanoindentation and Vickers microhardness tests. An intrinsic strength of the main magnetocaloric phase of at least 2 GPa is estimated. The significantly lower values obtained by compression tests are attributed to the detrimental effect of pores, microcracks, and secondary phases. Microscopic examination of indentation-induced cracks reveals that ductile alpha-Fe precipitates act as crack arrestors whereas pre-existing cracks at La-rich precipitates provide numerous "weak links" for the initiation of catastrophic fracture. The presented systematic study extends the understanding of the mechanical reliability of La(Fe, Si)13 alloys by revealing the correlations between the mechanical behavior of macroscopic multi-phase samples and the local mechanical properties of the single phases.


title: Colloidal Quantum Dot Tandem Solar Cells Using CVD Graphene as An Atomically Thin Intermediate Recombination Layer

abstract: Two-terminal tandem cell architectures are believed to be an effective way to further improve the power conversion efficiency in solution processed photovoltaics. To design an efficient tandem solar cell, two key issues need to be considered. Firstly, subcells with well-matched currents and complementary absorption characteristics are a prerequisite for high efficiency. Secondly identifying the appropriate intermediate layer (IML) to connect the subcells is necessary to minimize the optical and electronic losses. PbS colloidal quantum dots (CQDs) are a notable choice for the subcells due to their low cost, solution processibility and remarkable wide range band gap tunability. Single layer Graphene (Gr) has been proposed to be a promising IML due to its high transparency and conductivity. Here, as a proof of concept, we demonstrate a solution processed two terminal PbS CQDs tandem solar cell employing chemical vapor deposited Gr as the IML. In doing so, we report a PbS CQD cell comprising subcells with bandgaps of 1.4 and 0.95 eV that delivers power conversion efficiency in excess of 7%, substantially higher than previously reported CQD tandem cells.


title: Finding and Visualizing Weaknesses of Deep Reinforcement Learning Agents

abstract: As deep reinforcement learning driven by visual perception becomes more widely used there is a growing need to better understand and probe the learned agents. Understanding the decision making process and its relationship to visual inputs can be very valuable to identify problems in learned behavior. However, this topic has been relatively under-explored in the research community. In this work we present a method for synthesizing visual inputs of interest for a trained agent. Such inputs or states could be situations in which specific actions are necessary. Further, critical states in which a very high or a very low reward can be achieved are often interesting to understand the situational awareness of the system as they can correspond to risky states. To this end, we learn a generative model over the state space of the environment and use its latent space to optimize a target function for the state of interest. In our experiments we show that this method can generate insights for a variety of environments and reinforcement learning methods. We explore results in the standard Atari benchmark games as well as in an autonomous driving simulator. Based on the efficiency with which we have been able to identify behavioural weaknesses with this technique, we believe this general approach could serve as an important tool for AI safety applications.


title: Monte Carlo calculation of the potential energy surface for octahedral confined H$_2^+$

abstract: A rich literature has been produced on the quantum states of atoms and molecules confined into infinite potential wells with a specified symmetry. Apart from their interest as basic quantum systems, confined atoms and molecules are useful models for extreme high pressure states of matter, spectroscopically active defects in solid lattices and chemical species in molecular cages. A most important case is that of H$_2^+$ for which little or no results are available in the case of polyhedral confinement. The approach of the authors makes use of the Diffusion Monte Carlo (DMC) method. The advantage of this method is that previously developed codes are readily adapted to new, even complex, well geometries and nuclear positions. In this paper the potential energy surface (PES) of H$_2^+$ confined inside an octahedral well is reported for restricted D$_{4h}$ and D$_{3d}$ geometries and different well widths. The results are discussed using the concept of electron compression and the correlation with semi-confined atomic orbitals.


title: Bivariate change point detection: joint detection of changes in expectation and variance

abstract: A method for change point detection is proposed. We consider a univariate sequence of independent random variables with piecewise constant expectation and variance, apart from which the distribution may vary periodically. We aim to detect change points in both expectation and variance. For that, we propose a statistical test for the null hypothesis of no change points and an algorithm for change point detection. Both are based on a bivariate moving sum approach that jointly evaluates the mean and the empirical variance. The joint consideration helps improve inference as compared to separate univariate approaches. We infer on the strength and the type of changes with confidence. Nonparametric methodology supports the analysis of diverse data. Additionally, a multi-scale approach addresses complex patterns in change points and effects. We demonstrate the performance through theoretical results and simulation studies. A companion R-package jcp (available on CRAN) is discussed.


title: A rearrangement distance for fully-labelled trees

abstract: The problem of comparing trees representing the evolutionary histories of cancerous tumors has turned out to be crucial, since there is a variety of different methods which typically infer multiple possible trees. A departure from the widely studied setting of classical phylogenetics, where trees are leaf-labelled, tumoral trees are fully labelled, i.e., \emph{every} vertex has a label. In this paper we provide a rearrangement distance measure between two fully-labelled trees. This notion originates from two operations: one which modifies the topology of the tree, the other which permutes the labels of the vertices, hence leaving the topology unaffected. While we show that the distance between two trees in terms of each such operation alone can be decided in polynomial time, the more general notion of distance when both operations are allowed is NP-hard to decide. Despite this result, we show that it is fixed-parameter tractable, and we give a 4-approximation algorithm when one of the trees is binary.


title: Vacuum Energy at Apparent Horizon in Conventional Model of Black Holes

abstract: For a black hole of Schwarzschild radius $a$, we argue that the back-reaction of the vacuum energy-momentum tensor is in general important at the apparent horizon when the time scale of a process is larger than order $a$. In particular, in a double-shell model, we show that the ignorance of the back-reaction leads to a divergence in the outgoing vacuum energy flux. The main result of this paper is that, once the back-reaction is included, the vacuum energy density for observers on top of the trapping horizon in vacuum is given by ${\cal E} \simeq -1/2\ell_p^2 a^2$, which is of the same order of magnitude as the classical matter but opposite in sign. Remarkably, this formula is independent of both the details about the collapsing matter and the vacuum energy-momentum tensor.


title: Performance Characterization of Relaying Using Backscatter Devices

abstract: In this paper, we examine the error performance of backscatter communication in the presence of ambient interference, where the backscatter device acts as a relay. Specifically, the performance comparison of amplify-and-forward (AF) and decode-and-forward (DF) backscatter relaying is considered for the first time. Considering energy-based detection for on-off keying (OOK) modulation, we derive the statistics of the received signal power, from which the detection thresholds and corresponding bit error rates (BER) are obtained analytically. For the DF scheme, we allow the source node to transmit continuous-wave signals during the relay-to-destination transmission phase to power the backscatter relay. Under a total power budget constraint at the source, we optimize the power allocation for the transmissions in the source-to-relay and relay-to-destination phases. Numerical analysis shows that the DF scheme with optimal power allocation performs similarly compared to the AF scheme, despite the added complexity of the decoding operation. On the other hand, the AF scheme significantly outperforms the DF scheme when the reflection coefficients at the backscatter device do not correspond to perfect OOK. These results provide valuable insights into the design and deployment of backscatter nodes with the goal of improving coverage.


title: Monocular 3D Human Pose Estimation by Generation and Ordinal Ranking

abstract: Monocular 3D human-pose estimation from static images is a challenging problem, due to the curse of dimensionality and the ill-posed nature of lifting 2D-to-3D. In this paper, we propose a Deep Conditional Variational Autoencoder based model that synthesizes diverse anatomically plausible 3D-pose samples conditioned on the estimated 2D-pose. We show that CVAE-based 3D-pose sample set is consistent with the 2D-pose and helps tackling the inherent ambiguity in 2D-to-3D lifting. We propose two strategies for obtaining the final 3D pose- (a) depth-ordering/ordinal relations to score and weight-average the candidate 3D-poses, referred to as OrdinalScore, and (b) with supervision from an Oracle. We report close to state of-the-art results on two benchmark datasets using OrdinalScore, and state-of-the-art results using the Oracle. We also show that our pipeline yields competitive results without paired image-to-3D annotations. The training and evaluation code is available at https://github.com/ssfootball04/generative_pose.


title: A stable finite element method for low inertia undulatory locomotion in three dimensions

abstract: We present and analyse a numerical method for understanding the low-inertia dynamics of an open, inextensible viscoelastic rod - a long and thin three dimensional object - representing the body of a long, thin microswimmer. Our model allows for both elastic and viscous, bending and twisting deformations and describes the evolution of the midline curve of the rod as well as an orthonormal frame which fully determines the rod's three dimensional geometry. The numerical method is based on using a combination of piecewise linear and piecewise constant functions based on a novel rewriting of the model equations. We derive a stability estimate for the semi-discrete scheme and show that at the fully discrete level that we have good control over the length element and preserve the frame orthonormality conditions up to machine precision. Numerical experiments demonstrate both the good properties of the method as well as the applicability of the method for simulating undulatory locomotion in the low-inertia regime.


title: HoloGAN: Unsupervised learning of 3D representations from natural images

abstract: We propose a novel generative adversarial network (GAN) for the task of unsupervised learning of 3D representations from natural images. Most generative models rely on 2D kernels to generate images and make few assumptions about the 3D world. These models therefore tend to create blurry images or artefacts in tasks that require a strong 3D understanding, such as novel-view synthesis. HoloGAN instead learns a 3D representation of the world, and to render this representation in a realistic manner. Unlike other GANs, HoloGAN provides explicit control over the pose of generated objects through rigid-body transformations of the learnt 3D features. Our experiments show that using explicit 3D features enables HoloGAN to disentangle 3D pose and identity, which is further decomposed into shape and appearance, while still being able to generate images with similar or higher visual quality than other generative models. HoloGAN can be trained end-to-end from unlabelled 2D images only. Particularly, we do not require pose labels, 3D shapes, or multiple views of the same objects. This shows that HoloGAN is the first generative model that learns 3D representations from natural images in an entirely unsupervised manner.


title: Strong laws of large numbers for arrays of row-wise extended negatively dependent random variables

abstract: The main purpose of this paper is to obtain strong laws of large numbers for arrays or weighted sums of random variables under a scenario of dependence. Namely, for triangular arrays $\{X_{n,k}, \, 1 \leqslant k \leqslant n, \, n \geqslant 1 \}$ of row-wise extended negatively dependent random variables weakly mean dominated by a random variable $X \in \mathscr{L}_{1}$ and sequences $\{b_{n} \}$ of positive constants, conditions are given to ensure $\sum_{k=1}^{n} \left(X_{n,k} - \mathbb{E} \, X_{n,k} \right)/b_{n} \overset{\textnormal{a.s.}}{\longrightarrow} 0$. Our statements also allow us to improve recent results about complete convergence.


title: Electric field assisted amplification of magnetic fields in tilted Dirac cone systems

abstract: We show that the continuum limit of the tilted Dirac cone in materials such as $8Pmmn$-borophene and layered organic conductor $\alpha$-(BEDT-TTF)$_2$I$_3$ deformation of the Minkowski spacetime of Dirac materials. From its Killing vectors we construct an emergent tilted-Lorentz (t-Lorentz) symmetry group for such systems. With t-Lorentz transformations we are able to obtain the exact solution of the Landau bands for a crossed configuration of electric and magnetic fields. For any given tilt parameter $0\le\zeta<1$ if the ratio $\chi=v_FB_z/cE_y$ of the crossed magnetic and electric fields that satisfies $\chi\ge 1+\zeta$ one can always find appropriate t-boosts in both valleys labeled by $\pm$ in such a way the electric field can be t-boosted away, whereby the resulting pure effective magnetic field $B^\pm_z$ governs the Landau level spectrum around each valley. The effective magnetic field in one of the valleys is always larger than the applied perpendicular magnetic field. This amplification comes at the expense of of diminishing the effective field in the opposite valleyand can be detected in various quantum oscillation phenomena in tilted Dirac cone systems. Tuning the ratio of electric and magnetic fields to $\chi_{\rm min}=1+\zeta$ leads to valley selective collapse of Landau levels. Our geometric description of the tilt in Dirac systems reveals an important connection between the tilt and an incipient "rotating source" when the tilt parameter can be made to depend on spacetime in certain way.


title: On the validity of perturbative studies of the electroweak phase transition in the Two Higgs Doublet model

abstract: Making use of a dimensionally-reduced effective theory at high temperature, we perform a nonperturbative study of the electroweak phase transition in the Two Higgs Doublet model. We focus on two phenomenologically allowed points in the parameter space, carrying out dynamical lattice simulations to determine the equilibrium properties of the transition. We discuss the shortcomings of conventional perturbative approaches based on the resummed effective potential - regarding the insufficient handling of infrared resummation but also the need to account for corrections beyond 1-loop order in the presence of large scalar couplings - and demonstrate that greater accuracy can be achieved with perturbative methods within the effective theory. We find that in the presence of very large scalar couplings, strong phase transitions cannot be reliably studied with any of the methods.


title: Active Field Theories

abstract: Lecture Notes for Les Houches 2018 Summer School on Active Matter and Nonequilibrium Statistical Physics. These notes give an introduction to statistical field theories of active matter. After showing an example of how such theories can be created bottom-up by explicit coarse graining of active particle models, the main approach taken here is top-down: minimal terms are added to well-studied stochastic field theories of passive systems that break time-reversibility and thereby cause nonzero steady-state entropy production. These theories are, so far, rather poorly understood compared to their passive counterparts.


title: Electronic spin-spin decoherence contribution in molecular qubits by quantum unitary spin dynamics

abstract: The realisation of quantum computers based on molecular electronic spins requires the design of qubits with very long coherence times, T2. Dephasing can proceed over several different microscopic pathways, active at the same time and in different regimes. This makes the rationalisation of the dephasing process not straightforward. Here we present a computational methodology able to address spin decoherence processes for a general ensemble of spins. The method consists in the propagation of the unitary quantum spin dynamics on a reduced Hilbert space. Then we study the dependence of spin dephasing over the magnetic dilution for a crystal of Vanadyl-based molecular qubits. Our results show the importance of long-range electronic spin-spin interactions and their effect on the shape of the spin-echo signal.


title: Endomorphism algebras of 2-row permutation modules over characteristic 3

abstract: Given $r \in \mathbf{N},$ let $\lambda$ be a partition of $r$ with at most two parts. Let $\mathbf{F}$ be a field of characteristic 3. Write $M^\lambda$ for the $\mathbf{F}S_r$-permutation module corresponding to the action of the symmetric group $S_r$ on the cosets of the maximal Young subgroup $S_\lambda.$ We construct a full set of central primitive idempotents in $\text{End}_{\mathbf{F} S_r}(M^\lambda)$ in this case. We also determine the Young module corresponding to each primitive idempotent that we construct.


title: Point in, Box out: Beyond Counting Persons in Crowds

abstract: Modern crowd counting methods usually employ deep neural networks (DNN) to estimate crowd counts via density regression. Despite their significant improvements, the regression-based methods are incapable of providing the detection of individuals in crowds. The detection-based methods, on the other hand, have not been largely explored in recent trends of crowd counting due to the needs for expensive bounding box annotations. In this work, we instead propose a new deep detection network with only point supervision required. It can simultaneously detect the size and location of human heads and count them in crowds. We first mine useful person size information from point-level annotations and initialize the pseudo ground truth bounding boxes. An online updating scheme is introduced to refine the pseudo ground truth during training; while a locally-constrained regression loss is designed to provide additional constraints on the size of the predicted boxes in a local neighborhood. In the end, we propose a curriculum learning strategy to train the network from images of relatively accurate and easy pseudo ground truth first. Extensive experiments are conducted in both detection and counting tasks on several standard benchmarks, e.g. ShanghaiTech, UCF_CC_50, WiderFace, and TRANCOS datasets, and the results show the superiority of our method over the state-of-the-art.


title: Correlated Parameters to Accurately Measure Uncertainty in Deep Neural Networks

abstract: In this article a novel approach for training deep neural networks using Bayesian techniques is presented. The Bayesian methodology allows for an easy evaluation of model uncertainty and additionally is robust to overfitting. These are commonly the two main problems classical, i.e. non-Bayesian, architectures have to struggle with. The proposed approach applies variational inference in order to approximate the intractable posterior distribution. In particular, the variational distribution is defined as product of multiple multivariate normal distributions with tridiagonal covariance matrices. Each single normal distribution belongs either to the weights, or to the biases corresponding to one network layer. The layer-wise a posteriori variances are defined based on the corresponding expectation values and further the correlations are assumed to be identical. Therefore, only a few additional parameters need to be optimized compared to non-Bayesian settings. The novel approach is successfully evaluated on basis of the popular benchmark datasets MNIST and CIFAR-10.


title: Relationship between charge redistribution and ferromagnetism at the heterointerface between perovskite oxides LaNiO$_3$ and LaMnO$_3$

abstract: To investigate the relationship between the charge redistribution and ferromagnetism at the heterointerface between perovskite transition-metal oxides LaNiO$_3$ (LNO) and LaMnO$_3$ (LMO), we performed x-ray absorption spectroscopy and x-ray magnetic circular dichroism (XMCD) measurements. In the LNO/LMO heterostructures with asymmetric charge redistribution, the electrons donated from Mn to Ni ions are confined within one monolayer (ML) of LNO at the interface, whereas holes are distributed over 3-4 ML on the LMO side. A detailed analysis of the Ni-$L_{2,3}$ and Mn-$L_{2,3}$ XMCD spectra reveals that Ni magnetization is induced only by the Ni$^{2+}$ ions in the 1 ML LNO adjacent to the interface, while the magnetization of Mn ions is increased in the 3-4 ML LMO of the interfacial region. The characteristic length scale of the emergent (increased) interfacial ferromagnetism of the LNO (LMO) layers is in good agreement with that of the charge distribution across the interface, indicating a close relationship between the charge redistribution due to the interfacial charge transfer and the ferromagnetism of the LNO/LMO interface. Furthermore, the XMCD spectra clearly demonstrate that the vectors of induced magnetization of both ions are aligned ferromagnetically, suggesting that the delicate balance between the exchange interactions occurring inside each layer and across the interface may induce the canted ferromagnetism of Ni$^{2+}$ ions, resulting in weak magnetization in the 1 ML LNO adjacent to the interface.


title: Optimising Trotter-Suzuki Decompositions for Quantum Simulation Using Evolutionary Strategies

abstract: One of the most promising applications of near-term quantum computing is the simulation of quantum systems, a classically intractable task. Quantum simulation requires computationally expensive matrix exponentiation; Trotter-Suzuki decomposition of this exponentiation enables efficient simulation to a desired accuracy on a quantum computer. We apply the Covariance Matrix Adaptation Evolutionary Strategy (CMA-ES) algorithm to optimise the Trotter-Suzuki decompositions of a canonical quantum system, the Heisenberg Chain; we reduce simulation error by around 60%. We introduce this problem to the computational search community, show that an evolutionary optimisation approach is robust across runs and problem instances, and find that optimisation results generalise to the simulation of larger systems.


title: Polar differentiation matrices for the Laplace equation in the disk subjected to nonhomogeneous Dirichlet, Neumann and Robin boundary conditions and the biharmonic equation subjected to nonhomogeneous Dirichlet conditions

abstract: In this paper we present a pseudospectral method in the disk. Unlike the methods known until now, the disk is not duplicated. Moreover, we solve the Laplace equation subjected to nonhomogeneous Dirichlet, Neumann and Robin boundary conditions and the biharmonic equation subjected to nonhomogeneous Dirichlet conditions by only using the elements of the corresponding differentiation matrices. It is worth noting that we don not use any quadrature, do not need to solve any decoupled system of ordinary differential equations, do not use any pole condition and do not require any lifting. We solve several numerical examples showing that the spectral convergence is being met. The pseudospectral method developed in this paper can be applied to estimate Sherwood numbers integrating the mass flux to the disk and it can be easily implemented to solve Lotka-Volterra systems and nonlinear problems involving chemical reactions.


title: Sharp Hardy-Leray inequality for three-dimensional solenoidal fields with axisymmetric swirl

abstract: In this paper, we prove Hardy-Leray inequality for three-dimensional solenoidal (i.e., divergence-free) fields with the best constant. To derive the best constant, we impose the axisymmetric condition only on the swirl components. This partially complements the former work by O. Costin and V. Maz'ya \cite{Costin-Mazya} on the sharp Hardy-Leray inequality for axisymmetric divergence-free fields.


title: On asymptotic behavior of Bell polynomials and concentration of vertex degree of large random graphs

abstract: We study concentration properties of vertex degrees of $n$-dimensional Erdos-R\'enyi random graphs with the edge probability $\rho/n$ by means of high moments of these random variables in the limit when $n$ and $\rho$ tend to infinity. These moments are asymptotically close to one-variable Bell polynomials ${\cal B}_k(\rho), k\in {\bf N}$ that represent moments of the Poisson probability distribution ${\cal P}(\rho)$. We study asymptotic behavior of the Bell polynomials and modified Bell polynomials for large values of $k$ and $\rho$ with the help of the local limit theorem for auxiliary random variables. Using the results obtained, we get the upper bounds for the deviation probabilities of the normalized maximal vertex degree of the Erdos-R\'enyi random graphs in the limit $n,\rho\to\infty$ such that the ratio $\rho/\log n $ remains finite or infinitely increases.


title: Unsupervised training of a deep clustering model for multichannel blind source separation

abstract: We propose a training scheme to train neural network-based source separation algorithms from scratch when parallel clean data is unavailable. In particular, we demonstrate that an unsupervised spatial clustering algorithm is sufficient to guide the training of a deep clustering system. We argue that previous work on deep clustering requires strong supervision and elaborate on why this is a limitation. We demonstrate that (a) the single-channel deep clustering system trained according to the proposed scheme alone is able to achieve a similar performance as the multi-channel teacher in terms of word error rates and (b) initializing the spatial clustering approach with the deep clustering result yields a relative word error rate reduction of 26 % over the unsupervised teacher.


title: Looking back at Labels: A Class based Domain Adaptation Technique

abstract: In this paper, we solve the problem of adapting classifiers across domains. We consider the problem of domain adaptation for multi-class classification where we are provided a labeled set of examples in a source dataset and we are provided a target dataset with no supervision. In this setting, we propose an adversarial discriminator based approach. While the approach based on adversarial discriminator has been previously proposed; in this paper, we present an informed adversarial discriminator. Our observation relies on the analysis that shows that if the discriminator has access to all the information available including the class structure present in the source dataset, then it can guide the transformation of features of the target set of classes to a more structure adapted space. Using this formulation, we obtain state-of-the-art results for the standard evaluation on benchmark datasets. We further provide detailed analysis which shows that using all the labeled information results in an improved domain adaptation.


title: Galaxy cluster Sunyaev-Zel'dovich effect scaling-relation and type Ia supernova observations as a test for the cosmic distance duality relation

abstract: In this paper, we propose a new test to the cosmic distance duality relation (CDDR), $D_L=D_A(1+z)^2$, where $D_L$ and $D_A$ are the luminosity and angular diameter distances, respectively. The data used correspond to 61 Type Ia Supernova luminosity distances and $Y_{SZE}-Y_X$ measurements of 61 galaxy clusters obtained by the {\it Planck} mission and the deep XMM-Newton X-ray data, where $Y_{SZE}$ is the integrated comptonization parameter obtained via Sunyaev-Zel'dovich effect observations and $Y_X$ is the X-ray counterpart. More precisely, we use the $Y_{SZE}D_{A}^{2}/C_{XSZE}Y_X$ scaling-relation and a deformed CDDR, such as $D_L/D_A(1+z)^2=\eta(z)$, to verify if $\eta(z)$ is compatible with the unity. Two $\eta(z)$ functions are used, namely, $\eta(z)=1+\eta_0 z$ and $\eta(z)=1+\eta_0 z /(1+z)$. { We obtain that the CDDR validity ($\eta_0=0$) is verified within $\approx 1.5\sigma$ c.l. for both $\eta(z)$ functions.}.


title: Families of lattice polytopes of mixed degree one

abstract: It has been shown by Soprunov that the normalized mixed volume (minus one) of an $n$-tuple of $n$-dimensional lattice polytopes is a lower bound for the number of interior lattice points in the Minkowski sum of the polytopes. He defined $n$-tuples of mixed degree at most one to be exactly those for which this lower bound is attained with equality, and posed the problem of a classification of such tuples. We give a finiteness result regarding this problem in general dimension $n \geq 4$, showing that all but finitely many $n$-tuples of mixed degree at most one admit a common lattice projection onto the unimodular simplex $\Delta_{n-1}$. Furthermore, we give a complete solution in dimension $n=3$. In the course of this we show that our finiteness result does not extend to dimension $n=3$, as we describe infinite families of triples of mixed degree one not admitting a common lattice projection onto the unimodular triangle $\Delta_2$.


title: A 2D scintillator based proton detector for HRR experiments

abstract: We present a scintillator based detector able to measure both spatial and energy information at High repetition rate (HRR) with a relatively simple design. It has been built at the Center of Pulsed Laser (CLPU) in Salamanca and tested in the proton accelerator at the Centro de Micro-Analisis de Materiales (CMAM) in Madrid. The detector has been demonstrated to work in HRR mode by reproducing the performance of the radiochromic film detector. It represents a new class of on-line detectors for Laser-plasma physics experiments in the new emerging High Power and HRR laser systems.


title: Holographic inflation

abstract: We apply the holographic principle at the early universe, obtaining an inflation realization of holographic origin. Such a consideration has equal footing with its well-studied late-time application, and moreover the decrease of the horizons at early times naturally increases holographic energy density at inflationary scales. Taking as Infrared cutoff the particle or future event horizons, and adding a simple correction due to the Ultraviolet cutoff, whose role is non-negligible at the high energy scales of inflation, we result in a holographic inflation scenario that is very efficient in incorporating inflationary requirements and predictions. We first extract analytically the solution of the Hubble function in an implicit form, which gives a scale factor evolution of the desired e-foldings. Furthermore, we analytically calculate the Hubble slow-roll parameters and then the inflation-related observables, such as the scalar spectral index and its running, the tensor-to-scalar ratio, and the tensor spectral index. Confronting the predictions with Planck 2018 observations we show that the agreement is perfect and in particular deep inside the 1$\sigma$ region.


title: Realistic many-body theory of Kondo insulators: Renormalizations and fluctuations in Ce$_3$Bi$_4$Pt$_3$

abstract: Our theoretical understanding of heavy-fermion compounds mainly derives from iconic models, such as those due to Kondo or Anderson. While providing invaluable qualitative insight, detailed comparisons to experiments are encumbered by the materials' complexity, including the spin-orbit coupling, crystal fields, and ligand hybridizations. Here, we study the paradigmatic Kondo insulator Ce$_3$Bi$_4$Pt$_3$ with a first principles dynamical mean-field method that includes these complications. We find that salient signatures of many-body effects in this material---large effective masses, the insulator-to-metal crossover, the concomitant emergence of Curie-Weiss behaviour and notable transfers of optical spectral weight---are captured quantitatively. With this validation, we elucidate the fabric of the many-body state. In particular, we extent the phenomenology of the Kondo crossover to time-scales of fluctuations: We evidence that spin and charge degrees of freedom each realize two regimes in which fluctuations adhere to vastly different decay laws. We find these regimes to be separated by a {\it common} temperature $T^{max}_\chi$, linked to the onset of Kondo screening. Interestingly, below (above) $T^{max}_\chi$, valence fluctuations become faster (slower) than the dynamical screening of the local moments. Overall, however, spin and charge fluctuations occur on comparable time-scales of $\mathcal{O}(0.5-12\hbox{ fs})$, placing them on the brink of detection for modern time-resolved probes.


title: Two-neutron transfer reactions and quantum-chaos measure of nuclear spectra

abstract: A new statistical interpretation of the nuclear collective states is suggested and applied recently in rare earths and actinide nuclei by the two-neutron transfer reactions in terms of the nearest neighbor-spacing distributions (NNSDs). Experimental NNSDs were obtained by using the complete and pure sequences of the collective states through an unfolding procedure. The two-neutron transfer reactions allow to obtain such a sequence of the collective states that meets the requirements for a statistical analysis. Their theoretical analysis is based on the linear approximation of a repulsion level density within the Wigner-Dyson theory. This approximation is successful to evaluate separately the Wigner chaos and Poisson order contributions. We found an intermediate behavior of NNSDs between the Wigner and Poisson limits. NNSDs turn out to be shifted from a chaos to order with increasing the length of spectra and the angular momentum of collective states. Perspectives for the statistical analysis of the symmetry breaking of states with the fixed projection of angular momenta $K$ are discussed.


title: Anharmonic Lattice Relaxation during Non-radiative Carrier Capture

abstract: Lattice vibrations of point defects are essential for understanding non-radiative electron and hole capture in semiconductors as they govern properties including persistent photoconductivity and Shockley-Read-Hall recombination rate. Although the harmonic approximation is sufficient to describe a defect with small lattice relaxation, for cases of large lattice relaxation it is likely to break down. We describe a first-principles procedure to account for anharmonic carrier capture and apply it to the important case of the \textit{DX} center in GaAs. This is a system where the harmonic approximation grossly fails. Our treatment of the anharmonic Morse-like potentials accurately describes the observed electron capture barrier, predicting the absence of quantum tunnelling at low temperature, and a high hole capture rate that is independent of temperature. The model also explains the origin of the composition-invariant electron emission barrier. These results highlight an important shortcoming of the standard approach for describing point defect ionization that is accompanied by large lattice relaxation, where charge transfer occurs far from the equilibrium configuration.


title: On subinjectivity domains of pure-injective modules

abstract: As an alternative perspective on the injectivity of a pure-injective module, a pure-injective module M is said to be pi-indigent if its subinjectivity domain is smallest possible, namely, consisting of exactly the absolutely pure modules. A module M is called subinjective relative to a module N if for every extension K of N, every homomorphism N \to M can be extended to a homomorphism K \to M. The subinjectivity domain of the module M is defined to be the class of modules N such that M is N-subinjective. Basic properties of the subinjectivity domains of pure-injective modules and of pi-indigent modules are studied. The structure of a ring over which every pure-injective (resp. simple, uniform, indecomposable) module is injective or subinjective relative only to the smallest possible family of modules is investigated. This work is a natural continuation to recent papers that have embraced the systematic study of the subinjective and subprojective domains of modules.


title: SurFi: Detecting Surveillance Camera Looping Attacks with Wi-Fi Channel State Information (Extended Version)

abstract: The proliferation of surveillance cameras has greatly improved the physical security of many security-critical properties including buildings, stores, and homes. However, recent surveillance camera looping attacks demonstrate new security threats - adversaries can replay a seemingly benign video feed of a place of interest while trespassing or stealing valuables without getting caught. Unfortunately, such attacks are extremely difficult to detect in real-time due to cost and implementation constraints. In this paper, we propose SurFi to detect these attacks in real-time by utilizing commonly available Wi-Fi signals. In particular, we leverage that channel state information (CSI) from Wi-Fi signals also perceives human activities in the place of interest in addition to surveillance cameras. SurFi processes and correlates the live video feeds and the Wi-Fi CSI signals to detect any mismatches that would identify the presence of the surveillance camera looping attacks. SurFi does not require the deployment of additional infrastructure because Wi-Fi transceivers are easily found in the urban indoor environment. We design and implement the SurFi system and evaluate its effectiveness in detecting surveillance camera looping attacks. Our evaluation demonstrates that SurFi effectively identifies attacks with up to an attack detection accuracy of 98.8% and 0.1% false positive rate


title: Generation of time-frequency grid state with integrated biphoton frequency combs

abstract: Encoding quantum information in continuous variables is intrinsically faulty. Nevertheless, redundant qubits can be used for error correction, as proposed by Gottesman, Kitaev and Preskill in Phys. Rev. A \textbf{64} 012310, (2001). We show how to experimentally implement this encoding using time-frequency continuous degrees of freedom of photon pairs produced by spontaneous parametric down conversion. We experimentally illustrate our results using an integrated AlGaAs photon pairs source. We show how single qubit gates can be implemented and finally propose a theoretical scheme for correcting errors in a circuit-like and in a measurement-based architecture.


title: Building an Efficient Intrusion Detection System Based on Feature Selection and Ensemble Classifier

abstract: Intrusion detection system (IDS) is one of extensively used techniques in a network topology to safeguard the integrity and availability of sensitive assets in the protected systems. Although many supervised and unsupervised learning approaches from the field of machine learning have been used to increase the efficacy of IDSs, it is still a problem for existing intrusion detection algorithms to achieve good performance. First, lots of redundant and irrelevant data in high-dimensional datasets interfere with the classification process of an IDS. Second, an individual classifier may not perform well in the detection of each type of attacks. Third, many models are built for stale datasets, making them less adaptable for novel attacks. Thus, we propose a new intrusion detection framework in this paper, and this framework is based on the feature selection and ensemble learning techniques. In the first step, a heuristic algorithm called CFS-BA is proposed for dimensionality reduction, which selects the optimal subset based on the correlation between features. Then, we introduce an ensemble approach that combines C4.5, Random Forest (RF), and Forest by Penalizing Attributes (Forest PA) algorithms. Finally, voting technique is used to combine the probability distributions of the base learners for attack recognition. The experimental results, using NSL-KDD, AWID, and CIC-IDS2017 datasets, reveal that the proposed CFS-BA-Ensemble method is able to exhibit better performance than other related and state of the art approaches under several metrics.


title: Verification and Validation of Semantic Annotations

abstract: In this paper, we propose a framework to perform verification and validation of semantically annotated data. The annotations, extracted from websites, are verified against the schema.org vocabulary and Domain Specifications to ensure the syntactic correctness and completeness of the annotations. The Domain Specifications allow checking the compliance of annotations against corresponding domain-specific constraints. The validation mechanism will detect errors and inconsistencies between the content of the analyzed schema.org annotations and the content of the web pages where the annotations were found.


title: Constraining the properties of neutron-star matter with observations

abstract: In this conference-proceedings contribution, we review recent advances in placing model-independent constraints on the properties of cold and dense QCD matter inside neutron stars. In addition to introducing new bounds for the Equation of State, we explain how these results may be used to make robust statements about the physical phase of strongly interacting matter in the centers of neutron stars of different masses. Our findings indicate that the existence of quark-matter cores inside massive neutron stars appears to be a very common feature of the allowed Equations of State, and should not be considered an exotic or unlikely scenario.


title: FCOS: Fully Convolutional One-Stage Object Detection

abstract: We propose a fully convolutional one-stage object detector (FCOS) to solve object detection in a per-pixel prediction fashion, analogue to semantic segmentation. Almost all state-of-the-art object detectors such as RetinaNet, SSD, YOLOv3, and Faster R-CNN rely on pre-defined anchor boxes. In contrast, our proposed detector FCOS is anchor box free, as well as proposal free. By eliminating the predefined set of anchor boxes, FCOS completely avoids the complicated computation related to anchor boxes such as calculating overlapping during training. More importantly, we also avoid all hyper-parameters related to anchor boxes, which are often very sensitive to the final detection performance. With the only post-processing non-maximum suppression (NMS), FCOS with ResNeXt-64x4d-101 achieves 44.7% in AP with single-model and single-scale testing, surpassing previous one-stage detectors with the advantage of being much simpler. For the first time, we demonstrate a much simpler and flexible detection framework achieving improved detection accuracy. We hope that the proposed FCOS framework can serve as a simple and strong alternative for many other instance-level tasks. Code is available at:Code is available at: https://tinyurl.com/FCOSv1


title: Aiding Intra-Text Representations with Visual Context for Multimodal Named Entity Recognition

abstract: With massive explosion of social media such as Twitter and Instagram, people daily share billions of multimedia posts, containing images and text. Typically, text in these posts is short, informal and noisy, leading to ambiguities which can be resolved using images. In this paper we explore text-centric Named Entity Recognition task on these multimedia posts. We propose an end to end model which learns a joint representation of a text and an image. Our model extends multi-dimensional self attention technique, where now image helps to enhance relationship between words. Experiments show that our model is capable of capturing both textual and visual contexts with greater accuracy, achieving state-of-the-art results on Twitter multimodal Named Entity Recognition dataset.


title: Fast Bayesian Restoration of Poisson Corrupted Images with INLA

abstract: Photon-limited images are often seen in fields such as medical imaging. Although the number of collected photons on an image sensor statistically follows Poisson distribution, this type of noise is intractable, unlike Gaussian noise. In this study, we propose a Bayesian restoration method of Poisson corrupted image using Integrated Nested Laplace Approximation (INLA), which is a computational method to evaluate marginalized posterior distributions of latent Gaussian models (LGMs). When the original image can be regarded as ICAR (intrinsic conditional auto-regressive) model reasonably, our method performs very faster than well-known ones such as loopy belief propagation-based method and Markov chain Monte Carlo (MCMC) without decreasing the accuracy.


title: Asymmetric function theory

abstract: The classical theory of symmetric functions has a central position in algebraic combinatorics, bridging aspects of representation theory, combinatorics, and enumerative geometry. More recently, this theory has been fruitfully extended to the larger ring of quasisymmetric functions, with corresponding applications. Here, we survey recent work extending this theory further to general asymmetric polynomials.


title: On the Homogenization of the Hamilton-Jacobi Equation

abstract: In this article we describe how the celebrated result by Lions, Papanicolau and Varadhan on the Homogenization of Hamilton-Jacobi equation can be extended beyond the Euclidean setting. More specifically, we show how to obtain a homogenization result in the case of Hamiltonians that are invariant under the action of a discrete (virtually) nilpotent group (i.e., with polynomial growth), following ideas of M. Gromov [18] and P. Pansu [28].


title: Melting transitions in biomembranes

abstract: We investigated melting transitions in biological membranes in their native state that include their membrane proteins. These membranes originated from \textit{E. coli}, \textit{B. subtilis}, lung surfactant and nerve tissue from the spinal cord of several mammals. For some preparations, we studied the pressure, pH and ionic strength dependence of the transition. For porcine spine, we compared the transition of the native membrane to that of the extracted lipids. All preparations displayed melting transitions of 10-20 degrees below physiological or growth temperature, independent of the organism of origin and the respective cell type. The position of transitions in \textit{E. coli} membranes depends on the growth temperature. We discuss these findings in the context of the thermodynamic theory of membrane fluctuations that leads to largely altered elastic constants, an increase in fluctuation lifetime and in membrane permeability associated with the transitions. We also discuss how to distinguish lipid transitions from protein unfolding transitions. Since the feature of a transition slightly below physiological temperature is conserved even when growth conditions change, we conclude that the transitions are likely to be of major biological importance for the survival and the function of the cell.


title: An Algorithmic Theory of Integer Programming

abstract: We study the general integer programming problem where the number of variables $n$ is a variable part of the input. We consider two natural parameters of the constraint matrix $A$: its numeric measure $a$ and its sparsity measure $d$. We show that integer programming can be solved in time $g(a,d)\textrm{poly}(n,L)$, where $g$ is some computable function of the parameters $a$ and $d$, and $L$ is the binary encoding length of the input. In particular, integer programming is fixed-parameter tractable parameterized by $a$ and $d$, and is solvable in polynomial time for every fixed $a$ and $d$. Our results also extend to nonlinear separable convex objective functions. Moreover, for linear objectives, we derive a strongly-polynomial algorithm, that is, with running time $g(a,d)\textrm{poly}(n)$, independent of the rest of the input data. We obtain these results by developing an algorithmic framework based on the idea of iterative augmentation: starting from an initial feasible solution, we show how to quickly find augmenting steps which rapidly converge to an optimum. A central notion in this framework is the Graver basis of the matrix $A$, which constitutes a set of fundamental augmenting steps. The iterative augmentation idea is then enhanced via the use of other techniques such as new and improved bounds on the Graver basis, rapid solution of integer programs with bounded variables, proximity theorems and a new proximity-scaling algorithm, the notion of a reduced objective function, and others. As a consequence of our work, we advance the state of the art of solving block-structured integer programs. In particular, we develop near-linear time algorithms for $n$-fold, tree-fold, and $2$-stage stochastic integer programs. We also discuss some of the many applications of these classes.


title: New relations and separations of conjectures about incompleteness in the finite domain

abstract: Our main results are in the following three sections: 1. We prove new relations between proof complexity conjectures that are discussed in \cite{pu18}. 2. We investigate the existence of p-optimal proof systems for $\mathsf{TAUT}$, assuming the collapse of $\cal C$ and $\sf N{\cal C}$ (the nondeterministic version of $\cal C$) for some new classes $\cal C$ and also prove new conditional independence results for strong theories, assuming nonexistence of p-optimal proof systems. 3. We construct two new oracles ${\cal V}$ and ${\cal W}$. These two oracles imply several new separations of proof complexity conjectures in relativized worlds. Among them, we prove that existence of a p-optimal proof system for $\mathsf{TAUT}$ and existence of a complete problem for $\mathsf{TFNP}$ are independent of each other in relativized worlds which was not known before.


title: Force on proton vortices in superfluid neutron stars

abstract: Force on proton vortices in superfluid and superconducting matter of neutron stars is calculated at vanishing stellar temperature. Both longitudinal (dissipative) and transverse (Lorentz-type) components of the force are derived in a coherent way and compared in detail with the corresponding expressions available in the literature. This allows us to resolve a controversy about the form of the Lorentz-type force component acting on proton vortices. The calculated force is a key ingredient in magnetohydrodynamics of superconducting neutron stars and is important for modeling the evolution of stellar magnetic field.


title: Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions

abstract: The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental quantum propositions might have various semantics. E.g., it might have either a total semantics, or a partial semantics (in which the valuation relation -- i.e., a mapping from the set of atomic propositions to the set of two objects, 1 and 0 -- is not total), or a many-valued semantics (in which the gap between 1 and 0 is completed with truth degrees). Consequently, closed linear subspaces of the Hilbert space representing experimental quantum propositions may be organized differently. For instance, they could be organized in the structure of a Hilbert lattice (or its generalizations) identified with the bivalent semantics of quantum logic or in a structure identified with a non-bivalent semantics. On the other hand, one can only verify -- at the same time -- propositions represented by the closed linear subspaces corresponding to mutually commuting projection operators. This implies that to decide which semantics is proper -- bivalent or non-bivalent -- is not possible experimentally. Nevertheless, the latter allows simplification of certain no-go theorems in the foundation of quantum mechanics. In the present paper, the Kochen-Specker theorem asserting the impossibility to interpret, within the orthodox quantum formalism, projection operators as definite {0,1}-valued (pre-existent) properties, is taken as an example. The paper demonstrates that within the algebraic structure identified with supervaluationism (the form of a partial, non-bivalent semantics), the statement of this theorem gets deduced trivially.


title: Imaging the AGN Torus in Cygnus

abstract: We present the first direct imaging of what may be the thick torus in the active galactic nucleus (AGN) of the archetype powerful radio galaxy Cygnus A, using the Jansky Very Large Array (VLA) at 18 GHz to 48 GHz, with a resolution down to 45 mas. Such a torus has long been a key component of AGN models, but direct imaging on the relevant physical scales in sources of extreme (quasar-like) luminosities, remains scarce. An elongated structure, perpendicular to the radio jets and centered on the core, is well resolved, with a full length of $0.48"$ (528 pc), and a full width of $0.26"$ (286 pc). The radio emission spectrum is consistent with optically thin free-free emission. We present a toy model of a flaring torus, with a half-opening angle for the poloidal region of $62^o$. The radio jets are oriented along the poles. The observations require a clumpy gas distribution, with the free-free emission dominated by clumps with densities $\ge 4000$ cm$^{-3}$


title: Fluctuations and clustering of multiplicity in collisions of relativistic ions

abstract: We discuss the recently measured event-by-event multiplicity fluctuations in relativistic heavy-ion collisions. It is shown that the observed non-monotonic behaviour of the scaled variance of multiplicity distribution as a function of collision centrality (such effect is not observed in a widely used string-hadronic models of nuclear collisions) can be fully explained by the correlations between produced particles promoting cluster formation. We define a cluster as a quasi-neutral gas of charged and neutral particles which exhibits collective behaviour. The characteristic space scale of this shielding is the Debye length. Multiplicity distribution in a cluster is given by Negative Binomial distribution while the rest (reservoir), treated as a superposition of elementary collisions, is described by Binomial distribution. The ability to generate spatial structures (cluster phase) sign the propensity to self-organize of hadronic matter.


title: Why ResNet Works? Residuals Generalize

abstract: Residual connections significantly boost the performance of deep neural networks. However, there are few theoretical results that address the influence of residuals on the hypothesis complexity and the generalization ability of deep neural networks. This paper studies the influence of residual connections on the hypothesis complexity of the neural network in terms of the covering number of its hypothesis space. We prove that the upper bound of the covering number is the same as chain-like neural networks, if the total numbers of the weight matrices and nonlinearities are fixed, no matter whether they are in the residuals or not. This result demonstrates that residual connections may not increase the hypothesis complexity of the neural network compared with the chain-like counterpart. Based on the upper bound of the covering number, we then obtain an $\mathcal O(1 / \sqrt{N})$ margin-based multi-class generalization bound for ResNet, as an exemplary case of any deep neural network with residual connections. Generalization guarantees for similar state-of-the-art neural network architectures, such as DenseNet and ResNeXt, are straight-forward. From our generalization bound, a practical implementation is summarized: to approach a good generalization ability, we need to use regularization terms to control the magnitude of the norms of weight matrices not to increase too much, which justifies the standard technique of weight decay.


title: Consensus and Flocking under Communication Failures for a Class of Cucker-Smale Systems

abstract: In this paper, we study sufficient conditions for the emergence of asymptotic consensus and flocking in a certain class of non-linear generalised Cucker-Smale systems subject to multiplicative communication failures. Our approach is based on the combination of strict Lyapunov design together with the formulation of a suitable persistence condition for multi-agent systems. The latter can be interpreted as a lower bound on the algebraic connectivity of the time-average of the interaction graph generated by the communication weights, and provides quantitative decay estimates for the variance functional along the solutions of the system.


title: Cluster tilting modules for mesh algebras

abstract: We study cluster tilting modules in mesh algebras of Dynkin type, providing a new proof for their existence. In all but one case, we show that these are precisely the maximal rigid modules, and that they are equivariant for a certain automorphism. We further study their mutation, providing an example of mutation in an abelian category which is not stably 2-Calabi-Yau, and explicitly describe the combinatorics.


title: On decay of entropy solutions to multidimensional conservation laws

abstract: Under a precise genuine nonlinearity assumption we establish the decay of entropy solutions of a multidimensional scalar conservation law with merely continuous flux.


title: Beyond Labeling: Using Clustering to Build Network Behavioral Profiles of Malware Families

abstract: Malware family labels are known to be inconsistent. They are also black-box since they do not represent the capabilities of malware. The current state-of-the-art in malware capability assessment include mostly manual approaches, which are infeasible due to the ever-increasing volume of discovered malware samples. We propose a novel unsupervised machine learning-based method called MalPaCA, which automates capability assessment by clustering the temporal behavior in malware's network traces. MalPaCA provides meaningful behavioral clusters using only 20 packet headers. Behavioral profiles are generated based on the cluster membership of malware's network traces. A Directed Acyclic Graph shows the relationship between malwares according to their overlapping behaviors. The behavioral profiles together with the DAG provide more insightful characterization of malware than current family designations. We also propose a visualization-based evaluation method for the obtained clusters to assist practitioners in understanding the clustering results. We apply MalPaCA on a financial malware dataset collected in the wild that comprises of 1.1k malware samples resulting in 3.6M packets. Our experiments show that (i) MalPaCA successfully identifies capabilities, such as port scans and reuse of Command and Control servers; (ii) It uncovers multiple discrepancies between behavioral clusters and malware family labels; and (iii) It demonstrates the effectiveness of clustering traces using temporal features by producing an error rate of 8.3%, compared to 57.5% obtained from statistical features.


title: Global local covers

abstract: This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups.


title: The UV spectral slope beta and stellar population of most active star-forming galaxies at z~4

abstract: We investigate the stellar population of star-forming galaxies at $z \sim 4$ by focusing on their slope of rest-frame ultraviolet (UV) continuum, $\beta$ where $f_{\lambda} \propto \lambda^{\beta}$. We investigate the sample of bright Lyman Break Galaxies (LBGs) with $i' \leq 26.0$ in the Subaru/XMM-Newton Deep Survey field by using the SED fitting analysis. We find that the apparently redder ($\beta_{\mathrm{obs}} > -1.73$) LBGs tend to be dusty ($\mathrm{Av} > 1.0$), have the young stellar population ($\beta_{\mathrm{int}} < -2.42$), and the intrinsically active star-forming galaxies (SFR $\gtrsim$ a few $\times 10^{2}$ $\mathrm{M_{\odot}} \mathrm{yr^{-1}}$). It means that a significant fraction of the UV-selected LBGs at $z \sim 4$ is on-going active and dust obscured star-forming galaxies. We compare the IR to UV luminosity ratio assuming the dust attenuation laws with the sub-millimeter observations from previous works. The result suggests that the Calzetti-like dust attenuation law is preferable for the active and dusty star-forming LBGs at $z = 4$. We also find that an extrapolation of the $\beta_{\mathrm{int}}$-$M_{\mathrm{UV,int}}$ relation toward the fainter magnitude range below our sample magnitude limit intersects the $\beta_{\mathrm{obs}}$-$M_{\mathrm{UV,obs}}$ relation previously obtained in the deeper narrow-area observations at $M_{\mathrm{UV}} = -18.9$ and $\beta = -1.94$, which coincides with the break point of $\beta_{\mathrm{obs}}$-$M_{\mathrm{UV,obs}}$ relation observed so far. The coincidence suggest that we see the almost dust-free population at $M_{\mathrm{UV,obs}} \gtrsim -18.9$.


title: The N-flagella problem: Elastohydrodynamic motility transition of multi-flagellated bacteria

abstract: Peritrichous bacteria such as Escherichia coli swim in viscous fluids by forming a helical bundle of flagellar filaments. The filaments are spatially distributed around the cell body to which they are connected via a flexible hook. To understand how the swimming direction of the cell is determined, we theoretically investigate the elastohydrodynamic motility problem of a multi-flagellated bacterium. Specifically, we consider a spherical cell body with a number N of flagella which are initially symmetrically arranged in a plane in order to provide an equilibrium state. We analytically solve the linear stability problem and find that at most 6 modes can be unstable and that these correspond to the degrees of freedom for the rigid-body motion of the cell body. Although there exists a rotation-dominated mode that generates negligible locomotion, we show that for the typical morphological parameters of bacteria the most unstable mode results in linear swimming in one direction accompanied by rotation around the same axis, as observed experimentally.


title: A Holistic Representation Guided Attention Network for Scene Text Recognition

abstract: Reading irregular scene text of arbitrary shape in natural images is still a challenging problem, despite the progress made recently. Many existing approaches incorporate sophisticated network structures to handle various shapes, use extra annotations for stronger supervision, or employ hard-to-train recurrent neural networks for sequence modeling. In this work, we propose a simple yet strong approach for scene text recognition. With no need to convert input images to sequence representations, we directly connect two-dimensional CNN features to an attention-based sequence decoder which guided by holistic representation. The holistic representation can guide the attention-based decoder focus on more accurate area. As no recurrent module is adopted, our model can be trained in parallel. It achieves 1.5x to 9.4x acceleration to backward pass and 1.3x to 7.9x acceleration to forward pass, compared with the RNN counterparts. The proposed model is trained with only word-level annotations. With this simple design, our method achieves state-of-the-art or competitive recognition performance on the evaluated regular and irregular scene text benchmark datasets.


title: Easy Transfer Learning By Exploiting Intra-domain Structures

abstract: Transfer learning aims at transferring knowledge from a well-labeled domain to a similar but different domain with limited or no labels. Unfortunately, existing learning-based methods often involve intensive model selection and hyperparameter tuning to obtain good results. Moreover, cross-validation is not possible for tuning hyperparameters since there are often no labels in the target domain. This would restrict wide applicability of transfer learning especially in computationally-constraint devices such as wearables. In this paper, we propose a practically Easy Transfer Learning (EasyTL) approach which requires no model selection and hyperparameter tuning, while achieving competitive performance. By exploiting intra-domain structures, EasyTL is able to learn both non-parametric transfer features and classifiers. Extensive experiments demonstrate that, compared to state-of-the-art traditional and deep methods, EasyTL satisfies the Occam's Razor principle: it is extremely easy to implement and use while achieving comparable or better performance in classification accuracy and much better computational efficiency. Additionally, it is shown that EasyTL can increase the performance of existing transfer feature learning methods.


title: Large Earthquake Prediction Methods on the Base of INFREP VLF / LF Data

abstract: In the presented paper the possible methods of the large earthquake prediction are offered. During the study, it was used data of the INFREP (European Network of Electromagnetic Radiation) existent before earthquake. The elaborated methods given in the work are capable of simultaneous determination of all three parameters necessary for large earthquake prediction (magnitude, epicenter and time of occurring) with certain accuracy.


title: An Adapted Geographically Weighted Lasso(Ada-GWL) model for estimating metro ridership

abstract: Ridership estimation at station level plays a critical role in metro transportation planning. Among various existing ridership estimation methods, direct demand model has been recognized as an effective approach. However, existing direct demand models including Geographically Weighted Regression (GWR) have rarely included local model selection in ridership estimation. In practice, acquiring insights into metro ridership under multiple influencing factors from a local perspective is important for passenger volume management and transportation planning operations adapting to local conditions. In this study, we propose an Adapted Geographically Weighted Lasso (Ada-GWL) framework for modelling metro ridership, which performs regression-coefficient shrinkage and local model selection. It takes metro network connection intermedia into account and adopts network-based distance metric instead of Euclidean-based distance metric, making it so-called adapted to the context of metro networks. The real-world case of Shenzhen Metro is used to validate the superiority of our proposed model. The results show that the Ada-GWL model performs the best compared with the global model (Ordinary Least Square (OLS), GWR, GWR calibrated with network-based distance metric and GWL in terms of estimation error of the dependent variable and goodness-of-fit. Through understanding the variation of each coefficient across space (elasticities) and variables selection of each station, it provides more realistic conclusions based on local analysis. Besides, through clustering analysis of the stations according to the regression coefficients, clusters' functional characteristics are found to be in compliance with the facts of the functional land use policy of Shenzhen. These results of the proposed Ada-GWL model demonstrate a great spatial explanatory power in transportation planning.


title: Direct evidence for efficient ultrafast charge separation in epitaxial WS$_2$/graphene heterostructure

abstract: We use time- and angle-resolved photoemission spectroscopy (tr-ARPES) to investigate ultrafast charge transfer in an epitaxial heterostructure made of monolayer WS$_2$ and graphene. This heterostructure combines the benefits of a direct gap semiconductor with strong spin-orbit coupling and strong light-matter interaction with those of a semimetal hosting massless carriers with extremely high mobility and long spin lifetimes. We find that, after photoexcitation at resonance to the A-exciton in WS$_2$, the photoexcited holes rapidly transfer into the graphene layer while the photoexcited electrons remain in the WS$_2$ layer. The resulting charge transfer state is found to have a lifetime of $\sim1$\,ps. We attribute our findings to differences in scattering phase space caused by the relative alignment of WS$_2$ and graphene bands as revealed by high resolution ARPES. In combination with spin-selective excitation using circularly polarized light the investigated WS$_2$/graphene heterostructure might provide a new platform for efficient optical spin injection into graphene.


title: Injection locking and parametric locking in a superconducting circuit

abstract: When a signal is injected in a parametric oscillator close enough to its resonance, the oscillator frequency and phase get locked to those of the injected signal. Here, we demonstrate two frequency locking schemes using a Josephson mixer in the parametric down-conversion regime, pumped beyond the parametric oscillation threshold. The circuit then emits radiation out of two spectraly and spatially separated resonators at frequencies determined by the locking schemes that we choose. When we inject the signal close to a resonance, it locks the oscillator emission to the signal frequency by injection locking. When we inject the signal close to the difference of resonances, it locks the oscillator emission by parametric locking. We compare both schemes and investigate the dependence of the parametric locking range on the pump and the injection signal power. Our results can be interpreted using Adler's theory for lasers, which makes a new link between laser physics and superconducting circuits that could enable better understanding of pumped circuits for quantum information applications such as error correction, circulators and photon number detectors.


title: The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints

abstract: It is known that 2-state binary and 3-state unary probabilistic finite automata and 2-state unary quantum finite automata recognize uncountably many languages with cutpoints. These results have been obtained by associating each recognized language with a cutpoint and then by using the fact that there are uncountably many cutpoints. In this note, we prove the same results for fixed cutpoints: each recognized language is associated with an automaton (i.e., algorithm), and the proofs use the fact that there are uncountably many automata. For each case, we present a new construction.


title: Effective Aesthetics Prediction with Multi-level Spatially Pooled Features

abstract: We propose an effective deep learning approach to aesthetics quality assessment that relies on a new type of pre-trained features, and apply it to the AVA data set, the currently largest aesthetics database. While previous approaches miss some of the information in the original images, due to taking small crops, down-scaling or warping the originals during training, we propose the first method that efficiently supports full resolution images as an input, and can be trained on variable input sizes. This allows us to significantly improve upon the state of the art, increasing the Spearman rank-order correlation coefficient (SRCC) of ground-truth mean opinion scores (MOS) from the existing best reported of 0.612 to 0.756. To achieve this performance, we extract multi-level spatially pooled (MLSP) features from all convolutional blocks of a pre-trained InceptionResNet-v2 network, and train a custom shallow Convolutional Neural Network (CNN) architecture on these new features.


title: Can we trust Bayesian uncertainty quantification from Gaussian process priors with squared exponential covariance kernel?

abstract: We investigate the frequentist coverage properties of credible sets resulting in from Gaussian process priors with squared exponential covariance kernel. First we show that by selecting the scaling hyper-parameter using the maximum marginal likelihood estimator in the (slightly modified) squared exponential covariance kernel the corresponding credible sets will provide overconfident, misleading uncertainty statements for a large, representative subclass of the functional parameters in context of the Gaussian white noise model. Then we show that by either blowing up the credible sets with a logarithmic factor or modifying the maximum marginal likelihood estimator with a logarithmic term one can get reliable uncertainty statement and adaptive size of the credible sets under some additional restriction. Finally we demonstrate on a numerical study that the derived negative and positive results extend beyond the Gaussian white noise model to the nonparametric regression and classification models for small sample sizes as well.


title: The weight complex functor is symmetric monoidal

abstract: Bondarko's (strong) weight complex functor is a triangulated functor from Voevodsky's triangulated category of motives to the homotopy category of chain complexes of classical Chow motives. Its construction is valid for any dg enhanced triangulated category equipped with a weight structure. In this paper we consider weight complex functors in the setting of stable symmetric monoidal $\infty$-categories. We prove that the weight complex functor is symmetric monoidal under a natural compatibility assumption. To prove this result, we develop additive and stable symmetric monoidal variants of the $\infty$-categorical Yoneda embedding, which may be of independent interest.


title: UAFS: Uncertainty-Aware Feature Selection for Problems with Missing Data

abstract: Missing data are a concern in many real world data sets and imputation methods are often needed to estimate the values of missing data, but data sets with excessive missingness and high dimensionality challenge most approaches to imputation. Here we show that appropriate feature selection can be an effective preprocessing step for imputation, allowing for more accurate imputation and subsequent model predictions. The key feature of this preprocessing is that it incorporates uncertainty: by accounting for uncertainty due to missingness when selecting features we can reduce the degree of missingness while also limiting the number of uninformative features being used to make predictive models. We introduce a method to perform uncertainty-aware feature selection (UAFS), provide a theoretical motivation, and test UAFS on both real and synthetic problems, demonstrating that across a variety of data sets and levels of missingness we can improve the accuracy of imputations. Improved imputation due to UAFS also results in improved prediction accuracy when performing supervised learning using these imputed data sets. Our UAFS method is general and can be fruitfully coupled with a variety of imputation methods.


title: Universal trade-off relation between coherence and intrinsic concurrence for two-qubit states

abstract: Entanglement and coherence are two essential quantum resources for quantum information processing. A natural question arises of whether there are direct link between them. And by thinking about this question, we propose a new measure for quantum state that contains concurrence and is called intrinsic concurrence. Interestingly, we discover that the intrinsic concurrence is always complementary to coherence. Note that the intrinsic concurrence is related to the concurrence of a special pure state ensemble. In order to explain the trade-off relation more intuitively, we apply it in some composite systems composed by a single-qubit state coupling four typical noise channels with the aim at illustrating their mutual transformation relationship between their coherence and intrinsic concurrence. This unified trade-off relation will provide more flexibility in exploiting one resource to perform quantum tasks and also provide credible theoretical basis for the interconversion of the two important quantum resources.


title: Anatomy of Cosmic Tidal Reconstruction

abstract: 21-cm intensity surveys aim to map neutral hydrogen atoms in the universe through hyper-fine emission. Unfortunately, long-wavelength (low-wavenumber) radial modes are highly contaminated by smooth astrophysical foregrounds that are six orders of magnitude brighter than the cosmological signal. This contamination also leaks into higher radial and angular wavenumber modes and forms a foreground wedge. Cosmic tidal reconstruction aims to extract the large-scale signal from anisotropic features in the local small-scale power spectrum through non-linear tidal interactions; losing small-scale modes to foreground wedge will impair its performance. In this paper, we review tidal interaction theory and estimator construction, and derive the theoretical expressions for the reconstructed spectra. We show the reconstruction is robust against peculiar velocities. Removing low line-of-sight $k$ modes, we demonstrate cross-correlation coefficient $r$ is greater than 0.7 on large scales ($k <0.1$ $h/$Mpc) even with a cutoff value $k^c_{\|}=0.1$ $h/$Mpc. Discarding wedge modes yields $0.3< r < 0.5$ and completely removes the dependency on $k^c_{\|}$. Our theoretical predictions agree with these numerical simulations.


title: Complete Abstractions for Checking Language Inclusion

abstract: We study the language inclusion problem $L_1 \subseteq L_2$ where $L_1$ is regular or context-free. Our approach relies on abstract interpretation and checks whether an overapproximating abstraction of $L_1$, obtained by overapproximating the Kleene iterates of its least fixpoint characterization, is included in $L_2$. We show that a language inclusion problem is decidable whenever this overapproximating abstraction satisfies a completeness condition (i.e., its loss of precision causes no false alarm) and prevents infinite ascending chains (i.e., it guarantees termination of least fixpoint computations). This overapproximating abstraction of languages can be defined using quasiorder relations on words, where the abstraction gives the language of all the words "greater than or equal to" a given input word for that quasiorder. We put forward a range of such quasiorders that allow us to systematically design decision procedures for different language inclusion problems such as regular languages into regular languages or into trace sets of one-counter nets, and context-free languages into regular languages. In the case of inclusion between regular languages, some of the induced inclusion checking procedures correspond to well-known state-of-the-art algorithms like the so-called antichain algorithms. Finally, we provide an equivalent language inclusion checking algorithm based on a greatest fixpoint computation that relies on quotients of languages and, to the best of our knowledge, was not previously known.