title: Probing a Set of Trajectories to Maximize Captured Information

abstract: We study a trajectory analysis problem we call the Trajectory Capture Problem (TCP), in which, for a given input set ${\cal T}$ of trajectories in the plane, and an integer $k\geq 2$, we seek to compute a set of $k$ points (``portals'') to maximize the total weight of all subtrajectories of ${\cal T}$ between pairs of portals. This problem naturally arises in trajectory analysis and summarization. We show that the TCP is NP-hard (even in very special cases) and give some first approximation results. Our main focus is on attacking the TCP with practical algorithm-engineering approaches, including integer linear programming (to solve instances to provable optimality) and local search methods. We study the integrality gap arising from such approaches. We analyze our methods on different classes of data, including benchmark instances that we generate. Our goal is to understand the best performing heuristics, based on both solution time and solution quality. We demonstrate that we are able to compute provably optimal solutions for real-world instances.


title: Assessment of Lockdown Effect in Some States and Overall India: A Predictive Mathematical Study on COVID-19 Outbreak

abstract: In the absence of neither an effective treatment or vaccine and with an incomplete understanding of the epidemiological cycle, Govt. has implemented a nationwide lockdown to reduce COVID-19 transmission in India. To study the effect of social distancing measure, we considered a new mathematical model on COVID-19 that incorporates lockdown effect. By validating our model to the data on notified cases from five different states and overall India, we estimated several epidemiologically important parameters as well as the basic reproduction number ($R_{0}$). Combining the mechanistic mathematical model with different statistical forecast models, we projected notified cases in the six locations for the period May 17, 2020, till May 31, 2020. A global sensitivity analysis is carried out to determine the correlation of two epidemiologically measurable parameters on the lockdown effect and also on $R_{0}$. Our result suggests that lockdown will be effective in those locations where a higher percentage of symptomatic infection exists in the population. Furthermore, a large scale COVID-19 mass testing is required to reduce community infection. Ensemble model forecast suggested a high rise in the COVID-19 notified cases in most of the locations in the coming days. Furthermore, the trend of the effective reproduction number ($R_{t}$) during the projection period indicates if the lockdown measures are completely removed after May 17, 2020, a high spike in notified cases may be seen in those locations. Finally, combining our results, we provided an effective lockdown policy to reduce future COVID-19 transmission in India.


title: Modularis: Modular Relational Analytics over Heterogeneous Distributed Platforms

abstract: The enormous quantity of data produced every day together with advances in data analytics has led to a proliferation of data management and analysis systems. Typically, these systems are built around highly specialized monolithic operators optimized for the underlying hardware. While effective in the short term, such an approach makes the operators cumbersome to port and adapt, which is increasingly required due to the speed at which algorithms and hardware evolve. To address this limitation, we present Modularis, an execution layer for data analytics based on sub-operators, i.e.,composable building blocks resembling traditional database operators but at a finer granularity. To demonstrate the advantages of our approach, we use Modularis to build a distributed query processing system supporting relational queries running on an RDMA cluster, a serverless cloud platform, and a smart storage engine. Modularis requires minimal code changes to execute queries across these three diverse hardware platforms, showing that the sub-operator approach reduces the amount and complexity of the code. In fact, changes in the platform affect only sub-operators that depend on the underlying hardware. We show the end-to-end performance of Modularis by comparing it with a framework for SQL processing (Presto), a commercial cluster database (SingleStore), as well as Query-as-a-Service systems (Athena, BigQuery). Modularis outperforms all these systems, proving that the design and architectural advantages of a modular design can be achieved without degrading performance. We also compare Modularis with a hand-optimized implementation of a join for RDMA clusters. We show that Modularis has the advantage of being easily extensible to a wider range of join variants and group by queries, all of which are not supported in the hand-tuned join.


title: The theory of the quantum kernel-based binary classifier

abstract: Binary classification is a fundamental problem in machine learning. Recent development of quantum similarity-based binary classifiers and kernel method that exploit quantum interference and feature quantum Hilbert space opened up tremendous opportunities for quantum-enhanced machine learning. To lay the fundamental ground for its further advancement, this work extends the general theory of quantum kernel-based classifiers. Existing quantum kernel-based classifiers are compared and the connection among them is analyzed. Focusing on the squared overlap between quantum states as a similarity measure, the essential and minimal ingredients for the quantum binary classification are examined. The classifier is also extended concerning various aspects, such as data type, measurement, and ensemble learning. The validity of the Hilbert-Schmidt inner product, which becomes the squared overlap for pure states, as a positive definite and symmetric kernel is explicitly shown, thereby connecting the quantum binary classifier and kernel methods.


title: What do Models Learn from Question Answering Datasets?

abstract: While models have reached superhuman performance on popular question answering (QA) datasets such as SQuAD, they have yet to outperform humans on the task of question answering itself. In this paper, we investigate if models are learning reading comprehension from QA datasets by evaluating BERT-based models across five datasets. We evaluate models on their generalizability to out-of-domain examples, responses to missing or incorrect data, and ability to handle question variations. We find that no single dataset is robust to all of our experiments and identify shortcomings in both datasets and evaluation methods. Following our analysis, we make recommendations for building future QA datasets that better evaluate the task of question answering through reading comprehension. We also release code to convert QA datasets to a shared format for easier experimentation at https://github.com/amazon-research/qa-dataset-converter.


title: Selective tuning of optical modes in a silicon comb-like photonic crystal cavity

abstract: Realizing multiply resonant photonic crystal cavities with large free spectral range is key to achieve integrated devices with highly efficient nonlinear response, such as frequency conversion, four-wave mixing, and parametric oscillation. This task is typically difficult owing to the cavity modes' sensitivity to fabrication disorder, which makes it hard to reliably achieve a comb-like spectrum of equally spaced modes even when a perfect matching is theoretically predicted. Here we show that a comb-like spectrum of up to 8 modes with very high quality factor and diffraction limited volumes can be engineered in the bichromatic-type potential of a two-dimensional photonic crystal cavity fabricated in a thin silicon membrane. To cope with the tight tolerance in terms of frequency spacings and resonance linewidths, we develop a permanent post-processing technique that allows the selective tuning of individual confined modes, thus achieving an almost perfect frequency matching of high Q resonances with record finesse in silicon microresonators. Our experimental results are extremely promising in view of ultra-low power nonlinear photonics in silicon.


title: The impact of pebble flux regulated planetesimal formation on giant planet formation

abstract: Forming gas giant planets by the accretion of 100 km diameter planetesimals, a typical size that results from self-gravity assisted planetesimal formation, is often thought to be inefficient. Many models therefore use small km-sized planetesimals, or invoke the accretion of pebbles. Furthermore, models based on planetesimal accretion often use the ad hoc assumption of planetesimals distributed radially in a minimum mass solar nebula fashion. We wish to investigate the impact of various initial radial density distributions in planetesimals with a dynamical model for the formation of planetesimals on the resulting population of planets. In doing so, we highlight the directive role of the early stages of dust evolution into pebbles and planetesimals in the circumstellar disk on the following planetary formation. We have implemented a two population model for solid evolution and a pebble flux regulated model for planetesimal formation into our global model for planet population synthesis. This framework is used to study the global effect of planetesimal formation on planet formation. As reference, we compare our dynamically formed planetesimal surface densities with ad-hoc set distributions of different radial density slopes of planetesimals. Even though required, it is not solely the total planetesimal disk mass, but the planetesimal surface density slope and subsequently the formation mechanism of planetesimals, that enables planetary growth via planetesimal accretion. Highly condensed regions of only 100 km sized planetesimals in the inner regions of circumstellar disks can lead to gas giant growth. Pebble flux regulated planetesimal formation strongly boosts planet formation, because it is a highly effective mechanism to create a steep planetesimal density profile. We find this to lead to the formation of giant planets inside 1 au by 100 km already by pure planetesimal accretion.


title: Exact Single-Source SimRank Computation on Large Graphs

abstract: SimRank is a popular measurement for evaluating the node-to-node similarities based on the graph topology. In recent years, single-source and top-$k$ SimRank queries have received increasing attention due to their applications in web mining, social network analysis, and spam detection. However, a fundamental obstacle in studying SimRank has been the lack of ground truths. The only exact algorithm, Power Method, is computationally infeasible on graphs with more than $10^6$ nodes. Consequently, no existing work has evaluated the actual trade-offs between query time and accuracy on large real-world graphs. In this paper, we present ExactSim, the first algorithm that computes the exact single-source and top-$k$ SimRank results on large graphs. With high probability, this algorithm produces ground truths with a rigorous theoretical guarantee. We conduct extensive experiments on real-world datasets to demonstrate the efficiency of ExactSim. The results show that ExactSim provides the ground truth for any single-source SimRank query with a precision up to 7 decimal places within a reasonable query time.


title: LLHD: A Multi-level Intermediate Representation for Hardware Description Languages

abstract: Modern Hardware Description Languages (HDLs) such as SystemVerilog or VHDL are, due to their sheer complexity, insufficient to transport designs through modern circuit design flows. Instead, each design automation tool lowers HDLs to its own Intermediate Representation (IR). These tools are monolithic and mostly proprietary, disagree in their implementation of HDLs, and while many redundant IRs exists, no IR today can be used through the entire circuit design flow. To solve this problem, we propose the LLHD multi-level IR. LLHD is designed as simple, unambiguous reference description of a digital circuit, yet fully captures existing HDLs. We show this with our reference compiler on designs as complex as full CPU cores. LLHD comes with lowering passes to a hardware-near structural IR, which readily integrates with existing tools. LLHD establishes the basis for innovation in HDLs and tools without redundant compilers or disjoint IRs. For instance, we implement an LLHD simulator that runs up to 2.4x faster than commercial simulators but produces equivalent, cycle-accurate results. An initial vertically-integrated research prototype is capable of representing all levels of the IR, implements lowering from the behavioural to the structural IR, and covers a sufficient subset of SystemVerilog to support a full CPU design.


