abstract: Two constructive proofs on d-majorization and thermo-majorization are provided. In the first part, we present a diagrammatic proof of the equivalence between d-majorization and the existence of a proper stochastic matrix. We explicitly construct the desired stochastic matrix by using a graphical argument. In the second part, we present a constructive proof of the equivalence between the Gibbs-preserving map and thermal operation in classical systems. We construct the desired thermal operation and a heat bath which emulates any Gibbs-preserving map with an arbitrary accuracy.


title: Transverse Mode Instability

abstract: This work presents a review on the effect of transverse mode instability in high-power fiber laser systems and the corresponding investigations led worldwide over the last decade. This manuscript includes the description of the experimental observations, the physical origin of this effect, as well as some of the proposed mitigation strategies.


title: Real-World Textured Things: a Repository of Textured Models Generated with Modern Photo-Reconstruction Tools

abstract: We are witnessing a proliferation of textured 3D models captured from the real world with automatic photo-reconstruction tools. Digital 3D models of this class come with a unique set of characteristics and defects -- especially concerning their parametrization -- setting them starkly apart from 3D models originating from other, more traditional, sources. We study this class of 3D models by collecting a significant number of representatives and quantitatively evaluating their quality according to several metrics. These include a new invariant metric we design to assess the fragmentation of the UV map, one of the main weaknesses hindering the usability of these models. Our results back the widely shared notion that such models are not fit for direct use in downstream applications (such as videogames), and require challenging processing steps. Regrettably, existing automatic geometry processing tools are not always up to the task: for example, we verify that available tools for UV optimization often fail due mesh inconsistencies, geometric and topological noise, excessive resolution, or other factors; moreover, even when an output is produced, it is rarely a significant improvement over the input (according to the aforementioned measures). Therefore, we argue that further advancements are required specifically targeted at this class of models. Towards this goal, we share the models we collected in the form of a new public repository, Real-World Textured Things (RWTT), a benchmark to systematic field-test and compare algorithms. RWTT consists of 568 carefully selected textured 3D models representative of all the main modern off-the-shelf photo-reconstruction tools. The repository is available at http://texturedmesh.isti.cnr.it/ and is browsable by metadata collected during experiments, and comes with a tool, TexMetro, providing the same set of measures for generic UV mapped datasets.


title: Self-Supervised and Controlled Multi-Document Opinion Summarization

abstract: We address the problem of unsupervised abstractive summarization of collections of user generated reviews with self-supervision and control. We propose a self-supervised setup that considers an individual document as a target summary for a set of similar documents. This setting makes training simpler than previous approaches by relying only on standard log-likelihood loss. We address the problem of hallucinations through the use of control codes, to steer the generation towards more coherent and relevant summaries.Finally, we extend the Transformer architecture to allow for multiple reviews as input. Our benchmarks on two datasets against graph-based and recent neural abstractive unsupervised models show that our proposed method generates summaries with a superior quality and relevance.This is confirmed in our human evaluation which focuses explicitly on the faithfulness of generated summaries We also provide an ablation study, which shows the importance of the control setup in controlling hallucinations and achieve high sentiment and topic alignment of the summaries with the input reviews.


title: Point-free theories of space and time

abstract: The paper is in the field of Region Based Theory of Space (RBTS), sometimes called mereotopology. RBTS is a kind of point-free theory of space based on the notion of region. Its origin goes back to some ideas of Whitehead, De Laguna and Tarski to build the theory of space without the use of the notion of point. More information on RBTS and mereotopology can be found, for instance, in \cite{Vak2007}. Contact algebras present an algebraic formulation of RBTS and in fact give axiomatizations of the Boolean algebras of regular closed sets of some classes of topological spaces with an additional relation of contact. An exhaustive study of this theory is given in \cite{DiVak2006}. Dynamic contact algebra (DCA) \cite{Vak2014} (see also \cite{Vak2010,Vak2012}) introduced by the present author, is a generalization of contact algebra studying regions changing in time and presents a formal explication of Whitehead's ideas of integrated point-free theory of space and time. DCA is an abstraction of a special \emph{dynamic model of space}, called also \emph{snapshot} or \emph{cinematographic} model and the paper \cite{Vak2014} contains the expected representation theorem with respect to such models. In the present paper we introduce a new version of DCA which is a simplified version of the definition from \cite{Vak2014} and similar to that of \cite{Vak2012}. The aim is to use this version as a representative example of a DCA and to develop for this example not only the snapshot models but also topological models and the expected topological duality theory, generalizing in a certain sense the well known Stone duality for Boolean algebras. Abstract topological models of DCAs present a new view on the nature of space and time and show what happens if we are abstracting from their metric properties.


title: Robustness Certification of Generative Models

abstract: Generative neural networks can be used to specify continuous transformations between images via latent-space interpolation. However, certifying that all images captured by the resulting path in the image manifold satisfy a given property can be very challenging. This is because this set is highly non-convex, thwarting existing scalable robustness analysis methods, which are often based on convex relaxations. We present ApproxLine, a scalable certification method that successfully verifies non-trivial specifications involving generative models and classifiers. ApproxLine can provide both sound deterministic and probabilistic guarantees, by capturing either infinite non-convex sets of neural network activation vectors or distributions over such sets. We show that ApproxLine is practically useful and can verify interesting interpolations in the networks latent space.


title: Self-similar structure of resistive ADAFs with outflow and large-scale magnetic field

abstract: The observations and simulations have revealed that large-scale magnetic field and outflows can exist in the inner regions of an advection-dominated accretion disc where the resistive diffusion may also be important. In the present paper, the roles of large-scale magnetic field and outflows in the structure of resistive advection-dominated accretion discs are explored by assuming that the accretion flow is radially self-similar. In the non-ideal magnetohydrodynamic (MHD) approximation, the results show that the angular velocity is always sub-Keplerian when both the outflow and the large-scale magnetic field are taken into account. A stronger toroidal field component leads to faster rotation, while the disc rotates with faster rate if the vertical field component is weaker. The increase of magnetic diffusivity causes the infall velocity to be close to Keplerian velocity. Although the previous studies in the ideal MHD approximation have shown that the disc temperature decreases due to the vertical field component, we find that the effect of vertical field component on the temperature of a resistive disc depends on the magnetic diffusivity. When the magnetic diffusivity is high, the more efficient mechanism for decreasing the disc temperature can be the outflows, and not the large-scale magnetic field. In such a limit of the magnetic diffusivity, the components of the large-scale magnetic field enhance the gas temperature. The increase of temperature can lead to heating and acceleration of the electrons and help us to explain the origin of phenomena such as the flares in Sgr A*. On the other hand, the infall velocity in such a limit rises as the temperature increases, and therefore the surface density falls to too low values. Any change in the density profile can alter the structure and the emitted spectrum of disc.


title: Preventing Posterior Collapse with Levenshtein Variational Autoencoder

abstract: Variational autoencoders (VAEs) are a standard framework for inducing latent variable models that have been shown effective in learning text representations as well as in text generation. The key challenge with using VAEs is the {\it posterior collapse} problem: learning tends to converge to trivial solutions where the generators ignore latent variables. In our Levenstein VAE, we propose to replace the evidence lower bound (ELBO) with a new objective which is simple to optimize and prevents posterior collapse. Intuitively, it corresponds to generating a sequence from the autoencoder and encouraging the model to predict an optimal continuation according to the Levenshtein distance (LD) with the reference sentence at each time step in the generated sequence. We motivate the method from the probabilistic perspective by showing that it is closely related to optimizing a bound on the intractable Kullback-Leibler divergence of an LD-based kernel density estimator from the model distribution. With this objective, any generator disregarding latent variables will incur large penalties and hence posterior collapse does not happen. We relate our approach to policy distillation \cite{RossGB11} and dynamic oracles \cite{GoldbergN12}. By considering Yelp and SNLI benchmarks, we show that Levenstein VAE produces more informative latent representations than alternative approaches to preventing posterior collapse.


title: Privacy Preservation in Epidemic Data Collection

abstract: This work is inspired by the outbreak of COVID-19, and some of the challenges we have observed with gathering data about the disease. To this end, we aim to help collect data about citizens and the disease without risking the privacy of individuals. Specifically, we focus on how to determine the density of the population across the country, how to trace contact between citizens, how to determine the location of infections, and how to determine the timeline of the spread of the disease. Our proposed methods are privacy-preserving and rely on an app to be voluntarily installed on citizens' smartphones. Thus, any individual can choose not to participate. However, the accurateness of the methods relies on the participation of a large percentage of the population.


title: Dispersion of digital $(0,m,2)$-nets

abstract: We study the dispersion of digital $(0,m,2)$-nets; i.e. the size of the largest axes-parallel box within such point sets. Digital nets are an important class of low-discrepancy point sets. We prove tight lower and upper bounds for certain subclasses of digital nets where the generating matrices are of triangular form and compute the dispersion of special nets such as the Hammersley point set exactly.


title: Observing the emergence of a quantum phase transition -- shell by shell

abstract: Many-body physics describes phenomena which cannot be understood looking at a systems' constituents alone. Striking manifestations are broken symmetry, phase transitions, and collective excitations. Understanding how such collective behaviour emerges when assembling a system from individual particles has been a vision in atomic, nuclear, and solid-state physics for decades. Here, we observe the few-body precursor of a quantum phase transition from a normal to a superfluid phase. The transition is signalled by the softening of the mode associated with amplitude vibrations of the order parameter, commonly referred to as a Higgs mode. We achieve exquisite control over ultracold fermions confined to two-dimensional harmonic potentials and prepare closed-shell configurations of 2, 6 and 12 fermionic atoms in the ground state with high fidelity. Spectroscopy is then performed on our mesoscopic system while tuning the pair energy from zero to being larger than the shell spacing. Using full atom counting statistics, we find the lowest resonance to consist of coherently excited pairs only. The distinct non-monotonic interaction dependence of this many-body excitation as well as comparison with numerical calculations allows us to identify it as the precursor of the Higgs mode. Our atomic simulator opens new pathways to systematically unravel the emergence of collective phenomena and the thermodynamic limit particle by particle.


