title: Federated Learning on the Road: Autonomous Controller Design for Connected and Autonomous Vehicles

abstract: A new federated learning (FL) framework enabled by large-scale wireless connectivity is proposed for designing the autonomous controller of connected and autonomous vehicles (CAVs). In this framework, the learning models used by the controllers are collaboratively trained among a group of CAVs. To capture the varying CAV participation in the FL training process and the diverse local data quality among CAVs, a novel dynamic federated proximal (DFP) algorithm is proposed that accounts for the mobility of CAVs, the wireless fading channels, as well as the unbalanced and nonindependent and identically distributed data across CAVs. A rigorous convergence analysis is performed for the proposed algorithm to identify how fast the CAVs converge to using the optimal autonomous controller. In particular, the impacts of varying CAV participation in the FL process and diverse CAV data quality on the convergence of the proposed DFP algorithm are explicitly analyzed. Leveraging this analysis, an incentive mechanism based on contract theory is designed to improve the FL convergence speed. Simulation results using real vehicular data traces show that the proposed DFP-based controller can accurately track the target CAV speed over time and under different traffic scenarios. Moreover, the results show that the proposed DFP algorithm has a much faster convergence compared to popular FL algorithms such as federated averaging (FedAvg) and federated proximal (FedProx). The results also validate the feasibility of the contract-theoretic incentive mechanism and show that the proposed mechanism can improve the convergence speed of the DFP algorithm by 40% compared to the baselines.


title: Prediction of crystal structures and motifs in the Fe-Mg-O system at Earth's core pressures

abstract: Fe, Mg, and O are among the most abundant elements in terrestrial planets. While the behavior of the Fe-O, Mg-O, and Fe-Mg binary systems under pressure have been investigated, there are still very few studies of the Fe-Mg-O ternary system at relevant Earth's core and super-Earth's mantle pressures. Here, we use the adaptive genetic algorithm (AGA) to study ternary Fe$_x$Mg$_y$O$_z$ phases in a wide range of stoichiometries at 200 GPa and 350 GPa. We discovered three dynamically stable phases with stoichiometries FeMg$_2$O$_4$, Fe$_2$MgO$_4$, and FeMg$_3$O$_4$ with lower enthalpy than any known combination of Fe-Mg-O high-pressure compounds at 350 GPa. With the discovery of these phases, we construct the Fe-Mg-O ternary convex hull. We further clarify the composition- and pressure-dependence of structural motifs with the analysis of the AGA-found stable and metastable structures. Analysis of binary and ternary stable phases suggest that O, Mg, or both could stabilize a BCC iron alloy at inner core pressures.


title: Robust Principal Component Analysis: A Median of Means Approach

abstract: Principal Component Analysis (PCA) is a fundamental tool for data visualization, denoising, and dimensionality reduction. It is widely popular in Statistics, Machine Learning, Computer Vision, and related fields. However, PCA is well-known to fall prey to outliers and often fails to detect the true underlying low-dimensional structure within the dataset. Following the Median of Means (MoM) philosophy, recent supervised learning methods have shown great success in dealing with outlying observations without much compromise to their large sample theoretical properties. This paper proposes a PCA procedure based on the MoM principle. Called the \textbf{M}edian of \textbf{M}eans \textbf{P}rincipal \textbf{C}omponent \textbf{A}nalysis (MoMPCA), the proposed method is not only computationally appealing but also achieves optimal convergence rates under minimal assumptions. In particular, we explore the non-asymptotic error bounds of the obtained solution via the aid of the Rademacher complexities while granting absolutely no assumption on the outlying observations. The derived concentration results are not dependent on the dimension because the analysis is conducted in a separable Hilbert space, and the results only depend on the fourth moment of the underlying distribution in the corresponding norm. The proposal's efficacy is also thoroughly showcased through simulations and real data applications.


title: Parameterized complexity of computing maximum minimal blocking and hitting sets

abstract: A blocking set in a graph $G$ is a subset of vertices that intersects every maximum independent set of $G$. Let ${\sf mmbs}(G)$ be the size of a maximum (inclusion-wise) minimal blocking set of $G$. This parameter has recently played an important role in the kernelization of Vertex Cover parameterized by the distance to a graph class ${\cal F}$. Indeed, it turns out that the existence of a polynomial kernel for this problem is closely related to the property that ${\sf mmbs}({\cal F})=\sup_{G \in {\cal F}}{\sf mmbs}(G)$ is bounded by a constant, and thus several recent results focused on determining ${\sf mmbs}({\cal F})$ for different classes ${\cal F}$. We consider the parameterized complexity of computing ${\sf mmbs}$ under various parameterizations, such as the size of a maximum independent set of the input graph and the natural parameter. We provide a panorama of the complexity of computing both ${\sf mmbs}$ and ${\sf mmhs}$, which is the size of a maximum minimal hitting set of a hypergraph, a closely related parameter. Finally, we consider the problem of computing ${\sf mmbs}$ parameterized by treewidth, especially relevant in the context of kernelization. Given the "counting" nature of ${\sf mmbs}$, it does not seem to be expressible in monadic second-order logic, hence its tractability does not follow from Courcelle's theorem. Our main technical contribution is a fixed-parameter tractable algorithm for this problem.


title: Throughput Maximization of Network-Coded and Multi-Level Cache-Enabled Heterogeneous Network

abstract: One of the paramount advantages of multi-level cache-enabled (MLCE) networks is pushing contents proximity to the network edge and proactively caching them at multiple transmitters (i.e., small base-stations (SBSs), unmanned aerial vehicles (UAVs), and cache-enabled device-to-device (CE-D2D) users). As such, the fronthaul congestion between a core network and a large number of transmitters is alleviated. For this objective, we exploit network coding (NC) to schedule a set of users to the same transmitter. Focusing on this, we consider the throughput maximization problem that optimizes jointly the network-coded user scheduling and power allocation, subject to fronthaul capacity, transmit power, and NC constraints. Given the intractability of the problem, we decouple it into two separate subproblems. In the first subproblem, we consider the network-coded user scheduling problem for the given power allocation, while in the second subproblem, we use the NC resulting user schedule to optimize the power levels. We design an innovative \textit{two-layered rate-aware NC (RA-IDNC)} graph to solve the first subproblem and evaluate the second subproblem using an iterative function evaluation (IFE) approach. Simulation results are presented to depict the throughput gain of the proposed approach over the existing solutions.


title: Symbolic Behaviour in Artificial Intelligence

abstract: The ability to use symbols is the pinnacle of human intelligence, but has yet to be fully replicated in machines. Here we argue that the path towards symbolically fluent artificial intelligence (AI) begins with a reinterpretation of what symbols are, how they come to exist, and how a system behaves when it uses them. We begin by offering an interpretation of symbols as entities whose meaning is established by convention. But crucially, something is a symbol only for those who demonstrably and actively participate in this convention. We then outline how this interpretation thematically unifies the behavioural traits humans exhibit when they use symbols. This motivates our proposal that the field place a greater emphasis on symbolic behaviour rather than particular computational mechanisms inspired by more restrictive interpretations of symbols. Finally, we suggest that AI research explore social and cultural engagement as a tool to develop the cognitive machinery necessary for symbolic behaviour to emerge. This approach will allow for AI to interpret something as symbolic on its own rather than simply manipulate things that are only symbols to human onlookers, and thus will ultimately lead to AI with more human-like symbolic fluency.


title: Energy-momentum tensor and effective Lagrangian of scalar QED with a nonminimal coupling in 2D de Sitter spacetime

abstract: We have studied the induced one-loop energy-momentum tensor of a massive complex scalar field within the framework of nonperturbative quantum electrodynamics (QED) with a uniform electric field background on the Poincar\'e patch of the two-dimensional de Sitter spacetime ($\mathrm{dS_{2}}$). We also consider a direct coupling the scalar field to the Ricci scalar curvature which is parameterized by an arbitrary dimensionless nonminimal coupling constant. We evaluate the trace anomaly of the induced energy-momentum tensor. We show that our results for the induced energy-momentum tensor in the zero electric field case, and the trace anomaly are in agreement with the existing literature. Furthermore, we construct the one-loop effective Lagrangian from the induced energy-momentum tensor.


title: Relativistic causality in particle detector models: Faster-than-light signalling and "Impossible measurements"

abstract: We analyze potential violations of causality in Unruh DeWitt-type detector models in relativistic quantum information. We proceed by first studying the relation between faster-than-light signaling and the causal factorization of the dynamics for multiple detector-field interactions. We show in what way spatially extended non-relativistic detector models predict superluminal propagation of the field's initial conditions. We draw parallels between this characteristic of detector models, stemming from their non-relativistic dynamics, and Sorkin's "impossible measurements on quantum fields" arXiv:gr-qc/9302018. Based on these features, we discuss the validity of measurements in QFT when performed with non-relativistic particle detectors.


title: A Simple Cooperative Diversity Method Based on Deep-Learning-Aided Relay Selection

abstract: Opportunistic relay selection (ORS) has been recognized as a simple but efficient method for mobile nodes to achieve cooperative diversity in slow fading channels. However, the wrong selection of the best relay arising from outdated channel state information (CSI) in fast time-varying channels substantially degrades its performance. With the proliferation of high-mobility applications and the adoption of higher frequency bands in 5G and beyond systems, the problem of outdated CSI will become more serious. Therefore, the design of a novel cooperative method that is applicable to not only slow fading but also fast fading is increasingly of importance. To this end, we develop and analyze a deep-learning-aided cooperative method coined predictive relay selection (PRS) in this article. It can remarkably improve the quality of CSI through fading channel prediction while retaining the simplicity of ORS by selecting a single opportunistic relay so as to avoid the complexity of multi-relay coordination and synchronization. Information-theoretic analysis and numerical results in terms of outage probability and channel capacity reveal that PRS achieves full diversity gain in slow fading wireless environments and substantially outperforms the existing schemes in fast fading channels.


title: Smart Auto Insurance: High Resolution, Dynamic, Privacy-Driven, Telematic Insurance