title: A Mathematical Description of the Dynamics of Coronavirus Disease (COVID-19): A Case Study of Brazil

abstract: This paper deals with the mathematical modeling and numerical simulations related to the coronavirus dynamics. A description is developed based on the framework of susceptible-exposed-infectious-recovered model. Initially, a model verification is carried out calibrating system parameters with data from China, Italy, Iran and Brazil. Afterward, numerical simulations are performed to analyzed different scenarios of COVID-19 in Brazil. Results show the importance of governmental and individual actions to control the number and the period of the critical situations related to the pandemic.


title: Evolution of the electric field along null rays for arbitrary observers and spacetimes

abstract: We derive, in a manifestly covariant and electromagnetic gauge independent way, the evolution law of the electric field $E^\alpha = Ee^\alpha\ (e^\alpha e_\alpha=1)$, relative to an arbitrary set of instantaneous observers along a null geodesic ray, for an arbitrary Lorentzian spacetime, in the geometrical optics limit of Maxwell's equations in vacuum. We show that, in general, neither the magnitude $E$ nor the direction $e^\alpha$ of the electric field (here interpreted as the observed polarization of light) are parallel transported along the ray. For an extended reference frame around the given light ray, we express the evolution of the direction $e^\alpha$ in terms of the frame's kinematics, proving thereby that its expansion never spoils parallel transport, which bears on the unbiased inference of intrinsic properties of cosmological sources, such as, for instance, the polarization field of the cosmic microwave background (CMB). As an application of the newly derived laws, we consider a simple setup for a gravitational wave (GW) interferometer, showing that, despite the (kinematic) shear induced by the GW, the change in the final interference pattern is negligible since it turns out to be of the order of the ratio of the GW and laser frequencies.


title: ProGen: Language Modeling for Protein Generation

abstract: Generative modeling for protein engineering is key to solving fundamental problems in synthetic biology, medicine, and material science. We pose protein engineering as an unsupervised sequence generation problem in order to leverage the exponentially growing set of proteins that lack costly, structural annotations. We train a 1.2B-parameter language model, ProGen, on ~280M protein sequences conditioned on taxonomic and keyword tags such as molecular function and cellular component. This provides ProGen with an unprecedented range of evolutionary sequence diversity and allows it to generate with fine-grained control as demonstrated by metrics based on primary sequence similarity, secondary structure accuracy, and conformational energy.


title: Efficient time-bin encoding for practical high-dimensional quantum key distribution

abstract: High-dimensional quantum key distribution (QKD) allows to achieve information-theoretic secure communications, providing high key generation rates which cannot in principle be obtained by QKD protocols with binary encoding. Nonetheless, the amount of experimental resources needed increases as the quantum states to be detected belong to a larger Hilbert space, thus raising the costs of practical high-dimensional systems. Here, we present a novel scheme for fiber-based 4-dimensional QKD, with time and phase encoding and one-decoy state technique. Quantum states transmission is tested over different channel lengths up to 145 km of standard single-mode fiber, evaluating the enhancement of the secret key rate in comparison to the three-state 2-dimensional BB84 protocol, which is tested with the same experimental setup. Our scheme allows to measure the 4-dimensional states with a simplified and compact receiver, where only two single-photon detectors are necessary, thus making it a cost-effective solution for practical and fiber-based QKD.


title: Online Constrained Model-based Reinforcement Learning

abstract: Applying reinforcement learning to robotic systems poses a number of challenging problems. A key requirement is the ability to handle continuous state and action spaces while remaining within a limited time and resource budget. Additionally, for safe operation, the system must make robust decisions under hard constraints. To address these challenges, we propose a model based approach that combines Gaussian Process regression and Receding Horizon Control. Using sparse spectrum Gaussian Processes, we extend previous work by updating the dynamics model incrementally from a stream of sensory data. This results in an agent that can learn and plan in real-time under non-linear constraints. We test our approach on a cart pole swing-up environment and demonstrate the benefits of online learning on an autonomous racing task. The environment's dynamics are learned from limited training data and can be reused in new task instances without retraining.


title: BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis

abstract: This paper describes the field research, design and comparative deployment of a multimodal medical imaging user interface for breast screening. The main contributions described here are threefold: 1) The design of an advanced visual interface for multimodal diagnosis of breast cancer (BreastScreening); 2) Insights from the field comparison of single vs multimodality screening of breast cancer diagnosis with 31 clinicians and 566 images, and 3) The visualization of the two main types of breast lesions in the following image modalities: (i) MammoGraphy (MG) in both Craniocaudal (CC) and Mediolateral oblique (MLO) views; (ii) UltraSound (US); and (iii) Magnetic Resonance Imaging (MRI). We summarize our work with recommendations from the radiologists for guiding the future design of medical imaging interfaces.


title: Quantum Chaos on Complexity Geometry

abstract: This article tackles a fundamental long-standing problem in quantum chaos, namely, whether quantum chaotic systems can exhibit sensitivity to initial conditions, in a form that directly generalizes the notion of classical chaos in phase space. We develop a linear response theory for complexity, and demonstrate that the complexity can exhibit exponential sensitivity in response to perturbations of initial conditions for chaotic systems. Two immediate significant results follows: i) the complexity linear response matrix gives rise to a spectrum that fully recovers the Lyapunov exponents in the classical limit, and ii) the linear response of complexity is given by the out-of-time order correlators.


title: Correlation lengths in the language of computable information

abstract: Computable Information Density (CID), the ratio of the length of a losslessly compressed data file to that of the uncompressed file, is a measure of order and correlation in both equilibrium and nonequilibrium systems. Here we show that correlation lengths can be obtained by decimation - thinning a configuration by sampling data at increasing intervals and recalculating the CID. When the sampling interval is larger than the system's correlation length, the data becomes incompressible. The correlation length and its critical exponents are thus accessible with no a-priori knowledge of an order parameter or even the nature of the ordering. The correlation length measured in this way agrees well with that computed from the decay of two-point correlation functions $g_{2}(r)$ when they exist. But the CID reveals the correlation length and its scaling even when $g_{2}(r)$ has no structure, as we demonstrate by "cloaking" the data with a Rudin-Shapiro sequence.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.soft nlin.CG physics.comp-ph


title: Model selection in the space of Gaussian models invariant by symmetry

abstract: We consider multivariate centered Gaussian models for the random variable $Z=(Z_1,\ldots, Z_p)$, invariant under the action of a subgroup of the group of permutations on $\{1,\ldots, p\}$. Using the representation theory of the symmetric group on the field of reals, we derive the distribution of the maximum likelihood estimate of the covariance parameter $\Sigma$ and also the analytic expression of the normalizing constant of the Diaconis-Ylvisaker conjugate prior for the precision parameter $K=\Sigma^{-1}$. We can thus perform Bayesian model selection in the class of complete Gaussian models invariant by the action of a subgroup of the symmetric group, which we could also call complete RCOP models. We illustrate our results with a toy example of dimension $4$ and several examples for selection within cyclic groups, including a high dimensional example with $p=100$.


title: The CARMA-NRO Orion Survey: Protostellar Outflows, Energetics, and Filamentary Alignment

abstract: We identify 45 protostellar outflows in CO maps of the Orion A giant molecular cloud from the CARMA-NRO Orion survey. Our sample includes 11 newly detected outflows. We measure the mass and energetics of the outflows, including material at low-velocities by correcting for cloud contributions. The total momentum and kinetic energy injection rates of outflows is comparable to the turbulent dissipation rate of the cloud. We also compare the outflow position angles to the orientation of C$^{18}$O filaments. We find that the full sample of outflows is consistent with being randomly oriented with respect to the filaments. A subsample of the most reliable measurements shows a moderately perpendicular outflow-filament alignment which may reflect accretion of mass across filaments and onto the protostellar cores.


title: Measuring the Higgs self-coupling via Higgs-pair production at a 100 TeV p-p collider

abstract: Higgs pair production provides a unique handle for measuring the strength of the Higgs self interaction and constraining the shape of the Higgs potential. Among the proposed future facilities, a circular 100 TeV proton-proton collider would provide the most precise measurement of this crucial quantity. In this work, we perform a detailed analysis of the most promising decay channels and derive the expected sensitivity of their combination, assuming an integrated luminosity of 30 ab$^{-1}$. Depending on the assumed systematic uncertainties, we observe that the Higgs self-coupling will be measured with a precision in the range 3.4 - 7.8% at 68% confidence level.


title: Two-body mobility edge in the Anderson-Hubbard model in three dimensions: Molecular versus scattering states

abstract: Most of our quantitative understanding of disorder-induced metal-insulator transitions comes from numerical studies of simple noninteracting tight-binding models, like the Anderson model in three dimensions. An important outstanding problem is the fate of the Anderson transition in the presence of additional Hubbard interactions of strength $U$ between particles. Based on large-scale numerics, we compute the position of the mobility edge for a system of two identical bosons or two fermions with opposite spin components. The resulting phase diagram in the interaction-energy-disorder space possesses a remarkably rich and counterintuitive structure, with multiple metallic and insulating phases. We show that this phenomenon originates from the molecular or scattering-like nature of the pair states available at given energy $E$ and disorder strength $W$. The disorder-averaged density of states of the effective model for the pair is also investigated. Finally, we discuss the implications of our results for ongoing research on many-body localization.


title: A deterministic algorithm to compute the cosine measure of a finite positive spanning set

