title: Exploring Preferences for Transportation Modes in the City of Munich after the Recent Incorporation of Ride-Hailing Companies

abstract: The growth of ridehailing (RH) companies over the past few years has affected urban mobility in numerous ways. Despite widespread claims about the benefits of such services, limited research has been conducted on the topic. This paper assesses the willingness of Munich transportation users to pay for RH services. Realizing the difficulty of obtaining data directly from RH companies, a stated preference survey was designed. The dataset includes responses from 500 commuters. Sociodemographic attributes, current travel behavior and transportation mode preference in an 8 km trip scenario using RH service and its similar modes (auto and transit), were collected. A multinomial logit model was used to estimate the time and cost coefficients for using RH services across income groups, which was then used to estimate the value of time (VOT) for RH. The model results indicate RH services popularity among those aged 18 to 39, larger households and households with fewer autos. Higher income groups are also willing to pay more for using RH services. To examine the impact of RH services on modal split in the city of Munich, we incorporated RH as a new mode into an existing nested logit mode choice model using an incremental logit. Travel time, travel cost and VOT were used as measures for the choice commuters make when choosing between RH and its closest mode, metro. A total of 20 scenarios were evaluated at four different congestion levels and four price levels to reflect the demand in response to acceptable costs and time tradeoffs.


title: The Double Chooz antineutrino detectors

abstract: This article describes the setup and performance of the near and far detectors in the Double Chooz experiment. The electron antineutrinos of the Chooz nuclear power plant were measured in two identically designed detectors with different average baselines of about 400 m and 1050 m from the two reactor cores. Over many years of data taking the neutrino signals were extracted from interactions in the detectors with the goal of measuring a fundamental parameter in the context of neutrino oscillation, the mixing angle {\theta}13. The central part of the Double Chooz detectors was a main detector comprising four cylindrical volumes filled with organic liquids. From the inside towards the outside there were volumes containing gadolinium-loaded scintillator, gadolinium-free scintillator, a buffer oil and, optically separated, another liquid scintillator acting as veto system. Above this main detector an additional outer veto system using plastic scintillator strips was installed. The technologies developed in Double Chooz were inspiration for several other antineutrino detectors in the field. The detector design allowed implementation of efficient background rejection techniques including use of pulse shape information provided by the data acquisition system. The Double Chooz detectors featured remarkable stability, in particular for the detected photons, as well as high radiopurity of the detector components.


title: Approximate method for helical particle trajectory reconstruction in high energy physics experiments

abstract: High energy physics experiments, in particular experiments at the LHC, require the reconstruction of charged particle trajectories. Methods of reconstructing such trajectories have been known for decades, yet the applications at High Luminosity LHC require this reconstruction to be fast enough to be suitable for online event filtering. A particle traversing the detector volume leaves signals in active detector elements from which the trajectory is reconstructed. If the detector is submerged in a uniform magnetic field that trajectory is approximately helical. Since a collision event results in the production of many particles, especially at high luminosities, the first phase of trajectory reconstruction is the formation of candidate trajectories composed of a small subset of detector measurements that are then subject of resource intensive precise track parameters estimation. In this paper, we suggest a new approach that could be used to perform this classification. The proposed procedure utilizes the $z$ coordinate in the longitudinal direction in addition to the $x, y$ coordinates in the plane perpendicular to the direction of the magnetic field. The suggested algorithm works equally well for helical trajectories with different proximities to the beamline which is beneficial when searching for products of particles with longer lifetimes.


title: Top-K Ranking Deep Contextual Bandits for Information Selection Systems

abstract: In today's technology environment, information is abundant, dynamic, and heterogeneous in nature. Automated filtering and prioritization of information is based on the distinction between whether the information adds substantial value toward one's goal or not. Contextual multi-armed bandit has been widely used for learning to filter contents and prioritize according to user interest or relevance. Learn-to-Rank technique optimizes the relevance ranking on items, allowing the contents to be selected accordingly. We propose a novel approach to top-K rankings under the contextual multi-armed bandit framework. We model the stochastic reward function with a neural network to allow non-linear approximation to learn the relationship between rewards and contexts. We demonstrate the approach and evaluate the the performance of learning from the experiments using real world data sets in simulated scenarios. Empirical results show that this approach performs well under the complexity of a reward structure and high dimensional contextual features.


title: A Regret Minimization Approach to Multi-Agent Control

abstract: We study the problem of multi-agent control of a dynamical system with known dynamics and adversarial disturbances. Our study focuses on optimal control without centralized precomputed policies, but rather with adaptive control policies for the different agents that are only equipped with a stabilizing controller. We give a reduction from any (standard) regret minimizing control method to a distributed algorithm. The reduction guarantees that the resulting distributed algorithm has low regret relative to the optimal precomputed joint policy. Our methodology involves generalizing online convex optimization to a multi-agent setting and applying recent tools from nonstochastic control derived for a single agent. We empirically evaluate our method on a model of an overactuated aircraft. We show that the distributed method is robust to failure and to adversarial perturbations in the dynamics.


title: Classification of Robinson-Trautmann and Kundt Geometries with Large D Limit

abstract: Algebraic classification of higher dimensional, shear-free, twist-free, expanding (or non-expanding) spacetime is studied with the limit of $D\rightarrow\infty$. Similar to classification of any arbitrary dimension $D>4$, this spacetime is Type I(b) or more special, according to our calculations. However, thanks to the method of taking the limit of dimension $D\rightarrow \infty$, the components of Weyl scalar are obtained much simpler. Without solving field equations, by determining obligotary conditions to the components of Weyl scalar vanish, the spacetime is classified Type I(a), Type II(a-b-c-d), Type III(a-b), Type N and Type O for primary Weyl aligned null direciton (WAND), and Type $I_{i}$, Type $II_{i}$, Type $III_{i}$ and Type D(a-b-c-d) for secondary WAND.


title: Model-Based Engineering of CPPS Functions and Code Generation for Skills

abstract: Today's production systems are complex networks of cyber-physical systems which combine mechanical and electronic parts with software and networking capabilities. To the inherent complexity of such systems additional complexity arises from the context in which these systems operate. Manufacturing companies need to be able to adapt their production to ever changing customer demands as well as decreasing lot sizes. Engineering such systems, which need to be combined and reconfigured into different networks under changing conditions, requires engineering methods to carefully design them for possible future uses. Such engineering methods need to preserve the flexibility of functions into runtime, so that reconfiguring machines can be done with as little effort as possible. In this paper we present a model-based approach that is focused on machine functions and allows to methodically develop system functionalities for changing system networks. These functions are implemented as so-called skills using automated code-generation.


title: Metrics for saliency map evaluation of deep learning explanation methods

abstract: Due to the black-box nature of deep learning models, there is a recent development of solutions for visual explanations of CNNs. Given the high cost of user studies, metrics are necessary to compare and evaluate these different methods. In this paper, we critically analyze the Deletion Area Under Curve (DAUC) and Insertion Area Under Curve (IAUC) metrics proposed by Petsiuk et al. (2018). These metrics were designed to evaluate the faithfulness of saliency maps generated by generic methods such as Grad-CAM or RISE. First, we show that the actual saliency score values given by the saliency map are ignored as only the ranking of the scores is taken into account. This shows that these metrics are insufficient by themselves, as the visual appearance of a saliency map can change significantly without the ranking of the scores being modified. Secondly, we argue that during the computation of DAUC and IAUC, the model is presented with images that are out of the training distribution which might lead to an unreliable behavior of the model being explained. To complement DAUC/IAUC, we propose new metrics that quantify the sparsity and the calibration of explanation methods, two previously unstudied properties. Finally, we give general remarks about the metrics studied in this paper and discuss how to evaluate them in a user study.


title: Fragmented ARES: Dynamic Storage for Large Objects

abstract: Data availability is one of the most important features in distributed storage systems, made possible by data replication. Nowadays data are generated rapidly and the goal to develop efficient, scalable and reliable storage systems has become one of the major challenges for high performance computing. In this work, we develop a dynamic, robust and strongly consistent distributed storage implementation suitable for handling large objects (such as files). We do so by integrating an Adaptive, Reconfigurable, Atomic Storage framework, called ARES, with a distributed file system, called COBFS, which relies on a block fragmentation technique to handle large objects. With the addition of ARES, we also enable the use of an erasure-coded algorithm to further split our data and to potentially improve storage efficiency at the replica servers and operation latency. To put the practicality of our outcomes at test, we conduct an in-depth experimental evaluation on the Emulab and AWS EC2 testbeds, illustrating the benefits of our approaches, as well as other interesting tradeoffs.


title: Artificial atoms from cold bosons in one dimension

abstract: We investigate the ground-state properties of weakly repulsive one-dimensional bosons in the presence of an attractive zero-range impurity potential. First, we derive mean-field solutions to the problem on a finite ring for the two asymptotic cases: (i) all bosons are bound to the impurity and (ii) all bosons are in a scattering state. Moreover, we derive the critical line that separates these regimes in the parameter space. In the thermodynamic limit, this critical line determines the maximum number of bosons that can be bound by the impurity potential, forming an artificial atom. Second, we validate the mean-field results using the flow equation approach and the multi-layer multi-configuration time-dependent Hartree method for atomic mixtures. While beyond-mean-field effects destroy long-range order in the Bose gas, the critical boson number is unaffected. Our findings are important for understanding such artificial atoms in low-density Bose gases with static and mobile impurities.


title: Early time behavior of spatial and momentum anisotropies in kinetic theory across different Knudsen numbers

