title: DARF: A data-reduced FADE version for simulations of speech recognition thresholds with real hearing aids

abstract: Developing and selecting hearing aids is a time consuming process which is simplified by using objective models. Previously, the framework for auditory discrimination experiments (FADE) accurately simulated benefits of hearing aid algorithms with root mean squared prediction errors below 3 dB. One FADE simulation requires several hours of (un)processed signals, which is obstructive when the signals have to be recorded. We propose and evaluate a data-reduced FADE version (DARF) which facilitates simulations with signals that cannot be processed digitally, but that can only be recorded in real-time. DARF simulates one speech recognition threshold (SRT) with about 30 minutes of recorded and processed signals of the (German) matrix sentence test. Benchmark experiments were carried out to compare DARF and standard FADE exhibiting small differences for stationary maskers (1 dB), but larger differences with strongly fluctuating maskers (5 dB). Hearing impairment and hearing aid algorithms seemed to reduce the differences. Hearing aid benefits were simulated in terms of speech recognition with three pairs of real hearing aids in silence ($\geq$8 dB), in stationary and fluctuating maskers in co-located (stat. 2 dB; fluct. 6 dB), and spatially separated speech and noise signals (stat. $\geq$8 dB; fluct. 8 dB). The simulations were plausible in comparison to data from literature, but a comparison with empirical data is still open. DARF facilitates objective SRT simulations with real devices with unknown signal processing in real environments. Yet, a validation of DARF for devices with unknown signal processing is still pending since it was only tested with three similar devices. Nonetheless, DARF could be used for improving as well as for developing or model-based fitting of hearing aids.


title: Population aging caused by rise in sex ratio at birth

abstract: Despite its historical and biological stability, the sex ratio at birth (SRB) has risen in parts of the world in the last several decades. The resultant demographic consequences, mostly on sex imbalance, are well documented, typically including "missing girls/women" and "marriage squeeze." However, the SRB-induced impact on demographic dynamics, particularly its underlying mechanism, has not been explored in depth. We aim to investigate the impact of the SRB rise on the size, structure, and growth of a population, particularly emphasizing on population aging. We provide a simple framework, derived from classical stable population models, to analyze how the SRB rise can reduce the population size and make the population old. We demonstrate that the cohorts born with a higher SRB are smaller in size than those with a lower SRB. As the affected cohorts are born into the population, their smaller size will reduce the total population size, thereby lifting the fraction of old people that were born with the original SRB and have the same size as before. The resultant population aging speed increases as the cohorts with the new SRB take an increasing share of the population. This study adds that, in addition to fertility and mortality, the SRB can be a driving factor of population dynamics, especially when it moves far above normal biological levels.


title: Analog Computing with Metatronic Circuits

abstract: Analog photonic solutions offer unique opportunities to address complex computational tasks with unprecedented performance in terms of energy dissipation and speeds, overcoming current limitations of modern computing architectures based on electron flows and digital approaches. The lack of modularization and lumped element reconfigurability in photonics has prevented the transition to an all-optical analog computing platform. Here, we explore a nanophotonic platform based on epsilon-near-zero materials capable of solving in the analog domain partial differential equations (PDE). Wavelength stretching in zero-index media enables highly nonlocal interactions within the board based on the conduction of electric displacement, which can be monitored to extract the solution of a broad class of PDE problems. By exploiting control of deposition technique through process parameters, we demonstrate the possibility of implementing the proposed nano-optic processor using CMOS-compatible indium-tin-oxide, whose optical properties can be tuned by carrier injection to obtain programmability at high speeds and low energy requirements. Our nano-optical analog processor can be integrated at chip-scale, processing arbitrary inputs at the speed of light.


title: Plane partitions of shifted double staircase shape

abstract: We give a product formula for the number of shifted plane partitions of shifted double staircase shape with bounded entries. This is the first new example of a family of shapes with a plane partition product formula in many years. The proof is based on the theory of lozenge tilings; specifically, we apply the "free boundary" Kuo condensation due to Ciucu.


title: Impacts of dark matter on the curvature of the neutron star

abstract: The effects of dark matter (DM) on the curvatures of the neutron star (NS) are examined by using the stiff and soft relativistic mean-field equation of states. The curvatures of the NSs are calculated with the variation of baryon density. Also, it is found that the radial variation of the different curvatures significantly affected by the presence of DM inside the NS. The effects of DM are less pronounced on the compactness of the maximum NS mass, but still significant. The NS surface curvature is found to be more remarkable for the massive star. The binding energy of the NSs become positive with the increasing DM momentum and makes the system unstable.


title: The local dimension of a finite group over a number field

abstract: Let $G$ be a finite group and $K$ a number field. We construct a $G$-extension $E/F$, with $F$ of transcendence degree $2$ over $K$, that specializes to all $G$-extensions of $K_\mathfrak{p}$, where $\mathfrak{p}$ runs over all but finitely many primes of $K$. If furthermore $G$ has a generic extension over $K$, we show that the extension $E/F$ has the so-called Hilbert-Grunwald property. These results are compared to the notion of essential dimension of $G$ over $K$, and its arithmetic analogue.


title: Deep neural network approximation for high-dimensional elliptic PDEs with boundary conditions

abstract: In recent work it has been established that deep neural networks are capable of approximating solutions to a large class of parabolic partial differential equations without incurring the curse of dimension. However, all this work has been restricted to problems formulated on the whole Euclidean domain. On the other hand, most problems in engineering and the sciences are formulated on finite domains and subjected to boundary conditions. The present paper considers an important such model problem, namely the Poisson equation on a domain $D\subset \mathbb{R}^d$ subject to Dirichlet boundary conditions. It is shown that deep neural networks are capable of representing solutions of that problem without incurring the curse of dimension. The proofs are based on a probabilistic representation of the solution to the Poisson equation as well as a suitable sampling method.


title: Next Waves in Veridical Network Embedding

abstract: Embedding nodes of a large network into a metric (e.g., Euclidean) space has become an area of active research in statistical machine learning, which has found applications in natural and social sciences. Generally, a representation of a network object is learned in a Euclidean geometry and is then used for subsequent tasks regarding the nodes and/or edges of the network, such as community detection, node classification and link prediction. Network embedding algorithms have been proposed in multiple disciplines, often with domain-specific notations and details. In addition, different measures and tools have been adopted to evaluate and compare the methods proposed under different settings, often dependent of the downstream tasks. As a result, it is challenging to study these algorithms in the literature systematically. Motivated by the recently proposed Veridical Data Science (VDS) framework, we propose a framework for network embedding algorithms and discuss how the principles of predictability, computability and stability apply in this context. The utilization of this framework in network embedding holds the potential to motivate and point to new directions for future research.


title: Multi-scale three-domain approach for coupling free flow and flow in porous media including droplet-related interface processes

abstract: Drops on a free-flow/porous-medium-flow interface have a strong influence on the exchange of mass, momentum and energy between the two macroscopic flow regimes. Modeling droplet-related pore-scale processes in a macro-scale context is challenging due to the scale gap, but might be rewarding due to relatively low computational costs. We develop a three-domain approach to model drop formation, growth, detachment and film flow in a lower-dimensional interface domain. A simple upscaling technique allows to compute the drop-covered interface area fraction which affects the coupling fluxes. In a first scenario, only drop formation, growth and detachment are taken into account. Then, spreading and merging due to lateral fluxes are considered as well. The simulation results show that the impact of these droplet-related processes can be captured. However, extensions are necessary to represent the influence on the free flow more precisely.


title: The order conjecture fails in S

abstract: We construct an entire function $f$ with only three singular values whose order of growth can change under a quasiconformal equivalence. This is a counterexample to the Order Conjecture in the Speiser class ${\mathcal S}$ of entire functions.


title: Minimal velocity bound for Schroedinger-type operator with fractional powers

abstract: It is known in scattering theory that the minimal velocity bound plays a conclusive role in proving the asymptotic completeness of the wave operators. In this study, we prove the minimal velocity bound and other important estimates for the two-body Schroedinger-type operator with fractional powers. We assume that the pairwise potential functions belong to broad classes that include long-range decay and Coulomb-type local singularities. Our estimates are expected to be applied to prove the asymptotic completeness for the fractional Schroedinger-type operators in various (not only short-range but also long-range and N-body) situations.


title: COBRA: Compression via Abstraction of Provenance for Hypothetical Reasoning

abstract: Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Recent work has proposed to leverage ideas from data provenance tracking towards supporting efficient hypothetical reasoning: instead of a costly re-execution of the underlying application, one may assign values to a pre-computed provenance expression. A prime challenge in leveraging this approach for large-scale data and complex applications lies in the size of the provenance. To this end, we present a framework that allows to reduce provenance size. Our approach is based on reducing the provenance granularity using abstraction. We propose a demonstration of COBRA, a system that allows examine the effect of the provenance compression on the anticipated analysis results. We will demonstrate the usefulness of COBRA in the context of business data analysis.


title: Meeting Laboratory Course Learning Goals Remotely via Custom Home Experiment Kits

abstract: In this paper, the use of cost-effective, custom home experiment kits for remote teaching of first-semester introductory physics labs is described. The kit experiments were designed to match the existing onsite lab experiment learning goals and the general laboratory course learning goals in remote teaching. Additionally, a revised group project approach optimized for remote use and that leverages the kits was developed and employed. Student survey results at the end of the Summer 2020 semester indicate that the critical learning goals were met, student satisfaction with the remote lab was maintained, and successful collaboration via video-conferencing breakout rooms was achieved.