abstract: Originally developed in 1954, positive bases and positive spanning sets have been found to be a valuable concept in derivative-free optimization (DFO). The quality of a positive basis (or positive spanning set) can be quantified via the {\em cosine measure} and convergence properties of certain DFO algorithms are intimately linked to the value of this measure. However, it is unclear how to compute the cosine measure for a positive basis from the definition. In this paper, a deterministic algorithm to compute the cosine measure of any positive basis or finite positive spanning set is provided. The algorithm is proven to return the exact value of the cosine measure in finite time.


title: Experimental demonstration of a rapid sweep-tuned spectrum analyzer with temporal resolution based on a spin-torque nano-oscillator

abstract: It is demonstrated experimentally that a spin-torque nano-oscillator (STNO) rapidly sweep-tuned by a bias voltage can be used for time-resolved spectrum analysis of frequency-manipulated microwave signals with complicated multi-tone spectra. The critical reduction in the time of spectrum analysis comes from the naturally small time constants of a nano-sized STNO (1-100 ns). The demonstration is performed on a vortex-state STNO generating in a frequency range around 300 MHz, with frequency down-conversion and matched filtering used for signal processing. It is shown that this STNO-based spectrum analyzer can perform analysis of multi-tone signals, and signals with rapidly changing frequency components with time resolution on a $\mu$s time scale and frequency resolution limited only by the 'bandwidth' theorem. The proposed concept of rapid time-resolved spectrum analysis can be implemented with any type of micro and nano-scale frequency-swept oscillators having low time constants and high oscillation frequency.


title: Semi-automatic construction of Lattice Boltzmann models

abstract: A crucial step in constructing a Lattice Boltzmann model is the definition of a suitable set of lattice velocities, and the correct assignment of the associated weights. For high-order models, the solution of this problem requires a non-trivial effort. The paper outlines the functioning of a publicly available Python script which has been written to assist researchers in that task. The speed of sound $c_s$ is considered as a parameter, which can, within limits, be chosen at will. Under this premise, the Maxwell-Boltzmann constraint equations are a system of linear equations to determine the weights, and hence amenable to numerical solution by standard linear algebra library routines. By suitable contractions, the tensor equations are mapped to a set of equivalent scalar equations, which simplifies the treatment significantly. For a user-supplied set of velocity shells, the software first checks if a solution for the weights exists, and returns it if it also happens to be unique. In such a case, the software also calculates the range of $c_s$ values that yield positive weights. Standard models like D3Q19 with a well-defined special $c_s$ value then result as limiting cases where one of the weights vanishes. In case of an infinite set of solutions, the user may find one particular solution by supplying a $c_s$ value, and then minimizing one or several weights within the framework of standard linear programming. Some examples illustrate the feasibility and usefulness of the approach. A number of models that have been discussed in the literature are nicely reproduced, while the software has also been able to find some new models of even higher order.


title: Uniqueness for time-dependent inverse problems with single dynamical data

abstract: In this work, we investigate the shape identification and coefficient determination associated with two time-dependent partial differential equations in two dimensions. We consider the inverse problems of determining a convex polygonal obstacle and the coefficient appearing in the wave and Schr\"odinger equations from a single dynamical data along with the time. With the far field data, we first prove that the sound speed of the wave equation together with its contrast support of convex-polygon type can be uniquely determined, then establish a uniqueness result for recovering an electric potential as well as its support appearing in the Schr\"odinger equation. As a consequence of these results, we demonstrate a uniqueness result for recovering the refractive index of a medium from a single far field pattern at a fixed frequency in the time-harmonic regime.


title: Towards An Integrated Optical Transient Utility

abstract: The ongoing optical time-domain astronomy surveys are routinely reporting fifty transient candidates per night. Here, I investigate the demographics of astronomical transients and supernova classifications reported to the Transient Name Server in the year 2019. I find that only a tenth of the transients were spectrally classified. This severe "bottleneck" problem should concern astronomers and also funding agencies. The bottleneck will get worse by a factor of 20 (or more) once LSST comes on line. We need to fundamentally rethink the purpose of surveys for transients. Here, after undertaking a detailed investigation of this issue I offer some solutions. Going forward, astronomers will employ two different methodologies: (1) multi-band photometric method which is well suited to the study of very large, many tens of thousands, samples of faint transients; (2) spectral classifications of thousands of bright transients found in shallow and nightly cadenced wide-field photometry surveys and transients associated with galaxies in the local Universe. The latter program, in addition to unearthing new types of transients and offering astronomers opportunities to undertake extensive follow up of interesting transients, is needed to set the stage for the former. Specifically, I suggest a globally coordinated effort to spectrally classify a complete sample of bright supernovae (< ~19.5 mag) and transients within the local Universe (< 200 Mpc) The proposed program is within reach -- thanks to the on-going wide-field surveys, the development of novel spectrographs tuned for classification, great improvements in throughput of spectrographs and the increasing availability of robotic telescopes.


title: SNR-Based Features and Diverse Training Data for Robust DNN-Based Speech Enhancement

abstract: In this paper, we address the generalization of deep neural network (DNN) based speech enhancement to unseen noise conditions for the case that training data is limited in size and diversity. To gain more insights, we analyze the generalization with respect to (1) the size and diversity of the training data, (2) different network architectures, and (3) the chosen features. To address (1), we train networks on the Hu noise corpus (limited size), the CHiME 3 noise corpus (limited diversity) and also propose a large and diverse dataset collected based on freely available sounds. To address (2), we compare a fully-connected feed-forward and a long short-term memory (LSTM) architecture. To address (3), we compare three input features, namely logarithmized noisy periodograms, noise aware training (NAT) and the proposed signal-to-noise ratio (SNR) based noise aware training (SNR-NAT). We confirm that rich training data and improved network architectures help DNNs to generalize. Furthermore, we show via experimental results and an analysis using t-distributed stochastic neighbor embedding (t-SNE) that the proposed SNR-NAT features yield robust and level independent results in unseen noise even with simple network architectures and when trained on only small datasets, which is the key contribution of this paper.


title: Post-Newtonian expansion with Galilean covariance

abstract: The Galilean gravitation derives from a scalar potential and a vector one. Poisson's equation to determine the scalar potential has no the expected Galilean covariance. Moreover, there are three missing equations to determine the potential vector. Besides, we require they have the Galilean covariance. These are the issues addressed in the paper. To avoid the drawbacks of the PPN approach and the NCT, we merge them into a new framework. The key idea is to take care that every term of the c expansion of the fields are Galilean covariants or invariants. The expected equations are deduced by variation of the Hilbert-Einstein functional. The contribution of the matter to the functional is derived from Souriau's conformation tensor. We obtain a system of four non linear equations, solved by asymptotic expansion.


title: Identification of MHD compressible modes in interstellar plasma with synchrotron emission polarization

abstract: We provide a procedure for identification of dominating compressible and Alfvenic MHD modes or isotropic turbulence in synchrotron emission polarization maps of Galactic objects. The results for the region of North Galactic Pole, Orion molecular cloud complex and the star-forming complex Cygnus X are presented.


title: On the Complexity of Learning from Label Proportions

abstract: In the problem of learning with label proportions, which we call LLP learning, the training data is unlabeled, and only the proportions of examples receiving each label are given. The goal is to learn a hypothesis that predicts the proportions of labels on the distribution underlying the sample. This model of learning is applicable to a wide variety of settings, including predicting the number of votes for candidates in political elections from polls. In this paper, we formally define this class and resolve foundational questions regarding the computational complexity of LLP and characterize its relationship to PAC learning. Among our results, we show, perhaps surprisingly, that for finite VC classes what can be efficiently LLP learned is a strict subset of what can be leaned efficiently in PAC, under standard complexity assumptions. We also show that there exist classes of functions whose learnability in LLP is independent of ZFC, the standard set theoretic axioms. This implies that LLP learning cannot be easily characterized (like PAC by VC dimension).


title: Divergent modes of online collective attention to the COVID-19 pandemic are associated with future caseload variance

abstract: Using a random 10% sample of tweets authored from 2019-09-01 through 2020-04-30, we analyze the dynamic behavior of words (1-grams) used on Twitter to describe the ongoing COVID-19 pandemic. Across 24 languages, we find two distinct dynamic regimes: One characterizing the rise and subsequent collapse in collective attention to the initial Coronavirus outbreak in late January, and a second that represents March COVID-19-related discourse. Aggregating countries by dominant language use, we find that volatility in the first dynamic regime is associated with future volatility in new cases of COVID-19 roughly three weeks (average 22.49 $\pm$ 3.26 days) later. Our results suggest that surveillance of change in usage of epidemiology-related words on social media may be useful in forecasting later change in disease case numbers, but we emphasize that our current findings are not causal or necessarily predictive.


title: Laser-assisted high-energy proton pulse extraction for feasibility study of co-located muon source at the SNS

abstract: We have experimentally demonstrated the first non-intrusive 1-GeV proton beam extraction for the generation of muons with a temporal structure optimized for Muon Spin Relaxation/Rotation/Resonance (MuSR) applications. The proton pulses are extracted based on the laser neutralization of 1 GeV hydrogen ion (H-) beam in the high energy beam transport of the Spallation Neutron Source (SNS) accelerator. The maximum flux of the extracted proton beam accounts for only 0.2% of the total proton beam used for neutron production, a marked difference from the 20% reduction at other co-located muon and neutron facilities, and thus the proposed method will result in negligible impact on the SNS operation. This paper describes the development of a fiber/solid-state hybrid laser system that has high flexibility of pulse structure and output power, initial experiments on laser neutralization of H- beam and separation of H0 beam from the existing SNS accelerator beam line, conversion of H0 to proton at the SNS linac dump, and measurement results of 30 ns/50 kHz proton pulses. This system conclusively demonstrates the feasibility of laser-based proton beam extraction to power a world-leading MuSR facility at the SNS.


