title: On the complexity of detecting hazards

abstract: Detecting and eliminating logic hazards in Boolean circuits is a fundamental problem in logic circuit design. We show that there is no $O(3^{(1-\epsilon)n} \text{poly}(s))$ time algorithm, for any $\epsilon > 0$, that detects logic hazards in Boolean circuits of size $s$ on $n$ variables under the assumption that the strong exponential time hypothesis is true. This lower bound holds even when the input circuits are restricted to be formulas of depth four. We also present a polynomial time algorithm for detecting $1$-hazards in DNF (or, $0$-hazards in CNF) formulas. Since $0$-hazards in DNF (or, $1$-hazards in CNF) formulas are easy to eliminate, this algorithm can be used to detect whether a given DNF or CNF formula has a hazard in practice.


title: Transfer Learning for High-dimensional Linear Regression: Prediction, Estimation, and Minimax Optimality

abstract: This paper considers the estimation and prediction of a high-dimensional linear regression in the setting of transfer learning, using samples from the target model as well as auxiliary samples from different but possibly related regression models. When the set of "informative" auxiliary samples is known, an estimator and a predictor are proposed and their optimality is established. The optimal rates of convergence for prediction and estimation are faster than the corresponding rates without using the auxiliary samples. This implies that knowledge from the informative auxiliary samples can be transferred to improve the learning performance of the target problem. In the case that the set of informative auxiliary samples is unknown, we propose a data-driven procedure for transfer learning, called Trans-Lasso, and reveal its robustness to non-informative auxiliary samples and its efficiency in knowledge transfer. The proposed procedures are demonstrated in numerical studies and are applied to a dataset concerning the associations among gene expressions. It is shown that Trans-Lasso leads to improved performance in gene expression prediction in a target tissue by incorporating the data from multiple different tissues as auxiliary samples.


title: Brownian thermal transistors and refrigerators in mesoscopic systems

abstract: Fluctuations are significant in mesoscopic systems and of particular importance in understanding quantum transport. Here, we show that fluctuations can be considered as a resource for the operations of open quantum systems as functional devices. We derive the statistics of the thermal transistor amplification factor and the cooling-by-heating refrigerator efficiency under the Gaussian fluctuation framework. Statistical properties of the stochastic thermal transistor and the cooling-by-heating efficiency are revealed in the linear-response regime. We clarify the unique role of inelastic processes on thermal transport in mesoscopic systems. We further show that elastic and inelastic processes lead to different bounds based on the linear transport coefficients by establishing a generic theoretical framework for mesoscopic heat transport, which treats electron and bosonic collective excitations in an equal-footing manner. The underlying physics are illustrated concretely using a double-quantum-dot three-terminal system, though the theory applies to more general systems.


title: Quantum States, Groups and Monotone Metric Tensors

abstract: A novel link between monotone metric tensors and actions of suitable extensions of the unitary group on the manifold of faithful quantum states is presented here by means of three illustrative examples related with the Bures-Helstrom metric tensor, the Wigner-Yanase metric tensor, and the Bogoliubov-Kubo-Mori metric tensor.


title: Spectral functions of strange vector mesons in asymmetric hyperonic matter

abstract: We study the medium modifications of the spectral functions as well as production cross-sections of the strange vector mesons ($\phi$, $K^*$ and $\bar {K^*}$) in isospin asymmetric strange hadronic matter. These are obtained from the in-medium masses of the open strange mesons and the decay widths $\phi \rightarrow K\bar K$, $K^* \rightarrow K\pi$ and $\bar {K^*} \rightarrow {\bar K}\pi$ in the hadronic medium. The decay widths are computed using a field theoretic model of composite hadrons with quark/antiquark constituents, from the matrix element of the light quark-antiquark pair creation term of the free Dirac Hamiltonian between the initial and final states. The matrix element is multiplied with a coupling strength parameter for the light quark-antiquark pair creation, which is fitted to the observed vacuum decay width of the decay process. There are observed to be substantial modifications of the spectral functions as well as production cross-sections of these vector mesons due to isospin asymmetry as well as strangeness of the hadronic medum at high densities. These studies should have observable consequences, e.g. in the yield of the hidden and open strange mesons arising from the isospin asymmetric high energy heavy ion collisions at the Compressed baryonic matter (CBM) experiments at the future facility at GSI.


abstract: The manifold hypothesis states that high-dimensional data can be modeled as lying on or near a low-dimensional, nonlinear manifold. Variational Autoencoders (VAEs) approximate this manifold by learning mappings from low-dimensional latent vectors to high-dimensional data while encouraging a global structure in the latent space through the use of a specified prior distribution. When this prior does not match the structure of the true data manifold, it can lead to a less accurate model of the data. To resolve this mismatch, we introduce the Variational Autoencoder with Learned Latent Structure (VAELLS) which incorporates a learnable manifold model into the latent space of a VAE. This enables us to learn the nonlinear manifold structure from the data and use that structure to define a prior in the latent space. The integration of a latent manifold model not only ensures that our prior is well-matched to the data, but also allows us to define generative transformation paths in the latent space and describe class manifolds with transformations stemming from examples of each class. We validate our model on examples with known latent structure and also demonstrate its capabilities on a real-world dataset.


title: Neural Parameter Allocation Search

abstract: Training neural networks requires increasing amounts of memory. Parameter sharing can reduce memory and communication costs, but existing methods assume networks have many identical layers and utilize hand-crafted sharing strategies that fail to generalize. We introduce Neural Parameter Allocation Search (NPAS), a novel task where the goal is to train a neural network given an arbitrary, fixed parameter budget. NPAS covers both low-budget regimes, which produce compact networks, as well as a novel high-budget regime, where additional capacity can be added to boost performance without increasing inference FLOPs. To address NPAS, we introduce Shapeshifter Networks (SSNs), which automatically learn where and how to share parameters in a network to support any parameter budget without requiring any changes to the architecture or loss function. NPAS and SSNs provide a complete framework for addressing generalized parameter sharing, and can also be combined with prior work for additional performance gains. We demonstrate the effectiveness of our approach using nine network architectures across four diverse tasks, including ImageNet classification and transformers.


title: Constraining Variational Inference with Geometric Jensen-Shannon Divergence

abstract: We examine the problem of controlling divergences for latent space regularisation in variational autoencoders. Specifically, when aiming to reconstruct example $x\in\mathbb{R}^{m}$ via latent space $z\in\mathbb{R}^{n}$ ($n\leq m$), while balancing this against the need for generalisable latent representations. We present a regularisation mechanism based on the skew-geometric Jensen-Shannon divergence $\left(\textrm{JS}^{\textrm{G}_{\alpha}}\right)$. We find a variation in $\textrm{JS}^{\textrm{G}_{\alpha}}$, motivated by limiting cases, which leads to an intuitive interpolation between forward and reverse KL in the space of both distributions and divergences. We motivate its potential benefits for VAEs through low-dimensional examples, before presenting quantitative and qualitative results. Our experiments demonstrate that skewing our variant of $\textrm{JS}^{\textrm{G}_{\alpha}}$, in the context of $\textrm{JS}^{\textrm{G}_{\alpha}}$-VAEs, leads to better reconstruction and generation when compared to several baseline VAEs. Our approach is entirely unsupervised and utilises only one hyperparameter which can be easily interpreted in latent space.


title: Efficient Hyperparameter Optimization under Multi-Source Covariate Shift

abstract: A typical assumption in supervised machine learning is that the train (source) and test (target) datasets follow completely the same distribution. This assumption is, however, often violated in uncertain real-world applications, which motivates the study of learning under covariate shift. In this setting, the naive use of adaptive hyperparameter optimization methods such as Bayesian optimization does not work as desired since it does not address the distributional shift among different datasets. In this work, we consider a novel hyperparameter optimization problem under the multi-source covariate shift whose goal is to find the optimal hyperparameters for a target task of interest using only unlabeled data in a target task and labeled data in multiple source tasks. To conduct efficient hyperparameter optimization for the target task, it is essential to estimate the target objective using only the available information. To this end, we construct the variance reduced estimator that unbiasedly approximates the target objective with a desirable variance property. Building on the proposed estimator, we provide a general and tractable hyperparameter optimization procedure, which works preferably in our setting with a no-regret guarantee. The experiments demonstrate that the proposed framework broadens the applications of automated hyperparameter optimization.


title: Gamow-Teller transitions and the spin EMC effect: the Bjorken sum-rule in medium

abstract: Gamow-Teller transitions in nuclei tell us that the nucleon's axial charge $g_A^{(3)}$ is quenched in large nuclei by about 20%. This result tells us that the spin structure of the nucleon is modified in nuclei and disfavours models of the medium dependence of parton structure based only on nucleon short range correlations in nuclei. For polarized photoproduction the Gerasimov-Drell-Hearn integral is expected to be strongly enhanced in medium.


title: Tunable chirality of noncentrosymmetric magnetic Weyl semimetals

abstract: Even if Weyl semimetals are characterized by quasiparticles with well-defined chirality, exploiting this experimentally is severely hampered by Weyl lattice-fermions coming in pairs with opposite chirality, typically causing the net chirality picked up by experimental probes to vanish. Here we show this issue can be circumvented in a controlled manner when both time-reversal- and inversion- symmetry are broken. To this end, we investigate chirality-disbalance in the carbide family RMC$_2$ (R a rare-earth and M a transition metal), showing several members to be Weyl semimetals. Using the noncentrosymmetric ferromagnet NdRhC$_2$ as an illustrating example, we show that an odd number of Weyl nodes can be stabilized at its Fermi surface by properly tilting its magnetization. The tilt direction determines the sign of the resulting net chirality, opening up a simple route to control it.


title: An effective approach to reduce the penetration potential of Sars-Cov-2 and other viruses by spike protein: Through surface particle electrostatic charge negotiation