title: Time-domain speaker extraction network

abstract: Speaker extraction is to extract a target speaker's voice from multi-talker speech. It simulates humans' cocktail party effect or the selective listening ability. The prior work mostly performs speaker extraction in frequency domain, then reconstructs the signal with some phase approximation. The inaccuracy of phase estimation is inherent to the frequency domain processing, that affects the quality of signal reconstruction. In this paper, we propose a time-domain speaker extraction network (TseNet) that doesn't decompose the speech signal into magnitude and phase spectrums, therefore, doesn't require phase estimation. The TseNet consists of a stack of dilated depthwise separable convolutional networks, that capture the long-range dependency of the speech signal with a manageable number of parameters. It is also conditioned on a reference voice from the target speaker, that is characterized by speaker i-vector, to perform the selective listening to the target speaker. Experiments show that the proposed TseNet achieves 16.3% and 7.0% relative improvements over the baseline in terms of signal-to-distortion ratio (SDR) and perceptual evaluation of speech quality (PESQ) under open evaluation condition.


abstract: We study Campana points on biequivariant compactifications of the Heisenberg group and confirm the log Manin conjecture introduced by Pieropan, Smeets, Tanimoto and V\'{a}rilly-Alvarado.


title: Hierarchical clustering of bipartite data sets based on the statistical significance of coincidences

abstract: When some 'entities' are related by the 'features' they share they are amenable to a bipartite network representation. Plant-pollinator ecological communities, co-authorship of scientific papers, customers and purchases, or answers in a poll, are but a few examples. Analyzing clustering of such entities in the network is a useful tool with applications in many fields, like internet technology, recommender systems, or detection of diseases. The algorithms most widely applied to find clusters in bipartite networks are variants of modularity optimization. Here we provide an hierarchical clustering algorithm based on a dissimilarity between entities that quantifies the probability that the features shared by two entities is due to mere chance. The algorithm performance is $O(n^2)$ when applied to a set of n entities, and its outcome is a dendrogram exhibiting the connections of those entities. Through the introduction of a 'susceptibility' measure we can provide an 'optimal' choice for the clustering as well as quantify its quality. The dendrogram reveals further useful structural information though -- like the existence of sub-clusters within clusters or of nodes that do not fit in any cluster. We illustrate the algorithm by applying it first to a set of synthetic networks, and then to a selection of examples. We also illustrate how to transform our algorithm into a valid alternative for one-mode networks as well, and show that it performs at least as well as the standard, modularity-based algorithms -- with a higher numerical performance. We provide an implementation of the algorithm in Python freely accessible from GitHub.


title: Pruning artificial neural networks: a way to find well-generalizing, high-entropy sharp minima

abstract: Recently, a race towards the simplification of deep networks has begun, showing that it is effectively possible to reduce the size of these models with minimal or no performance loss. However, there is a general lack in understanding why these pruning strategies are effective. In this work, we are going to compare and analyze pruned solutions with two different pruning approaches, one-shot and gradual, showing the higher effectiveness of the latter. In particular, we find that gradual pruning allows access to narrow, well-generalizing minima, which are typically ignored when using one-shot approaches. In this work we also propose PSP-entropy, a measure to understand how a given neuron correlates to some specific learned classes. Interestingly, we observe that the features extracted by iteratively-pruned models are less correlated to specific classes, potentially making these models a better fit in transfer learning approaches.


title: MODNet -- accurate and interpretable property predictions for limited materials datasets by feature selection and joint-learning

abstract: In order to make accurate predictions of material properties, current machine-learning approaches generally require large amounts of data, which are often not available in practice. In this work, an all-round framework is presented which relies on a feedforward neural network, the selection of physically-meaningful features and, when applicable, joint-learning. Next to being faster in terms of training time, this approach is shown to outperform current graph-network models on small datasets. In particular, the vibrational entropy at 305 K of crystals is predicted with a mean absolute test error of 0.009 meV/K/atom (four times lower than previous studies). Furthermore, joint-learning reduces the test error compared to single-target learning and enables the prediction of multiple properties at once, such as temperature functions. Finally, the selection algorithm highlights the most important features and thus helps understanding the underlying physics.


title: How Often Should People be Tested for Corona to Avoid a Shutdown?

abstract: Based on the well known SIR model, this paper develops a model for predicting the number of necessary testings of asymptomatic persons in order to push Reff below 1, thus suppressing an outbreak. The model considers R0, time for obtaining a test result, and effect of population discipline. The outcome are closed form expressions for the number of daily tests.


title: A Flexible Storage Model for Power Network Optimization

abstract: This paper proposes a simple and flexible storage model for use in a variety of multi-period optimal power flow problems. The proposed model is designed for research use in a broad assortment of contexts enabled by the following key features: (i) the model can represent the dynamics of an energy buffer at a wide range of scales, from residential battery storage to grid-scale pumped hydro; (ii) it is compatible with both balanced and unbalanced formulations of the power flow equations; (iii) convex relaxations and linear approximations to allow seamless integration of the proposed model into applications where convexity or linearity is required are developed; (iv) a minimalist and standardized data model is presented, to facilitate easy of use by the research community. The proposed model is validated using a proof-of-concept twenty-four hour storage scheduling task that demonstrates the value of the model's key features. An open-source implementation of the model is provided as part of the PowerModels and PowerModelsDistribution optimization toolboxes.


title: Conditional Augmentation for Aspect Term Extraction via Masked Sequence-to-Sequence Generation

abstract: Aspect term extraction aims to extract aspect terms from review texts as opinion targets for sentiment analysis. One of the big challenges with this task is the lack of sufficient annotated data. While data augmentation is potentially an effective technique to address the above issue, it is uncontrollable as it may change aspect words and aspect labels unexpectedly. In this paper, we formulate the data augmentation as a conditional generation task: generating a new sentence while preserving the original opinion targets and labels. We propose a masked sequence-to-sequence method for conditional augmentation of aspect term extraction. Unlike existing augmentation approaches, ours is controllable and allows us to generate more diversified sentences. Experimental results confirm that our method alleviates the data scarcity problem significantly. It also effectively boosts the performances of several current models for aspect term extraction.


title: High frequency gravitational waves from spin-3/2 fields

abstract: We point out the peculiar form of the gravitational wave signal expected from a gas of particles carry spin 3/2 produced during preheating. Given the very few ways that gravitinos can manifest themselves in an experimentally observable way, we stress the importance of improving the sensitivity of ultra-high frequency detectors in the future. This review is based on work that appeared in [arXiv:1811.11774 [hep-ph]].


title: Properties of steady states for a class of non-local Fisher-KPP equations in disconnected domains

abstract: The question studied here is the existence and uniqueness of a non-trivial bounded steady state of a Fisher-KPP equation involving a fractional Laplacian (--$\Delta$)^$\alpha$ in a domain with Dirichlet conditions outside of the domain. More specifically, we investigate such questions in the case of general fragmented unbounded domains. Indeed, we take advantage of the non-local dispersion in order to provide analytic bounds (which depend only on the domain) on the steady states. Such results are relevant in biology. For instance, our results provide criteria on the domain for the subsistence of a species subject to a non-local diffusion in a fragmented area. These criteria primarily involve the sign of the first eigenvalue of the operator (--$\Delta$)^$\alpha$ -- Id in a domain with Dirichlet conditions outside of the domain. To this end, we exhibit a result of continuity of this principal eigenvalue with respect to the distance between two compact patchs in the one dimensional case. The main novelty of this last result is the continuity up to the distance 0.


title: Generalized Bloch band theory for non-Hermitian bulk-boundary correspondence

abstract: Bulk-boundary correspondence is the cornerstone of topological physics. In some non-Hermitian topological system this fundamental relation is broken in the sense that the topological number calculated for the Bloch energy band under the periodic boundary condition fails to reproduce the boundary properties under the open boundary. To restore the bulk-boundary correspondence in such non-Hermitian systems a framework beyond the Bloch band theory is needed. We develop a non-Hermitian Bloch band theory based on a modified periodic boundary condition that allows a proper description of the bulk of a non-Hermitian topological insulator in a manner consistent with its boundary properties. Taking a non-Hermitian version of the Su-Schrieffer-Heeger model as an example, we demonstrate our scenario, in which the concept of bulk-boundary correspondence is naturally generalized to non-Hermitian topological systems.


title: Non-Cold Dark Matter from Primordial Black Hole Evaporation

abstract: Dark matter coupled solely gravitationally can be produced through the decay of primordial black holes in the early universe. If the dark matter is lighter than the initial black hole temperature, it could be warm enough to be subject to structure formation constraints. In this paper we perform a more precise determination of these constraints. We first evaluate the dark matter phase-space distribution, without relying on the instantaneous decay approximation. We then interface this phase-space distribution with the Boltzmann code CLASS to extract the corresponding matter power spectrum, which we find to match closely those of warm dark matter models, albeit with a different dark matter mass. This mapping allows us to extract constraints from Lyman-$\alpha$ data without the need to perform hydrodynamical simulations. We robustly rule out the possibility, consistent with previous analytic estimates, of primordial black holes having come to dominate the energy density of the universe and simultaneously given rise to all the DM through their decay. Consequences and implications for dark radiation and leptogenesis are also briefly discussed.