title: Two-time energy spectrum of weak magnetohydrodynamic turbulence

abstract: In this work a weak-turbulence closure is used to determine the structure of the two-time power spectrum of weak magnetohydrodynamic (MHD) turbulence from the nonlinear equations describing the dynamics. The two-time energy spectrum is a fundamental quantity in turbulence theory from which most statistical properties of a homogeneous turbulent system can be derived. A closely related quantity, obtained via a spatial Fourier transform, is the two-point two-time correlation function describing the space-time correlations arising from the underlying dynamics of the turbulent fluctuations. Both quantities are central in fundamental turbulence theories as well as in the analysis of turbulence experiments and simulations. However, a first-principles derivation of these quantities has remained elusive due to the statistical closure problem, in which dynamical equations for correlations at order $n$ depend on correlations of order $n+1$. The recent launch of the Parker Solar Probe (PSP), which will explore the near-Sun region where the solar wind is born, has renewed the interest in the scientific community to understand the structure, and possible universal properties of space-time correlations. The weak MHD turbulence regime that we consider in this work allows for a natural asymptotic closure of the two-time spectrum, which may be applicable to other weak turbulence regimes found in fluids and plasmas. An integro-differential equation for the scale-dependent temporal correlation function is derived for incompressible Alfv\'enic fluctuations whose nonlinear dynamics is described by the reduced MHD equations.

categories: physics.plasm-ph astro-ph.SR physics.ao-ph physics.flu-dyn physics.space-ph


title: Pooling in Graph Convolutional Neural Networks

abstract: Graph convolutional neural networks (GCNNs) are a powerful extension of deep learning techniques to graph-structured data problems. We empirically evaluate several pooling methods for GCNNs, and combinations of those graph pooling methods with three different architectures: GCN, TAGCN, and GraphSAGE. We confirm that graph pooling, especially DiffPool, improves classification accuracy on popular graph classification datasets and find that, on average, TAGCN achieves comparable or better accuracy than GCN and GraphSAGE, particularly for datasets with larger and sparser graph structures.


title: Fibered and strongly quasi-positive $L$-space links

abstract: Every $L$-space knot is fibered and strongly quasi-positive, but this does not hold for $L$-space links. In this paper, we use the so called H-function, which is a concordance link invariant, to introduce a subfamily of fibered strongly quasi-positive $L$-space links. Furthermore, we present an infinite family of $L$-space links which are not quasi-positive.


title: Entropy stabilization and property-preserving limiters for discontinuous Galerkin discretizations of nonlinear hyperbolic equations

abstract: The methodology proposed in this paper bridges the gap between entropy stable and positivity-preserving discontinuous Galerkin (DG) methods for nonlinear hyperbolic problems. The entropy stability property and, optionally, preservation of local bounds for the cell averages are enforced using flux limiters based on entropy conditions and discrete maximum principles, respectively. Entropy production by the (limited) gradients of the piecewise-linear DG approximation is constrained using Rusanov-type entropy viscosity, as proposed by Abgrall in the context of nodal finite element approximations. We cast his algebraic entropy fix into a form suitable for arbitrary polynomial bases and, in particular, for modal DG approaches. The Taylor basis representation of the entropy stabilization term reveals that it penalizes the solution gradients in a manner similar to slope limiting and requires semi-implicit treatment to achieve the desired effect. The implicit Taylor basis version of the Rusanov entropy fix preserves the sparsity pattern of the element mass matrix. Hence, no linear systems need to be solved if the Taylor basis is orthogonal and an explicit treatment of the remaining terms is adopted. The optional application of a vertex-based slope limiter constrains the piecewise-linear DG solution to be bounded by local maxima and minima of the cell averages. The combination of entropy stabilization with flux and slope limiting leads to constrained approximations that possess all desired properties. Numerical studies of the new limiting techniques and entropy correction procedures are performed for two scalar two-dimensional test problems with nonlinear and nonconvex flux functions.


title: Crepant Property of Fujiki-Oka Resolutions for Gorenstein Abelian Quotient Singularities

abstract: We show a sufficient condition for Fujiki-Oka resolutions of Gorenstein abelian quotient singularities to be crepant in all dimensions by using Ashikaga's continuous fractions. Moreover, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant resolution as a corollary. This alternative proof of existence needs only simple computations comparing with the results ever known.


title: FEM-BEM mortar coupling for the Helmholtz problem in three dimensions

abstract: We present a FEM-BEM coupling strategy for time-harmonic acoustic scattering in media with variable sound speed. The coupling is realized with the aid of a mortar variable that is an impedance trace on the coupling boundary. The resulting sesquilinear form is shown to satisfy a Garding inequality. Quasi-optimal convergence is shown for sufficiently fine meshes. Numerical examples confirm the theoretical convergence results.


title: On the relationship between logarithmic TAQ and logarithmic THH

abstract: We provide a new description of logarithmic topological Andr\'e-Quillen homology in terms of the indecomposables of an augmented ring spectrum. The new description allows us to interpret logarithmic TAQ as an abstract cotangent complex, and leads to an base-change formula for logarithmic topological Hochschild homology. The latter is analogous to results of Weibel-Geller for Hochschild homology of discrete rings, and of McCarthy-Minasian and Mathew for topological Hochschild homology. For example, our results imply that logarithmic THH satisfies base-change for tamely ramified extensions of discrete valuation rings.


title: A new polynomial criterion for periodic knots

abstract: The purpose of this paper is to present a new periodicity criterion. For that purpose, we study the HOMFLY-PT polynomial and the Kauffman polynomial of cables of periodic links. Furthermore, we exhibit a couple of examples for which our criterion is stronger than many previously know criteria, among which is the Khovanov homology criterion of Borodzik and the second author.


title: The Hamiltonian formalism of the Inverse Problem

abstract: A big-isotropic structure is a generalization of the notion of Dirac structure, due to Vaisman. We discuss the inverse problem of deciding if a vector field is Hamiltonian having a big-isotropic structure as underlying geometry. In [1] we have considered this question for the special case of replicator equations. Here we generalize that approach to any vector field that can be written in the form $X(u)=(\B\eta)(u),$ where $\B=\B(u)$ is a matrix and $\eta=\eta(u)$ is a vector. For a linear system we show that, if the representing matrix of the system has at least one pair of positive-negative non-zero eigenvalues, or a zero eigenvalue with at least one 3-dimensional Jordan block associated to it, then the linear system has a Hamiltonian description with respect to a big-isotropic structure. As a byproduct, we find a class of linear systems with zero eigenvalue that are Hamiltonian with respect to a big-isotropic structure but not a Dirac structure. Moreover, we prove that every linear Hamiltonian system, having a big-isotropic structure as underlying geometry, is completely integrable in the sense of Zung [12]. For linear systems, in the both Hamiltonian formulation and complete integrability cases, explicit descriptions of the geometric structures, the Hamiltonian functions, the first integrals and the commuting flows are provided.


title: Critical behavior of the spin-3/2 Blume Capel quantum model with two random transverse single-ion anisotropies

abstract: Using the approach based on the Bogoliubov inequality for free energy, we have studied the magnetic properties of the spin-3/2 Blume-Capel quantum model in the presence of the random transverse single-ion anisotropy (RTSIA). By analyzis of the phase diagrams in $\tau \times \varphi_{x} $, $m \times \varphi_{x}$ and $m \times \tau$ plans, we have obtained information about how the presence of anisotropy affects the properties of the system. We have shown that the RTSIA is responsible for changing the topology of the phase diagrams, compared to the pure model, leading to the appearance tricritical point (TCP).


title: Structural Transition in Oxidized Ca$_2$N Electrenes: CaO/CaN 2D heterostructures

abstract: Based on first-principles calculations we show that the oxidation of ultrathin films of Ca$_2$N electrides, electrenes, drives a hexagonal$\rightarrow$tetragonal structural transition. The ground state configuration of the oxidized monolayer (ML) and bilayer (BL) systems can be viewed as CaO/CaN and CaO/(CaN)$_2$/CaO two dimensional (2D) heterostructures. In both systems, we found nearly free electron (NFE) states lying near the vacuum level, and the spatial projection reveals that they are localized above the oxidized CaO surface. Focusing on the magnetic properties, we find that the nitrogen atoms of the oxidized Ca$_2$N becomes spin-polarized ($\sim$1 $\mu_{\rm B}$/N-atom); where (i) the ferromagnetic and the anti-ferromagnetic phases are nearly degenerated in the ML system, CaO/CaN, while (ii) there is an energetic preference for the ferromagnetic phase in CaO/(CaN)$_2$/CaO. We show that such a FM preference can be strengthened upon mechanical compression. Further electronic structure calculations reveal that the FM CaO/Ca$_2$N/CaO presents half-metallicity, where the metallic channels project (predominantly) on the N-$2p_{x,y}$ orbitals. In addition to the total energy results, molecular dynamic and phonon spectra calculations have been done in order to verify its thermal and structural stabilities. Those findings suggest that CaO/Ca$_2$N/CaO is a quite interesting, and structurally stable, 2D FM heterostructure characterized half-metallic bands sandwiched by NFE states lying on the oxidized surfaces.


title: Benefiting from Linear Behaviour of a Nonlinear Reset-based Element at Certain Frequencies

abstract: This paper addresses a phenomenon caused by resetting only one of the two states of a so-called second order "Constant in gain Lead in phase" (CgLp) element. CgLp is a recently introduced reset-based nonlinear element, bound to circumvent the well-known linear control limitation -- the waterbed effect. The ideal behaviour of such a filter in the frequency domain is unity gain while providing a phase lead for a broad range of frequencies, which clearly violates the linear Bode's gain phase relationship. However, CgLp's ideal behaviour is based on a describing function, which is a first order approximation that neglects the effects of higher order harmonics in the output of the filter. Consequently, achieving the ideal behaviour is challenging when higher order harmonics are relatively large. It is shown in this paper that by resetting only one of the two states of a second order CgLp, the nonlinear filter will act as a linear one at a certain frequency, provided that some conditions are met. This phenomenon can be used to the benefit of reducing higher order harmonics of CgLp's output and achieving the ideal behaviour and thus better performance in terms of precision.