abstract: We investigate the early time development of the anisotropic transverse flow and spatial eccentricities of a fireball with various particle-based transport approaches using a fixed initial condition. In numerical simulations ranging from the quasi-collisionless case to the hydrodynamic regime, we find that the onset of $v_n$ and of related measures of anisotropic flow can be described with a simple power-law ansatz, with an exponent that depends on the amount of rescatterings in the system. In the few-rescatterings regime we perform semi-analytical calculations, based on a systematic expansion in powers of time and the cross section, which can reproduce the numerical findings.


title: Non-Markovian feedback control and acausality: an experimental study

abstract: Causality is an important assumption underlying nonequilibrium generalizations of the second law of thermodynamics known as fluctuation relations. We here experimentally study the nonequilibrium statistical properties of the work and of the entropy production for an optically trapped, underdamped nanoparticle continuously subjected to a time-delayed feedback control. Whereas the non-Markovian feedback depends on the past position of the particle for a forward trajectory, it depends on its future position for a time-reversed path, and is therefore acausal. In the steady-state regime, we show that the corresponding fluctuation relations in the long-time limit exhibit a clear signature of this acausality, even though the time-reversed dynamics is not physically realizable.


title: An Isolated Stellar-Mass Black Hole Detected Through Astrometric Microlensing

abstract: We report the first unambiguous detection and mass measurement of an isolated stellar-mass black hole (BH). We used the Hubble Space Telescope (HST) to carry out precise astrometry of the source star of the long-duration (t_E~270 days), high-magnification microlensing event MOA-2011-BLG-191/OGLE-2011-BLG-0462 (hereafter designated as MOA-11-191/OGLE-11-462), in the direction of the Galactic bulge. HST imaging, conducted at eight epochs over an interval of six years, reveals a clear relativistic astrometric deflection of the background star's apparent position. Ground-based photometry of MOA-11-191/OGLE-11-462 shows a parallactic signature of the effect of the Earth's motion on the microlensing light curve. Combining the HST astrometry with the ground-based light curve and the derived parallax, we obtain a lens mass of 7.1 +/- 1.3 Msun and a distance of 1.58 +/- 0.18 kpc. We show that the lens emits no detectable light, which, along with having a mass higher than is possible for a white dwarf or neutron star, confirms its BH nature. Our analysis also provides an absolute proper motion for the BH. The proper motion is offset from the mean motion of Galactic-disk stars at similar distances by an amount corresponding to a transverse space velocity of ~45 km/s, suggesting that the BH received a 'natal kick' from its supernova explosion. Previous mass determinations for stellar-mass BHs have come from radial-velocity measurements of Galactic X-ray binaries, and from gravitational radiation emitted by merging BHs in binary systems in external galaxies. Our mass measurement is the first for an isolated stellar-mass BH using any technique.


title: Beyond synchronization: Body gestures and gaze direction in duo performance

abstract: In this chapter, we focus on two main categories of visual interaction: body gestures and gaze direction. Our focus on body gestures is motivated by research showing that gesture patterns often change during joint action tasks to become more predictable (van der Wel et al., 2016). Moreover, coordination sometimes emerges between musicians at the level of body sway (Chang et al., 2017). Our focus on gaze direction was motivated by the fact that gaze can serve simultaneously as a means of obtaining information about the world and as a means of communicating one's own attention and intent.


title: A Safe Control Architecture Based on a Model Predictive Control Supervisor for Autonomous Driving

abstract: This paper presents a novel, safe control architecture (SCA) for controlling an important class of systems: safety-critical systems. Ensuring the safety of control decisions has always been a challenge in automatic control. The proposed SCA aims to address this challenge by using a Model Predictive Controller (MPC) that acts as a supervisor for the operating controller, in the sense that the MPC constantly checks the safety of the control inputs generated by the operating controller and intervenes if the control input is predicted to lead to a hazardous situation in the foreseeable future invariably. Then an appropriate backup scheme can be activated, e.g., a degraded control mechanism, the transfer of the system to a safe state, or a warning signal issued to a human supervisor. For a proof of concept, the proposed SCA is applied to an autonomous driving scenario, where it is illustrated and compared in different obstacle avoidance scenarios. A major challenge of the SCA lies in the mismatch between the MPC prediction model and the real system, for which possible remedies are explored.


title: Directed Weight Neural Networks for Protein Structure Representation Learning

abstract: A protein performs biological functions by folding to a particular 3D structure. To accurately model the protein structures, both the overall geometric topology and local fine-grained relations between amino acids (e.g. side-chain torsion angles and inter-amino-acid orientations) should be carefully considered. In this work, we propose the Directed Weight Neural Network for better capturing geometric relations among different amino acids. Extending a single weight from a scalar to a 3D directed vector, our new framework supports a rich set of geometric operations on both classical and SO(3)--representation features, on top of which we construct a perceptron unit for processing amino-acid information. In addition, we introduce an equivariant message passing paradigm on proteins for plugging the directed weight perceptrons into existing Graph Neural Networks, showing superior versatility in maintaining SO(3)-equivariance at the global scale. Experiments show that our network has remarkably better expressiveness in representing geometric relations in comparison to classical neural networks and the (globally) equivariant networks. It also achieves state-of-the-art performance on various computational biology applications related to protein 3D structures.


title: End-to-End Quality-of-Service Assurance with Autonomous Systems: 5G/6G Case Study

abstract: Providing differentiated services to meet the unique requirements of different use cases is a major goal of the fifth generation (5G) telecommunication networks and will be even more critical for future 6G systems. Fulfilling this goal requires the ability to assure quality of service (QoS) end to end (E2E), which remains a challenge. A key factor that makes E2E QoS assurance difficult in a telecommunication system is that access networks (ANs) and core networks (CNs) manage their resources autonomously. So far, few results have been available that can ensure E2E QoS over autonomously managed ANs and CNs. Existing techniques rely predominately on each subsystem to meet static local QoS budgets with no recourse in case any subsystem fails to meet its local budgets and, hence will have difficulty delivering E2E assurance. Moreover, most existing distributed optimization techniques that can be applied to assure E2E QoS over autonomous subsystems require the subsystems to exchange sensitive information such as their local decision variables. This paper presents a novel framework and a distributed algorithm that can enable ANs and CNs to autonomously "cooperate" with each other to dynamically negotiate their local QoS budgets and to collectively meet E2E QoS goals by sharing only their estimates of the global constraint functions, without disclosing their local decision variables. We prove that this new distributed algorithm converges to an optimal solution almost surely, and also present numerical results to demonstrate that the convergence occurs quickly even with measurement noise.


title: Won't you see my neighbor?: User predictions, mental models, and similarity-based explanations of AI classifiers

abstract: Humans should be able work more effectively with artificial intelligence-based systems when they can predict likely failures and form useful mental models of how the systems work. We conducted a study of human's mental models of artificial intelligence systems using a high-performing image classifier, focusing on participants' ability to predict the classification result for a particular image. Participants viewed individual labeled images in one of two classes and then tried to predict whether the classifier would label them correctly. In this experiment we explored the effect of giving participants additional information about an image's nearest neighbors in a space representing the otherwise uninterpretable features extracted by the lower layers of the classifier's neural network. We found that providing this information did increase participants' prediction performance, and that the performance improvement could be related to the neighbor images' similarity to the target image. We also found indications that the presentation of this information may influence people's own classification of the target image -- that is, rather than just anthropomorphizing the system, in some cases the humans become "mechanomorphized" in their judgements.


title: Eris: Measuring discord among multidimensional data sources

abstract: Data integration is a classical problem in databases, typically decomposed into schema matching, entity matching and data fusion. To solve the latter, it is mostly assumed that ground truth can be determined. However, in general, the data gathering processes in the different sources are imperfect and cannot provide an accurate merging of values. Thus, in the absence of ways to determine ground truth, it is important to at least quantify how far from being internally consistent a dataset is. Hence, we propose definitions of concordant data and define a discordance metric as a way of measuring disagreement to improve decision making based on trustworthiness. We define the discord measurement problem of numerical attributes in which given a set of uncertain raw observations or aggregate results (such as case/hospitalization/death data relevant to COVID-19) and information on the alignment of different conceptualizations of the same reality (e.g., granularities or units), we wish to assess whether the different sources are concordant, or if not, use the discordance metric to quantify how discordant they are. We also define a set of algebraic operators to describe the alignments of different data sources with correctness guarantees, together with two alternative relational database implementations that reduce the problem to linear or quadratic programming. These are evaluated against both COVID-19 and synthetic data, and our experimental results show that discordance measurement can be performed efficiently in realistic situations.


title: Facets of Symmetric Edge Polytopes for Graphs with Few Edges

abstract: Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.


title: Quantum algorithms for Schrieffer-Wolff transformation

abstract: The Schrieffer-Wolff transformation aims to solve degenerate perturbation problems and give an effective Hamiltonian that describes the low-energy dynamics of the exact Hamiltonian in the low-energy subspace of unperturbed Hamiltonian. This unitary transformation decoupling the low-energy and high-energy subspaces for the transformed Hamiltonian can be realized by quantum circuits. We give a fully quantum algorithm for realizing the SW transformation. We also propose a hybrid quantum-classical algorithm for finding the effective Hamiltonian on NISQ hardware, where a general cost function is used to indicate the decoupling degree. Numerical simulations without or with noise and experiments on quantum computer ibmq_manila are implemented for a Heisenberg chain model. Our results verify the algorithm and show its validity on near-term quantum computers.


title: Optimizing LLVM Pass Sequences with Shackleton: A Linear Genetic Programming Framework

abstract: In this paper we introduce Shackleton as a generalized framework enabling the application of linear genetic programming -- a technique under the umbrella of evolutionary algorithms -- to a variety of use cases. We also explore here a novel application for this class of methods: optimizing sequences of LLVM optimization passes. The algorithm underpinning Shackleton is discussed, with an emphasis on the effects of different features unique to the framework when applied to LLVM pass sequences. Combined with analysis of different hyperparameter settings, we report the results on automatically optimizing pass sequences using Shackleton for two software applications at differing complexity levels. Finally, we reflect on the advantages and limitations of our current implementation and lay out a path for further improvements. These improvements aim to surpass hand-crafted solutions with an automatic discovery method for an optimal pass sequence.


