title: Ultrafast ratchet dynamics of skyrmion by defect engineering under gigahertz magnetic fields

abstract: The novel ratchet motion of magnetic skyrmions driven by microwave magnetic fields, with the motion direction and speed tunable by field parameters, provides a promising route to drive magnetic skyrmions in materials with poor conductivity. However, as an indirect motion, skyrmion ratchet motion speed is generally low in comparison with the direct motions driven by current. Toward practical applications, it is important to ask if there are mechanisms to realize ultrafast ratchet motion of magnetic skyrmions and how such novel motion can be integrated into racetrack-type skyrmion devices. In this work, we explore the effects of defects and edges on the ratchet motion of magnetic skyrmions under time-varying magnetic fields in GHz. We demonstrate that the ratchet motion of skyrmion is not only guided along the defect tracks or edges, but also with a remarkable speed-up (with a factor over ten) compared with that in the bulk region. The skyrmion ratchet motion speed reaches 100 m/s along a straight defect track/edge and 10^9 rad/s along a circular edge under a field of ~50 mT, comparable to those direct motions driven by currents. Moreover, the skyrmion ratchet motion along the defect track/edge can be facilely controlled by the field and defect parameters. Analysis based on time-averaged Thiele equation of skyrmion verifies that such a speed-up effect is due to the increased time-averaged driving force perpendicular to the skyrmion motion when it approaches the defect track or edge, analogous to that discovered in direct motions driven by currents.


title: Contextual Lensing of Universal Sentence Representations