title: Initial, inner and inner-boundary problems for a fractional differential equation

abstract: While it is known that one can consider the Cauchy problem for evolution equations with Caputo derivatives, the situation for the initial value problems for the Riemann-Liouville derivatives is less understood. In this paper we propose new type initial, inner and inner-boundary value problems for fractional differential equations with the Riemann-Liouville derivatives. The results on the existence and uniqueness are proved, and conditions on the solvability are found. The well-posedness of the new type initial, inner and inner-boundary conditions are also discussed. Moreover, we give explicit formulas for the solutions. As an application fractional partial differential equations for general positive operators are studied.


title: Deep Multi-Shot Network for modelling Appearance Similarity in Multi-Person Tracking applications

abstract: The automatization of Multi-Object Tracking becomes a demanding task in real unconstrained scenarios, where the algorithms have to deal with crowds, crossing people, occlusions, disappearances and the presence of visually similar individuals. In those circumstances, the data association between the incoming detections and their corresponding identities could miss some tracks or produce identity switches. In order to reduce these tracking errors, and even their propagation in further frames, this article presents a Deep Multi-Shot neural model for measuring the Degree of Appearance Similarity (MS-DoAS) between person observations. This model provides temporal consistency to the individuals' appearance representation, and provides an affinity metric to perform frame-by-frame data association, allowing online tracking. The model has been deliberately trained to be able to manage the presence of previous identity switches and missed observations in the handled tracks. With that purpose, a novel data generation tool has been designed to create training tracklets that simulate such situations. The model has demonstrated a high capacity to discern when a new observation corresponds to a certain track, achieving a classification accuracy of 97\% in a hard test that simulates tracks with previous mistakes. Moreover, the tracking efficiency of the model in a Surveillance application has been demonstrated by integrating that into the frame-by-frame association of a Tracking-by-Detection algorithm.


title: High-Q Nanophotonic Resonators on Diamond Membranes using Templated Atomic Layer Deposition of TiO2

abstract: Integrating solid-state quantum emitters with nanophotonic resonators is essential for efficient spin-photon interfacing and optical networking applications. While diamond color centers have proven to be excellent candidates for emerging quantum technologies, their integration with optical resonators remains challenging. Conventional approaches based on etching resonators into diamond often negatively impact color center performance and offer low device yield. Here, we developed an integrated photonics platform based on templated atomic layer deposition of TiO2 on diamond membranes. Our fabrication method yields high-performance nanophotonic devices while avoiding etching wavelength-scale features into diamond. Moreover, this technique generates highly reproducible optical resonances and can be iterated on individual diamond samples, a unique processing advantage. Our approach is suitable for a broad range of both wavelengths and substrates and can enable high-cooperativity interfacing between cavity photons and coherent defects in diamond or silicon carbide, rare earth ions, or other material systems.


title: Position- and momentum-squeezed quantum states in micro-scale mechanical resonators

abstract: A challenge of modern physics is to investigate the quantum behavior of a bulk material object, for instance a mechanical oscillator. We have earlier demonstrated that by coupling a mechanical oscillator to the energy levels of embedded rare-earth ion dopants, it is possible to prepare such a resonator in a low phonon number state. Here, we describe how to extend this protocol in order to prepare momentum- and position squeezed states, and we analyze how the obtainable degree of squeezing depends on the initial conditions and on the coupling of the oscillator to its thermal environment.


title: Lagrange approximation of transfer operators associated with holomorphic data

abstract: We show that spectral data of transfer operators given by holomorphic data can be approximated using an effective numerical scheme based on Lagrange interpolation. In particular, we show that for one-dimensional systems satisfying certain complex contraction properties, spectral data of the approximants converge exponentially to the spectral data of the transfer operator with the exponential rate determined by the respective complex contraction ratios of the underlying systems. We demonstrate the effectiveness of this scheme by numerically computing eigenvalues of transfer operators arising from interval and circle maps, as well as Lyapunov exponents of (positive) random matrix products and iterated function systems, based on examples taken from the literature.


title: Nonreciprocal Dzyaloshinskii-Moriya magnetoacoustic waves

abstract: We study the interaction of surface acoustic waves with spin waves in ultra-thin CoFeB/Pt bilayers. Due to the interfacial Dzyaloshinskii-Moriya interaction (DMI), the spin wave dispersion is non-degenerate for oppositely propagating spin waves in CoFeB/Pt. In combination with the additional nonreciprocity of the magnetoacoustic coupling itself, highly nonreciprocal acoustic wave transmission through the magnetic film is observed. We systematically characterize the magnetoacoustic wave propagation in a thickness series of CoFeB($d$)/Pt samples as a function of magnetic field magnitude and direction, and at frequencies up to 7 GHz. We quantitatively model our results to extract the strength of the DMI and magnetoacoustic driving fields.


title: The Calabi-Yau property of superminimal surfaces in self-dual Einstein four-manifolds

abstract: In this paper, we show that if $(X,g)$ is an oriented four dimensional Einstein manifold which is self-dual or anti-self-dual then superminimal surfaces in $X$ of appropriate spin enjoy the Calabi-Yau property, meaning that every immersed surface of this type from a bordered Riemann surface can be uniformly approximated by complete superminimal surfaces with Jordan boundaries. The proof uses the theory of twistor spaces and the Calabi-Yau property of holomorphic Legendrian curves in complex contact manifolds.


title: Efficient function approximation on general bounded domains using wavelets on a cartesian grid

abstract: Fourier extension is an approximation method that alleviates the periodicity requirements of Fourier series and avoids the Gibbs phenomenon when approximating functions. We describe a similar extension approach using regular wavelet bases on a hypercube to approximate functions on subsets of that cube. These subsets may have a general shape. This construction is inherently associated with redundancy which leads to severe ill-conditioning, but recent theory shows that nevertheless high accuracy and numerical stability can be achieved using regularization and oversampling. Regularized least squares solvers, such as the truncated singular value decomposition, that are suited to solve the resulting ill-conditioned and skinny linear system generally have cubic computational cost. We compare several algorithms that improve on this complexity. The improvements benefit from the sparsity in and the structure of the discrete wavelet transform. We present a method that requires $\mathcal O(N)$ operations in 1-D and $\mathcal O(N^{3(d-1)/d})$ in $d$-D, $d>1$. We experimentally show that direct sparse QR solvers appear to be more time-efficient, but yield larger expansion coefficients.


title: On Decoding of Generalized Concatenated Codes and Matrix-Product Codes

abstract: Generalized concatenated codes were introduced in the 1970s by Zinoviev. There are many types of codes in the literature that are known by other names that can be viewed as generalized concatenated codes. Examples include matrix-product codes, multilevel codes and generalized cascade codes. Decoding algorithms for generalized concatenated codes were developed during the 1970s and 1980s. However, their use does not appear to be as widespread as it should, especially for codes that are known by other names but can be viewed as generalized concatenated codes. In this paper we review the decoding algorithms for concatenated codes, generalized concatenated codes and matrix-product codes, and clarify the connection between matrix-product codes and generalized concatenated codes. We present a small improvement to the decoding algorithm for concatenated codes. We also extend the decoding algorithms from errors-only decoders to error-and-erasure decoders. Furthermore, we improve the upper bound on the computational complexity of the decoding algorithm in the case of matrix-product codes where the generator matrix for the inner code is non-singular by columns.


title: Assessing the Efficiency of Different Control Strategies for the Coronavirus (COVID-19) Epidemic

abstract: The goal of this work is to analyse the effects of control policies for the coronavirus (COVID-19) epidemic in Brazil. This is done by considering an age-structured SEIR model with a quarantine class and two types of controls. The first one studies the sensitivity with regard to the parameters of the basic reproductive number R0 which is calculated by the next generation method. The second one evaluates different quarantine strategies by comparing their relative total number of deaths.


title: Measurement of the Lund jet plane using charged particles in 13 TeV proton-proton collisions with the ATLAS detector

abstract: The prevalence of hadronic jets at the LHC requires that a deep understanding of jet formation and structure is achieved in order to reach the highest levels of experimental and theoretical precision. There have been many measurements of jet substructure at the LHC and previous colliders, but the targeted observables mix physical effects from various origins. Based on a recent proposal to factorize physical effects, this Letter presents a double-differential cross-section measurement of the Lund jet plane using 139 fb$^{-1}$ of $\sqrt{s}=13$ TeV proton-proton collision data collected with the ATLAS detector using jets with transverse momentum above 675 GeV. The measurement uses charged particles to achieve a fine angular resolution and is corrected for acceptance and detector effects. Several parton shower Monte Carlo models are compared with the data. No single model is found to be in agreement with the measured data across the entire plane.


title: Falsification and consciousness

abstract: The search for a scientific theory of consciousness should result in theories that are falsifiable. However, here we show that falsification is especially problematic for theories of consciousness. We formally describe the standard experimental setup for testing these theories. Based on a theory's application to some physical system, such as the brain, testing requires comparing a theory's predicted experience (given some internal observables of the system like brain imaging data) with an inferred experience (using report or behavior). If there is a mismatch between inference and prediction, a theory is falsified. We show that if inference and prediction are independent, it follows that any minimally informative theory of consciousness is automatically falsified. This is deeply problematic since the field's reliance on report or behavior to infer conscious experiences implies such independence, so this fragility affects many contemporary theories of consciousness. Furthermore, we show that if inference and prediction are strictly dependent, it follows that a theory is unfalsifiable. This affects theories which claim consciousness to be determined by report or behavior. Finally, we explore possible ways out of this dilemma.