abstract: Data driven approaches to problem solving are, in many regards, the holy grail of evidence backed decision making. Using first-party empirical data to analyze behavior and establish predictions yields us the ability to base in-depth analyses on particular individuals and reduce our dependence on generalizations. Modern mobile and embedded devices provide a wealth of sensors and means for collecting and tracking individualized data. Applying these assets to the realm of insurance (which is a statistically backed endeavor at heart) is certainly nothing new; yet doing so in a way that is privacy-driven and secure has not been a central focus of implementers. Existing data-driven insurance technologies require a certain level of trust in the data tracking agency (i.e. insurer) to not misuse, mishandle, or over-collect user data. Smart contracts and blockchain technology provide us an opportunity to re-balance these systems such that the blockchain itself is a trusted agent which both insurers and the insured can confide in. We propose a "Smart Auto Insurance" system that minimizes data sharing while simultaneously providing quality-of-life improvements to both sides. Furthermore, we use a simple game theoretical argument to show that the clients using such a system are disincentivized from behaving adversarially.


title: Cosine Series Representation

abstract: This short paper is based on Chung et al. (2010), where the cosine series representation (CSR) is used in modeling the shape of white matter fiber tracts in diffusion tensor imaging(DTI) and Wang et al. (2018), where the method is used to denoise EEG. The proposed explicit analytic approach offers far superior flexibility in statistical modeling compared to the usual implicit Fourier transform methods such as the discrete cosine transforms often used in signal processing. The MATLAB codes and sample data can be obtained from http://brainimaging.waisman.wisc.edu/~chung/tracts.


title: Machine Learning in Precision Medicine to Preserve Privacy via Encryption

abstract: Precision medicine is an emerging approach for disease treatment and prevention that delivers personalized care to individual patients by considering their genetic makeups, medical histories, environments, and lifestyles. Despite the rapid advancement of precision medicine and its considerable promise, several underlying technological challenges remain unsolved. One such challenge of great importance is the security and privacy of precision health-related data, such as genomic data and electronic health records, which stifle collaboration and hamper the full potential of machine-learning (ML) algorithms. To preserve data privacy while providing ML solutions, this article makes three contributions. First, we propose a generic machine learning with encryption (MLE) framework, which we used to build an ML model that predicts cancer from one of the most recent comprehensive genomics datasets in the field. Second, our framework's prediction accuracy is slightly higher than that of the most recent studies conducted on the same dataset, yet it maintains the privacy of the patients' genomic data. Third, to facilitate the validation, reproduction, and extension of this work, we provide an open-source repository that contains the design and implementation of the framework, all the ML experiments and code, and the final predictive model deployed to a free cloud service.


title: Wave zone in the Ho\v{r}ava-Lifshitz theory at the kinetic-conformal point in the low energy regime

abstract: We show that in the Ho\v{r}ava-Lifshitz theory at the kinetic-conformal point, in the low energy regime, a wave zone for asymptotically flat fields can be consistently defined. In it, the physical degrees of freedom, the transverse traceless tensorial modes, satisfy a linear wave equation. The Newtonian contributions, among which there are terms which manifestly break the relativistic invariance, are non-trivial but do not obstruct the free propagation (radiation) of the physical degrees of freedom. For an appropriate value of the couplings of the theory, the wave equation becomes the relativistic one in agreement with the propagation of the gravitational radiation in the wave zone of General Relativity. Previously to the wave zone analysis, and in general grounds, we obtain the physical Hamiltonian of the Ho\v{r}ava-Lifshitz theory at the kinetic-conformal point in the constrained submanifold. We determine the canonical physical degrees of freedom in a particular coordinate system. They are well defined fuctions of the transverse-traceless modes of the metric and coincide with them in the wave zone and also at linearized level.


title: Optimal Investment and Consumption under a Habit-Formation Constraint

abstract: We formulate an infinite-horizon optimal investment and consumption problem, in which an individual forms a habit based on the exponentially weighted average of her past consumption rate, and in which she invests in a Black-Scholes market. The individual is constrained to consume at a rate higher than a certain proportion $\alpha$ of her consumption habit. Our habit-formation model allows for both addictive ($\alpha=1$) and nonaddictive ($0<\alpha<1$) habits. The optimal investment and consumption policies are derived explicitly in terms of the solution of a system of differential equations with free boundaries, which is analyzed in detail. If the wealth-to-habit ratio is below (resp. above) a critical level $x^*$, the individual consumes at (resp. above) the minimum rate and invests more (resp. less) aggressively in the risky asset. Numerical results show that the addictive habit formation requires significantly more wealth to support the same consumption rate compared to a moderately nonaddictive habit. Furthermore, an individual with a more addictive habit invests less in the risky asset compared to an individual with a less addictive habit but with the same wealth-to-habit ratio and risk aversion, which provides an explanation for the equity-premium puzzle.


title: Multi-state MRAM cells for hardware neuromorphic computing

abstract: Magnetic tunnel junctions (MTJ) have been successfully applied in various sensing application and digital information storage technologies. Currently, a number of new potential applications of MTJs are being actively studied, including high-frequency electronics, energy harvesting or random number generators. Recently, MTJs have been also proposed in designs of a new platforms for unconventional or bio-inspired computing. In the present work, it is shown that serially connected MTJs forming a multi-state memory cell can be used in a hardware implementation of a neural computing device. A behavioral model of the multi-cell is proposed based on the experimentally determined MTJ parameters. The main purpose of the mutli-cell is the formation of the quantized weights of the network, which can be programmed using the proposed electronic circuit. Mutli-cells are connected to CMOS-based summing amplifier and sigmoid function generator, forming an artificial neuron. The operation of the designed network is tested using a recognition of the hand-written digits in 20x20 pixel matrix and shows detection ratio comparable to the software algorithm, using the weight stored in a multi-cell consisting of four MTJs or more.


title: Multiple Phase Transitions for an Infinite System of Spiking Neurons

abstract: We consider a stochastic model describing the spiking activity of a countable set of neurons spatially organized into a homogeneous tree of degree $d$, $d \geq 2$; the degree of a neuron is just the number of connections it has. Roughly, the model is as follows. Each neuron is represented by its membrane potential, which takes non-negative integer values. Neurons spike at Poisson rate 1, provided they have strictly positive membrane potential. When a spike occurs, the potential of the spiking neuron changes to 0, and all neurons connected to it receive a positive amount of potential. Moreover, between successive spikes and without receiving any spiking inputs from other neurons, each neuron's potential behaves independently as a pure death process with death rate $\gamma \geq 0$. In this article, we show that if the number $d$ of connections is large enough, then the process exhibits at least two phase transitions depending on the choice of rate $\gamma$: For large values of $\gamma$, the neural spiking activity almost surely goes extinct; For small values of $\gamma$, a fixed neuron spikes infinitely many times with a positive probability, and for "intermediate" values of $\gamma$, the system has a positive probability of always presenting spiking activity, but, individually, each neuron eventually stops spiking and remains at rest forever.


title: Reward Design in Risk-Taking Contests

abstract: Following the risk-taking model of Seel and Strack, $n$ players decide when to stop privately observed Brownian motions with drift and absorption at zero. They are then ranked according to their level of stopping and paid a rank-dependent reward. We study the problem of a principal who aims to induce a desirable equilibrium performance of the players by choosing how much reward is attributed to each rank. Specifically, we determine optimal reward schemes for principals interested in the average performance and the performance at a given rank. While the former can be related to reward inequality in the Lorenz sense, the latter can have a surprising shape.


title: Formation of Ultra-High-Resistance Au/Ti/p-GaN Junctions and the Applications in AlGaN/GaN HEMTs

abstract: We report a dramatic current reduction, or a resistance increase, by a few orders of magnitude of two common-anode Au/Ti/pGaN Schottky junctions annealed within a certain annealing condition window (600 - 700 oC, 1 - 4 min). Results from similar common-anode Schottky junctions made of Au/p-GaN, Al/Ti/p-GaN and Au/Ti/graphene/p-GaN junctions demonstrated that all the three layers (Au, Ti and p-GaN) are essential for the increased resistance. Raman characterization of the p-GaN showed a decrease of the Mg-N bonding, i.e., the deactivation of Mg, which is consistent with the Hall measurement results. Moreover, this high-resistance junction structure was employed in p-GaN gate AlGaN/GaN HEMTs. It was shown to be an effective gate technology that was capable to boost the gate breakdown voltage from 9.9 V to 13.8 V with a negligible effect on the threshold voltage or the sub-threshold slope.


title: Exploring the Limits of Few-Shot Link Prediction in Knowledge Graphs

abstract: Real-world knowledge graphs are often characterized by low-frequency relations - a challenge that has prompted an increasing interest in few-shot link prediction methods. These methods perform link prediction for a set of new relations, unseen during training, given only a few example facts of each relation at test time. In this work, we perform a systematic study on a spectrum of models derived by generalizing the current state of the art for few-shot link prediction, with the goal of probing the limits of learning in this few-shot setting. We find that a simple zero-shot baseline - which ignores any relation-specific information - achieves surprisingly strong performance. Moreover, experiments on carefully crafted synthetic datasets show that having only a few examples of a relation fundamentally limits models from using fine-grained structural information and only allows for exploiting the coarse-grained positional information of entities. Together, our findings challenge the implicit assumptions and inductive biases of prior work and highlight new directions for research in this area.


title: Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

abstract: Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming available to engineers.


title: Arithmetic local constants for abelian varieties with extra endomorphisms

abstract: This work generalizes the theory of arithmetic local constants, introduced by Mazur and Rubin, to better address abelian varieties with a larger endomorphism ring than $\mathbb{Z}$. We then study the growth of the $p^\infty$-Selmer rank of our abelian variety, and we address the problem of extending the results of Mazur and Rubin to dihedral towers $k\subset K\subset F$ in which $[F:K]$ is not a $p$-power extension.


title: Mechanistic models of cell-fate transitions from single-cell data

