title: Quantum computing enhanced computational catalysis

abstract: The quantum computation of electronic energies can break the curse of dimensionality that plagues many-particle quantum mechanics. It is for this reason that a universal quantum computer has the potential to fundamentally change computational chemistry and materials science, areas in which strong electron correlations present severe hurdles for traditional electronic structure methods. Here, we present a state-of-the-art analysis of accurate energy measurements on a quantum computer for computational catalysis, using improved quantum algorithms with more than an order of magnitude improvement over the best previous algorithms. As a prototypical example of local catalytic chemical reactivity we consider the case of a ruthenium catalyst that can bind, activate, and transform carbon dioxide to the high-value chemical methanol. We aim at accurate resource estimates for the quantum computing steps required for assessing the electronic energy of key intermediates and transition states of its catalytic cycle. In particular, we present new quantum algorithms for double-factorized representations of the four-index integrals that can significantly reduce the computational cost over previous algorithms, and we discuss the challenges of increasing active space sizes to accurately deal with dynamical correlations. We address the requirements for future quantum hardware in order to make a universal quantum computer a successful and reliable tool for quantum computing enhanced computational materials science and chemistry, and identify open questions for further research.


title: Modeling Behaviour to Predict User State: Self-Reports as Ground Truth

abstract: Methods that detect user states such as emotions are useful for interactive systems. In this position paper, we argue for model-based approaches that are trained on user behaviour and self-reported user state as ground truths. In an application context, they record behaviour, extract relevant features, and use the models to predict user states. We describe how this approach can be implemented and discuss its benefits in comparison to solely self-reports in an application and to models of behaviour without the selfreport ground truths. Finally, we discuss shortcomings of this approach by considering its drawbacks and limitations.


title: Anomaly Awareness

abstract: We present a new algorithm for anomaly detection called Anomaly Awareness. The algorithm learns about normal events while being made aware of the anomalies through a modification of the cost function. We show how this method works in different Particle Physics situations and in standard Computer Vision tasks. For example, we apply the method to images from a Fat Jet topology generated by Standard Model Top and QCD events, and test it against an array of new physics scenarios, including Higgs production with EFT effects and resonances decaying into two, three or four subjets. We find that the algorithm is effective identifying anomalies not seen before, and becomes robust as we make it aware of a varied-enough set of anomalies.


title: Few-Shot Keyword Spotting With Prototypical Networks

abstract: Recognizing a particular command or a keyword, keyword spotting has been widely used in many voice interfaces such as Amazon's Alexa and Google Home. In order to recognize a set of keywords, most of the recent deep learning based approaches use a neural network trained with a large number of samples to identify certain pre-defined keywords. This restricts the system from recognizing new, user-defined keywords. Therefore, we first formulate this problem as a few-shot keyword spotting and approach it using metric learning. To enable this research, we also synthesize and publish a Few-shot Google Speech Commands dataset. We then propose a solution to the few-shot keyword spotting problem using temporal and dilated convolutions on prototypical networks. Our comparative experimental results demonstrate keyword spotting of new keywords using just a small number of samples.


title: Network resilience

abstract: Many systems on our planet are known to shift abruptly and irreversibly from one state to another when they are forced across a "tipping point," such as mass extinctions in ecological networks, cascading failures in infrastructure systems, and social convention changes in human and animal networks. Such a regime shift demonstrates a system's resilience that characterizes the ability of a system to adjust its activity to retain its basic functionality in the face of internal disturbances or external environmental changes. In the past 50 years, attention was almost exclusively given to low dimensional systems and calibration of their resilience functions and indicators of early warning signals without considerations for the interactions between the components. Only in recent years, taking advantages of the network theory and lavish real data sets, network scientists have directed their interest to the real-world complex networked multidimensional systems and their resilience function and early warning indicators. This report is devoted to a comprehensive review of resilience function and regime shift of complex systems in different domains, such as ecology, biology, social systems and infrastructure. We cover the related research about empirical observations, experimental studies, mathematical modeling, and theoretical analysis. We also discuss some ambiguous definitions, such as robustness, resilience, and stability.


title: Towards 3D Visualization of Video from Frames

abstract: We explain theoretically how to reconstruct the 3D scene from successive frames in order to see the video in 3D. To do this, features, associated to moving rigid objects in 3D, are extracted in frames and matched. The vanishing point computed in frame corresponding to the direction of moving object is used for 3D positioning of the 3D structure of the moving object. First experiments are conducted and the obtained results are shown and publicly available. They demonstrate the feasibility of our method. We conclude this paper by future works in order to improve this method tacking into account non-rigid objects and the case of moving camera.


title: The circumcentered-reflection method achieves better rates than alternating projections

abstract: We study the convergence rate of the Circumcentered-Reflection Method (CRM) for solving the convex feasibility problem and compare it with the Method of Alternating Projections (MAP). Under an error bound assumption, we prove that both methods converge linearly, with asymptotic constants depending on a parameter of the error bound, and that the one derived for CRM is strictly better than the one for MAP. Next, we analyze two classes of fairly generic examples. In the first one, the angle between the convex sets approaches zero near the intersection, so that the MAP sequence converges sublinearly, but CRM still enjoys linear convergence. In the second class of examples, the angle between the sets does not vanish and MAP exhibits its standard behavior, i.e., it converges linearly, yet, perhaps surprisingly, CRM attains superlinear convergence.


title: Separation of atomic and molecular ions by ion mobility with an RF carpet

abstract: Gas-filled stopping cells are used at accelerator laboratories for the thermalization of high-energy radioactive ion beams. Common challenges of many stopping cells are a high molecular background of extracted ions and limitations of extraction efficiency due to space-charge effects. At the FRS Ion Catcher at GSI, a new technique for removal of ionized molecules prior to their extraction out of the stopping cell has been developed. This technique utilizes the RF carpet for the separation of atomic ions from molecular contaminant ions through their difference in ion mobility. Results from the successful implementation and test during an experiment with a 600~MeV/u $^{124}$Xe primary beam are presented. Suppression of molecular contaminants by three orders of magnitude has been demonstrated. Essentially background-free measurement conditions with less than $1~\%$ of background events within a mass-to-charge range of 25 u/e have been achieved. The technique can also be used to reduce the space-charge effects at the extraction nozzle and in the downstream beamline, thus ensuring high efficiency of ion transport and highly-accurate measurements under space-charge-free conditions.


title: The Polychromatic Number of Small Subsets of the Integers Modulo $n$

abstract: If $S$ is a subset of an abelian group $G$, the polychromatic number of $S$ in $G$ is the largest integer $k$ so that there is a $k-$coloring of the elements of $G$ such that every translate of $S$ in $G$ gets all $k$ colors. We determine the polychromatic number of all sets of size 2 or 3 in the group of integers mod n.


title: AutoClip: Adaptive Gradient Clipping for Source Separation Networks

abstract: Clipping the gradient is a known approach to improving gradient descent, but requires hand selection of a clipping threshold hyperparameter. We present AutoClip, a simple method for automatically and adaptively choosing a gradient clipping threshold, based on the history of gradient norms observed during training. Experimental results show that applying AutoClip results in improved generalization performance for audio source separation networks. Observation of the training dynamics of a separation network trained with and without AutoClip show that AutoClip guides optimization into smoother parts of the loss landscape. AutoClip is very simple to implement and can be integrated readily into a variety of applications across multiple domains.


title: Restrain the losses of the entanglement and the non-local advantage of quantum coherence for accelerated quantum systems

abstract: We examined the possibility of recovering the losses of entanglement and the non-local advantage by using the local symmetric operations. The improvement efficiency may be increased by applying the symmetric operations on both qubits. The recovering process of both phenomenon is exhibited clearly when only one qubit is accelerated and the symmetric operations is applied on both qubits. It is shown that, for large acceleration, the non-local coherent advantage may be re-birthed by using these symmetric operations.


title: Learning to predict metal deformations in hot-rolling processes

abstract: Hot-rolling is a metal forming process that produces a workpiece with a desired target cross-section from an input workpiece through a sequence of plastic deformations; each deformation is generated by a stand composed of opposing rolls with a specific geometry. In current practice, the rolling sequence (i.e., the sequence of stands and the geometry of their rolls) needed to achieve a given final cross-section is designed by experts based on previous experience, and iteratively refined in a costly trial-and-error process. Finite Element Method simulations are increasingly adopted to make this process more efficient and to test potential rolling sequences, achieving good accuracy at the cost of long simulation times, limiting the practical use of the approach. We propose a supervised learning approach to predict the deformation of a given workpiece by a set of rolls with a given geometry; the model is trained on a large dataset of procedurally-generated FEM simulations, which we publish as supplementary material. The resulting predictor is four orders of magnitude faster than simulations, and yields an average Jaccard Similarity Index of 0.972 (against ground truth from simulations) and 0.925 (against real-world measured deformations); we additionally report preliminary results on using the predictor for automatic planning of rolling sequences.


title: Automated Intracranial Artery Labeling using a Graph Neural Network and Hierarchical Refinement

abstract: Automatically labeling intracranial arteries (ICA) with their anatomical names is beneficial for feature extraction and detailed analysis of intracranial vascular structures. There are significant variations in the ICA due to natural and pathological causes, making it challenging for automated labeling. However, the existing public dataset for evaluation of anatomical labeling is limited. We construct a comprehensive dataset with 729 Magnetic Resonance Angiography scans and propose a Graph Neural Network (GNN) method to label arteries by classifying types of nodes and edges in an attributed relational graph. In addition, a hierarchical refinement framework is developed for further improving the GNN outputs to incorporate structural and relational knowledge about the ICA. Our method achieved a node labeling accuracy of 97.5%, and 63.8% of scans were correctly labeled for all Circle of Willis nodes, on a testing set of 105 scans with both healthy and diseased subjects. This is a significant improvement over available state-of-the-art methods. Automatic artery labeling is promising to minimize manual effort in characterizing the complicated ICA networks and provides valuable information for the identification of geometric risk factors of vascular disease. Our code and dataset are available at https://github.com/clatfd/GNN-ARTLABEL.