title: Band structure and end states in InAs/GaSb core-shell-shell nanowires

abstract: Quantum wells in InAs/GaSb heterostructures can be tuned to a topological regime associated with the quantum spin Hall effect, which arises due to an inverted band gap and hybridized electron and hole states. Here, we investigate electron-hole hybridization and the fate of the quantum spin Hall effect in a quasi one-dimensional geometry, realized in a core-shell-shell nanowire with an insulator core and InAs and GaSb shells. We calculate the band structure for an infinitely long nanowire using $\mathbf{k \cdot p}$ theory within the Kane model and the envelope function approximation, then map the result onto a BHZ model which is used to investigate finite-length wires. Clearly, quantum spin Hall edge states cannot appear in the core-shell-shell nanowires which lack one-dimensional edges, but in the inverted band-gap regime we find that the finite-length wires instead host localized states at the wire ends. These end states are not topologically protected, they are four-fold degenerate and split into two Kramers pairs in the presence of potential disorder along the axial direction. However, there is some remnant of the topological protection of the quantum spin Hall edge states in the sense that the end states are fully robust to (time-reversal preserving) angular disorder, as long as the bulk band gap is not closed.


title: Electron Sources from Plasmas

abstract: Relativistic electrons are easily generated by self-injection when an intense laser drives a wakefield in a plasma, giving rise to wide electron energy distributions. Several mechanisms involving additional laser beams or different gas composition or distribution can be used to improve the electron beam quality. These mechanisms are introduced and discussed in the perspective of using laser driven electron sources as injectors for plasma accelerators.


title: Context-Aware Refinement Network Incorporating Structural Connectivity Prior for Brain Midline Delineation

abstract: Brain midline delineation can facilitate the clinical evaluation of brain midline shift, which plays an important role in the diagnosis and prognosis of various brain pathology. Nevertheless, there are still great challenges with brain midline delineation, such as the largely deformed midline caused by the mass effect and the possible morphological failure that the predicted midline is not a connected curve. To address these challenges, we propose a context-aware refinement network (CAR-Net) to refine and integrate the feature pyramid representation generated by the UNet. Consequently, the proposed CAR-Net explores more discriminative contextual features and a larger receptive field, which is of great importance to predict largely deformed midline. For keeping the structural connectivity of the brain midline, we introduce a novel connectivity regular loss (CRL) to punish the disconnectivity between adjacent coordinates. Moreover, we address the ignored prerequisite of previous regression-based methods that the brain CT image must be in the standard pose. A simple pose rectification network is presented to align the source input image to the standard pose image. Extensive experimental results on the CQ dataset and one inhouse dataset show that the proposed method requires fewer parameters and outperforms three state-of-the-art methods in terms of four evaluation metrics. Code is available at https://github.com/ShawnBIT/Brain-Midline-Detection.


title: How An Automated Gesture Imitation Game Can Improve Social Interactions With Teenagers With ASD

abstract: With the outlook of improving communication and social abilities of people with ASD, we propose to extend the paradigm of robot-based imitation games to ASD teenagers. In this paper, we present an interaction scenario adapted to ASD teenagers, propose a computational architecture using the latest machine learning algorithm Openpose for human pose detection, and present the results of our basic testing of the scenario with human caregivers. These results are preliminary due to the number of session (1) and participants (4). They include a technical assessment of the performance of Openpose, as well as a preliminary user study to confirm our game scenario could elicit the expected response from subjects.


title: On the variability of functional connectivity and network measures in source-reconstructed EEG time-series

abstract: The idea to estimate the statistical interdependence among (interacting) brain regions has motivated numerous researchers to investigate how the resulting connectivity patterns and networks may organize themselves under any conceivable scenario. Even though this idea is not at initial stages, its practical application is still far to be widespread. One concurrent cause may be related to the proliferation of different approaches that aim to catch the underlying correlation among the (interacting) units. This issue has probably contributed to hinder the comparison among different studies. Not only all these approaches go under the same name (functional connectivity), but they have been often tested and validated using different methods, therefore, making it difficult to understand to what extent they are similar or not. In this study, we aim to compare a set of different approaches commonly used to estimate the functional connectivity on a public EEG dataset representing a possible realistic scenario. As expected, our results show that source-level EEG connectivity estimates and the derived network measures, even though pointing to the same direction, may display substantial dependency on the (often arbitrary) choice of the selected connectivity metric and thresholding approach. In our opinion, the observed variability reflects ambiguity and concern that should always be discussed when reporting findings based on any connectivity metric.


title: Autoionization and dressing of excited excitons by free carriers in monolayer WSe2

abstract: We experimentally demonstrate dressing of the excited exciton states by a continuously tunable Fermi sea of free charge carriers in a monolayer semiconductor. It represents an unusual scenario of two-particle excitations of charged excitons previously inaccessible in conventional material systems. We identify excited state trions, accurately determine their binding energies in the zero-density limit for both electron- and hole-doped regimes, and observe emerging many-body phenomena at elevated doping. Combining experiment and theory we gain access to the intra-exciton coupling facilitated by the interaction with free charge carriers. We provide evidence for a process of autoionization for quasiparticles, a unique scattering pathway available for excited states in atomic systems. Finally, we demonstrate a complete transfer of the optical transition strength from the excited excitons to dressed excitons, Fermi polarons, as well as the associated light emission from their non-equilibrium populations.


title: VRUNet: Multi-Task Learning Model for Intent Prediction of Vulnerable Road Users

abstract: Advanced perception and path planning are at the core for any self-driving vehicle. Autonomous vehicles need to understand the scene and intentions of other road users for safe motion planning. For urban use cases it is very important to perceive and predict the intentions of pedestrians, cyclists, scooters, etc., classified as vulnerable road users (VRU). Intent is a combination of pedestrian activities and long term trajectories defining their future motion. In this paper we propose a multi-task learning model to predict pedestrian actions, crossing intent and forecast their future path from video sequences. We have trained the model on naturalistic driving open-source JAAD dataset, which is rich in behavioral annotations and real world scenarios. Experimental results show state-of-the-art performance on JAAD dataset and how we can benefit from jointly learning and predicting actions and trajectories using 2D human pose features and scene context.


title: Local models for Galois deformation rings and applications

abstract: We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular Hodge-Tate weights. We establish several significant facts about their geometry including a unibranch property at special points and a representation theoretic description of the irreducible components of their special fibers. We derive from these geometric results a number of local and global consequences: the Breuil-M\'ezard conjecture in arbitrary dimension for tamely potentially crystalline deformation rings with small Hodge-Tate weights (with appropriate genericity conditions), the weight part of Serre's conjecture for $U(n)$ as formulated by Herzig (for global Galois representations which satisfy the Taylor-Wiles hypotheses and are sufficiently generic at $p$), and an unconditional formulation of the weight part of Serre's conjecture for wildly ramified representations.


title: Thermodynamic Uncertainty Relations for Bosonic Otto Engines

abstract: We study two-mode bosonic engines undergoing an Otto cycle. The energy exchange between the two bosonic systems is provided by a tunable unitary bilinear interaction in the mode operators modeling frequency conversion, whereas the cyclic operation is guaranteed by relaxation to two baths at different temperature after each interacting stage. By means of a two-point-measurement approach we provide the joint probability of the stochastic work and heat. We derive exact expressions for work and heat fluctuations, identities showing the interdependence among average extracted work, fluctuations and efficiency, along with thermodynamic uncertainty relations between the signal-to-noise ratio of observed work and heat and the entropy production. We outline how the presented approach can be suitably applied to derive thermodynamic uncertainty relations for quantum Otto engines with alternative unitary strokes.


title: Hypothetical Reasoning via Provenance Abstraction

abstract: Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Previous work has shown that fine-grained data provenance can help make such an analysis more efficient: instead of a costly re-execution of the underlying application, hypothetical scenarios are applied to a pre-computed provenance expression. However, storing provenance for complex queries and large-scale data leads to a significant overhead, which is often a barrier to the incorporation of provenance-based solutions. To this end, we present a framework that allows to reduce provenance size. Our approach is based on reducing the provenance granularity using user defined abstraction trees over the provenance variables; the granularity is based on the anticipated hypothetical scenarios. We formalize the tradeoff between provenance size and supported granularity of the hypothetical reasoning, and study the complexity of the resulting optimization problem, provide efficient algorithms for tractable cases and heuristics for others. We experimentally study the performance of our solution for various queries and abstraction trees. Our study shows that the algorithms generally lead to substantial speedup of hypothetical reasoning, with a reasonable loss of accuracy.


title: Learning Heat Diffusion for Network Alignment

abstract: Networks are abundant in the life sciences. Outstanding challenges include how to characterize similarities between networks, and in extension how to integrate information across networks. Yet, network alignment remains a core algorithmic problem. Here, we present a novel learning algorithm called evolutionary heat diffusion-based network alignment (EDNA) to address this challenge. EDNA uses the diffusion signal as a proxy for computing node similarities between networks. Comparing EDNA with state-of-the-art algorithms on a popular protein-protein interaction network dataset, using four different evaluation metrics, we achieve (i) the most accurate alignments, (ii) increased robustness against noise, and (iii) superior scaling capacity. The EDNA algorithm is versatile in that other available network alignments/embeddings can be used as an initial baseline alignment, and then EDNA works as a wrapper around them by running the evolutionary diffusion on top of them. In conclusion, EDNA outperforms state-of-the-art methods for network alignment, thus setting the stage for large-scale comparison and integration of networks.