abstract: Our knowledge of how individual cells self-organize to form complex multicellular systems is being revolutionized by a data outburst, coming from high-throughput experimental breakthroughs such as single-cell RNA sequencing and spatially resolved single-molecule FISH. This information is starting to be leveraged by machine learning approaches that are helping us establish a census and timeline of cell types in developing organisms, shedding light on how biochemistry regulates cell-fate decisions. In parallel, imaging tools such as light-sheet microscopy are revealing how cells self-assemble in space and time as the organism forms, thereby elucidating the role of cell mechanics in development. Here we argue that mathematical modeling can bring together these two perspectives, by enabling us to test hypotheses about specific mechanisms, which can be further validated experimentally. We review the recent literature on this subject, focusing on representative examples that use modeling to better understand how single-cell behavior shapes multicellular organisms.


title: Majorana Bound States Induced by Antiferromagnetic Skyrmion Textures

abstract: Majorana bound states are zero-energy states predicted to emerge in topological superconductors and intense efforts seeking a definitive proof of their observation are still ongoing. A standard route to realize them involves antagonistic orders: a superconductor in proximity to a ferromagnet. Here we show this issue can be resolved using antiferromagnetic rather than ferromagnetic order. We propose to use a chain of antiferromagnetic skyrmions, in an otherwise collinear antiferromagnet, coupled to a bulk conventional superconductor as a novel platform capable of supporting Majorana bound states that are robust against disorder. Crucially, the collinear antiferromagnetic region neither suppresses superconductivity nor induces topological superconductivity, thus allowing for Majorana bound states localized at the ends of the chain. Our model introduces a new class of systems where topological superconductivity can be induced by editing antiferromagnetic textures rather than locally tuning material parameters, opening avenues for the conclusive observation of Majorana bound states.


title: Learning Audio-Visual Correlations from Variational Cross-Modal Generation

abstract: People can easily imagine the potential sound while seeing an event. This natural synchronization between audio and visual signals reveals their intrinsic correlations. To this end, we propose to learn the audio-visual correlations from the perspective of cross-modal generation in a self-supervised manner, the learned correlations can be then readily applied in multiple downstream tasks such as the audio-visual cross-modal localization and retrieval. We introduce a novel Variational AutoEncoder (VAE) framework that consists of Multiple encoders and a Shared decoder (MS-VAE) with an additional Wasserstein distance constraint to tackle the problem. Extensive experiments demonstrate that the optimized latent representation of the proposed MS-VAE can effectively learn the audio-visual correlations and can be readily applied in multiple audio-visual downstream tasks to achieve competitive performance even without any given label information during training.


title: Penetration depth of Cooper pairs in the IrMn antiferromagnet

abstract: Suppression of superconductivity due to the proximity effect between a superconductor and a ferromagnet can be partially alleviated when a Cooper pair simultaneously samples different directions of the short-range exchange field. The superconductor's critical temperature, TC, is therefore expected to partially recover when the ferromagnet is in a multi-domain state, as opposed to a single-domain state. Here, we discuss series of experiments performed with ferromagnet(Pt/Co)/spacer(IrMn and Pt)/superconductor(NbN) heterostructures. By tuning the various parameters in play, e.g., superconducting coherence length-to-thicknesses ratio, and domain sizes, we obtained up to 10 percent recovery of the superconducting critical temperature {\Delta}TC/TC. This large-scale recovery made novel investigations possible. In particular, from the spacer thickness-dependence of {\Delta}TC/TC, it was possible to deduce the characteristic length for Cooper pair penetration in an IrMn antiferromagnet. This information is crucial for electronic transport, and up to now has been difficult to access experimentally for antiferromagnets.


title: Discrete Max-Linear Bayesian Networks

abstract: Discrete max-linear Bayesian networks are directed graphical models specified by the same recursive structural equations as max-linear models but with discrete innovations. When all of the random variables in the model are binary, these models are isomorphic to the conjunctive Bayesian network (CBN) models of Beerenwinkel, Eriksson, and Sturmfels. Many of the techniques used to study CBN models can be extended to discrete max-linear models and similar results can be obtained. In particular, we extend the fact that CBN models are toric varieties after linear change of coordinates to all discrete max-linear models.


title: Observable Predictions from Perturber-coupled High-eccentricity Tidal Migration of Warm Jupiters

abstract: The origin of warm Jupiters (gas giant planets with periods between 10 and 200 days) is an open question in exoplanet formation and evolution. We investigate a particular migration theory in which a warm Jupiter is coupled to a perturbing companion planet that excites secular eccentricity oscillations in the warm Jupiter, leading to periodic close stellar passages that can tidally shrink and circularize its orbit. If such companions exist in warm Jupiter systems, they are likely to be massive and close-in, making them potentially detectable. We generate a set of warm Jupiter-perturber populations capable of engaging in high-eccentricity tidal migration and calculate the detectability of the perturbers through a variety of observational metrics. We show that a small percentage of these perturbers should be detectable in the Kepler light curves, but most should be detectable with precise radial velocity measurements over a 3-month baseline and Gaia astrometry. We find these results to be robust to the assumptions made for the perturber parameter distributions. If a high-precision radial velocity search for companions to warm Jupiters does not find evidence of a significant number of massive companions over a 3-month baseline, it will suggest that perturber-coupled high-eccentricity migration is not the predominant delivery method for warm Jupiters.


title: Gridded UAV Swarm for Secrecy Rate Maximization with Unknown Eavesdropper

abstract: This paper considers grid formation of an unmanned aerial vehicle (UAV) swarm for maximizing the secrecy rate in the presence of an unknown eavesdropper. In particular, the UAV swarm performs coordinated beamforming onto the null space of the legitimate channel to jam the eavesdropper located at an unknown location. By nulling the channel between the legitimate receiver and the UAV swarm, we obtain an optimal trajectory and jamming power allocation for each UAV enabling wideband single ray beamforming to improve the secrecy rate. Results obtained demonstrate the effectiveness of the proposed UAV-aided jamming scheme as well as the optimal number of UAVs in the swarm necessary to observe a saturation effect in the secrecy rate. We also show the optimal radius of the unknown but constrained location of the eavesdropper.


title: A Network Based Approach to Characterize Twenty-First-Century Populism in Colombia

abstract: Populism is a political phenomenon of democratic illiberalism centered on the figure of a strong leader. By modeling person/node connections of prominent figures of the recent Colombian political landscape we map, quantify, and analyze the position and influence of Alvaro Uribe as a populist leader. We found that Uribe is a central hub in the political alliances networks, cutting through traditional party alliances, . but is not the most central figure in the state machinery. The article first presents the framing of the problem, followed by the historical context of the case in study, the methodology employed and data collection, analysis, conclusions and further research paths. This study has implications for offering a new way of applying quantitative methods to the studies of populist regimes


title: Pointing out the Convolution Problem of Stochastic Aggregation Methods for the Determination of Flexibility Potentials at Vertical System Interconnections

abstract: The increase of generation capacity in the area of responsibility of the distribution system operator (DSO) requires strengthening of coordination between transmission system operator (TSO) and DSO in order to prevent conflicting or counteracting use of flexibility options. For this purpose, methods for the standardized description and identification of the aggregated flexibility potential of distribution grids (DGs) are developed. Approaches for identifying the feasible operation region (FOR) of DGs can be categorized into two main classes: Data-driven/stochastic approaches and optimization based approaches. While the latter have the advantage of working in real-world scenarios where no full grid models exist, when relying on naive sampling strategies, they suffer from poor coverage of the edges of the FOR. To underpin the need for improved sampling strategies for data-driven approaches, in this paper we point out and analyse the shortcomings of naive sampling strategies with focus on the problem of leptocurtic distribution of resulting interconnection power flows (IPFs). We refer to this problem as convolution problem, as it can be traced back to the fact that the probability density function (PDF) of the sum of two or more independent random variables is the convolution of their respective PDFs. To demonstrate the convolution problem, we construct a series of synthetic 0.4 kV feeders, which are characterized by an increasing number of nodes and apply a sampling strategy to them that draws set-values for the controllable distributed energy resources (DERs) from independent uniform distributions. By calculating the power flow for each sample in each feeder, we end up with a collapsing IPF point cloud clearly indicating the convolution problem.


title: Invariants for level-1 phylogenetic networks under the Cavendar-Farris-Neyman Model

abstract: Phylogenetic networks can model more complicated evolutionary phenomena that trees fail to capture such as horizontal gene transfer and hybridization. The same Markov models that are used to model evolution on trees can also be extended to networks and similar questions, such as the identifiability of the network parameter or the invariants of the model, can be asked. In this paper we focus on finding the invariants of the Cavendar-Farris-Neyman (CFN) model on level-1 phylogenetic networks. We do this by reducing the problem to finding invariants of sunlet networks, which are level-1 networks consisting of a single cycle with leaves at each vertex. We then determine all quadratic invariants in the sunlet network ideal which we conjecture generate the full ideal.


title: Advanced Stationary and Non-Stationary Kernel Designs for Domain-Aware Gaussian Processes

abstract: Gaussian process regression is a widely-applied method for function approximation and uncertainty quantification. The technique has gained popularity recently in the machine learning community due to its robustness and interpretability. The mathematical methods we discuss in this paper are an extension of the Gaussian-process framework. We are proposing advanced kernel designs that only allow for functions with certain desirable characteristics to be elements of the reproducing kernel Hilbert space (RKHS) that underlies all kernel methods and serves as the sample space for Gaussian process regression. These desirable characteristics reflect the underlying physics; two obvious examples are symmetry and periodicity constraints. In addition, non-stationary kernel designs can be defined in the same framework to yield flexible multi-task Gaussian processes. We will show the impact of advanced kernel designs on Gaussian processes using several synthetic and two scientific data sets. The results show that including domain knowledge, communicated through advanced kernel designs, has a significant impact on the accuracy and relevance of the function approximation.


title: Cyanogen, cyanoacetylene, and acetonitrile in comet 67P and their relationship to the cyano radical