title: IROS 2019 Lifelong Robotic Vision Challenge -- Lifelong Object Recognition Report

abstract: This report summarizes IROS 2019-Lifelong Robotic Vision Competition (Lifelong Object Recognition Challenge) with methods and results from the top $8$ finalists (out of over~$150$ teams). The competition dataset (L)ifel(O)ng (R)obotic V(IS)ion (OpenLORIS) - Object Recognition (OpenLORIS-object) is designed for driving lifelong/continual learning research and application in robotic vision domain, with everyday objects in home, office, campus, and mall scenarios. The dataset explicitly quantifies the variants of illumination, object occlusion, object size, camera-object distance/angles, and clutter information. Rules are designed to quantify the learning capability of the robotic vision system when faced with the objects appearing in the dynamic environments in the contest. Individual reports, dataset information, rules, and released source code can be found at the project homepage: "https://lifelong-robotic-vision.github.io/competition/".


title: Geodesic Structure of the Quantum-Corrected Schwarzschild Black Hole Surrounded by Quintessence

abstract: By considering the back-reaction of the spacetime through the spherically symmetric quantum fluctuations of the background metric, Kazakov and Solodukhin removed the singularity of the Schwarzschild black hole. This regular Schwarzschild black hole has a spherical central region with a radius of the order of the Planck length. On the other hand, due to the positively accelerating expansion of the Universe, it seems that there exists a universal repulsive force known as dark energy. In the framework of quantum field theories, the quintessence field is a candidate model for investigating and modeling dark energy. Accordingly, by taking into account the quintessential matter field in the background of the Schwarzschild black hole, Kiselev gained the metric of this black hole surrounded by quintessence. By combining these two above ideas, in the present study we consider the quantum-corrected Schwarzschild black hole surrounded by quintessence to investigate null and time-like geodesics structure. Generally, this study points out that black holes are quantum-gravitational objects. We will show that the accelerated expansion of the Universe, instead of dark energy, happens because of the presence of quantum effects in this setup. Also, due to the presence of the central Planck-size sphere, the regular black hole has been possessed a shifting over radial coordinate in its inner structure.


title: Re-normalizable Chern-Simons Extension of Propagating Torsion Theory

abstract: We write the most general parity-even re-normalizable Chern-Simons term for massive axial-vector propagating torsion fields. After obtaining the most comprehensive action, we perform the causal structure analysis to see what self-interaction term must be suppressed. In view of such a restriction for the Lagrangian, we will obtain the field equations, investigating some of their properties.


title: Digit Recognition From Wrist Movements and Security Concerns with Smart Wrist Wearable IOT Devices

abstract: In this paper, we investigate a potential security vulnerability associated with wrist wearable devices. Hardware components on common wearable devices include an accelerometer and gyroscope, among other sensors. We demonstrate that an accelerometer and gyroscope can pick up enough unique wrist movement information to identify digits being written by a user. With a data set of 400 writing samples, of either the digit zero or the digit one, we constructed a machine learning model to correctly identify the digit being written based on the movements of the wrist. Our model's performance on an unseen test set resulted in an area under the receiver operating characteristic (AUROC) curve of 1.00. Loading our model onto our fabricated device resulted in 100% accuracy when predicting ten writing samples in real-time. The model's ability to correctly identify all digits via wrist movement and orientation changes raises security concerns. Our results imply that nefarious individuals may be able to gain sensitive digit based information such as social security, credit card, and medical record numbers from wrist wearable devices.


title: M$^2$-Spectral Estimation: A Flexible Approach Ensuring Rational Solutions

abstract: This paper concerns a spectral estimation problem for multivariate (i.e., vector-valued) signals defined on a multidimensional domain, abbreviated as M$^2$. The problem is posed as solving a finite number of trigonometric moment equations for a nonnegative matricial measure, which is well known as the \emph{covariance extension problem} in the literature of systems and control. This inverse problem and its various generalizations have been extensively studied in the past three decades, and they find applications in diverse fields such as modeling and system identification, signal and image processing, robust control, circuit theory, etc. In this paper, we address the challenging M$^2$ version of the problem, and elaborate on a solution technique via convex optimization with the $\tau$-divergence family. As a major contribution of this work, we show that by properly choosing the parameter of the divergence index, the optimal spectrum is a rational function, that is, the solution is a spectral density which can be represented by a finite-dimensional system, as desired in many practical applications.


title: Integral Solutions of $ x^p-my^p=zw$

abstract: In this paper, using a basic algebraic approach, we demonstrate that, if the integers $x,y$ and $z$ are pairwise relatively prime, and $x^p-my^p=zw$ where $m$ is an integer and $p$ is a prime, then we can write $x,y,m,z$ and $w$ as explicit expressions in 7 integers.


title: Refined compartmental models, asymptomatic carriers and COVID-19

abstract: The goal of this article is to analyze some compartmental models specially designed to model the spread of a disease whose transmission has the same features as COVID-19. The major contributions of this article are: (1) Rigorously find sufficient conditions for the outbreak to only have one peak, i.e. for no second wave of infection to form; (2) Investigate the formation of other waves of infection when such conditions are not met; (3) Use numerical simulations to analyze the different roles asymptomatic carriers can have. We also argue that dividing the population into non-interacting groups leads to an effective reduction of the transmission rates. As in any compartmental model, the goal of this article is to provide qualitative understanding rather than exact quantitative predictions.


title: Structure-Augmented Text Representation Learning for Efficient Knowledge Graph Completion

abstract: Human-curated knowledge graphs provide critical supportive information to various natural language processing tasks, but these graphs are usually incomplete, urging auto-completion of them. Prevalent graph embedding approaches, e.g., TransE, learn structured knowledge via representing graph elements into dense embeddings and capturing their triple-level relationship with spatial distance. However, they are hardly generalizable to the elements never visited in training and are intrinsically vulnerable to graph incompleteness. In contrast, textual encoding approaches, e.g., KG-BERT, resort to graph triple's text and triple-level contextualized representations. They are generalizable enough and robust to the incompleteness, especially when coupled with pre-trained encoders. But two major drawbacks limit the performance: (1) high overheads due to the costly scoring of all possible triples in inference, and (2) a lack of structured knowledge in the textual encoder. In this paper, we follow the textual encoding paradigm and aim to alleviate its drawbacks by augmenting it with graph embedding techniques -- a complementary hybrid of both paradigms. Specifically, we partition each triple into two asymmetric parts as in translation-based graph embedding approach, and encode both parts into contextualized representations by a Siamese-style textual encoder. Built upon the representations, our model employs both deterministic classifier and spatial measurement for representation and structure learning respectively. Moreover, we develop a self-adaptive ensemble scheme to further improve the performance by incorporating triple scores from an existing graph embedding model. In experiments, we achieve state-of-the-art performance on three benchmarks and a zero-shot dataset for link prediction, with highlights of inference costs reduced by 1-2 orders of magnitude compared to a textual encoding method.


title: Single trusted qubit is necessary and sufficient for quantum realisation of extremal no-signaling correlations

abstract: Quantum statistics can be considered from the perspective of postquantum no-signaling theories in which either none or only a certain number of quantum systems are trusted. In these scenarios, the role of states is played by the so-called no-signaling boxes or no-signaling assemblages respectively. It has been shown so far that in the usual Bell non-locality scenario with a single measurement run, quantum statistics can never reproduce an extremal non-local point within the set of no-signaling boxes. We provide here a general no-go rule showing that the latter stays true even if arbitrary sequential measurements are allowed. On the other hand, we prove a positive result showing that already a single trusted qubit is enough for quantum theory to produce a self-testable extremal point within the corresponding set of no-signaling assemblages. This result opens up the possibility for security proofs of cryptographic protocols against general no-signaling adversaries.


title: Stochastic Allen-Cahn Equation with Logarithmic Potential

abstract: We prove existence and uniqueness of a solution for the stochastic Allen-Cahn equation with logarithmic potential and multiplicative Wiener noise, under homogeneous Neumann boundary condition. The existence of a solution is obtained in the variational sense by means of an approximated equation involving a Yosida regularization of the nonlinearity. The noise is assumed to vanish at the extremal points of the physical relevant domain and to satisfy a suitable Lipschitz-continuity property, allowing to prove uniform estimates of the approximated solution. The passage to the limit is then carried out and continuous dependence on the initial datum of the solution is verified. Under an additional assumption, the existence of an analytically strong solution is proved. Finally, estimates for the derivatives of the logarithmic potential are derived, in view of the study of an optimal control problem associated to the stochastic Allen-Cahn equation.


title: Hartree theory calculations of quasiparticle properties in twisted bilayer graphene

abstract: A detailed understanding of interacting electrons in twisted bilayer graphene (tBLG) near the magic angle is required to gain insights into the physical origin of the observed broken symmetry phases. Here, we present extensive atomistic Hartree theory calculations of the electronic properties of tBLG in the (semi-)metallic phase as function of doping and twist angle. Specifically, we calculate quasiparticle properties, such as the band structure, density of states (DOS) and local density of states (LDOS), which are directly accessible in photoemission and tunnelling spectroscopy experiments. We find that quasiparticle properties change significantly upon doping - an effect which is not captured by tight-binding theory. In particular, we observe that the partially occupied bands flatten significantly which enhances the density of states at the Fermi level. We predict a clear signature of this band flattening in the LDOS in the AB/BA regions of tBLG which can be tested in scanning tunneling experiments. We also study the dependence of quasiparticle properties on the dielectric environment of tBLG and discover that these properties are surprisingly robust as a consequence of the strong internal screening. Finally, we present a simple analytical expression for the Hartree potential which enables the determination of quasiparticle properties without the need for self-consistent calculations.