abstract: The objective of this paper is to provide a mathematical model to construct a barrier that may be useful to prevent the penetration of different viruses (Eg. SARS-COV-2) as well as charged aerosols through the concept of electrostatic charge negotiation. (Fusion for the opposite types of charges and repulsion for the similar types of charges). Reviewing the works of different authors, regarding charges, surface charge densities ({\sigma}), charge mobility ({\mu}) and electrostatic potentials of different aerosols under varied experimental conditions, a similar intensive study has also been carried out to investigate the electron donating and accepting (hole donating) properties of the spike proteins (S-proteins) of different RNA and DNA viruses, including SARS-COV-2. Based upon the above transport properties of electrons of different particles having different dimensions, a mathematical model has been established to find out the penetration potential of those particles under different electrostatic fields. An intensive study have been carried out to find out the generation of electrostatic charges due to the surface emission of electrons (SEE), when a conducting material like silk, nylon or wool makes a friction with the Gr IV elements like Germanium or Silicon, it creates an opposite layer of charges in the outer conducting surface and the inner semiconducting surface separated by a dielectric materials. This opposite charge barriers may be considered as Inversion layers (IL). The electrostatic charges accumulated in the layers between the Gr IV Ge is sufficient enough to either fuse or repel the charges of the spike proteins of the RNA, DNA viruses including SARS-Cov-2 (RNA virus) or the aerosols.


title: Compositional theories for host-core languages

abstract: Linear type theories, of various types and kinds, are of fundamental importance in most programming language research nowadays. In this paper we describe an extension of Benton's Linear-Non-Linear type theory and model for which we can prove some extra properties that make the system better behaved as far as its theory is concerned. We call this system the host-core type theory. The syntax of a host-core language is split into two parts, representing respectively a host language H and a core language C, embedded in H. This idea, derived from Benton's Linear-Non-Linear formulation of Linear Logic, allows a flexible management of data linearity, which is particularly useful in non-classical computational paradigms. The host-core style can be viewed as a simplified notion of multi-language programming, the process of software development in a heterogeneous programming language. In this paper, we present the typed calculus HC, a minimal and flexible host-core system that captures and standardizes common properties of an ideal class of host-core languages. We provide a denotational model in terms of enriched categories and we state a strong correspondence between syntax and semantics through the notion of internal language. The latter result provides some useful characterizations of host-core style, otherwise difficult to obtain. We also discuss some concrete instances, extensions and specializations of the system HC.


title: Riemannian Continuous Normalizing Flows

abstract: Normalizing flows have shown great promise for modelling flexible probability distributions in a computationally tractable way. However, whilst data is often naturally described on Riemannian manifolds such as spheres, torii, and hyperbolic spaces, most normalizing flows implicitly assume a flat geometry, making them either misspecified or ill-suited in these situations. To overcome this problem, we introduce Riemannian continuous normalizing flows, a model which admits the parametrization of flexible probability measures on smooth manifolds by defining flows as the solution to ordinary differential equations. We show that this approach can lead to substantial improvements on both synthetic and real-world data when compared to standard flows or previously introduced projected flows.


title: Convergent validity of several indicators measuring disruptiveness with milestone assignments to physics papers by experts