title: Architectures of Exoplanetary Systems. III: Eccentricity and Mutual Inclination Distributions of AMD-stable Planetary Systems

abstract: The angular momentum deficit (AMD) of a planetary system is a measure of its orbital excitation and a predictor of long-term stability. We adopt the AMD-stability criteria to constrain the orbital architectures for exoplanetary systems. Previously, He, Ford, & Ragozzine (2019) (arXiv:1907.07773v2) showed through forward modelling (SysSim) that the observed multiplicity distribution can be well reproduced by two populations consisting of a low and a high mutual inclination component. Here, we show that a broad distribution of mutual inclinations arising from systems at the AMD-stability limit can also match the observed Kepler population. We show that distributing a planetary system's maximum AMD amongst its planets results in a multiplicity-dependent distribution of eccentricities and mutual inclinations. Systems with intrinsically more planets have lower median eccentricities and mutual inclinations, and this trend is well described by power-law functions of the intrinsic planet multiplicity ($n$): $\tilde{\mu}_{e,n} \propto n^{-1.74_{-0.07}^{+0.11}}$ and $\tilde{\mu}_{i,n} \propto n^{-1.73_{-0.08}^{+0.09}}$, where $\tilde{\mu}_{e,n}$ and $\tilde{\mu}_{i,n}$ are the medians of the eccentricity and inclination distributions. We also find that intrinsic single planets have higher eccentricities ($\sigma_{e,1} \sim 0.25$) than multi-planet systems, and that the trends with multiplicity appear in the observed distributions of period-normalized transit duration ratios. We show that the observed preferences for planet size orderings and uniform spacings are more extreme than what can be produced by the detection biases of the Kepler mission alone. Finally, we find that for systems with detected transiting planets between 5 and 10 days, there is another planet with a greater radial velocity signal $\simeq~53\%$ of the time.


title: Construction and Usage of a Human Body Common Coordinate Framework Comprising Clinical, Semantic, and Spatial Ontologies

abstract: The National Institutes of Health's (NIH) Human Biomolecular Atlas Program (HuBMAP) aims to create a comprehensive high-resolution atlas of all the cells in the healthy human body. Multiple laboratories across the United States are collecting tissue specimens from different organs of donors who vary in sex, age, and body size. Integrating and harmonizing the data derived from these samples and 'mapping' them into a common three-dimensional (3D) space is a major challenge. The key to making this possible is a 'Common Coordinate Framework' (CCF), which provides a semantically annotated, 3D reference system for the entire body. The CCF enables contributors to HuBMAP to 'register' specimens and datasets within a common spatial reference system, and it supports a standardized way to query and 'explore' data in a spatially and semantically explicit manner. [...] This paper describes the construction and usage of a CCF for the human body and its reference implementation in HuBMAP. The CCF consists of (1) a CCF Clinical Ontology, which provides metadata about the specimen and donor (the 'who'); (2) a CCF Semantic Ontology, which describes 'what' part of the body a sample came from and details anatomical structures, cell types, and biomarkers (ASCT+B); and (3) a CCF Spatial Ontology, which indicates 'where' a tissue sample is located in a 3D coordinate system. An initial version of all three CCF ontologies has been implemented for the first HuBMAP Portal release. It was successfully used by Tissue Mapping Centers to semantically annotate and spatially register 48 kidney and spleen tissue blocks. The blocks can be queried and explored in their clinical, semantic, and spatial context via the CCF user interface in the HuBMAP Portal.


title: Quickest Detection of Moving Anomalies in Sensor Networks

abstract: The problem of sequentially detecting a moving anomaly which affects different parts of a sensor network with time is studied. Each network sensor is characterized by a non-anomalous and anomalous distribution, governing the generation of sensor data. Initially, the observations of each sensor are generated according to the corresponding non-anomalous distribution. After some unknown but deterministic time instant, a moving anomaly emerges, affecting different sets of sensors as time progresses. As a result, the observations of the affected sensors are generated according to the corresponding anomalous distribution. Our goal is to design a stopping procedure to detect the emergence of the anomaly as quickly as possible, subject to constraints on the frequency of false alarms. The problem is studied in a quickest change detection framework where it is assumed that the evolution of the anomaly is unknown but deterministic. To this end, we propose a modification of Lorden's worst average detection delay metric to account for the trajectory of the anomaly that maximizes the detection delay of a candidate detection procedure. We establish that a Cumulative Sum-type test solves the resulting sequential detection problem exactly when the sensors are homogeneous. For the case of heterogeneous sensors, the proposed detection scheme can be modified to provide a first-order asymptotically optimal algorithm. We conclude by presenting numerical simulations to validate our theoretical analysis.


title: Optimal Experimental Design for Inverse Problems in the Presence of Observation Correlations

abstract: Optimal experimental design (OED) is the general formalism of sensor placement and decisions about the data collection strategy for engineered or natural experiments. This approach is prevalent in many critical fields such as battery design, numerical weather prediction, geosciences, and environmental and urban studies. State-of-the-art computational methods for experimental design, however, do not accommodate correlation structure in observational errors produced by many expensive-to-operate devices such as X-ray machines or radar and satellite retrievals. Discarding evident data correlations leads to biased results, poor data collection decisions, and waste of valuable resources. We present a general formulation of the OED formalism for model-constrained large-scale Bayesian linear inverse problems, where measurement errors are generally correlated. The proposed approach utilizes the Hadamard product of matrices to formulate the weighted likelihood and is valid for both finite- and infinite- dimensional Bayesian inverse problems. We also discuss widely used approaches for relaxation of the binary OED problem, in light of the proposed pointwise weighting approach, and present a clear interpretation of the relaxed design and its effect on the observational error covariance. Extensive numerical experiments are carried out for empirical verification of the proposed approach by using an advection-diffusion model, where the objective is to optimally place a small set of sensors, under a limited budget, to predict the concentration of a contaminant in a bounded domain.


title: GUIR at SemEval-2020 Task 12: Domain-Tuned Contextualized Models for Offensive Language Detection

abstract: Offensive language detection is an important and challenging task in natural language processing. We present our submissions to the OffensEval 2020 shared task, which includes three English sub-tasks: identifying the presence of offensive language (Sub-task A), identifying the presence of target in offensive language (Sub-task B), and identifying the categories of the target (Sub-task C). Our experiments explore using a domain-tuned contextualized language model (namely, BERT) for this task. We also experiment with different components and configurations (e.g., a multi-view SVM) stacked upon BERT models for specific sub-tasks. Our submissions achieve F1 scores of 91.7% in Sub-task A, 66.5% in Sub-task B, and 63.2% in Sub-task C. We perform an ablation study which reveals that domain tuning considerably improves the classification performance. Furthermore, error analysis shows common misclassification errors made by our model and outlines research directions for future.


title: On the Characterization of Saddle Point Equilibrium for Security Games with Additive Utility

abstract: In this work, we investigate a security game between an attacker and a defender, originally proposed in \cite{emadi2019security}. As is well known, the combinatorial nature of security games leads to a large cost matrix. Therefore, computing the value and optimal strategy for the players becomes computationally expensive. In this work, we analyze a special class of zero-sum games in which the payoff matrix has a special structure which results from the {\it additive property} of the utility function. Based on variational principles, we present structural properties of optimal attacker as well as defender's strategy. We propose a linear-time algorithm to compute the value based on the structural properties, which is an improvement from our previous result in \cite{emadi2019security}, especially in the context of large-scale zero-sum games.


title: Toward Agile Maneuvers in Highly Constrained Spaces: Learning from Hallucination

abstract: While classical approaches to autonomous robot navigation currently enable operation in certain environments, they break down in tightly constrained spaces, e.g., where the robot needs to engage in agile maneuvers to squeeze between obstacles. Recent machine learning techniques have the potential to address this shortcoming, but existing approaches require vast amounts of navigation experience for training, during which the robot must operate in close proximity to obstacles and risk collision. In this paper, we propose to side-step this requirement by introducing a new machine learning paradigm for autonomous navigation called learning from hallucination (LfH), which can use training data collected in completely safe environments to compute navigation controllers that result in fast, smooth, and safe navigation in highly constrained environments. Our experimental results show that the proposed LfH system outperforms three autonomous navigation baselines on a real robot and generalizes well to unseen environments, including those based on both classical and machine learning techniques.


title: Complete complementarity relations and its Lorentz invariance

abstract: It is well known that entanglement under Lorentz boosts is highly dependent on the boost scenario in question. For single particle states, a spin-momentum product state can be transformed into an entangled state. However, entanglement is just one of the aspects that completely characterizes a quantum system. The other two are known as the wave-particle duality. Although the entanglement entropy does not remain invariant under Lorentz boosts, and neither do the measures of predictability and coherence, we show here that these three measures taken together, in a complete complementarity relation (CCR), are Lorentz invariant. Peres et al., in [Phys. Rev. Lett. 88, 230402 (2002)], realized that even though it is possible to formally define spin in any Lorentz frame, there is no relationship between the observable expectation values in different Lorentz frames. Analogously, even though it is possible to formally define complementarity in any Lorentz frame, in principle, there's no relationship between the complementarity relations of different Lorentz frames. However, our result shows that it's possible to connect complete complementarity relations in different Lorentz frames. In addition, we explore relativistic scenarios for single and two particle states, which helps in understanding the exchange of different aspects of a quantum system under Lorentz boosts.


title: Quantum theory of flicker noise: the 1/f law as a lower bound on the voltage power spectrum