title: Higher-order finite type invariants of classical and virtual knots and unknotting operations

abstract: Vassiliev introduced filtered invariants of knots using an unknotting operation, called crossing changes. Goussarov, Polyak, and Viro introduced other filtered invariants of virtual knots, which order is called GPV-order, using an unknotting operation, called virtualization. We defined other filtered invariants, which order is called $F$-order, of virtual knots using an unknotting operation, called forbidden moves. In this paper, we show that the set of virtual knot invariants of $F$-order $\le n+1$ is strictly stronger than that of $F$-order $\le n$ and that of GPV-order $\le 2n+1$. To obtain the result, we show that the set of virtual knot invariants of $F$-order $\le n$ contains every Goussarov-Polyak-Viro invariant of GPV-order $\le 2n+1$, which implies that the set of virtual knot invariants of $F$-order is a complete invariant of classical and virtual knots.


title: Perturbed Masking: Parameter-free Probing for Analyzing and Interpreting BERT

abstract: By introducing a small set of additional parameters, a probe learns to solve specific linguistic tasks (e.g., dependency parsing) in a supervised manner using feature representations (e.g., contextualized embeddings). The effectiveness of such probing tasks is taken as evidence that the pre-trained model encodes linguistic knowledge. However, this approach of evaluating a language model is undermined by the uncertainty of the amount of knowledge that is learned by the probe itself. Complementary to those works, we propose a parameter-free probing technique for analyzing pre-trained language models (e.g., BERT). Our method does not require direct supervision from the probing tasks, nor do we introduce additional parameters to the probing process. Our experiments on BERT show that syntactic trees recovered from BERT using our method are significantly better than linguistically-uninformed baselines. We further feed the empirically induced dependency structures into a downstream sentiment classification task and find its improvement compatible with or even superior to a human-designed dependency schema.


title: Dynamical Theory and Cellular Automata Simulations of Pandemic Spread: Understanding Different Temporal Patterns of Infections

abstract: Here we propose and implement a generalized mathematical model to find the time evolution of population in infectious diseases and apply the model to study the recent COVID-19 pandemic. Our model at the core is a non-local generalization of the widely used Kermack-McKendrick(KM) model where the susceptible(S) population evolves into two other categories, namely infectives(I) and removed(R). This is the well-known SIR model in which we further divide both S and I into high and low risk categories. We first formulate a set of non-local dynamical equations for the time evolution of distinct population distributions under this categorization in an attempt to describe the general scenario of infectious disease progression. We then solve the non-linear coupled differential equations-(i) numerically by the method of propagation, and (ii) a more flexible and versatile cellular automata (CA) simulation which provides a coarse-grained description of the generalized non-local model. In order to account for multiple factors such as role of spreaders before containment, we introduce a time dependent rate which appears to be essential to explain the sudden spikes before the plateau observed in many cases (for example like China). We demonstrate how this generalized approach allows us to handle the effects of (i) time-dependence of the rate-constants of spread, (ii) different population density, (iii) the age ratio, (iv) quarantine, (v) lockdown, and (vi) social distancing. Our study allows us to make certain predictions regarding the nature of spread with respect to several external parameters, treated as control variables. Analysis of the model clearly shows that due to the strong heterogeneity in the epidemic process originating from the distribution of initial infectives, the theory must be local in character but at the same time connect to a global perspective.


title: Character-Level Translation with Self-attention

abstract: We explore the suitability of self-attention models for character-level neural machine translation. We test the standard transformer model, as well as a novel variant in which the encoder block combines information from nearby characters using convolutions. We perform extensive experiments on WMT and UN datasets, testing both bilingual and multilingual translation to English using up to three input languages (French, Spanish, and Chinese). Our transformer variant consistently outperforms the standard transformer at the character-level and converges faster while learning more robust character-level alignments.


title: Twin-width I: tractable FO model checking

abstract: Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit $d$-dimensional ball graphs, posets with antichains of bounded size, and proper subclasses of dimension-2 posets all have bounded twin-width. On all these classes (except map graphs without geometric embedding) we show how to compute in polynomial time a sequence of $d$-contractions, witness that the twin-width is at most $d$. We show that FO model checking, that is deciding if a given first-order formula $\phi$ evaluates to true for a given binary structure $G$ on a domain $D$, is FPT in $|\phi|$ on classes of bounded twin-width, provided the witness is given. More precisely, being given a $d$-contraction sequence for $G$, our algorithm runs in time $f(d,|\phi|) \cdot |D|$ where $f$ is a computable but non-elementary function. We also prove that bounded twin-width is preserved by FO interpretations and transductions (allowing operations such as squaring or complementing a graph). This unifies and significantly extends the knowledge on fixed-parameter tractability of FO model checking on non-monotone classes, such as the FPT algorithm on bounded-width posets by Gajarsk\'y et al. [FOCS '15].


title: Global existence of weak solutions to viscoelastic phase separation: Part II Degenerate Case

abstract: The aim of this paper is to prove global in time existence of weak solutions for a viscoelastic phase separation. We consider the case with singular potentials and degenerate mobilities. Our model couples the diffusive interface model with the Peterlin-Navier-Stokes equations for viscoelastic fluids. To obtain the global in time existence of weak solutions we consider appropriate approximations by solutions of the viscoelastic phase separation with a regular potential and build on the corresponding energy and entropy estimates.


title: Lectures on the Geometry and Modular Representation Theory of Algebraic Groups

abstract: These notes provide a concise introduction to the representation theory of reductive algebraic groups in positive characteristic, with an emphasis on Lusztig's character formula and geometric representation theory. They are based on the first author's notes from a lecture series delivered by the second author at the Simons Centre for Geometry and Physics in August 2019. We intend them to complement more detailed treatments.


title: Are 3-4-1 models able to explain the upcoming results of the muon anomalous magnetic moment?

abstract: In light of the upcoming measurement of the muon anomalous magnetic moment (g-2), we revisit the corrections to g-2 in the context of the $SU(4)_L \times U(1)_X$ gauge symmetry. We investigate three models based on this gauge symmetry and express our results in terms of the energy scale at which the $SU(4)_L \times U(1)_X$ symmetry is broken. To draw solid conclusions we put our findings into perspective with existing collider bounds. Lastly, we highlight the difference between our results and those rising from $SU(3)_L \times U(1)_X$ constructions.


title: A Lower Bound on the stability region of Redundancy-d with FIFO service discipline

abstract: Redundancy-d (R(d)) is a load balancing method used to route incoming jobs to K servers, each with its own queue. Every arriving job is replicated into 2<=d<=K tasks, which are then routed to d servers chosen uniformly at random. When the first task finishes service, the remaining d-1 tasks are cancelled and the job departs the system. Despite the fact that R(d) is known, under certain conditions, to substantially improve job completion times compared to not using redundancy at all, little is known on a more fundamental performance criterion: what is the set of arrival rates under which the R(d) queueing system with FIFO service discipline is stable? In this context, due to the complex dynamics of systems with redundancy and cancellations, existing results are scarce and are limited to very special cases with respect to the joint service time distribution of tasks. In this paper we provide a non-trivial, closed form lower bound on the stability region of R(d) for a general joint service time distribution of tasks with finite first and second moments. We consider a discrete time system with Bernoulli arrivals and assume that jobs are processed by their order of arrival. We use the workload processes and a quadratic Lyapunov function to characterize the set of arrival rates for which the system is stable. While simulation results indicate our bound is not tight, it provides an easy-to-check performance guarantee.


title: Graph Summarization

abstract: The continuous and rapid growth of highly interconnected datasets, which are both voluminous and complex, calls for the development of adequate processing and analytical techniques. One method for condensing and simplifying such datasets is graph summarization. It denotes a series of application-specific algorithms designed to transform graphs into more compact representations while preserving structural patterns, query answers, or specific property distributions. As this problem is common to several areas studying graph topologies, different approaches, such as clustering, compression, sampling, or influence detection, have been proposed, primarily based on statistical and optimization methods. The focus of our chapter is to pinpoint the main graph summarization methods, but especially to focus on the most recent approaches and novel research trends on this topic, not yet covered by previous surveys.


title: A Novel Perspective to Zero-shot Learning: Towards an Alignment of Manifold Structures via Semantic Feature Expansion

abstract: Zero-shot learning aims at recognizing unseen classes (no training example) with knowledge transferred from seen classes. This is typically achieved by exploiting a semantic feature space shared by both seen and unseen classes, i.e., attribute or word vector, as the bridge. One common practice in zero-shot learning is to train a projection between the visual and semantic feature spaces with labeled seen classes examples. When inferring, this learned projection is applied to unseen classes and recognizes the class labels by some metrics. However, the visual and semantic feature spaces are mutually independent and have quite different manifold structures. Under such a paradigm, most existing methods easily suffer from the domain shift problem and weaken the performance of zero-shot recognition. To address this issue, we propose a novel model called AMS-SFE. It considers the alignment of manifold structures by semantic feature expansion. Specifically, we build upon an autoencoder-based model to expand the semantic features from the visual inputs. Additionally, the expansion is jointly guided by an embedded manifold extracted from the visual feature space of the data. Our model is the first attempt to align both feature spaces by expanding semantic features and derives two benefits: first, we expand some auxiliary features that enhance the semantic feature space; second and more importantly, we implicitly align the manifold structures between the visual and semantic feature spaces; thus, the projection can be better trained and mitigate the domain shift problem. Extensive experiments show significant performance improvement, which verifies the effectiveness of our model.


title: Deriving Pi from Colliding Blocks

abstract: A method of obtaining the number pi is considered, which derives pi from the number of elastic collisions between two blocks and a wall.