abstract: This study focuses on a recently introduced type of indicator measuring disruptiveness in science. Disruptive research diverges from current lines of research by opening up new lines. In the current study, we included the initially proposed indicator of this new type (Wu, Wang, & Evans, 2019) and several variants with DI1: DI5, DI1n, DI5n, and DEP. Since indicators should measure what they propose to measure, we investigated the convergent validity of the indicators. We used a list of milestone papers, selected and published by editors of Physical Review Letters, and investigated whether this human (experts - based list is related to values of the several disruption indicators variants and - if so - which variants show the highest correlation with expert judgements. We used bivariate statistics, multiple regression models, and (coarsened) exact matching (CEM) to investigate the convergent validity of the indicators. The results show that the indicators correlate differently with the milestone paper assignments by the editors. It is not the initially proposed disruption index that performed best (DI1), but the variant DI5 which has been introduced by Bornmann, Devarakonda, Tekles, and Chacko (2019). In the CEM analysis of this study, the DEP variant - introduced by Bu, Waltman, and Huang (2019) - also showed favorable results.


title: Ground states of semilinear elliptic equations

abstract: We study solutions of $\Delta u - F'(u)=0$, where the potential $F$ can have an arbitrary number of wells at arbitrary heights, including bottomless wells with subcritical decay. In our setting, ground state solutions correspond to unstable solutions of least energy. We show that in convex domains of $\mathbb{R}^N$ and manifolds with $\operatorname{Ric}\geq 0$, ground states are always of mountain-pass type and have Morse index 1. In addition, we prove symmetry of the ground states if the domain is either an Euclidean ball or the entire sphere $S^{N}$. For the Allen-Cahn equation $\varepsilon^2\Delta u - W'(u)=0$ on $S^{N}$, we prove the ground state is unique up to rotations and corresponds to the equator as a minimal hypersurface. We also study bifurcation at the energy level of the ground state as $\varepsilon\to 0$, showing that the first $N+1$ min-max Allen-Cahn widths of $S^{N}$ are ground states, and we prove a gap theorem for the corresponding $(N+2)$-th min-max solution.


title: Robotics Software Engineering: A Perspective from the Service Robotics Domain

abstract: Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with severe software engineering challenges, since they require high levels of robustness and autonomy to operate in highly heterogeneous environments. As a domain with critical safety implications, service robotics faces a need for sound software development practices. In this paper, we present the first large-scale empirical study to assess the state of the art and practice of robotics software engineering. We conducted 18 semi-structured interviews with industrial practitioners working in 15 companies from 9 different countries and a survey with 156 respondents (from 26 countries) from the robotics domain. Our results provide a comprehensive picture of (i) the practices applied by robotics industrial and academic practitioners, including processes, paradigms, languages, tools, frameworks, and reuse practices, (ii) the distinguishing characteristics of robotics software engineering, and (iii) recurrent challenges usually faced, together with adopted solutions. The paper concludes by discussing observations, derived hypotheses, and proposed actions for researchers and practitioners.


title: The Clever Hans Effect in Anomaly Detection

abstract: The 'Clever Hans' effect occurs when the learned model produces correct predictions based on the 'wrong' features. This effect which undermines the generalization capability of an ML model and goes undetected by standard validation techniques has been frequently observed for supervised learning where the training algorithm leverages spurious correlations in the data. The question whether Clever Hans also occurs in unsupervised learning, and in which form, has received so far almost no attention. Therefore, this paper will contribute an explainable AI (XAI) procedure that can highlight the relevant features used by popular anomaly detection models of different type. Our analysis reveals that the Clever Hans effect is widespread in anomaly detection and occurs in many (unexpected) forms. Interestingly, the observed Clever Hans effects are in this case not so much due to the data, but due to the anomaly detection models themselves whose structure makes them unable to detect the truly relevant features, even though vast amounts of data points are available. Overall, our work contributes a warning against an unrestrained use of existing anomaly detection models in practical applications, but it also points at a possible way out of the Clever Hans dilemma, specifically, by allowing multiple anomaly models to mutually cancel their individual structural weaknesses to jointly produce a better and more trustworthy anomaly detector.


title: Green's functions techniques for extended nuclear systems

abstract: I review the application of self-consistent Green's functions methods to study the properties of infinite nuclear systems. Improvements over the last decade, including the consistent treatment of three-nucleon forces and the development of extrapolation methods from finite to zero temperature, have allowed for realistic predictions of the equation of state of infinite symmetric, asymmetric and neutron matter based on chiral interactions. Microscopic properties, like momentum distributions or spectral functions, are also accessible. Using an indicative set of results based on a subset of chiral interactions, I summarise here the first-principles description of infinite nuclear system provided by Green's functions techniques, in the context of several issues of relevance for nuclear theory including, but not limited to, the role of short-range correlations in nuclear systems, nuclear phase transitions and the isospin dependence of nuclear observables.


title: Competitive Policy Optimization

abstract: A core challenge in policy optimization in competitive Markov decision processes is the design of efficient optimization methods with desirable convergence and stability properties. To tackle this, we propose competitive policy optimization (CoPO), a novel policy gradient approach that exploits the game-theoretic nature of competitive games to derive policy updates. Motivated by the competitive gradient optimization method, we derive a bilinear approximation of the game objective. In contrast, off-the-shelf policy gradient methods utilize only linear approximations, and hence do not capture interactions among the players. We instantiate CoPO in two ways:(i) competitive policy gradient, and (ii) trust-region competitive policy optimization. We theoretically study these methods, and empirically investigate their behavior on a set of comprehensive, yet challenging, competitive games. We observe that they provide stable optimization, convergence to sophisticated strategies, and higher scores when played against baseline policy gradient methods.


title: Homotopy derivations of the framed little discs operads

abstract: We study the homotopy derivations of the framed little discs operads, which correspond to the homotopy derivations of the BV2n operads. By extending a result by Willwacher about the homotopy derivations of the en operads we show that the homotopy derivations of the BV2n operads may be described through the cohomology of a suitable graph complex. We will present an explicit quasi-isomorphic map.


title: Different time scales in dynamic systems with multiple exits

abstract: Stochastic biochemical and transport processes have various final outcomes, and they can be viewed as dynamic systems with multiple exits. Many current theoretical studies, however, typically consider only a single time scale for each specific outcome, effectively corresponding to a single-exit process and assuming the independence of each exit process. But the presence of other exits influences the statistical properties and dynamics measured at any specific exit. Here, we present theoretical arguments to explicitly show the existence of different time scales, such as mean exit times and inverse exit fluxes, for dynamic processes with multiple exits. This implies that the statistics of any specific exit dynamics cannot be considered without taking into account the presence of other exits. Several illustrative examples are described in detail using analytical calculations, mean-field estimates, and kinetic Monte Carlo computer simulations. The underlying microscopic mechanisms for the existence of different time scales are discussed. The results are relevant for understanding the mechanisms of various biological, chemical, and industrial processes, including transport through channels and pores.


title: Polymer dynamics of isotropic universe in Ashtekar and in volume variables

abstract: We analyze the semiclassical and quantum polymer dynamics of the isotropic Universe in terms of both the standard Ashtekar-Barbero-Immirzi connection and its conjugate momentum and also of the new generalized coordinate conjugate to the Universe volume. We study the properties of the resulting bouncing cosmology that emerges in both the representations and we show that the Big Bounce is an intrinsic cut-off on the cosmological dynamics only when the volume variable is implemented, while in terms of the standard connection the Universe Bounce energy density is fixed by the initial conditions on the prepared wavepacket. As a phenomenological implication, we introduce particle creation as a dissipative term and study the production of entropy in the two formulations. Then, we compare the obtained dynamics with what emerges in Loop Quantum Cosmology, where the same difference in the nature of the Big Bounce is associated to fixing a minimum area eigenvalue in a comoving or in a physical representation. We conclude that the privileged character of the Ashtekar-Barbero-Immirzi connection suggests that the natural scenario in the polymer framework is a Big Bounce that is not a Universal cut-off. However, by a parallelism between the polymer and Loop Quantum Cosmology properties of the basic operators, we also develop some considerations in favour of the viability of the $\bar{\mu}$ scheme of Loop Quantum Cosmology on a semiclassical level.


title: AVClass2: Massive Malware Tag Extraction from AV Labels

abstract: Tags can be used by malware repositories and analysis services to enable searches for samples of interest across different dimensions. Automatically extracting tags from AV labels is an efficient approach to categorize and index massive amounts of samples. Recent tools like AVClass and Euphony have demonstrated that, despite their noisy nature, it is possible to extract family names from AV labels. However, beyond the family name, AV labels contain much valuable information such as malware classes, file properties, and behaviors. This work presents AVClass2, an automatic malware tagging tool that given the AV labels for a potentially massive number of samples, extracts clean tags that categorize the samples. AVClass2 uses, and helps building, an open taxonomy that organizes concepts in AV labels, but is not constrained to a predefined set of tags. To keep itself updated as AV vendors introduce new tags, it provides an update module that automatically identifies new taxonomy entries, as well as tagging and expansion rules that capture relations between tags. We have evaluated AVClass2 on 42M and showed how it enables advanced malware searches and to maintain an updated knowledge base of malware concepts in AV labels.


title: Localisations of half-closed modules and the unbounded Kasparov product

abstract: In the context of the Kasparov product in unbounded KK-theory, a well-known theorem by Kucerovsky provides sufficient conditions for an unbounded Kasparov module to represent the (internal) Kasparov product of two other unbounded Kasparov modules. In this article, we discuss several improved and generalised variants of Kucerovsky's theorem. First, we provide a generalisation which relaxes the positivity condition, by replacing the lower bound by a relative lower bound. Second, we also discuss Kucerovsky's theorem in the context of half-closed modules, which generalise unbounded Kasparov modules to symmetric (rather than self-adjoint) operators. In order to deal with the positivity condition for such non-self-adjoint operators, we introduce a fairly general localisation procedure, which (using a suitable approximate unit) provides a 'localised representative' for the KK-class of a half-closed module. Using this localisation procedure, we then prove several variants of Kucerovsky's theorem for half-closed modules. A distinct advantage of the localised approach, also in the special case of self-adjoint operators (i.e., for unbounded Kasparov modules), is that the (global) positivity condition in Kucerovsky's original theorem is replaced by a (less restrictive) 'local' positivity condition, which is closer in spirit to the well-known Connes-Skandalis theorem in the bounded picture of KK-theory.


title: Branched coverings of the sphere having a completely invariant continuum with infinitely many Wada Lakes

abstract: We construct a family of smooth branched coverings of degree $2$ of the sphere $S^2$ having a completely invariant indecomposable continuum $K$ and infinitely many Wada Lakes.


title: Converting Biomechanical Models from OpenSim to MuJoCo

abstract: OpenSim is a widely used biomechanics simulator with several anatomically accurate human musculo-skeletal models. While OpenSim provides useful tools to analyse human movement, it is not fast enough to be routinely used for emerging research directions, e.g., learning and simulating motor control through deep neural networks and Reinforcement Learning (RL). We propose a framework for converting OpenSim models to MuJoCo, the de facto simulator in machine learning research, which itself lacks accurate musculo-skeletal human models. We show that with a few simple approximations of anatomical details, an OpenSim model can be automatically converted to a MuJoCo version that runs up to 600 times faster. We also demonstrate an approach to computationally optimize MuJoCo model parameters so that forward simulations of both simulators produce similar results.


title: Tensor Decompositions in Recursive Neural Networks for Tree-Structured Data

abstract: The paper introduces two new aggregation functions to encode structural knowledge from tree-structured data. They leverage the Canonical and Tensor-Train decompositions to yield expressive context aggregation while limiting the number of model parameters. Finally, we define two novel neural recursive models for trees leveraging such aggregation functions, and we test them on two tree classification tasks, showing the advantage of proposed models when tree outdegree increases.


title: Local Competition and Uncertainty for Adversarial Robustness in Deep Learning

abstract: This work attempts to address adversarial robustness of deep networks by means of novel learning arguments. Specifically, inspired from results in neuroscience, we propose a local competition principle as a means of adversarially-robust deep learning. We argue that novel local winner-takes-all (LWTA) nonlinearities, combined with posterior sampling schemes, can greatly improve the adversarial robustness of traditional deep networks against difficult adversarial attack schemes. We combine these LWTA arguments with tools from the field of Bayesian non-parametrics, specifically the stick-breaking construction of the Indian Buffet Process, to flexibly account for the inherent uncertainty in data-driven modeling. As we experimentally show, the new proposed model achieves high robustness to adversarial perturbations on MNIST and CIFAR10 datasets. Our model achieves state-of-the-art results in powerful white-box attacks, while at the same time retaining its benign accuracy to a high degree. Equally importantly, our approach achieves this result while requiring far less trainable model parameters than the existing state-of-the-art.


title: On the Predictability of Pruning Across Scales

abstract: We show that the error of iteratively magnitude-pruned networks empirically follows a scaling law with interpretable coefficients that depend on the architecture and task. We functionally approximate the error of the pruned networks, showing it is predictable in terms of an invariant tying width, depth, and pruning level, such that networks of vastly different pruned densities are interchangeable. We demonstrate the accuracy of this approximation over orders of magnitude in depth, width, dataset size, and density. We show that the functional form holds (generalizes) for large scale data (e.g., ImageNet) and architectures (e.g., ResNets). As neural networks become ever larger and costlier to train, our findings suggest a framework for reasoning conceptually and analytically about a standard method for unstructured pruning.


title: Thermoelectric graphene photodetectors with sub-nanosecond response times at Terahertz frequencies

abstract: Ultrafast and sensitive (noise equivalent power <1 nWHz-1/2) light-detection in the Terahertz (THz) frequency range (0.1-10 THz) and at room-temperature is key for applications such as time-resolved THz spectroscopy of gases, complex molecules and cold samples, imaging, metrology, ultra-high-speed data communications, coherent control of quantum systems, quantum optics and for capturing snapshots of ultrafast dynamics, in materials and devices, at the nanoscale. Here, we report room-temperature THz nano-receivers exploiting antenna-coupled graphene field effect transistors integrated with lithographically-patterned high-bandwidth (~100 GHz) chips, operating with a combination of high speed (hundreds ps response time) and high sensitivity (noise equivalent power <120 pWHz-1/2) at 3.4 THz. Remarkably, this is achieved with various antenna and transistor architectures (single-gate, dual-gate), whose operation frequency can be extended over the whole 0.1-10 THz range, thus paving the way for the design of ultrafast graphene arrays in the far infrared, opening concrete perspective for targeting the aforementioned applications.


title: SatImNet: Structured and Harmonised Training Data for Enhanced Satellite Imagery Classification

abstract: Automatic supervised classification with complex modelling such as deep neural networks requires the availability of representative training data sets. While there exists a plethora of data sets that can be used for this purpose, they are usually very heterogeneous and not interoperable. In this context, the present work has a twofold objective: i) to describe procedures of open-source training data management, integration, and data retrieval, and ii) to demonstrate the practical use of varying source training data for remote sensing image classification. For the former, we propose SatImNet, a collection of open training data, structured and harmonized according to specific rules. For the latter, two modelling approaches based on convolutional neural networks have been designed and configured to deal with satellite image classification and segmentation.


title: Jump processes as Generalized Gradient Flows

abstract: We have created a functional framework for a class of non-metric gradient systems. The state space is a space of nonnegative measures, and the class of systems includes the Forward Kolmogorov equations for the laws of Markov jump processes on Polish spaces. This framework comprises a definition of a notion of solutions, a method to prove existence, and an archetype uniqueness result. We do this by using only the structure that is provided directly by the dissipation functional, which need not be homogeneous, and we do not appeal to any metric structure.


title: Entanglement wedge cross-section in shock wave geometries

abstract: We consider reflected entropy in a thermofield double state perturbed by a heavy operator insertion. For sufficiently early operator insertions the dual geometry can be described by a localized shock wave geometry. We calculate the entanglement wedge cross-section in this geometry for symmetric intervals and find that it matches precisely with the CFT result for sufficiently late times. Our result exhibits a plateau before going to zero, a behaviour similar to the one observed recently in the context of global quantum quenches. We find that at high temperatures this behaviour is properly captured by the line-tension picture.