title: On a generalization of fractional Langevin equation

abstract: In this work, we consider a generalization of the nonlinear Langevin equation of fractional orders with boundary value conditions. The existence and uniqueness of solutions are studied by using results of the fixed point theory. Moreover, the previous results of fractional Langevin equations are a special case of our problem.


title: Large-Momentum Effective Theory

abstract: Since the parton model was introduced by Feynman more than fifty years ago, we have learned much about the partonic structure of the proton through a large body of high-energy experimental data and dedicated global fits. However, calculating the partonic observables such as parton distribution function (PDFs) from the fundamental theory of strong interactions, QCD, has made limited progress. Recently, the authors have advocated a formalism, large-momentum effective theory (LaMET), through which one can extract parton physics from the properties of the proton travelling at a moderate boost-factor, e.g., $\gamma\sim (2-5)$. The key observation behind this approach is that Lorentz symmetry allows the standard formalism of partons in terms of light-front operators to be replaced by an equivalent one with large-momentum states and time-independent operators of a universality class. With LaMET, the PDFs, generalized PDFs or GPDs, transverse-momentum-dependent PDFs, and light-front wave functions can all be extracted in principle from lattice simulations of QCD (or other non-perturbative methods) through standard effective field theory matching and running. Future lattice QCD calculations with exa-scale computational facilities can help to understand the experimental data related to the hadronic structure, including those from the upcoming Electron-Ion Colliders dedicated to exploring the partonic landscape of the proton. Here we review the progress made in the past few years in development of the LaMET formalism and its applications, particularly on the demonstration of its effectiveness from initial lattice QCD simulations.


title: PACT: Privacy Sensitive Protocols and Mechanisms for Mobile Contact Tracing

abstract: The global health threat from COVID-19 has been controlled in a number of instances by large-scale testing and contact tracing efforts. We created this document to suggest three functionalities on how we might best harness computing technologies to supporting the goals of public health organizations in minimizing morbidity and mortality associated with the spread of COVID-19, while protecting the civil liberties of individuals. In particular, this work advocates for a third-party free approach to assisted mobile contact tracing, because such an approach mitigates the security and privacy risks of requiring a trusted third party. We also explicitly consider the inferential risks involved in any contract tracing system, where any alert to a user could itself give rise to de-anonymizing information. More generally, we hope to participate in bringing together colleagues in industry, academia, and civil society to discuss and converge on ideas around a critical issue rising with attempts to mitigate the COVID-19 pandemic.


title: Dense Regression Network for Video Grounding

abstract: We address the problem of video grounding from natural language queries. The key challenge in this task is that one training video might only contain a few annotated starting/ending frames that can be used as positive examples for model training. Most conventional approaches directly train a binary classifier using such imbalance data, thus achieving inferior results. The key idea of this paper is to use the distances between the frame within the ground truth and the starting (ending) frame as dense supervisions to improve the video grounding accuracy. Specifically, we design a novel dense regression network (DRN) to regress the distances from each frame to the starting (ending) frame of the video segment described by the query. We also propose a simple but effective IoU regression head module to explicitly consider the localization quality of the grounding results (i.e., the IoU between the predicted location and the ground truth). Experimental results show that our approach significantly outperforms state-of-the-arts on three datasets (i.e., Charades-STA, ActivityNet-Captions, and TACoS).


title: Instabilities in Multi-Asset and Multi-Agent Market Impact Games

abstract: We consider the general problem of a set of agents trading a portfolio of assets in the presence of transient price impact and additional quadratic transaction costs and we study, with analytical and numerical methods, the resulting Nash equilibria. Extending significantly the framework of Schied & Zhang (2019) and Luo & Schied (2020), who considered the single asset case, we prove the existence and uniqueness of the corresponding Nash equilibria for the related mean-variance optimization problem. We then focus our attention on the conditions on the model parameters making the trading profile of the agents at equilibrium, and as a consequence the price trajectory, wildly oscillating and the market unstable. While Schied & Zhang (2019) and Luo & Schied (2020) highlighted the importance of the value of transaction cost in determining the transition between a stable and an unstable phase, we show that also the scaling of market impact with the number of agents J and the number of assets M determines the asymptotic stability (in J and M ) of markets.


title: Unsupervised Person Re-identification via Softened Similarity Learning

abstract: Person re-identification (re-ID) is an important topic in computer vision. This paper studies the unsupervised setting of re-ID, which does not require any labeled information and thus is freely deployed to new scenarios. There are very few studies under this setting, and one of the best approach till now used iterative clustering and classification, so that unlabeled images are clustered into pseudo classes for a classifier to get trained, and the updated features are used for clustering and so on. This approach suffers two problems, namely, the difficulty of determining the number of clusters, and the hard quantization loss in clustering. In this paper, we follow the iterative training mechanism but discard clustering, since it incurs loss from hard quantization, yet its only product, image-level similarity, can be easily replaced by pairwise computation and a softened classification task. With these improvements, our approach becomes more elegant and is more robust to hyper-parameter changes. Experiments on two image-based and video-based datasets demonstrate state-of-the-art performance under the unsupervised re-ID setting.


title: Temporal Pyramid Network for Action Recognition

abstract: Visual tempo characterizes the dynamics and the temporal scale of an action. Modeling such visual tempos of different actions facilitates their recognition. Previous works often capture the visual tempo through sampling raw videos at multiple rates and constructing an input-level frame pyramid, which usually requires a costly multi-branch network to handle. In this work we propose a generic Temporal Pyramid Network (TPN) at the feature-level, which can be flexibly integrated into 2D or 3D backbone networks in a plug-and-play manner. Two essential components of TPN, the source of features and the fusion of features, form a feature hierarchy for the backbone so that it can capture action instances at various tempos. TPN also shows consistent improvements over other challenging baselines on several action recognition datasets. Specifically, when equipped with TPN, the 3D ResNet-50 with dense sampling obtains a 2% gain on the validation set of Kinetics-400. A further analysis also reveals that TPN gains most of its improvements on action classes that have large variances in their visual tempos, validating the effectiveness of TPN.


title: Field-mediated locomotor dynamics on highly deformable surfaces

abstract: In many systems motion occurs on deformed and deformable surfaces, setting up the possibility for dynamical interactions solely mediated by the coupling of the entities with their environment. Here we study the "two-body" dynamics of robot locomotion on a highly deformable spandex membrane in two scenarios: one in which a robot orbits a large central depression and the other where the two robots affect each other's motion solely through mutual environmental deformations. Inspired by the resemblance of the orbits of the single robot with those of general relativistic orbits around black holes, we recast the vehicle plus membrane dynamics in physical space into the geodesic motion of a "test particle" in a fiducial curved space-time and demonstrate how this framework facilitates understanding the observed dynamics. The two-robot problem also exhibits a resemblance with Einstein's general relativistic view of gravity, which in the words of Wheeler: "spacetime tells matter how to move; matter tells spacetime how to curve." We generalize this case the mapping to include a reciprocal coupling that translates into robotic curvature-based control schemes which modify interaction (promoting avoidance or aggregation) without long-range sensing. Our work provides a starting point for developing a mechanical analog gravity system as well as develops a framework that can provide insights into active matter in deformable environments and robot exploration in complex landscapes.


title: The loop linking number of line arrangements

abstract: In his Ph.D. thesis, Cadegan-Schlieper constructs an invariant of the embedded topology of a line arrangement which generalizes the $\mathcal{I}$-invariant introduced by Artal, Florens and the author. This new invariant is called the loop linking number in the present paper. We refine the result of Cadegan-Schlieper by proving that the loop linking number is an invariant of the homeomorphism type of the arrangement complement. We give two effective methods to compute this invariant, both are based on the braid monodromy. As an application, we detect an arithmetic Zariski pair of arrangements with 11 lines whose coefficients are in the 5th cyclotomic field. Furthermore, we also prove that the fundamental groups of their complements are not isomorphic; it is the Zariski pair with the fewest number of lines which have this property. We also detect an arithmetic Zariski triple with 12 lines whose complements have non-isomorphic fundamental groups. In the appendix, we give 28 similar arithmetic Zariski pairs detected using the loop linking number. To conclude this paper, we give a multiplicativity theorem for the union of arrangements. This first allows us to prove that the complements of Rybnikov's arrangements are not homeomorphic, and then leads us to a generalization of Rybnikov's result. Lastly, we use it to prove the existence of homotopy-equivalent lattice-isomorphic arrangements which have non-homeomorphic complements.


title: Optical to near-infrared transmission spectrum of the warm sub-Saturn HAT-P-12b

abstract: We present the transmission spectrum of HAT-P-12b through a joint analysis of data obtained from the Hubble Space Telescope Space Telescope Imaging Spectrograph (STIS) and Wide Field Camera 3 (WFC3) and Spitzer, covering the wavelength range 0.3-5.0 $\mu$m. We detect a muted water vapor absorption feature at 1.4 $\mu$m attenuated by clouds, as well as a Rayleigh scattering slope in the optical indicative of small particles. We interpret the transmission spectrum using both the state-of-the-art atmospheric retrieval code SCARLET and the aerosol microphysics model CARMA. These models indicate that the atmosphere of HAT-P-12b is consistent with a broad range of metallicities between several tens to a few hundred times solar, a roughly solar C/O ratio, and moderately efficient vertical mixing. Cloud models that include condensate clouds do not readily generate the sub-micron particles necessary to reproduce the observed Rayleigh scattering slope, while models that incorporate photochemical hazes composed of soot or tholins are able to match the full transmission spectrum. From a complementary analysis of secondary eclipses by Spitzer, we obtain measured depths of $0.042\%\pm0.013\%$ and $0.045\%\pm0.018\%$ at 3.6 and 4.5 $\mu$m, respectively, which are consistent with a blackbody temperature of $890^{+60}_{-70}$ K and indicate efficient day-night heat recirculation. HAT-P-12b joins the growing number of well-characterized warm planets that underscore the importance of clouds and hazes in our understanding of exoplanet atmospheres.