title: STARC: Structured Annotations for Reading Comprehension

abstract: We present STARC (Structured Annotations for Reading Comprehension), a new annotation framework for assessing reading comprehension with multiple choice questions. Our framework introduces a principled structure for the answer choices and ties them to textual span annotations. The framework is implemented in OneStopQA, a new high-quality dataset for evaluation and analysis of reading comprehension in English. We use this dataset to demonstrate that STARC can be leveraged for a key new application for the development of SAT-like reading comprehension materials: automatic annotation quality probing via span ablation experiments. We further show that it enables in-depth analyses and comparisons between machine and human reading comprehension behavior, including error distributions and guessing ability. Our experiments also reveal that the standard multiple choice dataset in NLP, RACE, is limited in its ability to measure reading comprehension. 47% of its questions can be guessed by machines without accessing the passage, and 18% are unanimously judged by humans as not having a unique correct answer. OneStopQA provides an alternative test set for reading comprehension which alleviates these shortcomings and has a substantially higher human ceiling performance.


title: RAIN: A Simple Approach for Robust and Accurate Image Classification Networks

abstract: It has been shown that the majority of existing adversarial defense methods achieve robustness at the cost of sacrificing prediction accuracy. The undesirable severe drop in accuracy adversely affects the reliability of machine learning algorithms and prohibits their deployment in realistic applications. This paper aims to address this dilemma by proposing a novel preprocessing framework, which we term Robust and Accurate Image classificatioN(RAIN), to improve the robustness of given CNN classifiers and, at the same time, preserve their high prediction accuracies. RAIN introduces a new randomization-enhancement scheme. It applies randomization over inputs to break the ties between the model forward prediction path and the backward gradient path, thus improving the model robustness. However, similar to existing preprocessing-based methods, the randomized process will degrade the prediction accuracy. To understand why this is the case, we compare the difference between original and processed images, and find it is the loss of high-frequency components in the input image that leads to accuracy drop of the classifier. Based on this finding, RAIN enhances the input's high-frequency details to retain the CNN's high prediction accuracy. Concretely, RAIN consists of two novel randomization modules: randomized small circular shift (RdmSCS) and randomized down-upsampling (RdmDU). The RdmDU module randomly downsamples the input image, and then the RdmSCS module circularly shifts the input image along a randomly chosen direction by a small but random number of pixels. Finally, the RdmDU module performs upsampling with a detail-enhancement model, such as deep super-resolution networks. We conduct extensive experiments on the STL10 and ImageNet datasets to verify the effectiveness of RAIN against various types of adversarial attacks.


title: A new approach to the construction of Schur-Weyl states

abstract: The Schur-Weyl states belong to a special class of states with a symmetry described by two Young and Weyl tableaux. Representation of physical systems in Hilbert space spanned on these states enables to extract quantum information hidden in nonlocal degrees of freedom. Such property can be very useful in a broad range of problems in Quantum Computations, especially in quantum algorithms constructions, therefore it is very important to know exact form of these states. Moreover, they allow to reduce significantly the size of eigenproblem, or in general, diminishing the representation matrix of any physical quantities, represented in the symmetric or unitary group algebra. Here we present a new method of Schur-Weyl states construction in a spin chain system representation. Our approach is based on the fundamental shift operators out of which one can build Clebsch-Gordan coefficients for the unitary group U(n) and then derive appropriate Schur-Weyl state probability amplitudes.


title: Methods for Population Adjustment with Limited Access to Individual Patient Data: A Review and Simulation Study

abstract: Population-adjusted indirect comparisons estimate treatment effects when access to individual patient data is limited and there are cross-trial differences in effect modifiers. Popular methods include matching-adjusted indirect comparison (MAIC) and simulated treatment comparison (STC). There is limited formal evaluation of these methods and whether they can be used to accurately compare treatments. Thus, we undertake a comprehensive simulation study to compare standard unadjusted indirect comparisons, MAIC and STC across 162 scenarios. This simulation study assumes that the trials are investigating survival outcomes and measure continuous covariates, with the log hazard ratio as the measure of effect. MAIC yields unbiased treatment effect estimates under no failures of assumptions. The typical usage of STC produces bias because it targets a conditional treatment effect where the target estimand should be a marginal treatment effect. The incompatibility of estimates in the indirect comparison leads to bias as the measure of effect is non-collapsible. Standard indirect comparisons are systematically biased, particularly under stronger covariate imbalance and interaction effects. Standard errors and coverage rates are often valid in MAIC but the robust sandwich variance estimator underestimates variability where effective sample sizes are small. Interval estimates for the standard indirect comparison are too narrow and STC suffers from bias-induced undercoverage. MAIC provides the most accurate estimates and, with lower degrees of covariate overlap, its bias reduction outweighs the loss in effective sample size and precision under no failures of assumptions. An important future objective is the development of an alternative formulation to STC that targets a marginal treatment effect.


title: Modelling Casimir Wormholes in Extended Gravity

abstract: A model of traversable wormhole in an extended gravity theory has been proposed. The Casimir effect and Generalised Uncertainty Principle (GUP) arising out of the concept of minimal length have been considered to obtain the shape function, radial and tangential pressure of the wormhole. The effects of the GUP parameter and the parameter of the extended gravity theory on the wormhole properties have been discussed. The energy condition violation by the exotic matter of Casimir wormhole have been shown. Also we have calculated the exotic matter content of the Casimir wormhole that violate the null energy condition.


title: Axon Hillock Currents Allow Single-Neuron-Resolution 3-Dimensional Functional Neural Imaging Using Diamond Quantum Defect-Based Vector Magnetometry

abstract: Magnetic field sensing, with its recent advances, is emerging as a viable alternative to measure functional activity of single neurons in the brain by sensing action potential associated magnetic fields (APMFs). Measurement of APMFs of large axons of worms have been possible due to their size. In the mammalian brain, axon sizes, their numbers and routes, restricts using such functional imaging methods. With segmented model of mammalian pyramidal neurons, we show that the APMF of intra-axonal currents in the axon hillock are two orders of magnitude larger than other neuronal locations. Expected 2-dimensional vector magnetic field maps of naturalistic spiking activity of a volume of neurons via widefield diamond-nitrogen-vacancy-center-magnetometry (DNVM) were simulated. A dictionary based matching pursuit type algorithm applied to the data using the axon-hillock's APMF signature allowed spatiotemporal reconstruction of APs in the volume of brain tissue at single cell resolution. Enhancement of APMF signals coupled with NVMM advances thus can potentially replace current functional brain mapping techniques.

categories: q-bio.NC cond-mat.mes-hall physics.app-ph quant-ph


title: Quantum circuit representation of Bayesian networks

abstract: Probabilistic graphical models such as Bayesian networks are widely used to model stochastic systems to perform various types of analysis such as probabilistic prediction, risk analysis, and system health monitoring, which can become computationally expensive in large-scale systems. While demonstrations of true quantum supremacy remain rare, quantum computing applications managing to exploit the advantages of amplitude amplification have shown significant computational benefits when compared against their classical counterparts. We develop a systematic method for designing a quantum circuit to represent a generic discrete Bayesian network with nodes that may have two or more states, where nodes with more than two states are mapped to multiple qubits. The marginal probabilities associated with root nodes (nodes without any parent nodes) are represented using rotation gates, and the conditional probability tables associated with non-root nodes are represented using controlled rotation gates. The controlled rotation gates with more than one control qubit are represented using ancilla qubits. The proposed approach is demonstrated for three examples: a 4-node oil company stock prediction, a 10-node network for liquidity risk assessment, and a 9-node naive Bayes classifier for bankruptcy prediction. The circuits were designed and simulated using Qiskit, a quantum computing platform that enables simulations and also has the capability to run on real quantum hardware. The results were validated against those obtained from classical Bayesian network implementations.


title: Real-Time Energy Monitoring in IoT-enabled Mobile Devices

abstract: With rapid advancements in the Internet of Things (IoT) paradigm, electrical devices in the near future is expected to have IoT capabilities. This enables fine-grained tracking of individual energy consumption data of such devices, offering location-independent per-device billing. Thus, it is more fine-grained than the location-based metering of state-of-the-art infrastructure, which traditionally aggregates on a building or household level, defining the entity to be billed. However, such in-device energy metering is susceptible to manipulation and fraud. As a remedy, we propose a decentralized metering architecture that enables devices with IoT capabilities to measure their own energy consumption. In this architecture, the device-level consumption is additionally reported to a system-level aggregator that verifies distributed information and provides secure data storage using Blockchain, preventing data manipulation by untrusted entities. Using evaluations on an experimental testbed, we show that the proposed architecture supports device mobility and enables location-independent monitoring of energy consumption.


title: Analysis of the spectrum of a $2\times 2$ operator matrix. Discrete spectrum asymptotics

abstract: We consider a $2 \times 2$ operator matrix ${\mathcal A}_\mu,$ $\mu>0$ related with the lattice systems describing two identical bosons and one particle, another nature in interactions, without conservation of the number of particles. We obtain an analogue of the Faddeev equation and its symmetric version for the eigenfunctions of ${\mathcal A}_\mu$. We describe the new branches of the essential spectrum of ${\mathcal A}_\mu$ via the spectrum of a family of generalized Friedrichs models. It is established that the essential spectrum of ${\mathcal A}_\mu$ consists the union of at most three bounded closed intervals and their location is studied. For the critical value $\mu_0$ of the coupling constant $\mu$ we establish the existence of infinitely many eigenvalues, which are located in the both sides of the essential spectrum of ${\mathcal A}_\mu$. In this case, an asymptotic formula for the discrete spectrum of ${\mathcal A}_\mu$ is found.