abstract: The cyano radical (CN) is one of the most frequently remotely observed species in space, also in comets. Data from the high-resolution Double Focusing Mass Spectrometer (DFMS) on board the Rosetta orbiter, collected in the inner coma of comet 67P/Churyumov-Gerasimenko, revealed an unexpected chemical complexity, and, recently, also more CN than expected from photodissociation of its most likely parent hydrogen cyanide (HCN). This work is dedicated to the derivation of abundances relative to HCN of three cometary nitriles (including structural isomers) from DFMS data. Mass spectrometry of complex mixtures does not always allow distinction of structural isomers. We assumed the most stable and most abundant (in similar environments) structure in our analysis, that is HCN for CHN, CH3CN for C2H3N, HC3N for C3HN, and NCCN for C2N2. For cyanoacetylene (HC3N) and acetonitrile (CH3CN) the complete mission timeline was evaluated, while cyanogen (NCCN) often was below detection limit. By carefully selecting periods where cyanogen was above detection limit, we were able to follow the abundance ratio between NCCN and HCN from 3.16 au inbound to 3.42 au outbound. These are the first measurements of NCCN in a comet.We find that neither NCCN, nor any of the other two nitriles, is sufficiently abundant to be a relevant alternative parent to CN.


title: Exploring the Subgraph Density-Size Trade-off via the Lov\'asz Extension

abstract: Given an undirected graph, the Densest-k-Subgraph problem (DkS) seeks to find a subset of k vertices such that the sum of the edge weights in the corresponding subgraph is maximized. The problem is known to be NP-hard, and is also very difficult to approximate, in the worst-case. In this paper, we present a new convex relaxation for the problem. Our key idea is to reformulate DkS as minimizing a submodular function subject to a cardinality constraint. Exploiting the fact that submodular functions possess a convex, continuous extension (known as the Lov\'asz extension), we propose to minimize the Lov\'asz extension over the convex hull of the cardinality constraints. Although the Lov\'asz extension of a submodular function does not admit an analytical form in general, for DkS we show that it does. We leverage this result to develop a highly scalable algorithm based on the Alternating Direction Method of Multipliers (ADMM) for solving the relaxed problem. Coupled with a pair of fortuitously simple rounding schemes, we demonstrate that our approach outperforms existing baselines on real-world graphs and can yield high quality sub-optimal solutions which typically are a posteriori no worse than 65-80\% of the optimal density.


title: Prym curves with a vanishing theta-null

abstract: If the theta-null divisor $\Theta_{\rm null}$ is moved to the Prym moduli space through the diagram $\mathcal{S}_{g}^{+}\rightarrow\mathcal{M}_{g}\leftarrow\mathcal{R}_{g}$, it splits into two irreducible components $\mathcal{P}_{\rm\! null}^{+}$ and $\mathcal{P}_{\rm\! null}^{-}$. Using test curve techniques, we compute the class of the closure of each of these components in terms of the generating classes of $\mathrm{Pic}(\overline{\mathcal{R}}_{g})_{\mathbb{Q}}$.


title: Non-rationalizable Individuals, Stochastic Rationalizability, and Sampling

abstract: Experimental work regularly finds that individual choices are not deterministically rationalized by well-defined preferences. Nonetheless, recent work shows that data collected from many individuals can be stochastically rationalized by a distribution of well-defined preferences. We study the relationship between deterministic and stochastic rationalizability. We show that a population can be stochastically rationalized even when half of the individuals in the population cannot be deterministically rationalized. We also find the ability to detect individuals who are not deterministically rationalized from population level data can decrease as the number of observations increases.


title: Forward sensitivity analysis of the FitzHugh-Nagumo system: Parameter estimation

abstract: The FitzHugh-Nagumo (FHN) model, from computational neuroscience, has attracted attention in nonlinear dynamics studies as it describes the behavior of excitable systems and exhibits interesting bifurcation properties. The accurate estimation of the model parameters is vital to understand how the solution trajectory evolves in time. To this end, we provide a forward sensitivity method (FSM) approach to quantify the main model parameters using sparse measurement data. FSM constitutes a variational data assimilation technique which integrates model sensitivities into the process of fitting the model to the observations. We analyse the applicability of FSM to update the FHN model parameters and predict its dynamical characteristics. Furthermore, we highlight a few guidelines for observations placement to control the shape of the cost functional and improve the parameter inference iterations.


title: Collective dynamics in the presence of finite-width pulses

abstract: The idealisation of neuronal pulses as $\delta$-spikes is a convenient approach in neuroscience but can sometimes lead to erroneous conclusions. We investigate the effect of a finite pulse-width on the dynamics of balanced neuronal networks. In particular, we study two populations of identical excitatory and inhibitory neurons in a random network of phase oscillators coupled through exponential pulses with different widths. We consider three coupling functions, inspired by leaky integrate-and-fire neurons with delay and type-I phase-response curves. By exploring the role of the pulse-widths for different coupling strengths we find a robust collective irregular dynamics, which collapses onto a fully synchronous regime if the inhibitory pulses are sufficiently wider than the excitatory ones. The transition to synchrony is accompanied by hysteretic phenomena (i.e. the co-existence of collective irregular and synchronous dynamics). Our numerical results are supported by a detailed scaling and stability analysis of the fully synchronous solution. A conjectured first-order phase transition emerging for $\delta$-spikes is smoothed out for finite-width pulses.


title: Single Active Ring Model

abstract: Cellular tissue behavior is a multiscale problem. At the cell level, out of equilibrium, biochemical reactions drive physical cell-cell interactions in a typical active matter process. Cell modeling computer simulations are a robust tool to explore the countless possibilities and test hypotheses. Here, we introduce a two dimensional, extended active matter model for biological cells. A ring of interconnected self-propelled particles represents the cell. Translational modes, rotational modes, and mixtures of these appear as collective states. Using analytic results derived from active Brownian particles, we identify effective characteristic time scales for ballistic and diffusive movements. Finite-size scale investigation shows that the ring diffusion increases linearly with its size when in collective movement. A study on the ring shape reveals that all collective states are present even when bending forces are weak. In that case, when in translational mode, the collective velocity aligns with the largest ring's direction in a spontaneous polarization emergence.


title: Asymptotic Stability of a Compressible Oseen-Structure Interaction via a Pointwise Resolvent Criterion

abstract: In this study, we consider a linearized compressible flow structure interaction PDE model for which the interaction interface is under the effect of material derivative term. While the linearization takes place around a constant pressure and density components in structure equation, the flow linearization is taken with respect to a non-zero, fixed, variable ambient vector field. This process produces extra "convective derivative" and "material derivative" terms which causes the coupled system to be nondissipative. We analyze the long time dynamics in the sense of asymptotic (strong) stability in an invariant subspace (one dimensional less) of the entire state space where the continuous semigroup is "\textit{uniformly bounded}". For this, we appeal to the pointwise resolvent condition introduced in \cite% {CT} which avoids many technical complexity and provides a very clean, short and easy-to-follow proof.


title: Generalized WKB theory for electron tunneling in gapped $\alpha-\mathcal{T}_3$ lattices

abstract: We generalize Wentzel-Kramers-Brillouin (WKB) semi-classical equations for pseudospin-1 $\alpha-\mathcal{T}_3$ materials with arbitrary hopping parameter $0 < \alpha < 1$, which includes the dice lattice and graphene as two limiting cases. In conjunction with a series-expansion method in powers of Planck constant $\hbar$, we acquired and solved a system of recurrent differential equations for semi-classical electron wave functions in $\alpha-\mathcal{T}_3$. Making use of these obtained wave functions, we analyzed the physics-related mechanism and quantified the transmission of pseudospin-1 Dirac electrons across non-rectangular potential barriers in $\alpha-\mathcal{T}_3$ materials with both zero and finite band gaps. Our studies reveal several unique features, including the way in which the electron transmission depends on the energy gap, the slope of the potential barrier profile and the transverse momentum of incoming electrons. Specifically, we have found a strong dependence of the obtained transmission amplitude on the geometry-phase $\phi = \tan^{-1} \alpha$ of $\alpha-\mathcal{T}_3$ lattices. We believe our current findings can be applied to Dirac cone-based tunneling transistors in ultrafast analog RF devices, as well as to tunneling-current control by a potential barrier through a one-dimensional array of scatters.


title: Custom Object Detection via Multi-Camera Self-Supervised Learning

abstract: This paper proposes MCSSL, a self-supervised learning approach for building custom object detection models in multi-camera networks. MCSSL associates bounding boxes between cameras with overlapping fields of view by leveraging epipolar geometry and state-of-the-art tracking and reID algorithms, and prudently generates two sets of pseudo-labels to fine-tune backbone and detection networks respectively in an object detection model. To train effectively on pseudo-labels,a powerful reID-like pretext task with consistency loss is constructed for model customization. Our evaluation shows that compared with legacy selftraining methods, MCSSL improves average mAP by 5.44% and 6.76% on WildTrack and CityFlow dataset, respectively.


title: LION: Lidar-Inertial Observability-Aware Navigator for Vision-Denied Environments

abstract: State estimation for robots navigating in GPS-denied and perceptually-degraded environments, such as underground tunnels, mines and planetary subsurface voids, remains challenging in robotics. Towards this goal, we present LION (Lidar-Inertial Observability-Aware Navigator), which is part of the state estimation framework developed by the team CoSTAR for the DARPA Subterranean Challenge, where the team achieved second and first places in the Tunnel and Urban circuits in August 2019 and February 2020, respectively. LION provides high-rate odometry estimates by fusing high-frequency inertial data from an IMU and low-rate relative pose estimates from a lidar via a fixed-lag sliding window smoother. LION does not require knowledge of relative positioning between lidar and IMU, as the extrinsic calibration is estimated online. In addition, LION is able to self-assess its performance using an observability metric that evaluates whether the pose estimate is geometrically ill-constrained. Odometry and confidence estimates are used by HeRO, a supervisory algorithm that provides robust estimates by switching between different odometry sources. In this paper we benchmark the performance of LION in perceptually-degraded subterranean environments, demonstrating its high technology readiness level for deployment in the field.


title: Scalable Robust Graph and Feature Extraction for Arbitrary Vessel Networks in Large Volumetric Datasets

abstract: Recent advances in 3D imaging technologies provide novel insights to researchers and reveal finer and more detail of examined specimen, especially in the biomedical domain, but also impose huge challenges regarding scalability for automated analysis algorithms due to rapidly increasing dataset sizes. In particular, existing research towards automated vessel network analysis does not consider memory requirements of proposed algorithms and often generates a large number of spurious branches for structures consisting of many voxels. Additionally, very often these algorithms have further restrictions such as the limitation to tree topologies or relying on the properties of specific image modalities. We present a scalable pipeline (in terms of computational cost, required main memory and robustness) that extracts an annotated abstract graph representation from the foreground segmentation of vessel networks of arbitrary topology and vessel shape. Only a single, dimensionless, a-priori determinable parameter is required. By careful engineering of individual pipeline stages and a novel iterative refinement scheme we are, for the first time, able to analyze the topology of volumes of roughly 1TB on commodity hardware. An implementation of the presented pipeline is publicly available in version 5.1 of the volume rendering and processing engine Voreen (https://www.uni-muenster.de/Voreen/).


title: A new approach to separation of variables for the Clebsch integrable system. Part I: Reduction to quadratures

abstract: This is the first part of a two-part paper describing a new concept of separation of variables applied to the Clebsch integrable case of the Kirchhoff equations. There are two principal novelties: 1) Separating coordinates are constructed (not guessed) by solving the Kowalewski separability conditions. 2) The quadratures represent an apparently new generalization of the standard Jacobi inversion problem of algebraic geometry. Part I explains the Kowalewski separability conditions and their implementation to the Clebsch case. It is shown that the new separating coordinates lead to quadratures involving Abelian differentials on two different non-hyperelliptic curves (of genus higher than the dimension of the invariant tori). In Part II these quadratures are interpreted as a new generalization of the standard Abel--Jacobi map, and a procedure of its inversion in terms of theta-functions is worked out. The theta-function solution is different from that found long time ago by F. K\"otter, since the theta-functions used in this paper have different period matrix.


