title: RSS-Based UAV-BS 3-D Mobility Management via Policy Gradient Deep Reinforcement Learning

abstract: We address the mobility management of an autonomous UAV-mounted base station (UAV-BS) that provides communication services to a cluster of users on the ground while the geographical characteristics (e.g., location and boundary) of the cluster, the geographical locations of the users, and the characteristics of the radio environment are unknown. UAVBS solely exploits the received signal strengths (RSS) from the users and accordingly chooses its (continuous) 3-D speed to constructively navigate, i.e., improving the transmitted data rate. To compensate for the lack of a model, we adopt policy gradient deep reinforcement learning. As our approach does not rely on any particular information about the users as well as the radio environment, it is flexible and respects the privacy concerns. Our experiments indicate that despite the minimum available information the UAV-BS is able to distinguish between high-rise (often non-line-of-sight dominant) and sub-urban (mainly line-of-sight dominant) environments such that in the former (resp. latter) it tends to reduce (resp. increase) its height and stays close (resp. far) to the cluster. We further observe that the choice of the reward function affects the speed and the ability of the agent to adhere to the problem constraints without affecting the delivered data rate.


title: Testing for the Network Small-World Property

abstract: Researchers have long observed that the "small-world" property, which combines the concepts of high transitivity or clustering with a low average path length, is ubiquitous for networks obtained from a variety of disciplines including social sciences, biology, neuroscience, and ecology. However, we find three shortcomings of the currently popular definition and detection methods rendering the concept less powerful. First, the classical definition combines high transitivity with a low average path length in a rather ad-hoc fashion which confounds the two separate aspects. We find that in several cases, networks get flagged as "small world" by the current methodology solely because of their high transitivity. Second, the detection methods lack a formal statistical inference, and third, the comparison is typically performed against simplistic random graph models as the baseline which ignores well-known network characteristics. We propose three innovations to address these issues. First, we decouple the properties of high transitivity and low average path length as separate events to test for. Second, we define the property as a statistical test between a suitable null model and a superimposed alternative model. Third, the test is performed using parametric bootstrap with several null models to allow a wide range of background structures in the network. In addition to the bootstrap tests, we also propose an asymptotic test under the Erd\"{o}s-Ren\'{y}i null model for which we provide theoretical guarantees on the asymptotic level and power. Applying the proposed methods on a large number of network datasets, we uncover new insights about their small-world property.


title: Power Control in Spectrum Sharing Systems with Almost-Zero Inter-System Signaling Overhead

abstract: Power allocation in spectrum sharing systems is challenging due to excessive interference that the secondary system could impose on the primary system. Therefore, an interference threshold constraint is considered to regulate the secondary system's activity. However, the primary receivers should measure the interference and inform the secondary users accordingly. These cause design complexities, e.g., due to transceiver's hardware impairments, and impose a substantial signaling overhead. We set our main goal to mitigate these requirements in order to make the spectrum sharing systems practically feasible. To cope with the lack of a model we develop a coexisting deep reinforcement learning approach for continuous power allocation in both systems. Importantly, via our solution, the two systems allocate power merely based on geographical location of their users. Moreover, the inter-system signaling requirement is reduced to exchanging only the number of primary users that their QoS requirements are violated. We observe that compared to a centralized agent that allocates power based on full (accurate) channel information, our solution is more robust and strictly guarantees QoS requirements of the primary users. This implies that both systems can operate simultaneously with almost-zero inter-system signaling overhead.


title: Quantum gravity and elementary particles from higher gauge theory

abstract: We give a brief overview how to couple general relativity to the Standard Model of elementary particles, within the higher gauge theory framework, suitable for the spinfoam quantization procedure. We begin by providing a short review of all relevant mathematical concepts, most notably the idea of a categorical ladder, 3-groups and generalized parallel transport. Then, we give an explicit construction of the algebraic structure which describes the full Standard Model coupled to Einstein-Cartan gravity, along with the classical action, written in the form suitable for the spinfoam quantization procedure. We emphasize the usefulness of the 3-group concept as a superior tool to describe gauge symmetry, compared to an ordinary Lie group, as well as the possibility to employ this new structure to classify matter fields and study their spectrum, including the origin of fermion families.


title: Complexity measures and occurrence of the breaking point in the neutron and gamma-rays time series measured with organic scintillators

abstract: This paper deals with the first analysis of the neutron and gamma time series measured with organic scintillators from plutonium samples by using information measures. Fast neutron detection with organic scintillators has been widely used for various nuclear applications and homeland security. One of the significant attributes of special nuclear materials (SNM) is the high multiplicity events in a short period of time. The time distributions of neutron and gamma-rays events for the plutonium metal plates designed as fuel plates for the Idaho National Laboratory (INL) Zero Power were measured with the Fast Neutron Multiplicity Counter (FNMC) consisting of 8 EJ-309 liquid scintillators and 8 stilbene detectors. Since the neutron correlated counts within the coincidence window of 40 ns are related to 240Pu effective mass of plutonium metal plates we investigated the randomness of the measured neutron and gamma-rays events. To access such information, we resort to complexity measures in the hope of being able to connect complexity values with the reliability of detection. That was done through (i) application of Kolmogorov complexity (KC) and its derivatives [Kolmogorov spectrum and its highest value (KCM) and running complexity (RKC)] and (ii) establishing the breaking point after which there exists a sharp drop in the running Kolmogorov complexity of the neutron and gamma-rays time series. It was found that the complexity of all the time series detected from the sample with 5, 9, 11, 13, and 15 plutonium plates had the high almost identical values of KC while the sample with 3 plates had by one-third smaller KC values than all the others. These calculations were supplemented by the Lypaunov exponents for a time series and the NIST tests. The low KC values can be addressed to the different sources of uncertainties in measuring procedure with the sample consisting of three plates.


title: Fermi surfaces of the topological semimetal CaSn$_{3}$ probed through de Haas van Alphen oscillations

abstract: In the search of topological superconductors, nailing down the Fermiology of the normal state is as crucial a prerequisite as unraveling the superconducting pairing symmetry. In particular, the number of time-reversal-invariant momenta in the Brillouin zone enclosed by Fermi surfaces is closely linked to the topological class of time-reversal-invariant systems, and can experimentally be investigated. We report here a detailed study of de Haas van Alphen quantum oscillations in single crystals of the topological semimetal CaSn$_{3}$ with torque magnetometry in high magnetic fields up to 35 T. In conjunction with density functional theory based calculations, the observed quantum oscillations frequencies indicate that the Fermi surfaces of CaSn$_{3}$ enclose an odd number of time-reversal-invariant momenta, satisfying one of the proposed criteria to realize topological superconductivity. Nonzero Berry phases extracted from the magnetic oscillations also support the nontrivial topological nature of CaSn$_{3}$.


title: Cremona Orbits in $\mathbb{P}^4$ and Applications

abstract: This article is motivated by the authors interest in the geometry of the Mori dream space $\mathbb{P}^4$ blown up in $8$ general points. In this article we develop the necessary technique for determining Weyl orbits of linear cycles for the four-dimensional case, by explicit computations in the Chow ring of the resolution of the standard Cremona transformation. In particular, we close this paper with applications to the question of the dimension of the space global sections of effective divisors having at most $8$ base points.


title: Safe Controller Synthesis with Tunable Input-to-State Safe Control Barrier Functions

abstract: To bring complex systems into real world environments in a safe manner, they will have to be robust to uncertainties - both in the environment and the system. This paper investigates the safety of control systems under input disturbances, wherein the disturbances can capture uncertainties in the system. Safety, framed as forward invariance of sets in the state space, is ensured with the framework of control barrier functions (CBFs). Concretely, the definition of input to state safety (ISSf) is generalized to allow the synthesis of non-conservative, tunable controllers that are provably safe under varying disturbances. This is achieved by formulating the concept of tunable input to state safe control barrier functions (TISSf-CBFs) which guarantee safety for disturbances that vary with state and, therefore, provide less conservative means of accommodating uncertainty. The theoretical results are demonstrated with a simple control system with input disturbance and also applied to design a safe connected cruise controller for a heavy duty truck.


title: A Modified Batch Intrinsic Plasticity Method for Pre-training the Random Coefficients of Extreme Learning Machines

abstract: In extreme learning machines (ELM) the hidden-layer coefficients are randomly set and fixed, while the output-layer coefficients of the neural network are computed by a least squares method. The randomly-assigned coefficients in ELM are known to influence its performance and accuracy significantly. In this paper we present a modified batch intrinsic plasticity (modBIP) method for pre-training the random coefficients in the ELM neural networks. The current method is devised based on the same principle as the batch intrinsic plasticity (BIP) method, namely, by enhancing the information transmission in every node of the neural network. It differs from BIP in two prominent aspects. First, modBIP does not involve the activation function in its algorithm, and it can be applied with any activation function in the neural network. In contrast, BIP employs the inverse of the activation function in its construction, and requires the activation function to be invertible (or monotonic). The modBIP method can work with the often-used non-monotonic activation functions (e.g. Gaussian, swish, Gaussian error linear unit, and radial-basis type functions), with which BIP breaks down. Second, modBIP generates target samples on random intervals with a minimum size, which leads to highly accurate computation results when combined with ELM. The combined ELM/modBIP method is markedly more accurate than ELM/BIP in numerical simulations. Ample numerical experiments are presented with shallow and deep neural networks for function approximation and boundary/initial value problems with partial differential equations. They demonstrate that the combined ELM/modBIP method produces highly accurate simulation results, and that its accuracy is insensitive to the random-coefficient initializations in the neural network. This is in sharp contrast with the ELM results without pre-training of the random coefficients.

categories: physics.comp-ph cs.LG cs.NA math.NA physics.flu-dyn


title: Faster Algorithms for Largest Empty Rectangles and Boxes