title: Deep learning for disordered topological insulators through entanglement spectrum

abstract: Calculation of topological invariants for crystalline systems is well understood in reciprocal space, allowing for the topological classification of a wide spectrum of materials. In this work, we present a new technique based on the entanglement spectrum, which can be used to identify the hidden topology of systems without translational invariance. By training a neural network to distinguish between trivial and topological phases using the entanglement spectrum obtained from crystalline or weakly disordered phases, we can predict the topological phase diagram for generic disordered systems. This approach becomes particularly useful for gapless systems, while providing a computational speed-up compared to the commonly used Wilson loop technique for gapful situations. Our methodology is illustrated in two-dimensional models based on the Wilson-Dirac lattice Hamiltonian.


title: Outer functors and a general operadic framework

abstract: For $\mathcal{O}$ an operad in $k$-vector spaces, the category $\mathcal{F}_\mathcal{O}$ is defined to be the category of $k$-linear functors from the PROP associated to $\mathcal{O}$ to $k$-vector spaces. Given $\mu \in \mathcal{O} (2)$ that satisfies a right Leibniz condition, the full subcategory $\mathcal{F}_\mathcal{O}^\mu \subset \mathcal{F}_\mathcal{O}$ is introduced here and its properties studied. This is motivated by the case of the Lie operad, where $\mu$ is taken to be the generator. By previous results of the author, when $k = \mathbb{Q}$, $\mathcal{F}_{Lie}$ is equivalent to the category of analytic functors on the opposite of the category $\mathbf{gr}$ of finitely-generated free groups. The main result shows that $\mathcal{F}_{Lie}^\mu$ identifies with the category of outer analytic functors, as introduced in earlier work of the author with Vespa. Using this identification, this theory has applications to the study of the higher Hochschild homology functors related to work of Turchin and Willwacher.


title: Solving the Cauchy problem for a three-dimensional difference equation in a parallelepiped

abstract: The aim of this article is further development of the theory of linear difference equations with constant coefficients. We present a new algorithm for calculating the solution to the Cauchy problem for a three-dimensional difference equation with constant coefficients in a parallelepiped at the point using the coefficients of the difference equation and Cauchy data. The implemented algorithm is the next significant achievement in a series of articles justifying the Apanovich and Leinartas' theorems about the solvability and well-posedness of the Cauchy problem. We also use methods of computer algebra since the three-dimensional case usually demands extended calculations.


title: Accelerating Laue Depth Reconstruction Algorithm with CUDA

abstract: The Laue diffraction microscopy experiment uses the polychromatic Laue micro-diffraction technique to examine the structure of materials with sub-micron spatial resolution in all three dimensions. During this experiment, local crystallographic orientations, orientation gradients and strains are measured as properties which will be recorded in HDF5 image format. The recorded images will be processed with a depth reconstruction algorithm for future data analysis. But the current depth reconstruction algorithm consumes considerable processing time and might take up to 2 weeks for reconstructing data collected from one single experiment. To improve the depth reconstruction computation speed, we propose a scalable GPU program solution on the depth reconstruction problem in this paper. The test result shows that the running time would be 10 to 20 times faster than the prior CPU design for various size of input data.


title: Lectures on entanglement in quantum field theory

abstract: These notes grew from a series of lectures given by the authors during the last decade. They will be published in the proceedings of TASI 2021. After a brief introduction to quantum information theory tools, they are organized in four chapters covering the following subjects: Entanglement in quantum field theory, Irreversibility theorems, Energy-entropy bounds, Entanglement and symmetries.


title: Neighbour Interaction based Click-Through Rate Prediction via Graph-masked Transformer

abstract: Click-Through Rate (CTR) prediction, which aims to estimate the probability that a user will click an item, is an essential component of online advertising. Existing methods mainly attempt to mine user interests from users' historical behaviours, which contain users' directly interacted items. Although these methods have made great progress, they are often limited by the recommender system's direct exposure and inactive interactions, and thus fail to mine all potential user interests. To tackle these problems, we propose Neighbor-Interaction based CTR prediction (NI-CTR), which considers this task under a Heterogeneous Information Network (HIN) setting. In short, Neighbor-Interaction based CTR prediction involves the local neighborhood of the target user-item pair in the HIN to predict their linkage. In order to guide the representation learning of the local neighbourhood, we further consider different kinds of interactions among the local neighborhood nodes from both explicit and implicit perspective, and propose a novel Graph-Masked Transformer (GMT) to effectively incorporates these kinds of interactions to produce highly representative embeddings for the target user-item pair. Moreover, in order to improve model robustness against neighbour sampling, we enforce a consistency regularization loss over the neighbourhood embedding. We conduct extensive experiments on two real-world datasets with millions of instances and the experimental results show that our proposed method outperforms state-of-the-art CTR models significantly. Meanwhile, the comprehensive ablation studies verify the effectiveness of every component of our model. Furthermore, we have deployed this framework on the WeChat Official Account Platform with billions of users. The online A/B tests demonstrate an average CTR improvement of 21.9 against all online baselines.


title: On scale-invariant properties in natural images and their simulations

abstract: We study samples of natural images for which a set of statistical characteristics is computed and scale-invariant properties of samples are demonstrated computationally. Computations of the power spectrum are carried out and a power-law decaying power spectrum is observed on samples taken from van Hateren images of natural scenes. We propose a dynamic model to reproduce the observed slope in the power spectrum qualitatively. For two types of sources for this model the behaviour of power spectrum is investigated and scale-invariance confirmed numerically. We then discuss potential applications of scale-invariant properties of natural images.


title: Efficiently Maintaining Next Basket Recommendations under Additions and Deletions of Baskets and Items

abstract: Recommender systems play an important role in helping people find information and make decisions in today's increasingly digitalized societies. However, the wide adoption of such machine learning applications also causes concerns in terms of data privacy. These concerns are addressed by the recent "General Data Protection Regulation" (GDPR) in Europe, which requires companies to delete personal user data upon request when users enforce their "right to be forgotten". Many researchers argue that this deletion obligation does not only apply to the data stored in primary data stores such as relational databases but also requires an update of machine learning models whose training set included the personal data to delete. We explore this direction in the context of a sequential recommendation task called Next Basket Recommendation (NBR), where the goal is to recommend a set of items based on a user's purchase history. We design efficient algorithms for incrementally and decrementally updating a state-of-the-art next basket recommendation model in response to additions and deletions of user baskets and items. Furthermore, we discuss an efficient, data-parallel implementation of our method in the Spark Structured Streaming system. We evaluate our implementation on a variety of real-world datasets, where we investigate the impact of our update techniques on several ranking metrics and measure the time to perform model updates. Our results show that our method provides constant update time efficiency with respect to an additional user basket in the incremental case, and linear efficiency in the decremental case where we delete existing baskets. With modest computational resources, we are able to update models with a latency of around 0.2~milliseconds regardless of the history size in the incremental case, and less than one millisecond in the decremental case.


title: Error analysis of a class of semi-discrete schemes for solving the Gross-Pitaevskii equation at low regularity

abstract: We analyse a class of time discretizations for solving the nonlinear Schr\"odinger equation with non-smooth potential and at low-regularity on an arbitrary Lipschitz domain $\Omega \subset \mathbb{R}^d$, $d \le 3$. We show that these schemes, together with their optimal local error structure, allow for convergence under lower regularity assumptions on both the solution and the potential than is required by classical methods, such as splitting or exponential integrator methods. Moreover, we show first and second order convergence in the case of periodic boundary conditions, in any fractional positive Sobolev space $H^{r}$, $r \ge 0$, beyond the more typical $L^2$ or $H^\sigma (\sigma>\frac{d}{2}$) -error analysis. Numerical experiments illustrate our results.


title: Some definite integrals involving Jacobi polynomials

abstract: Szmytkowski derived a certain integral with Gegenbauer polynomials. A natural generalization is to derive lookalike integrals with Jacobi polynomials. Six methods are treated to derive the first integral. The first method should be enough to prove the first integral, but by the other methods there arises remarkable formula such as par example a zero-balanced F3 Appell function which can be converted into a 2F1 hypergeometric function. Another three integrals complete the paper.


title: Phonon drag thermal Hall effect in metallic strontium titanate

abstract: SrTiO$_3$, a quantum paralectric, displays a detectable phonon thermal Hall effect (THE). Here we show that the amplitude of THE is extremely sensitive to stoichiometry. It drastically decreases upon substitution of a tiny fraction of Sr atoms with Ca, which stabilizes the ferroelectric order. It drastically increases by an even lower density of oxygen vacancies, which turn the system to a dilute metal. The enhancement in the metallic state exceeds by far the sum of the electronic and the phononic contributions. We explain this observation as an outcome of three features: i) heat is mostly transported by phonons; ii) the electronic Hall angle is extremely large; and iii) there is substantial momentum exchange between electrons and phonons. Starting from Herring's picture of phonon drag, we arrive to a quantitative account of the enhanced THE. Thus, phonon drag, hitherto detected as an amplifier of thermoelectric coefficients, can generate a purely thermal transverse response in a dilute metal with a large Hall angle. Our results reveal a hitherto unknown consequence of momentum-conserving collisions between electrons and phonons.ely thermal transverse response in a dilute metal with a large Hall angle. Our results reveal a hitherto unknown consequence of momentum-conserving collisions between electrons and phonons.


title: Hyper-Class Representation of Data