title: A Bayesian method for point source polarization estimation

abstract: The estimation of the polarization $P$ of extragalactic compact sources in Cosmic Microwave Background images is a very important task in order to clean these images for cosmological purposes -- as, for example, to constrain the tensor-to-scalar ratio of primordial fluctuations during inflation -- and also to obtain relevant astrophysical information about the compact sources themselves in a frequency range, $\nu \sim 10$--$200$ GHz, where observations have only very recently started to be available. In this paper we propose a Bayesian maximum a posteriori (MAP) approach estimation scheme which incorporates prior information about the distribution of the polarization fraction of extragalactic compact sources between 1 and 100 GHz. We apply this Bayesian scheme to white noise simulations and to more realistic simulations that include CMB intensity, Galactic foregrounds and instrumental noise with the characteristics of the QUIJOTE experiment Wide Survey at 11 GHz. Using these simulations, we also compare our Bayesian method with the frequentist Filtered Fusion method that has been already used in WMAP data and in the \emph{Planck} mission. We find that the Bayesian method allows us to decrease the threshold for a feasible estimation of $P$ to levels below $\sim 100$ mJy (as compared to $\sim 500$ mJy that was the equivalent threshold for the frequentist Filtered Fusion). We compare the bias introduced by the Bayesian method and find it to be small in absolute terms. Finally, we test the robustness of the Bayesian estimator against uncertainties in the prior and in the flux density of the sources. We find that the Bayesian estimator is robust against moderate changes in the parameters of the prior and almost insensitive to realistic errors in the estimated photometry of the sources.


title: Weakly Separated Bessel Systems of Model Spaces

abstract: We show that any weakly separated Bessel system of model spaces in the Hardy space on the unit disc is a Riesz system and we highlight some applications to interpolating sequences of matrices. This will be done without using the recent solution of the Feichtinger conjecture, whose natural generalization to multi-dimensional model sub-spaces of $\mathrm{H}^2$ turns out to be false.


title: Federated Reconstruction: Partially Local Federated Learning

abstract: Personalization methods in federated learning aim to balance the benefits of federated and local training for data availability, communication cost, and robustness to client heterogeneity. Approaches that require clients to communicate all model parameters can be undesirable due to privacy and communication constraints. Other approaches require always-available or stateful clients, impractical in large-scale cross-device settings. We introduce Federated Reconstruction, the first model-agnostic framework for partially local federated learning suitable for training and inference at scale. We motivate the framework via a connection to model-agnostic meta learning, empirically demonstrate its performance over existing approaches for collaborative filtering and next word prediction, and release an open-source library for evaluating approaches in this setting. We also describe the successful deployment of this approach at scale for federated collaborative filtering in a mobile keyboard application.


title: Fibration structure for Gromov h-principle

abstract: The h-principle is a powerful tool for obtaining solutions to partial differential inequalities and partial differential equations. Gromov discovered the h-principle for the general partial differential relations to generalize the results of Hirsch and Smale. In his book, Gromov generalizes his theorem and discusses the sheaf theoretic h-principle, in which an object called a flexible sheaf plays an important role. We show that a flexible sheaf can be interpreted as a fibrant object with respect to a model structure.


title: Wasserstein Graph Neural Networks for Graphs with Missing Attributes

abstract: Missing node attributes is a common problem in real-world graphs. Graph neural networks have been demonstrated power in graph representation learning while their performance is affected by the completeness of graph information. Most of them are not specified for missing-attribute graphs and fail to leverage incomplete attribute information effectively. In this paper, we propose an innovative node representation learning framework, Wasserstein Graph Neural Network (WGNN), to mitigate the problem. To make the most of limited observed attribute information and capture the uncertainty caused by missing values, we express nodes as low-dimensional distributions derived from the decomposition of the attribute matrix. Furthermore, we strengthen the expressiveness of representations by developing a novel message passing schema that aggregates distributional information from neighbors in the Wasserstein space. We test WGNN in node classification tasks under two missing-attribute cases on both synthetic and real-world datasets. In addition, we find WGNN suitable to recover missing values and adapt them to tackle matrix completion problems with graphs of users and items. Experimental results on both tasks demonstrate the superiority of our method.


title: On primitive Pythagorean triples of special forms

abstract: We explore primitive Pythagorean triples of special forms $(a,b,b+g)$ and $(a,a+f,c)$, with $g,f\in\mathbb{Z}^+$. For each $g$ and $f$, we provide a method to generate infinitely many such primitive triples. Lastly, for each $g$, we describe the asymptotic density of primitive $(a,b,b+g)$ triples within all primitive triples of the same parity.


title: Cross sections for neutron-induced reactions from surrogate data: revisiting the Weisskopf-Ewing approximation for $(n,n^{\prime})$ and $(n,2n)$ reactions

abstract: Earlier work has demonstrated that cross sections for neutron-induced fission and radiative neutron capture can be determined from a combination of surrogate reaction data and theory. For the fission case, it was shown that Weisskopf-Ewing approximation, which significantly simplifies the implementation of the surrogate method, can be employed. Capture cross sections cannot be obtained, and require a detailed description of the surrogate reaction process. In this paper we examine the validity of the Weisskopf-Ewing approximation for determining unknown $(n,n^{\prime})$ and $(n,2n)$ cross sections from surrogate data. We find that peak cross sections can be estimated using the Weisskopf-Ewing approximation, but the shape of the $(n,n^{\prime})$ and $(n,2n)$ cross sections, especially for low neutron energies, cannot be reliably determined without accounting for the angular-momentum differences between the neutron-induced and surrogate reaction. To obtain reliable $(n,n^{\prime})$ and $(n,2n)$ cross sections from surrogate reaction data, a detailed description of the surrogate reaction mechanisms is required. To do so for the compound-nucleus energies and decay channels relevant to these reactions, it becomes necessary to extend current modeling capabilities.


title: Collision Prediction and Prevention in Contact Sports Using RFID tags and Haptic Feedback

abstract: American football is a leading sport for contact-related injuries such as cervical spine injuries, some of which result from an unforeseen hit. The use of a feedback mechanism to alert an athlete of a potential hit may mitigate the risk for sport-related concussion and catastrophic injury by allowing athletes to effectively brace for an otherwise unforeseen impact. In this project, we created a proximity sensor system using radio frequency identification (RFID) technology to send haptic feedback to the wearer before a potential impact. Our pilot test consisted of three participants who wore our novel sensor system, who ran simulated routes to represent player-to-player contact. Additionally, we used simulated data from a Network Live Football (NFL) league game to further validate our contact prediction algorithm. Results show that our method can predict players' collisions with less than 14% false-alarms.


title: The Sizes and Albedos of Centaurs 2014 YY $_{49}$ and 2013 NL $_{24}$ from Stellar Occultation Measurements by RECON

abstract: In 2019, the Research and Education Collaborative Occultation Network (RECON) obtained multiple-chord occultation measurements of two centaur objects: 2014 YY$_{49}$ on 2019 January 28 and 2013 NL$_{24}$ on 2019 September 4. RECON is a citizen-science telescope network designed to observe high-uncertainty occultations by outer solar system objects. Adopting circular models for the object profiles, we derive a radius $r=16^{+2}_{-1}$km and a geometric albedo $p_V=0.13^{+0.015}_{-0.024}$ for 2014 YY$_{49}$, and a radius $r=66 ^{+5}_{-5}$km and geometric albedo $p_V = 0.045^{+0.006}_{-0.008}$ for 2013 NL$_{24}$. To the precision of these measurements, no atmosphere or rings are detected for either object. The two objects measured here are among the smallest distant objects measured with the stellar occultation technique. In addition to these geometric constraints, the occultation measurements provide astrometric constraints for these two centaurs at a higher precision than has been feasible by direct imaging. To supplement the occultation results, we also present an analysis of color photometry from the Pan-STARRS surveys to constrain the rotational light curve amplitudes and spectral colors of these two centaurs. We recommend that future work focus on photometry to more deliberately constrain the objects' colors and light curve amplitudes, and on follow-on occultation efforts informed by this astrometry.