title: Age dissection of the Milky Way discs: red giants in the Kepler field

abstract: [Abridged] Ensemble studies of red-giant stars with exquisite asteroseismic, spectroscopic, and astrometric constraints offer a novel opportunity to recast and address long-standing questions concerning the evolution of stars and of the Galaxy. Here, we infer masses and ages for nearly 5400 giants with available Kepler light curves and APOGEE spectra, and discuss some of the systematics that may affect the accuracy of the inferred stellar properties. First, we look at age-chemical-abundances relations. We find a dearth of young, metal-rich stars, and the existence of a significant population of old (8-9 Gyr), low-[$\alpha$/Fe], super-solar metallicity stars, reminiscent of the age and metallicity of the well-studied open cluster NGC6791. The age-chemo-kinematic properties of these stars indicate that efficient radial migration happens in the thin disk. We find that ages and masses of the nearly 400 $\alpha$-element-rich red-giant-branch (RGB) stars in our sample are compatible with those of an old (~11 Gyr), nearly coeval, chemical-thick disk population. Using a statistical model, we show that 95% of the population was born within ~1.5 Gyr. Moreover, we find a difference in the vertical velocity dispersion between low- and high-[$\alpha$/Fe] populations, confirming their different chemo-dynamical histories. We then exploit the almost coeval $\alpha$-rich population to gain insight into processes that may have altered the mass of a star along its evolution, which are key to improve the mapping of the observed stellar mass to age. We find evidence for a mean integrated RGB mass loss <$\Delta$M>= 0.10 $\pm$ 0.02 Msun and that the occurrence of massive (M $\gtrsim$ 1.1 Msun) $\alpha$-rich stars is of the order of 5% on the RGB, and significantly higher in the RC, supporting the scenario in which most of these stars had undergone interaction with a companion.


title: Spin versus Helicity Equilibration Times and Lagrangian for Strange Quarks in Rotating Quark-Gluon Plasma

abstract: Measurements of the net polarization of $\Lambda$ and $\bar{\Lambda}$ hyperons at the Relativistic Heavy Ion Collider (RHIC) have stimulated much interest in how strange quarks might align their spin with the vorticity of the matter created in heavy ion collisions. We calculate the Lagrangian in the rest frame of a fluid element undergoing rotation with angular velocity $\omega$ including photon and gluon fields. There is an additional coupling between the quarks and the gauge fields proportional to $\omega$, but this vertex does not change the spin of the quarks. We also show that the times to equilibrate quark helicity and spin parallel to the vorticity are the same so long as $\omega$ is small compared to the temperature.


title: Multilayer network simplification: approaches, models and methods

abstract: Multilayer networks have been widely used to represent and analyze systems of interconnected entities where both the entities and their connections can be of different types. However, real multilayer networks can be difficult to analyze because of irrelevant information, such as layers not related to the objective of the analysis, because of their size, or because traditional methods defined to analyze simple networks do not have a straightforward extension able to handle multiple layers. Therefore, a number of methods have been devised in the literature to simplify multilayer networks with the objective of improving our ability to analyze them. In this article we provide a unified and practical taxonomy of existing simplification approaches, and we identify categories of multilayer network simplification methods that are still underdeveloped, as well as emerging trends.


title: Principal Eigenvector of the Signless Laplacian Matrix

abstract: In this paper, we study the entries of the principal eigenvector of the signless Laplacian matrix of a hypergraph. More precisely, we obtain bounds for this entries. These bounds are computed trough other important parameters, such as spectral radius, maximum and minimum degree. We also introduce and study a new parameter related to edges of the hypergraph. This parameter is a spectral measure of a structural characteristic that can be thought of as an edge-variant of regularity.


title: Some Relativistic and Gravitational Properties of the Wolfram Model

abstract: The Wolfram Model, which is a slight generalization of the model first introduced by Stephen Wolfram in A New Kind of Science (NKS), is a discrete spacetime formalism in which space is represented by a hypergraph whose dynamics are determined by abstract replacement operations on set systems, and in which the conformal structure of spacetime is represented by a causal graph. The purpose of this article is to present rigorous mathematical derivations of many key properties of such models in the continuum limit, as first discussed in NKS, including the fact that large classes of them obey discrete forms of both special and general relativity. First, we prove that causal invariance (namely, the requirement that all causal graphs be isomorphic, irrespective of the choice of hypergraph updating order) is equivalent to a discrete version of general covariance, with changes to the updating order corresponding to discrete gauge transformations. This fact then allows one to deduce a discrete analog of Lorentz covariance, and the resultant physical consequences of discrete Lorentz transformations. We also introduce discrete notions of Riemann and Ricci curvature for hypergraphs, and prove that the correction factor for the volume of a discrete spacetime cone in a causal graph corresponding to curved spacetime of fixed dimensionality is proportional to a timelike projection of the discrete spacetime Ricci tensor, subsequently using this fact (along with the assumption that the updating rules preserve the dimensionality of the causal graph in limiting cases) to prove that the most general set of constraints on the discrete spacetime Ricci tensor corresponds to a discrete form of the Einstein field equations.


title: On families of Riemann surfaces with automorphisms

abstract: In this article we determine the maximal possible order of the automorphism group of the form $ag + b$, where $a$ and $b$ are integers, of a complex three and four-dimensional family of compact Riemann surfaces of genus $g$, appearing for all genus. In addition, we construct and describe explicit complex three and four-dimensional families possessing these maximal number of automorphisms.


title: KELT-9 b's Asymmetric TESS Transit Caused by Rapid Stellar Rotation and Spin-Orbit Misalignment

abstract: KELT-9 b is an ultra hot Jupiter transiting a rapidly rotating, oblate early-A-type star in a polar orbit. We model the effect of rapid stellar rotation on KELT-9 b's transit light curve using photometry from the Transiting Exoplanet Survey Satellite (\tess) to constrain the planet's true spin-orbit angle and to explore how KELT-9 b may be influenced by stellar gravity darkening. We constrain the host star's equatorial radius to be $1.089\pm0.017$ times as large as its polar radius and its local surface brightness to vary by $\sim38$\% between its hot poles and cooler equator. We model the stellar oblateness and surface brightness gradient and find that it causes the transit light curve to lack the usual symmetry around the time of minimum light. We take advantage of the light curve asymmetry to constrain KELT-9 b's true spin orbit angle (${87^\circ}^{+10^\circ}_{-11^\circ}$), agreeing with \citet{gaudi2017giant} that KELT-9 b is in a nearly polar orbit. We also apply a gravity darkening correction to the spectral energy distribution model from \citet{gaudi2017giant} and find that accounting for rapid rotation gives a better fit to available spectroscopy and yields a more reliable estimate for the star's polar effective temperature.


title: ENT-DESC: Entity Description Generation by Exploring Knowledge Graph

abstract: Previous works on knowledge-to-text generation take as input a few RDF triples or key-value pairs conveying the knowledge of some entities to generate a natural language description. Existing datasets, such as WIKIBIO, WebNLG, and E2E, basically have a good alignment between an input triple/pair set and its output text. However, in practice, the input knowledge could be more than enough, since the output description may only cover the most significant knowledge. In this paper, we introduce a large-scale and challenging dataset to facilitate the study of such a practical scenario in KG-to-text. Our dataset involves retrieving abundant knowledge of various types of main entities from a large knowledge graph (KG), which makes the current graph-to-sequence models severely suffer from the problems of information loss and parameter explosion while generating the descriptions. We address these challenges by proposing a multi-graph structure that is able to represent the original graph information more comprehensively. Furthermore, we also incorporate aggregation methods that learn to extract the rich graph information. Extensive experiments demonstrate the effectiveness of our model architecture.


title: Principles underlying efficient exciton transport unveiled by information-geometric analysis

abstract: Adapting techniques from the field of information geometry, we show that open quantum system models of Frenkel exciton transport, a prevalent process in photosynthetic networks, belong to a class of mathematical models known as 'sloppy'. Performing a Fisher-information-based multi-parameter sensitivity analysis to investigate the full dynamical evolution of the system and reveal this sloppiness, we establish which features of a transport network lie at the heart of efficient performance. We find that fine tuning the excitation energies in the network is generally far more important than optimizing the network geometry and that these conclusions hold for different measures of efficiency and when model parameters are subject to disorder within parameter regimes typical of molecular complexes involved in photosynthesis. Our approach and insights are equally applicable to other physical implementations of quantum transport.


title: Role of $PT$-symmetry in understanding Hartman effect

abstract: The celebrated Hartman effect, according to which, the tunneling time through a opaque barrier is independent of the width of the barrier for a sufficiently thick barrier, is not well understood theoretically and experimentally till today. In this work we attempt to through some light to understand the mystery behind this paradoxical result of tunneling .For this purpose we calculate the tunneling time from a layered non-Hermitian system to examine the effect of $PT$-symmetry over tunneling time. We explicitly find that for system respecting $PT$-symmetry, the tunneling time saturates with the thickness of the $PT$-symmetric barrier and thus shows the existence of Hartman effect. For non PT-symmetric case, the tunneling time depends upon the thickness of the barrier and Hartman effect is lost. We further consider the limiting case in which the non-Hermitian system reduces to the real barrier to show that the Hartman effect from a real barrier is due to $PT$-symmetry (of the corresponding non-Hermitian system) .


title: How many runs ensure quantum fidelity in teleportation experiment?