abstract: Data representation is usually a natural form with their attribute values. On this basis, data processing is an attribute-centered calculation. However, there are three limitations in the attribute-centered calculation, saying, inflexible calculation, preference computation, and unsatisfactory output. To attempt the issues, a new data representation, named as hyper-classes representation, is proposed for improving recommendation. First, the cross entropy, KL divergence and JS divergence of features in data are defined. And then, the hyper-classes in data can be discovered with these three parameters. Finally, a kind of recommendation algorithm is used to evaluate the proposed hyper-class representation of data, and shows that the hyper-class representation is able to provide truly useful reference information for recommendation systems and makes recommendations much better than existing algorithms, i.e., this approach is efficient and promising.


title: Multi-Soliton scattering of the Anti-Self-Dual Yang-Mills Equations in 4-dimensional split signature

abstract: We construct the ASDYM 1-solitons and multi-solitons for split signature and interpret them as soliton walls. We show that the gauge group is $\mathrm{G=SU(2)}$ for the entire intersecting soliton walls, and $\mathrm{SU(3)}$ for each soliton walls in the asymptotic region. This is joint research partially with Masashi Hamanaka, Claire R. Gilson, and Jonathan Nimmo.


title: Quantum thermodynamic methods to purify a qubit on a quantum processing unit

abstract: We report on a quantum thermodynamic method to purify a qubit on a quantum processing unit (QPU) equipped with (nearly) identical qubits. Our starting point is a three qubit design that emulates the well known two qubit swap engine. Similar to standard fridges, the method would allow to cool down a qubit at the expense of heating two other qubits. A minimal modification thereof leads to a more practical three qubit design that allows for enhanced refrigeration tasks, such as increasing the purity of one qubit at the expense of decreasing the purity of the other two. The method is based on the application of properly designed quantum circuits, and can therefore be run on any gate model quantum computer. We implement it on a publicly available superconducting qubit based QPU, and observe a purification capability down to 200 mK. We identify gate noise as the main obstacle towards practical application for quantum computing.


title: BEER: Fast $O(1/T)$ Rate for Decentralized Nonconvex Optimization with Communication Compression

abstract: Communication efficiency has been widely recognized as the bottleneck for large-scale decentralized machine learning applications in multi-agent or federated environments. To tackle the communication bottleneck, there have been many efforts to design communication-compressed algorithms for decentralized nonconvex optimization, where the clients are only allowed to communicate a small amount of quantized information (aka bits) with their neighbors over a predefined graph topology. Despite significant efforts, the state-of-the-art algorithm in the nonconvex setting still suffers from a slower rate of convergence $O((G/T)^{2/3})$ compared with their uncompressed counterpart, where $G$ measures the data heterogeneity across different clients, and $T$ is the number of communication rounds. This paper proposes BEER, which adopts communication compression with gradient tracking, and shows it converges at a faster rate of $O(1/T)$. This significantly improves over the state-of-the-art rate, by matching the rate without compression even under arbitrary data heterogeneity. Numerical experiments are also provided to corroborate our theory and confirm the practical superiority of BEER in the data heterogeneous regime.


title: Snowmass White Paper: Moonshine

abstract: We present a brief overview of Moonshine with an emphasis on connections to physics. Moonshine collectively refers to a set of phenomena connecting group theory, analytic number theory, and vertex operator algebras or conformal field theories. Modern incarnations of Moonshine arise in various BPS observables in string theory and, via dualities, invariants in enumerative geometry. We survey old and new developments, and highlight some of the many open questions that remain.


title: Learning to Hash Naturally Sorts

abstract: Learning to hash pictures a list-wise sorting problem. Its testing metrics, e.g., mean-average precision, count on a sorted candidate list ordered by pair-wise code similarity. However, scarcely does one train a deep hashing model with the sorted results end-to-end because of the non-differentiable nature of the sorting operation. This inconsistency in the objectives of training and test may lead to sub-optimal performance since the training loss often fails to reflect the actual retrieval metric. In this paper, we tackle this problem by introducing Naturally-Sorted Hashing (NSH). We sort the Hamming distances of samples' hash codes and accordingly gather their latent representations for self-supervised training. Thanks to the recent advances in differentiable sorting approximations, the hash head receives gradients from the sorter so that the hash encoder can be optimized along with the training procedure. Additionally, we describe a novel Sorted Noise-Contrastive Estimation (SortedNCE) loss that selectively picks positive and negative samples for contrastive learning, which allows NSH to mine data semantic relations during training in an unsupervised manner. Our extensive experiments show the proposed NSH model significantly outperforms the existing unsupervised hashing methods on three benchmarked datasets.


title: Constructing coarse-scale bifurcation diagrams from spatio-temporal observations of microscopic simulations: A parsimonious machine learning approach

abstract: We address a three-tier data-driven approach to solve the inverse problem in complex systems modelling from spatio-temporal data produced by microscopic simulators using machine learning. In the first step, we exploit manifold learning and in particular parsimonious Diffusion Maps using leave-one-out cross-validation (LOOCV) to both identify the intrinsic dimension of the manifold where the emergent dynamics evolve and for feature selection over the parametric space. In the second step, based on the selected features, we learn the right-hand-side of the effective partial differential equations (PDEs) using two machine learning schemes, namely shallow Feedforward Neural Networks (FNNs) with two hidden layers and single-layer Random Projection Networks(RPNNs) which basis functions are constructed using an appropriate random sampling approach. Finally, based on the learned black-box PDE model, we construct the corresponding bifurcation diagram, thus exploiting the numerical bifurcation analysis toolkit. For our illustrations, we implemented the proposed method to construct the one-parameter bifurcation diagram of the 1D FitzHugh-Nagumo PDEs from data generated by $D1Q3$ Lattice Boltzmann simulations. The proposed method was quite effective in terms of numerical accuracy regarding the construction of the coarse-scale bifurcation diagram. Furthermore, the proposed RPNN scheme was $\sim$ 20 to 30 times less costly regarding the training phase than the traditional shallow FNNs, thus arising as a promising alternative to deep learning for solving the inverse problem for high-dimensional PDEs.


title: Guided Semi-Supervised Non-negative Matrix Factorization on Legal Documents

abstract: Classification and topic modeling are popular techniques in machine learning that extract information from large-scale datasets. By incorporating a priori information such as labels or important features, methods have been developed to perform classification and topic modeling tasks; however, most methods that can perform both do not allow for guidance of the topics or features. In this paper, we propose a method, namely Guided Semi-Supervised Non-negative Matrix Factorization (GSSNMF), that performs both classification and topic modeling by incorporating supervision from both pre-assigned document class labels and user-designed seed words. We test the performance of this method through its application to legal documents provided by the California Innocence Project, a nonprofit that works to free innocent convicted persons and reform the justice system. The results show that our proposed method improves both classification accuracy and topic coherence in comparison to past methods like Semi-Supervised Non-negative Matrix Factorization (SSNMF) and Guided Non-negative Matrix Factorization (Guided NMF).


title: Propagation of disruptions in supply networks of essential goods: A population-centered perspective of systemic risk

abstract: The Covid-19 pandemic drastically emphasized the fragility of national and international supply networks (SNs),leading to significant supply shortages of essential goods for people, such as food and medical equipment. Severe disruptions that propagate along complex SNs can expose the population of entire regions or even countries to these risks. A lack of both, data and quantitative methodology, has hitherto hindered us to empirically quantify the vulnerability of the population to disruptions. Here we develop a data-driven simulation methodology to locally quantify actual supply losses for the population that result from the cascading of supply disruptions. We demonstrate the method on a large food SN of a European country including 22,938 business premises, 44,355 supply links and 116 local administrative districts. We rank the business premises with respect to their criticality for the districts' population with the proposed systemic risk index, SRIcrit, to identify around 30 premises that -- in case of their failure -- are expected to cause critical supply shortages in sizable fractions of the population. The new methodology is immediately policy relevant as a fact-driven and generalizable crisis management tool. This work represents a starting point for quantitatively studying SN disruptions focused on the well-being of the population.


title: Bicycling As A Mode Of Transport In Dhaka City Status And Prospects

abstract: This study aims to find out the current status and prospects of using a bicycle as a mode for commuting within Dhaka city. Bicycling is a very sustainable mode of transport but unfortunately is used very less by the commuters of Dhaka. There has been a lot of factors affecting the choice of bicycle to commute. This study was aimed to find out what factors could motivate the commuters of Dhaka to use a bicycle as a mode of transport. For determining the motivators, a survey was administered among the commuters of Dhaka city in which the respondents were asked to answer how certain factors would affect their choice to use a bicycle to commute. A Likert scale was used in the survey and the responses were analyzed, from which the top motivators were found. The Motivators were then grouped together using exploratory factor analysis to support possible policy making. Four factors were extracted using the method. The factors were named Additional Perks, General benefits, Personal Benefits, and Infrastructural benefits


title: Survey on effective separability

abstract: Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is related to algorithmic problems in groups such as the word problem. A more recent perspective tries to study the order of the smallest finite quotient in which one detects the subset under consideration depending on its complexity, measured using the word norm on a finitely generated group. In this survey, we present what is currently known in the field of effective separability and give an overview of the open questions for several classes of groups.


title: Enhanced Signal-to-Noise Performance of EP-based Electromechanical Accelerometers