title: The Maximum Exposure Problem

abstract: Given a set of points $P$ and axis-aligned rectangles $\mathcal{R}$ in the plane, a point $p \in P$ is called \emph{exposed} if it lies outside all rectangles in $\mathcal{R}$. In the \emph{max-exposure problem}, given an integer parameter $k$, we want to delete $k$ rectangles from $\mathcal{R}$ so as to maximize the number of exposed points. We show that the problem is NP-hard and assuming plausible complexity conjectures is also hard to approximate even when rectangles in $\mathcal{R}$ are translates of two fixed rectangles. However, if $\mathcal{R}$ only consists of translates of a single rectangle, we present a polynomial-time approximation scheme. For range space defined by general rectangles, we present a simple $O(k)$ bicriteria approximation algorithm; that is by deleting $O(k^2)$ rectangles, we can expose at least $\Omega(1/k)$ of the optimal number of points.


title: BinaryCoP: Binary Neural Network-based COVID-19 Face-Mask Wear and Positioning Predictor on Edge Devices

abstract: Face masks have long been used in many areas of everyday life to protect against the inhalation of hazardous fumes and particles. They also offer an effective solution in healthcare for bi-directional protection against air-borne diseases. Wearing and positioning the mask correctly is essential for its function. Convolutional neural networks (CNNs) offer an excellent solution for face recognition and classification of correct mask wearing and positioning. In the context of the ongoing COVID-19 pandemic, such algorithms can be used at entrances to corporate buildings, airports, shopping areas, and other indoor locations, to mitigate the spread of the virus. These application scenarios impose major challenges to the underlying compute platform. The inference hardware must be cheap, small and energy efficient, while providing sufficient memory and compute power to execute accurate CNNs at a reasonably low latency. To maintain data privacy of the public, all processing must remain on the edge-device, without any communication with cloud servers. To address these challenges, we present a low-power binary neural network classifier for correct facial-mask wear and positioning. The classification task is implemented on an embedded FPGA, performing high-throughput binary operations. Classification can take place at up to ~6400 frames-per-second, easily enabling multi-camera, speed-gate settings or statistics collection in crowd settings. When deployed on a single entrance or gate, the idle power consumption is reduced to 1.6W, improving the battery-life of the device. We achieve an accuracy of up to 98% for four wearing positions of the MaskedFace-Net dataset. To maintain equivalent classification accuracy for all face structures, skin-tones, hair types, and mask types, the algorithms are tested for their ability to generalize the relevant features over all subjects using the Grad-CAM approach.


title: To conserve, or not to conserve: A review of nonconservative theories of gravity

abstract: Apart from the familiar structure firmly-rooted in the general relativistic field equations where the energy--momentum tensor has a null divergence i.e., it conserves, there exists a considerable number of extended theories of gravity allowing departures from the usual conservative framework. Many of these theories became popular in the last few years, aiming to describe the phenomenology behind dark matter and dark energy. However, within these scenarios, it is common to see attempts to preserve the conservative property of the energy--momentum tensor. Most of the time, it is done by means of some additional constraint that ensures the validity of the standard conservation law, as long as this option is available in the theory. However, if no such extra constraint is available, the theory will inevitably carry a non-trivial conservation law as part of its structure. In this work, we review some of such proposals discussing the theoretical construction leading to the non-conservation of the energy--momentum tensor.


title: Radiative corrections to nucleon weak charges and Beyond Standard Model impact

abstract: The nucleon axial charge is a central ingredient in nuclear and particle physics, and a key observable in precision tests of the electroweak Standard Model sector and beyond. We report on the first complete calculation of its electroweak quantum corrections up to $\mathcal{O}(\alpha)$, using a combination of current algebra techniques and QCD sum rules. We find a substantial enhancement due to the weak magnetism contribution in the elastic channel, and include higher-twist and target mass corrections at low $Q^2$ to find $\Delta_R^A = 0.02881(22)$. Using analogous methods, we determine a new value for the vector charge renormalization, $\Delta_R^V = 0.02474(27)$, and show how the two most recent calculations can be brought into agreement. This allows us to determine a corrected experimental $g_A^0 = 1.2730(13)$, which is a $>2\sigma$ shift away from the commonly quoted value. We use this new result to set constraints on exotic right-handed currents by comparing to lattice QCD results, and resolve a double-counting issue in the $|V_{ud}|$ extraction from mirror decays.


title: A Rapid Method For Orbital Coverage Statistics With $\mathbf{J_2}$ Using Ergodic Theory

abstract: Quantifying long-term statistical properties of satellite trajectories typically entails time-consuming trajectory propagation. We present a fast, ergodic\cite{Arnold} method of analytically estimating these for $J_2-$perturbed elliptical orbits, broadly agreeing with trajectory propagation-derived results. We extend the approach in Graven and Lo (2019) to estimate: (1) Satellite-ground station coverage with limited satellite field of view and ground station elevation angle with numerically optimized formulae, and (2) long-term averages of general functions of satellite position. This method is fast enough to facilitate real-time, interactive tools for satellite constellation and network design, with an approximate $1000\times$ GPU speedup.


title: Many Frobenius complements have even order

abstract: The theory of Frobenius groups with Frobenius complements of even order largely reduces to tractable algebraic number theory. If we consider only Frobenius complements with an upper bound $s$ on the number of distinct primes dividing the order of their commutator subgroups, then the proportion of these with odd order is less than $1/2^{s}$. A positive lower bound is also given.


title: Promoting Fair Proposers, Fair Responders or Both? Cost-Efficient Interference in the Spatial Ultimatum Game

abstract: Institutions and investors face the constant challenge of making accurate decisions and predictions regarding how best they should distribute their endowments. The problem of achieving an optimal outcome at minimal cost has been extensively studied and resolved using several heuristics. However, these works usually fail to address how an external party can target different types of fair behaviour or do not take into account how limited information can shape this complex interplay. Here, we consider the well-known Ultimatum game in a spatial setting and propose a hierarchy of interference mechanisms based on the amount of information available to an external decision-maker and desired standards of fairness. Our analysis reveals that monitoring the population at a macroscopic level requires more strict information gathering in order to obtain an optimal outcome and that local observations can mediate this requirement. Moreover, we identify the conditions which must be met for an individual to be eligible for investment in order to avoid unnecessary spending. We further explore the effects of varying mutation or behavioural exploration rates on the choice of investment strategy and total accumulated costs to the investor. Overall, our analysis provides new insights about efficient heuristics for cost-efficient promotion of fairness in societies. Finally, we discuss the differences between our findings and previous work done on the PD and present our suggestions for promoting fairness as an external decision-maker.


title: Child-directed Listening: How Caregiver Inference Enables Children's Early Verbal Communication

abstract: How do adults understand children's speech? Children's productions over the course of language development often bear little resemblance to typical adult pronunciations, yet caregivers nonetheless reliably recover meaning from them. Here, we employ a suite of Bayesian models of spoken word recognition to understand how adults overcome the noisiness of child language, showing that communicative success between children and adults relies heavily on adult inferential processes. By evaluating competing models on phonetically-annotated corpora, we show that adults' recovered meanings are best predicted by prior expectations fitted specifically to the child language environment, rather than to typical adult-adult language. After quantifying the contribution of this "child-directed listening" over developmental time, we discuss the consequences for theories of language acquisition, as well as the implications for commonly-used methods for assessing children's linguistic proficiency.


title: Cadmium Zinc Telluride Detectors for a Next-Generation Hard X-ray Telescope

abstract: We are currently developing Cadmium Zinc Telluride (CZT) detectors for a next-generation space-borne hard X-ray telescope which can follow up on the highly successful NuSTAR (Nuclear Spectroscopic Telescope Array) mission. Since the launch of NuSTAR in 2012, there have been major advances in the area of X-ray mirrors, and state-of-the-art X-ray mirrors can improve on NuSTAR's angular resolution of ~1 arcmin Half Power Diameter (HPD) to 15" or even 5" HPD. Consequently, the size of the detector pixels must be reduced to match this resolution. This paper presents detailed simulations of relatively thin (1 mm thick) CZT detectors with hexagonal pixels at a next-neighbor distance of 150 $\mu$m. The simulations account for the non-negligible spatial extent of the deposition of the energy of the incident photon, and include detailed modeling of the spreading of the free charge carriers as they move toward the detector electrodes. We discuss methods to reconstruct the energies of the incident photons, and the locations where the photons hit the detector. We show that the charge recorded in the brightest pixel and six adjacent pixels suffices to obtain excellent energy and spatial resolutions. The simulation results are being used to guide the design of a hybrid application-specific integrated circuit (ASIC)-CZT detector package.


title: DNA Barcodes using a Cylindrical Nanopore

abstract: We report an accurate method to determine DNA barcodes from the dwell time measurement of protein tags (barcodes) along the DNA backbone using Brownian dynamics simulation of a model DNA and use a recursive theoretical scheme which improves the measurements to almost 100 % accuracy. The heavier protein tags along the DNA backbone introduce a large speed variation in the chain that can be understood using the idea of non-equilibrium tension propagation theory. However, from an initial rough characterization of velocities into "fast" (nucleotides) and "slow" (protein tags) domains, we introduce a physically motivated interpolation scheme that enables us to determine the barcode velocities rather accurately. Our theoretical analysis of the motion of the DNA through a cylindrical nanopore opens up the possibility of its experimental realization and carries over to multi-nanopore devices used for barcoding.


title: TeV cosmic ray nuclei acceleration in shell-type supernova remnants with hard $\gamma$-ray spectra