abstract: The strong law of large numbers asserts that experimentally obtained mean values, in the limit of number of repetitions of the experiment going to infinity, converges almost surely to the theoretical predictions which are based on a priori assumed constant values for probabilities of the random events. Hence in most theoretical calculations, we implicitly neglect fluctuations around the mean. However in practice, we can repeat the experiment only finitely many times, and hence fluctuations are inevitable, and may lead to erroneous judgments. It is theoretically possible to teleport an unknown quantum state, using entanglement, with unit fidelity. The experimentally achieved values are however sub-unit, and often, significantly so. We show that when the number of repetitions of the experiment is small, there is significant probability of achieving a sub-unit experimentally achieved quantum teleportation fidelity that uses entanglement, even classically, i.e., without using entanglement. We further show that only when the number of repetitions of the experiment is of the order of a few thousands, the probability of a classical teleportation process to reach the currently achieved experimental quantum teleportation fidelities becomes negligibly small, and hence ensure that the experimentally obtained fidelities are due to genuine use of the shared entanglements.


title: A Bayesian model of microbiome data for simultaneous identification of covariate associations and prediction of phenotypic outcomes

abstract: One of the major research questions regarding human microbiome studies is the feasibility of designing interventions that modulate the composition of the microbiome to promote health and cure disease. This requires extensive understanding of the modulating factors of the microbiome, such as dietary intake, as well as the relation between microbial composition and phenotypic outcomes, such as body mass index (BMI). Previous efforts have modeled these data separately, employing two-step approaches that can produce biased interpretations of the results. Here, we propose a Bayesian joint model that simultaneously identifies clinical covariates associated with microbial composition data and predicts a phenotypic response using information contained in the compositional data. Using spike-and-slab priors, our approach can handle high-dimensional compositional as well as clinical data. Additionally, we accommodate the compositional structure of the data via balances and overdispersion typically found in microbial samples. We apply our model to understand the relations between dietary intake, microbial samples, and BMI. In this analysis, we find numerous associations between microbial taxa and dietary factors that may lead to a microbiome that is generally more hospitable to the development of chronic diseases, such as obesity. Additionally, we demonstrate on simulated data how our method outperforms two-step approaches and also present a sensitivity analysis.


title: The Measure of Complexity in Charged Celestial Bodies in $f(R,T,R_{\mu\nu}T^{\mu\nu})$ Gravity

abstract: In this paper, we investigate irregularities in a cylindrical self-gravitating system which contains the properties of an imperfect matter and electromagnetic field. For $f(R,T,Q)$ theory, in which $R$ represents the Ricci scalar and $T$ shows the trace of matter stress-energy tensor while $Q\equiv R_{\gamma\delta}T^{\gamma\delta}$, the field equations containing electric charge, mass functions and Darmois junction conditions at the hypersurface are examined. We have adopted new definition of complexity introduced by Herrera \cite{herrera2018new}, generalized it for the static charged cylindrically symmetric case in $f(R,T,Q)$ theory by performing a detailed analysis on the orthogonal splitting of the Riemann curvature tensor. One of the effective scalars, $Y_{TF}$, has been recognized as a complexity factor. This factor is comprised of certain physical components of the fluid such as irregularity in energy density, locally pressure anisotropy and electric charge (arranged in a specific way). In addition, the effects of extra curvature terms of modified gravity are examined by making the relations among the complexity factor, Weyl scalar and Tolman mass.


title: Towards Proving the Twin Prime Conjecture using a Novel Method For Finding the Next Prime Number ${P_{N+1}}$ after a Given Prime Number ${P_{N}}$ and a Refinement on the Maximal Bounded Prime Gap ${G_{i}}$

abstract: This paper introduces a new method to find the next prime number after a given prime ${P}$. The proposed method is used to derive a system of inequalities, that serve as constraints which should be satisfied by all primes whose successor is a twin prime. Twin primes are primes having a prime gap of ${2}$. The pairs ${(5,7),(11,13),(41,43)}$, etcetera are all twin primes. This paper envisions that if the proposed system of inequalities can be proven to have infinite solutions, the Twin Prime Conjecture will evidently be proven true. The paper also derives a novel upper bound on the prime gap, ${G_{i}}$ between ${P_{i} \; and \; P_{i+1}}$, as a function of ${P_{i}}$.


title: Robust Time-Frequency Reconstruction by Learning Structured Sparsity

abstract: Time-frequency distributions (TFDs) play a vital role in providing descriptive analysis of non-stationary signals involved in realistic scenarios. It is well known that low time-frequency (TF) resolution and the emergency of cross-terms (CTs) are two main issues, which make it difficult to analyze and interpret practical signals using TFDs. In order to address these issues, we propose the U-Net aided iterative shrinkage-thresholding algorithm (U-ISTA) for reconstructing a near-ideal TFD by exploiting structured sparsity in signal TF domain. Specifically, the signal ambiguity function is firstly compressed, followed by unfolding the ISTA as a recurrent neural network. To consider continuously distributed characteristics of signals, a structured sparsity constraint is incorporated into the unfolded ISTA by regarding the U-Net as an adaptive threshold block, in which structure-aware thresholds are learned from enormous training data to exploit the underlying dependencies among neighboring TF coefficients. The proposed U-ISTA model is trained by both non-overlapped and overlapped synthetic signals including closely and far located non-stationary components. Experimental results demonstrate that the robust U-ISTA achieves superior performance compared with state-of-the-art algorithms, and gains a high TF resolution with CTs greatly eliminated even in low signal-to-noise ratio (SNR) environments.


title: Vocabulary Adaptation for Distant Domain Adaptation in Neural Machine Translation

abstract: Neural network methods exhibit strong performance only in a few resource-rich domains. Practitioners, therefore, employ domain adaptation from resource-rich domains that are, in most cases, distant from the target domain. Domain adaptation between distant domains (e.g., movie subtitles and research papers), however, cannot be performed effectively due to mismatches in vocabulary; it will encounter many domain-specific words (e.g., "angstrom") and words whose meanings shift across domains(e.g., "conductor"). In this study, aiming to solve these vocabulary mismatches in domain adaptation for neural machine translation (NMT), we propose vocabulary adaptation, a simple method for effective fine-tuning that adapts embedding layers in a given pre-trained NMT model to the target domain. Prior to fine-tuning, our method replaces the embedding layers of the NMT model by projecting general word embeddings induced from monolingual data in a target domain onto a source-domain embedding space. Experimental results indicate that our method improves the performance of conventional fine-tuning by 3.86 and 3.28 BLEU points in En-Ja and De-En translation, respectively.


title: Systematic two-scale image analysis of extreme deformations in soft architectured sheets

abstract: The multi-scale nature of architectured materials raises the need for advanced experimental methods suitable for the identification of their effective properties, especially when their size is finite and they undergo extreme deformations. The present work demonstrates that state-of-the art image processing methods combined with numerical and analytical models provide a comprehensive quantitative description of these solids and their global behaviour, including the influence of the boundary conditions, of the manufacturing process, and of geometric and constitutive non-linearities. To this end, an adapted multi-scale digital image correlation analysis is used to track both elongations and rotations of particular features of the unit cell at the local and global (homogenized) scale of the material. This permits to observe with unprecedented clarity the strains for various unit cells in the structure and to detect global deformation patterns and heterogeneities of the homogenized strain distribution. This method is here demonstrated on elastic sheets undergoing extreme longitudinal and shear deformations. These experimental results are compared to non-linear finite element simulations, which are also used to evaluate the effects of manufacturing imperfections on the response. A skeletal representation of the architectured solid is then extracted from the experiments and used to create a purely-kinematic truss-hinge model that can accurately capture its behaviour. The analysis proposed in this work can be extended to guide the design of two-dimensional architectured solids featuring other regular, quasi-regular or graded patterns, and subjected to other types of loads.


title: Multiple imputation using chained random forests: a preliminary study based on the empirical distribution of out-of-bag prediction errors

abstract: Missing data are common in data analyses in biomedical fields, and imputation methods based on random forests (RF) have become widely accepted, as the RF algorithm can achieve high accuracy without the need for specification of data distributions or relationships. However, the predictions from RF do not contain information about prediction uncertainty, which was unacceptable for multiple imputation. Available RF-based multiple imputation methods tried to do proper multiple imputation either by sampling directly from observations under predicting nodes without accounting for the prediction error or by making normality assumption about the prediction error distribution. In this study, a novel RF-based multiple imputation method was proposed by constructing conditional distributions the empirical distribution of out-of-bag prediction errors. The proposed method was compared with previous method with parametric assumptions about RF's prediction errors and predictive mean matching based on simulation studies on data with presence of interaction term. The proposed non-parametric method can deliver valid multiple imputation results. The accompanying R package for this study is publicly available.


title: Generalized interpretation and identification of separable effects in competing event settings

abstract: In competing event settings, a counterfactual contrast of cause-specific cumulative incidences quantifies the total causal effect of a treatment on the event of interest. However, effects of treatment on the competing event may indirectly contribute to this total effect, complicating its interpretation. We previously proposed the separable effects (Stensrud et al, 2019) to define direct and indirect effects of the treatment on the event of interest. This definition presupposes a treatment decomposition into two components acting along two separate causal pathways, one exclusively outside of the competing event and the other exclusively through it. Unlike previous definitions of direct and indirect effects, the separable effects can be subject to empirical scrutiny in a study where separate interventions on the treatment components are available. Here we extend and generalize the notion of the separable effects in several ways, allowing for interpretation, identification and estimation under considerably weaker assumptions. We propose and discuss a definition of separable effects that is applicable to general time-varying structures, where the separable effects can still be meaningfully interpreted, even when they cannot be regarded as direct and indirect effects. We further derive weaker conditions for identification of separable effects in observational studies where decomposed treatments are not yet available; in particular, these conditions allow for time-varying common causes of the event of interest, the competing events and loss to follow-up. For these general settings, we propose semi-parametric weighted estimators that are straightforward to implement. As an illustration, we apply the estimators to study the separable effects of intensive blood pressure therapy on acute kidney injury, using data from a randomized clinical trial.