abstract: Exceptional points (EP) are non-Hermitian spectral degeneracies where both eigenvalues and their corresponding eigenvectors coalesce. Recently, EPs have attracted a lot of attention as a means to enhance the responsivity of sensors, via the abrupt resonant detuning occurring in their proximity. In many cases, however, the EP implementation is accompanied by noise enhancement leading to the degradation of the signal-to-noise performance of the sensor . The excess noise can be of fundamental nature (due to the eigenbasis collapse) or of technical nature associated with the use of amplification mechanisms utilized for the realization of EPs. Here we show, using an EP-based $\mathcal{PT}$-symmetric electromechanical accelerometer, that the enhanced technical noise can be surpassed by the enhanced responsivity to applied accelerations. The noise due to eigenbasis collapse is mitigated by exploiting the detuning from a transmission peak degeneracy (TPD), which forms when the sensor is weakly coupled to transmission lines, as a sensitivity measurant. These TPDs occur at a frequency and controlled parameters for which the bi-orthogonal eigen-basis is still complete and are distinct from the EPs of the $\mathcal{PT}$-sensor. They also show a slightly enhanced detuning rate compared to the typically utilized EPs. Our device demonstrates a three-fold signal-to-noise ratio enhancement compared to configurations for which the system operates away from the TPD.

categories: physics.app-ph cond-mat.mes-hall cond-mat.other physics.optics


title: Can Adversarial Training Be Manipulated By Non-Robust Features?

abstract: Adversarial training, originally designed to resist test-time adversarial examples, has shown to be promising in mitigating training-time availability attacks. This defense ability, however, is challenged in this paper. We identify a novel threat model named stability attack, which aims to hinder robust availability by slightly manipulating the training data. Under this threat, we show that adversarial training using a conventional defense budget $\epsilon$ provably fails to provide test robustness in a simple statistical setting, where the non-robust features of the training data can be reinforced by $\epsilon$-bounded perturbation. Further, we analyze the necessity of enlarging the defense budget to counter stability attacks. Finally, comprehensive experiments demonstrate that stability attacks are harmful on benchmark datasets, and thus the adaptive defense is necessary to maintain robustness. Our code is available at https://github.com/TLMichael/Hypocritical-Perturbation.


title: Gradient estimate for complex Monge-Ampere equation with continuous right hand side

abstract: In this note, we consider complex Monge-Ampere equation posed on a compact K\"ahler manifold. We show how to get $L^p$($p<\infty$) and $L^{\infty}$ estimate for the gradient of the solution in terms of the continuity of the right hand side.


title: Steady-State Error Compensation in Reference Tracking and Disturbance Rejection Problems for Reinforcement Learning-Based Control

abstract: Reinforcement learning (RL) is a promising, upcoming topic in automatic control applications. Where classical control approaches require a priori system knowledge, data-driven control approaches like RL allow a model-free controller design procedure, rendering them emergent techniques for systems with changing plant structures and varying parameters. While it was already shown in various applications that the transient control behavior for complex systems can be sufficiently handled by RL, the challenge of non-vanishing steady-state control errors remains, which arises from the usage of control policy approximations and finite training times. To overcome this issue, an integral action state augmentation (IASA) for actor-critic-based RL controllers is introduced that mimics an integrating feedback, which is inspired by the delta-input formulation within model predictive control. This augmentation does not require any expert knowledge, leaving the approach model free. As a result, the RL controller learns how to suppress steady-state control deviations much more effectively. Two exemplary applications from the domain of electrical energy engineering validate the benefit of the developed method both for reference tracking and disturbance rejection. In comparison to a standard deep deterministic policy gradient (DDPG) setup, the suggested IASA extension allows to reduce the steady-state error by up to 52 $\%$ within the considered validation scenarios.


title: The Metric Distortion of Multiwinner Voting

abstract: We extend the recently introduced framework of metric distortion to multiwinner voting. In this framework, $n$ agents and $m$ alternatives are located in an underlying metric space. The exact distances between agents and alternatives are unknown. Instead, each agent provides a ranking of the alternatives, ordered from the closest to the farthest. Typically, the goal is to select a single alternative that approximately minimizes the total distance from the agents, and the worst-case approximation ratio is termed distortion. In the case of multiwinner voting, the goal is to select a committee of $k$ alternatives that (approximately) minimizes the total cost to all agents. We consider the scenario where the cost of an agent for a committee is her distance from the $q$-th closest alternative in the committee. We reveal a surprising trichotomy on the distortion of multiwinner voting rules in terms of $k$ and $q$: The distortion is unbounded when $q \leq k/3$, asymptotically linear in the number of agents when $k/3 < q \leq k/2$, and constant when $q > k/2$.


title: Quantifying n-photon indistinguishability with a cyclic integrated interferometer

abstract: We report on a universal method to measure the genuine indistinguishability of n-photons - a crucial parameter that determines the accuracy of optical quantum computing. Our approach relies on a low-depth cyclic multiport interferometer with N = 2n modes, leading to a quantum interference fringe whose visibility is a direct measurement of the genuine n-photon indistinguishability. We experimentally demonstrate this technique for a 8-mode integrated interferometer fabricated using femtosecond laser micromachining and four photons from a quantum dot single-photon source. We measure a four-photon indistinguishability up to 0.81$\pm$0.03. This value decreases as we intentionally alter the photon pairwise indistinguishability. The low-depth and low-loss multiport interferometer design provides an efficient and scalable path to evaluate the genuine indistinguishability of resource states of increasing photon number.


title: Precisely computing bound orbits of spinning bodies around black holes I: General framework and results for nearly equatorial orbits

abstract: Very large mass ratio binary black hole systems are of interest both as a clean limit of the two-body problem in general relativity, as well as for their importance as sources of low-frequency gravitational waves. At lowest order, the smaller body moves along a geodesic of the larger black hole's spacetime. Post-geodesic effects include the gravitational self force, which incorporates the backreaction of gravitational-wave emission, and the spin-curvature force, which arises from coupling of the small body's spin to the black hole's spacetime curvature. In this paper, we describe a method for precisely computing bound orbits of spinning bodies about black holes. Our analysis builds off of pioneering work by Witzany which demonstrated how to describe the motion of a spinning body to linear order in the small body's spin. Exploiting the fact that in the large mass-ratio limit spinning-body orbits are close to geodesics and using closed-form results due to van de Meent describing precession of the small body's spin along black hole orbits, we develop a frequency-domain formulation of the motion which can be solved very precisely. We examine a range of orbits with this formulation, focusing in this paper on orbits which are eccentric and nearly equatorial (i.e., the orbit's motion is $\mathcal{O}(S)$ out of the equatorial plane), but for which the small body's spin is arbitrarily oriented. We discuss generic orbits with general small-body spin orientation in a companion paper. We characterize the behavior of these orbits and show how the small body's spin shifts the frequencies $\Omega_r$ and $\Omega_\phi$ which affect orbital motion. These frequency shifts change accumulated phases which are direct gravitational-wave observables, illustrating the importance of precisely characterizing these quantities for gravitational-wave observations. (Abridged)


title: Precisely computing bound orbits of spinning bodies around black holes II: Generic orbits

abstract: In this paper, we continue our study of the motion of spinning test bodies orbiting Kerr black holes. Non-spinning test bodies follow geodesics of the spacetime in which they move. A test body's spin couples to the curvature of that spacetime, introducing a "spin-curvature force" which pushes the body's worldline away from a geodesic trajectory. The spin-curvature force is an important example of a post-geodesic effect which must be modeled carefully in order to accurately characterize the motion of bodies orbiting black holes. One motivation for this work is to understand how to include such effects in models of gravitational waves produced from the inspiral of stellar mass bodies into massive black holes. In this paper's predecessor, we describe a technique for computing bound orbits of spinning bodies around black holes with a frequency-domain description which can be solved very precisely. In that paper, we present an overview of our methods, as well as present results for orbits which are eccentric and nearly equatorial (i.e., the orbit's motion is no more than $\mathcal{O}(S)$ out of the equatorial plane). In this paper, we apply this formulation to the fully generic case -- orbits which are inclined and eccentric, with the small body's spin arbitrarily oriented. We compute the trajectories which such orbits follow, and compute how the small body's spin affects important quantities such as the observable orbital frequencies $\Omega_r$, $\Omega_\theta$ and $\Omega_\phi$.


title: Emergence of superconductivity on the border of antiferromagnetic order in RbMn6Bi5 under high pressure: A new family of Mn-based superconductors

abstract: The advances in the field of unconventional superconductivity are largely driven by the discovery of novel superconducting systems. Here we report on the discovery of superconductivity on the border of antiferromagnetic order in a quasi-one-dimensional RbMn6Bi5 via measurements of resistivity and magnetic susceptibility under high pressures. With increasing pressure, its antiferromagnetic transition with TN = 83 K at ambient pressure is first enhanced moderately and then suppressed completely at a critical pressure of Pc = 13 GPa, around which bulk superconductivity emerges and exhibits a dome-like Tc(P) with a maximal Tc_onset = 9.5 K at about 15 GPa. Its temperature-pressure phase diagram resembles those of many magnetism-mediated superconducting systems. In addition, the superconducting state around Pc is characterized by a large upper critical field {\mu}0Hc2(0) exceeding the Pauli limit, elaborating a possible unconventional paring mechanism. The present study, together with our recent work on KMn6Bi5 (Tcmax = 9.3 K), makes AMn6Bi5 (A= Alkali metal) a new family of Mn-based superconductors with relatively high Tc.


title: Higher regularity of homeomorphisms in the Hartman-Grobman theorem for semilinear evolution equations

abstract: Hein and Pr\"{u}ss [J. Differential Equations, 261(2016)4709-4727] presented a version of Hartman-Grobman type $C^{0}$ linearization result for semilinear hyperbolic evolution equations. They showed that the linearising map (homomorphism) and its inverse are H\"{o}lder continuous. An important question: is it possible to improve the regularity of the homomorphisms? In the present paper, we prove that if the mild solutions of semilinear system are bounded, then the regularity of the homomorphisms is Lipchitzian, but the inverse is merely H\"{o}lder continuous. We also give a generalized local linearization result in this paper. Finally, some applications end the paper. As pointed out by Backes [J. Differential Equations, 297 (2021) 536-574], even if the diffeomorphism $F$ is $C^{\infty}$, the homomorphism can fail to be locally Lipschitz. The homomorphisms are in general only locally H\"older continuous. However, by establishing two effective dichotomy integral inequalities, we prove that the conjugacy is Lipchitzian, but the inverse is H\"{o}lder continuous. Our result is the first one to observe the higher regularity of homomorphisms in the Hartman-Grobman theorem.