title: Use of in-the-wild images for anomaly detection in face anti-spoofing

abstract: The traditional approach to face anti-spoofing sees it as a binary classification problem, and binary classifiers are trained and validated on specialized anti-spoofing databases. One of the drawbacks of this approach is that, due to the variability of face spoofing attacks, environmental factors, and the typically small sample size, such classifiers do not generalize well to previously unseen databases. Anomaly detection, which approaches face anti-spoofing as a one-class classification problem, is emerging as an increasingly popular alternative approach. Nevertheless, in all existing work on anomaly detection for face anti-spoofing, the proposed training protocols utilize images from specialized anti-spoofing databases only, even though only common images of real faces are needed. Here, we explore the use of in-the-wild images, and images from non-specialized face databases, to train one-class classifiers for face anti-spoofing. Employing a well-established technique, we train a convolutional autoencoder on real faces and compare the reconstruction error of the input against a threshold to classify a face image accordingly as either client or imposter. Our results show that the inclusion in the training set of in-the-wild images increases the discriminating power of the classifier significantly on an unseen database, as evidenced by a large increase in the value of the Area Under the Curve. In a limitation of our approach, we note that the problem of finding a suitable operating point on the unseen database remains a challenge, as evidenced by the values of the Half Total Error Rate.


title: Compositional Generalization by Learning Analytical Expressions

abstract: Compositional generalization is a basic and essential intellective capability of human beings, which allows us to recombine known parts readily. However, existing neural network based models have been proven to be extremely deficient in such a capability. Inspired by work in cognition which argues compositionality can be captured by variable slots with symbolic functions, we present a refreshing view that connects a memory-augmented neural model with analytical expressions, to achieve compositional generalization. Our model consists of two cooperative neural modules, Composer and Solver, fitting well with the cognitive argument while being able to be trained in an end-to-end manner via a hierarchical reinforcement learning algorithm. Experiments on the well-known benchmark SCAN demonstrate that our model seizes a great ability of compositional generalization, solving all challenges addressed by previous works with 100% accuracies.


title: Offline detection of change-points in the mean for stationary graph signals

abstract: This paper addresses the problem of segmenting a stream of graph signals: we aim to detect changes in the mean of a multivariate signal defined over the nodes of a known graph. We propose an offline method that relies on the concept of graph signal stationarity and allows the convenient translation of the problem from the original vertex domain to the spectral domain (Graph Fourier Transform), where it is much easier to solve. Although the obtained spectral representation is sparse in real applications, to the best of our knowledge this property has not been sufficiently exploited in the existing related literature. Our change-point detection method adopts a model selection approach that takes into account the sparsity of the spectral representation and determines automatically the number of change-points. Our detector comes with a proof of a non-asymptotic oracle inequality. Numerical experiments demonstrate the performance of the proposed method.


title: Scattering and absorption invariance of nonmagnetic particles under duality transformations

abstract: We revisit the total scatterings (in terms of extinction, scattering and absorption cross sections) by arbitrary clusters of nonmagnetic particles that support optically-induced magnetic responses. Our reexamination is conducted from the perspective of the electromagnetic duality symmetry, and it is revealed that all total scattering properties are invariant under duality transformations. This secures that for self-dual particle clusters, the total scattering properties are polarization independent for any fixed incident direction; while for non-self-dual particle clusters, two scattering configurations that are connected to each other through a duality transformation would exhibit identical scattering properties. This electromagnetic duality induced invariance is irrelevant to specific particle distributions or wave incident directions, which is illustrated for both random and periodic clusters.


title: Looking forward to test the KOTO anomaly with FASER

abstract: The search for light and long-lived particles at the LHC will be intensified in the upcoming years with a prominent role of the new FASER experiment. In this study, we discuss how FASER could independently probe such scenarios relevant for new physics searches at kaon factories. We put an emphasis on the proposed explanations for the recently observed three anomalous events in the KOTO experiment. The baseline of FASER precisely corresponds to the proposed lifetime solution to the anomaly that avoids the NA62 bounds on charged kaons. As a result, the experiment can start constraining relevant models within the first few weeks of its operation. In some cases, it can confirm a possible discovery with up to 10000 spectacular high-energy events in FASER during LHC Run 3. Further complementarities between FASER and kaon factories, which employ FASER capability to study di-photon signatures, are illustrated for the model with axion-like particles dominantly coupled to $SU(2)_W$ gauge bosons.


title: Phase-tunable thermoelectricity in a Josephson junction

abstract: Superconducting tunnel junctions constitute the units of superconducting quantum circuits and are massively used both for quantum sensing and quantum computation. In previous works, we predicted the existence of a nonlinear thermoelectric effect in a electron-hole symmetric system, namely, a thermally biased tunnel junction between two different superconductors, where the Josephson effect is suppressed. In this paper we investigate the impact of the phase-coherent contributions on the thermoelectric effect, by tuning the size of the Josephson coupling changing the flux of a direct-current Superconducting Quantum Interference Device (dc-SQUID). For a suppressed Josephson coupling, the system generates a finite average thermoelectric signal, combined to an oscillation due to the standard ac Josephson phenomenology. At large Josephson couplings, the thermoelectricity induces an oscillatory behaviour with zero average value of the current/voltage with an amplitude and a frequency associated to the Josephson coupling strength, and ultimately tuned by the dc-SQUID magnetic flux. In conclusion, we demonstrate to be able to control the dynamics of the spontaneous breaking of the electron-hole symmetry. Furthermore, we compute how the flux applied to the dc-SQUID and the lumped elements of the circuit determine the frequency of the thermoelectric signal across the structure, and we envision a frequency modulation application.


title: Explainable and Discourse Topic-aware Neural Language Understanding

abstract: Marrying topic models and language models exposes language understanding to a broader source of document-level context beyond sentences via topics. While introducing topical semantics in language models, existing approaches incorporate latent document topic proportions and ignore topical discourse in sentences of the document. This work extends the line of research by additionally introducing an explainable topic representation in language understanding, obtained from a set of key terms correspondingly for each latent topic of the proportion. Moreover, we retain sentence-topic associations along with document-topic association by modeling topical discourse for every sentence in the document. We present a novel neural composite language model that exploits both the latent and explainable topics along with topical discourse at sentence-level in a joint learning framework of topic and language models. Experiments over a range of tasks such as language modeling, word sense disambiguation, document classification, retrieval and text generation demonstrate ability of the proposed model in improving language understanding.


title: A Multi-View Approach Based on Naming Behavioral Modeling for Aligning Chinese User Accounts across Multiple Networks

abstract: Hundreds of millions of Chinese people have become social network users in recent years, and aligning the accounts of common Chinese users across multiple social networks is valuable to many inter-network applications, e.g., cross-network recommendation, cross-network link prediction. Many methods have explored the proper ways of utilizing account name information into aligning the common English users' accounts. However, how to properly utilize the account name information when aligning the Chinese user accounts remains to be detailedly studied. In this paper, we firstly discuss the available naming behavioral models as well as the related features for different types of Chinese account name matchings. Secondly, we propose the framework of Multi-View Cross-Network User Alignment (MCUA) method, which uses a multi-view framework to creatively integrate different models to deal with different types of Chinese account name matchings, and can consider all of the studied features when aligning the Chinese user accounts. Finally, we conduct experiments to prove that MCUA can outperform many existing methods on aligning Chinese user accounts between Sina Weibo and Twitter. Besides, we also study the best learning models and the top-k valuable features of different types of name matchings for MCUA over our experimental data sets.


title: Influence of the Sun-like magnetic cycle on exoplanetary atmospheric escape

abstract: Stellar high-energy radiation (X-ray and extreme ultraviolet, XUV) drives atmospheric escape in close-in exoplanets. Given that stellar irradiation depends on the stellar magnetism and that stars have magnetic cycles, we investigate how cycles affect the evolution of exoplanetary atmospheric escape. Firstly, we consider a hypothetical HD209458b-like planet orbiting the Sun. For that, we implement the observed solar XUV radiation available over one and a half solar cycles in a 1D hydrodynamic escape model of HD209458b. We find that atmospheric escape rates show a cyclic variation (from 7.6 to 18.5 $\times$ 10$^{10}$ g s$^{-1}$), almost proportional to the incident stellar radiation. To compare this with observations, we compute spectroscopic transits in two hydrogen lines. We find non-detectable cyclic variations in Ly$\alpha$ transits. Given the temperature sensitiveness of the H$\alpha$ line, its equivalent width has an amplitude of 1.9 mA variation over the cycle, which could be detectable in exoplanets such as HD209458b. We demonstrate that the XUV flux is linearly proportional to the magnetic flux during the solar cycle. Secondly, we apply this relation to derive the cyclic evolution of the XUV flux of HD189733 using the available magnetic flux observations of the star from Zeeman Doppler Imaging over nearly a decade. The XUV fluxes are then used to model escape in HD189733b, which shows escape rate varying from 2.8 to 6.5 $\times$ 10$^{10}$ g s$^{-1}$. Like in the HD209458b case, this introduces variations in Ly$\alpha$ and H$\alpha$ transits, with H$\alpha$ variations more likely to be observable. Finally, we show that a strong stellar flare would enhance significantly Ly$\alpha$ and H$\alpha$ transit depths.


title: Detecting Affective Flow States of Knowledge Workers Using Physiological Sensors