abstract: What makes a universal sentence encoder universal? The notion of a generic encoder of text appears to be at odds with the inherent contextualization and non-permanence of language use in a dynamic world. However, mapping sentences into generic fixed-length vectors for downstream similarity and retrieval tasks has been fruitful, particularly for multilingual applications. How do we manage this dilemma? In this work we propose Contextual Lensing, a methodology for inducing context-oriented universal sentence vectors. We break the construction of universal sentence vectors into a core, variable length, sentence matrix representation equipped with an adaptable `lens' from which fixed-length vectors can be induced as a function of the lens context. We show that it is possible to focus notions of language similarity into a small number of lens parameters given a core universal matrix representation. For example, we demonstrate the ability to encode translation similarity of sentences across several languages into a single weight matrix, even when the core encoder has not seen parallel data.


title: sKPNSGA-II: Knee point based MOEA with self-adaptive angle for Mission Planning Problems

abstract: Real-world and complex problems have usually many objective functions that have to be optimized all at once. Over the last decades, Multi-Objective Evolutionary Algorithms (MOEAs) are designed to solve this kind of problems. Nevertheless, some problems have many objectives which lead to a large number of non-dominated solutions obtained by the optimization algorithms. The large set of non-dominated solutions hinders the selection of the most appropriate solution by the decision maker. This paper presents a new algorithm that has been designed to obtain the most significant solutions from the Pareto Optimal Frontier (POF). This approach is based on the cone-domination applied to MOEA, which can find the knee point solutions. In order to obtain the best cone angle, we propose a hypervolume-distribution metric, which is used to self-adapt the angle during the evolving process. This new algorithm has been applied to the real world application in Unmanned Air Vehicle (UAV) Mission Planning Problem. The experimental results show a significant improvement of the algorithm performance in terms of hypervolume, number of solutions, and also the required number of generations to converge.


title: A crucial test for astronomical spectrograph calibration with frequency combs

abstract: Laser frequency combs (LFCs) are well on their way to becoming the next-generation calibration sources for precision astronomical spectroscopy. This development is considered key in the hunt for low-mass rocky exoplanets around solar-type stars whose discovery with the radial-velocity method requires cm/s Doppler precision. In order to prove such precise calibration with an LFC, it must be compared to another calibrator of at least the same precision. Being the best available spectrograph calibrator, this means comparing it to a second - fully independent - LFC. This test had long been pending, but our installation of two LFCs at the ultra-stable spectrograph HARPS presented the so far unique opportunity for simultaneous calibrations with two separate LFCs. Although limited in time, the test results confirm the 1 cm/s stability that has long been anticipated by the astronomical community.


title: Entropy of black holes with arbitrary shapes in loop quantum gravity

abstract: The quasi-local notion of an isolated horizon is employed to study the entropy of black holes without any particular symmetry in loop quantum gravity. The idea of characterizing the shape of a horizon by a sequence of local areas is successfully applied in the scheme to calculate the entropy by the $SO(1,1)$ BF boundary theory matching loop quantum gravity in the bulk. The generating function for calculating the microscopical degrees of freedom of a given isolated horizon is obtained. Numerical computations of small black holes indicate a new entropy formula containing the quantum correction related to the partition of the horizon. Further evidence shows that, for a given horizon area, the entropy decreases as a black hole deviates from the spherically symmetric one, and the entropy formula is also well suitable for big black holes.


title: Diameters of random Cayley graphs of finite nilpotent groups

abstract: We prove the existence of a limiting distribution for the appropriately rescaled diameters of random undirected Cayley graphs of finite nilpotent groups of bounded rank and nilpotency class, thus extending a result of Shapira and Zuck which dealt with the case of abelian groups. The limiting distribution is defined on a space of unimodular lattices, as in the case of random Cayley graphs of abelian groups. Our result, when specialised to a certain family of unitriangular groups, establishes a very recent conjecture of Hermon and Thomas. We derive this as a consequence of a general inequality, showing that the diameter of a Cayley graph of a nilpotent group is governed by the diameter of its abelianisation.


title: Fast Differentiable Sorting and Ranking

abstract: The sorting operation is one of the most commonly used building blocks in computer programming. In machine learning, it is often used for robust statistics. However, seen as a function, it is piecewise linear and as a result includes many kinks where it is non-differentiable. More problematic is the related ranking operator, often used for order statistics and ranking metrics. It is a piecewise constant function, meaning that its derivatives are null or undefined. While numerous works have proposed differentiable proxies to sorting and ranking, they do not achieve the $O(n \log n)$ time complexity one would expect from sorting and ranking operations. In this paper, we propose the first differentiable sorting and ranking operators with $O(n \log n)$ time and $O(n)$ space complexity. Our proposal in addition enjoys exact computation and differentiation. We achieve this feat by constructing differentiable operators as projections onto the permutahedron, the convex hull of permutations, and using a reduction to isotonic optimization. Empirically, we confirm that our approach is an order of magnitude faster than existing approaches and showcase two novel applications: differentiable Spearman's rank correlation coefficient and least trimmed squares.


title: Halpern Iteration for Near-Optimal and Parameter-Free Monotone Inclusion and Strong Solutions to Variational Inequalities

abstract: We leverage the connections between nonexpansive maps, monotone Lipschitz operators, and proximal mappings to obtain near-optimal (i.e., optimal up to poly-log factors in terms of iteration complexity) and parameter-free methods for solving monotone inclusion problems. These results immediately translate into near-optimal guarantees for approximating strong solutions to variational inequality problems, approximating convex-concave min-max optimization problems, and minimizing the norm of the gradient in min-max optimization problems. Our analysis is based on a novel and simple potential-based proof of convergence of Halpern iteration, a classical iteration for finding fixed points of nonexpansive maps. Additionally, we provide a series of algorithmic reductions that highlight connections between different problem classes and lead to lower bounds that certify near-optimality of the studied methods.


title: Stochastic Navier-Stokes equations on a thin spherical domain

abstract: Incompressible Navier-Stokes equations on a thin spherical domain $Q_\varepsilon$ along with free boundary conditions under a random forcing are considered. The convergence of the martingale solution of these equations to the martingale solution of the stochastic Navier-Stokes equations on a sphere $\mathbb{S}^2$ as the thickness converges to zero is established.


title: Contextual Equivalence for Signal Flow Graphs

abstract: We extend the signal flow calculus---a compositional account of the classical signal flow graph model of computation---to encompass affine behaviour, and furnish it with a novel operational semantics. The increased expressive power allows us to define a canonical notion of contextual equivalence, which we show to coincide with denotational equality. Finally, we characterise the realisable fragment of the calculus: those terms that express the computations of (affine) signal flow graphs.


title: Evolution of Cosmological Total Energy Density and Transient Periods in Cosmology

abstract: The evolution of the Universe is traditionally examined by monitoring how its material content evolves as it expands. This model of an isolated system is expressed as the equation of motion of the bulk but segmented into different epochs. In particular, the evolution of the {\it $Friedmann-Lema\hat{i}tre-Robertson - Walker$} (FRLW) Universe is separated into different epochs that are characterised by the dynamics of whichever mass-energy density constituent is dominant at the time. The standard analysis of the evolution of the Universe in a particular epoch often considers the evolution of the dominant energy density only, disregarding all others. Whereas this represents the limiting case, in principle the contributions from others cannot always be ignored particularly in the vicinity of the equality of the various competing mass-energy densities or the transition periods between epochs. We examine the evolution of the total energy density rather than individual energy densities during the different epochs. We find that taking into account the contributions from the various constituents lead to a broader range of possible evolution histories which enriches the standard picture.


title: Weak limits of quasiminimizing sequences

abstract: We show that the weak limit of a quasiminimizing sequence is a quasiminimal set. This generalizes the notion of weak limit of a minimizing sequences introduced by De Lellis, De Philippis, De Rosa, Ghiraldin and Maggi. This result is also analogous to the limiting theorem of David in local Hausdorff convergence. The proof is based on the construction of suitable deformations and is not limited to the ambient space $\mathbb{R}^n \setminus \Gamma$, where $\Gamma$ is the boundary. We deduce a direct method to solve various Plateau problems, even minimizing the intersection of competitors with the boundary. Furthermore, we propose a structure to build Federer--Fleming projections as well as a new estimate on the choice of the projection centers.


title: Detecting a logarithmic nonlinearity in the Schr\"odinger equation using Bose-Einstein condensates

abstract: We study the effect of a logarithmic nonlinearity in the Schr\"odinger equation (SE) on the dynamics of a freely expanding Bose-Einstein condensate (BEC). The logarithmic nonlinearity was one of the first proposed nonlinear extensions to the SE which emphasized the conservation of important physical properties of the linear theory, e.g.: the separability of noninteracting states. Using this separability, we incorporate it into the description of a BEC obeying a logarithmic Gross-Pittaevskii equation. We investigate the dynamics of such BECs using variational and numerical methods and find that, using experimental techniques like delta kick collimation, experiments with extended free-fall times as available on microgravity platforms could be able to lower the bound on the strength of the logarithmic nonlinearity by at least one order of magnitude.


title: Multi-Agent Reinforcement Learning as a Computational Tool for Language Evolution Research: Historical Context and Future Challenges

abstract: Computational models of emergent communication in agent populations are currently gaining interest in the machine learning community due to recent advances in Multi-Agent Reinforcement Learning (MARL). Current contributions are however still relatively disconnected from the earlier theoretical and computational literature aiming at understanding how language might have emerged from a prelinguistic substance. The goal of this paper is to position recent MARL contributions within the historical context of language evolution research, as well as to extract from this theoretical and computational background a few challenges for future research.


title: Neutron and quark stars: constraining the parameters for simple EoS using the GW170817

abstract: It is well known that the equation of state (EoS) of compact objects like neutron and quark stars is not determined despite there are several sophisticated models to describe it. From the electromagnetic observations, summarized in \cite{Lattimer01}, and the recent observation of gravitational waves from binary neutron star inspiral GW170817 \cite{Abbott2017_etal} and GW190425 \cite{Abbott2019}, it is possible to make an estimation of the range of masses and so constraint the mass of the neutron and quark stars, determining not only the best approximation for the EoS, but which kind of stars we would be observing. In this paper we explore several configurations of neutron stars assuming a simple polytropic equation of state, using a single layer model without crust. In particular, when the EoS depends on the mass rest density, $p=K \rho_{0}^{\Gamma}$, and when it depends on the energy density $p=K \rho^{\Gamma}$, considerable differences in the mass-radius relationships are found. On the other hand, we also explore quark stars models using the MIT bag EoS for different values of the vacuum energy density $B$.


title: The Fluidity of Concept Representations in Human Brain Signals

abstract: Cognitive theories of human language processing often distinguish between concrete and abstract concepts. In this work, we analyze the discriminability of concrete and abstract concepts in fMRI data using a range of analysis methods. We find that the distinction can be decoded from the signal with an accuracy significantly above chance, but it is not found to be a relevant structuring factor in clustering and relational analyses. From our detailed comparison, we obtain the impression that human concept representations are more fluid than dichotomous categories can capture. We argue that fluid concept representations lead to more realistic models of human language processing because they better capture the ambiguity and underspecification present in natural language use.


title: Autonomous Angles-Only Multi-Target Tracking for Spacecraft Swarms

abstract: This paper presents a new algorithm for autonomous multitarget tracking of resident space objects using optical angles-only measurements from a spaceborne observer. To enable autonomous angles-only navigation of spacecraft swarms, an observer must be able to identify and track multiple known or unknown target space objects in view, without reliance on a-priori relative orbit knowledge. Extremely high assignment precision is necessary with low measurement frequencies and limited computational resources. The new "Spacecraft Angles-only MUltitarget tracking System" (SAMUS) algorithm has been developed to meet these objectives and constraints. It combines domain-specific modeling of target kinematics with multi-hypothesis techniques to autonomously track multiple unknown targets using only sequential camera images. A measurement transform ensures that target motion in the observer reference frame follows consistent parametric models; curve fitting is used to predict track behavior; and kinematically-derived track gating and scoring criteria are applied to improve the efficiency and accuracy of the multi-hypothesis approach. Monte-Carlo testing with high-fidelity simulations demonstrates close to 100% measurement assignment precision and strong recall across a range of multi-spacecraft formations, in both near-circular and eccentric orbits. Tracking is maintained in the presence of eclipse periods, significant measurement noise, and partially known swarm maneuvers. A comparison to other tracking algorithms reveals strong advantages in precision, robustness and computation time, crucial for spaceborne angles-only navigation.


title: Machine Learning to Tackle the Challenges of Transient and Soft Errors in Complex Circuits

abstract: The Functional Failure Rate analysis of today's complex circuits is a difficult task and requires a significant investment in terms of human efforts, processing resources and tool licenses. Thereby, de-rating or vulnerability factors are a major instrument of failure analysis efforts. Usually computationally intensive fault-injection simulation campaigns are required to obtain a fine-grained reliability metrics for the functional level. Therefore, the use of machine learning algorithms to assist this procedure and thus, optimising and enhancing fault injection efforts, is investigated in this paper. Specifically, machine learning models are used to predict accurate per-instance Functional De-Rating data for the full list of circuit instances, an objective that is difficult to reach using classical methods. The described methodology uses a set of per-instance features, extracted through an analysis approach, combining static elements (cell properties, circuit structure, synthesis attributes) and dynamic elements (signal activity). Reference data is obtained through first-principles fault simulation approaches. One part of this reference dataset is used to train the machine learning model and the remaining is used to validate and benchmark the accuracy of the trained tool. The presented methodology is applied on a practical example and various machine learning models are evaluated and compared.


title: Datasets of ionospheric parameters provided by SCINDA GNSS receiver from Lisbon airport area

abstract: Here we present datasets provided by a SCINDA GNSS receiver installed in the Lisbon airport area from November of 2014 to July of 2019. The installed equipment is a NovAtel EURO4 with a JAVAD Choke-Ring antenna. The data are in an archived format and include the general messages on quality of records (*.msg), RANGE files (*.rng), raw observables as the signal-to-noise (S/N) ratios, pseudoranges and phases (*.obs), receiver position information (*.psn), ionosphere scintillations monitor (ISMRB; *.ism) and ionospheric parameters: total electron content (TEC), rate of change of TEC index (ROTI), and the scintillation index S4 (*.scn). The presented data cover the full 2015 year. The raw data are of 1-minute resolution and available for each of the receiver-satellite pairs. The processing and the analysis of the ionosphere scintillation datasets can be done using a specific "SCINDA-Iono" toolbox for the MATLAB developed by T. Barlyaeva (2019) and available online via MathWorks File Exchange system. The toolbox calculates 1-hour means for ionospheric parameters for each of the available receiver-satellite pairs and averaged over all available satellites during the analyzed hour. Here we present the processed data for the following months in 2015: March, June, October, and December. The months were selected as containing most significant geomagnetic events of 2015. The 1-hour means for other months can be obtained from the raw data using the aforementioned toolbox. The provided datasets are interesting for the GNSS and ionosphere based scientific communities.


title: Performance of real-time adaptive optics compensation in a turbulent channel with high-dimensional spatial-mode encoding

abstract: The orbital angular momentum (OAM) of photons is a promising degree of freedom for high-dimensional quantum key distribution (QKD). However, effectively mitigating the adverse effects of atmospheric turbulence is a persistent challenge in OAM QKD systems operating over free-space communication channels. In contrast to previous works focusing on correcting static simulated turbulence, we investigate the performance of OAM QKD in real atmospheric turbulence with real-time adaptive optics (AO) correction. We show that, even our AO system provides a limited correction, it is possible to mitigate the errors induced by weak turbulence and establish a secure channel. The crosstalk induced by turbulence and the performance of AO systems is investigated in two configurations: a lab-scale link with controllable turbulence, and a 340 m long cross-campus link with dynamic atmospheric turbulence. Our experimental results suggest that an advanced AO system with fine beam tracking, reliable beam stabilization, precise wavefront sensing, and accurate wavefront correction is necessary to adequately correct turbulence-induced error. We also propose and demonstrate different solutions to improve the performance of OAM QKD with turbulence, which could enable the possibility of OAM encoding in strong turbulence.


title: On the relation of free bodies, inertial sets and arbitrariness

abstract: We present a fully relational definition of inertial systems based in the No Arbitrariness Principle, that eliminates the need for absolute inertial frames of reference or distinguished reference systems as the "fixed stars" in order to formulate Newtonian mechanics. The historical roots of this approach to mechanics are discussed as well. The work is based in part in the constructivist perspective of space advanced by Piaget. We argue that inertial systems admit approximations and that what is of practical use are precisely such approximations. We finally discuss a slightly larger class of systems that we call "relatively inertial" which are the fundamental systems in a relational view of mechanics.


title: Spatio-Temporal Coverage Enhancement in Drive-By Sensing Through Utility-Aware Mobile Agent Selection

abstract: In recent years, the drive-by sensing paradigm has become increasingly popular for cost-effective monitoring of urban areas. Drive-by sensing is a form of crowdsensing wherein sensor-equipped vehicles (aka, mobile agents) are the primary data gathering agents. Enhancing the efficacy of drive-by sensing poses many challenges, an important one of which is to select non-dedicated mobile agents on which a limited number of sensors are to be mounted. This problem, which we refer to as the mobile-agent selection problem, has a significant impact on the spatio-temporal coverage of the drive-by sensing platforms and the resultant datasets. The challenge here is to achieve maximum spatiotemporal coverage while taking the relative importance levels of geographical areas into account. In this paper, we address this problem in the context of the SCOUTS project, the goal of which is to map and analyze the urban heat island phenomenon accurately. Our work makes several major technical contributions. First, we delineate a model for representing the mobile agents selection problem. This model takes into account the trajectories of the vehicles (public transportation buses in our case) and the relative importance of the urban regions, and formulates it as an optimization problem. Second, we provide two algorithms that are based upon the utility (coverage) values of mobile agents, namely, a hotspot-based algorithm that limits the search space to important sub-regions and a utility-aware genetic algorithm that enables the latter algorithm to make unbiased selections. Third, we design a highly efficient coverage redundancy minimization algorithm that, at each step, chooses the mobile agent, which provides maximal improvement to the spatio-temporal coverage. This paper reports a series of experiments on a real-world dataset from Athens, GA, USA, to demonstrate the effectiveness of the proposed approaches.


title: Towards Optimal Kinetic Energy Harvesting for the Batteryless IoT

abstract: Traditional Internet of Things (IoT) sensors rely on batteries that need to be replaced or recharged frequently which impedes their pervasive deployment. A promising alternative is to employ energy harvesters that convert the environmental energy into electrical energy. Kinetic Energy Harvesting (KEH) converts the ambient motion/vibration energy into electrical energy to power the IoT sensor nodes. However, most previous works employ KEH without dynamically tracking the optimal operating point of the transducer for maximum power output. In this paper, we systematically analyse the relation between the operating point of the transducer and the corresponding energy yield. To this end, we explore the voltage-current characteristics of the KEH transducer to find its Maximum Power Point (MPP). We show how this operating point can be approximated in a practical energy harvesting circuit. We design two hardware circuit prototypes to evaluate the performance of the proposed mechanism and analyse the harvested energy using a precise load shaker under a wide set of controlled conditions typically found in human-centric applications. We analyse the dynamic current-voltage characteristics and specify the relation between the MPP sampling rate and harvesting efficiency which outlines the need for dynamic MPP tracking. The results show that the proposed energy harvesting mechanism outperforms the conventional method in terms of generated power and offers at least one order of magnitude higher power than the latter.


title: The Forgotten Life of Mileva Mari\'c Einstein

abstract: Today, February 11, is the International Day of Women and Girls in Science, the perfect day to remember Mileva Mari\'{c} Einstein, a brilliant but largely unknown scientist. While her husband, Albert Einstein is celebrated as perhaps the best physicist of the century, one question about his career remains: How much did his first wife contribute to his groundbreaking science? While it is not possible to credit her with any specific part of his work, their letters and numerous testimonies presented in books dedicated to her $^{[1-5]}$ provide substantial evidence on how they collaborated from the time they met in 1896 up to their separation in 1914. They depict a couple united by a shared passion for physics, music and for each other. So here is her story.


title: On Some Geometrical Aspects of Space-Time Description and Relativity

abstract: In order to ask for future concepts of relativity, one has to build upon the original concepts instead of the nowadays common formalism only, and as such recall and reconsider some of its roots in geometry. So in order to discuss 3-space and dynamics, we recall briefly Minkowski's approach in 1910 implementing the nowadays commonly used 4-vector calculus and related tensorial representations as well as Klein's 1910 paper on the geometry of the Lorentz group. To include microscopic representations, we discuss few aspects of Wigner's and Weinberg's 'boost' approach to describe 'any spin' with respect to its reductive Lie algebra and coset theory, and we relate the physical identification to objects in $P^{5}$ based on the case $(1,0)\oplus(0,1)$ of the electromagnetic field. So instead of following this -- in some aspects -- special and misleading 'old' representation theory, based on 4-vector calculus and tensors, we provide and use an alternative representation based on line geometry which -- besides comprising known representation theory -- is capable of both describing (classical) projective geometry of 3-space as well as it yields spin matrices and the classical Lie transfer. In addition, this geometry is capable of providing a more general route to known Lie symmetries, especially of the su(2)$\oplus$i~su(2) Lie algebra of special relativity, as well as it comprises gauge theories and affine geometry. Thus it serves as foundation for a future understanding of more general representation theory of relativity based, however, on roots known from classical projective geometry and $P^{5}$. As an application, we discuss Lorentz transformations in point space in terms of line and Complex geometry, where we can identify them as...


title: Spectra of chains connected to complete graphs

abstract: We characterize the spectrum of the Laplacian of graphs composed of one or two finite or infinite chains connected to a complete graph. We show the existence of localized eigenvectors of two types, eigenvectors that vanish exactly outside the complete graph and eigenvectors that decrease exponentially outside the complete graph. Our results also imply gaps between the eigenvalues corresponding to localized and extended eigenvectors.


title: Deep Neural Networks Carve the Brain at its Joints

abstract: How an individual's unique brain connectivity determines that individual's cognition, behavior, and risk for pathology is a fundamental question in basic and clinical neuroscience. In seeking answers, many have turned to machine learning, with some noting the particular promise of deep neural networks in modelling complex non-linear functions. However, it is not clear that complex functions actually exist between brain connectivity and behavior, and thus if deep neural networks necessarily outperform simpler linear models, or if their results would be interpretable. Here we show that, across 52 subject measures of cognition and behavior, deep neural networks fit to each brain region's connectivity outperform linear regression, particularly for the brain's connector hubs--regions with diverse brain connectivity--whereas the two approaches perform similarly when fit to brain systems. Critically, averaging deep neural network predictions across brain regions results in the most accurate predictions, demonstrating the ability of deep neural networks to easily model the various functions that exists between regional brain connectivity and behavior, carving the brain at its joints. Finally, we shine light into the black box of deep neural networks using multislice network models. We determined that the relationship between connector hubs and behavior is best captured by modular deep neural networks. Our results demonstrate that both simple and complex relationships exist between brain connectivity and behavior, and that deep neural networks can fit both. Moreover, deep neural networks are particularly powerful when they are first fit to the various functions of a system independently and then combined. Finally, deep neural networks are interpretable when their architectures are structurally characterized using multislice network models.


title: Reliable Distributed Clustering with Redundant Data Assignment

abstract: In this paper, we present distributed generalized clustering algorithms that can handle large scale data across multiple machines in spite of straggling or unreliable machines. We propose a novel data assignment scheme that enables us to obtain global information about the entire data even when some machines fail to respond with the results of the assigned local computations. The assignment scheme leads to distributed algorithms with good approximation guarantees for a variety of clustering and dimensionality reduction problems.


title: Comment on A dark matter interpretation of excesses in multiple direct detection experiments [arXiv:2002.06937]

abstract: In their recent preprint [arXiv:2002.06937], Kurinsky, Baxter, Kahn, and Krnjaic assume an unphysical ionization yield for plasmon excitations in order to claim a possible dark matter signal. Their proposed signal is not possible based on known physics, but their proposed detection method warrants further investigation.

categories: hep-ph astro-ph.CO cond-mat.mtrl-sci hep-ex physics.ins-det


title: On rectangle-decomposable 2-parameter persistence modules

abstract: This paper addresses two questions: (a) can we identify a sensible class of 2-parameter persistence modules on which the rank invariant is complete? (b) can we determine efficiently whether a given 2-parameter persistence module belongs to this class? We provide positive answers to both questions, and our class of interest is that of rectangle-decomposable modules. Our contributions include: on the one hand, a proof that the rank invariant is complete on rectangle-decomposable modules, together with an inclusion-exclusion formula for counting the multiplicities of the summands; on the other hand, algorithms to check whether a module induced in homology by a bifiltration is rectangle-decomposable, and to decompose it in the affirmative, with a better complexity than state-of-the-art decomposition methods for general 2-parameter persistence modules. Our algorithms are backed up by a new structure theorem, whereby a 2-parameter persistence module is rectangle-decomposable if, and only if, its restrictions to squares are. This local characterization is key to the efficiency of our algorithms, and it generalizes previous conditions derived for the smaller class of block-decomposable modules. It also admits an algebraic formulation that turns out to be a weaker version of the one for block-decomposability. By contrast, we show that general interval-decomposability does not admit such a local characterization, even when locality is understood in a broad sense. Our analysis focuses on the case of modules indexed over finite grids, the more general cases are left as future work.


title: Local Balance in Graph Decompositions

abstract: In a balanced graph decomposition, every vertex of the host graph appears in the same number of blocks. We propose the use of colored loops as a framework for unifying various other types of local balance conditions in graph decompositions. In the basic case where a single graph with colored loops is used as a block, an existence theory for such decompositions follows as a straightforward generalization of previous work on balanced graph decompositions.


title: Photochemical dynamics under incoherent illumination: light harvesting in self-assembled molecular J-aggregates

abstract: Transport phenomena in organic, self-assembled molecular J-aggregates have long attracted a great deal of attention due to its potential role in designing novel organic photovoltaic devices. A large number of theoretical and experimental studies have been carried out describing excitonic energy transfer in J-aggregates under the assumption that excitons are induced by a coherent laser-light source or initialized by a localized excitation on a particular chromophore. However, these assumptions may not provide an accurate description to assess the efficiency of J-aggregates, particularly as building blocks of organic solar cells. In natural conditions, J-aggregates would be subjected to an incoherent source of light (as is sunlight), which would illuminate the whole photosynthetic complex rather than a single molecule. In this work, we present the first study of the efficiency of photosynthetic energy transport in self-assembled molecular aggregates under incoherent sunlight illumination. By making use of a minimalistic model of a cyanine dye J-aggregate, we demonstrate that long-range transport efficiency is enhanced when exciting the aggregate with incoherent light. Our results thus support the conclusion that J-aggregates are indeed excellent candidates for devices where efficient long-range incoherently-induced exciton transport is desired, such as in highly efficient organic solar cells.


title: STW and SPIHT Wavelet compression using MATLAB wavelet Tool for Color Image

abstract: Images can be represented by mathematical function using wavelets. Wavelet can be manipulated (shrink/expand) by applying some values to its function. It helps to localize the signals. Application of wavelet in images processing has larger scope as proved. Image compression is one of the dimension. There are various wavelet image compression techniques. This research paper focused on comparison of only two techniques i.e. STW and SPIHT for color JPEG images.


title: MA-DST: Multi-Attention Based Scalable Dialog State Tracking

abstract: Task oriented dialog agents provide a natural language interface for users to complete their goal. Dialog State Tracking (DST), which is often a core component of these systems, tracks the system's understanding of the user's goal throughout the conversation. To enable accurate multi-domain DST, the model needs to encode dependencies between past utterances and slot semantics and understand the dialog context, including long-range cross-domain references. We introduce a novel architecture for this task to encode the conversation history and slot semantics more robustly by using attention mechanisms at multiple granularities. In particular, we use cross-attention to model relationships between the context and slots at different semantic levels and self-attention to resolve cross-domain coreferences. In addition, our proposed architecture does not rely on knowing the domain ontologies beforehand and can also be used in a zero-shot setting for new domains or unseen slot values. Our model improves the joint goal accuracy by 5% (absolute) in the full-data setting and by up to 2% (absolute) in the zero-shot setting over the present state-of-the-art on the MultiWoZ 2.1 dataset.


title: Compositional Neural Machine Translation by Removing the Lexicon from Syntax

abstract: The meaning of a natural language utterance is largely determined from its syntax and words. Additionally, there is evidence that humans process an utterance by separating knowledge about the lexicon from syntax knowledge. Theories from semantics and neuroscience claim that complete word meanings are not encoded in the representation of syntax. In this paper, we propose neural units that can enforce this constraint over an LSTM encoder and decoder. We demonstrate that our model achieves competitive performance across a variety of domains including semantic parsing, syntactic parsing, and English to Mandarin Chinese translation. In these cases, our model outperforms the standard LSTM encoder and decoder architecture on many or all of our metrics. To demonstrate that our model achieves the desired separation between the lexicon and syntax, we analyze its weights and explore its behavior when different neural modules are damaged. When damaged, we find that the model displays the knowledge distortions that aphasics are evidenced to have.


title: SynFi: Automatic Synthetic Fingerprint Generation

abstract: Authentication and identification methods based on human fingerprints are ubiquitous in several systems ranging from government organizations to consumer products. The performance and reliability of such systems directly rely on the volume of data on which they have been verified. Unfortunately, a large volume of fingerprint databases is not publicly available due to many privacy and security concerns. In this paper, we introduce a new approach to automatically generate high-fidelity synthetic fingerprints at scale. Our approach relies on (i) Generative Adversarial Networks to estimate the probability distribution of human fingerprints and (ii) Super-Resolution methods to synthesize fine-grained textures. We rigorously test our system and show that our methodology is the first to generate fingerprints that are computationally indistinguishable from real ones, a task that prior art could not accomplish.


title: Identifying physical health comorbidities in a cohort of individuals with severe mental illness: An application of SemEHR

abstract: Multimorbidity research in mental health services requires data from physical health conditions which is traditionally limited in mental health care electronic health records. In this study, we aimed to extract data from physical health conditions from clinical notes using SemEHR. Data was extracted from Clinical Record Interactive Search (CRIS) system at South London and Maudsley Biomedical Research Centre (SLaM BRC) and the cohort consisted of all individuals who had received a primary or secondary diagnosis of severe mental illness between 2007 and 2018. Three pairs of annotators annotated 2403 documents with an average Cohen's Kappa of 0.757. Results show that the NLP performance varies across different diseases areas (F1 0.601 - 0.954) suggesting that the language patterns or terminologies of different condition groups entail different technical challenges to the same NLP task.


title: Application of Pre-training Models in Named Entity Recognition

abstract: Named Entity Recognition (NER) is a fundamental Natural Language Processing (NLP) task to extract entities from unstructured data. The previous methods for NER were based on machine learning or deep learning. Recently, pre-training models have significantly improved performance on multiple NLP tasks. In this paper, firstly, we introduce the architecture and pre-training tasks of four common pre-training models: BERT, ERNIE, ERNIE2.0-tiny, and RoBERTa. Then, we apply these pre-training models to a NER task by fine-tuning, and compare the effects of the different model architecture and pre-training tasks on the NER task. The experiment results showed that RoBERTa achieved state-of-the-art results on the MSRA-2006 dataset.


title: If $L(\chi,1)=0$ then $\zeta(1/2+it)\neq0$

abstract: Let $L(s)=\sum_{n=1}^{+\infty}\dfrac{a(n)}{n^s}$ be a Dirichlet series were $a(n)$ is a bounded completely multiplicative function. We prove that if $L(s)$ extends to a holomorphic function on the open half space $\Re s >1-\delta$, $\delta>0$ and $L(1)=0$ then such a half space is a zero free region of the Riemann zeta function $\zeta(s)$. Similar results is proven for completely multiplicative functions defined on the space of the ideals of the ring of the algebraic integers of a number field of finite degree.


title: Tunable correlation-driven symmetry breaking in twisted double bilayer graphene

abstract: A variety of correlated phases have recently emerged in select twisted van der Waals (vdW) heterostructures owing to their flat electronic dispersions. In particular, heterostructures of twisted double bilayer graphene (tDBG) manifest electric field-tunable correlated insulating (CI) states at all quarter fillings of the conduction band, accompanied by nearby states featuring signatures suggestive of superconductivity. Here, we report electrical transport measurements of tDBG in which we elucidate the fundamental role of spontaneous symmetry breaking within its correlated phase diagram. We observe abrupt resistivity drops upon lowering the temperature in the correlated metallic phases neighboring the CI states, along with associated nonlinear $I$-$V$ characteristics. Despite qualitative similarities to superconductivity, concomitant reversals in the sign of the Hall coefficient instead point to spontaneous symmetry breaking as the origin of the abrupt resistivity drops, while Joule heating appears to underlie the nonlinear transport. Our results suggest that similar mechanisms are likely relevant across a broader class of semiconducting flat band vdW heterostructures.


title: Constructing categorical idempotents

abstract: We give a general construction of categorical idempotents which recovers the categorified Jones-Wenzl projectors, categorified Young symmetrizers, and other constructions as special cases. The construction is intimately tied to cell theory in the sense of additive monoidal categories.


title: On the Mirabolic Trace Formula for $\mathfrak{gl}(n)$

abstract: In this paper, a Chaudouard type trace formula is established for the Lie algebra $\mathfrak{gl}(n)$, by integrating the Lie algebra analogue of the Selberg kernel function against a mirabolic Eisenstein series on $\mathrm{GL}(n)$. The result is a combination of zeta functions $\zeta_E(s)$ of extensions over the base field $F$ of degree $[E:F]\leq n$.


title: Second-order Conditional Gradient Sliding

abstract: Constrained second-order convex optimization algorithms are the method of choice when a high accuracy solution to a problem is needed, due to their local quadratic convergence. These algorithms require the solution of a constrained quadratic subproblem at every iteration. We present the \emph{Second-Order Conditional Gradient Sliding} (SOCGS) algorithm, which uses a projection-free algorithm to solve the constrained quadratic subproblems inexactly. When the feasible region is a polytope the algorithm converges quadratically in primal gap after a finite number of linearly convergent iterations. Once in the quadratic regime the SOCGS algorithm requires $\mathcal{O}(\log(\log 1/\varepsilon))$ first-order and Hessian oracle calls and $\mathcal{O}(\log (1/\varepsilon) \log(\log1/\varepsilon))$ linear minimization oracle calls to achieve an $\varepsilon$-optimal solution. This algorithm is useful when the feasible region can only be accessed efficiently through a linear optimization oracle, and computing first-order information of the function, although possible, is costly.


title: Asymptotically Optimal Load Balancing in Large-scale Heterogeneous Systems with Multiple Dispatchers

abstract: We consider the load balancing problem in large-scale heterogeneous systems with multiple dispatchers. We introduce a general framework called Local-Estimation-Driven (LED). Under this framework, each dispatcher keeps local (possibly outdated) estimates of queue lengths for all the servers, and the dispatching decision is made purely based on these local estimates. The local estimates are updated via infrequent communications between dispatchers and servers. We derive sufficient conditions for LED policies to achieve throughput optimality and delay optimality in heavy-traffic, respectively. These conditions directly imply delay optimality for many previous local-memory based policies in heavy traffic. Moreover, the results enable us to design new delay optimal policies for heterogeneous systems with multiple dispatchers. Finally, the heavy-traffic delay optimality of the LED framework directly resolves a recent open problem on how to design optimal load balancing schemes using delayed information.


title: REALM: Retrieval-Augmented Language Model Pre-Training

abstract: Language model pre-training has been shown to capture a surprising amount of world knowledge, crucial for NLP tasks such as question answering. However, this knowledge is stored implicitly in the parameters of a neural network, requiring ever-larger networks to cover more facts. To capture knowledge in a more modular and interpretable way, we augment language model pre-training with a latent knowledge retriever, which allows the model to retrieve and attend over documents from a large corpus such as Wikipedia, used during pre-training, fine-tuning and inference. For the first time, we show how to pre-train such a knowledge retriever in an unsupervised manner, using masked language modeling as the learning signal and backpropagating through a retrieval step that considers millions of documents. We demonstrate the effectiveness of Retrieval-Augmented Language Model pre-training (REALM) by fine-tuning on the challenging task of Open-domain Question Answering (Open-QA). We compare against state-of-the-art models for both explicit and implicit knowledge storage on three popular Open-QA benchmarks, and find that we outperform all previous methods by a significant margin (4-16% absolute accuracy), while also providing qualitative benefits such as interpretability and modularity.


title: How Much Knowledge Can You Pack Into the Parameters of a Language Model?

abstract: It has recently been observed that neural language models trained on unstructured text can implicitly store and retrieve knowledge using natural language queries. In this short paper, we measure the practical utility of this approach by fine-tuning pre-trained models to answer questions without access to any external context or knowledge. We show that this approach scales with model size and performs competitively with open-domain systems that explicitly retrieve answers from an external knowledge source when answering questions. To facilitate reproducibility and future work, we release our code and trained models at https://goo.gle/t5-cbqa.


title: Measuring Social Biases in Grounded Vision and Language Embeddings

abstract: We generalize the notion of social biases from language embeddings to grounded vision and language embeddings. Biases are present in grounded embeddings, and indeed seem to be equally or more significant than for ungrounded embeddings. This is despite the fact that vision and language can suffer from different biases, which one might hope could attenuate the biases in both. Multiple ways exist to generalize metrics measuring bias in word embeddings to this new setting. We introduce the space of generalizations (Grounded-WEAT and Grounded-SEAT) and demonstrate that three generalizations answer different yet important questions about how biases, language, and vision interact. These metrics are used on a new dataset, the first for grounded bias, created by augmenting extending standard linguistic bias benchmarks with 10,228 images from COCO, Conceptual Captions, and Google Images. Dataset construction is challenging because vision datasets are themselves very biased. The presence of these biases in systems will begin to have real-world consequences as they are deployed, making carefully measuring bias and then mitigating it critical to building a fair society.


title: Modeling the Impact of Network Connectivity on Consensus Security of Proof-of-Work Blockchain

abstract: Blockchain, the technology behind the popular Bitcoin, is considered a "security by design" system as it is meant to create security among a group of distrustful parties yet without a central trusted authority. The security of blockchain relies on the premise of honest-majority, namely, the blockchain system is assumed to be secure as long as the majority of consensus voting power is honest. And in the case of proof-of-work (PoW) blockchain, adversaries cannot control more than 50% of the network's gross computing power. However, this 50% threshold is based on the analysis of computing power only, with implicit and idealistic assumptions on the network and node behavior. Recent researches have alluded that factors such as network connectivity, presence of blockchain forks, and mining strategy could undermine the consensus security assured by the honest-majority, but neither concrete analysis nor quantitative evaluation is provided. In this paper we fill the gap by proposing an analytical model to assess the impact of network connectivity on the consensus security of PoW blockchain under different adversary models. We apply our analytical model to two adversarial scenarios: 1) honest-but-potentially-colluding, 2) selfish mining. For each scenario, we quantify the communication capability of nodes involved in a fork race and estimate the adversary's mining revenue and its impact on security properties of the consensus protocol. Simulation results validated our analysis. Our modeling and analysis provide a paradigm for assessing the security impact of various factors in a distributed consensus system.


title: Exciton-Phonon Interaction and Relaxation Times from First Principles

abstract: Electron-phonon ($e$-ph) interactions are key to understanding the dynamics of electrons in materials, and can be modeled accurately from first-principles. However, when electrons and holes form Coulomb-bound states (excitons), quantifying their interactions and scattering processes with phonons remains an open challenge. Here we show a rigorous approach for computing exciton-phonon (ex-ph) interactions and the associated exciton dynamical processes from first principles. Starting from the ab initio Bethe-Salpeter equation, we derive expressions for the ex-ph matrix elements and relaxation times. We apply our method to bulk hexagonal boron nitride, for which we map the ex-ph relaxation times as a function of exciton momentum and energy, analyze the temperature and phonon-mode dependence of the ex-ph scattering processes, and accurately predict the phonon-assisted photoluminescence. The approach introduced in this work is general and provides a framework for investigating exciton dynamics in a wide range of materials.


title: Perfect sequence covering arrays

abstract: An $(n,k)$ sequence covering array is a set of permutations of $[n]$ such that each sequence of $k$ distinct elements of $[n]$ is a subsequence of at least one of the permutations. An $(n,k)$ sequence covering array is perfect if there is a positive integer $\lambda$ such that each sequence of $k$ distinct elements of $[n]$ is a subsequence of precisely $\lambda$ of the permutations. While relatively close upper and lower bounds for the minimum size of a sequence covering array are known, this is not the case for perfect sequence covering arrays. Here we present new nontrivial bounds for the latter. In particular, for $k=3$ we obtain a linear lower bound and an almost linear upper bound.


title: Magic squares of subtraction of Adam Adamandy Kocha\'nski

abstract: The problem of the construction of magic squares occupied many mathematicians of the 17th century. The Polish Jesuit and polymath Adam Adamandy Kocha\'nski studied this subject too, and in 1686 he published a paper in Acta Eruditorum titled "Considerationes quaedam circa Quadrata et Cubos Magicos". In that paper he proposed a novel type of magic square, where in every row, column and diagonal, if the entries are sorted in decreasing order, the difference between the sum of entries with odd indices and those with even indices is constant. He called them \emph{quadrata subtractionis}, meaning squares of subtraction. He gave examples of such squares of orders 4 and 5, and challenged readers to produce an example of square of order 6. We discuss the likely method which he used to produce squares of order 5, and show that it can be generalized to arbitrary odd orders. We also show how to construct doubly-even squares. At the end, we show an example of a square of order 6, sought by Kocha\'nski, and discuss the enumeration of squares of subtraction.


title: Deep Learning-Based Feature Extraction in Iris Recognition: Use Existing Models, Fine-tune or Train From Scratch?

abstract: Modern deep learning techniques can be employed to generate effective feature extractors for the task of iris recognition. The question arises: should we train such structures from scratch on a relatively large iris image dataset, or it is better to fine-tune the existing models to adapt them to a new domain? In this work we explore five different sets of weights for the popular ResNet-50 architecture to find out whether iris-specific feature extractors perform better than models trained for non-iris tasks. Features are extracted from each convolutional layer and the classification accuracy achieved by a Support Vector Machine is measured on a dataset that is disjoint from the samples used in training of the ResNet-50 model. We show that the optimal training strategy is to fine-tune an off-the-shelf set of weights to the iris recognition domain. This approach results in greater accuracy than both off-the-shelf weights and a model trained from scratch. The winning, fine-tuned approach also shows an increase in performance when compared to previous work, in which only off-the-shelf (not fine-tuned) models were used in iris feature extraction. We make the best-performing ResNet-50 model, fine-tuned with more than 360,000 iris images, publicly available along with this paper.


title: Single photon production in ppBar collision in the collinear and kt-factorisation framework and investigation of their differences

abstract: The cross section of the single photon in ppBar collision is calculated. There are many subprocesses, for example the LO and NLO collisions, leading to the single photon. The LO collisions, the one of which (Compton scattering) is strongly dependent on the gluon distribution function, are investigated. Both the off-shell (k_t dependent) and on-shell partons are considered in the diffusions, and their differences are discussed. The unintegrated parton distribution functions (UPDFs), used for the off-shell partons, are calculated by the Martin-Ryskin-Watt (MRW) method. In the case of the on-shell partons, the integrated parton distribution functions (PDFs), are obtained by MMHT 2014 LO PDFs which are determined experimentally. To investigate the accuracy of the theoretical results, they are compared with the experimental data that are taken by the D{\O} and CDF collaborations at Fermilab Tevatron.


title: Alibaba Cloud Quantum Development Platform: Surface Code Simulations with Crosstalk

abstract: We report, in a sequence of notes, our work on the Alibaba Cloud Quantum Development Platform (AC-QDP). AC-QDP provides a set of tools for aiding the development of both quantum computing algorithms and quantum processors, and is powered by a large-scale classical simulator deployed on Alibaba Cloud. In this note, we simulate a distance-3 logical qubit encoded in the 17-qubit surface code using experimental noise parameters for transmon qubits in a planar circuit QED architecture. Our simulation features crosstalk induced by ZZ-interactions. We show that at the current-stage noise levels, crosstalk contributes significantly to the dephasing of the logical qubit. This results in a total phase-flip probability of $\sim 0.6\%$, about $60\%$ higher than expected without considering crosstalk. This indicates that for the code considered, the current noise parameters approach, but do not yet meet, the break-even fault-tolerance regime.


title: Switches between accretion structures during flares in 4U 1901+03

abstract: We report on our analysis of the 2019 outburst of the X-ray accreting pulsar 4U 1901+03 observed with Insight-HXMT and NICER. Both spectra and pulse profiles evolve significantly in the decaying phase of the outburst. Dozens of flares are observed throughout the outburst. They are more frequent and brighter at the outburst peak. We find that the flares, which have a duration from tens to hundreds of seconds, are generally brighter than the persistent emission by a factor of $\sim$ 1.5. The pulse profile shape during the flares can be significantly different than that of the persistent emission. In particular, a phase shift is clearly observed in many cases. We interpret these findings as direct evidence of changes of the pulsed beam pattern, due to transitions between the sub- and super-critical accretion regimes on a short time scale. We also observe that at comparable luminosities the flares' pulse profiles are rather similar to those of the persistent emission. This indicates that the accretion on the polar cap of the neutron star is mainly determined by the luminosity, i.e., the mass accretion rate.


title: Evaluating the Quality of Local Structure Approximation Using Elementary Rule 14

abstract: Cellular automata (CA) can be viewed as maps in the space of probability measures. Such maps are normally infinitely-dimensional, and in order to facilitate investigations of their properties, especially in the context of applications, finite-dimensional approximations have been proposed. The most commonly used one is known as the local structure theory, developed by H. Gutowitz et al. in 1987. In spite of the popularity of this approximation in CA research, examples of rigorous evaluations of its accuracy are lacking. In an attempt to fill this gap, we construct a local structure approximation for rule 14, and study its dynamics in a rigorous fashion, without relying on numerical experiments. We then compare the outcome with known exact results.


title: Molecular environments of the supernova remnant G359.1-0.5

abstract: We report new CO observations and a detailed molecular-line study of the mixed morphology (MM) supernova remnant (SNR) G359.1-0.5, which contains six OH (1720 MHz) masers along the radio shell, indicative of shock-cloud interaction. Observations of 12CO and 13CO J:1-0 lines were performed in a 38x38 arcmin area with the on-the-fly technique using the Kit Peak 12 Meter telescope. The molecular study has revealed the existence of a few clumps with densities around 1,000 cm$^{-3}$ compatible in velocity and position with the OH (1720 MHz) masers. These clumps, in turn, appear to be part of a larger, elongated molecular structure ~34 arcmin long extending between -12.48 and +1.83 km/s, adjacent to the western edge of the radio shell. According to the densities and relative position with respect to the masers, we conclude that the CO clouds depict unshocked gas, as observed in other remnants with OH (1720 MHz) masers. In addition, we investigated the distribution of the molecular gas towards the adjacent gamma-ray source HESS J1745-303 but could not find any morphological correlation between the gamma-rays and the CO emission at any velocity in this region.


title: On Schatten restricted norms

abstract: We consider norms on a complex separable Hilbert space such that $\langle a\xi,\xi\rangle\leq\|\xi\|^2\leq\langle b\xi,\xi\rangle$ for positive invertible operators $a$ and $b$ that differ by an operator in the Schatten class. We prove that these norms have unitarizable isometry groups, our proof uses a generalization of a fixed point theorem for isometric actions on positive invertible operators. As a result, if the isometry group does not leave any finite dimensional subspace invariant, then the norm must be Hilbertian. That is, if a Hilbertian norm is changed to a close non-Hilbertian norm, then the isometry group does leave a finite dimensional subspace invariant. The approach involves metric geometric arguments related to the canonical action of the group on the non-positively curved space of positive invertible Schatten perturbations of the identity .


title: Enhanced Bimolecular Recombination of Charge Carriers in Amorphous Organic Semiconductors: Overcoming the Langevin Limit

abstract: We consider the bimolecular charge carrier recombination in amorphous organic semiconductors having a special kind of energetic disorder where energy levels for electrons and holes at a given transport site move in the same direction with the variation of some disorder governing parameter (the parallel disorder). This particular kind of disorder could be found in materials where the dominant part of the energetic disorder is provided by the conformational disorder. Contrary to the recently studied case of electrostatic disorder, the conformational disorder, if spatially correlated, leads to the increase of the recombination rate constant which becomes greater than the corresponding Langevin rate constant. Probably, organic semiconductors with the dominating conformational disorder represent the first class of amorphous organic semiconductors where the recombination rate constant could overcome the Langevin limit.


title: Explorations of ternary cellular automata and ternary density classification problems

abstract: While binary nearest-neighbour cellar automata (CA) have been studied in detail and from many different angles, the same cannot be said about ternary (three-state) CA rules. We present some results of our explorations of a small subset of the vast space of ternary rules, namely rules possessing additive invariants. We first enumerate rules with four different additive invariants, and then we investigate if any of them could be used to construct a two-rule solution of generalized density classification problem (DCP). We show that neither simple nor absolute classification is possible with a pair of ternary rules where the first rule is all-conserving and the second one is reducible to two states. Similar negative result holds for another version of DCP we propose: symmetric interval-wise DCP. Finally we show an example of a pair of rules which solve non-symmetric interval-wise DCP for initial configurations containing at least one zero.


title: Electron cascade for spin readout

abstract: Electrons confined in semiconductor quantum dot arrays have both charge and spin degrees of freedom. The spin provides a well-controllable and long-lived qubit implementation. The charge configuration in the dot array is influenced by Coulomb repulsion, and the same interaction enables charge sensors to probe this configuration. Here we show that the Coulomb repulsion allows an initial charge transition to induce subsequent charge transitions, inducing a cascade of electron hops, like toppling dominoes. A cascade can transmit information along a quantum dot array over a distance that extends by far the effect of the direct Coulomb repulsion. We demonstrate that a cascade of electrons can be combined with Pauli spin blockade to read out spins using a remote charge sensor. We achieve > 99.9% spin readout fidelity in 1.7 $\mathrm{\mu}$s. The cascade-based readout enables operation of a densely-packed two-dimensional quantum dot array with charge sensors placed at the periphery. The high connectivity of such arrays greatly improves the capabilities of quantum dot systems for quantum computation and simulation.


title: Imputer: Sequence Modelling via Imputation and Dynamic Programming

abstract: This paper presents the Imputer, a neural sequence model that generates output sequences iteratively via imputations. The Imputer is an iterative generative model, requiring only a constant number of generation steps independent of the number of input or output tokens. The Imputer can be trained to approximately marginalize over all possible alignments between the input and output sequences, and all possible generation orders. We present a tractable dynamic programming training algorithm, which yields a lower bound on the log marginal likelihood. When applied to end-to-end speech recognition, the Imputer outperforms prior non-autoregressive models and achieves competitive results to autoregressive models. On LibriSpeech test-other, the Imputer achieves 11.1 WER, outperforming CTC at 13.0 WER and seq2seq at 12.5 WER.


title: Regularized Autoencoders via Relaxed Injective Probability Flow

abstract: Invertible flow-based generative models are an effective method for learning to generate samples, while allowing for tractable likelihood computation and inference. However, the invertibility requirement restricts models to have the same latent dimensionality as the inputs. This imposes significant architectural, memory, and computational costs, making them more challenging to scale than other classes of generative models such as Variational Autoencoders (VAEs). We propose a generative model based on probability flows that does away with the bijectivity requirement on the model and only assumes injectivity. This also provides another perspective on regularized autoencoders (RAEs), with our final objectives resembling RAEs with specific regularizers that are derived by lower bounding the probability flow objective. We empirically demonstrate the promise of the proposed model, improving over VAEs and AEs in terms of sample quality.


title: LibrettOS: A Dynamically Adaptable Multiserver-Library OS

abstract: We present LibrettOS, an OS design that fuses two paradigms to simultaneously address issues of isolation, performance, compatibility, failure recoverability, and run-time upgrades. LibrettOS acts as a microkernel OS that runs servers in an isolated manner. LibrettOS can also act as a library OS when, for better performance, selected applications are granted exclusive access to virtual hardware resources such as storage and networking. Furthermore, applications can switch between the two OS modes with no interruption at run-time. LibrettOS has a uniquely distinguishing advantage in that, the two paradigms seamlessly coexist in the same OS, enabling users to simultaneously exploit their respective strengths (i.e., greater isolation, high performance). Systems code, such as device drivers, network stacks, and file systems remain identical in the two modes, enabling dynamic mode switching and reducing development and maintenance costs. To illustrate these design principles, we implemented a prototype of LibrettOS using rump kernels, allowing us to reuse existent, hardened NetBSD device drivers and a large ecosystem of POSIX/BSD-compatible applications. We use hardware (VM) virtualization to strongly isolate different rump kernel instances from each other. Because the original rumprun unikernel targeted a much simpler model for uniprocessor systems, we redesigned it to support multicore systems. Unlike kernel-bypass libraries such as DPDK, applications need not be modified to benefit from direct hardware access. LibrettOS also supports indirect access through a network server that we have developed. Applications remain uninterrupted even when network components fail or need to be upgraded. Finally, to efficiently use hardware resources, applications can dynamically switch between the indirect and direct modes based on their I/O load at run-time. [full abstract is in the paper]


title: An Enumerative Approach to $P=W$

abstract: The $P = W$ conjecture identifies the perverse filtration of the Hitchin system on the cohomology of the moduli space of Higgs bundles with the weight filtration of the corresponding character variety. In this paper, we introduce an enumerative approach to to this problem; our technique only uses the structure of the equivariant intersection numbers on the moduli space of Higgs bundles, and little information about the topology of the Hitchin map. In the rank $2$ case, starting from the known intersection numbers of the moduli of stable bundles, we derive the equivariant intersection numbers on the Higgs moduli, and then verify the top perversity part of our enumerative $P = W$ statement for even tautological classes. A key in this calculation is the existence of polynomial solutions to the Discrete Heat Equation satisfying particular vanishing properties. For odd classes, we derive a determinantal criterion for the enumerative $P = W$.


title: Multi-step Online Unsupervised Domain Adaptation

abstract: In this paper, we address the Online Unsupervised Domain Adaptation (OUDA) problem, where the target data are unlabelled and arriving sequentially. The traditional methods on the OUDA problem mainly focus on transforming each arriving target data to the source domain, and they do not sufficiently consider the temporal coherency and accumulative statistics among the arriving target data. We propose a multi-step framework for the OUDA problem, which institutes a novel method to compute the mean-target subspace inspired by the geometrical interpretation on the Euclidean space. This mean-target subspace contains accumulative temporal information among the arrived target data. Moreover, the transformation matrix computed from the mean-target subspace is applied to the next target data as a preprocessing step, aligning the target data closer to the source domain. Experiments on four datasets demonstrated the contribution of each step in our proposed multi-step OUDA framework and its performance over previous approaches.


title: Two-dimensional bimolecular recombination in amorphous organic semiconductors

abstract: We consider the two-dimensional bimolecular recombination of charge carriers in amorphous organic semiconductors having the lamellar structure. We calculate the dependence of the effective recombination rate constant on the carrier density taking into account the correlated nature of the energetic disorder typical for organic semiconductors. Resulting recombination kinetics demonstrates a very rich variety of behaviors depending on the correlation properties of the particular semiconductor and relevant charge density range.


title: Cluster Aware Mobility Encounter Dataset Enlargement

abstract: The recent emerging fields in data processing and manipulation has facilitated the need for synthetic data generation. This is also valid for mobility encounter dataset generation. Synthetic data generation might be useful to run research-based simulations and also create mobility encounter models. Our approach in this paper is to generate a larger dataset by using a given dataset which includes the clusters of people. Based on the cluster information, we created a framework. Using this framework, we can generate a similar dataset that is statistically similar to the input dataset. We have compared the statistical results of our approach with the real dataset and an encounter mobility model generation technique in the literature. The results showed that the created datasets have similar statistical structure with the given dataset.


title: Wavesplit: End-to-End Speech Separation by Speaker Clustering

abstract: We introduce Wavesplit, an end-to-end source separation system. From a single mixture, the model infers a representation for each source and then estimates each source signal given the inferred representations. The model is trained to jointly perform both tasks from the raw waveform. Wavesplit infers a set of source representations via clustering, which addresses the fundamental permutation problem of separation. For speech separation, our sequence-wide speaker representations provide a more robust separation of long, challenging recordings compared to prior work. Wavesplit redefines the state-of-the-art on clean mixtures of 2 or 3 speakers (WSJ0-2/3mix), as well as in noisy and reverberated settings (WHAM/WHAMR). We also set a new benchmark on the recent LibriMix dataset. Finally, we show that Wavesplit is also applicable to other domains, by separating fetal and maternal heart rates from a single abdominal electrocardiogram.


title: Online high rank matrix completion

abstract: Recent advances in matrix completion enable data imputation in full-rank matrices by exploiting low dimensional (nonlinear) latent structure. In this paper, we develop a new model for high rank matrix completion (HRMC), together with batch and online methods to fit the model and out-of-sample extension to complete new data. The method works by (implicitly) mapping the data into a high dimensional polynomial feature space using the kernel trick; importantly, the data occupies a low dimensional subspace in this feature space, even when the original data matrix is of full-rank. We introduce an explicit parametrization of this low dimensional subspace, and an online fitting procedure, to reduce computational complexity compared to the state of the art. The online method can also handle streaming or sequential data and adapt to non-stationary latent structure. We provide guidance on the sampling rate required these methods to succeed. Experimental results on synthetic data and motion capture data validate the performance of the proposed methods.


title: Strategy to Increase the Safety of a DNN-based Perception for HAD Systems

abstract: Safety is one of the most important development goals for highly automated driving (HAD) systems. This applies in particular to the perception function driven by Deep Neural Networks (DNNs). For these, large parts of the traditional safety processes and requirements are not fully applicable or sufficient. The aim of this paper is to present a framework for the description and mitigation of DNN insufficiencies and the derivation of relevant safety mechanisms to increase the safety of DNNs. To assess the effectiveness of these safety mechanisms, we present a categorization scheme for evaluation metrics.


title: Meta-learning for mixed linear regression

abstract: In modern supervised learning, there are a large number of tasks, but many of them are associated with only a small amount of labeled data. These include data from medical image processing and robotic interaction. Even though each individual task cannot be meaningfully trained in isolation, one seeks to meta-learn across the tasks from past experiences by exploiting some similarities. We study a fundamental question of interest: When can abundant tasks with small data compensate for lack of tasks with big data? We focus on a canonical scenario where each task is drawn from a mixture of $k$ linear regressions, and identify sufficient conditions for such a graceful exchange to hold; The total number of examples necessary with only small data tasks scales similarly as when big data tasks are available. To this end, we introduce a novel spectral approach and show that we can efficiently utilize small data tasks with the help of $\tilde\Omega(k^{3/2})$ medium data tasks each with $\tilde\Omega(k^{1/2})$ examples.


title: Geometric Interpretation of Running Nystr\"{o}m-Based Kernel Machines and Error Analysis

abstract: Recently, Nystr\"{o}m method has proved its prominence empirically and theoretically in speeding up the training of kernel machines while retaining satisfactory performances and accuracy. So far, there are several different approaches proposed to exploit Nystr\"{o}m method in scaling up kernel machines. However, there is no comparative study over these approaches, and they were individually analyzed for specific types of kernel machines. Therefore, it remains a question that the philosophy of which approach is more promising when it extends to other kernel machines. In this work, motivated by the column inclusion property of Gram matrices, we develop a new approach with a clear geometric interpretation for running Nystr\"{o}m-based kernel machines. We show that the other two well-studied approaches can be equivalently transformed to be our proposed one. Consequently, analysis established for the proposed approach also works for these two. Particularly, our proposed approach makes it possible to develop approximation errors in a general setting. Besides, our analysis also manifests the relations among the aforementioned two approaches and another naive one. First, the analytical forms of the corresponding approximate solutions are only at odds with one term. Second, the naive approach can be implemented efficiently by sharing the same training procedure with others. These analytical results lead to the conjecture that the naive approach can provide more accurate approximate solutions than the other two sophisticated approaches. Since our analysis also offers ways for computing the accuracy of these approximate solutions, we run experiments with classification tasks to confirm our conjecture.


title: Three-particle states and brightening of intervalley excitons in a doped MoS$_2$ monolayer

abstract: Optical spectra of two-dimensional transition-metal dichalcogenides (TMDC) are influenced by complex multi-particle excitonic states. Their theoretical analysis requires solving the many-body problem, which in most cases, is prohibitively complicated. In this work, we calculate the optical spectra by exact diagonalization of the three-particle Hamiltonian within the Tamm-Dancoff approximation where the doping effects are accounted for via the Pauli blocking mechanism, modelled by a discretized mesh in the momentum space. The single-particle basis is extracted from the {\it ab initio} calculations. Obtained three-particle eigenstates and the corresponding transition dipole matrix elements are used to calculate the linear absorption spectra as a function of the doping level. Results for negatively doped MoS$_2$ monolayer (ML) are in an excellent quantitative agreement with the available experimental data, validating our approach. The results predict additional spectral features due to the intervalley exciton that is optically dark in an undoped ML but is brightened by the doping. Our approach can be applied to a plethora of other atomically thin semiconductors, where the doping induced brightening of the many-particle states is also anticipated.


title: Generalization of the algebraic method of group classification with application to nonlinear wave and elliptic equations

abstract: Enhancing and essentially generalizing previous results on a class of (1+1)-dimensional nonlinear wave and elliptic equations, we apply several new techniques to classify admissible point transformations within this class up to the equivalence generated by its equivalence group. This gives an exhaustive description of its equivalence groupoid. After extending the algebraic method of group classification to non-normalized classes of differential equations, we solve the complete group classification problem for the class under study up to both usual and general point equivalences. The solution includes the complete preliminary group classification of the class and the construction of singular Lie-symmetry extensions, which are not related to subalgebras of the equivalence algebra. The complete preliminary group classification is based on classifying appropriate subalgebras of the entire infinite-dimensional equivalence algebra whose projections are qualified as maximal extensions of the kernel invariance algebra. The results obtained can be used to construct exact solutions of nonlinear wave and elliptic equations.


title: Phonon Transport in Patterned Two-Dimensional Materials from First Principles

abstract: Phonon size effects induce ballistic transport in nanomaterials, challenging Fourier's law. Nondiffusive heat transport is captured by the Peierls-Boltzmann transport equation (BTE), commonly solved under the relaxation time approximation (RTA), which assumes diagonal scattering operator. Although the RTA is accurate for many relevant materials over a wide range of temperatures, such as silicon, it underpredicts thermal transport in most two-dimensional (2D) systems, notoriously graphene. Here we present a formalism, based on the BTE with the full collision matrix, for computing the effective thermal conductivity of arbitrarily patterned 2D materials. We apply our approach to porous graphene and find strong heat transport suppression in configurations with feature sizes of the order of micrometers; this result, which is rooted in the large generalized phonon MFPs in graphene, corroborates the possibility of strong thermal transport tunability by relatively coarse patterning. Lastly, we present a promising material configuration with low thermal conductivity. Our method enables the parameter-free design of 2D materials for thermoelectric and thermal routing applications.


title: ADM mass and the capacity-volume deficit at infinity

abstract: Based on the isoperimetric inequality, G. Huisken proposed a definition of total mass in general relativity that is equivalent to the ADM mass for (smooth) asymptotically flat 3-manifolds of nonnegative scalar curvature, but that is well-defined in greater generality. In a similar vein, we use the isocapacitary inequality (bounding capacity from below in terms of volume) to suggest a new definition of total mass. We prove an inequality between it and the ADM mass, and prove the reverse inequality with harmonically flat asymptotics, or, with general asymptotics, for exhaustions by balls (as opposed to arbitrary compact sets). This approach to mass may have applications to problems involving low regularity metrics and convergence in general relativity, and may have some advantages relative to the isoperimetric mass. Some conjectures, analogs of known results for CMC surfaces and isoperimetric regions, are proposed.


title: Constraining dark photons and their connection to 21 cm cosmology with CMB data

abstract: In the inhomogeneous Universe, the cosmological conversion of dark photons into ordinary photons (and vice versa) may happen at a great number of resonance redshifts. This alters the CMB observed energy spectrum and degree of small-scale anisotropies. We utilize results from the EAGLE simulation to obtain the conversion probability along random line-of-sights to quantify these effects. We then apply our results to the case where dark photons are sourced by dark matter decay and their high-redshift conversion into ordinary photons modify the global 21 cm signal expected from the cosmic dawn era. Concretely, we show that a significant portion of the parameter space for which a converted population of photons in the Rayleigh-Jeans tail of the CMB explains the absorption strength observed by EDGES, is ruled out from the brightness temperature measurements of COBE/FIRAS and the CMB anisotropy measurements of Planck and SPT.


title: Implicit differentiation of Lasso-type models for hyperparameter optimization

abstract: Setting regularization parameters for Lasso-type estimators is notoriously difficult, though crucial in practice. The most popular hyperparameter optimization approach is grid-search using held-out validation data. Grid-search however requires to choose a predefined grid for each parameter, which scales exponentially in the number of parameters. Another approach is to cast hyperparameter optimization as a bi-level optimization problem, one can solve by gradient descent. The key challenge for these methods is the estimation of the gradient with respect to the hyperparameters. Computing this gradient via forward or backward automatic differentiation is possible yet usually suffers from high memory consumption. Alternatively implicit differentiation typically involves solving a linear system which can be prohibitive and numerically unstable in high dimension. In addition, implicit differentiation usually assumes smooth loss functions, which is not the case for Lasso-type problems. This work introduces an efficient implicit differentiation algorithm, without matrix inversion, tailored for Lasso-type problems. Our approach scales to high-dimensional data by leveraging the sparsity of the solutions. Experiments demonstrate that the proposed method outperforms a large number of standard methods to optimize the error on held-out data, or the Stein Unbiased Risk Estimator (SURE).


title: Quantum Time-Space Tradeoff for Finding Multiple Collision Pairs

abstract: We study the problem of finding $K$ collision pairs in a random function $f : [N] \rightarrow [N]$ by using a quantum computer. We prove that the number of queries to the function in the quantum random oracle model must increase significantly when the size of the available memory is limited. Namely, we demonstrate that any algorithm using $S$ qubits of memory must perform a number $T$ of queries that satisfies the tradeoff $T^3 S \geq \Omega(K^3 N)$. Classically, the same question has only been settled recently by Dinur [Eurocrypt'20], who showed that the Parallel Collision Search algorithm of van Oorschot and Wiener achieves the optimal time-space tradeoff of $T^2 S = \Theta(K^2 N)$. Our result limits the extent to which quantum computing may decrease this tradeoff. Our method is based on a novel application of Zhandry's recording query technique [Crypto'19] for proving lower bounds in the exponentially small success probability regime. As a second application, we give a simpler proof of the time-space tradeoff $T^2 S \geq \Omega(N^3)$ for sorting $N$ numbers on a quantum computer, which was first obtained by Klauck, \v{S}palek and de Wolf [K\v{S}W07].


title: Spatiotemporal Relationship Reasoning for Pedestrian Intent Prediction

abstract: Reasoning over visual data is a desirable capability for robotics and vision-based applications. Such reasoning enables forecasting of the next events or actions in videos. In recent years, various models have been developed based on convolution operations for prediction or forecasting, but they lack the ability to reason over spatiotemporal data and infer the relationships of different objects in the scene. In this paper, we present a framework based on graph convolution to uncover the spatiotemporal relationships in the scene for reasoning about pedestrian intent. A scene graph is built on top of segmented object instances within and across video frames. Pedestrian intent, defined as the future action of crossing or not-crossing the street, is a very crucial piece of information for autonomous vehicles to navigate safely and more smoothly. We approach the problem of intent prediction from two different perspectives and anticipate the intention-to-cross within both pedestrian-centric and location-centric scenarios. In addition, we introduce a new dataset designed specifically for autonomous-driving scenarios in areas with dense pedestrian populations: the Stanford-TRI Intent Prediction (STIP) dataset. Our experiments on STIP and another benchmark dataset show that our graph modeling framework is able to predict the intention-to-cross of the pedestrians with an accuracy of 79.10% on STIP and 79.28% on \rev{Joint Attention for Autonomous Driving (JAAD) dataset up to one second earlier than when the actual crossing happens. These results outperform the baseline and previous work. Please refer to http://stip.stanford.edu/ for the dataset and code.


title: Reactive Navigation in Partially Familiar Planar Environments Using Semantic Perceptual Feedback

abstract: This paper solves the planar navigation problem by recourse to an online reactive scheme that exploits recent advances in SLAM and visual object recognition to recast prior geometric knowledge in terms of an offline catalogue of familiar objects. The resulting vector field planner guarantees convergence to an arbitrarily specified goal, avoiding collisions along the way with fixed but arbitrarily placed instances from the catalogue as well as completely unknown fixed obstacles so long as they are strongly convex and well separated. We illustrate the generic robustness properties of such deterministic reactive planners as well as the relatively modest computational cost of this algorithm by supplementing an extensive numerical study with physical implementation on both a wheeled and legged platform in different settings.


title: SpArch: Efficient Architecture for Sparse Matrix Multiplication

abstract: Generalized Sparse Matrix-Matrix Multiplication (SpGEMM) is a ubiquitous task in various engineering and scientific applications. However, inner product based SpGENN introduces redundant input fetches for mismatched nonzero operands, while outer product based approach suffers from poor output locality due to numerous partial product matrices. Inefficiency in the reuse of either inputs or outputs data leads to extensive and expensive DRAM access. To address this problem, this paper proposes an efficient sparse matrix multiplication accelerator architecture, SpArch, which jointly optimizes the data locality for both input and output matrices. We first design a highly parallelized streaming-based merger to pipeline the multiply and merge stage of partial matrices so that partial matrices are merged on chip immediately after produced. We then propose a condensed matrix representation that reduces the number of partial matrices by three orders of magnitude and thus reduces DRAM access by 5.4x. We further develop a Huffman tree scheduler to improve the scalability of the merger for larger sparse matrices, which reduces the DRAM access by another 1.8x. We also resolve the increased input matrix read induced by the new representation using a row prefetcher with near-optimal buffer replacement policy, further reducing the DRAM access by 1.5x. Evaluated on 20 benchmarks, SpArch reduces the total DRAM access by 2.8x over previous state-of-the-art. On average, SpArch achieves 4x, 19x, 18x, 17x, 1285x speedup and 6x, 164x, 435x, 307x, 62x energy savings over OuterSPACE, MKL, cuSPARSE, CUSP, and ARM Armadillo, respectively.


title: I-SPEC: An End-to-End Framework for Learning Transportable, Shift-Stable Models

abstract: Shifts in environment between development and deployment cause classical supervised learning to produce models that fail to generalize well to new target distributions. Recently, many solutions which find invariant predictive distributions have been developed. Among these, graph-based approaches do not require data from the target environment and can capture more stable information than alternative methods which find stable feature sets. However, these approaches assume that the data generating process is known in the form of a full causal graph, which is generally not the case. In this paper, we propose I-SPEC, an end-to-end framework that addresses this shortcoming by using data to learn a partial ancestral graph (PAG). Using the PAG we develop an algorithm that determines an interventional distribution that is stable to the declared shifts; this subsumes existing approaches which find stable feature sets that are less accurate. We apply I-SPEC to a mortality prediction problem to show it can learn a model that is robust to shifts without needing upfront knowledge of the full causal DAG.


title: Improving Sampling Accuracy of Stochastic Gradient MCMC Methods via Non-uniform Subsampling of Gradients

abstract: Many Markov Chain Monte Carlo (MCMC) methods leverage gradient information of the potential function of target distribution to explore sample space efficiently. However, computing gradients can often be computationally expensive for large scale applications, such as those in contemporary machine learning. Stochastic Gradient (SG-)MCMC methods approximate gradients by stochastic ones, commonly via uniformly subsampled data points, and achieve improved computational efficiency, however at the price of introducing sampling error. We propose a non-uniform subsampling scheme to improve the sampling accuracy. The proposed exponentially weighted stochastic gradient (EWSG) is designed so that a non-uniform-SG-MCMC method mimics the statistical behavior of a batch-gradient-MCMC method, and hence the inaccuracy due to SG approximation is reduced. EWSG differs from classical variance reduction (VR) techniques as it focuses on the entire distribution instead of just the variance; nevertheless, its reduced local variance is also proved. EWSG can also be viewed as an extension of the importance sampling idea, successful for stochastic-gradient-based optimizations, to sampling tasks. In our practical implementation of EWSG, the non-uniform subsampling is performed efficiently via a Metropolis-Hastings chain on the data index, which is coupled to the MCMC algorithm. Numerical experiments are provided, not only to demonstrate EWSG's effectiveness, but also to guide hyperparameter choices, and validate our \emph{non-asymptotic global error bound} despite of approximations in the implementation. Notably, while statistical accuracy is improved, convergence speed can be comparable to the uniform version, which renders EWSG a practical alternative to VR (but EWSG and VR can be combined too).


title: Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information

abstract: In the 1980's, work by Coleman and by Giddings and Strominger linked the physics of spacetime wormholes to `baby universes' and an ensemble of theories. We revisit such ideas, using features associated with a negative cosmological constant and asymptotically AdS boundaries to strengthen the results, introduce a change in perspective, and connect with recent replica wormhole discussions of the Page curve. A key new feature is an emphasis on the role of null states. We explore this structure in detail in simple topological models of the bulk that allow us to compute the full spectrum of associated boundary theories. The dimension of the asymptotically AdS Hilbert space turns out to become a random variable $Z$, whose value can be less than the naive number $k$ of independent states in the theory. For $k>Z$, consistency arises from an exact degeneracy in the inner product defined by the gravitational path integral, so that many a priori independent states differ only by a null state. We argue that a similar property must hold in any consistent gravitational path integral. We also comment on other aspects of extrapolations to more complicated models, and on possible implications for the black hole information problem in the individual members of the above ensemble.


title: Bayesian Inference of Dense Matter Equation of State within Relativistic Mean Field Models using Astrophysical Measurements

abstract: We present a Bayesian analysis to constrain the equation of state of dense nucleonic matter by exploiting the available data from symmetric nuclear matter at saturation and from observations of compact X-ray sources and from the gravitational wave event GW170817. For the first time, such analysis is performed by using a class of models, the relativistic mean field models, which allow to consistently construct an equation of state in a wide range of densities, isospin asymmetries and temperatures. The selected class of models contains five nuclear physics empirical parameters at saturation for which we construct the joint posterior distributions. By exploring different types of priors, we find that the equations of state with the largest evidence are the ones featuring a strong reduction of the effective mass of the nucleons in dense matter which can be interpreted as an indication of a phase transition to a chiral symmetry restored phase. Those equations of state in turn predict $R_{1.4} \sim 12$ km. Finally, we present a preliminary investigation on the effect of including $\Lambda$ hyperons showing that they appear in stars more massive than about $1.6 M_{\odot}$ and lead to radii larger than about $R_{1.4} \sim 14$ km. Within the model here explored, the formation of such particles provide a poor agreement with the constraints from GW170817.