title: Modeling the Background for Incremental and Weakly-Supervised Semantic Segmentation

abstract: Deep neural networks have enabled major progresses in semantic segmentation. However, even the most advanced neural architectures suffer from important limitations. First, they are vulnerable to catastrophic forgetting, i.e. they perform poorly when they are required to incrementally update their model as new classes are available. Second, they rely on large amount of pixel-level annotations to produce accurate segmentation maps. To tackle these issues, we introduce a novel incremental class learning approach for semantic segmentation taking into account a peculiar aspect of this task: since each training step provides annotation only for a subset of all possible classes, pixels of the background class exhibit a semantic shift. Therefore, we revisit the traditional distillation paradigm by designing novel loss terms which explicitly account for the background shift. Additionally, we introduce a novel strategy to initialize classifier's parameters at each step in order to prevent biased predictions toward the background class. Finally, we demonstrate that our approach can be extended to point- and scribble-based weakly supervised segmentation, modeling the partial annotations to create priors for unlabeled pixels. We demonstrate the effectiveness of our approach with an extensive evaluation on the Pascal-VOC, ADE20K, and Cityscapes datasets, significantly outperforming state-of-the-art methods.


title: The $L^{\infty}$ estimates for parabolic complex Monge-Ampere and Hessian equations

abstract: In this paper, we consider a version of parabolic complex Monge-Ampere equations, and use a PDE approach similar to Phong et al to establish $L^{\infty}$ and H\"older estimates. We also generalize the $L^{\infty}$ estimates to parabolic Hessian equations.


title: Bi-Directional Semi-Supervised Training of Convolutional Neural Networks for Ultrasound Elastography Displacement Estimation

abstract: The performance of ultrasound elastography (USE) heavily depends on the accuracy of displacement estimation. Recently, Convolutional Neural Networks (CNN) have shown promising performance in optical flow estimation and have been adopted for USE displacement estimation. Networks trained on computer vision images are not optimized for USE displacement estimation since there is a large gap between the computer vision images and the high-frequency Radio Frequency (RF) ultrasound data. Many researchers tried to adopt the optical flow CNNs to USE by applying transfer learning to improve the performance of CNNs for USE. However, the ground truth displacement in real ultrasound data is unknown, and simulated data exhibits a domain shift compared to the real data and is also computationally expensive to generate. To resolve this issue, semi-supervised methods have been proposed wherein the networks pre-trained on computer vision images are fine-tuned using real ultrasound data. In this paper, we employ a semi-supervised method by exploiting the first and second-order derivatives of the displacement field for the regularization. We also modify the network structure to estimate both forward and backward displacements, and propose to use consistency between the forward and backward strains as an additional regularizer to further enhance the performance. We validate our method using several experimental phantom and in vivo data. We also show that the network fine-tuned by our proposed method using experimental phantom data performs well on in vivo data similar to the network fine-tuned on in vivo data. Our results also show that the proposed method outperforms current deep learning methods and is comparable to computationally expensive optimization-based algorithms.


title: TOI-1268b: the youngest, hot, Saturn-mass transiting exoplanet

abstract: We report the discovery of TOI-1268b, a transiting Saturn-mass planet from the TESS space mission. With an age of less than one Gyr, derived from various age indicators, TOI-1268b is the youngest Saturn-mass planet known to date and contributes to the small sample of well characterised young planets. It has an orbital period of $P\,=\,8.1577080\pm0.0000044$ days, and transits an early K dwarf star with a mass of $M_\star$ = $ 0.96 \pm 0.04$ $M_{\odot}$, a radius of $R_\star$ = $ 0.92 \pm 0.06$ $R_{\odot}$, an effective temperature of $T_\mathrm{eff}\,=\,5300\pm100$ K, and a metallicity of $0.36\pm0.06$ dex. By combining TESS photometry with high-resolution spectra acquired with the Tull spectrograph at McDonald observatory, and the high-resolution spectrographs at Tautenburg and Ondrejov observatories, we measured a planetary mass of $M_\mathrm{p}\,=\,96.4 \pm 8.3\,M_{\oplus}$ and a radius of $R_\mathrm{p}\,=\,9.1 \pm 0.6\,R_{\oplus}$. TOI-1268 is an ideal system to study the role of star-planet tidal interactions for non-inflated Saturn-mass planets. We used system parameters derived in this paper to constrain the planet tidal quality factor to the range of $10^{4.5-5.3}$. When compared with the sample of other non-inflated Saturn-mass planets, TOI-1268b is one of the best candidates for transmission spectroscopy studies.


title: Magnitude-squared coherence: A powerful tool for disentangling Doppler planet discoveries from stellar activity

abstract: If Doppler searches for earth-mass, habitable planets are to succeed, observers must be able to identify and model out stellar activity signals. Here we demonstrate how to diagnose activity signals by calculating the magnitude-squared coherence $\hat{C}^2_{xy}(f)$ between an activity indicator time series $x_t$ and the radial velocity (RV) time series $y_t$. Since planets only cause modulation in RV, not in activity indicators, a high value of $\hat{C}^2_{xy}(f)$ indicates that the signal at frequency $f$ has a stellar origin. We use Welch's method to measure coherence between activity indicators and RVs in archival observations of GJ 581, alpha Cen B, and GJ 3998. High RV-H$\alpha$ coherence at the frequency of GJ 3998 b, and high RV-S index coherence at the frequency of GJ 3998 c, indicate that the planets may actually be stellar signals. We also replicate previous results showing that GJ 581 d and g are rotation harmonics and demonstrate that alpha Cen B has activity signals that are not associated with rotation. Welch's power spectrum estimates have cleaner spectral windows than Lomb-Scargle periodograms, improving our ability to estimate rotation periods. We find that the rotation period of GJ 581 is 132 days, with no evidence of differential rotation. Welch's method may yield unacceptably large bias for datasets with $N < 75$ observations and works best on datasets with $N > 100$. Tapering the time-domain data can reduce the bias of the Welch's power spectrum estimator, but observers should not apply tapers to datasets with extremely uneven observing cadence. A software package for calculating magnitude-squared coherence and Welch's power spectrum estimates is available on github.

categories: astro-ph.EP astro-ph.IM astro-ph.SR stat.ME


title: Another research note

abstract: Let $L$ be a slim, planar, semimodular lattice (slim means that it does not contain ${\mathsf M}_3$-sublattices). We call the interval $I = [o, i]$ of $L$ \emph{rectangular}, if there are $u_l, u_r \in [o, i] - \{o,i\}$ such that $i = u_l \vee u_r$ and $o = u_l \wedge u_r$ where $u_l$ is to the left of $u_r$. \emph{The first result}: a rectangular interval of a rectangular lattice is a rectangular lattice. As an application, we get a recent result of G. Cz\'edli. In a 2017 paper, G. Cz\'edli introduced a very powerful diagram type for slim, planar, semimodular lattices, the \emph{$\mathcal{C}_1$-diagrams}. We revisit the concept of \emph{natural diagrams} I introduced with E.~Knapp about a dozen years ago. Given a slim rectangular lattice $L$, we construct its natural diagram in one simple step. \emph{The second result} shows that for a slim rectangular lattice, a~natural diagram is the same as a $\mathcal{C}_1$-diagram. Therefore, natural diagrams have all the nice properties of $\mathcal{C}_1$-diagrams.


title: The collective vs individual nature of mountaineering: a network and simplicial approach

abstract: Mountaineering is a sport of contrary forces: teamwork plays a large role in mental fortitude and skills, but the actual act of climbing, and indeed survival, is largely individualistic. This work studies the effects of the structure and topology of relationships within climbers on the level of cooperation and success. It does so using simplicial complexes, where relationships between climbers are captured through simplexes that correspond to joint previous expeditions with dimension given by the number of climbers minus one and weight given by the number of occurrences of the simplex. First, this analysis establishes the importance of relationships and shows that chances of failure to summit reduce drastically when climbing with repeat partners. From a climber-centric perspective, climbers that belong to simplexes with large dimension were more likely to be successful, across experience levels. From an expedition-centric perspective, the distribution of relationships within a group is explored to identify collective human behavior: from polarized to cooperative. Expeditions containing simplices with large dimension, and usually low weight, i.e., a large number of people had a small number of previous joint expeditions, tended to be more cooperative, with more homogeneity in success amongst climbers. On the other hand, the existence of small, usually strong, subgroups lead to a polarized style where climbers that were not a part of the subgroup were less likely to succeed. Lastly, this work examines the effects of individual features and expedition-wide factors that may play different roles in individualistic and cooperative expeditions. Centrality indicates that individual traits of youth and oxygen use while ascending are strong drivers of success. Of expedition-wide factors, the expedition size and number of expedition days are found to be strongly correlated with success rate.


title: Peaks and primordial black holes: the effect of non-Gaussianity

abstract: In light of recent developments in the field, we re-evaluate the effect of local-type non-Gaussianity on the primordial black hole (PBH) abundance (and consequently, upon constraints on the primordial power spectrum arising from PBHs). We apply peaks theory to the full, non-linear compaction, finding that, whilst the effect of non-Gaussianity is qualitatively similar to previous findings, the effect is much less significant. It is found the non-Gaussianity parameters $f_\mathrm{NL}^\mathrm{local}$ and $g_\mathrm{NL}^\mathrm{local}$ typically need to be approximately 1 or 2 orders of magntiude larger respectively to have a similar to that previously found. The effect will be to weaken the dependance of PBH constraints on the primordial power spectrum on the non-Gaussianity parameters, as well as to dramatically weaken constraints on the non-Gaussianity parameters (and/or PBH abundance) arising from the non-observation of dark matter isocurvature modes. We also consider the correlation between the curvature perturbation $\zeta$ and the compaction $C$, finding that, whilst PBHs may form at rare peaks in $C$ these do not necessarily correspond to rare peaks in $\zeta$ - casting some doubt on many of the existing calculations of the PBH abundance.