title: MAPS: Multi-agent Reinforcement Learning-based Portfolio Management System

abstract: Generating an investment strategy using advanced deep learning methods in stock markets has recently been a topic of interest. Most existing deep learning methods focus on proposing an optimal model or network architecture by maximizing return. However, these models often fail to consider and adapt to the continuously changing market conditions. In this paper, we propose the Multi-Agent reinforcement learning-based Portfolio management System (MAPS). MAPS is a cooperative system in which each agent is an independent "investor" creating its own portfolio. In the training procedure, each agent is guided to act as diversely as possible while maximizing its own return with a carefully designed loss function. As a result, MAPS as a system ends up with a diversified portfolio. Experiment results with 12 years of US market data show that MAPS outperforms most of the baselines in terms of Sharpe ratio. Furthermore, our results show that adding more agents to our system would allow us to get a higher Sharpe ratio by lowering risk with a more diversified portfolio.


title: A Semiparametric Network Formation Model with Unobserved Linear Heterogeneity

abstract: This paper analyzes a semiparametric model of network formation in the presence of unobserved agent-specific heterogeneity. The objective is to identify and estimate the preference parameters associated with homophily on observed attributes when the distributions of the unobserved factors are not parametrically specified. This paper offers two main contributions to the literature on network formation. First, it establishes a new point identification result for the vector of parameters that relies on the existence of a special repressor. The identification proof is constructive and characterizes a closed-form for the parameter of interest. Second, it introduces a simple two-step semiparametric estimator for the vector of parameters with a first-step kernel estimator. The estimator is computationally tractable and can be applied to both dense and sparse networks. Moreover, I show that the estimator is consistent and has a limiting normal distribution as the number of individuals in the network increases. Monte Carlo experiments demonstrate that the estimator performs well in finite samples and in networks with different levels of sparsity.


title: Competitive sorption of mono- versus di-valent ions by highly charged globular macromolecules

abstract: When a highly charged globular macromolecule, such as a dendritic polyelectrolyte or charged nanogel, is immersed into a physiological electrolyte solution, monovalent and divalent counterions from the solution bind to the macromolecule in a certain ratio and thereby almost completely electroneutralize it. For charged macromolecules in biological media, the number ratio of bound mono- versus di-valent ions is decisive for the desired function. A theoretical prediction of such a sorption ratio is challenging because of the competition of electrostatic (valency), ion-specific, and binding saturation effects. Here, we devise and discuss a few approximate models to predict such an equilibrium sorption ratio by extending and combining established electrostatic binding theories such as Donnan, Langmuir, Manning as well as Poisson-Boltzmann approaches, to systematically study the competitive uptake of mono- and di-valent counterions by the macromolecule. We compare and fit our models to coarse-grained (implicit-solvent) computer simulation data of the globular polyelectrolyte dendritic polyglycerol sulfate (dPGS) in salt solutions of mixed valencies. The dPGS has high potential to serve in macromolecular carrier applications in biological systems and at the same time constitutes a good model system for a highly charged macromolecule. We finally use the simulation-informed models to extrapolate and predict electrostatic features such as the effective charge as a function of the divalent ion concentration for a wide range of dPGS generations (sizes).


title: Recognition of Instrument-Tissue Interactions in Endoscopic Videos via Action Triplets

abstract: Recognition of surgical activity is an essential component to develop context-aware decision support for the operating room. In this work, we tackle the recognition of fine-grained activities, modeled as action triplets <instrument, verb, target> representing the tool activity. To this end, we introduce a new laparoscopic dataset, CholecT40, consisting of 40 videos from the public dataset Cholec80 in which all frames have been annotated using 128 triplet classes. Furthermore, we present an approach to recognize these triplets directly from the video data. It relies on a module called Class Activation Guide (CAG), which uses the instrument activation maps to guide the verb and target recognition. To model the recognition of multiple triplets in the same frame, we also propose a trainable 3D Interaction Space, which captures the associations between the triplet components. Finally, we demonstrate the significance of these contributions via several ablation studies and comparisons to baselines on CholecT40.


title: Non-existence of axisymmetric optimal domains with smooth boundary for the first curl eigenvalue