abstract: The emission mechanism for hard $\gamma$-ray spectra from supernova remnants (SNRs) is still a matter of debate. Recent multi-wavelength observations of TeV source HESS J1912+101 show that it is associated with an SNR with an age of $\sim 100$ kyrs, making it unlikely produce the TeV $\gamma$-ray emission via leptonic processes. We analyzed Fermi observations of it and found an extended source with a hard spectrum. HESS J1912+101 may represent a peculiar stage of SNR evolution that dominates the acceleration of TeV cosmic rays. By fitting the multi-wavelength spectra of 13 SNRs with hard GeV $\gamma$-ray spectra with simple emission models with a density ratio of GeV electrons to protons of $\sim 10^{-2}$, we obtain reasonable mean densities and magnetic fields with a total energy of $\sim 10^{50}$ ergs for relativistic ions in each SNR. Among these sources, only two of them, namely SN 1006 and RCW 86, favor a leptonic origin for the $\gamma$-ray emission. The magnetic field energy is found to be comparable to that of the accelerated relativistic ions and their ratio has a tendency of increase with the age of SNRs. These results suggest that TeV cosmic rays mainly originate from SNRs with hard $\gamma$-ray spectra.


title: Feasibility of Correlated Extensive Air Shower Detection with a Distributed Cosmic Ray Network

abstract: We explore the sensitivity offered by a global network of cosmic ray detectors to a novel, unobserved phenomena: widely separated simultaneous extended air showers. Existing localized observatories work independently to observe individual showers, offering insight into the source and nature of ultra-high energy cosmic rays. However no current observatory is large enough to provide sensitivity to anticipated processes such as the GZ effect or potential new physics that generate simultaneous air showers separated by hundreds to thousands of kilometers. A global network of consumer electronics (the CRAYFIS experiment), may provide a novel opportunity for observation of such phenomena. Two user scenarios are explored. In the first, with maximal user adoption, we find that statistically significant discoveries of spatially-separated but coincident showers are possible within a couple years. In the second, more practical adoption model with $10^6$ active devices, we find a worldwide CRAYFIS to be sensitive to novel "burst" phenomena where many simultaneous EASs occur at once.


title: Improving Model and Search for Computer Go

abstract: The standard for Deep Reinforcement Learning in games, following Alpha Zero, is to use residual networks and to increase the depth of the network to get better results. We propose to improve mobile networks as an alternative to residual networks and experimentally show the playing strength of the networks according to both their width and their depth. We also propose a generalization of the PUCT search algorithm that improves on PUCT.


title: Sound Event Detection in Urban Audio With Single and Multi-Rate PCEN

abstract: Recent literature has demonstrated that the use of per-channel energy normalization (PCEN), has significant performance improvements over traditional log-scaled mel-frequency spectrograms in acoustic sound event detection (SED) in a multi-class setting with overlapping events. However, the configuration of PCEN's parameters is sensitive to the recording environment, the characteristics of the class of events of interest, and the presence of multiple overlapping events. This leads to improvements on a class-by-class basis, but poor cross-class performance. In this article, we experiment using PCEN spectrograms as an alternative method for SED in urban audio using the UrbanSED dataset, demonstrating per-class improvements based on parameter configuration. Furthermore, we address cross-class performance with PCEN using a novel method, Multi-Rate PCEN (MRPCEN). We demonstrate cross-class SED performance with MRPCEN, demonstrating improvements to cross-class performance compared to traditional single-rate PCEN.


title: Graphery: Interactive Tutorials for Biological Network Algorithms

abstract: Networks provide a meaningful way to represent and analyze complex biological information, but the methodological details of network-based tools are often described for a technical audience. Graphery is a hands-on tutorial webserver designed to help biological researchers understand the fundamental concepts behind commonly-used graph algorithms. Each tutorial describes a graph concept along with executable Python code that visualizes the concept in a code view and a graph view. Graphery tutorials help researchers understand graph statistics (such as degree distribution and network modularity) and classic graph algorithms (such as shortest paths and random walks). Users navigate each tutorial using their choice of real-world biological networks, ranging in scale from molecular interaction graphs to ecological networks. Graphery also allows users to modify the code within each tutorial or write new programs, which all can be executed without requiring an account. Discipline-focused tutorials will be essential to help researchers interpret their biological data. Graphery accepts ideas for new tutorials and datasets that will be shaped by both computational and biological researchers, growing into a community-contributed learning platform. Availability: Graphery is available at https://graphery.reedcompbio.org/.


title: Financial Risk-Based Scheduling of Microgrids Accompanied by Surveying the Influence of the Demand Response Program

abstract: This paper presents an optimization approach based on the mixed-integer programming (MIP) to maximize the profit of the Microgrid (MG) while minimizing the risk in profit (RIP) in the presence of demand response program (DRP). RIP is defined as the risk of gaining less profit from the desired profit values. The uncertainties associated with the RESs and loads are modeled using normal, Beta, and Weibull distribution functions. The simulation studies are performed in GAMS and MATLAB for 5 random days in a year. The simulation results show that RIP is reduced when downside risk constraint (DRC) is considered and DRP is implemented. Although DRP increases the total profit of the MG, it also notably increases the risk. On the other hand, considering DRC significantly reduces the percentage of the risk with a slight decrease in the profit.


title: On the heterogeneous distortion inequality

abstract: We study Sobolev mappings $f \in W_{\mathrm{loc}}^{1,n} (\mathbb{R}^n, \mathbb{R}^n)$, $n \ge 2$, that satisfy the heterogeneous distortion inequality \[\left|Df(x)\right|^n \leq K J_f(x) + \sigma^n(x) \left|f(x)\right|^n\] for almost every $x \in \mathbb{R}^n$. Here $K \in [1, \infty)$ is a constant and $\sigma \geq 0$ is a function in $L^n_{\mathrm{loc}}(\mathbb{R}^n)$. Although we recover the class of $K$-quasiregular mappings when $\sigma \equiv 0$, the theory of arbitrary solutions is significantly more complicated, partly due to the unavailability of a robust degree theory for non-quasiregular solutions. Nonetheless, we obtain a Liouville-type theorem and the sharp H\"older continuity estimate for all solutions, provided that $\sigma \in L^{n-\varepsilon}(\mathbb{R}^n) \cap L^{n+\varepsilon}(\mathbb{R}^n)$ for some $\varepsilon >0$. This gives an affirmative answer to a question of Astala, Iwaniec and Martin.


title: Overcoming Bias in Community Detection Evaluation

abstract: Community detection is a key task to further understand the function and the structure of complex networks. Therefore, a strategy used to assess this task must be able to avoid biased and incorrect results that might invalidate further analyses or applications that rely on such communities. Two widely used strategies to assess this task are generally known as structural and functional. The structural strategy basically consists in detecting and assessing such communities by using multiple methods and structural metrics. On the other hand, the functional strategy might be used when ground truth data are available to assess the detected communities. However, the evaluation of communities based on such strategies is usually done in experimental configurations that are largely susceptible to biases, a situation that is inherent to algorithms, metrics and network data used in this task. Furthermore, such strategies are not systematically combined in a way that allows for the identification and mitigation of bias in the algorithms, metrics or network data to converge into more consistent results. In this context, the main contribution of this article is an approach that supports a robust quality evaluation when detecting communities in real-world networks. In our approach, we measure the quality of a community by applying the structural and functional strategies, and the combination of both, to obtain different pieces of evidence. Then, we consider the divergences and the consensus among the pieces of evidence to identify and overcome possible sources of bias in community detection algorithms, evaluation metrics, and network data. Experiments conducted with several real and synthetic networks provided results that show the effectiveness of our approach to obtain more consistent conclusions about the quality of the detected communities.


title: Smooth extensions for inertial manifolds of semilinear parabolic equations

abstract: The paper is devoted to a comprehensive study of smoothness of inertial manifolds for abstract semilinear parabolic problems. It is well known that in general we cannot expect more than $C^{1,\varepsilon}$-regularity for such manifolds (for some positive, but small $\varepsilon$). Nevertheless, as shown in the paper, under the natural assumptions, the obstacles to the existence of a $C^n$-smooth inertial manifold (where $n\in\mathbb N$ is any given number) can be removed by increasing the dimension and by modifying properly the nonlinearity outside of the global attractor (or even outside the $C^{1,\varepsilon}$-smooth IM of a minimal dimension). The proof is strongly based on the Whitney extension theorem.


title: Multichannel adaptive signal detection: Basic theory and literature review

abstract: Multichannel adaptive signal detection jointly uses the test and training data to form an adaptive detector, and then make a decision on whether a target exists or not. Remarkably, the resulting adaptive detectors usually possess the constant false alarm rate (CFAR) properties, and hence no additional CFAR processing is needed. Filtering is not needed as a processing procedure either, since the function of filtering is embedded in the adaptive detector. Moreover, adaptive detection usually exhibits better detection performance than the filtering-then-CFAR detection technique. Multichannel adaptive signal detection has been more than 30 years since the first multichannel adaptive detector was proposed by Kelly in 1986. However, there are fewer overview articles on this topic. In this paper we give a tutorial overview of multichannel adaptive signal detection, with emphasis on Gaussian background. We present the main deign criteria for adaptive detectors, investigate the relationship between adaptive detection and filtering-then-CFAR detection, relationship between adaptive detectors and adaptive filters, summarize typical adaptive detectors, show numerical examples, give comprehensive literature review, and discuss some possible further research tracks.


title: Recent Advances on {\pi}-Conjugated Polymers as Active Elements in High Performance Organic Field-Effect Transistors

abstract: As high-performance organic semiconductors, {\pi}-conjugated polymers have attracted much attention due to their charming advantages including low-cost, solution processability, mechanical flexibility, and tunable optoelectronic properties. During the past several decades, the great advances have been made in polymers-based OFETs with p-type, n-type or even ambipolar characterics. Through chemical modification and alignment optimization, lots of conjugated polymers exhibited superior mobilities, and some mobilities are even larger than 10 cm2 V-1 s-1 in OFETs, which makes them very promising for the applications in organic electronic devices. This review describes the recent progress of the high performance polymers used in OFETs from the aspects of molecular design and assembly strategy. Furthermore, the current challenges and outlook in the design and development of conjugated polymers are also mentioned.