title: Perverse sheaves, nilpotent Hessenberg varieties, and the modular law

abstract: We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This leads to several implications for the dual picture, where we consider maps that generalize the Grothendieck-Springer resolution of the whole Lie algebra. In particular we are able to prove a conjecture of Brosnan. As we vary the maps, the cohomology of the corresponding nilpotent Hessenberg varieties often satisfy a relation we call the geometric modular law, which also has origins in the work on De Concini, Lusztig, and Procesi. We connect this relation in type $A$ with a combinatorial modular law defined by Guay-Paquet that is satisfied by certain symmetric functions and deduce some consequences of that connection.


title: Frequency-Dependent Constraints on Cosmic Birefringence from the LFI and HFI Planck Data Release 4

abstract: We present new constraints on the frequency dependence of the cosmic birefringence angle from the Planck data release 4 polarization maps. An axion field coupled to electromagnetism predicts a nearly frequency-independent birefringence angle, $\beta_\nu = \beta$, while Faraday rotation from local magnetic fields and Lorentz violating theories predict a cosmic birefringence angle that is proportional to the frequency, $\nu$, to the power of some integer $n$, $\beta_\nu \propto \nu^n$. In this work, we first sample $\beta_\nu$ individually for each polarized HFI frequency band in addition to the 70 GHz channel from the LFI. We also constrain a power-law formula for the birefringence angle, $\beta_\nu=\beta_0(\nu/\nu_0)^n$, with $\nu_0 = 150$ GHz. For a nearly full-sky measurement, $f_{\text{sky}}=0.93$, we find $\beta_0 = 0.26^{\circ}\pm0.11^\circ$ $(68\% \text{ C.L.})$ and $n=-0.45^{+0.61}_{-0.82}$ when we ignore the intrinsic $EB$ correlations of the polarized foreground emission, and $\beta_0 = 0.33^\circ \pm 0.12^\circ$ and $n=-0.37^{+0.49}_{-0.64}$ when we use a filamentary dust model for the foreground $EB$. Next, we use all the polarized Planck maps, including the 30 and 44 GHz frequency bands. These bands have a negligible foreground contribution from polarized dust emission. We, therefore, treat them separately. Without any modeling of the intrinsic $EB$ of the foreground, we generally find that the inclusion of the 30 and 44 GHz frequency bands raises the measured values of $\beta_\nu$ and tightens $n$. At nearly full-sky, we measure $\beta_0=0.29^{\circ+0.10^\circ}_{\phantom{\circ}-0.11^\circ}$ and $n=-0.35^{+0.48}_{-0.47}$. Assuming no frequency dependence, we measure $\beta=0.33^\circ \pm 0.10^\circ$. If our measurements have effectively mitigated the $EB$ of the foreground, our constraints are consistent with a mostly frequency-independent signal of cosmic birefringence.


title: Advantages and Disadvantages of (Dedicated) Model Transformation Languages A Qualitative Interview Study

abstract: Model driven development envisages the use of model transformations to evolve models. Model transformation languages, developed for this task, are touted with many benefits over general purpose programming languages. However, a large number of these claims have not yet been substantiated. They are also made without the context necessary to be able to critically assess their merit or built meaningful empirical studies around them. The objective of our work is to elicit the reasoning, influences and background knowledge that lead people to assume benefits or drawbacks of model transformation languages. We conducted a large-scale interview study involving 56 participants from research and industry. Interviewees were presented with claims about model transformation languages and were asked to provide reasons for their assessment thereof. We qualitatively analysed the responses to find factors that influence the properties of model transformation languages as well as explanations as to how exactly they do so. Our interviews show, that general purpose expressiveness of GPLs, domain specific capabilities of MTLs as well as tooling all have strong influences on how people view properties of model transformation languages. Moreover, the Choice of MTL, the Use Case for which a transformation should be developed as well as the Skills of involved stakeholders have a moderating effect on the influences, by changing the context to consider. There is a broad body of experience, that suggests positive and negative influences for properties of MTLs. Our data suggests, that much needs to be done in order to convey the viability of model transformation languages. Efforts to provide more empirical substance need to be undergone and lackluster language capabilities and tooling need to be improved upon. We suggest several approaches for this that can be based on the results of the presented study.


title: The Atmospheric Response to High Nonthermal Electron Beam Fluxes in Solar Flares. II. Hydrogen Broadening Predictions for Solar Flare Observations with the Daniel K. Inouye Solar Telescope

abstract: Red-shifted components of chromospheric emission lines in the hard X-ray impulsive phase of solar flares have recently been studied through their 30 s evolution with the high resolution of IRIS. Radiative-hydrodynamic flare models show that these redshifts are generally reproduced by electron-beam generated chromospheric condensations. The models produce large ambient electron densities, and the pressure broadening of hydrogen Balmer series should be readily detected in observations. To accurately interpret upcoming spectral data of flares with the DKIST, we incorporate non-ideal, non-adiabatic line broadening profiles of hydrogen into the RADYN code. These improvements allow time-dependent predictions for the extreme Balmer line wing enhancements in solar flares. We study two chromospheric condensation models, which cover a range of electron beam fluxes ($1-5 \times 10^{11}$ erg s$^{-1}$ cm$^{-2}$) and ambient electron densities ($1 - 60 \times 10^{13}$ cm$^{-3}$) in the flare chromosphere. Both models produce broadening and redshift variations within 10 s of the onset of beam heating. In the chromospheric condensations, there is enhanced spectral broadening due to large optical depths at H$\alpha$, H$\beta$, and H$\gamma$, while the much lower optical depth of the Balmer series H12$-$H16 provides a translucent window into the smaller electron densities in the beam-heated layers below the condensation. The wavelength ranges of typical DKIST/ViSP spectra of solar flares will be sufficient to test the predictions of extreme hydrogen wing broadening and accurately constrain large densities in chromospheric condensations.


title: Rigidity results for complete spacelike submanifolds in plane fronted waves

abstract: New rigidity results for complete non-compact spacelike submanifolds of arbitrary codimension in plane fronted waves are obtained. Under appropriate assumptions, we prove that a complete spacelike submanifold in these spacetimes is contained in a characteristic lightlike hypersurface. Moreover, for a complete codimension two extremal submanifold in a plane fronted wave we show sufficient conditions to guarantee that it is a (totally geodesic) wavefront.


title: LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions

abstract: The most scalable approaches to certifying neural network robustness depend on computing sound linear lower and upper bounds for the network's activation functions. Current approaches are limited in that the linear bounds must be handcrafted by an expert, and can be sub-optimal, especially when the network's architecture composes operations using, for example, multiplication such as in LSTMs and the recently popular Swish activation. The dependence on an expert prevents the application of robustness certification to developments in the state-of-the-art of activation functions, and furthermore the lack of tightness guarantees may give a false sense of insecurity about a particular model. To the best of our knowledge, we are the first to consider the problem of automatically computing tight linear bounds for arbitrary n-dimensional activation functions. We propose LinSyn, the first approach that achieves tight bounds for any arbitrary activation function, while only leveraging the mathematical definition of the activation function itself. Our approach leverages an efficient heuristic approach to synthesize bounds that are tight and usually sound, and then verifies the soundness (and adjusts the bounds if necessary) using the highly optimized branch-and-bound SMT solver, dReal. Even though our approach depends on an SMT solver, we show that the runtime is reasonable in practice, and, compared with state of the art, our approach often achieves 2-5X tighter final output bounds and more than quadruple certified robustness.


title: Low-Power Silicon Strain Sensor Based on CMOS Current Reference Topology

abstract: A strain sensor inspired by a Widlar self-biased current source topology called $\beta$-multiplier is developed to obtain a strain-dependent reference current with high supply rejection. The sensor relies on the piezoresistive effect in the silicon MOS transistors that form the current reference circuit. The device behavior is analytically computed and verified with experimental measurements under four-point bending test. A basic implementation with an integrated resistor reaches a strain sensitivity of 2.54 nA/$\mu\epsilon$ (gauge factor of 324) for a temperature sensitivity of 52.06 nA/{\deg}C. A more advanced full-transistor circuit based on current subtraction principle is furthered implemented in order to reach strain sensitivity up to 12.02 nA/$\mu\epsilon$ (gauge factor of 1773) and temperature sensitivity of -28.72 nA/{\deg}C. This implementation includes a CMOS active load to tune the strain and temperature sensitivities with a total power consumption between 20 and 150 $\mu$W.


title: On Generators and Relations of the Rational Cohomology of Hilbert Schemes

abstract: We consider for $d\geq 1$ the graded commutative $\mathbb{Q}$-algebra $\mathcal{A}(d):=H^*(\operatorname{Hilb}^d(\mathbb{C}^2);\mathbb{Q})$, which is also connected to the study of generalised Hurwitz spaces by work of the first author. These Hurwitz spaces are in turn related to the moduli spaces of Riemann surfaces with boundary. We determine two distinct, minimal sets of $\lfloor d/2\rfloor$ multiplicative generators of $\mathcal{A}(d)$. Additionally, we prove when the lowest degree generating relations occur. For small values of $d$ we also determine a minimal set of generating relations, which leads to several conjectures about the necessary generating relations for $\mathcal{A}(d)$.


title: Graph Set-colorings And Hypergraphs In Topological Coding