abstract: We say that a bounded domain $\Omega$ is optimal for the first positive curl eigenvalue $\mu_1(\Omega)$ if $\mu_1(\Omega)\leq \mu_1(\Omega')$ for any domain $\Omega'$ with the same volume. In spite of the fact that $\mu_1(\Omega)$ is uniformly lower bounded in terms of the volume, in this paper we prove that there are no axisymmetric optimal (and even locally minimizing) domains with $C^{2,\alpha}$ boundary that satisfies a mild technical assumption. As a particular case, this rules out the existence of $C^{2,\alpha}$ optimal axisymmetric domains with a convex section. An analogous result holds in the case of the first negative curl eigenvalue.


title: Use of the Semilinear Method to predict the Impact Corridor on Ground

abstract: We propose an adaptation of the semilinear algorithm for the prediction of the impact corridor on ground of an Earth-impacting asteroid. The proposed algorithm provides an efficient tool, able to reliably predict the impact regions at fixed altitudes above ground with 5 orders of magnitudes less computations than Monte Carlo approaches. Efficiency is crucial when dealing with imminent impactors, which are characterized by high impact probabilities and impact times very close to the times of discovery. The case of 2008 TC3 is a remarkable example, but there are also recent cases of imminent impactors, 2018 LA and 2019 MO, for which the method has been successfully used. Moreover, its good performances make the tool suitable also for the analysis of the impact regions on ground of objects with a more distant impact time, even of the order of many years, as confirmed by the test performed with the first batch of observations of Apophis, giving the possibility of an impact 25 years after its discovery.


title: Machine Learning Explainability for External Stakeholders

abstract: As machine learning is increasingly deployed in high-stakes contexts affecting people's livelihoods, there have been growing calls to open the black box and to make machine learning algorithms more explainable. Providing useful explanations requires careful consideration of the needs of stakeholders, including end-users, regulators, and domain experts. Despite this need, little work has been done to facilitate inter-stakeholder conversation around explainable machine learning. To help address this gap, we conducted a closed-door, day-long workshop between academics, industry experts, legal scholars, and policymakers to develop a shared language around explainability and to understand the current shortcomings of and potential solutions for deploying explainable machine learning in service of transparency goals. We also asked participants to share case studies in deploying explainable machine learning at scale. In this paper, we provide a short summary of various case studies of explainable machine learning, lessons from those studies, and discuss open challenges.


title: Aperiodicity: the almost extension property and uniqueness of pseudo-expectations

abstract: We prove implications among the conditions in the title for an inclusion of a C*-algebra A in a C*-algebra B, and we also relate this to several other properties in case B is a crossed product for an action of a group, inverse semigroup or an \'etale groupoid on A. We show that an aperiodic C*-inclusion has a unique pseudo-expectation. If, in addition, the unique pseudo-expectation is faithful, then A supports B in the sense of the Cuntz preorder. The almost extension property implies aperiodicity, and the converse holds if B is separable. A crossed product inclusion has the almost extension property if and only if the dual groupoid of the action is topologically principal. Topologically free actions are always aperiodic. If A is separable or of Type I, then topological freeness, aperiodicity and having a unique pseudo-expectation are equivalent to the condition that A detects ideals in all intermediate C*-algebras. If, in addition, B is separable, then all these conditions are equivalent to the almost extension property.


title: A Physics Modeling Study of SARS-CoV-2 Transport in Air

abstract: The health threat from SARS-CoV-2 airborne infection has become a public emergency of international concern. During the ongoing coronavirus pandemic, people have been advised by the Centers for Disease Control and Prevention to maintain social distancing of at least 2 m to limit the risk of exposure to the coronavirus. Experimental data, however, show that infected aerosols and droplets trapped inside a turbulent puff cloud can travel up to 7 to 8 m. We propose a nuclear physics analogy-based modeling of the complex gas cloud and its payload of pathogen-virions. We show that the cloud stopping range is proportional to the product of the puff's diameter and its density. We use our puff model to determine the average density of the buoyant fluid in the turbulent cloud. A fit to the experimental data yields $1.8 < \rho_P/\rho_{\rm air} < 4.0$, where $\rho_P$ and $\rho_{\rm air}$ are the average density of the puff and the air. We demonstrate that temperature variation could cause an ${\cal O}(\pm 8\%)$ effect in the puff stopping range for extreme ambient cold or warmth. We also demonstrate that aerosols and droplets can remain suspended for hours in the air. Therefore, once the puff slows down sufficiently, and its coherence is lost, the eventual spreading of the infected aerosols becomes dependent on the ambient air currents and turbulence.


title: AGI Agent Safety by Iteratively Improving the Utility Function

abstract: While it is still unclear if agents with Artificial General Intelligence (AGI) could ever be built, we can already use mathematical models to investigate potential safety systems for these agents. We present an AGI safety layer that creates a special dedicated input terminal to support the iterative improvement of an AGI agent's utility function. The humans who switched on the agent can use this terminal to close any loopholes that are discovered in the utility function's encoding of agent goals and constraints, to direct the agent towards new goals, or to force the agent to switch itself off. An AGI agent may develop the emergent incentive to manipulate the above utility function improvement process, for example by deceiving, restraining, or even attacking the humans involved. The safety layer will partially, and sometimes fully, suppress this dangerous incentive. The first part of this paper generalizes earlier work on AGI emergency stop buttons. We aim to make the mathematical methods used to construct the layer more accessible, by applying them to an MDP model. We discuss two provable properties of the safety layer, and show ongoing work in mapping it to a Causal Influence Diagram (CID). In the second part, we develop full mathematical proofs, and show that the safety layer creates a type of bureaucratic blindness. We then present the design of a learning agent, a design that wraps the safety layer around either a known machine learning system, or a potential future AGI-level learning system. The resulting agent will satisfy the provable safety properties from the moment it is first switched on. Finally, we show how this agent can be mapped from its model to a real-life implementation. We review the methodological issues involved in this step, and discuss how these are typically resolved.


title: Measuring Mars Atmospheric Winds From Orbit

abstract: Wind is the process that connects Mars' climate system. Measurements of Mars atmospheric winds from orbit would dramatically advance our understanding of Mars and help prepare for human exploration of the Red Planet. Multiple instrument candidates are in development and will be ready for flight in the next decade. We urge the Decadal Survey to make these measurements a priority for 2023-2032.


title: An adaptive multi-scale iterative scheme for a phase-field model for precipitation and dissolution in porous media

abstract: Mineral precipitation and dissolution processes in a porous medium can alter the structure of the medium at the scale of pores. Such changes make numerical simulations a challenging task as the geometry of the pores changes in time in an apriori unknown manner. To deal with such aspects, we here adopt a two-scale phase-field model, and propose a robust scheme for the numerical approximation of the solution. The scheme takes into account both the scale separation in the model, as well as the non-linear character of the model. After proving the convergence of the scheme, an adaptive two-scale strategy is incorporated, which improves the efficiency of the simulations. Numerical tests are presented, showing the efficiency and accuracy of the scheme in the presence of anisotropies and heterogeneities.


title: On a theorem of Lyapunov-Poincar\'e in higher dimension

abstract: The classical Lyapunov-Poincar\'e center theorem assures the existence of a first integral for an analytic one-form near a center singularity in dimension two, provided that the first jet of the one-form is nondegenerate. The basic point is the existence of an analytic first integral for the given one-form. In this paper we consider generalizations for two main frameworks: (i) real analytic foliations of codimension one in higher dimension and (ii) singular holomorphic foliations in dimension two. All this is related to the problem of finding criteria assuring the existence of analytic first integrals for a given codimension one germ with a suitable first jet. Our approach consists in giving an interpretation of the center theorem in terms of holomorphic foliations and, following an idea of Moussu, apply the holomorphic foliations arsenal in the obtaining the required first integral. As a consequence we are able to revisit some of Reeb classical results on integrable perturbations of exact homogeneous one-forms, and prove some versions of these to the framework of non-isolated (perturbations of transversely Morse type) singularities.


title: 18-year long monitoring of the evolution of H2O vapor in the stratosphere of Jupiter with the Odin space telescope

abstract: Comet Shoemaker-Levy 9 impacted Jupiter in July 1994, leaving its stratosphere with several new species, among them water vapor (H2O). With the aid of a photochemical model H2O can be used as a dynamical tracer in the jovian stratosphere. In this paper, we aim at constraining vertical eddy diffusion (Kzz) at the levels where H2O resides. We monitored the H2O disk-averaged emission at 556.936 GHz with the Odin space telescope between 2002 and 2019, covering nearly two decades. We analyzed the data with a combination of 1D photochemical and radiative transfer models to constrain vertical eddy diffusion in the stratosphere of Jupiter. The Odin observations show us that the emission of H2O has an almost linear decrease of about 40% between 2002 and 2019.We can only reproduce our time series if we increase the magnitude of Kzz in the pressure range where H2O diffuses downward from 2002 to 2019, i.e. from ~0.2 mbar to ~5 mbar. However, this modified Kzz is incompatible with hydrocarbon observations. We find that, even if allowance is made for the initially large abundances of H2O and CO at the impact latitudes, the photochemical conversion of H2O to CO2 is not sufficient to explain the progressive decline of the H2O line emission, suggestive of additional loss mechanisms. The Kzz we derived from the Odin observations of H2O can only be viewed as an upper limit in the ~0.2 mbar to ~5 mbar pressure range. The incompatibility between the interpretations made from H2O and hydrocarbon observations probably results from 1D modeling limitations. Meridional variability of H2O, most probably at auroral latitudes, would need to be assessed and compared with that of hydrocarbons to quantify the role of auroral chemistry in the temporal evolution of the H2O abundance since the SL9 impacts. Modeling the temporal evolution of SL9 species with a 2D model would be the next natural step.


title: Quantum corrected equations of motion in the interior and exterior Schwarzschild spacetime

abstract: In this paper we derive the leading quantum gravitational corrections to the geodesics and the equations of motion for a scalar field in the spacetime containing a constant density star. It is shown that these corrections can be calculated in quantum gravity reliably and in a model independent way. Furthermore, we find that quantum gravity gives rise to an additional redshift that results from the gradient instead of the amplitude of the density profile.


title: Covid-19 lockdown improves air quality in Morocco

abstract: Due to the Covid-19 pandemic, almost all non-essential activities in Morocco have been halted since March 15, 2020. In this sense, several measures have been taken to mitigate the effects of this pandemic. Morocco has been on lockdown since March 20, 2020. The main objective of this paper is to study the effects of the lockdown measures on air quality, by presenting the spatio-temporal evolution of PM2,5 and NO2 pollutants, based on satellite data from Sentinel 5P and MERRA. Then, these results are compared to the data predicted by the Copernicus Atmosphere Monitoring Service (CAMS). Results show that, on one hand, Morocco has experienced an improvement in air quality by a significant reduction in NO2 and a relative reduction in PM2,5. On the other hand, we demonstrate that the particulate pollution in Morocco is partly due to synoptic weather patterns, and that a significant part of NO2 emissions is incoming mainly from the outside northern borders of Morocco. Finally we show that PM2,5 CAMS global forecasts underestimate the observed MERRA data.


title: Measurements with silicon detectors at extreme neutron fluences

abstract: Thin pad detectors made from 75 $\mu$m thick epitaxial silicon on low resistivity substrate were irradiated with reactor neutrons to fluences from 2.5$\times 10^{16}$ n/cm$^2$ to 1$\times 10^{17}$ n/cm$^2$. Edge-TCT measurements showed that the active detector thickness is limited to the epitaxial layer and does not extend into the low resistivity substrate even after the highest fluence. Detector current was measured under reverse and forward bias. The forward current was higher than the reverse at the same voltage but the difference gets smaller with increasing fluence. Rapid increase of current (breakdown) above ~ 700 V under reverse bias was observed. An annealing study at 60$^\circ$C was made to 1200 minutes of accumulated annealing time. It showed that the reverse current anneals with similar time constants as measured at lower fluences. A small increase of forward current due to annealing was seen. Collected charge was measured with electrons from $^{90}$Sr source in forward and reverse bias configurations. Under reverse bias the collected charge increased linearly with bias voltage up to 6000 electrons at 2.5$\times 10^{16}$ n/cm$^2$ and 3000 electrons at 1$\times 10^{17}$ n/cm$^2$. Rapid increase of noise was measured above $\sim$ 700 V reverse bias due to breakdown resulting in worse S/N ratio. At low bias voltages slightly more charge is measured under forward bias compared to reverse. However better S/N is achieved under reverse bias. Effective trapping times were estimated from charge collection measurements under forward bias showing that at high fluences they are much longer than values extrapolated from low fluence measurements - at 1$\times 10^{17}$ n/cm$^2$ a factor of 6 larger value was measured.


title: Fundamental Performance Limits of mm-Wave Cooperative Localization in Linear Topologies

abstract: In applications such as seismic acquisition, the position information of sensor nodes, that are deployed in a linear topology, is desired with sub-meter accuracy in the presence of a limited number of anchor nodes. This can be achieved with antenna arrays via mm-wave cooperative localization, whose performance limits are derived in this letter. The number of anchor nodes is seen to have a stronger impact than the number of antenna elements in the anchor nodes. Succinct closed-form expressions for the position error bound are also obtained for 1-hop and 2-hop cooperative localization, where sub-meter accuracy is perceived over several hundred nodes.


title: On Stable Rank of ${\mathbf H^\infty}$ on Coverings of Finite Bordered Riemann Surfaces

abstract: We prove that the Bass stable rank of the algebra of bounded holomorphic functions on an unbranched covering of a finite bordered Riemann surface is equal to one.


title: How Do Clusters in Phase-Separating Active Matter Systems Grow? A study for Vicsek activity in systems undergoing vapor-solid transition

abstract: Via molecular dynamics simulations we have studied kinetics of vapor-"solid" phase transition in an active matter model in which self-propulsion is introduced via the well-known Vicsek rule. The overall density of the particles is chosen in such a way that the evolution morphology consists of disconnected clusters that are defined as regions of high density of particles. Our focus has been on understanding the influence of the above mentioned self-propulsion on structure and growth of these clusters by comparing the results with those for the passive limit of the model that also exhibits vapor-"solid" transition. While in the passive case the growth occurs due to standard diffusive mechanism, the Vicsek activity leads to a very rapid growth, via a process that is practically equivalent to the ballistic aggregation mechanism. The emerging growth law in the latter case has been accurately estimated and explained by invoking information on velocity and structural aspects of the clusters into a relevant theory. Some of these results are also discussed with reference to a model for the active Brownian particles.


title: Nonlinear wakefields and electron injection in cluster plasma

abstract: Laser and beam driven wakefields promise orders of magnitude increases in electric field gradients for particle accelerators for future applications. Key areas to explore include the emittance properties of the generated beams and overcoming the dephasing limit in the plasma. In this paper, the first in-depth study of the self-injection mechanism into wakefield structures from non-homogeneous cluster plasmas is provided using high-resolution two dimensional particle-in-cell simulations. The clusters which are typical structures caused by ejection of gases from a high-pressure gas jet have a diameter much smaller than the laser wavelength. Conclusive evidence is provided for the underlying mechanism that leads to particle trapping, comparing uniform and cluster plasma cases. The accelerated electron beam properties are found to be tunable by changing the cluster parameters. The mechanism explains enhanced beam charge paired with large transverse momentum and energy which has implications for the betatron x-ray flux. Finally, the impact of clusters on the high-power laser propagation behavior is discussed.


title: Half-checking propagators

abstract: Propagators are central to the success of constraint programming, that is contracting functions removing values proven not to be in any solution of a given constraint. The literature contains numerous propagation algorithms, for many different constraints, and common to all these propagation algorithms is the notion of correctness: only values that appear in no solution to the respective constraint may be removed. In this paper half-checking propagators are introduced, for which the only requirements are that identified solutions (by the propagators) are actual solutions (to the corresponding constraints), and that the propagators are contracting. In particular, a half-checking propagator may remove solutions resulting in an incomplete solving process, but with the upside that (good) solutions may be found faster. Overall completeness can be obtained by running half-checking propagators as one component in a portfolio solving process. Half-checking propagators opens up a wider variety of techniques to be used when designing propagation algorithms, compared to what is currently available. A formal model for half-checking propagators is introduced, together with a detailed description of how to support such propagators in a constraint programming system. Three general directions for creating half-checking propagation algorithms are introduced, and used for designing new half-checking propagators for the cost-circuit constraint as examples. The new propagators are implemented in the Gecode system.


title: High heritability does not imply accurate prediction under the small additive effects hypothesis

abstract: Genome-Wide Association Studies (GWAS) explain only a small fraction of heritability for most complex human phenotypes. Genomic heritability estimates the variance explained by the SNPs on the whole genome using mixed models and accounts for the many small contributions of SNPs in the explanation of a phenotype. This paper approaches heritability from a machine learning perspective, and examines the close link between mixed models and ridge regression. Our contribution is twofold. First, we propose estimating genomic heritability using a predictive approach via ridge regression and Generalized Cross Validation (GCV). We show that this is consistent with classical mixed model based estimation. Second, we derive simple formulae that express prediction accuracy as a function of the ratio n/p, where n is the population size and p the total number of SNPs. These formulae clearly show that a high heritability does not imply an accurate prediction when p>n. Both the estimation of heritability via GCV and the prediction accuracy formulae are validated using simulated data and real data from UK Biobank.


title: Stable cohomology of the universal degree $d$ hypersurface in $\mathbb{P}^n$

abstract: Let $U_{d,n}^*$ be the universal degree $d$ hypersurface in $\mathbb{P}^n$. In this paper we compute the stable (with respect to $d$) cohomology of $U_{d,n}^*$ and give a geometric description of the stable classes. This builds on work of Tommasi and Das .


title: Variational Inference with Continuously-Indexed Normalizing Flows

abstract: Continuously-indexed flows (CIFs) have recently achieved improvements over baseline normalizing flows on a variety of density estimation tasks. CIFs do not possess a closed-form marginal density, and so, unlike standard flows, cannot be plugged in directly to a variational inference (VI) scheme in order to produce a more expressive family of approximate posteriors. However, we show here how CIFs can be used as part of an auxiliary VI scheme to formulate and train expressive posterior approximations in a natural way. We exploit the conditional independence structure of multi-layer CIFs to build the required auxiliary inference models, which we show empirically yield low-variance estimators of the model evidence. We then demonstrate the advantages of CIFs over baseline flows in VI problems when the posterior distribution of interest possesses a complicated topology, obtaining improved results in both the Bayesian inference and surrogate maximum likelihood settings.


title: The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

abstract: We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $\mathbf{IL}$. We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.


title: Joint Blind Deconvolution and Robust Principal Component Analysis for Blood Flow Estimation in Medical Ultrasound Imaging

abstract: This paper addresses the problem of high-resolution Doppler blood flow estimation from an ultrafast sequence of ultrasound images. Formulating the separation of clutter and blood components as an inverse problem has been shown in the literature to be a good alternative to spatio-temporal singular value decomposition (SVD)-based clutter filtering. In particular, a deconvolution step has recently been embedded in such a problem to mitigate the influence of the experimentally measured point spread function (PSF) of the imaging system. Deconvolution was shown in this context to improve the accuracy of the blood flow reconstruction. However, measuring the PSF requires non-trivial experimental setups. To overcome this limitation, we propose herein a blind deconvolution method able to estimate both the blood component and the PSF from Doppler data. Numerical experiments conducted on simulated and in vivo data demonstrate qualitatively and quantitatively the effectiveness of the proposed approach in comparison with the previous method based on experimentally measured PSF and two other state-of-the-art approaches.


title: Thermodynamic dislocation theory: Application to bcc-crystals

abstract: This paper presents the thermodynamic dislocation theory containing several modifications over its first version which was originally proposed by Langer, Bouchbinder, and Lookman (2010). Employing a small set of physics-based material parameters identified by the large scale least squares analysis, we show that the theory can fit the stress-strain curves of bcc crystals niobium, tantalum, tungsten, and vanadium over a wide range of temperatures and strain rates.


title: Vacuum acceleration of electrons in a dynamic laser pulse

abstract: A planar laser pulse propagating in vacuum can exhibit an extremely large ponderomotive force. This force, however, cannot impart net energy to an electron: As the pulse overtakes the electron, the initial impulse from its rising edge is completely undone by an equal and opposite impulse from its trailing edge. Here we show that planar-like "flying focus" pulses can break this symmetry, imparting relativistic energies to electrons. The intensity peak of a flying focus-a moving focal point resulting from a chirped laser pulse focused by a chromatic lens-can travel at any subluminal velocity, forwards or backwards. As a result, an electron can gain enough momentum in the rising edge of the intensity peak to outrun and avoid the trailing edge. Accelerating the intensity peak can further boost the momentum gain. Theory and simulations demonstrate that these dynamic intensity peaks can backwards accelerate electrons to the MeV energies required for radiation and electron diffraction probes of high energy density materials.


title: Causality and stability in relativistic viscous non-resistive magneto-fluid dynamics

abstract: We investigate the causality and the stability of the relativistic viscous magneto-hydrodynamics in the framework of the Israel-Stewart (IS) second-order theory, and also within a modified IS theory which incorporates the effect of magnetic fields in the relaxation equations of the viscous stress. We compute the dispersion relation by perturbing the fluid variables around their equilibrium values. In the ideal magnetohydrodynamics limit, the linear dispersion relation yields the well-known propagating modes: the Alfv\'en and the magneto-sonic modes.In the presence of bulk viscous pressure, the causality bound is found to be independent of the magnitude of the magnetic field. The same bound also remains true, when we take the full non-linear form of the equation using the method of characteristics. In the presence of shear viscous pressure, the causality bound is independent of the magnitude of the magnetic field for the two magneto-sonic modes. The causality bound for the shear-Alfv\'en modes, however, depends both on the magnitude and the direction of the propagation. For modified IS theory in the presence of shear viscosity, new non-hydrodynamic modes emerge but the asymptotic causality condition is the same as that of IS. In summary, although the magnetic field does influence the wave propagation in the fluid, the study of the stability and asymptotic causality conditions in the fluid rest frame shows that the fluid remains stable and causal given that they obey certain asymptotic causality condition.


title: Reactive Soft Prototype Computing for Concept Drift Streams

abstract: The amount of real-time communication between agents in an information system has increased rapidly since the beginning of the decade. This is because the use of these systems, e. g. social media, has become commonplace in today's society. This requires analytical algorithms to learn and predict this stream of information in real-time. The nature of these systems is non-static and can be explained, among other things, by the fast pace of trends. This creates an environment in which algorithms must recognize changes and adapt. Recent work shows vital research in the field, but mainly lack stable performance during model adaptation. In this work, a concept drift detection strategy followed by a prototype-based adaptation strategy is proposed. Validated through experimental results on a variety of typical non-static data, our solution provides stable and quick adjustments in times of change.


title: Turning a yield-stress calcite suspension into a shear-thickening one by tuning inter-particle friction

abstract: We show that a suspension of non-Brownian calcite particles in glycerol-water mixtures can be tuned continuously from being a yield-stress suspension to a shear-thickening suspension--without a measurable yield stress--by the addition of various surfactants. We interpret our results within a recent theoretical framework that models the rheological effects of stress-dependent constraints on inter-particle motion. Bare calcite particle suspensions are found to have finite yield stresses. In these suspensions, frictional contacts that constrain inter-particle sliding form at an infinitesimal applied stress and remain thereafter, while adhesive bonds that constrain inter-particle rotation are broken as the applied stress increases. Adding surfactants reduces the yield stress of such suspensions. We show that, contrary to the case of surfactant added to colloidal suspensions, this effect in non-Brownian suspensions is attributable to the emergence of a finite onset stress for the formation of frictional contacts. Our data suggest that the magnitude of this onset stress is set by the strength of surfactant adsorption to the particle surfaces, which therefore constitutes a new design principle for using surfactants to tune the rheology of formulations consisting of suspensions of adhesive non-Brownian particulates.


title: Characteristics of Monte Carlo Dropout in Wide Neural Networks

abstract: Monte Carlo (MC) dropout is one of the state-of-the-art approaches for uncertainty estimation in neural networks (NNs). It has been interpreted as approximately performing Bayesian inference. Based on previous work on the approximation of Gaussian processes by wide and deep neural networks with random weights, we study the limiting distribution of wide untrained NNs under dropout more rigorously and prove that they as well converge to Gaussian processes for fixed sets of weights and biases. We sketch an argument that this property might also hold for infinitely wide feed-forward networks that are trained with (full-batch) gradient descent. The theory is contrasted by an empirical analysis in which we find correlations and non-Gaussian behaviour for the pre-activations of finite width NNs. We therefore investigate how (strongly) correlated pre-activations can induce non-Gaussian behavior in NNs with strongly correlated weights.


title: Deep Surrogate Models for Multi-dimensional Regression of Reactor Power

abstract: There is renewed interest in developing small modular reactors and micro-reactors. Innovation is necessary in both construction and operation methods of these reactors to be financially attractive. For operation, an area of interest is the development of fully autonomous reactor control. Significant efforts are necessary to demonstrate an autonomous control framework for a nuclear system, while adhering to established safety criteria. Our group has proposed and received support for demonstration of an autonomous framework on a subcritical system: the MIT Graphite Exponential Pile. In order to have a fast response (on the order of miliseconds), we must extract specific capabilities of general-purpose system codes to a surrogate model. Thus, we have adopted current state-of-the-art neural network libraries to build surrogate models. This work focuses on establishing the capability of neural networks to provide an accurate and precise multi-dimensional regression of a nuclear reactor's power distribution. We assess using a neural network surrogate against a previously validated model: an MCNP5 model of the MIT reactor. The results indicate that neural networks are an appropriate choice for surrogate models to implement in an autonomous reactor control framework. The MAPE across all test datasets was < 1.16 % with a corresponding standard deviation of < 0.77 %. The error is low, considering that the node-wise fission power can vary from 7 kW to 30 kW across the core.


title: Complex Paths Around The Sign Problem

abstract: The Monte Carlo evaluation of path integrals is one of a few general purpose methods to approach strongly coupled systems. It is used in all branches of Physics, from QCD/nuclear physics to the correlated electron systems. However, many systems of great importance (dense matter inside neutron stars, the repulsive Hubbard model away from half-filling, dynamical and non-equilibrium observables) are not amenable to the Monte Carlo method as it currently stands due to the so-called "sign-problem". We review a new set of ideas recently developed to tackle the sign problem based on the complexification of field space and the Picard-Lefshetz theory accompanying it. The mathematical ideas underpinning this approach, as well as the algorithms so far developed, are described together with non-trivial examples where the method has already been proved successful. Directions of future work, including the burgeoning use of machine learning techniques, are delineated.

categories: hep-lat cond-mat.str-el hep-th nucl-th quant-ph


title: Truss-based Structural Diversity Search in Large Graphs

abstract: Social decisions made by individuals are easily influenced by information from their social neighborhoods. A key predictor of social contagion is the multiplicity of social contexts inside the individual's contact neighborhood, which is termed structural diversity. However, the existing models have limited decomposability for analyzing large-scale networks, and suffer from the inaccurate reflection of social context diversity. In this paper, we propose a new truss-based structural diversity model to overcome the weak decomposability. Based on this model, we study a novel problem of truss-based structural diversity search in a graph G, that is, to find the r vertices with the highest truss-based structural diversity and return their social contexts. o tackle this problem, we propose an online structural diversity search algorithm in $O(\rho(m+\mathcal{T}))$ time, where $\rho$, $m$, and $\mathcal{T}$ are respectively the arboricity, the number of edges, and the number of triangles in $G$. To improve the efficiency, we design an elegant and compact index, called TSD-index, for further expediting the search process. We further optimize the structure of TSD-index into a highly compressed GCT-index. Our GCT-index-based structural diversity search utilizes the global triangle information for fast index construction and finds answers in $O(m)$ time. Extensive experiments demonstrate the effectiveness and efficiency of our proposed model and algorithms, against state-of-the-art methods.


title: The maximal degree in random recursive graphs with random weights

abstract: We study a generalisation of the random recursive tree (RRT) model and its multigraph counterpart, the uniform directed acyclic graph (DAG). Here, vertices are equipped with a random vertex-weight representing initial inhomogeneities in the network, so that a new vertex connects to one of the old vertices with a probability that is proportional to their vertex-weight. We first identify the asymptotic degree distribution of a uniformly chosen vertex for a general vertex-weight distribution. For the maximal degree, we distinguish several classes that lead to different behaviour: For bounded vertex-weights we obtain results for the maximal degree that are similar to those observed for RRTs and DAGs. If the vertex-weights have unbounded support, then the maximal degree has to satisfy the right balance between having a high vertex-weight and being born early. For vertex-weights in the Frechet maximum domain of attraction the first order behaviour of the maximal degree is random, while for those in the Gumbel maximum domain of attraction the leading order is deterministic. Surprisingly, in the latter case, the second order is random when considering vertices in a compact window in the optimal region, while it becomes deterministic when considering all vertices.


title: Univalent functions with positive coefficients involving Touchard polynomials

abstract: The purpose of the present paper is to establish connections between various subclasses of analytic univalent functions by applying certain convolution operator involving Touchard polynomials. To be more precise, we investigate such connections with the classes of analytic univalent functions with positive coefficients in the open unit disk U.


title: The partition poset complex and the Goodwillie derivatives of the identity in spaces

abstract: We produce a canonical highly homotopy-coherent operad structure on the derivatives of the identity functor in spaces via a pairing of cosimplicial objects, providing a new description of an operad structure on such objects first described by Ching. In addition, we show the derived primitives of a commutative coalgebra in spectra form an algebra over this operad.


title: Impression Space from Deep Template Network

abstract: It is an innate ability for humans to imagine something only according to their impression, without having to memorize all the details of what they have seen. In this work, we would like to demonstrate that a trained convolutional neural network also has the capability to "remember" its input images. To achieve this, we propose a simple but powerful framework to establish an {\emph{Impression Space}} upon an off-the-shelf pretrained network. This network is referred to as the {\emph{Template Network}} because its filters will be used as templates to reconstruct images from the impression. In our framework, the impression space and image space are bridged by a layer-wise encoding and iterative decoding process. It turns out that the impression space indeed captures the salient features from images, and it can be directly applied to tasks such as unpaired image translation and image synthesis through impression matching without further network training. Furthermore, the impression naturally constructs a high-level common space for different data. Based on this, we propose a mechanism to model the data relations inside the impression space, which is able to reveal the feature similarity between images. Our code will be released.


title: Li-rich K giants, dust excess, and binarity

abstract: The origin of the Li-rich K giants is still highly debated. Here, we investigate the incidence of binarity among this family from a nine-year radial-velocity monitoring of a sample of 11 Li-rich K giants using the HERMES spectrograph attached to the 1.2m Mercator telescope. A sample of 13 non-Li-rich giants (8 of them being surrounded by dust according to IRAS, WISE, and ISO data) was monitored alongside. When compared to the binary frequency in a reference sample of 190 K giants (containing 17.4% of definite spectroscopic binaries -- SB -- and 6.3% of possible spectroscopic binaries -- SB?), the binary frequency appears normal among the Li-rich giants (2/11 definite binaries plus 2 possible binaries, or 18.2% SB + 18.2% SB?), after taking account of the small sample size through the hypergeometric probability distribution. Therefore, there appears to be no causal relationship between Li enrichment and binarity. Moreover, there is no correlation between Li enrichment and the presence of circumstellar dust, and the only correlation that could be found between Li enrichment and rapid rotation is that the most Li-enriched K giants appear to be fast-rotating stars. However, among the dusty K giants, the binary frequency is much higher (4/8 definite binaries plus 1 possible binary). The remaining 3 dusty K giants suffer from a radial-velocity jitter, as is expected for the most luminous K giants, which these are.


title: Algorithmic Fairness in Education

abstract: Data-driven predictive models are increasingly used in education to support students, instructors, and administrators. However, there are concerns about the fairness of the predictions and uses of these algorithmic systems. In this introduction to algorithmic fairness in education, we draw parallels to prior literature on educational access, bias, and discrimination, and we examine core components of algorithmic systems (measurement, model learning, and action) to identify sources of bias and discrimination in the process of developing and deploying these systems. Statistical, similarity-based, and causal notions of fairness are reviewed and contrasted in the way they apply in educational contexts. Recommendations for policy makers and developers of educational technology offer guidance for how to promote algorithmic fairness in education.


title: The Heisenberg picture of photodetection

abstract: We construct a class of Hamiltonians that describe the photodetection process from beginning to end. Our Hamiltonians describe the creation of a photon, how the photon travels to an absorber (such as a molecule), how the molecule absorbs the photon, and how the molecule after irreversibly changing its configuration triggers an amplification process---at a wavelength that may be very different from the photon's wavelength---thus producing a macroscopic signal. We use a simple prototype Hamiltonian to describe the single-photon detection process analytically in the Heisenberg picture, which neatly separates desirable from undesirable effects. Extensions to more complicated Hamiltonians are pointed out.


title: Nonlinear Temperature Regulation of Solar Collectors with a Fast Adaptive Polytopic LPV MPC Formulation

abstract: Temperature control in solar collectors is a nonlinear problem: the dynamics of temperature rise vary according to the oil flowing through the collector and to the temperature gradient along the collector area. In this way, this work investigates the formulation of a Model Predictive Control (MPC) application developed within a Linear Parameter Varying (LPV) formalism, which serves as a model of the solar collector process. The proposed system is an adaptive MPC, developed with terminal set constraints and considering the scheduling polytope of the model. At each instant, two Quadratic Programming (QPs) programs are solved: the first considers a backward horizon of N steps to find a virtual model-process tuning variable that defines the best LTI prediction model, considering the vertices of the polytopic system; then, the second QP uses this LTI model to optimize performances along a forward horizon of N steps. The paper ends with a realistic solar collector simulation results, comparing the proposed MPC to other techniques from the literature (linear MPC and robust tube-MPC). Discussions regarding the results, the design procedure and the computational effort for the three methods are presented. It is shown how the proposed MPC design is able to outrank these other standard methods in terms of reference tracking and disturbance rejection.


title: Evaluation of Big Data based CNN Models in Classification of Skin Lesions with Melanoma

abstract: This chapter presents a methodology for diagnosis of pigmented skin lesions using convolutional neural networks. The architecture is based on convolu-tional neural networks and it is evaluated using new CNN models as well as re-trained modification of pre-existing CNN models were used. The experi-mental results showed that CNN models pre-trained on big datasets for gen-eral purpose image classification when re-trained in order to identify skin le-sion types offer more accurate results when compared to convolutional neural network models trained explicitly from the dermatoscopic images. The best performance was achieved by re-training a modified version of ResNet-50 convolutional neural network with accuracy equal to 93.89%. Analysis on skin lesion pathology type was also performed with classification accuracy for melanoma and basal cell carcinoma being equal to 79.13% and 82.88%, respectively.


title: Generalized Maximum Entropy for Supervised Classification

abstract: The maximum entropy principle advocates to evaluate events' probabilities using a distribution that maximizes entropy among those that satisfy certain expectations' constraints. Such principle can be generalized for arbitrary decision problems where it corresponds to minimax approaches. This paper establishes a framework for supervised classification based on the generalized maximum entropy principle that leads to minimax risk classifiers (MRCs). We develop learning techniques that determine MRCs for general entropy functions and provide performance guarantees by means of convex optimization. In addition, we describe the relationship of the presented techniques with existing classification methods, and quantify MRCs performance in comparison with the proposed bounds and conventional methods.


title: Weakly Supervised Deep Nuclei Segmentation Using Partial Points Annotation in Histopathology Images

abstract: Nuclei segmentation is a fundamental task in histopathology image analysis. Typically, such segmentation tasks require significant effort to manually generate accurate pixel-wise annotations for fully supervised training. To alleviate such tedious and manual effort, in this paper we propose a novel weakly supervised segmentation framework based on partial points annotation, i.e., only a small portion of nuclei locations in each image are labeled. The framework consists of two learning stages. In the first stage, we design a semi-supervised strategy to learn a detection model from partially labeled nuclei locations. Specifically, an extended Gaussian mask is designed to train an initial model with partially labeled data. Then, selftraining with background propagation is proposed to make use of the unlabeled regions to boost nuclei detection and suppress false positives. In the second stage, a segmentation model is trained from the detected nuclei locations in a weakly-supervised fashion. Two types of coarse labels with complementary information are derived from the detected points and are then utilized to train a deep neural network. The fully-connected conditional random field loss is utilized in training to further refine the model without introducing extra computational complexity during inference. The proposed method is extensively evaluated on two nuclei segmentation datasets. The experimental results demonstrate that our method can achieve competitive performance compared to the fully supervised counterpart and the state-of-the-art methods while requiring significantly less annotation effort.


title: Information Freshness of Updates Sent over LEO Satellite Multi-Hop Networks

abstract: Low Earth Orbit (LEO) satellite constellations are bringing the Internet of Things (IoT) to the space arena, also known as non-terrestrial networks. Several IoT satellite applications for tracking ships and cargo can be seen as exemplary cases of intermittent transmission of updates whose main performance parameter is the information freshness. This paper analyzes the Age of Information (AoI) of a satellite network with multiple sources and destinations that are very distant and therefore require several consecutive multi-hop transmissions. A packet erasure channel and different queueing policies are considered. We provide closed-form bounds and tight approximations of the average AoI, as well as an upper bound of the Peak Age of Information (PAoI) distribution as a worst-case metric for the system design. The performance evaluation reveals complex trade-offs among age, load, and packet losses. The optimal operational point is found when the combination of arrival rates and packet losses is such that the system load can ensure fresh information at the receiver; nevertheless, achieving this is highly dependent on the mesh topology. Moreover, the potential of an age-aware scheduling strategy is investigated and the fairness among users discussed. The results show the need to identify the bottleneck nodes for the age, as improving the rate and reliability of those critical links will highly impact on the overall performance. The model is general enough to represent other multi-hop mesh networks.


title: Logics of Intuitionistic Kripke-Platek Set Theory

abstract: We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.


title: Orientability of high-dimensional manifolds with odd Euler characteristic

abstract: We call a manifold $k$-orientable if the $i^{th}$ Stiefel-Whitney class vanishes for all $i< 2^k$ ($k\geq 0$), generalising the notions of orientable (1-orientable) and spin (2-orientable). In \cite{Hoekzema2017} it was shown that $k$-orientable manifolds have even Euler characteristic (and in fact vanishing top Wu class), unless their dimension is $2^{k+1}m$ for some $m\geq 1$. This theorem is strict for $k=0,1,2,3$, but whether there exist 4-orientable manifolds with an odd Euler characteristic is an open question. This paper discusses the question of finding candidates for such a manifold $\mathfrak{X}^{32m}$. As part of our investigation we study the example of the three exceptional symmetric spaces known as Rosenfeld planes, which have odd Euler characteristic and are of dimension 32, 64 and 128. We perform computations of the action of the Steenrod algebra on the mod 2 cohomology of the first two of these manifolds with the use computer calculations. The first Rosenfeld plane, $(\mathbb{O} \otimes \mathbb{C})\mathbb{P}^{2}$, is 2-orientable but not 3-orientable and thus not an example of $\mathfrak{X}^{32}$. We show that the second Rosenfeld plane $(\mathbb{O} \otimes \mathbb{H})\mathbb{P}^{2}$ is 3-orientable and we present a condition under which is may be 4-orientable if the action of the Steenrod algebra is established further, and therefore it remains a potential candidate for $\mathfrak{X}^{64}$. No other clear candidate manifolds for $\mathfrak{X}^{32m}$ or in particular candidates for $\mathfrak{X}^{32}$ are known to the author.


title: On mass-minimizing extensions of Bartnik boundary data

abstract: We prove that the space of initial data sets which have fixed Bartnik boundary data and solve the constraint equations is a Banach manifold. Moreover, on this constraint manifold the critical points of the ADM mass are exactly the initial data sets which admit generalised Killing vector fields with asymptotic limit proportional to the ADM energy-momentum vector.


title: New Oracle-Efficient Algorithms for Private Synthetic Data Release

abstract: We present three new algorithms for constructing differentially private synthetic data---a sanitized version of a sensitive dataset that approximately preserves the answers to a large collection of statistical queries. All three algorithms are \emph{oracle-efficient} in the sense that they are computationally efficient when given access to an optimization oracle. Such an oracle can be implemented using many existing (non-private) optimization tools such as sophisticated integer program solvers. While the accuracy of the synthetic data is contingent on the oracle's optimization performance, the algorithms satisfy differential privacy even in the worst case. For all three algorithms, we provide theoretical guarantees for both accuracy and privacy. Through empirical evaluation, we demonstrate that our methods scale well with both the dimensionality of the data and the number of queries. Compared to the state-of-the-art method High-Dimensional Matrix Mechanism \cite{McKennaMHM18}, our algorithms provide better accuracy in the large workload and high privacy regime (corresponding to low privacy loss $\varepsilon$).


abstract: Bone Age Assessment (BAA) is a task performed by radiologists to diagnose abnormal growth in a child. In manual approaches, radiologists take into account different identity markers when calculating bone age, i.e., chronological age and gender. However, the current automated Bone Age Assessment methods do not completely exploit the information present in the patient's metadata. With this lack of available methods as motivation, we present SIMBA: Specific Identity Markers for Bone Age Assessment. SIMBA is a novel approach for the task of BAA based on the use of identity markers. For this purpose, we build upon the state-of-the-art model, fusing the information present in the identity markers with the visual features created from the original hand radiograph. We then use this robust representation to estimate the patient's relative bone age: the difference between chronological age and bone age. We validate SIMBA on the Radiological Hand Pose Estimation dataset and find that it outperforms previous state-of-the-art methods. SIMBA sets a trend of a new wave of Computer-aided Diagnosis methods that incorporate all of the data that is available regarding a patient. To promote further research in this area and ensure reproducibility we will provide the source code as well as the pre-trained models of SIMBA.


title: High-dimensional MCMC with a standard splitting scheme for the underdamped Langevin diffusion

abstract: The efficiency of a Markov sampler based on the underdamped Langevin diffusion is studied for high dimensional targets with convex and smooth potentials. We consider a classical second-order integrator which requires only one gradient computation per iteration. Contrary to previous works on similar samplers, a dimension-free contraction of Wasserstein distances and convergence rate for the total variance distance are proven for the discrete time chain itself. Non-asymptotic Wasserstein and total variation efficiency bounds and concentration inequalities are obtained for both the Metropolis adjusted and unadjusted chains. \nv{In particular, for the unadjusted chain,} in terms of the dimension $d$ and the desired accuracy $\varepsilon$, the Wasserstein efficiency bounds are of order $\sqrt d / \varepsilon$ in the general case, $\sqrt{d/\varepsilon}$ if the Hessian of the potential is Lipschitz, and $d^{1/4}/\sqrt\varepsilon$ in the case of a separable target, in accordance with known results for other kinetic Langevin or HMC schemes.


title: Improved Analysis of UCRL2 with Empirical Bernstein Inequality

abstract: We consider the problem of exploration-exploitation in communicating Markov Decision Processes. We provide an analysis of UCRL2 with Empirical Bernstein inequalities (UCRL2B). For any MDP with $S$ states, $A$ actions, $\Gamma \leq S$ next states and diameter $D$, the regret of UCRL2B is bounded as $\widetilde{O}(\sqrt{D\Gamma S A T})$.


title: Isocurvature modes: joint analysis of the CMB power spectrum and bispectrum

abstract: We perform a joint analysis of the power spectrum and the bispectrum of the CMB temperature and polarization anisotropies to improve the constraints on isocurvature modes. We construct joint likelihoods, both for the existing Planck data, and to make forecasts for the future LiteBIRD and CMB-S4 experiments. We assume a general two-field inflation model with five free parameters, leading to one isocurvature mode (which can be CDM density, neutrino density or neutrino velocity) arbitrarily correlated with the adiabatic mode. We theoretically assess in which cases (of detecting and/or fixing parameters) improvements can be expected, to guide our subsequent numerical analyses. We find that for Planck, which detected neither isocurvature modes nor primordial non-Gaussianity, the joint analysis does not improve the constraints in the general case. However, if we fix additional parameters in the model, the improvements can be highly significant depending on the chosen parameter values. For LiteBIRD+CMB-S4 we study in which regions of parameter space compatible with the Planck results the joint analysis will improve the constraints or the significance of a detection. We find that, while for CDM isocurvature this region is very small, for the neutrino isocurvature modes it is much larger. In particular for neutrino velocity it can be about half of the Planck-allowed region, where the joint analysis reduces the isocurvature error bars by up to 70%. In addition the joint analysis can also improve the error bars of some of the standard cosmological parameters, by up to 30% for $\theta_{MC}$ for example, by breaking the degeneracies with the correlation parameter between adiabatic and isocurvature modes.


title: Border rank non-additivity for higher order tensors

abstract: Whereas matrix rank is additive under direct sum, in 1981 Sch\"onhage showed that one of its generalizations to the tensor setting, tensor border rank, can be strictly subadditive for tensors of order three. Whether border rank is additive for higher order tensors has remained open. In this work, we settle this problem by providing analogs of Sch\"onhage's construction for tensors of order four and higher. Sch\"onhage's work was motivated by the study of the computational complexity of matrix multiplication; we discuss implications of our results for the asymptotic rank of higher order generalizations of the matrix multiplication tensor.


title: Extension Preservation in the Finite and Prefix Classes of First Order Logic

abstract: It is well known that the classic {\L}o\'s-Tarski preservation theorem fails in the finite: there are first-order definable classes of finite structures closed under extensions which are not definable (in the finite) in the existential fragment of first-order logic. We strengthen this by constructing for every $n$, first-order definable classes of finite structures closed under extensions which are not definable with $n$ quantifier alternations. The classes we construct are definable in the extension of Datalog with negation and indeed in the existential fragment of transitive-closure logic. This answers negatively an open question posed by Rosen and Weinstein.


title: Prediction of Traffic Flow via Connected Vehicles

abstract: We propose a Short-term Traffic flow Prediction (STP) framework so that transportation authorities take early actions to control flow and prevent congestion. We anticipate flow at future time frames on a target road segment based on historical flow data and innovative features such as real time feeds and trajectory data provided by Connected Vehicles (CV) technology. To cope with the fact that existing approaches do not adapt to variation in traffic, we show how this novel approach allows advanced modelling by integrating into the forecasting of flow, the impact of the various events that CV realistically encountered on segments along their trajectory. We solve the STP problem with a Deep Neural Networks (DNN) in a multitask learning setting augmented by input from CV. Results show that our approach, namely MTL-CV, with an average Root-Mean-Square Error (RMSE) of 0.052, outperforms state-of-the-art ARIMA time series (RMSE of 0.255) and baseline classifiers (RMSE of 0.122). Compared to single task learning with Artificial Neural Network (ANN), ANN had a lower performance, 0.113 for RMSE, than MTL-CV. MTL-CV learned historical similarities between segments, in contrast to using direct historical trends in the measure, because trends may not exist in the measure but do in the similarities.


title: Grading video interviews with fairness considerations

abstract: There has been considerable interest in predicting human emotions and traits using facial images and videos. Lately, such work has come under criticism for poor labeling practices, inconclusive prediction results and fairness considerations. We present a careful methodology to automatically derive social skills of candidates based on their video response to interview questions. We, for the first time, include video data from multiple countries encompassing multiple ethnicities. Also, the videos were rated by individuals from multiple racial backgrounds, following several best practices, to achieve a consensus and unbiased measure of social skills. We develop two machine-learning models to predict social skills. The first model employs expert-guidance to use plausibly causal features. The second uses deep learning and depends solely on the empirical correlations present in the data. We compare errors of both these models, study the specificity of the models and make recommendations. We further analyze fairness by studying the errors of models by race and gender. We verify the usefulness of our models by determining how well they predict interview outcomes for candidates. Overall, the study provides strong support for using artificial intelligence for video interview scoring, while taking care of fairness and ethical considerations.


title: Beam Divergence Reduction of Vortex Waves with a Tailored Lens and a Tailored Reflector

abstract: In this paper, we present a tailored lens and a tailored reflector in order to reduce the large beam divergence inherent to Orbital Angular Momentum waves (OAM waves-Vortex waves) that are generated by an Uniform Circular Patch Antenna Array (UCA) at 10 GHz. The tailored lens and the tailored reflector are designed by the shape function (5) and (9) around the antenna s center axis, respectively. The tailored lens is compared to UCA without and with conventional lens. The simulated and measured results show a significant improvement when using the tailored lens. Following, a tailored reflector is implemented and compared to UCA without and with conventional reflector. Firstly, the two reflectors are simulated with an impressed field source to neglect the influence of the UCA. The simulated results of the two reflectors show that the tailored reflector has a better performance than the conventional reflector when the height of the reflector $r_0$ is less than around 1.5 $\lambda$ and when the opening angle of the reflector theta is less than 38{\deg} (for UCA with $d$ of $\lambda/2$). In addition, the reflectors are simulated with real UCA with different shapes of PCB, which can disturb the reflected waves from the reflector. Two lenses and two reflectors are manufactured and measured in an anechoic chamber and compared to the simulation results. This paper shows that the vortex waves needs a special lens or a special reflector to reduce effictively the beam divergence especially when the radius of the UCA is very large.


title: Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

abstract: The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms. In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previously studied in multiple lines of work. Our algebraic provenance structure and corresponding provenance-aware semantics are based on the sound and complete axiomatization of Karabeg and Vianu. We demonstrate that our construction can guide the design of concrete provenance model instances for different applications. We further study the efficient generation and storage of provenance for hyperplane update queries. We show that a naive algorithm can lead to an exponentially large provenance expression, but remedy this by presenting a normal form which we show may be efficiently computed alongside query evaluation. We experimentally study the performance of our solution and demonstrate its scalability and usefulness, and in particular the effectiveness of our normal form representation.


title: Universal $p$-form black holes in generalized theories of gravity

abstract: We explore how far one can go in constructing $d$-dimensional static black holes coupled to $p$-form and scalar fields before actually specifying the gravity and electrodynamics theory one wants to solve. At the same time, we study to what extent one can enlarge the space of black hole solutions by allowing for horizon geometries more general than spaces of constant curvature. We prove that a generalized Schwarzschild-like ansatz with an arbitrary isotropy-irreducible homogeneous base space (IHS) provides an answer to both questions, up to naturally adapting the gauge fields to the spacetime geometry. In particular, an IHS-K\"ahler base space enables one to construct magnetic and dyonic 2-form solutions in a large class of theories, including non-minimally couplings. We exemplify our results by constructing simple solutions to particular theories such as $R^2$, Gauss-Bonnet and (a sector of) Einstein-Horndeski gravity coupled to certain $p$-form and conformally invariant electrodynamics.


title: Stanene: A Good Platform for Topological Insulator and Topological Superconductor

abstract: Two dimensional (2D) topological insulators (TIs) and topological superconductors (TSCs) have been intensively studied for recent years due to its great potential for dissipationless electron transportation and fault-tolerant quantum computing, respectively. Here we focus on stanene, the tin analogue of graphene, to give a brief review of its development as a candidate for both 2D TI and TSC. Stanene is proposed to be a TI with a large gap of 0.3 eV, and its topological properties are sensitive to various factors, e.g., the lattice constants, chemical functionalization and layer thickness, which offer various methods for phase tunning. Experimentally, the inverted gap and edge states are observed recently, which are strong evidence for TI. In addition, stanene is also predicted to be a time reversal invariant TSC by breaking inversion symmetry, supporting helical Majorana edge modes. The layer-dependent superconductivity of stanene is recently confirmed by both transport and scanning tunneling microscopy measurements. This review gives a detailed introduction to stanene and its topological properties and some prospects are also discussed.