abstract: Flow-like experiences at work are important for productivity and worker well-being. However, it is difficult to objectively detect when workers are experiencing flow in their work. In this paper, we investigate how to predict a worker's focus state based on physiological signals. We conducted a lab study to collect physiological data from knowledge workers experienced different levels of flow while performing work tasks. We used the nine characteristics of flow to design tasks that would induce different focus states. A manipulation check using the Flow Short Scale verified that participants experienced three distinct flow states, one overly challenging non-flow state, and two types of flow states, balanced flow, and automatic flow. We built machine learning classifiers that can distinguish between non-flow and flow states with 0.889 average AUC and rest states from working states with 0.98 average AUC. The results show that physiological sensing can detect focused flow states of knowledge workers and can enable ways to for individuals and organizations to improve both productivity and worker satisfaction.


title: Space-borne quantum memories for global quantum communication

abstract: Global scale quantum communication links will form the backbone of the quantum internet. However, exponential loss in optical fibres precludes any realistic application beyond few hundred kilometres. Quantum repeaters and space-based systems offer to overcome this limitation. Here, we analyse the use of quantum memory (QM)-equipped satellites for quantum communication focussing on global range repeaters and Measurement-Device-Independent (MDI) QKD. We demonstrate that satellites equipped with QMs provide three orders of magnitude faster entanglement distribution rates than existing protocols based on fibre-based repeaters or space systems without QMs. We analyse how entanglement distribution performance depends on memory characteristics, determine benchmarks to assess performance of different tasks, and propose various architectures for light-matter interfaces. Our work provides a practical roadmap to realise unconditionally secure quantum communications over global distances with current technologies.


title: Temporal Graph Networks for Deep Learning on Dynamic Graphs

abstract: Graph Neural Networks (GNNs) have recently become increasingly popular due to their ability to learn complex systems of relations or interactions arising in a broad spectrum of problems ranging from biology and particle physics to social networks and recommendation systems. Despite the plethora of different models for deep learning on graphs, few approaches have been proposed thus far for dealing with graphs that present some sort of dynamic nature (e.g. evolving features or connectivity over time). In this paper, we present Temporal Graph Networks (TGNs), a generic, efficient framework for deep learning on dynamic graphs represented as sequences of timed events. Thanks to a novel combination of memory modules and graph-based operators, TGNs are able to significantly outperform previous approaches being at the same time more computationally efficient. We furthermore show that several previous models for learning on dynamic graphs can be cast as specific instances of our framework. We perform a detailed ablation study of different components of our framework and devise the best configuration that achieves state-of-the-art performance on several transductive and inductive prediction tasks for dynamic graphs.


title: Tight Bounds for Connectivity of Random K-out Graphs

abstract: Random K-out graphs are used in several applications including modeling by sensor networks secured by the random pairwise key predistribution scheme, and payment channel networks. The random K-out graph with $n$ nodes is constructed as follows. Each node draws an edge towards $K$ distinct nodes selected uniformly at random. The orientation of the edges is then ignored, yielding an undirected graph. An interesting property of random K-out graphs is that they are connected almost surely in the limit of large $n$ for any $K \geq2$. This means that they attain the property of being connected very easily, i.e., with far fewer edges ($O(n)$) as compared to classical random graph models including Erd\H{o}s-R\'enyi graphs ($O(n \log n)$). This work aims to reveal to what extent the asymptotic behavior of random K-out graphs being connected easily extends to cases where the number $n$ of nodes is small. We establish upper and lower bounds on the probability of connectivity when $n$ is finite. Our lower bounds improve significantly upon the existing results, and indicate that random K-out graphs can attain a given probability of connectivity at much smaller network sizes than previously known. We also show that the established upper and lower bounds match order-wise; i.e., further improvement on the order of $n$ in the lower bound is not possible. In particular, we prove that the probability of connectivity is $1-\Theta({1}/{n^{K^2-1}})$ for all $K \geq 2$. Through numerical simulations, we show that our bounds closely mirror the empirically observed probability of connectivity.


title: Demonstration of an All-Microwave Controlled-Phase Gate between Far Detuned Qubits

abstract: A challenge in building large-scale superconducting quantum processors is to find the right balance between coherence, qubit addressability, qubit-qubit coupling strength, circuit complexity and the number of required control lines. Leading all-microwave approaches for coupling two qubits require comparatively few control lines and benefit from high coherence but suffer from frequency crowding and limited addressability in multi-qubit settings. Here, we overcome these limitations by realizing an all-microwave controlled-phase gate between two transversely coupled transmon qubits which are far detuned compared to the qubit anharmonicity. The gate is activated by applying a single, strong microwave tone to one of the qubits, inducing a coupling between the two-qubit $|f,g\rangle$ and $|g,e\rangle$ states, with $|g\rangle$, $|e\rangle$, and $|f\rangle$ denoting the lowest energy states of a transmon qubit. Interleaved randomized benchmarking yields a gate fidelity of $97.5\pm 0.3 \%$ at a gate duration of $126\,\rm{ns}$, with the dominant error source being decoherence. We model the gate in presence of the strong drive field using Floquet theory and find good agreement with our data. Our gate constitutes a promising alternative to present two-qubit gates and could have hardware scaling advantages in large-scale quantum processors as it neither requires additional drive lines nor tunable couplers.


title: Consistency Conditions for $p$-Form Fields Localization on Codimension two Braneworlds

abstract: Recently, in (Eur.Phys.J.C 80 (2020) 5, 432), the present authors obtained general stringent conditions on the localization of fields in braneworlds by imposing that its zero-mode must satisfy Einstein's equations (EE). Here, we continue this study by considering free $p$-form. These fields present an on-shell equivalency relation between a $p$-form and a $(D-p-2)$-form, provided by Hodge duality (HD). This symmetry will impose a new consistency condition, namely, confinement of a $p$-form must imply the localization of its dual. We apply the above conditions to $6$D braneworlds. With this, we find that in global string-like defects, for example, the $1$-form has a normalizable zero-mode. By using the HD, we show that its bulk dual $3$-form also has a normalizable zero-mode, making the confinement consistent with HD. However, these solutions cannot be made consistent with EE, therefore, these fields must be ruled out. In fact, by imposing both conditions, only the scalar and its dual field can be consistently localized. In this way, all the literature so far in which the free $1$-form is localized in codimension two models should be reviewed. These results also point to the fact that the symmetries of the fields can be used to verify the consistency of their localization and even prohibit it.


title: Shannon meets Myerson: Information Extraction from a Strategic Sender

abstract: We study a setting where a receiver must design a questionnaire to recover a sequence of symbols known to strategic sender, whose utility may not be incentive compatible. We allow the receiver the possibility of selecting the alternatives presented in the questionnaire, and thereby linking decisions across the components of the sequence. We show that, despite the strategic sender and the noise in the channel, the receiver can recover exponentially many sequences, but also that exponentially many sequences are unrecoverable even by the best strategy. We define the growth rate of the number of recovered sequences as the information extraction capacity. A generalization of the Shannon capacity, it characterizes the optimal amount of communication resources required. We derive bounds leading to an exact evaluation of the information extraction capacity in many cases. Our results form the building blocks of a novel, noncooperative regime of communication involving a strategic sender.


title: Evolution of Disc Thickness in Simulated High-Redshift Galaxies

abstract: We study the growth of stellar discs of Milky Way-sized galaxies using a suite of cosmological simulations. We calculate the half-mass axis lengths and axis ratios of stellar populations split by age in isolated galaxies with stellar mass $M_* = 10^7 - 10^{10} M_{\odot}$ at redshifts $z$ > 1.5. We find that in our simulations stars always form in relatively thin discs, and at ages below 100 Myr are contained within half-mass height $z_{1/2}$ ~ 0.1 kpc and short-to-long axis ratio $z_{1/2}/x_{1/2}$ ~ 0.15. Disc thickness increases with the age of stellar population, reaching median $z_{1/2}$ ~ 0.8 kpc and $z_{1/2}/x_{1/2}$ ~ 0.6 for stars older than 500 Myr. We trace the same group of stars over the simulation snapshots and show explicitly that their intrinsic shape grows more spheroidal over time. We identify a new mechanism that contributes to the observed disc thickness: rapid changes in the orientation of the galactic plane mix the configuration of young stars. The frequently mentioned "upside-down" formation scenario of galactic discs, which posits that young stars form in already thick discs at high redshift, may be missing this additional mechanism of quick disc inflation. The actual formation of stars within a fairly thin plane is consistent with the correspondingly flat configuration of dense molecular gas that fuels star formation.


title: Erdos Goes Neural: an Unsupervised Learning Framework for Combinatorial Optimization on Graphs

abstract: Combinatorial optimization problems are notoriously challenging for neural networks, especially in the absence of labeled instances. This work proposes an unsupervised learning framework for CO problems on graphs that can provide integral solutions of certified quality. Inspired by Erdos' probabilistic method, we use a neural network to parametrize a probability distribution over sets. Crucially, we show that when the network is optimized w.r.t. a suitably chosen loss, the learned distribution contains, with controlled probability, a low-cost integral solution that obeys the constraints of the combinatorial problem. The probabilistic proof of existence is then derandomized to decode the desired solutions. We demonstrate the efficacy of this approach to obtain valid solutions to the maximum clique problem and to perform local graph clustering. Our method achieves competitive results on both real datasets and synthetic hard instances.


title: p- and hp- virtual elements for the Stokes problem

abstract: We analyse the p- and hp-versions of the virtual element method (VEM) for the the Stokes problem on a polygonal domain. The key tool in the analysis is the existence of a bijection between Poisson-like and Stokes-like VE spaces for the velocities. This allows us to re-interpret the standard VEM for Stokes as a VEM, where the test and trial discrete velocities are sought in Poisson-like VE spaces. The upside of this fact is that we inherit from [7] an explicit analysis of best interpolation results in VE spaces, as well as stabilization estimates that are explicit in terms of the degree of accuracy of the method. We prove exponential convergence of the hp-VEM for Stokes problems with regular right-hand sides. We corroborate the theoretical estimates with numerical tests for both the p- and hp-versions of the method.