abstract: We revisit a classical problem in computational geometry: finding the largest-volume axis-aligned empty box (inside a given bounding box) amidst $n$ given points in $d$ dimensions. Previously, the best algorithms known have running time $O(n\log^2n)$ for $d=2$ (by Aggarwal and Suri [SoCG'87]) and near $n^d$ for $d\ge 3$. We describe faster algorithms with running time (i) $O(n2^{O(\log^*n)}\log n)$ for $d=2$, (ii) $O(n^{2.5+o(1)})$ time for $d=3$, and (iii) $\widetilde{O}(n^{(5d+2)/6})$ time for any constant $d\ge 4$. To obtain the higher-dimensional result, we adapt and extend previous techniques for Klee's measure problem to optimize certain objective functions over the complement of a union of orthants.


title: Gravitational effects in macroscopic quantum systems: a first-principles analysis

abstract: We analyze the weak-field limit of General Relativity with matter and its possible quantisations. This analysis aims towards a predictive quantum theory to provide a first-principles description of gravitational effects in macroscopic quantum systems. This includes recently proposed experiments on the generation of (Newtonian) gravitational forces from quantum distributions of matter, and phenomena like gravity-induced entanglement, gravitational cat states, gravity-induced Rabi oscillations, and quantum causal orderings of events. Our main results include: (i) The demonstration that these phenomena do not involve true gravitational degrees of freedom. (ii) We show that, unlike full general relativity, weak gravity with matter is a parameterised field theory, i.e., a theory obtained by promoting spacetime coordinates to `dynamical' variables. (iii) Quantisation via gauge-fixing leads to an effective field theory that account for some phenomena, but at the price of gauge dependence that manifests more strongly on spacetime observables. This ambiguity is a manifestation of the problem of time that persists even in weak gravity. (iv) A consistent quantisation of parameterised field theories is essential for a predictive and spacetime covariant theory of weak gravity that describes gravitational effects in macroscopic quantum systems. We also discuss the implication of our results to gravitational decoherence theories, the notion of locality in gravity vis-a-vis quantum information theory, and the intriguing possibility that proposed solutions to the problem of time can be tested in weak-gravity quantum experiments.


title: Toward a systematic discovery of artificial functional magnetic materials

abstract: Although ferromagnets are found in all kinds of technological applications, only few substances are known to be intrinsically ferromagnetic at room temperature. In the past twenty years, a plethora of new artificial ferromagnetic materials have been found by introducing defects into non-magnetic host materials. In contrast to the intrinsic ferromagnetic materials, they offer an outstanding degree of material engineering freedom, provided one finds a type of defect to functionalize every possible host material to add magnetism to its intrinsic properties. Still, one controversial question remains: Are these materials really technologically relevant ferromagnets? To answer this question, in this work the emergence of a ferromagnetic phase upon ion irradiation is systematically investigated both theoretically and experimentally. Quantitative predictions are validated against experimental data from the literature of SiC hosts irradiated with high energy Ne ions and own experiments on low energy Ar ion irradiation of TiO$_2$ hosts. In the high energy regime, a bulk magnetic phase emerges, which is limited by host lattice amorphization, whereas at low ion energies an ultrathin magnetic layer forms at the surface and evolves into full magnetic percolation. Lowering the ion energy, the magnetic layer thickness reduces down to a bilayer, where a perpendicular magnetic anisotropy appears due to magnetic surface states.


title: Ordered fragments of first-order logic

abstract: Using a recently introduced algebraic framework for the classification of fragments of first-order logic, we study the complexity of the satisfiability problem for several ordered fragments of first-order logic, which are obtained from the ordered logic and the fluted logic by modifying some of their syntactical restrictions.


title: Doping quantum spin liquids on the Kagome lattice

abstract: We review recent density-matrix renormalization group (DMRG) studies of lightly doped quantum spin liquids (QSLs) on the kagome lattice. While a number of distinct conducting phases, including high-temperature superconductivity, have been theoretically anticipated we find instead a tendency toward fractionalized insulating charge-density-wave (CDW) states. In agreement with earlier work (Jiang, Devereaux, and Kivelson, Phys. Rev. Lett. ${\bf 119}$, 067002 (2017)), results for the $t$-$J$ model reveal that starting from a fully gapped QSL, light doping leads to CDW long-range order with a pattern that depends on lattice geometry and doping concentration such that there is one doped-hole per CDW unit cell, while the spin-spin correlations remain short-ranged. Alternatively, this state can be viewed as a stripe crystal or Wigner crystal of spinless holons, rather than doped holes. From here, by studying generalized versions of the $t$-$J$ model, we extend these results to light doping of other types of QSLs, including critical and chiral QSLs. Our results suggest that doping these QSLs also leads to insulating states with long-range CDW orders. While the superconducting correlations are short-ranged, they can be significantly enhanced by second-neighbor electron hopping. The relevance of our numerical results to Kagome materials is also discussed.


title: Risks for Academic Research Projects, An Empirical Study of Perceived Negative Risks and Possible Responses

abstract: Academic research projects receive hundreds of billions of dollars of government investment each year. They complement business research projects by focusing on the generation of new foundational knowledge and addressing societal challenges. Despite the importance of academic research, the management of it is often undisciplined and ad hoc. It has been postulated that the inherent uncertainty and complexity of academic research projects make them challenging to manage. However, based on this study's analysis of input and voting from more than 500 academic research team members in facilitated risk management sessions, the most important perceived risks are general, as opposed to being research specific. Overall participants' top risks related to funding, team instability, unreliable partners, study participant recruitment, and data access. Many of these risks would require system- or organization-level responses that are beyond the scope of individual academic research teams.


title: Toward a Union-Find decoder for quantum LDPC codes

abstract: Quantum LDPC codes are a promising direction for low overhead quantum computing. In this paper, we propose a generalization of the Union-Find decoder as adecoder for quantum LDPC codes. We prove that this decoder corrects all errors with weight up to An^{\alpha} for some A, {\alpha} > 0 for different classes of quantum LDPC codes such as toric codes and hyperbolic codes in any dimension D \geq 3 and quantum expander codes. To prove this result, we introduce a notion of covering radius which measures the spread of an error from its syndrome. We believe this notion could find application beyond the decoding problem. We also perform numerical simulations, which show that our Union-Find decoder outperforms the belief propagation decoder in the low error rate regime in the case of a quantum LDPC code with length 3600.


title: Offline Reinforcement Learning with Fisher Divergence Critic Regularization

abstract: Many modern approaches to offline Reinforcement Learning (RL) utilize behavior regularization, typically augmenting a model-free actor critic algorithm with a penalty measuring divergence of the policy from the offline data. In this work, we propose an alternative approach to encouraging the learned policy to stay close to the data, namely parameterizing the critic as the log-behavior-policy, which generated the offline data, plus a state-action value offset term, which can be learned using a neural network. Behavior regularization then corresponds to an appropriate regularizer on the offset term. We propose using a gradient penalty regularizer for the offset term and demonstrate its equivalence to Fisher divergence regularization, suggesting connections to the score matching and generative energy-based model literature. We thus term our resulting algorithm Fisher-BRC (Behavior Regularized Critic). On standard offline RL benchmarks, Fisher-BRC achieves both improved performance and faster convergence over existing state-of-the-art methods.


title: Competition among Ride Service Providers with Autonomous Vehicles

abstract: Autonomous vehicles (AVs) are attractive for ride service providers (RSPs) in part because they eliminate the need to compete for human drivers. We investigate a scenario where two RSPs with AVs compete for customers. We model the problem as a game where the RSPs select prices for each origin-destination pair over multiple time periods in an underlying graph representing the customers' desired trips. Each RSP also decides the number of AVs to be stationed at each node at each time period to serve the customers' demands. The number of customers who avail of the service of an RSP depends on the price selected by the RSP and its competitor. Since the strategy choices available to an RSP depends on its competitor, we seek to compute a Generalized Nash equilibrium (GNE). We show that there may be multiple GNEs. However, when an RSP selects prices in order to deter its competitor when it is not serving a source-destination pair, the game has a potential function and admits a unique GNE. We also compare the competitive prices with a monopoly price where only one RSP is in the market. Numerically, we show that if a network consists of two equal-size spatial clusters of demand where the demand between clusters is low, the RSPs may partition the market, i.e, one cluster is served by only one RSP. Hence, the competitive price may become close to the monopoly price.


title: Crowdsourced Phrase-Based Tokenization for Low-Resourced Neural Machine Translation: The Case of Fon Language

abstract: Building effective neural machine translation (NMT) models for very low-resourced and morphologically rich African indigenous languages is an open challenge. Besides the issue of finding available resources for them, a lot of work is put into preprocessing and tokenization. Recent studies have shown that standard tokenization methods do not always adequately deal with the grammatical, diacritical, and tonal properties of some African languages. That, coupled with the extremely low availability of training samples, hinders the production of reliable NMT models. In this paper, using Fon language as a case study, we revisit standard tokenization methods and introduce Word-Expressions-Based (WEB) tokenization, a human-involved super-words tokenization strategy to create a better representative vocabulary for training. Furthermore, we compare our tokenization strategy to others on the Fon-French and French-Fon translation tasks.


title: TRUST: Triangle Counting Reloaded on GPUs

abstract: Triangle counting is a building block for a wide range of graph applications. Traditional wisdom suggests that i) hashing is not suitable for triangle counting, ii) edge-centric triangle counting beats vertex-centric design, and iii) communication-free and workload balanced graph partitioning is a grand challenge for triangle counting. On the contrary, we advocate that i) hashing can help the key operations for scalable triangle counting on Graphics Processing Units (GPUs), i.e., list intersection and graph partitioning, ii)vertex-centric design reduces both hash table construction cost and memory consumption, which is limited on GPUs. In addition, iii) we exploit graph and workload collaborative, and hashing-based 2D partitioning to scale vertex-centric triangle counting over 1,000 GPUswith sustained scalability. In this work, we present TRUST which performs triangle counting with the hash operation and vertex-centric mechanism at the core. To the best of our knowledge, TRUSTis the first work that achieves over one trillion Traversed Edges Per Second (TEPS) rate for triangle counting.


title: Contour Exploration with Potentiostatic Kinematics

abstract: We introduce a method of exploring potential energy contours in complex dynamical systems based on potentiostatic kinematics wherein the systems are evolved with minimal changes to their potential energy. We construct a simple iterative algorithm for performing potentiostatic kinematics, which uses an estimate curvature to predict new configurations space coordinates on the potential energy contour and a potentiostat term component to correct for errors in prediction. Our methods are then applied to atomic structure models using an interatomic potential for energy and force evaluations as would commonly be invoked in a molecular dynamics simulation. Using several model systems, we assess the stability and accuracy of the method on different hyperparameters in the implementation of the potentiostatic kinematics. Our implementation is open source and available within the Atomic Simulation Environment (ASE) package for atomic simulation.


title: Modeling Longitudinal Dynamics of Comorbidities

abstract: In medicine, comorbidities refer to the presence of multiple, co-occurring diseases. Due to their co-occurring nature, the course of one comorbidity is often highly dependent on the course of the other disease and, hence, treatments can have significant spill-over effects. Despite the prevalence of comorbidities among patients, a comprehensive statistical framework for modeling the longitudinal dynamics of comorbidities is missing. In this paper, we propose a probabilistic model for analyzing comorbidity dynamics over time in patients. Specifically, we develop a coupled hidden Markov model with a personalized, non-homogeneous transition mechanism, named Comorbidity-HMM. The specification of our Comorbidity-HMM is informed by clinical research: (1) It accounts for different disease states (i. e., acute, stable) in the disease progression by introducing latent states that are of clinical meaning. (2) It models a coupling among the trajectories from comorbidities to capture co-evolution dynamics. (3) It considers between-patient heterogeneity (e. g., risk factors, treatments) in the transition mechanism. Based on our model, we define a spill-over effect that measures the indirect effect of treatments on patient trajectories through coupling (i. e., through comorbidity co-evolution). We evaluated our proposed Comorbidity-HMM based on 675 health trajectories where we investigate the joint progression of diabetes mellitus and chronic liver disease. Compared to alternative models without coupling, we find that our Comorbidity-HMM achieves a superior fit. Further, we quantify the spill-over effect, that is, to what extent diabetes treatments are associated with a change in the chronic liver disease from an acute to a stable disease state. To this end, our model is of direct relevance for both treatment planning and clinical research in the context of comorbidities.


title: Improving Schr\"odinger Equation Implementations with Gray Code for Adiabatic Quantum Computers

abstract: We reformulate the continuous space Schr\"odinger equation in terms of spin Hamiltonians. For the kinetic energy operator, the critical concept facilitating the reduction in model complexity is the idea of position encoding. Binary encoding of position produces a Heisenberg-like model and yields exponential improvement in space complexity when compared to classical computing. Encoding with a binary reflected Gray code, and a Hamming distance 2 Gray code yields the additional effect of reducing the spin model down to the XZ and transverse Ising model respectively. We also identify the bijective mapping between diagonal unitaries and the Walsh series, producing the mapping of any real potential to a series of $k$-local Ising models through the fast Walsh transform. Finally, in a finite volume, we provide some numerical evidence to support the claim that the total time needed for adiabatic evolution is protected by the infrared cutoff of the system. As a result, initial state preparation from a free-field wavefunction to an interacting system is expected to exhibit polynomial time complexity with volume and constant scaling with respect to lattice discretization for all encodings. For the Hamming distance 2 Gray code, the evolution starts with the transverse Hamiltonian before introducing penalties such that the low lying spectrum reproduces the energy levels of the Laplacian. The adiabatic evolution of the penalty Hamiltonian is therefore sensitive to the ultraviolet scale. It is expected to exhibit polynomial time complexity with lattice discretization, or exponential time complexity with respect to the number of qubits given a fixed volume.


title: RecSim NG: Toward Principled Uncertainty Modeling for Recommender Ecosystems

abstract: The development of recommender systems that optimize multi-turn interaction with users, and model the interactions of different agents (e.g., users, content providers, vendors) in the recommender ecosystem have drawn increasing attention in recent years. Developing and training models and algorithms for such recommenders can be especially difficult using static datasets, which often fail to offer the types of counterfactual predictions needed to evaluate policies over extended horizons. To address this, we develop RecSim NG, a probabilistic platform for the simulation of multi-agent recommender systems. RecSim NG is a scalable, modular, differentiable simulator implemented in Edward2 and TensorFlow. It offers: a powerful, general probabilistic programming language for agent-behavior specification; tools for probabilistic inference and latent-variable model learning, backed by automatic differentiation and tracing; and a TensorFlow-based runtime for running simulations on accelerated hardware. We describe RecSim NG and illustrate how it can be used to create transparent, configurable, end-to-end models of a recommender ecosystem, complemented by a small set of simple use cases that demonstrate how RecSim NG can help both researchers and practitioners easily develop and train novel algorithms for recommender systems.


title: On Planar Visibility Counting Problem

abstract: For a set $S$ of $n$ disjoint line segments in $\mathbb{R}^{2}$, the visibility counting problem is to preprocess $S$ such that the number of visible segments in $S$ from any query point $p$ can be computed quickly. There have been approximation algorithms for this problem with trade off between space and query time. We propose a new randomized algorithm to compute the exact answer of the problem. For any $0<\alpha<1$, the space, preprocessing time and query time are $O_{\epsilon}(n^{4-4\alpha})$, $O_{\epsilon}(n^{4-2\alpha})$ and $O_{\epsilon}(n^{2\alpha})$, respectively. Where $O_{\epsilon}(f(n)) = O(f(n)n^{\epsilon})$ and $\epsilon>0$ is an arbitrary constant number.


title: Medium-term predictions of F10.7 and F30 cm solar radio flux with the adaptive Kalman filter

abstract: The solar radio flux at F10.7 cm and F30 cm is required by most models characterizing the state of the Earth's upper atmosphere, such as the thermosphere and ionosphere to specify satellite orbits, re-entry services, collision avoidance maneuvers and modeling of space debris evolution. We develop a method called RESONANCE ("Radio Emissions from the Sun: ONline ANalytical Computer-aided Estimator") for the prediction of the 13-month smoothed monthly mean F10.7 and F30 indices 1-24 months ahead. The prediction algorithm includes three steps. First, we apply a 13-month optimized running mean technique to effectively reduce the noise in the radio flux data. Second, we provide initial predictions of the F10.7 and F30 indices using the McNish-Lincoln method. Finally, we improve these initial predictions by developing an adaptive Kalman filter with the error statistics identification. The root-mean-square-error of predictions with lead times from 1 to 24 months is 5-27 sfu for the F10.7 and 3-16 sfu for F30 index, which statistically outperforms current algorithms in use. The proposed approach based on Kalman filter is universal and can be applied to improve the initial predictions of a process under study provided by any other forecasting method. Furthermore, we present a systematic evaluation of re-entry forecast as an application to test the performance of F10.7 predictions on past ESA re-entry campaigns for payloads, rocket bodies, and space debris that re-entered from June 2006 to June 2019. The test results demonstrate that the predictions obtained by RESONANCE in general also lead to improvements in the forecasts of re-entry epochs.


title: Relaxation mechanisms in supercooled liquids past the Mode--Coupling Crossover: Cooperatively Re--arranging Regions vs Excitations

abstract: Among the challenges in discriminating between theoretical approaches to the glass transition is obtaining suitable data. In particular, particle--resolved data in liquids supercooled past the mode--coupling crossover has until recently been hard to obtain. Here we combine nano-particle resolved experiments and GPU simulation data which addresses this and investigate the predictions of differing theoretical approaches. We find support for both dynamic facilitation and thermodynamic approaches. In particular, excitations, the elementary units of relaxation in dynamic facilitation theory follow the predicted scaling behaviour and the properties of cooperatively rearranging regions (CRRs) are consistent with RFOT theory. At weak supercooling there is limited correlation between particles identified in excitations and CRRs, but this increases very substantially at deep supercooling. We identify a timescale related to the CRRs which is coupled to the structural relaxation time and thus decoupled from the excitation timescale, which remains microscopic.


title: On distributed algorithms for minimum dominating set problem and beyond

abstract: In this paper, we study the minimum dominating set (MDS) problem and the minimum total dominating set MTDS) problem which have many applications in real world. We propose a new idea to compute approximate MDS and MTDS. Next, we give an upper bound on the size of MDS of a graph. We also present a distributed randomized algorithm that produces a (total) dominating subset of a given graph whose expected size equals the upper bound. Next, we give fast distributed algorithms for computing approximated solutions for the MDS and MTDS problems using our theoretical results. The MDS problem arises in diverse areas, for example in social networks, wireless networks, robotics, and etc. Most often, we need to compute MDS in a distributed or parallel model. So we implement our algorithm on massive networks and compare our results with the state of the art algorithms to show the efficiency of our proposed algorithms in practice. We also show how to extend our idea to propose algorithms for solving $k$-dominating set problem and set cover problem. Our algorithms can also handle the case where the network is dynamic or in the case where we have constraints in choosing the elements of MDS.


title: Hankel Transform of the First Form (q,r)-Dowling Numbers

abstract: In this paper, the Hankel transform of the generalized q-exponential polynomial of the first form (q, r)-Whitney numbers of the second kind is established using the method of Cigler. Consequently, the Hankel transform of the first form (q, r)-Dowling numbers is obtained as special case.


title: Expressions and Formulas to Expand and Add Potentiality to Knowledge Underlying Diffraction

abstract: Development generating diffraction-related valuable expressions and formulas capable of initiating new era for diffraction and for scientific domains that use it provided. The main expression, among these, gives diffracted intensity as explicit function of true and absolute distribution of interatomic vectors (DIV) and is suitable for constructing analytical techniques capable of converting experimental diffraction intensity data into real structural data, immediately and accurately interpretable as such, through Fourier transform tool (FTT) with no assumption and no approximation additional to those involved in kinematic theory. The first ever produced formula giving distribution of interatomic vectors, and hence distribution of interatomic distances (DID), of monatomic crystal provided together with description of possible way of obtaining it. Given examples of application relate to getting two DIDs and to using them to calculate X-ray diffracted intensity profiles, one DID was for zinc blende (ZnS) and was calculated from atom positions and the other one was for polonium and was calculated using both atom positions and appropriate formula. Software for calculating DIDs and X-ray profiles for monatomic crystals available freely. No longer needed to affect Debye scattering equation (DSE) through approximation and assumption makings before combining it with FTT to get to experimental structural data.


title: Versailles-FP dataset: Wall Detection in Ancient

abstract: Access to historical monuments' floor plans over a time period is necessary to understand the architectural evolution and history. Such knowledge bases also helps to rebuild the history by establishing connection between different event, person and facts which are once part of the buildings. Since the two-dimensional plans do not capture the entire space, 3D modeling sheds new light on the reading of these unique archives and thus opens up great perspectives for understanding the ancient states of the monument. Since the first step in the building's or monument's 3D model is the wall detection in the floor plan, we introduce in this paper the new and unique Versailles FP dataset of wall groundtruthed images of the Versailles Palace dated between 17th and 18th century. The dataset's wall masks are generated using an automatic approach based on multi directional steerable filters. The generated wall masks are then validated and corrected manually. We validate our approach of wall mask generation in state-of-the-art modern datasets. Finally we propose a U net based convolutional framework for wall detection. Our method achieves state of the art result surpassing fully connected network based approach.


title: Predicting instabilities of a tuneable ring laser with an iterative map model

abstract: Simple mathematical models have been unable to predict the conditions leading to instabilities in a tuneable ring laser. Here, we propose a nonlinear iterative map model for tuneable ring lasers. Solving a reduced nonlinear Schr\"odinger equation for each component in the laser cavity, we obtain an algebraic map for each component. Iterating through the maps gives the total effect of one round trip. By neglecting the nonlinearity, we find a linearly chirped Gaussian to be the analytic fixed point solution, which we analyze asymptotically. We then numerically solve the full nonlinear model, allowing us to probe the underlying interplay of dispersion, modulation, and nonlinearity as the pulse evolves over hundreds of round trips of the cavity. In the nonlinear case, we find the chirp saturates, and the Fourier transform of the pulse becomes more rectangular in shape. Finally, for a nominal plane in the parameter space, we uncover a rich, sharp boundary separating the stable region and the unstable region where modulation instability degrades the pulse into an unsustainable state.


title: Solvable Schrodinger Equations of Shape Invariant Potentials with Superpotential $W(x,A,B)=A\tanh 3px-B\coth px$

abstract: We propose a new, exactly solvable Schr\"{o}dinger equation. The potential partner is given by \[{ V=}-Bp\operatorname{csch}[px]^{2}-9p(B+p)\operatorname*{sech}[3px]^{2}+(B\coth[px]-3(B+p)\tanh[3px])^{2}.\] obtained using supersymmetric method with shape invariance property having a superpotential $W(x,A,B)=A\tanh 3px-B\coth px.$ We derive entirely the exact solutions of this family of Schr\"{o}dinger equations with the eigenvalue given by $E_{n}^{\left( -\right) }=(A-B)^{2}-(A-B-4np)^{2}% $ and the corresponding eigenfunctions are determined exactly and in closed form. Schr\"{o}dinger equations, and Sturm-Liouville equations in general, are challenging to solve in closed form, and only a few of them are known. Therefore, in a strict mathematical sense, discovering new solvable equations is essential in understanding the eluded solutions' underpinnings. This result has potential applications in nuclear physics and chemistry, and other fields of science.


title: Quasi-Equivalence Discovery for Zero-Shot Emergent Communication

abstract: Effective communication is an important skill for enabling information exchange in multi-agent settings and emergent communication is now a vibrant field of research, with common settings involving discrete cheap-talk channels. Since, by definition, these settings involve arbitrary encoding of information, typically they do not allow for the learned protocols to generalize beyond training partners. In contrast, in this work, we present a novel problem setting and the Quasi-Equivalence Discovery (QED) algorithm that allows for zero-shot coordination (ZSC), i.e., discovering protocols that can generalize to independently trained agents. Real world problem settings often contain costly communication channels, e.g., robots have to physically move their limbs, and a non-uniform distribution over intents. We show that these two factors lead to unique optimal ZSC policies in referential games, where agents use the energy cost of the messages to communicate intent. Other-Play was recently introduced for learning optimal ZSC policies, but requires prior access to the symmetries of the problem. Instead, QED can iteratively discovers the symmetries in this setting and converges to the optimal ZSC policy.


title: Decoherent Quench Dynamics across Quantum Phase Transitions

abstract: We present a formulation for investigating quench dynamics across quantum phase transitions in the presence of decoherence. We formulate decoherent dynamics induced by continuous quantum non-demolition measurements of the instantaneous Hamiltonian. We generalize the well-studied universal Kibble-Zurek behavior for linear temporal drive across the critical point. We identify a strong decoherence regime wherein the decoherence time is shorter than the standard correlation time, which varies as the inverse gap above the groundstate. In this regime, we find that the freeze-out time $\bar{t}\sim\tau^{{2\nu z}/({1+2\nu z})}$ for when the system falls out of equilibrium and the associated freeze-out length $\bar{\xi}\sim\tau^{\nu/({1+2\nu z})}$ show power-law scaling with respect to the quench rate $1/\tau$, where the exponents depend on the correlation length exponent $\nu$ and the dynamical exponent $z$ associated with the transition. The universal exponents differ from those of standard Kibble-Zurek scaling. We explicitly demonstrate this scaling behavior in the instance of a topological transition in a Chern insulator system. We show that the freeze-out time scale can be probed from the relaxation of the Hall conductivity. Furthermore, on introducing disorder to break translational invariance, we demonstrate how quenching results in regions of imbalanced excitation density characterized by an emergent length scale which also shows universal scaling. We perform numerical simulations to confirm our analytical predictions and corroborate the scaling arguments that we postulate as universal to a host of systems.


title: Binary R Packages for Linux: Past, Present and Future

abstract: Pre-compiled binary packages provide a convenient way of efficiently distributing software that has been adopted by most Linux package management systems. However, the heterogeneity of the Linux ecosystem, combined with the growing number of R extensions available, poses a scalability problem. As a result, efforts to bring binary R packages to Linux have been scattered, and lack a proper mechanism to fully integrate them with R's package manager. This work reviews past and present of binary distribution for Linux, and presents a path forward by showcasing the `cran2copr' project, an RPM-based proof-of-concept implementation of an automated scalable binary distribution system with the capability of building, maintaining and distributing thousands of packages, while providing a portable and extensible bridge to the system package manager.


title: Learning robust driving policies without online exploration

abstract: We propose a multi-time-scale predictive representation learning method to efficiently learn robust driving policies in an offline manner that generalize well to novel road geometries, and damaged and distracting lane conditions which are not covered in the offline training data. We show that our proposed representation learning method can be applied easily in an offline (batch) reinforcement learning setting demonstrating the ability to generalize well and efficiently under novel conditions compared to standard batch RL methods. Our proposed method utilizes training data collected entirely offline in the real-world which removes the need of intensive online explorations that impede applying deep reinforcement learning on real-world robot training. Various experiments were conducted in both simulator and real-world scenarios for the purpose of evaluation and analysis of our proposed claims.


title: No or diffuse phase transition with temperature in one-dimensional Ising model?

abstract: For nearly a century since Ising model was proposed in 1925, it is agreed that there is no phase transition with temperature in the one-dimensional based on no global spontaneous magnetization in whole temperature region. In this paper, the exact calculation of local spontaneous magnetization shows that a diffuse phase transition with temperature occurs in one-dimensional Ising model. In addition, although diffuse phase transition phenomenon is common in the systems of heterogeneous-components and grains etc., there is no accurate prediction of corresponding theoretical models so far, so the present works lay the theoretical foundation of this kind of phase transition.


title: Double-diffusive processes in stellar astrophysics

abstract: The past 20 years have witnessed a renewal of interest in the subject of double-diffusive processes in astrophysics, and their impact on stellar evolution. This lecture aims to summarize the state of the field as of early 2019, although the reader should bear in mind that it is rapidly evolving. An Annual Review of Fluid Mechanics article entitled "Double-diffusive convection at low Prandtl number" (Garaud, 2018) contains a reasonably comprehensive review of the topic, up to the summer of 2017. I focus here on presenting what I hope are clear derivations of some of the most important results with an astrophysical audience in mind, and discuss their implications for stellar evolution, both in an observational context, and in relation to previous work on the subject.


title: Gain modulation unlocks phase plasticity, thus allowing for malleable nonlinear dynamics

abstract: Nonlinear dynamics emerge through either nonlinear interactions between the variables or through nonlinearities imposed on their linear interactions. Their interactions can be conceptualized as modulations of input-output (I/O) functions, where one variable modulates another variable's I/O function. Within this framework, nonlinear interactions are manifested as gain modulations, where the gain (i.e. slope) of a variable's I/O function is modulated by another variable. By analyzing oscillatory dynamics in modulation phase space, I show that gain modulation qualitatively enhances phase plasticity by loosening the relationship between oscillation phase and instantaneous gain. This finding reveals how gain modulation renders nonlinear dynamics more adaptable. I discuss the direct implications of this finding on the ability of any nonlinear system to get entrained to rhythmic input and synchronize with other systems and how it relates to neural dynamics.


title: Pushing the Limits of Capsule Networks

abstract: Convolutional neural networks use pooling and other downscaling operations to maintain translational invariance for detection of features, but in their architecture they do not explicitly maintain a representation of the locations of the features relative to each other. This means they do not represent two instances of the same object in different orientations the same way, like humans do, and so training them often requires extensive data augmentation and exceedingly deep networks. A team at Google Brain recently made news with an attempt to fix this problem: Capsule Networks. While a normal CNN works with scalar outputs representing feature presence, a CapsNet works with vector outputs representing entity presence. We want to stress test CapsNet in various incremental ways to better understand their performance and expressiveness. In broad terms, the goals of our investigation are: (1) test CapsNets on datasets that are like MNIST but harder in a specific way, and (2) explore the internal embedding space and sources of error for CapsNets.


title: An epsilon-hypercyclicity criterion and its application on classical Banach spaces

abstract: We provide a criterion for $\varepsilon$-hypercyclicity. Also, we extend the ideas of Badea, Grivaux, M\"uller and Bayart to construct $\varepsilon$-hypercyclic operators which are not hypercyclic in a wider class of separable Banach spaces, including several classical Banach spaces. For instance, our result can be applied to separable infinite dimensional $L^p$ spaces and $C(K)$ spaces.


title: Correlation-Driven Electron-Hole Asymmetry in Graphene Field Effect Devices

abstract: Electron-hole asymmetry is a fundamental property in solids that can determine the nature of quantum phase transitions and the regime of operation for devices. The observation of electron-hole asymmetry in graphene and recently in the phase diagram of bilayer graphene has spurred interest into whether it stems from disorder or from fundamental interactions such as correlations. Here, we report an effective new way to access electron-hole asymmetry in 2D materials by directly measuring the quasiparticle self-energy in graphene/Boron Nitride field effect devices. As the chemical potential moves from the hole to the electron doped side, we see an increased strength of electronic correlations manifested by an increase in the band velocity and inverse quasiparticle lifetime. These results suggest that electronic correlations play an intrinsic role in driving electron hole asymmetry in graphene and provide a new insight for asymmetries in more strongly correlated materials.


title: Distribution Privacy Under Function Recoverability

abstract: A user generates n independent and identically distributed data random variables with a probability mass function that must be guarded from a querier. The querier must recover, with a prescribed accuracy, a given function of the data from each of n independent and identically distributed query responses upon eliciting them from the user. The user chooses the data probability mass function and devises the random query responses to maximize distribution privacy as gauged by the (Kullback-Leibler) divergence between the former and the querier's best estimate of it based on the n query responses. Considering an arbitrary function, a basic achievable lower bound for distribution privacy is provided that does not depend on n and corresponds to worst-case privacy. Worst-case privacy equals the logsum cardinalities of inverse atoms under the given function, with the number of summands decreasing as the querier recovers the function with improving accuracy. Next, upper (converse) and lower (achievability) bounds for distribution privacy, dependent on n, are developed. The former improves upon worst-case privacy and the latter does so under suitable assumptions; both converge to it as n grows. The converse and achievability proofs identify explicit strategies for the user and the querier.


title: The {\L}ojasiewicz exponent in non-degenerate deformations of surface singularities

abstract: We prove the constancy of the {\L}ojasiewicz exponent in non-degenerate $\mu$-constant deformations of surface singularities. This is a positive answer to a question posed by B. Teissier.


title: Crossing the Tepper Line: An Emerging Ontology for Describing the Dynamic Sociality of Embodied AI

abstract: Artificial intelligences (AI) are increasingly being embodied and embedded in the world to carry out tasks and support decision-making with and for people. Robots, recommender systems, voice assistants, virtual humans - do these disparate types of embodied AI have something in common? Here we show how they can manifest as "socially embodied AI." We define this as the state that embodied AI "circumstantially" take on within interactive contexts when perceived as both social and agentic by people. We offer a working ontology that describes how embodied AI can dynamically transition into socially embodied AI. We propose an ontological heuristic for describing the threshold: the Tepper line. We reinforce our theoretical work with expert insights from a card sort workshop. We end with two case studies to illustrate the dynamic and contextual nature of this heuristic.


title: Parameterized second post-Newtonian framework with conservation Laws

abstract: We parameterize the second post-Newtonian (2PN) metric for a gravitating system of fluids in the generalized harmonic gauge, and find that there are only three independent 2PN parameters (i.e. $\omega$, $\delta$ and $\delta_2$) for satisfying some conservation laws including the conservations of energy, momentum, angular-momentum and the uniform motion of the center-of-mass.


title: Linear Network Error Correction Coding: A Revisit

abstract: We consider linear network error correction (LNEC) coding when errors may occur on edges of a communication network of which the topology is known. In this paper, we first revisit and explore the framework of LNEC coding, and then unify two well-known LNEC coding approaches. Furthermore, by developing a graph-theoretic approach to the framework of LNEC coding, we obtain a significantly enhanced characterization of the error correction capability of LNEC codes in terms of the minimum distances at the sink nodes. In LNEC coding, the minimum required field size for the existence of LNEC codes, in particular LNEC maximum distance separable (MDS) codes which are a type of most important optimal codes, is an open problem not only of theoretical interest but also of practical importance, because it is closely related to the implementation of the coding scheme in terms of computational complexity and storage requirement. By applying the graph-theoretic approach, we obtain an improved upper bound on the minimum required field size. The improvement over the existing results is in general significant. The improved upper bound, which is graph-theoretic, depends only on the network topology and requirement of the error correction capability but not on a specific code construction. However, this bound is not given in an explicit form. We thus develop an efficient algorithm that can compute the bound in linear time. In developing the upper bound and the efficient algorithm for computing this bound, various graph-theoretic concepts are introduced. These concepts appear to be of fundamental interest in graph theory and they may have further applications in graph theory and beyond.


title: Exploring Genetic-histologic Relationships in Breast Cancer

abstract: The advent of digital pathology presents opportunities for computer vision for fast, accurate, and objective solutions for histopathological images and aid in knowledge discovery. This work uses deep learning to predict genomic biomarkers - TP53 mutation, PIK3CA mutation, ER status, PR status, HER2 status, and intrinsic subtypes, from breast cancer histopathology images. Furthermore, we attempt to understand the underlying morphology as to how these genomic biomarkers manifest in images. Since gene sequencing is expensive, not always available, or even feasible, predicting these biomarkers from images would help in diagnosis, prognosis, and effective treatment planning. We outperform the existing works with a minimum improvement of 0.02 and a maximum of 0.13 AUROC scores across all tasks. We also gain insights that can serve as hypotheses for further experimentations, including the presence of lymphocytes and karyorrhexis. Moreover, our fully automated workflow can be extended to other tasks across other cancer subtypes.


title: EnHMM: On the Use of Ensemble HMMs and Stack Traces to Predict the Reassignment of Bug Report Fields

abstract: Bug reports (BR) contain vital information that can help triaging teams prioritize and assign bugs to developers who will provide the fixes. However, studies have shown that BR fields often contain incorrect information that need to be reassigned, which delays the bug fixing process. There exist approaches for predicting whether a BR field should be reassigned or not. These studies use mainly BR descriptions and traditional machine learning algorithms (SVM, KNN, etc.). As such, they do not fully benefit from the sequential order of information in BR data, such as function call sequences in BR stack traces, which may be valuable for improving the prediction accuracy. In this paper, we propose a novel approach, called EnHMM, for predicting the reassignment of BR fields using ensemble Hidden Markov Models (HMMs), trained on stack traces. EnHMM leverages the natural ability of HMMs to represent sequential data to model the temporal order of function calls in BR stack traces. When applied to Eclipse and Gnome BR repositories, EnHMM achieves an average precision, recall, and F-measure of 54%, 76%, and 60% on Eclipse dataset and 41%, 69%, and 51% on Gnome dataset. We also found that EnHMM improves over the best single HMM by 36% for Eclipse and 76% for Gnome. Finally, when comparing EnHMM to Im.ML.KNN, a recent approach in the field, we found that the average F-measure score of EnHMM improves the average F-measure of Im.ML.KNN by 6.80% and improves the average recall of Im.ML.KNN by 36.09%. However, the average precision of EnHMM is lower than that of Im.ML.KNN (53.93% as opposed to 56.71%).


title: Thermal Visualization of Buried Interfaces by Transient and Steady-State Responses of Time-Domain Thermoreflectance

abstract: Thermal resistances from interfaces impede heat dissipation in micro/nanoscale electronics, especially for high-power electronics. Despite the growing importance of understanding interfacial thermal transport, advanced thermal characterization techniques which can visualize thermal conductance across buried interfaces, especially for nonmetal-nonmetal interfaces, are still under development. This work reports a dual-modulation-frequency TDTR mapping technique to visualize the thermal conduction across buried semiconductor interfaces for beta-Ga2O3-SiC samples. Both the beta-Ga2O3 thermal conductivity and the buried beta-Ga2O3-SiC thermal boundary conductance (TBC) are visualized for an area of 200 um x 200 um. Areas with low TBC values ( smaller than 20 MW/m2-K) are successfully identified on the TBC map, which correspond to weakly bonded interfaces caused by high-temperature annealing. The steady-state temperature rise (detector voltage), usually ignored in TDTR measurements, is found to be able to probe TBC variations of the buried interfaces without the limit of thermal penetration depth. This technique can be applied to detect defects/voids in deeply buried heterogeneous interfaces non-destructively, and also opens a door for the visualization of thermal conductance in nanoscale nonhomogeneous structures.


title: Extra automorphisms of cyclic orbifolds of lattice vertex operator algebras

abstract: In this article, we study the automorphism group of the cyclic orbifold of a vertex operator algebra associated with a rootless even lattice for a lift of a fixed-point free isometry of odd prime order $p$. We prove that such a cyclic orbifold contains extra automorphisms, not induced from automorphisms of the lattice vertex operator algebra, if and only if the rootless even lattice can be constructed by Construction B from a code over $\mathbb{Z}_p$ or is isometric to the coinvariant lattice of the Leech lattice associated with a certain isometry of order $p$.


title: Multi-Discriminator Sobolev Defense-GAN Against Adversarial Attacks for End-to-End Speech Systems

abstract: This paper introduces a defense approach against end-to-end adversarial attacks developed for cutting-edge speech-to-text systems. The proposed defense algorithm has four major steps. First, we represent speech signals with 2D spectrograms using the short-time Fourier transform. Second, we iteratively find a safe vector using a spectrogram subspace projection operation. This operation minimizes the chordal distance adjustment between spectrograms with an additional regularization term. Third, we synthesize a spectrogram with such a safe vector using a novel GAN architecture trained with Sobolev integral probability metric. To improve the model's performance in terms of stability and the total number of learned modes, we impose an additional constraint on the generator network. Finally, we reconstruct the signal from the synthesized spectrogram and the Griffin-Lim phase approximation technique. We evaluate the proposed defense approach against six strong white and black-box adversarial attacks benchmarked on DeepSpeech, Kaldi, and Lingvo models. Our experimental results show that our algorithm outperforms other state-of-the-art defense algorithms both in terms of accuracy and signal quality.


title: Instanton L-spaces and splicing

abstract: We prove that the 3-manifold obtained by gluing the complements of two nontrivial knots in homology 3-sphere instanton L-spaces, by a map which identifies meridians with Seifert longitudes, cannot be an instanton L-space. This recovers the recent theorem of Lidman, Pinzon-Caicedo, and Zentner that the fundamental group of every closed, oriented, toroidal 3-manifold admits a nontrivial SU(2)-representation, and consequently Zentner's earlier result that the fundamental group of every closed, oriented 3-manifold besides the 3-sphere admits a nontrivial SL(2,C)-representation.


title: Topological crystalline superconductivity in locally noncentrosymmetric CeRh$_2$As$_2$

abstract: Recent discovery of superconductivity in CeRh$_2$As$_2$ clarified an unusual $H$-$T$ phase diagram with two superconducting phases [Khim et al. arXiv:2101.09522]. The experimental observation has been interpreted based on the even-odd parity transition characteristic of locally noncentrosymmetric superconductors. Indeed, the inversion symmetry is locally broken at the Ce site, and CeRh$_2$As$_2$ molds a new class of exotic superconductors. The low-temperature and high-field superconducting phase is a candidate for the odd-parity pair-density-wave state, suggesting a possibility of topological superconductivity as spin-triplet superconductors are. In this paper, we first derive the formula expressing the $\mathbb{Z}_2$ invariant of glide symmetric and time-reversal symmetry broken superconductors by the number of Fermi surfaces on a glide invariant line. Next, we conduct a first-principles calculation for the electronic structure of CeRh$_2$As$_2$. Combining the results, we show that the field-induced odd-parity superconducting phase of CeRh$_2$As$_2$ is a platform of topological crystalline superconductivity protected by the nonsymmorphic glide symmetry and accompanied by boundary Majorana fermions.


title: Small scale equidistribution of random waves generated by an unfair coin flip

abstract: In this paper we study the small scale equidistribution property of random waves whose coefficients are determined by an unfair coin. That is the coefficients take value $+1$ with probability $p$ and $-1$ with probability $1-p$. Random waves whose coefficients are associated with a fair coin are known to equidistribute down to the wavelength scale. We obtain explicit requirements on the deviation from the fair ($p=0.5$) coin to retain equidistribution.


title: Noetherianity of twisted Zhu algebra and bimodules

abstract: In this paper we show that for a large natural class of vertex operator algebras (VOAs) and their modules, the Zhu algebras and bimodules (and their $g$-twisted analogs) are Noetherian. These carry important information about the representation theory of the VOA, and its fusion rules, and the Noetherian property gives the potential for (non-commutative) algebro-geometric methods to be employed in their study.


title: Generation of momentum transport in weakly turbulent $\beta$-plane magnetohydrodynamics

abstract: Magnetohydrodynamic (MHD) turbulence on a $\beta$-plane with an in-plane mean field, a system which serves as a simple model for the solar tachocline, is investigated analytically and computationally. We first derive two useful analytic constraints: we express the mean turbulent cross-helicity in terms of the mean turbulent magnetic energy, and then show that (for weak turbulence) the time-averaged momentum transport in the system can be expressed in terms of the cross-helicity spectrum. We then complete a closure of the system using weak turbulence theory, appropriately extended to a system with multiple interacting eigenmodes. We use this closure to perturbatively solve for the spectra at lowest order in the Rossby parameter $\beta$ and thereby show that the momentum transport in the system is $O(\beta^2)$, thus quantifying the transition away from Alfv\'enized turbulence. Finally, we verify our theoretical results by performing direct numerical simulations of the system over a broad range of $\beta$.


title: Adaptive posterior convergence in sparse high dimensional clipped generalized linear models

abstract: We develop a framework to study posterior contraction rates in sparse high dimensional generalized linear models (GLM). We introduce a new family of GLMs, denoted by clipped GLM, which subsumes many standard GLMs and makes minor modification of the rest. With a sparsity inducing prior on the regression coefficients, we delineate sufficient conditions on true data generating density that leads to minimax optimal rates of posterior contraction of the coefficients in $\ell_1$ norm. Our key contribution is to develop sufficient conditions commensurate with the geometry of the clipped GLM family, propose prior distributions which do not require any knowledge of the true parameters and avoid any assumption on the growth rate of the true coefficient vector.


title: Around quantum ergodicity

abstract: We discuss Shnirelman's Quantum Ergodicity Theorem, giving an outline of a proof and an overview of some of the recent developments in mathematical Quantum Chaos.


title: Four-body (an)harmonic oscillator in $d$-dimensional space: $S$-states, (quasi)-exact-solvability, hidden algebra $sl(7)$

abstract: As a generalization and extension of our previous paper {\it J. Phys. A: Math. Theor. 53 055302} \cite{AME2020}, in this work we study a quantum 4-body system in $\mathbb{R}^d$ ($d\geq 3$) with quadratic and sextic pairwise potentials in the {\it relative distances}, $r_{ij} \equiv {|{\bf r}_i - {\bf r}_j |}$, between particles. Our study is restricted to solutions in the space of relative motion with zero total angular momentum ($S$-states). In variables $\rho_{ij} \equiv r_{ij}^2$, the corresponding reduced Hamiltonian of the system possesses a hidden $sl(7;{\bf R})$ Lie algebra structure. In the $\rho$-representation it is shown that the 4-body harmonic oscillator with arbitrary masses and unequal spring constants is exactly-solvable (ES). We pay special attention to the case of four equal masses and to atomic-like (where one mass is infinite, three others are equal), molecular two-center (two masses are infinite, two others are equal) and molecular three-center (three infinite masses) cases. In particular, exact results in the molecular case are compared with those obtained within the Born-Oppenheimer approximation. The first and second order symmetries of non-interacting system are searched. Also, the reduction to the lower dimensional cases $d=1,2$ is discussed. It is shown that for four body harmonic oscillator case there exists an infinite family of eigenfunctions which depend on the single variable which is the moment-of-inertia of the system.


title: Towards Robust Speech-to-Text Adversarial Attack

abstract: This paper introduces a novel adversarial algorithm for attacking the state-of-the-art speech-to-text systems, namely DeepSpeech, Kaldi, and Lingvo. Our approach is based on developing an extension for the conventional distortion condition of the adversarial optimization formulation using the Cram\`er integral probability metric. Minimizing over this metric, which measures the discrepancies between original and adversarial samples' distributions, contributes to crafting signals very close to the subspace of legitimate speech recordings. This helps to yield more robust adversarial signals against playback over-the-air without employing neither costly expectation over transformation operations nor static room impulse response simulations. Our approach outperforms other targeted and non-targeted algorithms in terms of word error rate and sentence-level-accuracy with competitive performance on the crafted adversarial signals' quality. Compared to seven other strong white and black-box adversarial attacks, our proposed approach is considerably more resilient against multiple consecutive playbacks over-the-air, corroborating its higher robustness in noisy environments.


title: Hochschild cohomology of dg manifolds associated to integrable distributions

abstract: For the field $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$, and an integrable distribution $F \subseteq T_M \otimes_{\mathbb{R}} \mathbb{K}$ on a smooth manifold $M$, we study the Hochschild cohomology of the dg manifold $(F[1],d_F)$ and establish a canonical isomorphism with the Hochschild cohomology of the algebra of functions on leaf space in terms of transversal polydifferential operators of $F$. In particular, for the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ associated with a complex manifold $X$, we prove that its Hochschild cohomology is canonically isomorphic to the Hochschild cohomology $HH^{\bullet}(X)$ of the complex manifold $X$. As an application, we show that the Duflo-Kontsevich type theorem for the dg manifold $(T_X^{0,1}[1],\bar{\partial})$ implies the Duflo-Kontsevich theorem for complex manifolds.


title: Resolution Limits of 20 Questions Search Strategies for Moving Targets

abstract: We establish fundamental limits of tracking a moving target over the unit cube under the framework of 20 questions with measurement-dependent noise. In this problem, there is an oracle who knows the instantaneous location of a target. Our task is to query the oracle as few times as possible to accurately estimate the trajectory of the moving target, whose initial location and velocity is \emph{unknown}. We study the case where the oracle's answer to each query is corrupted by random noise with query-dependent discrete distribution. In our formulation, the performance criterion is the resolution, which is defined as the maximal absolute value between the true location and estimated location at each discrete time during the searching process. We are interested in the minimal resolution of any non-adaptive searching procedure with a finite number of queries and derive approximations to this optimal resolution via the second-order asymptotic analysis.


title: Eddy heat exchange at the boundary under white noise turbulence

abstract: We prove the existence of an eddy heat diffusion coefficient coming from an idealized model of turbulent fluid. A difficulty lies in the presence of a boundary, with also turbulent mixing and the eddy diffusion coefficient going to zero at the boundary. Nevertheless enhanced diffusion takes place.


title: On the reduction numbers and the Castelnuovo-Mumford regularity of projective monomial curves

abstract: This paper gives explicit formulas for the reduction number and the Castelnuovo-Mumford regularity of projective monomial curves.


title: A Traveling-Wave Solution for Bacterial Chemotaxis with Growth

abstract: Bacterial cells navigate around their environment by directing their movement along chemical gradients. This process, known as chemotaxis, can promote the rapid expansion of bacterial populations into previously unoccupied territories. However, despite numerous experimental and theoretical studies on this classical topic, chemotaxis-driven population expansion is not understood in quantitative terms. Building on recent experimental progress, we here present a detailed analytical study that provides a quantitative understanding of how chemotaxis and cell growth lead to rapid and stable expansion of bacterial populations. We provide analytical relations that accurately describe the dependence of the expansion speed and density profile of the expanding population on important molecular, cellular, and environmental parameters. In particular, expansion speeds can be boosted by orders of magnitude when the environmental availability of chemicals relative to the cellular limits of chemical sensing is high. As analytical understanding of such complex spatiotemporal dynamic processes is rare, the results derived here provide a mathematical framework for further investigations of the different roles chemotaxis plays in diverse ecological contexts.


title: Lectures on error analysis of interpolation on simplicial triangulations without the shape-regularity assumption, Part 2: Lagrange interpolation on tetrahedrons

abstract: This is the second lecture note on the error analysis of interpolation on simplicial elements without the shape regularity assumption (the previous one is arXiv:1908.03894). In this manuscript, we explain the error analysis of Lagrange interpolation on (possibly anisotropic) tetrahedrons. The manuscript is not intended to be a research paper. We hope that, in the future, it will be merged into a textbook on the mathematical theory of the finite element methods.


title: Classifying Cycling Hazards in Egocentric Data

abstract: This proposal is for the creation and annotation of an egocentric video data set of hazardous cycling situations. The resulting data set will facilitate projects to improve the safety and experience of cyclists. Since cyclists are highly sensitive to road surface conditions and hazards they require more detail about road conditions when navigating their route. Features such as tram tracks, cobblestones, gratings, and utility access points can pose hazards or uncomfortable riding conditions for their journeys. Possible uses for the data set are identifying existing hazards in cycling infrastructure for municipal authorities, real time hazard and surface condition warnings for cyclists, and the identification of conditions that cause cyclists to make sudden changes in their immediate route.


title: On the existence and multiplicity of solutions for the $ N $-Choquard logarithmic equation with exponential critical growth

abstract: In the present work we briefly explain how to adapt techniques already used in fractional and $p$-fractional Laplacian cases to obtain the existence of a nontrivial solution at the mountain pass level and a nontrivial ground state solution, for the critical case, and the existence of infinitely many solutions, for the subcritical case, to the Choquard Logarithmic equation, $-\Delta_N u + a(x)|u|^{N-2}u + \lambda (\ln|\cdot|\ast |u|^{N})|u|^{N-2}u = f(u) \textrm{ in } \mathbb{R}^N $, where $ a:\mathbb{R}^N \rightarrow \mathbb{R} $, $ \lambda >0 $, $ N \geq 3 $ and $f: \mathbb{R} \rightarrow [0, \infty) $ is continuous function that behaves like $ \exp(\alpha |u|^{\frac{N}{N-1}}) $ at infinity, for $ \alpha >0 $.


title: Qualifying ringdown and shadow of black holes under general parametrized metrics with photon orbits

abstract: The motion of photons around black holes determines the shape of shadow and match the ringdown properties of a perturbed black hole. Observations of shadows and ringdown waveforms will reveal the nature of black holes. In this paper, we study the motion of photons in a general parametrized metric beyond the Kerr hypothesis. We investigated the radius and frequency of the photon circular orbits on the equatorial plane and obtained fitted formula with varied parameters. The Lyapunov exponent which connects to the decay rate of the ringdown amplitude is also calculated. We also analyzed the shape of shadow with full parameters of the generally axisymmetric metric. Our results imply the potential constraint on black hole parameters by combining the Event Horizon Telescope and gravitational wave observations in the future.


title: MBAPose: Mask and Bounding-Box Aware Pose Estimation of Surgical Instruments with Photorealistic Domain Randomization

abstract: Surgical robots are usually controlled using a priori models based on the robots' geometric parameters, which are calibrated before the surgical procedure. One of the challenges in using robots in real surgical settings is that those parameters can change over time, consequently deteriorating control accuracy. In this context, our group has been investigating online calibration strategies without added sensors. In one step toward that goal, we have developed an algorithm to estimate the pose of the instruments' shafts in endoscopic images. In this study, we build upon that earlier work and propose a new framework to more precisely estimate the pose of a rigid surgical instrument. Our strategy is based on a novel pose estimation model called MBAPose and the use of synthetic training data. Our experiments demonstrated an improvement of 21 % for translation error and 26 % for orientation error on synthetic test data with respect to our previous work. Results with real test data provide a baseline for further research.


title: Normalized solutions to a class of Kirchhoff equations with Sobolev critical exponent

abstract: In this paper, we consider the existence and asymptotic properties of solutions to the following Kirchhoff equation \begin{equation}\label{1}\nonumber - \Bigl(a+b\int_{{\R^3}} {{{\left| {\nabla u} \right|}^2}}\Bigl) \Delta u =\lambda u+ {| u |^{p - 2}}u+\mu {| u |^{q - 2}}u \text { in } \mathbb{R}^{3} \end{equation} under the normalized constraint $\int_{{\mathbb{R}^3}} {{u}^2}=c^2$, where $a\!>\!0$, $b\!>\!0$, $c\!>\!0$, $2\!<\!q\!<\!\frac{14}{3}\!<\! p\!\leq\!6$ or $\frac{14}{3}\!<\!q\!<\! p\!\leq\! 6$, $\mu\!>\!0$ and $\lambda\!\in\!\R$ appears as a Lagrange multiplier. In both cases for the range of $p$ and $q$, the Sobolev critical exponent $p\!=\!6$ is involved and the corresponding energy functional is unbounded from below on $S_c=\Big\{ u \in H^{1}({\mathbb{R}^3}): \int_{{\mathbb{R}^3}} {{u}^2}=c^2 \Big\}$. If $2\!<\!q\!<\!\frac{10}{3}$ and $\frac{14}{3}\!<\! p\!<\!6$, we obtain a multiplicity result to the equation. If $2\!<\!q\!<\!\frac{10}{3}\!<\! p\!=\!6$ or $\frac{14}{3}\!<\!q\!<\! p\!\leq\! 6$, we get a ground state solution to the equation. Furthermore, we derive several asymptotic results on the obtained normalized solutions. Our results extend the results of N. Soave (J. Differential Equations 2020 $\&$ J. Funct. Anal. 2020), which studied the nonlinear Schr\"{o}dinger equations with combined nonlinearities, to the Kirchhoff equations. To deal with the special difficulties created by the nonlocal term $({\int_{{\R^3}} {\left| {\nabla u} \right|} ^2}) \Delta u$ appearing in Kirchhoff type equations, we develop a perturbed Pohozaev constraint approach and we find a way to get a clear picture of the profile of the fiber map via careful analysis. In the meantime, we need some subtle energy estimates under the $L^2$-constraint to recover compactness in the Sobolev critical case.


title: Mutual Information State Intrinsic Control

abstract: Reinforcement learning has been shown to be highly successful at many challenging tasks. However, success heavily relies on well-shaped rewards. Intrinsically motivated RL attempts to remove this constraint by defining an intrinsic reward function. Motivated by the self-consciousness concept in psychology, we make a natural assumption that the agent knows what constitutes itself, and propose a new intrinsic objective that encourages the agent to have maximum control on the environment. We mathematically formalize this reward as the mutual information between the agent state and the surrounding state under the current agent policy. With this new intrinsic motivation, we are able to outperform previous methods, including being able to complete the pick-and-place task for the first time without using any task reward. A video showing experimental results is available at https://youtu.be/AUCwc9RThpk.


title: Extrinsic Contact Sensing with Relative-Motion Tracking from Distributed Tactile Measurements

abstract: This paper addresses the localization of contacts of an unknown grasped rigid object with its environment, i.e., extrinsic to the robot. We explore the key role that distributed tactile sensing plays in localizing contacts external to the robot, in contrast to the role that aggregated force/torque measurements play in localizing contacts on the robot. When in contact with the environment, an object will move in accordance with the kinematic and possibly frictional constraints imposed by that contact. Small motions of the object, which are observable with tactile sensors, indirectly encode those constraints and the geometry that defines them. We formulate the extrinsic contact sensing problem as a constraint-based estimation. The estimation is subject to the kinematic constraints imposed by the tactile measurements of object motion, as well as the kinematic (e.g., non-penetration) and possibly frictional (e.g., sticking) constraints imposed by rigid-body mechanics. We validate the approach in simulation and with real experiments on the case studies of fixed point and line contacts. This paper discusses the theoretical basis for the value of distributed tactile sensing in contrast to aggregated force/torque measurements. It also provides an estimation framework for localizing environmental contacts with potential impact in contact-rich manipulation scenarios such as assembling or packing.


title: Boundary Proposal Network for Two-Stage Natural Language Video Localization

abstract: We aim to address the problem of Natural Language Video Localization (NLVL)-localizing the video segment corresponding to a natural language description in a long and untrimmed video. State-of-the-art NLVL methods are almost in one-stage fashion, which can be typically grouped into two categories: 1) anchor-based approach: it first pre-defines a series of video segment candidates (e.g., by sliding window), and then does classification for each candidate; 2) anchor-free approach: it directly predicts the probabilities for each video frame as a boundary or intermediate frame inside the positive segment. However, both kinds of one-stage approaches have inherent drawbacks: the anchor-based approach is susceptible to the heuristic rules, further limiting the capability of handling videos with variant length. While the anchor-free approach fails to exploit the segment-level interaction thus achieving inferior results. In this paper, we propose a novel Boundary Proposal Network (BPNet), a universal two-stage framework that gets rid of the issues mentioned above. Specifically, in the first stage, BPNet utilizes an anchor-free model to generate a group of high-quality candidate video segments with their boundaries. In the second stage, a visual-language fusion layer is proposed to jointly model the multi-modal interaction between the candidate and the language query, followed by a matching score rating layer that outputs the alignment score for each candidate. We evaluate our BPNet on three challenging NLVL benchmarks (i.e., Charades-STA, TACoS and ActivityNet-Captions). Extensive experiments and ablative studies on these datasets demonstrate that the BPNet outperforms the state-of-the-art methods.


title: The Dirichlet-to-Neumann map for a semilinear wave equation on Lorentzian manifolds

abstract: We consider the semilinear wave equation $\Box_g u+a u^4=0$, $a\neq 0$, on a Lorentzian manifold $(M,g)$ with timelike boundary. We show that from the knowledge of the Dirichlet-to-Neumann map one can recover the metric $g$ and the coefficient $a$ up to natural obstructions. Our proof rests on the analysis of the interaction of distorted plane waves together with a scattering control argument, as well as Gaussian beam solutions.


title: Doping-induced topological transition and enhancement of thermopower in the Dirac-semimetal system Cd$_{3-x}$Zn$_x$As$_2$

abstract: Cd$_3$As$_2$ is one of the prototypical topological Dirac semimetals. Here, we manipulate the band inversion responsible for the emergence of Dirac nodes by alloying Cd$_3$As$_2$ with topologically trivial Zn$_3$As$_2$. We observe the expected topological phase transition around a Zn concentration of $x\sim 1$ while the carrier density monotonically decreases as $x$ is increased. For larger $x$, the thermoelectric figure of merit exhibits comparably large values exceeding 0.3 at room temperature, due to the combined effects of a strong enhancement of the thermopower, an only moderate increase of the resistivity, and a suppression of the thermal conductivity. Complementary quantum-oscillation data and optical-conductivity measurements allow to infer that the enhanced thermoelectric performance is due to a flattening of the band structure in the higher-$x$ region in Cd$_{3-x}$Zn$_x$As$_2$.


title: Instantaneous SED coding over a DMC

abstract: In this paper, we propose a novel code for transmitting a sequence of $n$ message bits in real time over a discrete-memoryless channel (DMC) with noiseless feedback, where the message bits stream into the encoder one by one at random time instants. Similar to existing posterior matching schemes with block encoding, the encoder in our work takes advantage of the channel feedback to form channel inputs that contain the information the decoder does not yet have, and that are distributed close to the capacity-achieving input distribution, but dissimilar to the existing posterior matching schemes, the encoder performs instantaneous encoding--it immediately weaves the new message bits into a continuing transmission. A posterior matching scheme by Naghshvar et al. partitions the source messages into groups so that the group posteriors have a small-enough difference (SED) to the capacity-achieving distribution, and transmits the group index that contains the actual message. Our code adopts the SED rule to apply to the evolving message alphabet that contains all the possible variable-length strings that the source could have emitted up to that time. Our instantaneous SED code achieves better delay-reliability tradeoffs than existing feedback codes over $2$-input DMCs: we establish this dominance both by simulations and via an analysis comparing the performance of the instantaneous SED code to Burnashev's reliability function. We also design a low-complexity code for binary symmetric channels that we name the instantaneous type set SED code with complexity $O(t^4)$. Simulation results show that the gap in performance between the instantaneous SED code and the instantaneous type-set SED code is negligible.


title: Direct observation of the spin-orbit coupling effect in Magnetic Weyl semimetal Co3Sn2S2

abstract: The spin-orbit coupling (SOC) lifts the band degeneracy that plays a vital role in the search for different topological states, such as topological insulators (TIs) and topological semimetals (TSMs). In TSMs, the SOC can partially gap a degenerate nodal line, leading to the formation of Dirac/Weyl semimetals (DSMs/WSMs). However, such SOC-induced gap structure along the nodal line in TSMs has not yet been systematically investigated experimentally. Here, we report a direct observation of such gap structure in a magnetic WSM Co3Sn2S2 using high resolution angle-resolved photoemission spectroscopy. Our results not only reveal the existence and importance of the strong SOC effect in the formation of the WSM phase in Co3Sn2S2, but also provide insights for the understanding of its exotic physical properties.


title: The isomorphism problem for Schubert varieties

abstract: Schubert varieties in the full flag variety of Kac-Moody type are indexed by elements of the corresponding Weyl group. We give a practical criterion for when two such Schubert varieties (from potentially different flag varieties) are isomorphic, in terms of the Cartan matrix and reduced words for the indexing Weyl group elements. As a corollary, we show that two such Schubert varieties are isomorphic if and only if there is an isomorphism between their integral cohomology rings that preserves the Schubert basis.


title: Universal Representation Learning of Knowledge Bases by Jointly Embedding Instances and Ontological Concepts

abstract: Many large-scale knowledge bases simultaneously represent two views of knowledge graphs (KGs): an ontology view for abstract and commonsense concepts, and an instance view for specific entities that are instantiated from ontological concepts. Existing KG embedding models, however, merely focus on representing one of the two views alone. In this paper, we propose a novel two-view KG embedding model, JOIE, with the goal to produce better knowledge embedding and enable new applications that rely on multi-view knowledge. JOIE employs both cross-view and intra-view modeling that learn on multiple facets of the knowledge base. The cross-view association model is learned to bridge the embeddings of ontological concepts and their corresponding instance-view entities. The intra-view models are trained to capture the structured knowledge of instance and ontology views in separate embedding spaces, with a hierarchy-aware encoding technique enabled for ontologies with hierarchies. We explore multiple representation techniques for the two model components and investigate with nine variants of JOIE. Our model is trained on large-scale knowledge bases that consist of massive instances and their corresponding ontological concepts connected via a (small) set of cross-view links. Experimental results on public datasets show that the best variant of JOIE significantly outperforms previous models on instance-view triple prediction task as well as ontology population on ontologyview KG. In addition, our model successfully extends the use of KG embeddings to entity typing with promising performance.


title: Improving Generalization of Transfer Learning Across Domains Using Spatio-Temporal Features in Autonomous Driving

abstract: Practical learning-based autonomous driving models must be capable of generalizing learned behaviors from simulated to real domains, and from training data to unseen domains with unusual image properties. In this paper, we investigate transfer learning methods that achieve robustness to domain shifts by taking advantage of the invariance of spatio-temporal features across domains. In this paper, we propose a transfer learning method to improve generalization across domains via transfer of spatio-temporal features and salient data augmentation. Our model uses a CNN-LSTM network with Inception modules for image feature extraction. Our method runs in two phases: Phase 1 involves training on source domain data, while Phase 2 performs training on target domain data that has been supplemented by feature maps generated using the Phase 1 model. Our model significantly improves performance in unseen test cases for both simulation-to-simulation transfer as well as simulation-to-real transfer by up to +37.3\% in test accuracy and up to +40.8\% in steering angle prediction, compared to other SOTA methods across multiple datasets.


title: A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report

abstract: Signal temporal logic (STL) was introduced for monitoring temporal properties of continuous-time signals for continuous and hybrid systems. Differential dynamic logic (dL) was introduced to reason about the end states of a hybrid program. Over the past decade, STL and its variants have significantly gained in popularity in the industry for monitoring purposes, while dL has gained in popularity for verification of hybrid systems. In this paper, we bridge the gap between the two different logics by introducing signal temporal dynamic logic (STdL) -- a dynamic logic that reasons about a subset of STL specifications over executions of hybrid systems. Our work demonstrates that STL can be used for deductive verification of hybrid systems. STdL significantly augments the expressiveness of dL by allowing reasoning about temporal properties in given time intervals. We provide a semantics and a proof calculus for STdL, along with a proof of soundness and relative completeness.


title: Classification of 4XMM-DR9 Sources by Machine Learning

abstract: The ESA's X-ray Multi-Mirror Mission (XMM-Newton) created a new, high quality version of the XMM-Newton serendipitous source catalogue, 4XMM-DR9, which provides a wealth of information for observed sources. The 4XMM-DR9 catalogue is correlated with the Sloan Digital Sky Survey (SDSS) DR12 photometric database and the ALLWISE database, then we get the X-ray sources with information from X-ray, optical and/or infrared bands, and obtain the XMM-WISE sample, the XMM-SDSS sample and the XMM-WISE-SDSS sample. Based on the large spectroscopic surveys of SDSS and the Large Sky Area Multi-object Fiber Spectroscopic Telescope (LAMOST), we cross-match the XMM-WISE-SDSS sample with those sources of known spectral classes, and obtain the known samples of stars, galaxies and quasars. The distribution of stars, galaxies and quasars as well as all spectral classes of stars in 2-d parameter spaces is presented. Various machine learning methods are applied on different samples from different bands. The better classified results are retained. For the sample from X-ray band, rotation forest classifier performs the best. For the sample from X-ray and infrared bands, a random forest algorithm outperforms all other methods. For the samples from X-ray, optical and/or infrared bands, LogitBoost classifier shows its superiority. Thus, all X-ray sources in the 4XMM-DR9 catalogue with different input patterns are classified by their respective models which are created by these best methods. Their membership and membership probabilities to individual X-ray sources are assigned. The classified result will be of great value for the further research of X-ray sources in greater detail.


title: Mobile Teleoperation: Feasibility of Wireless Wearable Sensing of the Operator's Arm Motion

abstract: Teleoperation platforms often require the user to be situated at a fixed location to both visualize and control the movement of the robot and thus do not provide the operator with much mobility. One example is in existing robotic surgery solutions that require the surgeons to be away from the patient, attached to consoles where their heads must be fixed and their arms can only move in a limited space. This creates a barrier between physicians and patients that does not exist in normal surgery. To address this issue, we propose a mobile telesurgery solution where the surgeons are no longer mechanically limited to control consoles and are able to teleoperate the robots from the patient bedside, using their arms equipped with wireless sensors and viewing the endoscope video via optical see-through head-mounted displays (HMDs). We evaluate the feasibility and efficiency of our user interaction method compared to a standard surgical robotic manipulator via two tasks with different levels of required dexterity. The results indicate that with sufficient training our proposed platform can attain similar efficiency while providing added mobility for the operator.


title: Accurate Measurement of the Gap of Graphene/hBN Moir\'e Superlattice through Photocurrent Spectroscopy

abstract: Monolayer graphene aligned with hexagonal boron nitride (hBN) develops a gap at the charge neutrality point (CNP). This gap has previously been extensively studied by electrical transport through thermal activation measurements. Here, we report the determination of the gap size at the CNP of graphene/hBN superlattice through photocurrent spectroscopy study. We demonstrate two distinct measurement approaches to extract the gap size. A maximum of ~ 14 meV gap is observed for devices with a twist angle of less than 1 degree. This value is significantly smaller than that obtained from thermal activation measurements, yet larger than the theoretically predicted single-particle gap. Our results suggest that lattice relaxation and moderate electron-electron interaction effects may enhance the CNP gap in hBN/graphene superlattice.