abstract: An approach to the problem of 1/f voltage noise observed in all conducting media is developed based on an uncertainty relation for the Fourier-transformed signal. It is shown that the quantum indeterminacy caused by non-commutativity of observables at different times sets a lower bound on the power spectrum of voltage fluctuations. Using the Schwinger-Keldysh method, this bound is calculated explicitly in the case of unpolarized free-like charge carriers, and is found to have a 1/f low-frequency asymptotic. It is demonstrated also that account of the charge carrier interaction with phonons results in a shift of the frequency exponent from unity. A comparison with the experimental data on 1/f noise in InGaAs quantum wells and high-temperature superconductors is made which shows that the observed noise levels are only a few times as high as the bound established.


title: Nanostructured Electrodes as Random Arrays of Active Sites: Modeling and Theoretical Characterization

abstract: This review presents the main principles underlying the theoretical description of the behavior of regular and random arrays of nanometric active sites. It is further shown how they can be applied for establishing a useful semi-analytical approximation of the arrays responses under diffusion limited conditions when they involve the common situation of active sites with identical sizes. This approximation is general and, as exemplified for different type of arrays, can be employed for describing the behavior of any array involving arbitrary distributions of their active sites onto the substrate surface. Furthermore, this efficient approach allows statistical characterization of active sites distributions of any array based on chronoamperometric data.


title: The structure of finite commutative idempotent involutive residuated lattices

abstract: We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to build new members of this variety from other ones. In particular, all finite members can be constructed in this way from Boolean algebras. Finally, we apply our construction to prove that the fusion reduct of any finite member is a distributive semilattice, and to show that this variety is not locally finite.


title: Validation of Emission-Line Galaxies Target Selection Algorithms for the Dark Energy Spectroscopic Instrument Using the MMT Binospec

abstract: The forthcoming Dark Energy Spectroscopic Instrument (DESI) experiment plans to measure the effects of dark energy on the expansion of the Universe and create a $3$D map of the Universe using galaxies up to $z \sim 1.6$ and QSOs up to $z \sim 3.5$. In order to create this map, DESI will obtain spectroscopic redshifts of over $30$ million objects; among them, a majority are \oii emitting star-forming galaxies known as emission-line galaxies (ELGs). These ELG targets will be pre-selected by drawing a selection region on the $g - r$ vs. $r - z$ colour-colour plot, where high redshift ELGs form a separate locus from the lower redshift ELGs and interlopers. In this paper, we study the efficiency of three ELG target selection algorithms -- the final design report (FDR) cut based on the DEEP2 photometry, Number Density Modelling and Random Forest -- to determine how the combination of these three algorithms can be best used to yield a simple selection boundary that will be best suited to meet DESI's science goals. To do this, we selected $17$ small patches in the DESI footprint where we run the three target selection algorithms to pre-select ELGs based on their photometry. We observed the pre-selected ELGs using the MMT Binospec, which is similar in functionality to the DESI instrument, to obtain their spectroscopic redshifts and fluxes of $1054$ ELGs. By analysing the redshift and fluxing distribution of these galaxies, we find that although NDM performed the best, simple changes in the FDR definition would also yield sufficient performance.


title: Color-complexity enabled exhaustive color-dots identification and spatial patterns testing in images

abstract: Targeted color-dots with varying shapes and sizes in images are first exhaustively identified, and then their multiscale 2D geometric patterns are extracted for testing spatial uniformness in a progressive fashion. Based on color theory in physics, we develop a new color-identification algorithm relying on highly associative relations among the three color-coordinates: RGB or HSV. Such high associations critically imply low color-complexity of a color image, and renders potentials of exhaustive identification of targeted color-dots of all shapes and sizes. Via heterogeneous shaded regions and lighting conditions, our algorithm is shown being robust, practical and efficient comparing with the popular Contour and OpenCV approaches. Upon all identified color-pixels, we form color-dots as individually connected networks with shapes and sizes. We construct minimum spanning trees (MST) as spatial geometries of dot-collectives of various size-scales. Given a size-scale, the distribution of distances between immediate neighbors in the observed MST is extracted, so do many simulated MSTs under the spatial uniformness assumption. We devise a new algorithm for testing 2D spatial uniformness based on a Hierarchical clustering tree upon all involving MSTs. Our developments are illustrated on images obtained by mimicking chemical spraying via drone in Precision Agriculture.


title: A Lifelong Learning Approach to Mobile Robot Navigation

abstract: This paper presents a self-improving lifelong learning framework for a mobile robot navigating in different environments. Classical static navigation methods require environment-specific in-situ system adjustment, e.g. from human experts, or may repeat their mistakes regardless of how many times they have navigated in the same environment. Having the potential to improve with experience, learning-based navigation is highly dependent on access to training resources, e.g. sufficient memory and fast computation, and is prone to forgetting previously learned capability, especially when facing different environments. In this work, we propose Lifelong Learning for Navigation (LLfN) which (1) improves a mobile robot's navigation behavior purely based on its own experience, and (2) retains the robot's capability to navigate in previous environments after learning in new ones. LLfN is implemented and tested entirely onboard a physical robot with a limited memory and computation budget.


title: Unsupervised Learning of Particle Image Velocimetry

abstract: Particle Image Velocimetry (PIV) is a classical flow estimation problem which is widely considered and utilised, especially as a diagnostic tool in experimental fluid dynamics and the remote sensing of environmental flows. Recently, the development of deep learning based methods has inspired new approaches to tackle the PIV problem. These supervised learning based methods are driven by large volumes of data with ground truth training information. However, it is difficult to collect reliable ground truth data in large-scale, real-world scenarios. Although synthetic datasets can be used as alternatives, the gap between the training set-ups and real-world scenarios limits applicability. We present here what we believe to be the first work which takes an unsupervised learning based approach to tackle PIV problems. The proposed approach is inspired by classic optical flow methods. Instead of using ground truth data, we make use of photometric loss between two consecutive image frames, consistency loss in bidirectional flow estimates and spatial smoothness loss to construct the total unsupervised loss function. The approach shows significant potential and advantages for fluid flow estimation. Results presented here demonstrate that our method outputs competitive results compared with classical PIV methods as well as supervised learning based methods for a broad PIV dataset, and even outperforms these existing approaches in some difficult flow cases. Codes and trained models are available at https://github.com/erizmr/UnLiteFlowNet-PIV.


title: Search for the $1/2^+$ intruder state in $^{35}$P

abstract: The excitation energy of deformed intruder states (specifically the 2p2h bandhead) as a function of proton number $Z$ along $N=20$ is of interest both in terms of better understanding the evolution of nuclear structure between spherical $^{40}$Ca and the Island of Inversion nuclei, and for benchmarking theoretical descriptions in this region. At the center of the $N=20$ Island of Inversion, the npnh (where n=2,4,6) neutron excitations across a diminished $N=20$ gap result in deformed and collective ground states, as observed in $^{32}$Mg. In heavier isotones, npnh excitations do not dominate in the ground states, but are present in the relatively low-lying level schemes. With the aim of identifying the expected 2p2h$\otimes\mathrm{s}_{1/2^+}$ state in $^{35}$P, the only $N=20$ isotone for which the neutron 2p2h excitation bandhead has not yet been identified, the $^{36}$S(d,$^3$He)$^{35}$P reaction has been revisited in inverse kinematics with the HELical Orbit Spectrometer (HELIOS) at the Argonne Tandem Linac Accelerator System (ATLAS). While a candidate state has not been located, an upper limit for the transfer reaction cross-section to populate such a configuration within a 2.5 to 3.6\,MeV energy range, provides a stringent constraint on the wavefunction compositions in both $^{36}$S and $^{35}$P.


title: Soft-mode and Anderson-like localization in two-phase disordered media

abstract: Wave localization is ubiquitous in disordered media -- from amorphous materials, where soft-mode localization is closely related to materials failure, to semi-conductors, where Anderson localization leads to metal-insulator transition. Our main understanding, though, is based on discrete models. Here, we provide a continuum perspective on the wave localization in two-phase disordered elastic media by studying the scalar wave equation with heterogeneous modulus and/or density. At low frequencies, soft modes arise as a result of disordered elastic modulus, which can also be predicted by the localization landscape. At high frequencies, Anderson-like localization occurs due to disorder either in density or modulus. For the latter case, we demonstrate how the vibrational dynamics changes from plane waves to diffusons with increasing frequency. Finally, we discuss the implications of our findings on the design of architected soft materials.


title: On Accuracy and Coherence with Infinite Opinion Sets

abstract: There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Schervish et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, we establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, we establish the necessary results to extend the classic accuracy argument for probabilism originally due to Joyce (1998) to certain classes of infinite sets of propositions including countably infinite partitions.


title: The Large Hadron-Electron Collider at the HL-LHC

abstract: The Large Hadron electron Collider (LHeC) is designed to move the field of deep inelastic scattering (DIS) to the energy and intensity frontier of particle physics. Exploiting energy recovery technology, it collides a novel, intense electron beam with a proton or ion beam from the High Luminosity--Large Hadron Collider (HL-LHC). The accelerator and interaction region are designed for concurrent electron-proton and proton-proton operation. This report represents an update of the Conceptual Design Report (CDR) of the LHeC, published in 2012. It comprises new results on parton structure of the proton and heavier nuclei, QCD dynamics, electroweak and top-quark physics. It is shown how the LHeC will open a new chapter of nuclear particle physics in extending the accessible kinematic range in lepton-nucleus scattering by several orders of magnitude. Due to enhanced luminosity, large energy and the cleanliness of the hadronic final states, the LHeC has a strong Higgs physics programme and its own discovery potential for new physics. Building on the 2012 CDR, the report represents a detailed updated design of the energy recovery electron linac (ERL) including new lattice, magnet, superconducting radio frequency technology and further components. Challenges of energy recovery are described and the lower energy, high current, 3-turn ERL facility, PERLE at Orsay, is presented which uses the LHeC characteristics serving as a development facility for the design and operation of the LHeC. An updated detector design is presented corresponding to the acceptance, resolution and calibration goals which arise from the Higgs and parton density function physics programmes. The paper also presents novel results on the Future Circular Collider in electron-hadron mode, FCC-eh, which utilises the same ERL technology to further extend the reach of DIS to even higher centre-of-mass energies.