title: Online Deep Clustering for Unsupervised Representation Learning

abstract: Joint clustering and feature learning methods have shown remarkable performance in unsupervised representation learning. However, the training schedule alternating between feature clustering and network parameters update leads to unstable learning of visual representations. To overcome this challenge, we propose Online Deep Clustering (ODC) that performs clustering and network update simultaneously rather than alternatingly. Our key insight is that the cluster centroids should evolve steadily in keeping the classifier stably updated. Specifically, we design and maintain two dynamic memory modules, i.e., samples memory to store samples labels and features, and centroids memory for centroids evolution. We break down the abrupt global clustering into steady memory update and batch-wise label re-assignment. The process is integrated into network update iterations. In this way, labels and the network evolve shoulder-to-shoulder rather than alternatingly. Extensive experiments demonstrate that ODC stabilizes the training process and boosts the performance effectively. Code: https://github.com/open-mmlab/OpenSelfSup.


title: Homogeneity Test for Functional Data based on Data-Depth Plots

abstract: One of the classic concerns in statistics is determining if two samples come from thesame population, i.e. homogeneity testing. In this paper, we propose a homogeneitytest in the context of Functional Data Analysis, adopting an idea from multivariatedata analysis: the data depth plot (DD-plot). This DD-plot is a generalization of theunivariate Q-Q plot (quantile-quantile plot). We propose some statistics based onthese DD-plots, and we use bootstrapping techniques to estimate their distributions.We estimate the finite-sample size and power of our test via simulation, obtainingbetter results than other homogeneity test proposed in the literature. Finally, weillustrate the procedure in samples of real heterogeneous data and get consistent results.


title: Quantitative electrochemical control over optical gain in quantum-dot solids

abstract: Realizing solution processed quantum dot (QD) lasers is one of the holy-grails of nanoscience. The reason that QD lasers are not yet commercialized is that the lasing threshold is too high: one needs > 1 exciton per QD, which is hard to achieve due to fast non-radiative Auger recombination. The optical gain threshold can be reduced by electronic doping of the QDs, which lowers the absorption near the band-edge, such that the stimulated emission (SE) can easily outcompete absorption. Here, we show that by electrochemically doping films of CdSe/CdS/ZnS QDs we achieve quantitative control over the gain threshold. We obtain stable and reversible doping with up to two electrons per QD. We quantify the gain threshold and the charge carrier dynamics using ultrafast spectroelectrochemistry and achieve quantitative agreement between experiments and theory. Over a range of wavelengths with appreciable gain coefficients, the gain thresholds reach record-low values of ~10^-5 excitons per QD. These results demonstrate an unprecedented level of control over the gain threshold in doped QD solids, paving the way for the creation of cheap, solution-processable low-threshold QD-lasers.


title: On the monodromy of the deformed cubic oscillator