abstract: In order to make more complex number-based strings from topological coding for defending against the intelligent attacks equipped with quantum computing and providing effective protection technology for the age of quantum computing, we will introduce set-colored graphs admitting set-colorings that has been considerable cryptanalytic significance, and especially related with hypergraphs. We use the set-coloring of graphs to reflect the intersection of elements, and add other constraint requirements to express more connections between sets (as hyperedges). Since we try to find some easy and effective techniques based on graph theory for practical application, we use intersected-graphs admitting set-colorings defined on hyperedge sets to observe topological structures of hypergraphs, string-type Topcode-matrix, set-type Topcode-matrix, graph-type Topcode-matrix, hypergraph-type Topcode-matrix, matrix-type Topcode-matrix \emph{etc}. We will show that each connected graph is the intersected-graph of some hypergraph and investigate hypergraph's connectivity, colorings of hypergraphs, hypergraph homomorphism, hypernetworks, scale-free network generator, compound hypergraphs having their intersected-graphs with vertices to be hypergraphs (for high-dimensional extension diagram). Naturally, we get various graphic lattices, such as edge-coincided intersected-graph lattice, vertex-coincided intersected-graph lattice, edge-hamiltonian graphic lattice, hypergraph lattice and intersected-network lattice. Many techniques in this article can be translated into polynomial algorithms, since we are aiming to apply hypergraphs and graph set-colorings to homomorphic encryption and asymmetric cryptograph.


title: Calibrating the CAMS European multi-model air quality forecasts for regional air pollution monitoring

abstract: The CAMS air quality multi-model forecasts have been assessed and calibrated for PM10, PM2.5, O3, NO2, and CO against observations collected by the Regional Monitoring Network of the Liguria region (northwestern Italy) in the years 2019 and 2020. The calibration strategy used in the present work has its roots in the well-established Ensemble Model Output Statistics (EMOS) through which a raw ensemble forecast can be accurately transformed into a predictive probability density function, with a simultaneous correction of biases and dispersion errors. The strategy also provides a calibrated forecast of model uncertainties. As a result of our analysis, the key role of pollutant real-time observations to be ingested in the calibration strategy clearly emerge especially in the shorter look-ahead forecast hours. Our dynamic calibration strategy turns out to be superior with respect to its analogous where real-time data are not taken into account. The best calibration strategy we have identified makes the CAMS multi-model forecast system more reliable than other raw air quality models running at higher spatial resolution which exploit more detailed information from inventory emission. We expect positive impacts of our research for identifying and set up reliable and economic air pollution early warning systems.


title: Green steel at its crossroads: hybrid hydrogen-based reduction of iron ores

abstract: Iron- and steelmaking cause ~7% of the global CO2 emissions, due to the use of carbon for the reduction of iron ores. Replacing carbon by hydrogen as the reductant offers a pathway to reduce emissions. However, production of hydrogen using renewable energy will remain a bottlenecks, because making the annual crude steel production of 1.8 billion tons sustainable requires a minimum amount of ~97 million tons of green hydrogen per year. Another fundamental aspect to make ironmaking sector more sustainable lies in an optimal utilization of green hydrogen and energy, thus reducing efforts for costly in-process hydrogen recycling. We therefore demonstrate here how the efficiency in hydrogen and energy consumption during iron ore reduction can be dramatically improved by the knowledge-based combination of two technologies: partially reducing the ore at low temperature via solid-state direct reduction (DR) to a kinetically defined degree, and subsequently melting and completely transforming it to iron under a reducing plasma (i.e. via hydrogen plasma reduction, HPR). Results suggest that an optimal transition point between these two technologies occurs where their efficiency in hydrogen utilization is equal. We found that the reduction of hematite through magnetite into wustite via DR is clean and efficient, but it gets sluggish and inefficient when iron forms at the outermost layers of the iron ore pellets. Conversely, HPR starts violent and unstable with arc delocalization, but proceeds smoothly and efficiently when processing semi-reduced oxides. We performed hybrid reduction experiments by partially reducing hematite pellets via DR at 700{\deg}C to 38% global reduction (using a standard thermogravimetry system) and subsequently transferring them to HPR, conducted with a gas mixture of Ar-10%H2 in an arc-melting furnace, to achieve conversion into liquid iron.


title: DNS: Determinantal Point Process Based Neural Network Sampler for Ensemble Reinforcement Learning

abstract: Application of ensemble of neural networks is becoming an imminent tool for advancing the state-of-the-art in deep reinforcement learning algorithms. However, training these large numbers of neural networks in the ensemble has an exceedingly high computation cost which may become a hindrance in training large-scale systems. In this paper, we propose DNS: a Determinantal Point Process based Neural Network Sampler that specifically uses k-dpp to sample a subset of neural networks for backpropagation at every training step thus significantly reducing the training time and computation cost. We integrated DNS in REDQ for continuous control tasks and evaluated on MuJoCo environments. Our experiments show that DNS augmented REDQ outperforms baseline REDQ in terms of average cumulative reward and achieves this using less than 50% computation when measured in FLOPS.


title: Entanglement entropy and $C_T$ for monodromy defects of fields on odd-dimensional spheres

abstract: The effect of a spherical monodromy defect on the entanglement entropy and central charge $C_T$ of a free conformal scalar field propagating on an odd-dimensional sphere is investigated. As on even spheres the central charge becomes negative for a range of the flux parameter, $\delta$, with possible implications for reflection positivity. The work is mostly numerical but closed forms are found for the $Z_2$ monodromy ($\delta=1/2$) yielding an explicit $d\to\infty$ limit, $C_T\to -6/\pi$


title: Evolutions in first-order viscous hydrodynamics

abstract: Motivated by the physics of the quark-gluon plasma created in heavy-ion collision experiments, we use holography to study the regime of applicability of various theories of relativistic viscous hydrodynamics. Using the microscopic description provided by holography of a system that relaxes to equilibrium, we obtain initial data with which we perform real-time evolutions in 2+1 dimensional conformal fluids using the first-order viscous relativistic hydrodynamics theory of Bemfica, Disconzi, Noronha and Kovtun (BDNK), BRSSS and ideal hydrodynamics. By initializing the hydrodynamics codes at different times, we can check the constitutive relations and assess the predictive power and accuracy of each of these theories.

categories: hep-th astro-ph.HE gr-qc nucl-th physics.comp-ph


title: Hydra: A Real-time Spatial Perception System for 3D Scene Graph Construction and Optimization

abstract: 3D scene graphs have recently emerged as a powerful high-level representation of 3D environments. A 3D scene graph describes the environment as a layered graph where nodes represent spatial concepts at multiple levels of abstraction and edges represent relations between concepts. While 3D scene graphs can serve as an advanced "mental model" for robots, how to build such a rich representation in real-time is still uncharted territory. This paper describes a real-time Spatial Perception System, a suite of algorithms to build a 3D scene graph from sensor data in real-time. Our first contribution is to develop real-time algorithms to incrementally construct the layers of a scene graph as the robot explores the environment; these algorithms build a local Euclidean Signed Distance Function (ESDF) around the current robot location, extract a topological map of places from the ESDF, and then segment the places into rooms using an approach inspired by community-detection techniques. Our second contribution is to investigate loop closure detection and optimization in 3D scene graphs. We show that 3D scene graphs allow defining hierarchical descriptors for loop closure detection; our descriptors capture statistics across layers in the scene graph, ranging from low-level visual appearance to summary statistics about objects and places. We then propose the first algorithm to optimize a 3D scene graph in response to loop closures; our approach relies on embedded deformation graphs to simultaneously correct all layers of the scene graph. We implement the proposed Spatial Perception System into a architecture named Hydra, that combines fast early and mid-level perception processes with slower high-level perception. We evaluate Hydra on simulated and real data and show it is able to reconstruct 3D scene graphs with an accuracy comparable with batch offline methods despite running online.


title: Signing the Supermask: Keep, Hide, Invert

abstract: The exponential growth in numbers of parameters of neural networks over the past years has been accompanied by an increase in performance across several fields. However, due to their sheer size, the networks not only became difficult to interpret but also problematic to train and use in real-world applications, since hardware requirements increased accordingly. Tackling both issues, we present a novel approach that either drops a neural network's initial weights or inverts their respective sign. Put simply, a network is trained by weight selection and inversion without changing their absolute values. Our contribution extends previous work on masking by additionally sign-inverting the initial weights and follows the findings of the Lottery Ticket Hypothesis. Through this extension and adaptations of initialization methods, we achieve a pruning rate of up to 99%, while still matching or exceeding the performance of various baseline and previous models. Our approach has two main advantages. First, and most notable, signed Supermask models drastically simplify a model's structure, while still performing well on given tasks. Second, by reducing the neural network to its very foundation, we gain insights into which weights matter for performance. The code is available on GitHub.


title: Balanced Partial Entanglement and Mixed State Correlations

abstract: Recently in Ref.\cite{Wen:2021qgx}, one of the authors introduced the balanced partial entanglement (BPE), which has been proposed to be dual to the entanglement wedge cross-section (EWCS). In this paper, we explicitly demonstrate that the BPE could be considered as a proper measure of the total intrinsic correlation between two subsystems in a mixed state. The total correlation includes certain crossing correlations which are minimized on some balance conditions. By constructing a class of purifications from Euclidean path-integrals, we find that the balanced crossing correlations show universality and can be considered as the generalization of the Markov gap for canonical purification. We also test the relation between the BPE and the EWCS in three-dimensional asymptotically flat holography. We find that the balanced crossing correlation vanishes for the field theory invariant under BMS$_3$ symmetry (BMSFT) and dual to the Einstein gravity, indicating the possibility of a perfect Markov recovery. We further elucidate these crossing correlations as a signature of tripartite entanglement and explain their interpretation in both AdS and non-AdS holography.