title: An Iterative LQR Controller for Off-Road and On-Road Vehicles using a Neural Network Dynamics Model

abstract: In this work we evaluate Iterative Linear Quadratic Regulator(ILQR) for trajectory tracking of two different kinds of wheeled mobile robots namely Warthog (Fig. 1), an off-road holonomic robot with skid-steering and Polaris GEM e6 [1], a non-holonomic six seater vehicle (Fig. 2). We use multilayer neural network to learn the discrete dynamic model of these robots which is used in ILQR controller to compute the control law. We use model predictive control (MPC) to deal with model imperfections and perform extensive experiments to evaluate the performance of the controller on human driven reference trajectories with vehicle speeds of 3m/s- 4m/s for warthog and 7m/s-10m/s for the Polaris GEM


title: A Volatile-Poor Formation of LHS 3844b based on its Lack of Significant Atmosphere

abstract: Exoplanet discoveries have reached into the realm of terrestrial planets that are becoming the subject of atmospheric studies. One such discovery is LHS 3844b, a 1.3 Earth radius planet in a 0.46 day orbit around an M4.5-5 dwarf star. Follow-up observations indicate that the planet is largely devoid of substantial atmosphere. This lack of significant atmosphere places astrophysical and geophysical constraints on LHS 3844b, primarily the degree of volatile outgassing and the rate of atmosphere erosion. We estimate the age of the host star as $7.8\pm1.6$ Gyrs and find evidence of an active past comparable to Proxima Centauri. We use geodynamical models of volcanic outgassing and atmospheric erosion to show that the apparent lack of atmosphere is consistent with a volatile-poor mantle for LHS 3844b. We show the core is unlikely to host enough C to produce a sufficiently volatile-poor mantle, unless the bulk planet is volatile-poor relative to Earth. While we cannot rule out a giant impact stripping LHS 3844b's atmosphere, we show this mechanism would require significant mantle stripping, potentially leaving LHS 3844b as an Fe-rich "super-Mercury". Atmospheric erosion by smaller impacts is possible, but only if the planet has already begun degassing and is bombarded by $10^3$ impactors of radius 500-1000 km traveling at escape velocity. We discuss formation and migration scenarios that could account for a volatile poor origin, including the potential for an unobserved massive companion planet. A relatively volatile-poor composition of LHS 3844b suggests that the planet formed interior to the system snow-line.


title: Some variational properties of the weighted {\sigma}_{r}-curvature for submanifolds in Riemannian manifolds

abstract: The objet of this paper is the study of the variations of a functional whose integrant is the r-th weighted curvature on the hypersurface of a closed Riemannian manifold. Some applications to hypersurfaces of the Euclidean space and the unit round sph\`ere are given.


title: Class maps for visualizing classification results

abstract: Classification is a major tool of statistics and machine learning. A classification method first processes a training set of objects with given classes (labels), with the goal of afterward assigning new objects to one of these classes. When running the resulting prediction method on the training data or on test data, it can happen that an object is predicted to lie in a class that differs from its given label. This is sometimes called label bias, and raises the question whether the object was mislabeled. The proposed class map reflects the probability that an object belongs to an alternative class, how far it is from the other objects in its given class, and whether some objects lie far from all classes. The goal is to visualize aspects of the classification results to obtain insight in the data. The display is constructed for discriminant analysis, the k-nearest neighbor classifier, support vector machines, logistic regression, and coupling pairwise classifications. It is illustrated on several benchmark datasets, including some about images and texts.


title: Uniform continuity of entropy rate with respect to the $\bar f$-pseudometric

abstract: Assume that a sequence $x=x_0x_1\ldots$ is frequency-typical for a finite-valued stationary stochastic process $\textbf X$. We prove that the function associating to $x$ the entropy-rate $\bar H(\textbf X)$ of $\textbf X$ is uniformly continuous when one endows the set of all frequency-typical sequences with the $\bar f$ pseudometric. As a consequence, we obtain the same result for the $\bar d$ pseudometric. We also give an alternative proof of the Abramov formula for the Kolmogorov-Sinai entropy of the induced measure-preserving transformation.


title: Cyber Deception for Computer and Network Security: Survey and Challenges

abstract: Cyber deception has recently received increasing attentions as a promising mechanism for proactive cyber defense. Cyber deception strategies aim at injecting intentionally falsified information to sabotage the early stage of attack reconnaissance and planning in order to render the final attack action harmless or ineffective. Motivated by recent advances in cyber deception research, we in this paper provide a formal view of cyber deception, and review high-level deception schemes and actions. We also summarize and classify recent research results of cyber defense techniques built upon the concept of cyber deception, including game-theoretic modeling at the strategic level, network-level deception, in-host-system deception and cryptography based deception. Finally, we lay out and discuss in detail the research challenges towards developing full-fledged cyber deception frameworks and mechanisms.


title: Ballistic charge transport in twisted bilayer graphene

abstract: We study conductance across a twisted bilayer graphene coupled to single-layer graphene leads in two setups: a flake of graphene on top of an infinite graphene ribbon and two overlapping semi-infinite graphene ribbons. We find conductance strongly depends on the angle between the two graphene layers and identify three qualitatively different regimes. For large angles ($\theta \gtrsim 10^{\circ}$) there are strong commensurability effects for incommensurate angles the low energy conductance approaches that of two disconnected layers, while sharp conductance features correlate with commensurate angles with small unit cells. For intermediate angles ($3^{\circ}\lesssim \theta \lesssim 10^{\circ}$), we find a one-to-one correspondence between certain conductance features and the twist-dependent Van Hove singularities arising at low energies, suggesting conductance measurements can be used to determine the twist angle. For small twist angles ($1^{\circ}\lesssim\theta\lesssim 3^{\circ}$), commensurate effects seem to be washed out and the conductance becomes a smooth function of the angle. In this regime, conductance can be used to probe the narrow bands, with vanishing conductance regions corresponding to spectral gaps in the density of states, in agreement with recent experimental findings.


title: Mitigating contamination in LSS surveys: a comparison of methods

abstract: Future large scale structure surveys will measure the locations and shapes of billions of galaxies. The precision of such catalogs will require meticulous treatment of systematic contamination of the observed fields. We compare several existing methods for removing such systematics from galaxy clustering measurements. We show how all the methods, including the popular pseudo-$C_\ell$ Mode Projection and Template Subtraction methods, can be interpreted under a common regression framework and use this to suggest improved estimators. We show how methods designed to mitigate systematics in the power spectrum can be used to produce clean maps, which are necessary for cosmological analyses beyond the power spectrum, and we extend current methods to treat the next-order multiplicative contamination in observed maps and power spectra. Two new mitigation methods are proposed, which incorporate desirable features of current state-of-the-art methods while being simpler to implement. Investigating the performance of all the methods on a common set of simulated measurements from Year 5 of the Dark Energy Survey, we test their robustness to various analysis cases. Our proposed methods produce improved maps and power spectra when compared to current methods, while requiring almost no user tuning. We end with recommendations for systematics mitigation in future surveys, and note that the methods presented are generally applicable beyond the galaxy distribution to any field with spatial systematics.


title: Modules with fusion and implication based over distributive lattices: Representation and Duality

abstract: In this paper we study the class of modules with fusion and implication based over distributive lattices, or FIDL-modules, for short. We introduce the concepts of FIDL-subalgebra and FIDL-congruence as well as the notions of simple and subdirectly irreducible FIDL-modules. We give a bi-sorted Priestley-like duality for FIDL-modules and moreover, as an application of such a duality, we provide a topological bi-spaced description of the FIDL-congruences. This result will allows us to characterize the simple and subdirectly irreducible FIDL-modules.


title: Affine Springer Fibers and the Affine Matrix Ball Construction for Rectangular Type Nilpotents

abstract: In this paper, we study the affine Springer fiber $\mathcal{F} l_N$ in type $A$ for rectangular type semisimple nil-element $N$ and calculate the relative position between irreducible components. In particular, we use the affine matrix ball construction to show the relative position map is compatible with the Kazhdan-Lusztig cell structure, generalizing the work of Steinberg and van Leeuwen.


title: A polynomial-time algorithm to determine (almost) Hamiltonicity of dense regular graphs

abstract: We give a polynomial-time algorithm for detecting very long cycles in dense regular graphs. Specifically, we show that, given $\alpha \in (0,1)$, there exists a $c=c(\alpha)$ such that the following holds: there is a polynomial-time algorithm that, given a $D$-regular graph $G$ on $n$ vertices with $D\geq \alpha n$, determines whether $G$ contains a cycle on at least $n - c$ vertices. The problem becomes NP-complete if we drop either the density or the regularity condition. The algorithm combines tools from extremal graph theory and spectral partitioning as well as some further algorithmic ingredients.


title: Towards Collaborative Drilling with a Cobot Using Admittance Controller

abstract: In the near future, collaborative robots (cobots) are expected to play a vital role in the manufacturing and automation sectors. It is predicted that workers will work side by side in collaboration with cobots to surpass fully automated factories. In this regard, physical human-robot interaction (pHRI) aims to develop natural communication between the partners to bring speed, flexibility, and ergonomics to the execution of complex manufacturing tasks. One challenge in pHRI is to design an optimal interaction controller to balance the limitations introduced by the contradicting nature of transparency and stability requirements. In this paper, a general methodology to design an admittance controller for a pHRI system is developed by considering the stability and transparency objectives. In our approach, collaborative robot constrains the movement of human operator to help with a pHRI task while an augmented reality (AR) interface informs the operator about its phases. To this end, dynamical characterization of the collaborative robot (LBR IIWA 7 R800, KUKA Inc.) is presented first. Then, the stability and transparency analyses for our pHRI task involving collaborative drilling with this robot are reported. A range of allowable parameters for the admittance controller is determined by superimposing the stability and transparency graphs. Finally, three different sets of parameters are selected from the allowable range and the effect of admittance controllers utilizing these parameter sets on the task performance is investigated.


title: A (not so) brief history of lunar distances: Lunar longitude determination at sea before the chronometer

abstract: Longitude determination at sea gained increasing commercial importance in the late Middle Ages, spawned by a commensurate increase in long-distance merchant shipping activity. Prior to the successful development of an accurate marine timepiece in the late-eighteenth century, marine navigators relied predominantly on the Moon for their time and longitude determinations. Lunar eclipses had been used for relative position determinations since Antiquity, but their rare occurrences precludes their routine use as reliable way markers. Measuring lunar distances, using the projected positions on the sky of the Moon and bright reference objects--the Sun or one or more bright stars--became the method of choice. It gained in profile and importance through the British Board of Longitude's endorsement in 1765 of the establishment of a Nautical Almanac. Numerous 'projectors' jumped onto the bandwagon, leading to a proliferation of lunar ephemeris tables. Chronometers became both more affordable and more commonplace by the mid-nineteenth century, signaling the beginning of the end for the lunar distance method as a means to determine one's longitude at sea.


title: Diagrammatic sets and rewriting in weak higher categories

abstract: We revisit Kapranov and Voevodsky's idea of spaces modelled on combinatorial pasting diagrams, now as a framework for higher-dimensional rewriting and the basis of a model of weak omega-categories. In the first part, we elaborate on Steiner's theory of directed complexes as a combinatorial foundation. We individuate convenient classes of directed complexes and develop the theory of diagrammatic sets relative to one such class. We study a notion of equivalence internal to a diagrammatic set, and single out as models of weak omega-categories those diagrammatic sets whose every composable diagram is connected by an equivalence to a single cell. We then define a semistrict model providing algebraic composites and study the embedding of strict omega-categories into this model. Finally, we prove a version of the homotopy hypothesis for the infinity-groupoids in the weak model, and exhibit a specific mistake in a proof by Kapranov and Voevodsky that had previously been refuted indirectly.


title: An Improved Morse Index Bound of Min-Max Minimal Hypersurfaces

abstract: In this paper, we give an improved Morse index bound of minimal hypersurfaces from Almgren-Pitts min-max construction in any closed Riemannian manifold $M^{n+1}$ $(n+1 \geq 3$), which generalizes a result by X. Zhou \cite{zhou_multiplicity_2019} for $3 \leq n+1 \leq 7$. The novel techniques are the construction of hierarchical deformations and the restrictive min-max theory. These techniques do not rely on bumpy metrics, and thus could be adapted to many other min-max settings.


title: Zero-dispersion Kerr solitons in optical microresonators

abstract: Solitons are shape preserving waveforms that are ubiquitous across nonlinear dynamical systems and fall into two separate classes, that of bright solitons, formed in the anomalous group velocity dispersion regime, and `dark solitons' in the normal dispersion regime. Both types of soliton have been observed in BEC, hydrodynamics, polaritons, and mode locked lasers, but have been particularly relevant to the generation of chipscale microresonator-based frequency combs (microcombs), used in numerous system level applications in timing, spectroscopy, and communications. For microcombs, both bright solitons, and alternatively dark pulses based on interlocking switching waves, have been studied. Yet, the existence of localized dissipative structures that fit between this dichotomy has been theoretically predicted, but proven experimentally elusive. Here we report the discovery of dissipative structures that embody a hybrid between switching waves and dissipative solitons, existing in the regime of (nearly) vanishing group velocity dispersion where third-order dispersion is dominant, hence termed as `zero-dispersion solitons'. These dissipative structures are formed via collapsing switching wave fronts, forming clusters of quantized solitonic sub-structures. The switching waves are formed directly via synchronous pulse-driving of a photonic chip-based Si3N4 microresonator. The resulting frequency comb spectrum is extremely broad in both the switching wave and zero-dispersion soliton regime, reaching 136 THz or 97% of an octave. Fourth-order dispersion engineering results in dual-dispersive wave formation, and a novel quasi-phase matched wave related to Faraday instability. This exotic unanticipated dissipative structure expands the domain of Kerr cavity physics to the regime near zero-dispersion and could present a superior alternative to conventional solitons for broadband comb generation.