title: The anisotropic fractional isoperimetric problem with respect to unconditional unit balls

abstract: The minimizers of the anisotropic fractional isoperimetric inequality with respect to the convex body $K$ in $\mathbb{R}^n$ are shown to be equivalent to star bodies whenever $K$ is strictly convex and unconditional. From this a P\'olya-Szeg\"o principle for anisotropic fractional seminorms is derived by using symmetrization with respect to star bodies.


title: Wide-AdGraph: Detecting Ad Trackers with a Wide Dependency Chain Graph

abstract: Websites use third-party ads and tracking services to deliver targeted ads and collect information about users that visit them. These services put users' privacy at risk, and that is why users' demand for blocking these services is growing. Most of the blocking solutions rely on crowd-sourced filter lists manually maintained by a large community of users. In this work, we seek to simplify the update of these filter lists by combining different websites through a large-scale graph connecting all resource requests made over a large set of sites. The features of this graph are extracted and used to train a machine learning algorithm with the aim of detecting ads and tracking resources. As our approach combines different information sources, it is more robust toward evasion techniques that use obfuscation or changing the usage patterns. We evaluate our work over the Alexa top-10K websites and find its accuracy to be 96.1% biased and 90.9% unbiased with high precision and recall. It can also block new ads and tracking services, which would necessitate being blocked by further crowd-sourced existing filter lists. Moreover, the approach followed in this paper sheds light on the ecosystem of third-party tracking and advertising.


title: On the Baldwin Effect under Coevolution

abstract: The potentially beneficial interaction between learning and evolution, the Baldwin effect, has long been established. This paper considers their interaction within a coevolutionary scenario, ie, where the adaptations of one species typically affects the fitness of others. Using the NKCS model, which allows the systematic exploration of the effects of fitness landscape size, ruggedness, and degree of coupling, it is shown how the amount of learning and the relative rate of evolution can alter behaviour.


title: A large gap in a dilate of a set

abstract: Let $A \subset \mathbb{F}_p$ with $|A| > 1$. We show there is a $d \in \mathbb{F}_p^{\times}$ such that $d \cdot A$ contains a gap of size at least $2p/ |A| - 2 $.


title: Closed-loop experiments on the BrainScaleS-2 architecture

abstract: The evolution of biological brains has always been contingent on their embodiment within their respective environments, in which survival required appropriate navigation and manipulation skills. Studying such interactions thus represents an important aspect of computational neuroscience and, by extension, a topic of interest for neuromorphic engineering. Here, we present three examples of embodiment on the BrainScaleS-2 architecture, in which dynamical timescales of both agents and environment are accelerated by several orders of magnitude with respect to their biological archetypes.


title: Validated Numerical Approximation of Stable Manifolds for Parabolic Partial Differential Equations

abstract: This paper develops validated computational methods for studying infinite dimensional stable manifolds at equilibrium solutions of parabolic PDEs, synthesizing disparate errors resulting from numerical approximation. To construct our approximation, we decompose the stable manifold into three components: a finite dimensional slow component, a fast-but-finite dimensional component, and a strongly contracting infinite dimensional "tail". We employ the parameterization method in a finite dimensional projection to approximate the slow-stable manifold, as well as the attached finite dimensional invariant vector bundles. This approximation provides a change of coordinates which largely removes the nonlinear terms in the slow stable directions. In this adapted coordinate system we apply the Lyapunov-Perron method, resulting in mathematically rigorous bounds on the approximation errors. As a result, we obtain significantly sharper bounds than would be obtained using only the linear approximation given by the eigendirections. As a concrete example we illustrate the technique for a 1D Swift-Hohenberg equation.


title: One-loop Matching for Spin-Dependent Quasi-TMDs

abstract: Transverse momentum dependent parton distribution functions (TMDPDFs) provide a unique probe of the three-dimensional spin structure of hadrons. We construct spin-dependent quasi-TMDPDFs that are amenable to lattice QCD calculations and that can be used to determine spin-dependent TMDPDFs. We calculate the short-distance coefficients connecting spin-dependent TMDPDFs and quasi-TMDPDFs at one-loop order. We find that the helicity and transversity distributions have the same coefficient as the unpolarized TMDPDF. We also argue that the same is true for pretzelosity and that this spin universality of the matching will hold to all orders in $\alpha_s$. Thus, it is possible to calculate ratios of these distributions as a function of longitudinal momentum and transverse position utilizing simpler Wilson line paths than have previously been considered.


title: A convolutional neural-network model of human cochlear mechanics and filter tuning for real-time applications

abstract: Auditory models are commonly used as feature extractors for automatic speech-recognition systems or as front-ends for robotics, machine-hearing and hearing-aid applications. Although auditory models can capture the biophysical and nonlinear properties of human hearing in great detail, these biophysical models are computationally expensive and cannot be used in real-time applications. We present a hybrid approach where convolutional neural networks are combined with computational neuroscience to yield a real-time end-to-end model for human cochlear mechanics, including level-dependent filter tuning (CoNNear). The CoNNear model was trained on acoustic speech material and its performance and applicability were evaluated using (unseen) sound stimuli commonly employed in cochlear mechanics research. The CoNNear model accurately simulates human cochlear frequency selectivity and its dependence on sound intensity, an essential quality for robust speech intelligibility at negative speech-to-background-noise ratios. The CoNNear architecture is based on parallel and differentiable computations and has the power to achieve real-time human performance. These unique CoNNear features will enable the next generation of human-like machine-hearing applications.


title: Chaotic Scattering with Localized Losses: S-Matrix Zeros and Reflection Time Difference for Systems with Broken Time Reversal Invariance

abstract: Motivated by recent studies of the phenomenon of Coherent Perfect Absorption, we develop the random matrix theory framework for understanding statistics of the zeros of the (subunitary) scattering matrices in the complex energy plane, as well as of the recently introduced Refection Time Difference (RTD). The latter plays the same role for S-matrix zeros as the Wigner time delay does for its poles. For systems with broken time-reversal invariance, we derive the n -point correlation functions of the zeros in a closed determinantal form, and study various asymptotics and special cases of the associated kernel. The time-correlation function of the RTD is then evaluated and compared with numerical simulations. This allows to identify a cubic tail in the distribution of RTD, which we conjecture to be a superuniversal characteristic valid for all symmetry classes. We also discuss two methods for possible extraction of S-matrix zeroes from scattering data by harmonic inversion.


title: Model predictive control with random batch methods for a guiding problem

abstract: We model, simulate and control the guiding problem for a herd of evaders under the action of repulsive drivers. The problem is formulated in an optimal control framework, where the drivers (controls) aim to guide the evaders (states) to a desired region of the Euclidean space. The numerical simulation of such models quickly becomes unfeasible for a large number of interacting agents. To reduce the computational cost, we use the Random Batch Method (RBM), which provides a computationally feasible approximation of the dynamics. At each time step, the RBM randomly divides the set of particles into small subsets (batches), considering only the interactions inside each batch. Due to the averaging effect, the RBM approximation converges to the exact dynamics as the time discretization gets finer. We propose an algorithm that leads to the optimal control of a fixed RBM approximated trajectory using a classical gradient descent. The resulting control is not optimal for the original complete system, but rather for the reduced RBM model. We then adopt a Model Predictive Control (MPC) strategy to handle the error in the dynamics. While the system evolves in time, the MPC strategy consists in periodically updating the state and computing the optimal control over a long-time horizon, which is implemented recursively in a shorter time-horizon. This leads to a semi-feedback control strategy. Through numerical experiments we show that the combination of RBM and MPC leads to a significant reduction of the computational cost, preserving the capacity of controlling the overall dynamics.


title: PrIC3: Property Directed Reachability for MDPs

abstract: IC3 has been a leap forward in symbolic model checking. This paper proposes PrIC3 (pronounced pricy-three), a conservative extension of IC3 to symbolic model checking of MDPs. Our main focus is to develop the theory underlying PrIC3. Alongside, we present a first implementation of PrIC3 including the key ingredients from IC3 such as generalization, repushing, and propagation.


title: Time-Discounted Incremental Input/Output-to-State Stability

abstract: The present work provides two alternatives to formulate time-discounted incremental input/output-to-state stability (i-IOSS) as a suitable detectability notion for general nonlinear systems with non-additive disturbances. Both formulations are related to existing i-IOSS notions which result as special cases. Previous results that provide a sufficient Lyapunov-function condition for i-IOSS and that prove i-IOSS to be necessary for the existence of robustly stable full-order state observers are generalized to the presented time-discounted i-IOSS definition for general nonlinear systems. For linear systems, explicit i-IOSS bounds are presented.


title: Accurate Word Alignment Induction from Neural Machine Translation

abstract: Despite its original goal to jointly learn to align and translate, prior researches suggest that Transformer captures poor word alignments through its attention mechanism. In this paper, we show that attention weights DO capture accurate word alignments and propose two novel word alignment induction methods Shift-Att and Shift-AET. The main idea is to induce alignments at the step when the to-be-aligned target token is the decoder input rather than the decoder output as in previous work. Shift-Att is an interpretation method that induces alignments from the attention weights of Transformer and does not require parameter update or architecture change. Shift-AET extracts alignments from an additional alignment module which is tightly integrated into Transformer and trained in isolation with supervision from symmetrized Shift-Att alignments. Experiments on three publicly available datasets demonstrate that both methods perform better than their corresponding neural baselines and Shift-AET significantly outperforms GIZA++ by 1.4-4.8 AER points.