title: A Network Percolation-based Contagion Model of Flood Propagation and Recession in Urban Road Networks

abstract: In this study, we propose a contagion model as a simple and powerful mathematical approach for predicting the spatial spread and temporal evolution of the onset and recession of flood waters in urban road networks. A network of urban roads resilient to flooding events is essential for provision of public services and for emergency response. The spread of floodwaters in urban networks is a complex spatial-temporal phenomenon. This study presents a mathematical contagion model to describe the spatial-temporal spread and recession process of flood waters in urban road networks. The evolution of floods within networks can be captured based on three macroscopic characteristics-flood propagation rate ($\beta$), flood incubation rate ($\alpha$), and recovery rate ($\mu$)-in a system of ordinary differential equations analogous to the Susceptible-Exposed-Infected-Recovered (SEIR) model. We integrated the flood contagion model with the network percolation process in which the probability of flooding of a road segment depends on the degree to which the nearby road segments are flooded. The application of the proposed model was verified using high-resolution historical data of road flooding in Harris County during Hurricane Harvey in 2017. The results show that the model can monitor and predict the fraction of flooded roads over time. Additionally, the proposed model can achieve $90\%$ precision and recall for the spatial spread of the flooded roads at the majority of tested time intervals. The findings suggest that the proposed mathematical contagion model offers great potential to support emergency managers, public officials, citizens, first responders, and other decision makers for flood forecast in road networks.


title: Capsule Networks -- A Probabilistic Perspective

abstract: 'Capsule' models try to explicitly represent the poses of objects, enforcing a linear relationship between an object's pose and that of its constituent parts. This modelling assumption should lead to robustness to viewpoint changes since the sub-object/super-object relationships are invariant to the poses of the object. We describe a probabilistic generative model which encodes such capsule assumptions, clearly separating the generative parts of the model from the inference mechanisms. With a variational bound we explore the properties of the generative model independently of the approximate inference scheme, and gain insights into failures of the capsule assumptions and inference amortisation. We experimentally demonstrate the applicability of our unified objective, and demonstrate the use of test time optimisation to solve problems inherent to amortised inference in our model.


title: Fine-Grained Named Entity Typing over Distantly Supervised Data Based on Refined Representations

abstract: Fine-Grained Named Entity Typing (FG-NET) is a key component in Natural Language Processing (NLP). It aims at classifying an entity mention into a wide range of entity types. Due to a large number of entity types, distant supervision is used to collect training data for this task, which noisily assigns type labels to entity mentions irrespective of the context. In order to alleviate the noisy labels, existing approaches on FGNET analyze the entity mentions entirely independent of each other and assign type labels solely based on mention sentence-specific context. This is inadequate for highly overlapping and noisy type labels as it hinders information passing across sentence boundaries. For this, we propose an edge-weighted attentive graph convolution network that refines the noisy mention representations by attending over corpus-level contextual clues prior to the end classification. Experimental evaluation shows that the proposed model outperforms the existing research by a relative score of upto 10.2% and 8.3% for macro f1 and micro f1 respectively.


title: Entity Linking via Dual and Cross-Attention Encoders

abstract: Entity Linking has two main open areas of research: 1) generate candidate entities without using alias tables and 2) generate more contextual representations for both mentions and entities. Recently, a solution has been proposed for the former as a dual-encoder entity retrieval system (Gillick et al., 2019) that learns mention and entity representations in the same space, and performs linking by selecting the nearest entity to the mention in this space. In this work, we use this retrieval system solely for generating candidate entities. We then rerank the entities by using a cross-attention encoder over the target mention and each of the candidate entities. Whereas a dual encoder approach forces all information to be contained in the small, fixed set of vector dimensions used to represent mentions and entities, a crossattention model allows for the use of detailed information (read: features) from the entirety of each <mention, context, candidate entity> tuple. We experiment with features used in the reranker including different ways of incorporating document-level context. We achieve state-of-the-art results on TACKBP-2010 dataset, with 92.05% accuracy. Furthermore, we show how the rescoring model generalizes well when trained on the larger CoNLL-2003 dataset and evaluated on TACKBP-2010.


title: Adaptive sampling recovery of functions with higher mixed regularity

abstract: We tensorize the Faber spline system from [14] to prove sequence space isomorphisms for multivariate function spaces with higher mixed regularity. The respective basis coefficients are local linear combinations of discrete function values similar as for the classical Faber Schauder system. This allows for a sparse representation of the function using a truncated series expansion by only storing discrete (finite) set of function values. The set of nodes where the function values are taken depends on the respective function in a non-linear way. Indeed, if we choose the basis functions adaptively it requires significantly less function values to represent the initial function up to accuracy $\varepsilon>0$ (say in $L_\infty$) compared to hyperbolic cross projections. In addition, due to the higher regularity of the Faber splines we overcome the (mixed) smoothness restriction $r<2$ and benefit from higher mixed regularity of the function. As a byproduct we present the solution of Problem 3.13 in the Triebel monograph [46] for the multivariate setting.


title: A categorical approach to secure compilation

abstract: We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive laws can potentially be a viable alternative for compiler security instead of full abstraction, which is the preservation and reflection of contextual equivalence. To that end, we also make use of the well-behavedness properties of distributive laws to construct a categorical argument for the contextual connotations of bisimilarity.


title: Policy iteration for Hamilton-Jacobi-Bellman equations with control constraints

abstract: Policy iteration is a widely used technique to solve the Hamilton Jacobi Bellman (HJB) equation, which arises from nonlinear optimal feedback control theory. Its convergence analysis has attracted much attention in the unconstrained case. Here we analyze the case with control constraints both for the HJB equations which arise in deterministic and in stochastic control cases. The linear equations in each iteration step are solved by an implicit upwind scheme. Numerical examples are conducted to solve the HJB equation with control constraints and comparisons are shown with the unconstrained cases.


title: A collar lemma for partially hyperconvex surface group representations

abstract: We show that a collar lemma holds for Anosov representations of fundamental groups of surfaces into $\SL(n,\R)$ that satisfy partial hyperconvexity properties inspired from Labourie's work. This is the case for several open sets of Anosov representations not contained in higher rank Teichm\"uller spaces, as well as for $\Theta$-positive representations into $\SO(p,q)$ if $p\geq 4$. We moreover show that 'positivity properties' known for Hitchin representations, such as being positively ratioed and having positive eigenvalue ratios, also hold for partially hyperconvex representations.


title: QSystem: bitwise representation for quantum circuit simulations

abstract: We present QSystem, an open-source platform for the simulation of quantum circuits focused on bitwise operations on a Hashmap data structure storing quantum states and gates. QSystem is implemented in C++ and delivered as a Python module, taking advantage of the C++ performance and the Python dynamism. The simulators API is designed to be simple and intuitive, thus streamlining the simulation of a quantum circuit in Python. The current release has three distinct ways to represent the quantum state: vector, matrix, and the proposed bitwise. The latter constitutes our main results and is a new way to store and manipulate both states and operations which shows an exponential advantage with the amount of superposition in the systems state. We benchmark the bitwise representation against other simulators, namely Qiskit, Forest SDK QVM, and Cirq.


title: Transformers to Learn Hierarchical Contexts in Multiparty Dialogue for Span-based Question Answering

abstract: We introduce a novel approach to transformers that learns hierarchical representations in multiparty dialogue. First, three language modeling tasks are used to pre-train the transformers, token- and utterance-level language modeling and utterance order prediction, that learn both token and utterance embeddings for better understanding in dialogue contexts. Then, multi-task learning between the utterance prediction and the token span prediction is applied to fine-tune for span-based question answering (QA). Our approach is evaluated on the FriendsQA dataset and shows improvements of 3.8% and 1.4% over the two state-of-the-art transformer models, BERT and RoBERTa, respectively.


title: Fermi Large Area Telescope Observations of the Fast-dimming Crab Nebula in 60-600 MeV

abstract: Context: The Crab pulsar and its nebula are the origin of relativistic electrons which can be observed through their synchrotron and inverse Compton emission. The transition between synchrotron-dominated and inverse-Compton-dominated emissions takes place at $\approx 10^9$ eV. Aims: The short-term (weeks to months) flux variability of the synchrotron emission from the most energetic electrons is investigated with data from ten years of observations with the Fermi Large Area Telescope (LAT) in the energy range from 60 MeV to 600 MeV. Methods: The off-pulse light-curve has been reconstructed from phase-resolved data. The corresponding histogram of flux measurements is used to identify distributions of flux-states and the statistical significance of a lower-flux component is estimated with dedicated simulations of mock light-curves. The energy spectra for different flux states are reconstructed. Results: We confirm the presence of flaring-states which follow a log-normal flux distribution. Additionally, we discover a low-flux state where the flux drops to as low as 18.4% of the intermediate-state average flux and stays there for several weeks. The transition time is observed to be as short as 2 days. The energy spectrum during the low-flux state resembles the extrapolation of the inverse-Compton spectrum measured at energies beyond several GeV energy, implying that the high-energy part of the synchrotron emission is dramatically depressed. Conclusions: The low-flux state found here and the transition time of at most 10 days indicate that the bulk ($>75$%) of the synchrotron emission above $10^8$ eV originates in a compact volume with apparent angular size of $\theta\approx0.4" t_\mathrm{var}/(5 \mathrm{d})$. We tentatively infer that the so-called inner knot feature is the origin of the bulk of the $\gamma$-ray emission.