title: Fermion propagator in a rotating environment

abstract: We apply the exponential operator method to derive the propagator for a fermion immersed within a rigidly rotating environment with cylindrical geometry. Given that the rotation axis provides a preferred direction, Lorentz symmetry is lost and the general solution is not translationally invariant in the radial coordinate. However, under the approximation that the fermion is completely dragged by the vortical motion, valid for large angular velocities, translation invariance is recovered. The propagator can then be written in momentum space. The result is suited to be used applying ordinary Feynman rules for perturbative calculations in momentum space.


title: The classification problem for extensions of torsion abelian groups

abstract: Given countable abelian groups $C,A$, with $C$ torsion, we compute the potential Borel complexity class of the classification problem $mathcal{R}_{\mathbf{Ext}(C,A)}$ for extensions of $C$ by $A$. In particular, we show that such a problem can have arbitrarily high potential complexity. Furthermore, if $\Gamma $ is one of the possible potential Borel complexity classes of the isomorphism relation for a Borel class of countable first-order structures, then there exist countable torsion groups $C,A$ such that $\mathcal{R}_{\mathbf{Ext}(C,A)}$ has potential Borel complexity class $\Gamma $.


title: Wandering of the central black hole in a galactic nucleus and correlation of the black hole mass with the bulge mass

abstract: We investigate a mechanism for a super-massive black hole at the center of a galaxy to wander in the nucleus region. A situation is supposed in which the central black hole tends to move by the gravitational attractions from the nearby molecular clouds in a nuclear bulge but is braked via the dynamical frictions by the ambient stars there. We estimate the approximate kinetic energy of the black hole in an equilibrium between the energy gain rate through the gravitational attractions and the energy loss rate through the dynamical frictions, in a nuclear bulge composed of a nuclear stellar disk and a nuclear stellar cluster as observed from our Galaxy. The wandering distance of the black hole in the gravitational potential of the nuclear bulge is evaluated to get as large as several 10 pc, when the black hole mass is relatively small. The distance, however, shrinks as the black hole mass increases and the equilibrium solution between the energy gain and loss disappears when the black hole mass exceeds an upper limit. As a result, we can expect the following scenario for the evolution of the black hole mass: When the black hole mass is smaller than the upper limit, mass accretion of the interstellar matter in the circum-nuclear region, causing the AGN activities, makes the black hole mass larger. However, when the mass gets to the upper limit, the black hole loses the balancing force against the dynamical friction and starts spiraling downward to the gravity center. From simple parameter scaling, the upper mass limit of the black hole is found to be proportional to the bulge mass and this could explain the observed correlation of the black hole mass with the bulge mass.


title: Rethinking the Implementation Tricks and Monotonicity Constraint in Cooperative Multi-Agent Reinforcement Learning

abstract: Many complex multi-agent systems such as robot swarms control and autonomous vehicle coordination can be modeled as Multi-Agent Reinforcement Learning (MARL) tasks. QMIX, a widely popular MARL algorithm, has been used as a baseline for the benchmark environments, e.g., Starcraft Multi-Agent Challenge (SMAC), Difficulty-Enhanced Predator-Prey (DEPP). Recent variants of QMIX target relaxing the monotonicity constraint of QMIX, allowing for performance improvement in SMAC. In this paper, we investigate the code-level optimizations of these variants and the monotonicity constraint. (1) We find that such improvements of the variants are significantly affected by various code-level optimizations. (2) The experiment results show that QMIX with normalized optimizations outperforms other works in SMAC; (3) beyond the common wisdom from these works, the monotonicity constraint can improve sample efficiency in SMAC and DEPP. We also discuss why monotonicity constraints work well in purely cooperative tasks with a theoretical analysis. We open-source the code at \url{https://github.com/hijkzzz/pymarl2}.


title: Aerosols in Exoplanet Atmospheres

abstract: Observations of exoplanet atmospheres have shown that aerosols, like in the Solar System, are common across a variety of temperatures and planet types. The formation and distribution of these aerosols are inextricably intertwined with the composition and thermal structure of the atmosphere. At the same time, these aerosols also interfere with our probes of atmospheric composition and thermal structure, and thus a better understanding of aerosols lead to a better understanding of exoplanet atmospheres as a whole. Here we review the current state of knowledge of exoplanet aerosols as determined from observations, modeling, and laboratory experiments. Measurements of the transmission spectra, dayside emission, and phase curves of transiting exoplanets, as well as the emission spectrum and light curves of directly imaged exoplanets and brown dwarfs have shown that aerosols are distributed inhomogeneously in exoplanet atmospheres, with aerosol distributions varying significantly with planet equilibrium temperature and gravity. Parameterized and microphysical models predict that these aerosols are likely composed of oxidized minerals like silicates for the hottest exoplanets, while at lower temperatures the dominant aerosols may be composed of alkali salts and sulfides. Particles originating from photochemical processes are also likely at low temperatures, though their formation process is highly complex, as revealed by laboratory work. In the years to come, new ground- and space-based observatories will have the capability to assess the composition of exoplanet aerosols, while new modeling and laboratory efforts will improve upon our picture of aerosol formation and dynamics.


title: Noncommutative Hodge conjecture

abstract: The paper provides a version of the rational Hodge conjecture for $\3\dg$ categories. The noncommutative Hodge conjecture is equivalent to the version proposed in \cite{perry2020integral} for admissible subcategories. We obtain examples of evidence of the Hodge conjecture by techniques of noncommutative geometry. Finally, we show that the noncommutative Hodge conjecture for smooth proper connective $\3\dg$ algebras is true.


title: Understanding the Interaction of Adversarial Training with Noisy Labels

abstract: Noisy labels (NL) and adversarial examples both undermine trained models, but interestingly they have hitherto been studied independently. A recent adversarial training (AT) study showed that the number of projected gradient descent (PGD) steps to successfully attack a point (i.e., find an adversarial example in its proximity) is an effective measure of the robustness of this point. Given that natural data are clean, this measure reveals an intrinsic geometric property -- how far a point is from its class boundary. Based on this breakthrough, in this paper, we figure out how AT would interact with NL. Firstly, we find if a point is too close to its noisy-class boundary (e.g., one step is enough to attack it), this point is likely to be mislabeled, which suggests to adopt the number of PGD steps as a new criterion for sample selection for correcting NL. Secondly, we confirm AT with strong smoothing effects suffers less from NL (without NL corrections) than standard training (ST), which suggests AT itself is an NL correction. Hence, AT with NL is helpful for improving even the natural accuracy, which again illustrates the superiority of AT as a general-purpose robust learning criterion.


title: Corner Case Generation and Analysis for Safety Assessment of Autonomous Vehicles

abstract: Testing and evaluation is a crucial step in the development and deployment of Connected and Automated Vehicles (CAVs). To comprehensively evaluate the performance of CAVs, it is of necessity to test the CAVs in safety-critical scenarios, which rarely happen in naturalistic driving environment. Therefore, how to purposely and systematically generate these corner cases becomes an important problem. Most existing studies focus on generating adversarial examples for perception systems of CAVs, whereas limited efforts have been put on the decision-making systems, which is the highlight of this paper. As the CAVs need to interact with numerous background vehicles (BVs) for a long duration, variables that define the corner cases are usually high dimensional, which makes the generation a challenging problem. In this paper, a unified framework is proposed to generate corner cases for the decision-making systems. To address the challenge brought by high dimensionality, the driving environment is formulated based on Markov Decision Process, and the deep reinforcement learning techniques are applied to learn the behavior policy of BVs. With the learned policy, BVs will behave and interact with the CAVs more aggressively, resulting in more corner cases. To further analyze the generated corner cases, the techniques of feature extraction and clustering are utilized. By selecting representative cases of each cluster and outliers, the valuable corner cases can be identified from all generated corner cases. Simulation results of a highway driving environment show that the proposed methods can effectively generate and identify the valuable corner cases.


title: Hydrogen Atom in the Cosmic Microwave Background

abstract: The cosmic microwave background covers the entire universe, which suggests the absence of ay closed system, except the universe itself. In this paper, I consider the effect of the cosmic microwave background on the hydrogen atom, which must be very small, otherwise, changes in energy levels would have been measurable. But how small is small? This I compute by considering a system in an environment or bath. I derived the bath's, (in this case the CMB) effect on the hydrogen atom in the Feynman-Vernon approach to an open system. The effect is small and quantified in terms of a correction to the hydrogen atom that breaks time-reversal symmetry, as expected of memory effects. This is significant. There are imperceptible changes in the state of the hydrogen atom, which means that the pervasive CMB must have similar small effects on other atoms, thus breaking time-reversal symmetry in all physical systems.


title: Heralding multiple photonic pulsed Bell-pairs via frequency-resolved entanglement swapping

abstract: Entanglement is a unique property of quantum systems and an essential resource for many quantum technologies. The ability to transfer or swap entanglement between systems is an important protocol in quantum information science. Entanglement between photons forms the basis of distributed quantum networks and the demonstration of photonic entanglement swapping is essential for their realization. Here an experiment demonstrating entanglement swapping from two independent multimode time-frequency entangled sources is presented, resulting in multiple heralded temporal-mode Bell states. Entanglement in the heralded states is verified by measuring conditional anti-correlated joint spectra as well as quantum beating in two-photon interference. Our proof-of-concept experiment is able to distinguish up to five orthogonal Bell pairs within the same setup, limited in principle only by the entanglement of the sources.


title: Stanley--Elder--Fine theorems for colored partitions

abstract: We give a new proof of a partition theorem popularly known as Elder's theorem, but which is also credited to Stanley and Fine. We extend the theorem to the context of colored partitions (or prefabs). More specifically, we give analogous results for $b$-colored partitions, where each part occurs in $b$ colors; for $b$-colored partitions with odd parts (or distinct parts); for partitions where the part $k$ comes in $k$ colors; and, overpartitions.