title: A large deviation principle for block models

abstract: We initiate a study of large deviations for block model random graphs in the dense regime. Following Chatterjee-Varadhan(2011), we establish an LDP for dense block models, viewed as random graphons. As an application of our result, we study upper tail large deviations for homomorphism densities of regular graphs. We identify the existence of a "symmetric" phase, where the graph, conditioned on the rare event, looks like a block model with the same block sizes as the generating graphon. In specific examples, we also identify the existence of a "symmetry breaking" regime, where the conditional structure is not a block model with compatible dimensions. This identifies a "reentrant phase transition" phenomenon for this problem---analogous to one established for Erdos-Renyi random graphs (Chatterjee-Dey(2010), Chatterjee-Varadhan(2011)). Finally, extending the analysis of Lubetzky-Zhao(2015), we identify the precise boundary between the symmetry and symmetry breaking regime for homomorphism densities of regular graphs and the operator norm on Erdos-Renyi bipartite graphs.


title: Families In Wild Multimedia: A Multimodal Database for Recognizing Kinship

abstract: Kinship, a soft biometric detectable in media, is fundamental for a myriad of use-cases. Despite the difficulty of detecting kinship, annual data challenges using still-images have consistently improved performances and attracted new researchers. Now, systems reach performance levels unforeseeable a decade ago, closing in on performances acceptable to deploy in practice. Like other biometric tasks, we expect systems can receive help from other modalities. We hypothesize that adding modalities to FIW, which has only still-images, will improve performance. Thus, to narrow the gap between research and reality and enhance the power of kinship recognition systems, we extend FIW with multimedia (MM) data (i.e., video, audio, and text captions). Specifically, we introduce the first publicly available multi-task MM kinship dataset. To build FIW MM, we developed machinery to automatically collect, annotate, and prepare the data, requiring minimal human input and no financial cost. The proposed MM corpus allows the problem statements to be more realistic template-based protocols. We show significant improvements in all benchmarks with the added modalities. The results highlight edge cases to inspire future research with different areas of improvement. FIW MM supplies the data needed to increase the potential of automated systems to detect kinship in MM. It also allows experts from diverse fields to collaborate in novel ways.


title: Decompose X-ray Images for Bone and Soft Tissue

abstract: Bones are always wrapped by soft tissues. As a result, bones in their X-ray images are obscured and become unclear. In this paper, we tackle this problem and propose a novel task to virtually decompose the soft tissue and bone by image processing algorithms. This task is fundamentally different from segmentation because the decomposed images share the same imaging domain. Our decomposition task is also fundamentally different from the conventional image enhancement. We propose a new mathematical model for such decomposition. Our model is ill-posed and thus it requires some priors. With proper assumptions, our model can be solved by solving a standard Laplace equation. The resulting bone image is theoretically guaranteed to have better contrast than the original input image. Therefore, the details of bones get enhanced and become clearer. Several numerical experiments confirm the effective and efficiency of our method. Our approach is important for clinical diagnosis, surgery planning, recognition, deep learning, etc.


title: $S^3$Net: Semantic-Aware Self-supervised Depth Estimation with Monocular Videos and Synthetic Data

abstract: Solving depth estimation with monocular cameras enables the possibility of widespread use of cameras as low-cost depth estimation sensors in applications such as autonomous driving and robotics. However, learning such a scalable depth estimation model would require a lot of labeled data which is expensive to collect. There are two popular existing approaches which do not require annotated depth maps: (i) using labeled synthetic and unlabeled real data in an adversarial framework to predict more accurate depth, and (ii) unsupervised models which exploit geometric structure across space and time in monocular video frames. Ideally, we would like to leverage features provided by both approaches as they complement each other; however, existing methods do not adequately exploit these additive benefits. We present $S^3$Net, a self-supervised framework which combines these complementary features: we use synthetic and real-world images for training while exploiting geometric, temporal, as well as semantic constraints. Our novel consolidated architecture provides a new state-of-the-art in self-supervised depth estimation using monocular videos. We present a unique way to train this self-supervised framework, and achieve (i) more than $15\%$ improvement over previous synthetic supervised approaches that use domain adaptation and (ii) more than $10\%$ improvement over previous self-supervised approaches which exploit geometric constraints from the real data.


title: Total nonnegativity and induced sign characters of the Hecke algebra

abstract: Let $\mathfrak S_{[i,j]}$ be the subgroup of the symmetric group $\mathfrak S_n$ generated by adjacent transpositions $(i,i+1), \dotsc, (j-1,j)$, assuming $1 \leq i < j \leq n$. We give a combinatorial rule for evaluating induced sign characters of the type-$A$ Hecke algebra $H_n(q)$ at all elements of the form $\sum_{w \in \mathfrak S_{[i,j]}} T_w$ and at all products of such elements. This includes evaluation at some elements $C'_w(q)$ of the Kazhdan-Lusztig basis.


title: Group Knowledge Transfer: Federated Learning of Large CNNs at the Edge