abstract: We study a second-order linear differential equation known as the deformed cubic oscillator, whose isomonodromic deformations are controlled by the first Painlev{\'e} equation. We use the generalised monodromy map for this equation to give solutions to the infinite-dimensional Riemann-Hilbert problems arising from the Donaldson-Thomas theory of the A2 quiver. These are the first known solutions to such problems beyond the uncoupled case. The appendix by Davide Masoero contains a WKB analysis of the asymptotics of the monodromy map.


title: Multi-Density Sketch-to-Image Translation Network

abstract: Sketch-to-image (S2I) translation plays an important role in image synthesis and manipulation tasks, such as photo editing and colorization. Some specific S2I translation including sketch-to-photo and sketch-to-painting can be used as powerful tools in the art design industry. However, previous methods only support S2I translation with a single level of density, which gives less flexibility to users for controlling the input sketches. In this work, we propose the first multi-level density sketch-to-image translation framework, which allows the input sketch to cover a wide range from rough object outlines to micro structures. Moreover, to tackle the problem of noncontinuous representation of multi-level density input sketches, we project the density level into a continuous latent space, which can then be linearly controlled by a parameter. This allows users to conveniently control the densities of input sketches and generation of images. Moreover, our method has been successfully verified on various datasets for different applications including face editing, multi-modal sketch-to-photo translation, and anime colorization, providing coarse-to-fine levels of controls to these applications.


title: On groupoids with Bol-Moufang type identities

abstract: We present results about groupoids of small order with Bol-Moufang type identities both classical and non-classical which are listed in [7, 8].


title: A SIR model assumption for the spread of COVID-19 in different communities

abstract: In this paper, we study the effectiveness of the modelling approach on the pandemic due to the spreading of the novel COVID-19 disease and develop a susceptible-infected-removed (SIR) model that provides a theoretical framework to investigate its spread within a community. Here, the model is based upon the well-known susceptible-infected-removed (SIR) model with the difference that a total population is not defined or kept constant per se and the number of susceptible individuals does not decline monotonically. To the contrary, as we show herein, it can be increased in surge periods! In particular, we investigate the time evolution of different populations and monitor diverse significant parameters for the spread of the disease in various communities, represented by countries and the state of Texas in the USA. The SIR model can provide us with insights and predictions of the spread of the virus in communities that the recorded data alone cannot. Our work shows the importance of modelling the spread of COVID-19 by the SIR model that we propose here, as it can help to assess the impact of the disease by offering valuable predictions. Our analysis takes into account data from January to June, 2020, the period that contains the data before and during the implementation of strict and control measures. We propose predictions on various parameters related to the spread of COVID-19 and on the number of susceptible, infected and removed populations until September 2020. By comparing the recorded data with the data from our modelling approaches, we deduce that the spread of COVID-19 can be under control in all communities considered, if proper restrictions and strong policies are implemented to control the infection rates early from the spread of the disease.


title: Microscopic force for aerosol transport

abstract: A key ingredient for single particle diffractive imaging experiments is the successful and efficient delivery of sample. Current sample-delivery methods are based on aerosol injectors in which the samples are driven by fluid-dynamic forces. These are typically simulated using Stokes' drag forces and for micrometer-size or smaller particles, the Cunningham correction factor is applied. This is not only unsatisfactory, but even using a temperature dependent formulation it fails at cryogenic temperatures. Here we propose the use of a direct computation of the force, based on Epstein's formulation, that allows for high relative velocities of the particles to the gas and also for internal particle temperatures that differ from the gas temperature. The new force reproduces Stokes' drag force for conditions known to be well described by Stokes' drag. Furthermore, it shows excellent agreement to experiments at 4 K, confirming the improved descriptive power of simulations over a wide temperature range.


title: Precise expressions for random projections: Low-rank approximation and randomized Newton

abstract: It is often desirable to reduce the dimensionality of a large dataset by projecting it onto a low-dimensional subspace. Matrix sketching has emerged as a powerful technique for performing such dimensionality reduction very efficiently. Even though there is an extensive literature on the worst-case performance of sketching, existing guarantees are typically very different from what is observed in practice. We exploit recent developments in the spectral analysis of random matrices to develop novel techniques that provide provably accurate expressions for the expected value of random projection matrices obtained via sketching. These expressions can be used to characterize the performance of dimensionality reduction in a variety of common machine learning tasks, ranging from low-rank approximation to iterative stochastic optimization. Our results apply to several popular sketching methods, including Gaussian and Rademacher sketches, and they enable precise analysis of these methods in terms of spectral properties of the data. Empirical results show that the expressions we derive reflect the practical performance of these sketching methods, down to lower-order effects and even constant factors.


title: Toric Eigenvalue Methods for Solving Sparse Polynomial Systems

abstract: We consider the problem of computing homogeneous coordinates of points in a zero-dimensional subscheme of a compact, complex toric variety $X$. Our starting point is a homogeneous ideal $I$ in the Cox ring of $X$, which in practice might arise from homogenizing a sparse polynomial system. We prove a new eigenvalue theorem in the toric compact setting, which leads to a novel, robust numerical approach for solving this problem. Our method works in particular for systems having isolated solutions with arbitrary multiplicities. It depends on the multigraded regularity properties of $I$. We study these properties and provide bounds on the size of the matrices appearing in our approach when $I$ is a complete intersection.


title: Discovery of highly-polarizable semiconductors BaZrS3 and Ba3Zr2S7

abstract: There are few known semiconductors exhibiting both strong optical response and large dielectric polarizability. Inorganic materials with large dielectric polarizability tend to be wide-band gap complex oxides. Semiconductors with strong photoresponse to visible and infrared light tend to be weakly polarizable. Interesting exceptions to these trends are halide perovskites and phase-change chalcogenides. Here we introduce complex chalcogenides in the Ba-Zr-S system in perovskite and Ruddlesden-Popper structures as a new family of highly polarizable semiconductors. We report the results of impedance spectroscopy on single crystals that establish BaZrS3 and Ba3Zr2S7 as semiconductors with low-frequency relative dielectric constant (${\epsilon}_0$) in the range 50 - 100, and band gap in the range 1.3 - 1.8 eV. Our electronic structure calculations indicate the enhanced dielectric response in perovskite BaZrS3 versus Ruddlesden-Popper Ba3Zr2S7 is primarily due to enhanced IR mode-effective charges, and variations in phonon frequencies along $\langle 001 \rangle$; differences in the Born effective charges and the lattice stiffness are of secondary importance. This combination of covalent bonding in crystal structures more common to complex oxides results in a sizable Fr\"ohlich coupling constant, which suggests that charge carriers are large polarons.


title: Canonical Construction of Quantum Oracles

abstract: Selecting a set of basis states is a common task in quantum computing, in order to increase and/or evaluate their probabilities. This is similar to designing WHERE clauses in classical database queries. Even though one can find heuristic methods to achieve this, it is desirable to automate the process. A common, but inefficient automation approach is to use oracles with classical evaluation of all the states at circuit design time. In this paper, we present a novel, canonical way to produce a quantum oracle from an algebraic expression (in particular, an Ising model), that maps a set of selected states to the same value, coupled with a simple oracle that matches that particular value. We also introduce a general form of the Grover iterate that standardizes this type of oracle. We then apply this new methodology to particular cases of Ising Hamiltonians that model the zero-sum subset problem and the computation of Fibonacci numbers. In addition, this paper presents experimental results obtained on real quantum hardware, the new Honeywell computer based on trapped-ion technology with quantum volume 64.


title: Robust Group Subspace Recovery: A New Approach for Multi-Modality Data Fusion

abstract: Robust Subspace Recovery (RoSuRe) algorithm was recently introduced as a principled and numerically efficient algorithm that unfolds underlying Unions of Subspaces (UoS) structure, present in the data. The union of Subspaces (UoS) is capable of identifying more complex trends in data sets than simple linear models. We build on and extend RoSuRe to prospect the structure of different data modalities individually. We propose a novel multi-modal data fusion approach based on group sparsity which we refer to as Robust Group Subspace Recovery (RoGSuRe). Relying on a bi-sparsity pursuit paradigm and non-smooth optimization techniques, the introduced framework learns a new joint representation of the time series from different data modalities, respecting an underlying UoS model. We subsequently integrate the obtained structures to form a unified subspace structure. The proposed approach exploits the structural dependencies between the different modalities data to cluster the associated target objects. The resulting fusion of the unlabeled sensors' data from experiments on audio and magnetic data has shown that our method is competitive with other state of the art subspace clustering methods. The resulting UoS structure is employed to classify newly observed data points, highlighting the abstraction capacity of the proposed method.


title: Gauging the happiness benefit of US urban parks through Twitter

abstract: The relationship between nature contact and mental well-being has received increasing attention in recent years. While a body of evidence has accumulated demonstrating a positive relationship between time in nature and mental well-being, there have been few studies comparing this relationship in different locations over long periods of time. In this study, we estimate a happiness benefit, the difference in expressed happiness between in- and out-of-park tweets, for the 25 largest cities in the US by population. People write happier words during park visits when compared with non-park user tweets collected around the same time. While the words people write are happier in parks on average and in most cities, we find considerable variation across cities. Tweets are happier in parks at all times of the day, week, and year, not just during the weekend or summer vacation. Across all cities, we find that the happiness benefit is highest in parks larger than 100 acres. Overall, our study suggests the happiness benefit associated with park visitation is on par with US holidays such as Thanksgiving and New Year's Day.


title: Spontaneous Holographic Scalarization of Black Holes in Einstein-Scalar-Gauss-Bonnet Theories

abstract: We holographically investigate the scalarization in the Einstein-Scalar-Gauss-Bonnet gravity with a negative cosmological constant. We find that instability exists for both Schwarzschild-AdS and Reissner-Nordstrom-AdS black holes with planar horizons when we have proper interactions between the scalar field and the Gauss-Bonnet curvature corrections. We relate such instability to possible holographic scalarization and construct the corresponding hairy black hole solutions in the presence of the cosmological constant. Employing the holographic principle we expect that such bulk scalarization corresponds to the boundary description of the scalar hair condensation without breaking any symmetry, and we calculate the related holographic entanglement entropy of the system. Moreover, we compare the mechanisms of the holographic scalarizations caused by the effect of the coupling of the scalar field to the Gauss-Bonnet term and holographic superconductor effect in the presence of an electromagnetic field, and unveil their differences in the effective mass of the scalar field, the temperature dependent property and the optical conductivity.


title: Horizontal shear instabilities in rotating stellar radiation zones: II. Effects of the full Coriolis acceleration

abstract: Stellar interiors are the seat of efficient transport of angular momentum all along their evolution. Understanding the dependence of the turbulent transport triggered by the shear instabilities due to the differential rotation in stellar radiation zones is mandatory. Indeed, it constitutes one of the cornerstones of the rotational transport and mixing theory which is implemented in stellar evolution codes to predict the rotational and chemical evolutions of stars. We investigate horizontal shear instabilities in stellar radiation zones by considering the full Coriolis acceleration with both the dimensionless horizontal component $\tilde{f}$ and the vertical component $f$. We performed a linear stability analysis for a horizontal shear flow with a hyperbolic tangent profile, both numerically and asymptotically using the WKBJ approximation. As in the traditional approximation, we identified the inflectional and inertial instabilities. The inflectional instability is destabilized as $\tilde{f}$ increases and its maximum growth rate increases significantly, while the thermal diffusivity stabilizes the inflectional instability similarly to the traditional case. The inertial instability is also strongly affected; for instance, the inertially unstable regime is extended in the non-diffusive limit as $0<f<1+\tilde{f}^{2}/N^{2}$, where $N$ is the dimensionless Brunt-V\"ais\"al\"a frequency. More strikingly, in the high-thermal-diffusivity limit, it is always inertially unstable at any colatitude $\theta$ except at the poles (i.e., $0^{\circ}<\theta<180^{\circ}$). Using the asymptotic and numerical results, we propose a prescription for the effective turbulent viscosities induced by the instabilities to be possibly used in stellar evolution models. The characteristic time of this turbulence is short enough to redistribute efficiently angular momentum and mix chemicals in the radiation zones.


title: Imperfections and corrections

abstract: The measurement and correction of optics parameters has been a major concern since the advent of strong focusing synchrotron accelerators. A review of typical imperfections in accelerator optics together with measurement and correction algorithms is given with emphasis on numerical implementations. Python examples are shown using existing libraries when possible.


title: Gain-switched semiconductor laser driven soliton microcombs

abstract: Dissipative Kerr solitons (DKSs) have been generated via injection locking of chipscale microresonators to continuous-wave (CW) III-V lasers. This advance has enabled fully integrated hybrid microcomb systems that operate in turnkey mode and can access microwave repetition rates. Yet, CW-driven DKS exhibits low energy conversion efficiency and high optical power threshold, especially when the repetition rate is within the microwave range that is convenient for direct detection with off-the-shelf electronics. Efficient DKS can be generated by spatiotemporally structured light (i.e., pulsed pumping), which to date however has required complex cascaded modulators for pulse synthesis. Here we demonstrate a photonic integrated approach to pulsed pumping. By actively switching the bias current of injection-locked III-V semiconductor lasers with switching frequencies in the X-band and K-band microwave ranges, we pump a crystalline and integrated microresonators with coherent picosecond laser pulses, achieving DKS generation with stable repetition rates and lowering the required average pumping power by one order of magnitude to a record-setting level of a few milliwatts. In addition, we unveil the critical role of the phase profile of the pumping pulses, and for the first time implement phase engineering on the pulsed pumping scheme by either accessing a multimode lasing regime in the gain-switching mode or applying external chirping to support robust single-soliton generation. Our work leverages the advantages of gain switching technique and pulse pumping technique, and establishes the merits of combining distinct compact frequency comb platforms that enhance the potential of energy-efficient chipscale microcombs.


title: On the P\'olya conjecture for the Neumann problem in tiling sets

abstract: In 1954, G. P\'olya conjectured that the counting function of the eigenvalues of the Laplace operator of Dirichlet (resp. Neumann) boundary value problem in a bounded set $\Omega\subset{\mathbb R}^d$ is lesser (resp. greater) than $C_W |\Omega| \lambda^{d/2}$. Here $\lambda$ is the spectral parameter, and $C_W$ is the constant in the Weyl asymptotics. In 1961, P\'olya proved this conjecture for tiling sets in the Dirichlet case, and for tiling sets under some additional restrictions for the Neumann case. We prove the P\'olya conjecture in the Neumann case for all tiling sets.


title: Computing techniques

abstract: This lecture aims at providing a user's perspective on the main concepts used nowadays for the implementation of numerical algorithm on common computing architecture. In particular, the concepts and applications of Central Processing Units (CPUs), vectorisation, multithreading, hyperthreading and Graphical Processing Units (GPUs), as well as computer clusters and grid computing will be discussed. Few examples of source codes illustrating the usage of these technologies are provided.


title: Simulated packing and cracking

abstract: We introduce simulated packing and cracking as a technique for evaluating partisan-gerrymandering measures. We apply it to historical congressional and legislative elections to evaluate four measures: partisan bias, declination, efficiency gap, and mean-median difference. While the efficiency gap recognizes simulated packing and cracking in a completely predictable manner (a fact that follows immediately from the efficiency gap's definition) and the declination does a very good job of recording simulated packing and cracking, we conclude that both of the other two measures record it poorly. This deficiency is especially notable given the frequent use of such measures in outlier analyses.


title: Modeling indoor-level non-pharmaceutical interventions during the COVID-19 pandemic: a pedestrian dynamics-based microscopic simulation approach

abstract: Mathematical modeling of epidemic spreading has been widely adopted to estimate the threats of epidemic diseases (i.e., the COVID-19 pandemic) as well as to evaluate epidemic control interventions. The indoor place is considered to be a significant epidemic spreading risk origin, but existing widely-used epidemic spreading models are usually limited for indoor places since the dynamic physical distance changes between people are ignored, and the empirical features of the essential and non-essential travel are not differentiated. In this paper, we introduce a pedestrian-based epidemic spreading model that is capable of modeling indoor transmission risks of diseases during people's social activities. Taking advantage of the before-and-after mobility data from the University of Maryland COVID-19 Impact Analysis Platform, it's found that people tend to spend more time in grocery stores once their travel frequencies are restricted to a low level. In other words, an increase in dwell time could balance the decrease in travel frequencies and satisfy people's demand. Based on the pedestrian-based model and the empirical evidence, combined non-pharmaceutical interventions from different operational levels are evaluated. Numerical simulations show that restrictions on people's travel frequency and open-hours of indoor places may not be universally effective in reducing average infection risks for each pedestrian who visit the place. Entry limitations can be a widely effective alternative, whereas the decision-maker needs to balance the decrease in risky contacts and the increase in queue length outside the place that may impede people from fulfilling their travel needs.


title: Towards Threshold Invariant Fair Classification

abstract: Effective machine learning models can automatically learn useful information from a large quantity of data and provide decisions in a high accuracy. These models may, however, lead to unfair predictions in certain sense among the population groups of interest, where the grouping is based on such sensitive attributes as race and gender. Various fairness definitions, such as demographic parity and equalized odds, were proposed in prior art to ensure that decisions guided by the machine learning models are equitable. Unfortunately, the "fair" model trained with these fairness definitions is threshold sensitive, i.e., the condition of fairness may no longer hold true when tuning the decision threshold. This paper introduces the notion of threshold invariant fairness, which enforces equitable performances across different groups independent of the decision threshold. To achieve this goal, this paper proposes to equalize the risk distributions among the groups via two approximation methods. Experimental results demonstrate that the proposed methodology is effective to alleviate the threshold sensitivity in machine learning models designed to achieve fairness.


title: Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings

abstract: We study metric measure spaces that admit "thick" families of rectifiable curves or curve fragments, in the form of Alberti representations or curve families of positive modulus. We show that such spaces cannot be bi-Lipschitz embedded into any Euclidean space unless they admit some "infinitesimal splitting": their tangent spaces are bi-Lipschitz equivalent to product spaces of the form $Z\times \mathbb{R}^k$ for some $k\geq 1$. We also provide applications to conformal dimension and give new proofs of some previously known non-embedding results.


title: Influence of Ti/V Cation-Exchange in Na$_2$Ti$_3$O$_7$ on Na-Ion Negative Electrode Performance: an Insight from First-Principles Study

abstract: Sodium-titanate \ce{Na2Ti3O7} (NTO) is regarded as a highly promising anode material with a very low voltage for Na-ion batteries and capacitors, but suffered from relatively low specific capacity and poor electron conductivity. Here we report a first-principles study of electrochemical properties of NTO and its vanadium-modified compounds, \ce{Na2Ti2VO7} and \ce{Na2TiV2O7} (NTVO), offering an insight into their detailed working mechanism and an evidence of enhancing anode performance by Ti/V cation exchange. Our calculations reveal that the specific capacity can increase from 177 mAh g$^{-1}$ in NTO to over 280 mAh g$^{-1}$ in NTVO when using \ce{NaTi_{3-$x$}V_{$x$}O7} ($x$ = 1, 2) as a starting material for Na insertion due to higher oxidation state of \ce{V^{+5}}, together with lower voltages and small volume expansion rates below 3\%. With Ti/V exchange, we obtain slightly higher activation energies for Na ion migrations along the two different pathways, but find an obvious improvement of electronic transport in NTVO.


title: On a subdiffusive tumour growth model with fractional time derivative

abstract: In this work, we present and analyse a system of coupled partial differential equations, which models tumour growth under the influence of subdiffusion, mechanical effects, nutrient supply, and chemotherapy. The subdiffusion of the system is modelled by a time fractional derivative in the equation governing the volume fraction of the tumour cells. The mass densities of the nutrients and the chemotherapeutic agents are modelled by reaction diffusion equations. We prove the existence and uniqueness of a weak solution to the model via the Faedo--Galerkin method and the application of appropriate compactness theorems. Lastly, we propose a fully discretised system and illustrate the effects of the fractional derivative and the influence of the fractional parameter in numerical examples.


title: Speech can produce jet-like transport relevant to asymptomatic spreading of virus

abstract: Many scientific reports document that asymptomatic and presymptomatic individuals contribute to the spread of COVID-19, probably during conversations in social interactions. Droplet emission occurs during speech, yet few studies document the flow to provide the transport mechanism. This lack of understanding prevents informed public health guidance for risk reduction and mitigation strategies, e.g. the "six-foot rule". Here we analyze flows during breathing and speaking, including phonetic features, using order-of-magnitudes estimates, numerical simulations, and laboratory experiments. We document the spatio-temporal structure of the expelled air flow. Phonetic characteristics of plosive sounds like 'P' lead to enhanced directed transport, including jet-like flows that entrain the surrounding air. We highlight three distinct temporal scaling laws for the transport distance of exhaled material including (i) transport over a short distance ($<$ 0.5 m) in a fraction of a second, with large angular variations due to the complexity of speech, (ii) a longer distance, approximately 1 m, where directed transport is driven by individual vortical puffs corresponding to plosive sounds, and (iii) a distance out to about 2 m, or even further, where sequential plosives in a sentence, corresponding effectively to a train of puffs, create conical, jet-like flows. The latter dictates the long-time transport in a conversation. We believe that this work will inform thinking about the role of ventilation, aerosol transport in disease transmission for humans and other animals, and yield a better understanding of linguistic aerodynamics, i.e., aerophonetics.


title: Federated Learning With Quantized Global Model Updates

abstract: We study federated learning (FL), which enables mobile devices to utilize their local datasets to collaboratively train a global model with the help of a central server, while keeping data localized. At each iteration, the server broadcasts the current global model to the devices for local training, and aggregates the local model updates from the devices to update the global model. Previous work on the communication efficiency of FL has mainly focused on the aggregation of model updates from the devices, assuming perfect broadcasting of the global model. In this paper, we instead consider broadcasting a compressed version of the global model. This is to further reduce the communication cost of FL, which can be particularly limited when the global model is to be transmitted over a wireless medium. We introduce a lossy FL (LFL) algorithm, in which both the global model and the local model updates are quantized before being transmitted. We analyze the convergence behavior of the proposed LFL algorithm assuming the availability of accurate local model updates at the server. Numerical experiments show that the proposed LFL scheme, which quantizes the global model update (with respect to the global model estimate at the devices) rather than the global model itself, significantly outperforms other existing schemes studying quantization of the global model at the PS-to-device direction. Also, the performance loss of the proposed scheme is marginal compared to the fully lossless approach, where the PS and the devices transmit their messages entirely without any quantization.


title: Mapping the "long tail" of research funding: A topic analysis of NSF grant proposals in the Division of Astronomical Sciences

abstract: "Long tail" data are considered to be smaller, heterogeneous, researcher-held data, which present unique data management and scholarly communication challenges. These data are presumably concentrated within relatively lower-funded projects due to insufficient resources for curation. To better understand the nature and distribution of long tail data, we examine National Science Foundation (NSF) funding patterns using Latent Dirichlet Analysis (LDA) and bibliographic data. We also introduce the concept of "Topic Investment" to capture differences in topics across funding levels and to illuminate the distribution of funding across topics. This study uses the discipline of astronomy as a case study, overall exploring possible associations between topic, funding level and research output, with implications for research policy and practice. We find that while different topics demonstrate different funding levels and publication patterns, dynamics predicted by the "long tail" theoretical framework presented here can be observed within NSF-funded topics in astronomy.


title: OSSOS: The Eccentricity and Inclination Distributions of the Stable Neptunian Trojans

abstract: The minor planets on orbits that are dynamically stable in Neptune's 1:1 resonance on Gyr timescales were likely emplaced by Neptune's outward migration. We explore the intrinsic libration amplitude, eccentricity, and inclination distribution of Neptune's stable Trojans, using the detections and survey efficiency of the Outer Solar System Origins Survey (OSSOS) and Pan-STARRS1. We find that the libration amplitude of the stable Neptunian Trojan population can be well modeled as a Rayleigh distribution with a libration amplitude width $\sigma_{A_phi}$ of 15$^\circ$. When taken as a whole, the Neptune Trojan population can be acceptably modeled with a Rayleigh eccentricity distribution of width $\sigma_e$ of 0.045 and a typical sin(i) x Gaussian inclination distribution with a width $\sigma_i$ of 14 +/- 2 degrees. However, these distributions are only marginally acceptable. This is likely because, even after accounting for survey detection biases, the known large Hr < 8 and small Hr >= 8 Neptune Trojans appear to have markedly different eccentricities and inclinations. We propose that like the classical Kuiper belt, the stable intrinsic Neptunian Trojan population have dynamically `hot' and dynamically `cold' components to its eccentricity/inclination distribution, with $\sigma_{e-cold}$ ~ 0.02 / $\sigma_{i-cold}$ ~ 6$^\circ$ and $\sigma_{e-hot}$~ 0.05 / $\sigma_{i-hot}$ ~ 18$^\circ$. In this scenario, the `cold' L4 Neptunian Trojan population lacks the Hr >= 8 members and has 13 +11/-6 `cold' Trojans with Hr < 8. On the other hand, the `hot' L4 Neptunian Trojan population has 136 +57/-48 Trojans with Hr < 10 -- a population 2.4 times greater than that of the L4 Jovian Trojans in the same luminosity range.


title: A study on pre-service physics teachers' conceptualization on elementary quantum mechanics

abstract: In this work, we present the results of a research in which we aimed to evidence obstacles and advances in pre-service teachers' conceptualization on a subject involving elementary Quantum Mechanics. We based our analysis on the theories due to David Ausubel and G\`erard Vergnaud to study Meaningful Learning patterns, both in predicative and operator form of knowledge, of six students involved in a didactical intervention composed of six classes, in which we emphasized both similarities and differences between Classical and Quantum Physics. With this intervention, we intended to teach the concepts of Physical Systems, Dynamical Variables, State of a Physical System and Time Evolution. We guided our data analysis by the methodology of content analysis and it turned possible to map Meaningful Learning patterns involving the four concepts to which were associated a set of essential features in the predicative stage and a set of theorems-in-action in the operatory stage relating the aim-concepts in problem-solbing or conceptual mapping.