title: Experimental detection of surface spin-polarized electron accumulation in topological insulators using scanning tunneling microscopy

abstract: Spin-momentum locking in the surface mode of topological insulators (TI) leads to the surface accumulation of spin-polarized electrons caused by bias current flows through TI samples. Here, we demonstrate that scanning tunneling microscopy can be used to sense this surface spin-polarized electron accumulation. We present experimental results of this sensing for Sn-doped Bi$_2$Se$_3$ samples by employing Fe-coated W tips as well as non-magnetic W tips. We observe a linear increase in the spin-accumulation as a function of bias current through TI samples.


title: C4-free subgraphs with large average degree

abstract: Motivated by a longstanding conjecture of Thomassen, we study how large the average degree of a graph needs to be to imply that it contains a $C_4$-free subgraph with average degree at least $t$. K\"uhn and Osthus showed that an average degree bound which is double exponential in t is sufficient. We give a short proof of this bound, before reducing it to a single exponential. That is, we show that any graph $G$ with average degree at least $2^{ct^2\log t}$ (for some constant $c>0$) contains a $C_4$-free subgraph with average degree at least $t$. Finally, we give a construction which improves the lower bound for this problem, showing that this initial average degree must be at least $t^{3-o(1)}$.


title: Asymptotic behaviour of rescaled nonlocal functionals and evolutions

abstract: Taking up a variational viewpoint, we present some nonlocal-to-local asymptotic results for various kinds of integral functionals. The content of the thesis comprises the contributions first appeared in some research papers in collaboration with J. Berendsen, A. Cesaroni, A. Chambolle, and M. Novaga.


title: Laser-induced magnetization precession in individual magnetoelastic domains of a multiferroic CoFeB/BaTiO$_3$ composite

abstract: Using a magneto-optical pump-probe technique with micrometer spatial resolution we show that magnetization precession can be launched in individual magnetic domains imprinted in a Co$_{40}$Fe$_{40}$B$_{20}$ (CoFeB) layer by elastic coupling to ferroelectric domains in a BaTiO$_{3}$ substrate. The dependence of the precession parameters on external magnetic field strength and orientation reveal that by laser-induced ultrafast partial quenching of the magnetoelastic coupling parameter of CoFeB by $\approx$27% along with 10% ultrafast demagnetization trigger the magnetization precession. The relation between the laser-induced reduction of the magnetoelastic coupling and the demagnetization is approximated by the $n(n+1)/2$-law with n$\approx$2. This correspondence confirms the thermal origin of the laser-induced anisotropy change. Based on the analysis and modeling of the excited precession we find signatures of laser-induced precessional switching, which occurs when the magnetic field is applied along the hard magnetization axis and its value is close to the effective magnetoelastic anisotropy field. The precession excitation process in an individual magnetoelastic domain is found to be unaffected by neighboring domains. This makes laser-induced changes of magnetoelastic anisotropy a promising tool for driving magnetization dynamics and switching in composite multiferroics with spatial selectivity.


title: Observation of a neutron spin resonance in the bilayered superconductor CsCa2Fe4As4F2

abstract: We report inelastic neutron scattering (INS) investigations on the bilayer Fe-based superconductor CsCa2Fe4As4F4 above and below its superconducting transition temperature Tc = 28.9 K to investigate the presence of a neutron spin resonance. This compound crystallises in a body-centred tetragonal lattice containing asymmetric double layers of Fe2As2 separated by insulating CaF2 layers and is known to be highly anisotropic. Our INS study clearly reveals the presence of a neutron spin resonance that exhibits higher intensity at lower momentum transfer (Q) at 5K compared to 54 K, at an energy of 15 meV. The energy ER of the observed spin resonance is broadly consistent with the relationship E_R = 4.9 k_B T_c, but is slightly enhanced compared to the values observed in other Fe-based superconductors. We discuss the nature of the electron pairing symmetry by comparing the value of E_R with that deduced from the total superconducting gap value integrated over the Fermi surface.


title: Magneto-intersubband oscillations in two dimensional systems with energy spectrum split due to spin-orbit interaction

abstract: In the present paper we study magneto-intersubband oscillations (MISO) in HgTe/Hg$_{1-x}$Cd$_x$Te single quantum well with "inverted" and "normal" spectra and in conventional In$_{1-x}$Ga$_x$As/In$_{1-y}$Al$_y$As quantum wells with normal band ordering. For all the cases when two branches of the spectrum arise due to spin-orbit splitting, the mutual arrangement of the antinodes of the Shubnikov-de Haas oscillations and the maxima of MISO occurs opposite to that observed in double quantum wells and in wide quantum wells with two subbands occupied and does not agree with the theoretical predictions. A "toy" model is supposed that explain qualitatively this unusual result.


title: Latent Network Structure Learning from High Dimensional Multivariate Point Processes

abstract: Learning the latent network structure from large scale multivariate point process data is an important task in a wide range of scientific and business applications. For instance, we might wish to estimate the neuronal functional connectivity network based on spiking times recorded from a collection of neurons. To characterize the complex processes underlying the observed data, we propose a new and flexible class of nonstationary Hawkes processes that allow both excitatory and inhibitory effects. We estimate the latent network structure using an efficient sparse least squares estimation approach. Using a thinning representation, we establish concentration inequalities for the first and second order statistics of the proposed Hawkes process. Such theoretical results enable us to establish the non-asymptotic error bound and the selection consistency of the estimated parameters. Furthermore, we describe a least squares loss based statistic for testing if the background intensity is constant in time. We demonstrate the efficacy of our proposed method through simulation studies and an application to a neuron spike train data set.


title: Evolution of diffuse scalar clouds around binary black holes

abstract: The use of modern effective field theory techniques has sparked significant developments in many areas of physics, including the study of gravity. Case in point, such techniques have recently been used to show that binary black holes can amplify incident, low-frequency radiation due to an interplay between absorption at the horizons and momentum transfer in the bulk of the spacetime. In this paper, we further examine the consequences of this superradiant mechanism on the dynamics of an ambient scalar field by taking the binary's long-range gravitational potential into account at the nonperturbative level. Doing so allows us to capture the formation of scalar clouds that are gravitationally bound to the binary. If the scalar is light enough, the cloud can be sufficiently diffuse (i.e., dilute while having considerable spatial extent) that it engulfs the binary as a whole. Its subsequent evolution exhibits an immensely rich phenomenology, which includes exponential growth, beating patterns, and the upscattering of bound states into scalar waves. While we find that these effects have negligible influence on the binary's inspiral in the regime wherein our approximations are valid, they offer new, analytic insight into how binary black holes interact with external perturbations. They may also provide useful, qualitative intuition for interpreting the results from future numerical simulations of these complex systems.


title: Two Results on Layered Pathwidth and Linear Layouts

abstract: Layered pathwidth is a new graph parameter studied by Bannister et al (2015). In this paper we present two new results relating layered pathwidth to two types of linear layouts. Our first result shows that, for any graph $G$, the stack number of $G$ is at most four times the layered pathwidth of $G$. Our second result shows that any graph $G$ with track number at most three has layered pathwidth at most four. The first result complements a result of Dujmovi\'c and Frati (2018) relating layered treewidth and stack number. The second result solves an open problem posed by Bannister et al (2015).


title: Disp R-CNN: Stereo 3D Object Detection via Shape Prior Guided Instance Disparity Estimation

abstract: In this paper, we propose a novel system named Disp R-CNN for 3D object detection from stereo images. Many recent works solve this problem by first recovering a point cloud with disparity estimation and then apply a 3D detector. The disparity map is computed for the entire image, which is costly and fails to leverage category-specific prior. In contrast, we design an instance disparity estimation network (iDispNet) that predicts disparity only for pixels on objects of interest and learns a category-specific shape prior for more accurate disparity estimation. To address the challenge from scarcity of disparity annotation in training, we propose to use a statistical shape model to generate dense disparity pseudo-ground-truth without the need of LiDAR point clouds, which makes our system more widely applicable. Experiments on the KITTI dataset show that, even when LiDAR ground-truth is not available at training time, Disp R-CNN achieves competitive performance and outperforms previous state-of-the-art methods by 20% in terms of average precision.


title: Neural Analogical Matching

abstract: Analogy is core to human cognition. It allows us to solve problems based on prior experience, it governs the way we conceptualize new information, and it even influences our visual perception. The importance of analogy to humans has made it an active area of research in the broader field of artificial intelligence, resulting in data-efficient models that learn and reason in human-like ways. While cognitive perspectives of analogy and deep learning have generally been studied independently of one another, the integration of the two lines of research is a promising step towards more robust and efficient learning techniques. As part of a growing body of research on such an integration, we introduce the Analogical Matching Network: a neural architecture that learns to produce analogies between structured, symbolic representations that are largely consistent with the principles of Structure-Mapping Theory.


title: The integrated angular bispectrum

abstract: We study the position-dependent power spectrum and the integrated bispectrum statistic for 2D cosmological fields on the sphere (integrated angular bispectrum). First, we derive a useful, $m$-independent, formula for the full-sky integrated angular bispectrum, based on the construction of azimuthally symmetric patches. We then implement a pipeline for integrated angular bispectrum estimation, including a mean-field correction to account for spurious isotropy-breaking effects in realistic conditions (e.g., inhomogenous noise, sky masking). Finally, we show examples of applications of this estimator to CMB analysis, both using simulations and actual Planck data. Such examples include $f_\mathrm{NL}$ estimation, analyses of non-Gaussianity from secondary anisotropies (ISW-lensing and ISW-tSZ-tSZ bispectra) and studies of non-Gaussian signatures from foreground contamination.