abstract: Scaling up the convolutional neural network (CNN) size (e.g., width, depth, etc.) is known to effectively improve model accuracy. However, the large model size impedes training on resource-constrained edge devices. For instance, federated learning (FL) may place undue burden on the compute capability of edge nodes, even though there is a strong practical need for FL due to its privacy and confidentiality properties. To address the resource-constrained reality of edge devices, we reformulate FL as a group knowledge transfer training algorithm, called FedGKT. FedGKT designs a variant of the alternating minimization approach to train small CNNs on edge nodes and periodically transfer their knowledge by knowledge distillation to a large server-side CNN. FedGKT consolidates several advantages into a single framework: reduced demand for edge computation, lower communication bandwidth for large CNNs, and asynchronous training, all while maintaining model accuracy comparable to FedAvg. We train CNNs designed based on ResNet-56 and ResNet-110 using three distinct datasets (CIFAR-10, CIFAR-100, and CINIC-10) and their non-I.I.D. variants. Our results show that FedGKT can obtain comparable or even slightly higher accuracy than FedAvg. More importantly, FedGKT makes edge training affordable. Compared to the edge training using FedAvg, FedGKT demands 9 to 17 times less computational power (FLOPs) on edge devices and requires 54 to 105 times fewer parameters in the edge CNN. Our source code is released at FedML (https://fedml.ai).


title: Computing Weighted Subset Transversals in $H$-Free Graphs

abstract: For the Odd Cycle Transversal problem, the task is to find a small set $S$ of vertices in a graph that intersects every cycle of odd length. The Subset Odd Cycle Transversal problem requires S to intersect only those odd cycles that include a vertex of a distinguished vertex subset $T$. If we are given weights for the vertices, we ask instead that $S$ has small weight: this is the problem Weighted Subset Odd Cycle Transversal. We prove an almost-complete complexity dichotomy for Weighted Subset Odd Cycle Transversal for graphs that do not contain a graph $H$ as an induced subgraph. Our general approach can also be used for Weighted Subset Feedback Vertex Set, which enables us to generalize a recent result of Papadopoulos and Tzimas.


title: Stable Community Structures and Social Exclusion

abstract: In this paper we study social exclusion in social (information) networks using a game-theoretic approach, and study the stability of a certain class community structures that are a Nash equilibrium. The main result of our analysis shows that all stable community structures (Nash equilibria) in this class are community structures under which some agents are socially excluded, and do not belong to any of the communities. This result is quite striking as it suggests that social exclusion might be the "norm" (an expected outcome) in social networks, rather than an anomaly.


title: Visual Reasoning Strategies for Effect Size Judgments and Decisions

abstract: Uncertainty visualizations often emphasize point estimates to support magnitude estimates or decisions through visual comparison. However, when design choices emphasize means, users may overlook uncertainty information and misinterpret visual distance as a proxy for effect size. We present findings from a mixed design experiment on Mechanical Turk which tests eight uncertainty visualization designs: 95% containment intervals, hypothetical outcome plots, densities, and quantile dotplots, each with and without means added. We find that adding means to uncertainty visualizations has small biasing effects on both magnitude estimation and decision-making, consistent with discounting uncertainty. We also see that visualization designs that support the least biased effect size estimation do not support the best decision-making, suggesting that a chart user's sense of effect size may not necessarily be identical when they use the same information for different tasks. In a qualitative analysis of users' strategy descriptions, we find that many users switch strategies and do not employ an optimal strategy when one exists. Uncertainty visualizations which are optimally designed in theory may not be the most effective in practice because of the ways that users satisfice with heuristics, suggesting opportunities to better understand visualization effectiveness by modeling sets of potential strategies.


title: A Gravitational Redshift Measurement of the White Dwarf Mass-Radius Relation

abstract: The mass-radius relation of white dwarfs is largely determined by the equation of state of degenerate electrons, which causes the stellar radius to decrease as mass increases. Here we observationally measure this relation using the gravitational redshift effect, a prediction of general relativity that depends on the ratio between stellar mass and radius. Using observations of over three thousand white dwarfs from the Sloan Digital Sky Survey and the Gaia space observatory, we derive apparent radial velocities from absorption lines, stellar radii from photometry and parallaxes, and surface gravities by fitting atmospheric models to spectra. By averaging the apparent radial velocities of white dwarfs with similar radii and, independently, surface gravities, we cancel out random Doppler shifts and measure the underlying gravitational redshift. Using these results, we empirically measure the white dwarf mass-radius relation across a wide range of stellar masses. Our results are consistent with leading theoretical models, and our methods could be used with future observations to empirically constrain white dwarf core composition and evolution.


title: Electron correlation effects on exchange interactions and spin excitations in 2D van der Waals materials

abstract: Despite serious effort, the nature of the magnetic interactions and the role of electron-correlation effects in magnetic two-dimensional (2D) van der Waals materials remain elusive. Using CrI$_3$ as a model system, we show that the calculated electronic structure including nonlocal electron correlations yields spin excitations consistent with inelastic neutron scattering measurements. Remarkably, this approach identifies an unreported correlation-enhanced interlayer super-superexchange, which rotates the magnon Dirac lines off, and introduces a gap along, the high-symmetry $\Gamma$-$K$-$M$ path. This discovery provides a different perspective on the gap opening mechanism observed in CrI$_3$, which was previously associated with spin-orbit coupling through the Dzyaloshinskii-Moriya interaction or Kitaev interaction. Our observation elucidates the critical role of electron correlations on the spin ordering and spin dynamics in magnetic van der Waals materials and demonstrates the necessity of explicit treatment of electron correlations in the broad family of 2D magnetic materials.


title: PMNS matrix in a non-universal $U(1)_{X}$ extension to the MSSM with one massless neutrino

abstract: An anomaly free non-universal $U(1)_{X}$ extension to the Minimal Supersymmetric Standard Model is proposed, where additional two $SU(2)$ doublet superfields and four singlet superfields complement the scalar sector of the model. The fermion sector is extended by considering additional superfields containing three quark singlets, two charged lepton singlet superfields and six neutral leptons. A tree-level massless electron is found so radiative corrections are considered to match the mass spectrum with both SUSY and non-SUSY contributions. Likewise, a massless neutrino is found and analytic expressions for massive mass eigenstates are obtained via inverse-seesaw mechanism, which implies a known neutrino mass spectrum for both normal and inverse ordering. Lastly, a numerical fitting of the model parameters to the PMNS matrix is done.


title: Improving Recurrent Neural Network Responsiveness to Acute Clinical Events

abstract: Predictive models in acute care settings must be able to immediately recognize precipitous changes in a patient's status when presented with data reflecting such changes. Recurrent neural networks (RNNs) have become common for training and deploying clinical decision support models. They frequently exhibit a delayed response to acute events. New information must propagate through the RNN's cell state memory before the total impact is reflected in the model's predictions. This work presents input data perseveration as a method of training and deploying an RNN model to make its predictions more responsive to newly acquired information: input data is replicated during training and deployment. Each replication of the data input impacts the cell state and output of the RNN, but only the output at the final replication is maintained and broadcast as the prediction for evaluation and deployment purposes. When presented with data reflecting acute events, a model trained and deployed with input perseveration responds with more pronounced immediate changes in predictions and maintains globally robust performance. Such a characteristic is crucial in predictive models for an intensive care unit.


title: Efficient Cross-Shard Transaction Execution in Sharded Blockchains

abstract: Sharding is a promising blockchain scaling solution. But it currently suffers from high latency and low throughput when it comes to cross-shard transactions, i.e., transactions that require coordination from multiple shards. The root cause of these limitations arise from the use of the classic two-phase commit protocol, which involves locking assets for extended periods of time. This paper presents Rivet, a new paradigm for blockchain sharding that achieves lower latency and higher throughput for cross-shard transactions. Rivet has a single reference shard running consensus, and multiple worker shards maintaining disjoint states and processing a subset of transactions in the system. Rivet obviates the need for consensus within each worker shard, and as a result, tolerates more failures within a shard and lowers communication overhead. We prove the correctness and security of Rivet. We also propose a more realistic framework for evaluating sharded blockchains by creating a benchmark based on real Ethereum transactions. An evaluation of our prototype implementation of Rivet and the baseline two-phase commit, atop 50+ AWS EC2 instances, using our evaluation framework demonstrates the latency and throughput improvements for cross-shard transactions.


title: Orbits and Individual Masses of Some Visual Binaries

abstract: The orbits of visual binary systems still attract many of the working groups in astronomy. These orbits are the most important and reliable source of the stellar masse. In the present paper, we are going to compute orbits and dynamical masses of some visual binaries using an independent code. We used Kowalsky method to compute the geometrical elements. The dynamical elements (the period and the time of the periastron passage) are computed by implementing the double areal constant. We used the developed code to calculate the orbits for the four visual binaries, WDS J02262+3428, WDS J14310-0548, WDS J17466-0354, and WDS J12422+2622. We introduced a new orbit of the neglected visual binary WDS J17466-0354 and modified orbits for the rest three binaries. Using the Gaia DR2 parallaxes we computed the total masses of the systems. Comparing the adopted total masses with those derived from the spectral type relation revealed good agreement.


title: Model Size Reduction Using Frequency Based Double Hashing for Recommender Systems

abstract: Deep Neural Networks (DNNs) with sparse input features have been widely used in recommender systems in industry. These models have large memory requirements and need a huge amount of training data. The large model size usually entails a cost, in the range of millions of dollars, for storage and communication with the inference services. In this paper, we propose a hybrid hashing method to combine frequency hashing and double hashing techniques for model size reduction, without compromising performance. We evaluate the proposed models on two product surfaces. In both cases, experiment results demonstrated that we can reduce the model size by around 90 % while keeping the performance on par with the original baselines.


title: A Deep Learning Framework for Generation and Analysis of Driving Scenario Trajectories

abstract: We propose a unified deep learning framework for the generation and analysis of driving scenario trajectories, and validate its effectiveness in a principled way. To model and generate scenarios of trajectories with different lengths, we develop two approaches. First, we adapt the Recurrent Conditional Generative Adversarial Networks (RC-GAN) by conditioning on the length of the trajectories. This provides us the flexibility to generate variable-length driving trajectories, a desirable feature for scenario test case generation in the verification of autonomous driving. Second, we develop an architecture based on Recurrent Autoencoder with GANs to obviate the variable length issue, wherein we train a GAN to learn/generate the latent representations of original trajectories. In this approach, we train an integrated feed-forward neural network to estimate the length of the trajectories to be able to bring them back from the latent space representation. In addition to trajectory generation, we employ the trained autoencoder as a feature extractor, for the purpose of clustering and anomaly detection, to obtain further insights into the collected scenario dataset. We experimentally investigate the performance of the proposed framework on real-world scenario trajectories obtained from in-field data collection.


title: Acutely Triangulated, Stacked, and Very Ununfoldable Polyhedra

abstract: We present new examples of topologically convex edge-ununfoldable polyhedra, i.e., polyhedra that are combinatorially equivalent to convex polyhedra, yet cannot be cut along their edges and unfolded into one planar piece without overlap. One family of examples is acutely triangulated, i.e., every face is an acute triangle. Another family of examples is stacked, i.e., the result of face-to-face gluings of tetrahedra. Both families achieve another natural property, which we call very ununfoldable: for every $k$, there is an example such that every nonoverlapping multipiece edge unfolding has at least $k$ pieces.


title: Structural-transition-driven antiferromagnetic to spin-glass transition in Cd-Mg-Tb 1/1 approximants

abstract: The magnetic susceptibility of the 1/1 approximants to icosahedral quasicrystals in a series of Cd85-xMgxTb15 (x = 5, 10, 15, 20) alloys was investigated in detail. The occurrence of antiferromagnetic to spin-glass-like transition was noticed by increasing Mg. Transmission electron microscopy analysis evidenced a correlation between the magnetic transition and suppression of the monoclinic superlattice ordering with respect to the orientation of the Cd4 tetrahedron at T > 100 K. The possible origins of this phenomenon were discussed in detail. The occurrence of the antiferromagnetic to spin-glass -like magnetic transition is associated with the combination of chemical disorder due to a randomized substitution of Cd with Mg and the orientational disorder of the Cd4 tetrahedra.


title: When and why PINNs fail to train: A neural tangent kernel perspective

abstract: Physics-informed neural networks (PINNs) have lately received great attention thanks to their flexibility in tackling a wide range of forward and inverse problems involving partial differential equations. However, despite their noticeable empirical success, little is known about how such constrained neural networks behave during their training via gradient descent. More importantly, even less is known about why such models sometimes fail to train at all. In this work, we aim to investigate these questions through the lens of the Neural Tangent Kernel (NTK); a kernel that captures the behavior of fully-connected neural networks in the infinite width limit during training via gradient descent. Specifically, we derive the NTK of PINNs and prove that, under appropriate conditions, it converges to a deterministic kernel that stays constant during training in the infinite-width limit. This allows us to analyze the training dynamics of PINNs through the lens of their limiting NTK and find a remarkable discrepancy in the convergence rate of the different loss components contributing to the total training error. To address this fundamental pathology, we propose a novel gradient descent algorithm that utilizes the eigenvalues of the NTK to adaptively calibrate the convergence rate of the total training error. Finally, we perform a series of numerical experiments to verify the correctness of our theory and the practical effectiveness of the proposed algorithms. The data and code accompanying this manuscript are publicly available at \url{https://github.com/PredictiveIntelligenceLab/PINNsNTK}.


title: Surrogate Locally-Interpretable Models with Supervised Machine Learning Algorithms

abstract: Supervised Machine Learning (SML) algorithms, such as Gradient Boosting, Random Forest, and Neural Networks, have become popular in recent years due to their superior predictive performance over traditional statistical methods. However, their complexity makes the results hard to interpret without additional tools. There has been a lot of recent work in developing global and local diagnostics for interpreting SML models. In this paper, we propose a locally-interpretable model that takes the fitted ML response surface, partitions the predictor space using model-based regression trees, and fits interpretable main-effects models at each of the nodes. We adapt the algorithm to be efficient in dealing with high-dimensional predictors. While the main focus is on interpretability, the resulting surrogate model also has reasonably good predictive performance.


title: A Multiscale Optimization Framework for Reconstructing Binary Images using Multilevel PCA-based Control Space Reduction

abstract: An efficient computational approach for optimal reconstructing parameters of binary-type physical properties for models in biomedical applications is developed and validated. The methodology includes gradient-based multiscale optimization with multilevel control space reduction by using principal component analysis (PCA) coupled with dynamical control space upscaling. The reduced dimensional controls are used interchangeably at fine and coarse scales to accumulate the optimization progress and mitigate side effects at both scales. Flexibility is achieved through the proposed procedure for calibrating certain parameters to enhance the performance of the optimization algorithm. Reduced size of control spaces supplied with adjoint-based gradients obtained at both scales facilitate the application of this algorithm to models of higher complexity and also to a broad range of problems in biomedical sciences. This technique is shown to outperform regular gradient-based methods applied to fine scale only in terms of both qualities of binary images and computing time. Performance of the complete computational framework is tested in applications to 2D inverse problems of cancer detection by the electrical impedance tomography (EIT). The results demonstrate the efficient performance of the new method and its high potential for minimizing possibilities for false positive screening and improving the overall quality of the EIT-based procedures.


title: Implementing multi-wavelength fringe tracking for the Large Binocular Telescope Interferometer's phase sensor, PHASECam

abstract: PHASECam is the fringe tracker for the Large Binocular Telescope Interferometer (LBTI). It is a near-infrared camera which is used to measure both tip/tilt and fringe phase variations between the two adaptive optics (AO) corrected apertures of the Large Binocular Telescope (LBT). Tip/tilt and phase sensing are currently performed in the $H$ (1.65 $\mu$m) and $K$ (2.2 $\mu$m) bands at 1 kHz, but only the $K$-band phase telemetry is used to send corrections to the system in order to maintain fringe coherence and visibility. However, due to the cyclic nature of the fringe phase, only the phase, modulo 360 deg, can be measured. PHASECam's phase unwrapping algorithm, which attempts to mitigate this issue, occasionally fails in the case of fast, large phase variations or low signal-to-noise ratio. This can cause a fringe jump, in which case the OPD correction will be incorrect by a wavelength. This can currently be manually corrected by the operator. However, as the LBTI commissions further modes which require robust, active phase control and for which fringe jumps are harder to detect, including multi-axial (Fizeau) interferometry and dual-aperture non-redundant aperture masking interferometry, a more reliable and automated solution is desired. We present a multi-wavelength method of fringe jump capture and correction which involves direct comparison between the $K$-band and $H$-band phase telemetry. We demonstrate the method utilizing archival PHASECam telemetry, showing it provides a robust, reliable way of detecting fringe jumps which can potentially recover a significant fraction of the data lost to them.


title: Chiral Four-Wave-Mixing signals with circularly-polarized X-ray pulses

abstract: Chiral four-wave-mixing signals are calculated using the irreducible tensor formalism. Different polarization and crossing angle configurations allow to single out the magnetic dipole and the electric quadrupole interactions. Other configurations can reveal that the chiral interaction occurs at a given step within the nonlinear interaction pathways contributing to the signal. Applications are made to the study of valence excitations of S-ibuprofen by chiral Stimulated X-ray Raman signals at the Carbon K-edge and by chiral visible 2D Electronic Spectroscopy.teraction pathways contributing to the signal.


title: Limiting Sobolev and Hardy inequalities on stratified homogeneous groups

abstract: We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups.


title: A Research Journey of Full-Duplex at University of California from Self-Interference Cancellation to Wireless Network Security

abstract: This article provides an overview of research on full-duplex at the University of California, Riverside, in the past decade. This research was initially focused on self-interference (SI) cancellation, then moved to applications of full-duplex to improve network spectral efficiency, and in recent years advanced to discover full-duplex's potentials for wireless network security. The research on SI cancellation has resulted in both hardware-based SI cancellation results and some advanced theoretical architectures which show promises but are yet to be tested via advanced hardware implementations. The applications of full-duplex for optimized spectral efficiency in ad hoc, cognitive and cellular networks have shown how to optimize power allocation among full-duplex nodes, in their antenna beamspace and over multiple subcarriers. Full-duplex has also been found to be highly beneficial for improving secrecy capacity between legitimate users against eavesdropping. Among the new capabilities that full-duplex provides for network security is an effective anti-eavesdropping channel estimation scheme which is not possible for nodes without full-duplex.


title: Heegaard genus, degree-one maps, and amalgamation of 3-manifolds

abstract: Let $M=W\cup_T V$ be an amalgamation of two compact 3-manifolds along a torus, where $W$ is the exterior of a knot in a homology sphere. Let $N$ be the manifold obtained by replacing $W$ with a solid torus such that the boundary of a Seifert surface in $W$ is a meridian of the solid torus. This means that there is a degree-one map $f\colon M\to N$, pinching $W$ into a solid torus while fixing $V$. We prove that $g(M)\ge g(N)$, where $g(M)$ denotes the Heegaard genus. An immediate corollary is that the tunnel number of a satellite knot is at least as large as the tunnel number of its pattern knot.


title: Dreaming: Model-based Reinforcement Learning by Latent Imagination without Reconstruction

abstract: In the present paper, we propose a decoder-free extension of Dreamer, a leading model-based reinforcement learning (MBRL) method from pixels. Dreamer is a sample- and cost-efficient solution to robot learning, as it is used to train latent state-space models based on a variational autoencoder and to conduct policy optimization by latent trajectory imagination. However, this autoencoding based approach often causes object vanishing, in which the autoencoder fails to perceives key objects for solving control tasks, and thus significantly limiting Dreamer's potential. This work aims to relieve this Dreamer's bottleneck and enhance its performance by means of removing the decoder. For this purpose, we firstly derive a likelihood-free and InfoMax objective of contrastive learning from the evidence lower bound of Dreamer. Secondly, we incorporate two components, (i) independent linear dynamics and (ii) the random crop data augmentation, to the learning scheme so as to improve the training performance. In comparison to Dreamer and other recent model-free reinforcement learning methods, our newly devised Dreamer with InfoMax and without generative decoder (Dreaming) achieves the best scores on 5 difficult simulated robotics tasks, in which Dreamer suffers from object vanishing.


title: A system of $k$ Sylvester-type quaternion matrix equations with $3k+1$ variables

abstract: In this paper, we provide some solvability conditions in terms of ranks for the existence of a general solution to a system of $k$ Sylvester-type quaternion matrix equations with $3k+1$ variables $A_{i}X_{i}+Y_{i}B_{i}+C_{i}Z_{i}D_{i}+F_{i}Z_{i+1}G_{i}=E_{i},~i=\overline{1,k}$. As applications of this system, we present rank equalities as the necessary and sufficient conditions for the existence of a general solution to some systems of quaternion matrix equations $A_{i}X_{i}+(A_{i}X_{i})_{\phi}+C_{i}Z_{i}(C_{i})_{\phi}+F_{i}Z_{i+1}(F_{i})_{\phi}=E_{i},~i=\overline{1,k}$.


title: Oscillations in weighted arithmetic sums

abstract: We examine oscillations in a number of sums of arithmetic functions involving $\Omega(n)$, the total number of prime factors of $n$, and $\omega(n)$, the number of distinct prime factors of $n$. In particular, we examine oscillations in $S_\alpha(x) = \sum_{n\leq x} (-1)^{n - \Omega(n)}/n^\alpha$ and in $H_\alpha(x) = \sum_{n\leq x} (-1)^{\omega(n)}/n^{\alpha}$ for $\alpha\in[0,1]$, and in $W(x)=\sum_{n\leq x} (-2)^{\Omega(n)}$. We show for example that each of the inequalities $S_0(x)<0$, $S_0(x)>3.3\sqrt{x}$, $S_1(x)>0$, and $S_1(x)\sqrt{x}<-3.3$ is true infinitely often, disproving some hypotheses of Sun.


title: Asymptotic theory for the detection of mixing in anomalous diffusion

abstract: In this paper, we develop asymptotic theory for the mixing detection methodology proposed by M. Magdziarz and A. Weron [Physical Review E, 84:051138 (2011)]. The assumptions cover a broad family of Gaussian stochastic processes including fractional Gaussian noise and the fractional Ornstein-Uhlenbeck process. We show that the asymptotic distribution and convergence rates of the detection statistic may be, respectively, Gaussian or non-Gaussian and standard or nonstandard depending on the diffusion exponent. The results pave the way for mixing detection based on a single observed sample path and by means of robust hypothesis testing.


title: Truncated Linear Regression in High Dimensions

abstract: As in standard linear regression, in truncated linear regression, we are given access to observations $(A_i, y_i)_i$ whose dependent variable equals $y_i= A_i^{\rm T} \cdot x^* + \eta_i$, where $x^*$ is some fixed unknown vector of interest and $\eta_i$ is independent noise; except we are only given an observation if its dependent variable $y_i$ lies in some "truncation set" $S \subset \mathbb{R}$. The goal is to recover $x^*$ under some favorable conditions on the $A_i$'s and the noise distribution. We prove that there exists a computationally and statistically efficient method for recovering $k$-sparse $n$-dimensional vectors $x^*$ from $m$ truncated samples, which attains an optimal $\ell_2$ reconstruction error of $O(\sqrt{(k \log n)/m})$. As a corollary, our guarantees imply a computationally efficient and information-theoretically optimal algorithm for compressed sensing with truncation, which may arise from measurement saturation effects. Our result follows from a statistical and computational analysis of the Stochastic Gradient Descent (SGD) algorithm for solving a natural adaptation of the LASSO optimization problem that accommodates truncation. This generalizes the works of both: (1) [Daskalakis et al. 2018], where no regularization is needed due to the low-dimensionality of the data, and (2) [Wainright 2009], where the objective function is simple due to the absence of truncation. In order to deal with both truncation and high-dimensionality at the same time, we develop new techniques that not only generalize the existing ones but we believe are of independent interest.


title: Interplay between superconductivity and non-Fermi liquid at a quantum-critical point in a metal. III: The $\gamma$ model and its phase diagram across $\gamma = 1$

abstract: In this paper we continue our analysis of the interplay between the pairing and the non-Fermi liquid behavior in a metal for a set of quantum-critical models with an effective dynamical electron-electron interaction $V(\Omega_m) \propto 1/|\Omega_m|^\gamma$ (the $\gamma$-model). We analyze both the original model and its extension, in which we introduce an extra parameter $N$ to account for non-equal interactions in the particle-hole and particle-particle channel. In two previous papers(arXiv:2004.13220 and arXiv:2006.02968), we considered the case $0 < \gamma <1$ and argued that (i) at $T=0$, there exists an infinite discrete set of topologically different gap functions, $\Delta_n (\omega_m)$, all with the same spatial symmetry, and (ii) each $\Delta_n$ evolves with temperature and terminates at a particular $T_{p,n}$. In this paper, we analyze how the system behavior changes between $\gamma <1$ and $\gamma >1$, both at $T=0$ and a finite $T$. The limit $\gamma \to 1$ is singular due to infra-red divergence of $\int d \omega_m V(\Omega_m)$, and the system behavior is highly sensitive to how this limit is taken. We show that for $N =1$, the divergencies in the gap equation cancel out, and $\Delta_n (\omega_m)$ gradually evolve through $\gamma=1$ both at $T=0$ and a finite $T$. For $N \neq 1$, divergent terms do not cancel, and a qualitatively new behavior emerges for $\gamma >1$. Namely, the form of $\Delta_n (\omega_m)$ changes qualitatively, and the spectrum of condensation energies, $E_{c,n}$ becomes continuous at $T=0$. We introduce different extension of the model, which is free from singularities for $\gamma >1$.


title: Deformations of Adjoint orbits for semisimple Lie algebras and Lagrangian submanifolds

abstract: We give a coadjoint orbit's diffeomorphic deformation between the classical semisimple case and the semi-direct product given by a Cartan decomposition. The two structures admit the Hermitian symplectic form defined in a semisimple complex Lie algebra. We provide some applications such as the constructions of Lagrangian submanifolds.


title: Artificial neural networks for disease trajectory prediction in the context of sepsis

abstract: The disease trajectory for clinical sepsis, in terms of temporal cytokine and phenotypic dynamics, can be interpreted as a random dynamical system. The ability to make accurate predictions about patient state from clinical measurements has eluded the biomedical community, primarily due to the paucity of relevant and high-resolution data. We have utilized two distinct neural network architectures, Long Short-Term Memory and Multi-Layer Perceptron, to take a time sequence of five measurements of eleven simulated serum cytokine concentrations as input and to return both the future cytokine trajectories as well as an aggregate metric representing the patient's state of health. The neural networks converged within 50 epochs for cytokine trajectory predictions and health-metric regressions, with the expected amount of error (due to stochasticity in the simulation). The mapping from a specific cytokine profile to a state-of-health is not unique, and increased levels of inflammation result in less accurate predictions. Due to the propagation of machine learning error combined with computational model stochasticity over time, the network should be re-grounded in reality daily as predictions can diverge from the true model trajectory as the system evolves towards a probabilistic basin of attraction. This work serves as a proof-of-concept for the use of artificial neural networks to predict disease progression in sepsis. This work is not intended to replace a trained clinician, rather the goal is to augment intuition with quantifiable statistical information to help them make the best decisions. We note that this relies on a valid computational model of the system in question as there does not exist sufficient data to inform a machine-learning trained, artificially intelligent, controller.


title: Indistinguishability and Negative Probabilities

abstract: In this paper, we examined the connection between quantum systems' indistinguishability and signed (or negative) probabilities. We do so by first introducing a measure-theoretic definition of signed probabilities inspired by research in quantum contextuality. We then argue that ontological indistinguishability leads to the no-signaling condition and negative probabilities.


title: Almost-formality and deformations of representations of the fundamental groups of Sasakian manifolds

abstract: For a $2n+1$-dimensional compact Sasakian manifold, if $n\ge 2$, we prove that the analytic germ of the variety of representations of the fundamental group at every semi-simple representation is quadratic. To prove this result, we prove the almost-formality of de Rham complex of a Sasakian manifold with values in a semi-simple flat vector bundle. By the almost-formality, we also prove the vanishing theorem on the cup product of the cohomology of semi-simple flat vector bundles over a compact Sasakian manifold.


title: Learning Object-conditioned Exploration using Distributed Soft Actor Critic

abstract: Object navigation is defined as navigating to an object of a given label in a complex, unexplored environment. In its general form, this problem poses several challenges for Robotics: semantic exploration of unknown environments in search of an object and low-level control. In this work we study object-guided exploration and low-level control, and present an end-to-end trained navigation policy achieving a success rate of 0.68 and SPL of 0.58 on unseen, visually complex scans of real homes. We propose a highly scalable implementation of an off-policy Reinforcement Learning algorithm, distributed Soft Actor Critic, which allows the system to utilize 98M experience steps in 24 hours on 8 GPUs. Our system learns to control a differential drive mobile base in simulation from a stack of high dimensional observations commonly used on robotic platforms. The learned policy is capable of object-guided exploratory behaviors and low-level control learned from pure experiences in realistic environments.