title: Local Projections vs. VARs: Lessons From Thousands of DGPs

abstract: We conduct a simulation study of Local Projection (LP) and Vector Autoregression (VAR) estimators of structural impulse responses across thousands of data generating processes, designed to mimic the properties of the universe of U.S. macroeconomic data. Our analysis considers various identification schemes and several variants of LP and VAR estimators, employing bias correction, shrinkage, or model averaging. A clear bias-variance trade-off emerges: LP estimators have lower bias than VAR estimators, but they also have substantially higher variance at intermediate and long horizons. Bias-corrected LP is the preferred method if and only if the researcher overwhelmingly prioritizes bias. For researchers who also care about precision, VAR methods are the most attractive -- Bayesian VARs at short and long horizons, and least-squares VARs at intermediate and long horizons.


title: Generalized-Hydrodynamic approach to Inhomogeneous Quenches: Correlations, Entanglement and Quantum Effects

abstract: We give a pedagogical introduction to the Generalized Hydrodynamic approach to inhomogeneous quenches in integrable many-body quantum systems. We review recent applications of the theory, focusing in particular on two classes of problems: bipartitioning protocols and trap quenches, which represent two prototypical examples of broken translational symmetry in either the system initial state or post-quench Hamiltonian. We report on exact results that have been obtained for generic time-dependent correlation functions and entanglement evolution, and discuss in detail the range of applicability of the theory. Finally, we present some open questions and suggest perspectives on possible future directions.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: Renormalization footprints in the phase diagram of the Grosse-Wulkenhaar model

abstract: We construct and analyze the phase diagram of a self-interacting matrix field in two dimensions coupled to the curvature of the non-commutative truncated Heisenberg space. In the infinite size limit, the model reduces to the renormalizable Grosse-Wulkenhaar's. The curvature term proves crucial for the diagram's structure: when turned off, the triple point collapses into the origin as matrices grow larger; when turned on, the triple point recedes from the origin proportionally to the coupling strength and the matrix size. The coupling attenuation that turns the Grosse-Wulkenhaar model into a renormalizable version of the $\phi^4_\star$-model cannot stop the triple point recession. As a result, the stripe phase escapes to infinity, removing the problems with UV/IR mixing.


title: Phase-field approximation of functionals defined on piecewise-rigid maps

abstract: We provide a variational approximation of Ambrosio-Tortorelli type for brittle fracture energies of piecewise-rigid solids. Our result covers both the case of geometrically nonlinear elasticity and that of linearised elasticity.


title: Theory of Coulomb blockaded transport in realistic Majorana nanowires

abstract: Coulomb blockaded transport of topological superconducting nanowires provides an opportunity to probe the localization of states at both ends of the system in a two-terminal geometry. In addition, it provides a way for checking for subgap states away from the leads. At the same time, Coulomb blockade transport is difficult to analyze because of the interacting nature of the problem arising from the nonperturbative Coulomb interaction inherent in the phenomenon. Here we show that the Coulomb blockade transport can be modeled at the same level of complexity as quantum point contact tunneling that has routinely been used in mesoscopic physics to understand nanowire experiments provided we consider the regime where the tunneling rate is below the equilibration rate of the nanowire. This assumption leads us to a generalized Meir-Wingreen formula for the tunnel conductance which we use to study various features of the nanowire such as Andreev bound states, self-energy, and soft gap. We anticipate that our theory will provide a route to interpret Coulomb blockade transport in hybrid Majorana systems as resulting from features of the nanowire, such as Andreev bound states and soft gaps.


title: Recognizing and Splitting Conditional Sentences for Automation of Business Processes Management

abstract: Business Process Management (BPM) is the discipline which is responsible for management of discovering, analyzing, redesigning, monitoring, and controlling business processes. One of the most crucial tasks of BPM is discovering and modelling business processes from text documents. In this paper, we present our system that resolves an end-to-end problem consisting of 1) recognizing conditional sentences from technical documents, 2) finding boundaries to extract conditional and resultant clauses from each conditional sentence, and 3) categorizing resultant clause as Action or Consequence which later helps to generate new steps in our business process model automatically. We created a new dataset and three models solve this problem. Our best model achieved very promising results of 83.82, 87.84, and 85.75 for Precision, Recall, and F1, respectively, for extracting Condition, Action, and Consequence clauses using Exact Match metric.


title: Upper-tail large deviation principle for the ASEP

abstract: We consider the asymmetric simple exclusion process (ASEP) on $\mathbb{Z}$ started from step initial data and obtain the exact Lyapunov exponents for $H_0(t)$, the integrated current of ASEP. As a corollary, we derive an explicit formula for the upper-tail large deviation rate function for $-H_0(t)$. Our result matches with the rate function for the integrated current of the totally asymmetric simple exclusion process (TASEP) obtained in [Johansson 00](arXiv:math/9903134).


title: Internal rotation of Milky Way dwarf spheroidal satellites with $Gaia$ Early Data Release 3

abstract: We present an analysis of the kinematics of 14 satellites of the Milky Way (MW). We use proper motions (PMs) from the $Gaia$ Early Data Release 3 (EDR3) and line-of-sight velocities ($v_{\mathrm{los}}$) available in the literature to derive the systemic 3D motion of these systems. For six of them, namely the Carina, Draco, Fornax, Sculptor, Sextans, and Ursa Minor dwarf spheroidal galaxies (dSph), we study the internal kinematics projecting the stellar PMs into radial, $V_R$ (expansion/contraction), and tangential, $V_T$ (rotation), velocity components with respect to the centre of mass. We find significant rotation in the Carina ($|V_T| = 9.6 \pm 4.5 \ {\rm{km \ s^{-1}}}\>$), Fornax ($|V_T| = 2.8 \pm 1.3 \ {\rm{km \ s^{-1}}}\>$), and Sculptor ($|V_T| = 3.0 \pm 1.0 \ {\rm{km \ s^{-1}}}\>$) dSphs. Besides the Sagittarius dSph, these are the first measurements of internal rotation in the plane of the sky in the MW's classical dSphs. All galaxies except Carina show $|V_T| / \sigma_v < 1$. We find that slower rotators tend to show, on average, larger sky-projected ellipticity (as expected for a sample with random viewing angles) and are located at smaller Galactocentric distances (as expected for tidal stirring scenarios in which rotation is transformed into random motions as satellites sink into the parent halo). However, these trends are small and not statistically significant, indicating that rotation has not played a dominant role in shaping the 3D structure of these galaxies. Either tidal stirring had a weak impact on the evolution of these systems or it perturbed them with similar efficiency regardless of their current Galactocentric distance.


title: Active individual nanoresonators optimized for lasing and spasing operation

abstract: Plasmonic nanoresonators consisting of a gold nanorod and a spherical silica-core and gold-shell, both coated by a gain layer, were optimized to maximize the near-field enhancement (NF-type) and far-field outcoupling (FF-type), and to enter into the spasing operation region (NF-c*-type). It was shown that in case of moderate concentration the nanorod has more advantages: smaller lasing threshold, larger slope efficiency and achieved intensities in the near-field, in addition in FF-type system smaller gain and outflow threshold, earlier flipping and larger far-field out-coupling efficiency. However, the near-field (far-field) bandwidth is smaller in for NF-type (FF-type) core-shell nanoresonators. In case of larger concentration although the slope efficiency and near-field intensity remain larger and the far-field redistribution is more efficient in case of the nanorod, the core-shell nanoresonator is more advantageous, taking into account the smaller lasing, outflow, absorption and extinction cross-section thresholds, as well as the larger internal and external quantum efficiencies. In addition to this the bandwidth of core-shell nanoresonator is also smaller. It was also shown that the strong-coupling of time-competing plasmonic modes accompanies the transition from lasing to spasing.


title: Sampling and Filtering of Neural Machine Translation Distillation Data

abstract: In most of neural machine translation distillation or stealing scenarios, the goal is to preserve the performance of the target model (teacher). The highest-scoring hypothesis of the teacher model is commonly used to train a new model (student). If reference translations are also available, then better hypotheses (with respect to the references) can be upsampled and poor hypotheses either removed or undersampled. This paper explores the importance sampling method landscape (pruning, hypothesis upsampling and undersampling, deduplication and their combination) with English to Czech and English to German MT models using standard MT evaluation metrics. We show that careful upsampling and combination with the original data leads to better performance when compared to training only on the original or synthesized data or their direct combination.


title: Covering a graph with independent walks

abstract: Let $P$ be an irreducible and reversible transition matrix on a finite state space $V$ with invariant distribution $\pi$. We let $k$ chains start by choosing independent locations distributed according to $\pi$ and then they evolve independently according to $P$. Let $\tau_{\mathrm{cov}}(k)$ be the first time that every vertex of $V$ has been visited at least once by at least one chain and let $t_{\rm{cov}}(k)=\mathbb{E}[\tau_{\mathrm{cov}}(k)]$ with $t_{\rm{cov}}=t_{\rm{cov}}(1)$. We prove that $t_{\rm{cov}}(k)\lesssim t_{\rm{cov}}/k$. When $k\leq t_{\mathrm{cov}}/t_{\rm{rel}}$, where $t_{\rm{rel}}$ is the inverse of the spectral gap, we show that this bound is sharp. For $k\leq t_{\mathrm{cov}}/t_{\rm{mix}}$ with $t_{\rm{mix}}$ the total variation mixing time of $(P+I)/2$ we prove that $k \cdot \max_{x_1,\ldots,x_k}\mathbb{E}_{x_1,\ldots,x_k}[\tau_{\rm{cov}}(k)] \asymp t_{\rm{cov}}$.


title: A note on deriving unbounded functors of exact categories, with applications to Ind- and Pro- functors

abstract: In this short note we show that under very mild conditions on a functor between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible to derive $F$ at the level of unbounded complexes. We also give applications to deriving functors between $Pro$- and $Ind$- categories.


title: Spin-polarized voltage probes for helical edge state: a model study

abstract: Theoretical models of a spin-polarized voltage probe (SPVP) tunnel-coupled to the helical edge states (HES) of a quantum spin Hall system (QSHS) are studied. Our first model of the SPVP comprises $N_{P}$ spin-polarized modes (subprobes), each of which is locally tunnel-coupled to the HES, while the SPVP, as a whole, is subjected to a self-consistency condition ensuring zero average current on the probe. We carry out a numerical analysis which shows that the optimal situation for reading off spin-resolved voltage from the HES depends on the interplay of the probe-edge tunnel-coupling and the number of modes in the probe ($N_P$). We further investigate the stability of our findings by introducing Gaussian fluctuations in {\it{(i)}} the tunnel-coupling between the subprobes and the HES about a chosen average value and {\it{(ii)}} spin-polarization of the subprobes about a chosen direction of the net polarization of SPVP. We also perform a numerical analysis corresponding to the situation where four such SPVPs are implemented in a self-consistent fashion across a ferromagnetic barrier on the HES and demonstrate that this model facilitates the measurements of spin-resolved four-probe voltage drops across the ferromagnetic barrier. As a second model, we employ the edge state of a quantum anomalous Hall state (QAHS) as the SPVP which is tunnel-coupled over an extended region with the HES. A two-dimensional lattice simulation for the quantum transport of the proposed device setup comprising a junction of QSHS and QAHS is considered and a feasibility study of using the edge of the QAHS as an efficient spin-polarized voltage probe is carried out in presence of an optimal strength of the disorder.


title: A new spin on optimal portfolios and ecological equilibria

abstract: We consider the classical problem of optimal portfolio construction with the constraint that no short position is allowed, or equivalently the valid equilibria of multispecies Lotka-Volterra equations with self-regulation in the special case where the interaction matrix is of unit rank, corresponding to species competing for a common resource. We compute the average number of solutions and show that its logarithm grows as $N^\alpha$, where $N$ is the number of assets or species and $\alpha \leq 2/3$ depends on the interaction matrix distribution. We conjecture that the most likely number of solutions is much smaller and related to the typical sparsity $m(N)$ of the solutions, which we compute explicitly. We also find that the solution landscape is similar to that of spin-glasses, i.e. very different configurations are quasi-degenerate. Correspondingly, "disorder chaos" is also present in our problem. We discuss the consequence of such a property for portfolio construction and ecologies, and question the meaning of rational decisions when there is a very large number "satisficing" solutions.

categories: cond-mat.stat-mech cond-mat.dis-nn q-bio.PE q-fin.PM


title: Deep Multi-Resolution Dictionary Learning for Histopathology Image Analysis

abstract: The problem of recognizing various types of tissues present in multi-gigapixel histology images is an important fundamental pre-requisite for downstream analysis of the tumor microenvironment in a bottom-up analysis paradigm for computational pathology. In this paper, we propose a deep dictionary learning approach to solve the problem of tissue phenotyping in histology images. We propose deep Multi-Resolution Dictionary Learning (deepMRDL) in order to benefit from deep texture descriptors at multiple different spatial resolutions. We show the efficacy of the proposed approach through extensive experiments on four benchmark histology image datasets from different organs (colorectal cancer, breast cancer and breast lymphnodes) and tasks (namely, cancer grading, tissue phenotyping, tumor detection and tissue type classification). We also show that the proposed framework can employ most off-the-shelf CNNs models to generate effective deep texture descriptors.


title: Unconstrained Scene Generation with Locally Conditioned Radiance Fields

abstract: We tackle the challenge of learning a distribution over complex, realistic, indoor scenes. In this paper, we introduce Generative Scene Networks (GSN), which learns to decompose scenes into a collection of many local radiance fields that can be rendered from a free moving camera. Our model can be used as a prior to generate new scenes, or to complete a scene given only sparse 2D observations. Recent work has shown that generative models of radiance fields can capture properties such as multi-view consistency and view-dependent lighting. However, these models are specialized for constrained viewing of single objects, such as cars or faces. Due to the size and complexity of realistic indoor environments, existing models lack the representational capacity to adequately capture them. Our decomposition scheme scales to larger and more complex scenes while preserving details and diversity, and the learned prior enables high-quality rendering from viewpoints that are significantly different from observed viewpoints. When compared to existing models, GSN produces quantitatively higher-quality scene renderings across several different scene datasets.


title: TRS: Transferability Reduced Ensemble via Encouraging Gradient Diversity and Model Smoothness

abstract: Adversarial Transferability is an intriguing property - adversarial perturbation crafted against one model is also effective against another model, while these models are from different model families or training processes. To better protect ML systems against adversarial attacks, several questions are raised: what are the sufficient conditions for adversarial transferability and how to bound it? Is there a way to reduce the adversarial transferability in order to improve the robustness of an ensemble ML model? To answer these questions, in this work we first theoretically analyze and outline sufficient conditions for adversarial transferability between models; then propose a practical algorithm to reduce the transferability between base models within an ensemble to improve its robustness. Our theoretical analysis shows that only promoting the orthogonality between gradients of base models is not enough to ensure low transferability; in the meantime, the model smoothness is an important factor to control the transferability. We also provide the lower and upper bounds of adversarial transferability under certain conditions. Inspired by our theoretical analysis, we propose an effective Transferability Reduced Smooth(TRS) ensemble training strategy to train a robust ensemble with low transferability by enforcing both gradient orthogonality and model smoothness between base models. We conduct extensive experiments on TRS and compare with 6 state-of-the-art ensemble baselines against 8 whitebox attacks on different datasets, demonstrating that the proposed TRS outperforms all baselines significantly.


title: Globular Cluster Systems of Massive Compact Elliptical Galaxies in the Local Universe: Evidence for Relic Red Nuggets?

abstract: Nearby massive compact elliptical galaxies (MCEGs) are strong candidates for relic galaxies (i.e. local analogs of red nuggets at high redshifts). It is expected that the globular cluster (GC) systems of relic galaxies are dominated by red (metal-rich) GCs. NGC 1277 is known as a unique example of such a galaxy in the previous study. In this study, we search for GCs in 12 nearby MCEGs at distances of $\lesssim 100$ Mpc from the Hubble Space Telescope/Wide Field Camera 3 F814W($I_{814}$)/F160W($H_{160}$) archival images. We find that most of these MCEGs host a rich population of GCs with a color range of $0.0<(I_{814}-H_{160})_0<1.1$. The fractions of their red GCs range from $f_{RGC} =0.2$ to 0.7 with a mean of $f_{RGC} =0.48\pm0.14$. We divide the MCEG sample into two groups: one in clusters and the other in groups/fields. The mean red GC fraction of the cluster MCEGs is $0.60\pm0.06$, which is 0.2 larger than the value of the group/field MCEGs, $0.40\pm0.10$. The value for the cluster MCEGs is $\sim$0.3 larger than the mean value of giant early-type galaxies with similar stellar mass in the Virgo cluster ($f_{RGC} =0.33\pm0.13$). Our results show that most of the MCEGs in our sample are indeed relic galaxies. This further implies that a majority of the red GCs in MCEGs are formed early in massive galaxies and that most MCEGs in the local universe have rarely undergone mergers after they became red nuggets about 10 Gyr ago.


title: Cross-validation: what does it estimate and how well does it do it?

abstract: Cross-validation is a widely-used technique to estimate prediction error, but its behavior is complex and not fully understood. Ideally, one would like to think that cross-validation estimates the prediction error for the model at hand, fit to the training data. We prove that this is not the case for the linear model fit by ordinary least squares; rather it estimates the average prediction error of models fit on other unseen training sets drawn from the same population. We further show that this phenomenon occurs for most popular estimates of prediction error, including data splitting, bootstrapping, and Mallow's Cp. Next, the standard confidence intervals for prediction error derived from cross-validation may have coverage far below the desired level. Because each data point is used for both training and testing, there are correlations among the measured accuracies for each fold, and so the usual estimate of variance is too small. We introduce a nested cross-validation scheme to estimate this variance more accurately, and we show empirically that this modification leads to intervals with approximately correct coverage in many examples where traditional cross-validation intervals fail.


title: PhySG: Inverse Rendering with Spherical Gaussians for Physics-based Material Editing and Relighting

abstract: We present PhySG, an end-to-end inverse rendering pipeline that includes a fully differentiable renderer and can reconstruct geometry, materials, and illumination from scratch from a set of RGB input images. Our framework represents specular BRDFs and environmental illumination using mixtures of spherical Gaussians, and represents geometry as a signed distance function parameterized as a Multi-Layer Perceptron. The use of spherical Gaussians allows us to efficiently solve for approximate light transport, and our method works on scenes with challenging non-Lambertian reflectance captured under natural, static illumination. We demonstrate, with both synthetic and real data, that our reconstructions not only enable rendering of novel viewpoints, but also physics-based appearance editing of materials and illumination.


title: In&Out : Diverse Image Outpainting via GAN Inversion

abstract: Image outpainting seeks for a semantically consistent extension of the input image beyond its available content. Compared to inpainting -- filling in missing pixels in a way coherent with the neighboring pixels -- outpainting can be achieved in more diverse ways since the problem is less constrained by the surrounding pixels. Existing image outpainting methods pose the problem as a conditional image-to-image translation task, often generating repetitive structures and textures by replicating the content available in the input image. In this work, we formulate the problem from the perspective of inverting generative adversarial networks. Our generator renders micro-patches conditioned on their joint latent code as well as their individual positions in the image. To outpaint an image, we seek for multiple latent codes not only recovering available patches but also synthesizing diverse outpainting by patch-based generation. This leads to richer structure and content in the outpainted regions. Furthermore, our formulation allows for outpainting conditioned on the categorical input, thereby enabling flexible user controls. Extensive experimental results demonstrate the proposed method performs favorably against existing in- and outpainting methods, featuring higher visual quality and diversity.


title: Is Label Smoothing Truly Incompatible with Knowledge Distillation: An Empirical Study

abstract: This work aims to empirically clarify a recently discovered perspective that label smoothing is incompatible with knowledge distillation. We begin by introducing the motivation behind on how this incompatibility is raised, i.e., label smoothing erases relative information between teacher logits. We provide a novel connection on how label smoothing affects distributions of semantically similar and dissimilar classes. Then we propose a metric to quantitatively measure the degree of erased information in sample's representation. After that, we study its one-sidedness and imperfection of the incompatibility view through massive analyses, visualizations and comprehensive experiments on Image Classification, Binary Networks, and Neural Machine Translation. Finally, we broadly discuss several circumstances wherein label smoothing will indeed lose its effectiveness. Project page: http://zhiqiangshen.com/projects/LS_and_KD/index.html.


title: Putting NeRF on a Diet: Semantically Consistent Few-Shot View Synthesis

abstract: We present DietNeRF, a 3D neural scene representation estimated from a few images. Neural Radiance Fields (NeRF) learn a continuous volumetric representation of a scene through multi-view consistency, and can be rendered from novel viewpoints by ray casting. While NeRF has an impressive ability to reconstruct geometry and fine details given many images, up to 100 for challenging 360{\deg} scenes, it often finds a degenerate solution to its image reconstruction objective when only a few input views are available. To improve few-shot quality, we propose DietNeRF. We introduce an auxiliary semantic consistency loss that encourages realistic renderings at novel poses. DietNeRF is trained on individual scenes to (1) correctly render given input views from the same pose, and (2) match high-level semantic attributes across different, random poses. Our semantic loss allows us to supervise DietNeRF from arbitrary poses. We extract these semantics using a pre-trained visual encoder such as CLIP, a Vision Transformer trained on hundreds of millions of diverse single-view, 2D photographs mined from the web with natural language supervision. In experiments, DietNeRF improves the perceptual quality of few-shot view synthesis when learned from scratch, can render novel views with as few as one observed image when pre-trained on a multi-view dataset, and produces plausible completions of completely unobserved regions.


title: Group-Free 3D Object Detection via Transformers

abstract: Recently, directly detecting 3D objects from 3D point clouds has received increasing attention. To extract object representation from an irregular point cloud, existing methods usually take a point grouping step to assign the points to an object candidate so that a PointNet-like network could be used to derive object features from the grouped points. However, the inaccurate point assignments caused by the hand-crafted grouping scheme decrease the performance of 3D object detection. In this paper, we present a simple yet effective method for directly detecting 3D objects from the 3D point cloud. Instead of grouping local points to each object candidate, our method computes the feature of an object from all the points in the point cloud with the help of an attention mechanism in the Transformers \cite{vaswani2017attention}, where the contribution of each point is automatically learned in the network training. With an improved attention stacking scheme, our method fuses object features in different stages and generates more accurate object detection results. With few bells and whistles, the proposed method achieves state-of-the-art 3D object detection performance on two widely used benchmarks, ScanNet V2 and SUN RGB-D. The code and models are publicly available at \url{https://github.com/zeliu98/Group-Free-3D}


title: A Realistic Evaluation of Semi-Supervised Learning for Fine-Grained Classification

abstract: We evaluate the effectiveness of semi-supervised learning (SSL) on a realistic benchmark where data exhibits considerable class imbalance and contains images from novel classes. Our benchmark consists of two fine-grained classification datasets obtained by sampling classes from the Aves and Fungi taxonomy. We find that recently proposed SSL methods provide significant benefits, and can effectively use out-of-class data to improve performance when deep networks are trained from scratch. Yet their performance pales in comparison to a transfer learning baseline, an alternative approach for learning from a few examples. Furthermore, in the transfer setting, while existing SSL methods provide improvements, the presence of out-of-class is often detrimental. In this setting, standard fine-tuning followed by distillation-based self-training is the most robust. Our work suggests that semi-supervised learning with experts on realistic datasets may require different strategies than those currently prevalent in the literature.


title: LoFTR: Detector-Free Local Feature Matching with Transformers

abstract: We present a novel method for local image feature matching. Instead of performing image feature detection, description, and matching sequentially, we propose to first establish pixel-wise dense matches at a coarse level and later refine the good matches at a fine level. In contrast to dense methods that use a cost volume to search correspondences, we use self and cross attention layers in Transformer to obtain feature descriptors that are conditioned on both images. The global receptive field provided by Transformer enables our method to produce dense matches in low-texture areas, where feature detectors usually struggle to produce repeatable interest points. The experiments on indoor and outdoor datasets show that LoFTR outperforms state-of-the-art methods by a large margin. LoFTR also ranks first on two public benchmarks of visual localization among the published methods.


title: NeuralRecon: Real-Time Coherent 3D Reconstruction from Monocular Video

abstract: We present a novel framework named NeuralRecon for real-time 3D scene reconstruction from a monocular video. Unlike previous methods that estimate single-view depth maps separately on each key-frame and fuse them later, we propose to directly reconstruct local surfaces represented as sparse TSDF volumes for each video fragment sequentially by a neural network. A learning-based TSDF fusion module based on gated recurrent units is used to guide the network to fuse features from previous fragments. This design allows the network to capture local smoothness prior and global shape prior of 3D surfaces when sequentially reconstructing the surfaces, resulting in accurate, coherent, and real-time surface reconstruction. The experiments on ScanNet and 7-Scenes datasets show that our system outperforms state-of-the-art methods in terms of both accuracy and speed. To the best of our knowledge, this is the first learning-based system that is able to reconstruct dense coherent 3D geometry in real-time.


title: Multiview Pseudo-Labeling for Semi-supervised Learning from Video

abstract: We present a multiview pseudo-labeling approach to video learning, a novel framework that uses complementary views in the form of appearance and motion information for semi-supervised learning in video. The complementary views help obtain more reliable pseudo-labels on unlabeled video, to learn stronger video representations than from purely supervised data. Though our method capitalizes on multiple views, it nonetheless trains a model that is shared across appearance and motion input and thus, by design, incurs no additional computation overhead at inference time. On multiple video recognition datasets, our method substantially outperforms its supervised counterpart, and compares favorably to previous work on standard benchmarks in self-supervised video representation learning.


title: SimPoE: Simulated Character Control for 3D Human Pose Estimation

abstract: Accurate estimation of 3D human motion from monocular video requires modeling both kinematics (body motion without physical forces) and dynamics (motion with physical forces). To demonstrate this, we present SimPoE, a Simulation-based approach for 3D human Pose Estimation, which integrates image-based kinematic inference and physics-based dynamics modeling. SimPoE learns a policy that takes as input the current-frame pose estimate and the next image frame to control a physically-simulated character to output the next-frame pose estimate. The policy contains a learnable kinematic pose refinement unit that uses 2D keypoints to iteratively refine its kinematic pose estimate of the next frame. Based on this refined kinematic pose, the policy learns to compute dynamics-based control (e.g., joint torques) of the character to advance the current-frame pose estimate to the pose estimate of the next frame. This design couples the kinematic pose refinement unit with the dynamics-based control generation unit, which are learned jointly with reinforcement learning to achieve accurate and physically-plausible pose estimation. Furthermore, we propose a meta-control mechanism that dynamically adjusts the character's dynamics parameters based on the character state to attain more accurate pose estimates. Experiments on large-scale motion datasets demonstrate that our approach establishes the new state of the art in pose accuracy while ensuring physical plausibility.


title: Defining the lead time of wastewater-based epidemiology for COVID-19

abstract: Individuals infected with SARS-CoV-2, the virus that causes COVID-19, may shed the virus in stool before developing symptoms, suggesting that measurements of SARS-CoV-2 concentrations in wastewater could be a "leading indicator" of COVID-19 prevalence. Multiple studies have corroborated the leading indicator concept by showing that the correlation between wastewater measurements and COVID-19 case counts is maximized when case counts are lagged. However, the meaning of "leading indicator" will depend on the specific application of wastewater-based epidemiology, and the correlation analysis is not relevant for all applications. In fact, the quantification of a leading indicator will depend on epidemiological, biological, and health systems factors. Thus, there is no single "lead time" for wastewater-based COVID-19 monitoring. To illustrate this complexity, we enumerate three different applications of wastewater-based epidemiology for COVID-19: a qualitative "early warning" system; an independent, quantitative estimate of disease prevalence; and a quantitative alert of bursts of disease incidence. The leading indicator concept has different definitions and utility in each application.


title: Magnetic monopole in a chiral plasma: chiral dyon

abstract: The placement of a magnetic monopole into an electrically-neutral chiral plasma with a non-zero axial density results in an electric polarization of the matter. The electric current produced by the chiral magnetic effect is balanced by charge diffusion and Ohmic dissipation, which generates a non-trivial charge distribution. In turn, the latter induces a separation of chiralities along the magnetic field of the monopole due to the chiral separation effect. We find the stationary states of such a system, with vanishing total electric current and stationary axial current balanced by the chiral anomaly. In this solution, the monopole becomes "dressed" with an electric charge that is proportional to the averaged chiral density of the matter -- forming a chiral dyon. The interplay between the chiral effects on the one hand, and presence of magnetic field of the monopole on the other, may affect the evolution of the monopole density in the early Universe, contribute to the process of baryogenesis, and can also be instrumental for detection of relic monopoles using chiral materials.


title: Close stellar encounters at the Galactic Centre I: The effect on the observed stellar populations

abstract: We model the effects of collisions and close encounters on the stellar populations observed in the Milky Way nuclear stellar cluster (NSC). Our analysis is based on $N$-body simulations in which the NSC forms by accretion of massive stellar clusters around a supermassive black hole. We attach stellar populations to our $N$-body particles and follow the evolution of their stars, and the rate of collisions and close encounters. The most common encounters are collisions between pairs of main-sequence stars, which lead to mergers: destructive collisions between main-sequence stars and compact objects are rare. We find that the effects of collisions on the stellar populations are small for three reasons. First, our models possess a core which limits the maximum stellar density. Secondly, the velocity dispersion in the NSC is similar to the surface escape velocities of the stars, which minimises the collision rate. Finally, whilst collisions between main-sequence stars destroy bright giants by accelerating their evolution, they also create them by accelerating the evolution of lower-mass stars. These two effects approximately cancel out. We also investigate whether the G2 cloud could be a fuzzball: a compact stellar core which has accreted a tenuous envelope in a close encounter with a red giant. We conclude that fuzzballs with cores below $2\,M_\odot$ have thermal times-scales too short to reproduce G2. A fuzzball with a black-hole core could reproduce the surface properties of G2 but the production rate of such objects in our model is low.


title: Classically-Verifiable Quantum Advantage from a Computational Bell Test

abstract: We propose and analyze a novel interactive protocol for demonstrating quantum computational advantage, which is efficiently classically verifiable. Our protocol relies upon the cryptographic hardness of trapdoor claw-free functions (TCFs). Through a surprising connection to Bell's inequality, our protocol avoids the need for an adaptive hardcore bit, with essentially no increase in the quantum circuit complexity and no extra cryptographic assumptions. Crucially, this expands the set of compatible TCFs, and we propose two new constructions: one based upon the decisional Diffie-Hellman problem and the other based upon Rabin's function, $x^2 \bmod N$. We also describe two independent innovations which improve the efficiency of our protocol's implementation: (i) a scheme to discard so-called "garbage bits", thereby removing the need for reversibility in the quantum circuits, and (ii) a natural way of performing post-selection which significantly reduces the fidelity needed to demonstrate quantum advantage. These two constructions may also be of independent interest, as they may be applicable to other TCF-based quantum cryptography such as certifiable random number generation. Finally, we design several efficient circuits for $x^2 \bmod N$ and describe a blueprint for their implementation on a Rydberg-atom-based quantum computer.


title: The Magnetic Field Across the Molecular Warped Disk of Centaurus A

abstract: Magnetic fields are amplified as a consequence of galaxy formation and turbulence-driven dynamos. Galaxy mergers can potentially amplify the magnetic fields from their progenitors, making the magnetic fields dynamically important. However, the effect of mergers on magnetic fields is still poorly understood. We use thermal polarized emission observations to trace the magnetic fields in the molecular disk of the nearest radio active galaxy, Centaurus A, which is thought to be the remnant of a merger. Here, we detect that the magnetic field orientations in the plane of the sky are tightly following the $\sim3.0$ kpc-scale molecular warped disk. Our simple regular large-scale axisymmetric spiral magnetic field model can explain, to some extent, the averaged magnetic field orientations across the disk projected on the sky. Our observations also suggest the presence of small-scale turbulent fields, whose relative strength increases with velocity dispersion and column density. These results have strong implications for understanding the generation and role of magnetic fields in the formation of galaxies across cosmic time.


title: Rabi Regime of Current Rectification in Solids

abstract: We investigate rectified currents in response to oscillating electric fields in systems lacking inversion and time-reversal symmetries. These currents, in second-order perturbation theory, are inversely proportional to the relaxation rate, and, therefore, naively diverge in the ideal clean limit. Employing a combination of the non-equilibrium Green function technique and Floquet theory, we show that this is an artifact of perturbation theory, and that there is a well-defined periodic steady-state akin to Rabi oscillations leading to finite rectified currents in the limit of weak coupling to a thermal bath. In this Rabi regime the rectified current scales as the square root of the radiation intensity, in contrast with the linear scaling of the perturbative regime, allowing to readily diagnose it in experiments. More generally, our description provides a smooth interpolation from the ideal Periodic Gibbs Ensemble describing the Rabi oscillations of a closed system to the perturbative regime of rapid relaxation due to strong coupling to a thermal bath.


title: Dirac Quantum Wells at Domain Walls in Antiferromagnetic Topological Insulators

abstract: We explore the emergence of spin-polarised flat-bands at head-to-head domain walls in a recently predicted class of antiferromagnetic topological insulators hosting planar magnetisation. We show, in the framework of quantum well physics, that by tuning the width of a domain wall one can control the functional form of the bound states appearing across it. Furthermore, we demonstrate the effect that the parity of the number of layers in a multilayer sample has on the electronic dispersion. In particular, the alignment of the magnetisation vectors on the terminating surfaces of odd layer samples affords particle-hole symmetry leading to the presence of linearly dispersing topologically non-trivial states around $E = 0$. By contrast, the lack of particle-hole symmetry in even layer samples results in a gapped system, with spin-polarised flat-bands appearing either side of a band gap, with characteristic energy well within terahertz energy scales. In addition to being a versatile platform for the development of spintronic devices, when many-body interactions are accounted for we predict that these flat-bands will host strong correlations capable of driving the system into novel topological phases.


title: Skye: A Differentiable Equation of State

abstract: Stellar evolution and numerical hydrodynamics simulations depend critically on access to fast, accurate, thermodynamically consistent equations of state. We present Skye, a new equation of state for fully-ionized matter. Skye includes the effects of positrons, relativity, electron degeneracy, Coulomb interactions, non-linear mixing effects, and quantum corrections. Skye determines the point of Coulomb crystallization in a self-consistent manner, accounting for mixing and composition effects automatically. A defining feature of this equation of state is that it uses analytic free energy terms and provides thermodynamic quantities using automatic differentiation machinery. Because of this, Skye is easily extended to include new effects by simply writing new terms in the free energy. We also introduce a novel thermodynamic extrapolation scheme for extending analytic fits to the free energy beyond the range of the fitting data while preserving desirable properties like positive entropy and sound speed. We demonstrate Skye in action in the MESA stellar evolution software instrument by computing white dwarf cooling curves.


title: Information Dynamics in a Model with Hilbert Space Fragmentation

abstract: The fully frustrated ladder - a quasi-1D geometrically frustrated spin one half Heisenberg model - is non-integrable with local conserved quantities on rungs of the ladder, inducing the fragmentation of the Hilbert space into sectors composed of singlets and triplets on rungs. We explore the far-from-equilibrium dynamics of this model through the entanglement entropy and out-of-time-ordered correlators (OTOC). The post-quench dynamics of the entanglement entropy is highly anomalous as it shows clear non-damped revivals that emerge from short connected chunks of triplets and whose persistence is therefore a consequence of fragmentation. We find that the maximum value of the entropy follows from a picture where coherences between different fragments co-exist with perfect thermalization within each fragment. This means that the eigenstate thermalization hypothesis holds within all sufficiently large Hilbert space fragments. The OTOC shows short distance oscillations arising from short coupled fragments, which become decoherent at longer distances, and a sub-ballistic spreading and long distance exponential decay stemming from an emergent length scale tied to fragmentation.


title: Entanglement renormalization of thermofield double states

abstract: Entanglement renormalization is a method for coarse-graining a quantum state in real space, with the multi-scale entanglement renormalization ansatz (MERA) as a notable example. We obtain an entanglement renormalization scheme for finite-temperature (Gibbs) states by applying MERA to their canonical purification, the thermofield double state. As an example, we find an analytically exact renormalization circuit for finite temperature two-dimensional toric code which maps it to a coarse-grained system with a renormalized higher temperature, thus explicitly demonstrating its lack of topological order. Furthermore, we apply this scheme to one-dimensional free boson models at a finite temperature and find that the thermofield double corresponding to the critical thermal state is described by a Lifshitz theory. We numerically demonstrate the relevance and irrelevance of various perturbations under real space renormalization.


title: Superconducting V$_3$Si for quantum circuit applications

abstract: V$_3$Si thin films are known to be superconducting with transition temperatures up to 15 K, depending on the annealing temperature and the properties of the substrate underneath. Here we investigate the film structural properties with the prospect of further integration in silicon technology for quantum circuits. Two challenges have been identified: (i) the large difference in thermal expansion rate between V$_3$Si and the Si substrate leads to large thermal strains after thermal processing, and (ii) the undesired silicide phase VSi$_2$ forms when V$_3$Si is deposited on silicon. The first of these is studied by depositing layers of 200 nm V$_3$Si on wafers of sapphire and oxidized silicon, neither of which react with the silicide. These samples are then heated and cooled between room temperature and 860{\deg}C, during which in-situ XRD measurements are performed. Analysis reveals a highly non-linear stress development during heating with contributions from crystallization and subsequent grain growth, as well as the thermal expansion mismatch between silicide and substrate, while the film behaves thermoelastically during cooling. The second challenge is explored by depositing films of 20, 50, 100 and 200 nm of V$_3$Si on bulk silicon. For each thickness, six samples are prepared, which are then annealed at temperatures between 500 and 750{\deg}C, followed by measurements of their resistivity, residual resistance ratio and superconducting critical temperature. A process window is identified for silicide thicknesses of at least 100 nm, within which a trade-off needs to be made between the quality of the V$_3$Si film and its consumption by the formation of VSi$_2$.


title: Towards high-rate RPC-based thermal neutron detectors using low-resistivity electrodes

abstract: We present experimental results on the counting rate measurements for several single-gap $^{10}$B lined resistive plate chambers ($^{10}$B-RPCs) with anodes made from standard float glass, low resistivity glass and ceramic. The measurements were performed at the V17 monochromatic neutron beamline (3.35 \.A) at the Helmholtz-Zentrum Berlin. For the $^{10}$B-RPCs with 0.28 mm thick float glass a maximum counting rate density of about $8\times 10^{3}$ $Hz/cm^{2}$ was obtained. In the case of low resistivity glass and ceramic, the counting rate density did not deviate from linear dependence on the neutron flux up to the maximum flux available at this beamline and exceeded a value of $3\times 10^{4}$ $Hz/cm^{2}$.


title: Strong gravitational lensing by rotating Simpson--Visser black holes

abstract: We investigate strong field gravitational lensing by rotating Simpson-Visser black hole, which has an additional parameter ($0\leq l/2M \leq1$), apart from mass ($M$) and rotation parameter ($a$). A rotating Simpson-Visser metric correspond to (i) a Schwarzschild metric for $l/2M=a/2M=0$ and $ M \neq 0 $, (ii) a Kerr metric for $l/2M=0$, $|a/2M|< 0.5$ and $ M \neq 0 $ (iii) a rotating regular black hole metric for $|a/2M|< 0.5$, $ M \neq 0 $ and $l/2M$ in the range $0<l/2M<0.5 + \sqrt{\left(0.5\right)^2-(a/2M)^2}$, and (iv) a traversable wormhole for a $|a/2M| >0.5$ and $l/2M\neq 0$. We find a decrease in the deflection angle $\alpha_D$ and also in the ratio of the flux of the first image and all other images $ r_{mag}$. On the other hand, angular position $\theta_{1}$ increases more slowly and photon sphere radius $x_{m}$ decreases more quickly, but angular separation $s$ increases more rapidly, and their behaviour is similar to that of the Kerr black hole. The formalism is applied to discuss the astrophysical consequences in the supermassive black holes and find that the rotating Simpson-Visser black holes can be distinguished from the Kerr black hole via gravitational lensing. The deviation of the lensing observables $\Delta\theta_1$ and $\Delta s$ of rotating Simpson Visser black holes from Kerr black hole for $0<l/2M <0.6$ ($a/2M=0.45$), for supermassive black holes Sgr A* and M87, respectively, are in the range $0.0422-0.11658~\mu$as and $0.031709-0.08758~\mu$as while $|\Delta r_{mag}|$ is in the range $0.2037 - 0.95668$. It is difficult to distinguish the two black holes because the departure are in $\mathcal{O}(\mu$as), which are unlikely to get resolved by the current EHT observations. We also derive a two-dimensional lens equation and formula for deflection angle in the strong field limit by focusing on trajectories close to the equatorial plane.


title: The Gamma Function via Interpolation

abstract: A new computational framework for evaluation of the gamma function $\Gamma(z)$ over the complex plane is developed. The algorithm is based on interpolation by rational functions, and generalizes the classical methods of Lanczos \cite{Lanczos} and Spouge \cite{Spouge} (which we show are also interpolatory). This framework utilizes the exact poles of the gamma function. By relaxing this condition and allowing the poles to vary, a near-optimal rational approximation is possible, which is demonstrated using the adaptive Antoulous Anderson (AAA) algorithm, developed in \cite{AAA,AAA_2020}. The resulting approximations are competitive with Stirling's formula in terms of overall efficiency.


title: Back to Square One: Superhuman Performance in Chutes and Ladders Through Deep Neural Networks and Tree Search

abstract: We present AlphaChute: a state-of-the-art algorithm that achieves superhuman performance in the ancient game of Chutes and Ladders. We prove that our algorithm converges to the Nash equilibrium in constant time, and therefore is -- to the best of our knowledge -- the first such formal solution to this game. Surprisingly, despite all this, our implementation of AlphaChute remains relatively straightforward due to domain-specific adaptations. We provide the source code for AlphaChute here in our Appendix.


title: Constraint-induced breaking and restoration of ergodicity in spin-1 PXP models

abstract: Eigenstate Thermalization Hypothesis(ETH) has played a pivotal role in understanding ergodicity and its breaking in isolated quantum many-body systems. Recent experiment on 51-atom Rydberg quantum simulator and subsequent theoretical analysis have shown that hardcore kinetic constraint can lead to weak ergodicity breaking. In this work, we demonstrate, using 1d spin-1 PXP chains, that miscellaneous type of ergodicity can be realized by adjusting the hardcore constraints between different components of nearest neighbor spins. This includes ETH violation due to emergent shattering of Hilbert space into exponentially many subsectors of various sizes, a novel form of non-integrability with an extensive number of local conserved quantities and strong ergodicity. We analyze these different forms of ergodicity and study their impact on the non-equilibrium dynamics of a Z2 initial state. We use forward scattering approximation (FSA) to understand the amount of Z2-oscillation present in these models. Our work shows that not only ergodicity breaking but an appropriate choice of constraints can lead to restoration of ergodicity as well.


title: Thick lenses systems

abstract: The optical matrix formalism is applied to find parameters such as focal distance, back and front focal points, principal planes, and the equation relating object and image distances for a thick spherical lens immerse in air. Then, the formalism is applied to systems compound of two, three and N thick lenses in cascade. It is found that a simple Gaussian equation is enough to relate object and image distances no matter the number of lenses.


title: On the Fast Spreading Scenario

abstract: We study two types of divergence-free fluid flows on unbounded domains in two and three dimensions -- hyperbolic and shear flows -- and their influence on chemotaxis and combustion. We show that fast spreading by these flows, when they are strong enough, can suppress growth of solutions to PDE modeling these phenomena. This includes prevention of singularity formation and global regularity of solutions to advective Patlak-Keller-Segel equations on ${\mathbb R}^2$ and ${\mathbb R}^3$, confirming numerical observations in [Khan, Johnson,Cartee and Yao, Global regularity of chemotaxis equations with advection, Involve, 9(1) 2016], as well as quenching in advection-reaction-diffusion equations.


title: NPMs: Neural Parametric Models for 3D Deformable Shapes

abstract: Parametric 3D models have enabled a wide variety of tasks in computer graphics and vision, such as modeling human bodies, faces, and hands. However, the construction of these parametric models is often tedious, as it requires heavy manual tweaking, and they struggle to represent additional complexity and details such as wrinkles or clothing. To this end, we propose Neural Parametric Models (NPMs), a novel, learned alternative to traditional, parametric 3D models, which does not require hand-crafted, object-specific constraints. In particular, we learn to disentangle 4D dynamics into latent-space representations of shape and pose, leveraging the flexibility of recent developments in learned implicit functions. Crucially, once learned, our neural parametric models of shape and pose enable optimization over the learned spaces to fit to new observations, similar to the fitting of a traditional parametric model, e.g., SMPL. This enables NPMs to achieve a significantly more accurate and detailed representation of observed deformable sequences. We show that NPMs improve notably over both parametric and non-parametric state of the art in reconstruction and tracking of monocular depth sequences of clothed humans and hands. Latent-space interpolation as well as shape/pose transfer experiments further demonstrate the usefulness of NPMs. Code is publicly available at https://pablopalafox.github.io/npms.


title: Generalized Boltzmann hierarchy for massive neutrinos in cosmology

abstract: Boltzmann solvers are an important tool for the computation of cosmological observables in the linear regime. In the presence of massive neutrinos, they involve solving the Boltzmann equation followed by an integration in momentum space to arrive at the desired fluid properties, a procedure which is known to be computationally slow. In this work we introduce the so-called generalized Boltzmann hierarchy (GBH) for massive neutrinos in cosmology, an alternative to the usual Boltzmann hierarchy, where the momentum dependence is integrated out leaving us with a two-parameter infinite set of ordinary differential equations. Along with the usual expansion in multipoles, there is now also an expansion in higher velocity weight integrals of the distribution function. Using a toy code, we show that the GBH produces the density contrast neutrino transfer function to a $\lesssim 0.5\%$ accuracy at both large and intermediate scales compared to the neutrino free-streaming scale, thus providing a proof-of-principle for the GBH. We comment on the implementation of the GBH in a state of the art Boltzmann solver.


title: Remote Sensing Image Classification with the SEN12MS Dataset

abstract: Image classification is one of the main drivers of the rapid developments in deep learning with convolutional neural networks for computer vision. So is the analogous task of scene classification in remote sensing. However, in contrast to the computer vision community that has long been using well-established, large-scale standard datasets to train and benchmark high-capacity models, the remote sensing community still largely relies on relatively small and often application-dependend datasets, thus lacking comparability. With this letter, we present a classification-oriented conversion of the SEN12MS dataset. Using that, we provide results for several baseline models based on two standard CNN architectures and different input data configurations. Our results support the benchmarking of remote sensing image classification and provide insights to the benefit of multi-spectral data and multi-sensor data fusion over conventional RGB imagery.


title: Multi-rate attention architecture for fast streamable Text-to-speech spectrum modeling

abstract: Typical high quality text-to-speech (TTS) systems today use a two-stage architecture, with a spectrum model stage that generates spectral frames and a vocoder stage that generates the actual audio. High-quality spectrum models usually incorporate the encoder-decoder architecture with self-attention or bi-directional long short-term (BLSTM) units. While these models can produce high quality speech, they often incur O($L$) increase in both latency and real-time factor (RTF) with respect to input length $L$. In other words, longer inputs leads to longer delay and slower synthesis speed, limiting its use in real-time applications. In this paper, we propose a multi-rate attention architecture that breaks the latency and RTF bottlenecks by computing a compact representation during encoding and recurrently generating the attention vector in a streaming manner during decoding. The proposed architecture achieves high audio quality (MOS of 4.31 compared to groundtruth 4.48), low latency, and low RTF at the same time. Meanwhile, both latency and RTF of the proposed system stay constant regardless of input lengths, making it ideal for real-time applications.


title: BRepNet: A topological message passing system for solid models

abstract: Boundary representation (B-rep) models are the standard way 3D shapes are described in Computer-Aided Design (CAD) applications. They combine lightweight parametric curves and surfaces with topological information which connects the geometric entities to describe manifolds. In this paper we introduce BRepNet, a neural network architecture designed to operate directly on B-rep data structures, avoiding the need to approximate the model as meshes or point clouds. BRepNet defines convolutional kernels with respect to oriented coedges in the data structure. In the neighborhood of each coedge, a small collection of faces, edges and coedges can be identified and patterns in the feature vectors from these entities detected by specific learnable parameters. In addition, to encourage further deep learning research with B-reps, we publish the Fusion 360 Gallery segmentation dataset. A collection of over 35,000 B-rep models annotated with information about the modeling operations which created each face. We demonstrate that BRepNet can segment these models with higher accuracy than methods working on meshes, and point clouds.


title: Spectroscopy of phase transitions for multiagent systems

abstract: In this paper we study phase transitions for weakly interacting multiagent systems. By investigating the linear response of a system composed of a finite number of agents, we are able to probe the emergence in the thermodynamic limit of a singular behaviour of the susceptibility. We find clear evidence of the loss of analyticity due to a pole crossing the real axis of frequencies. Such behaviour has a degree of universality, as it does not depend on either the applied forcing nor on the considered observable. We present results relevant for both equilibrium and nonequilibrium phase transitions by studying the Desai-Zwanzig and Bonilla-Casado-Morillo models.


title: Active learning of potential-energy surfaces of weakly-bound complexes with regression-tree ensembles

abstract: Several pool-based active learning algorithms (AL) were employed to model potential energy surfaces (PESs) with a minimum number of electronic structure calculations. Theoretical and empirical results suggest that superior strategies can be obtained by sampling molecular structures corresponding to large uncertainties in their predictions while at the same time not deviating much from the true distribution of the data. To model PESs in an AL framework we propose to use a regression version of stochastic query by forest, a hybrid method that samples points corresponding to large uncertainties while avoiding collecting too many points from sparse regions of space. The algorithm is implemented with decision trees that come with relatively small computational costs. We empirically show that this algorithm requires around half the data to converge to the same accuracy in comparison to the uncertainty-based query-by-committee algorithm. Moreover, the algorithm is fully automatic and does not require any prior knowledge of the PES. Simulations on a 6D PES of \pyrrolew show that $\mathord{<}15\,000$ configurations are enough to build a PES with a generalization error of 16~\invcm, whereas the final model with around 50\,000 configurations has a generalization error of 11~\invcm.


title: Enhanced spin injection in molecularly functionalized graphene via ultra-thin oxide barriers

abstract: Realisation of practical spintronic devices relies on the ability to create and detect pure spin currents. In graphene-based spin valves this is usually achieved by injection of spin-polarized electrons from ferromagnetic contacts via a tunnel barrier, with Al2O3 and MgO used most widely as barrier materials. However, the requirement to make these barriers sufficiently thin often leads to pinholes and low contact resistances which in turn results in low spin injection efficiencies, typically 5% at room temperature, due to the so-called resistance mismatch problem. Here we demonstrate an alternative approach to fabricate ultra-thin tunnel barrier contacts to graphene. We show that laser-assisted chemical functionalization of graphene with sp3-bonded phenyl groups effectively provides a seed layer for growth of ultrathin Al2O3 films, ensuring smooth, high quality tunnel barriers and an enhanced spin injection efficiency. Importantly, the effect of functionalization on spin transport in the graphene channel itself is relatively weak, so that the enhanced spin injection dominates and leads to an order of magnitude increase in spin signals. Furthermore, spatial control of functionalization using a focused laser beam and lithographic techniques can in principle be used to limit functionalization to contact areas only, further reducing the effect on the graphene channel. Our results open a new route towards circumventing the resistance mismatch problem in graphene-based spintronic devices based on the easily available and highly stable Al2O3, and facilitate a step forward in the development of their practical applications.


title: Evaluation of Nonsymmetric Macdonald Superpolynomials at Special Points

abstract: In a preceding paper the theory of nonsymmetric Macdonald polynomials taking values in modules of the Hecke algebra of type $A$ (Dunkl and Luque SLC 2012) was applied to such modules consisting of polynomials in anti-commuting variables, to define nonsymmetric Macdonald superpolynomials. These polynomials depend on two parameters $\left( q,t\right) $ and are defined by means of a Yang-Baxter graph. The present paper determines the values of a subclass of the polynomials at the special points $\left( 1,t,t^{2},\ldots\right) $ or$\left( 1,t^{-1},t^{-2},\ldots\right) $. The arguments use induction on the degree and computations with products of generators of the Hecke algebra. The resulting formulas involve $\left( q,t\right)$-hook products. Evaluations are also found for Macdonald superpolynomials having restricted symmetry and antisymmetry properties.


title: Finite section method for aperiodic Schr\"odinger operators

abstract: We consider 1D discrete Schr\"odinger operators with aperiodic potentials given by a Sturmian word, which is a natural generalisation of the Fibonacci Hamiltonian. Via a standard approximation by periodic potentials, we establish Hausdorff convergence of the corresponding spectra for the Schr\"odinger operators on the axis as well as for their compressions to the half-axis. Based on the half-axis results, we study the finite section method, which is another operator approximation, now by compressions to finite but growing intervals, that is often used to solve operator equations approximately. We find that, also for this purpose, the aperiodic case can be studied via its periodic approximants. Our results on the finite section method of the aperiodic operator are illustrated by confirming a result on the finite sections of the special case of the Fibonacci Hamiltonian.


title: A Multiparametric Volumetric Quantitative Ultrasound Imaging Technique for Soft Tissue Characterization

abstract: Quantitative ultrasound (QUS) offers a non-invasive and objective way to quantify tissue health. We recently presented a spatially adaptive regularization method for reconstruction of a single QUS parameter, limited to a two dimensional region. That proof-of-concept study showed that regularization using homogeneity prior improves the fundamental precision-resolution trade-off in QUS estimation. Based on the weighted regularization scheme, we now present a multiparametric 3D weighted QUS (3D QUS)imaging system, involving the reconstruction of three QUS parameters: attenuation coefficient estimate (ACE), integrated backscatter coefficient (IBC) and effective scatterer diameter (ESD). With the phantom studies, we demonstrate that our proposed method accurately reconstructs QUS parameters, resulting in high reconstruction contrast and therefore improved diagnostic utility. Additionally, the proposed method offers the ability to analyze the spatial distribution of QUS parameters in 3D, which allows for superior tissue characterization. We apply a three-dimensional total variation regularization method for the volumetric QUS reconstruction. The 3D regularization involving N planes results in a high QUS estimation precision, with an improvement of standard deviation over the theoretical rate achievable by compounding N independent realizations. In the in vivo liver study, we demonstrate the advantage of adopting a multiparametric approach over the single parametric counterpart, where a simple quadratic discriminant classifier using feature combination of three QUS parameters was able to attain a perfect classification performance to distinguish between normal and fatty liver cases.


title: Refined open topological strings revisited

abstract: In this work we verify consistency of refined topological string theory from several perspectives. First, we advance the method of computing refined open amplitudes by means of geometric transitions. Based on such computations we show that refined open BPS invariants are non-negative integers for a large class of toric Calabi-Yau threefolds: an infinite class of strip geometries, closed topological vertex geometry, and some threefolds with compact four-cycles. Furthermore, for an infinite class of toric geometries without compact four-cycles we show that refined open string amplitudes take form of quiver generating series. This generalizes the relation to quivers found earlier in the unrefined case, implies that refined open BPS states are made of a finite number of elementary BPS states, and asserts that all refined open BPS invariants associated to a given brane are non-negative integers in consequence of their relation to (integer and non-negative) motivic Donaldson-Thomas invariants. Non-negativity of motivic Donaldson-Thomas invariants of a symmetric quiver is therefore crucial in the context of refined open topological strings. Furthermore, reinterpreting these results in terms of webs of five-branes, we analyze Hanany-Witten transitions in novel configurations involving lagrangian branes.


title: Particle acceleration around rotating Einstein-Born-Infeld black hole and plasma effect on gravitational lensing

abstract: We consider a time-like geodesics in the background of rotating Einstein-Born-Infeld (EBI) black hole to examine the horizon and ergosphere structure. The effective potential that governs the particle's motion in the spacetime and the innermost stable circular orbits (ISCO) is also studied. A qualitative analysis is conducted to find the redshifted ultrahigh centre-of-mass (CM) energy as a result of a two-particle collision specifically near the horizon. The recent Event Horizon Telescope (EHT) triggered a surge of interest in strong gravitational lensing by black holes, which provide a new tool comparing the black hole lensing in general relativity and alternate gravity theories. Motivated by this, we also discussed both strong and weak-field gravitational lensing in the space-time discretely for a uniform plasma and a singular isothermal sphere. We calculated the light deflection coefficients $\bar{a}$ and $\bar{b}$ in the strong field limits, and their variance with the rotational parameter $a$ for different plasma frequency as well as in vacuum. For EBI black holes, we found that plasma's presence increases the photon sphere radius, the deflection angle, the deflection coefficients $\bar{a}$, $\bar{b}$, the angular positions and the angular separation between the relativistic images. It is also shown that with increasing spin the impact of plasma on a strong gravitational lensing becomes smaller as the spin parameter grows in the prograde orbit ($a>0$). For extreme black holes, the strong gravitational effects in the homogenous plasma are similar to those of in a vacuum. We investigate strong gravitational lensing effects by supermassive black holes Sgr A* and M87*...


title: Equivariant log concavity and representation stability

abstract: We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In the case of the Coxeter arrangement for the Lie algebra $\mathfrak{sl}_n$, we exploit the theory of representation stability to give computer assisted proofs of these conjectures in low degree.


title: Avoiding and extending partial edge colorings of hypercubes

abstract: We consider the problem of extending and avoiding partial edge colorings of hypercubes; that is, given a partial edge coloring $\varphi$ of the $d$-dimensional hypercube $Q_d$, we are interested in whether there is a proper $d$-edge coloring of $Q_d$ that agrees with the coloring $\varphi$ on every edge that is colored under $\varphi$; or, similarly, if there is a proper $d$-edge coloring that disagrees with $\varphi$ on every edge that is colored under $\varphi$. In particular, we prove that for any $d\geq 1$, if $\varphi$ is a partial $d$-edge coloring of $Q_d$, then $\varphi$ is avoidable if every color appears on at most $d/8$ edges and the coloring satisfies a relatively mild structural condition, or $\varphi$ is proper and every color appears on at most $d-2$ edges. We also show that the same conclusion holds if $d$ is divisible by $3$ and every color class of $\varphi$ is an induced matching. Moreover, for all $1 \leq k \leq d$, we characterize for which configurations consisting of a partial coloring $\varphi$ of $d-k$ edges and a partial coloring $\psi$ of $k$ edges, there is an extension of $\varphi$ that avoids $\psi$.


title: Optimal Strategies for Guarding a Compact and Convex Target Set: A Differential Game Approach

abstract: We revisit the two-player planar target-defense game initially posed by Isaacs where a pursuer (or defender) attempts to guard a target set from an attack by an evader (or attacker). This paper builds on existing analytical solutions to games of defending a simple shape of target area to develop a generalized and extended solution to the same game with a compact convex target set with smooth boundary. Isaacs' method is applied to address the game of kind and games of degree. A geometric solution approach is used to find the barrier surface that demarcates the winning sets of the players. A value function coupled with a set of optimal state feedback strategies in each winning set is derived and proven to correspond to the saddle point solution of the game. The proposed solutions are illustrated by means of numerical simulations.


title: Causality indices for bivariate time series data: a comparative review of performance

abstract: Inferring nonlinear and asymmetric causal relationships between multivariate longitudinal data is a challenging task with wide-ranging application areas including clinical medicine, mathematical biology, economics and environmental research. A number of methods for inferring causal relationships within complex dynamic and stochastic systems have been proposed but there is not a unified consistent definition of causality in this context. We evaluate the performance of ten prominent bivariate causality indices for time series data, across four simulated model systems that have different coupling schemes and characteristics. In further experiments, we show that these methods may not always be invariant to real-world relevant transformations (data availability, standardisation and scaling, rounding error, missing data and noisy data). We recommend transfer entropy and nonlinear Granger causality as likely to be particularly robust indices for estimating bivariate causal relationships in real-world applications. Finally, we provide flexible open-access Python code for computation of these methods and for the model simulations.


title: First-principles study on controlling energy gap of graphene using hybrid armchair-zigzag nanostructures

abstract: The electronic and transport properties of hybrid armchair zigzag nanostructures including U-shaped graphene nanoribbons and patterned nanopores structured graphene were studied using combination of density functional theory and non-equilibrium Green function method. The density of state, electron transmission spectra, and molecular orbitals were analyzed. The obtained results show that GNRs junctions tend to open an energy gap when U-shaped structures were formed due to the formation of quasi-bound states at zigzag edges. The size of U shaped structures has enormous influences on the electron transport of the system. We also considered the effect of corner form of the U-shaped GNRs junctions on energy gap opening. It was found that as some carbon atoms are add to the inner corner, the energy gap in U shaped GNRs significantly changed. For patterned nanopores structured graphene, the calculated results show that patterned nanopores enormous influence on electronic and the transport properties though the GNRs junctions, depending on the shape, size, and the number of nanopores. The study suggests that designed tailored graphene systems based on hybrid armchair zigzag nanostructures can be used to control the energy gap of graphene.


title: Topological Data Analysis of Spatial Systems

abstract: In this chapter, we discuss applications of topological data analysis (TDA) to spatial systems. We briefly review the recently proposed level-set construction of filtered simplicial complexes, and we then examine persistent homology in two cases studies: street networks in Shanghai and hotspots of COVID-19 infections. We then summarize our results and provide an outlook on TDA in spatial systems.

categories: cs.SI cs.CG math.AT nlin.AO physics.soc-ph


title: ProcessTransformer: Predictive Business Process Monitoring with Transformer Network

abstract: Predictive business process monitoring focuses on predicting future characteristics of a running process using event logs. The foresight into process execution promises great potentials for efficient operations, better resource management, and effective customer services. Deep learning-based approaches have been widely adopted in process mining to address the limitations of classical algorithms for solving multiple problems, especially the next event and remaining-time prediction tasks. Nevertheless, designing a deep neural architecture that performs competitively across various tasks is challenging as existing methods fail to capture long-range dependencies in the input sequences and perform poorly for lengthy process traces. In this paper, we propose ProcessTransformer, an approach for learning high-level representations from event logs with an attention-based network. Our model incorporates long-range memory and relies on a self-attention mechanism to establish dependencies between a multitude of event sequences and corresponding outputs. We evaluate the applicability of our technique on nine real event logs. We demonstrate that the transformer-based model outperforms several baselines of prior techniques by obtaining on average above 80% accuracy for the task of predicting the next activity. Our method also perform competitively, compared to baselines, for the tasks of predicting event time and remaining time of a running case


title: GABO: Graph Augmentations with Bi-level Optimization

abstract: Data augmentation refers to a wide range of techniques for improving model generalization by augmenting training examples. Oftentimes such methods require domain knowledge about the dataset at hand, spawning a plethora of recent literature surrounding automated techniques for data augmentation. In this work we apply one such method, bilevel optimization, to tackle the problem of graph classification on the ogbg-molhiv dataset. Our best performing augmentation achieved a test ROCAUC score of 77.77 % with a GIN+virtual classifier, which makes it the most effective augmenter for this classifier on the leaderboard. This framework combines a GIN layer augmentation generator with a bias transformation and outperforms the same classifier augmented using the state-of-the-art FLAG augmentation.


title: Andreev interference in the surface accumulation layer of half-shell InAsSb/Al hybrid nanowires

abstract: Understanding the spatial distribution of charge carriers in III-V nanowires proximity coupled to superconductors is important for the design and interpretation of experiments based on hybrid quantum devices. In this letter, the gate-dependent surface accumulation layer of InAsSb/Al nanowires was studied by means of Andreev interference in a parallel magnetic field. Both uniform hybrid nanowires and devices featuring a short Josephson junction fabricated by shadow lithography, exhibited periodic modulation of the switching current. The period corresponds to a flux quantum through the nanowire diameter and is consistent with Andreev bound states occupying a cylindrical surface accumulation layer. The spatial distribution was tunable by a gate potential as expected from electrostatic models.


title: Anisotropic thermalization of dilute dipolar gases

abstract: We study collisional rethermalization in ultracold dipolar thermal gases, made intricate by their anisotropic differential cross sections. Theoretical methods are provided to derive the number of collisions per rethermalization, which for dipolar gases, is highly dependent on the dipole alignment axis. These methods are formulated to be easily applied in experimental contexts, even reducing to analytic expressions if the route to thermal equilibrium is governed by short-time dynamics. In the analytic case, collisional rethermalization is fully characterized by the dipole magnitude and orientation, scattering length, and thermalization geometry. These models compare favorably to Monte Carlo simulations, and are shown to model well a recent experimental result on the rethermalization of polar molecular samples.


title: Assessing the Exposure of Software Changes: The DiPiDi Approach

abstract: Context: Changing a software application with many build-time configuration settings may introduce unexpected side-effects. For example, a change intended to be specific to a platform (e.g., Windows) or product configuration (e.g., community editions) might impact other platforms or configurations. Moreover, a change intended to apply to a set of platforms or configurations may be unintentionally limited to a subset. Indeed, understanding the exposure of source code changes is an important risk mitigation step in change-based development approaches. Objective: In this experiment, we seek to evaluate DiPiDi, a prototype implementation of our approach to assess the exposure of source code changes by statically analyzing build specifications. We focus our evaluation on the effectiveness and efficiency of developers when assessing the exposure of source code changes. Method: We will measure the effectiveness and efficiency of developers when performing five tasks in which they must identify the deliverable(s) and conditions under which a change will propagate. We will assign participants into three groups: without explicit tool support, supported by existing impact analysis tools, and supported by DiPiDi.


title: Automorphisms of the Koszul homology of a local ring

abstract: This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of $H(K)$, any dg $R$-algebra automorphism of $K$ induces the identity map on $H(K)$. In such cases, it is possible to define an action of the automorphism group of $R$ on $H(K)$. On the other hand, numerous rings are described for which $K$ has automorphisms that do not induce the identity on $H(K)$. For any $R$, it is shown that the group of automorphisms of $H(K)$ induced by automorphisms of $K$ is abelian.


title: Diffusive transport on networks with stochastic resetting to multiple nodes

abstract: We study the diffusive transport of Markovian random walks on arbitrary networks with stochastic resetting to multiple nodes. We deduce analytical expressions for the stationary occupation probability and for the mean and global first passage times. This general approach allows us to characterize the effect of resetting on the capacity of random walk strategies to reach a particular target or to explore the network. Our formalism holds for ergodic random walks and can be implemented from the spectral properties of the random walk without resetting, providing a tool to analyze the efficiency of search strategies with resetting to multiple nodes. We apply the methods developed here to the dynamics with two reset nodes and derive analytical results for normal random walks and L\'evy flights on rings. We also explore the effect of resetting to multiple nodes on a comb graph, L\'evy flights that visit specific locations in a continuous space, and the Google random walk strategy on regular networks.


title: Fixed Depth Hamiltonian Simulation via Cartan Decomposition

abstract: Simulating quantum dynamics on classical computers is challenging for large systems due to the significant memory requirements. Simulation on quantum computers is a promising alternative, but fully optimizing quantum circuits to minimize limited quantum resources remains an open problem. We tackle this problem presenting a constructive algorithm, based on Cartan decomposition of the Lie algebra generated by the Hamiltonian, that generates quantum circuits with time-independent depth. We highlight our algorithm for special classes of models, including Anderson localization in one dimensional transverse field XY model, where a O(n^2)-gate circuits naturally emerge. Compared to product formulas with significantly larger gate counts, our algorithm drastically improves simulation precision. In addition to providing exact circuits for a broad set of spin and fermionic models, our algorithm provides broad analytic and numerical insight into optimal Hamiltonian simulations.


title: Improved Accuracy and Precision In Simultaneous Myocardial T1 and T2 mapping with Multi-Parametric SASHA (mSASHA)

abstract: Purpose: To develop and validate a multi-parametric SAturation-recovery single-SHot Acquisition (mSASHA) cardiac T1 and T2 mapping technique with high accuracy and precision in a single breath-hold. Methods: The mSASHA acquisition consists of 9 images in an 11 heartbeat breath-hold -- the first without preparation, 6 images with saturation recovery preparation, and 2 images with both saturation recovery and T2-preparation. T1 and T2 values were calculated using a 3-parameter model. mSASHA was validated in simulations and phantoms on a Siemens 3T Prisma scanner with comparison to a joint T1-T2 technique with a 4-parameter model. mSASHA values were compared to reference MOLLI, SASHA and T2p-bSSFP sequences in 10 healthy volunteers. Results: mSASHA had high accuracy compared to reference spin-echo measurements, with an average of -0.7+/-0.4% T1 error and -1.3+/-1.3% T2 error. mSASHA coefficient of variation (CoV) in phantoms for T1 was lower than MOLLI (0.7+/-0.1% vs 0.9+/-0.2%, p<0.01) and similar to reference T2p-bSSFP for T2 (1.4+/-0.6% vs 1.5+/-0.5%, p>0.05). In simulations, 3-parameter mSASHA fitting had higher precision than 4-parameter joint T1-T2 fitting for both T1 and T2. In-vivo myocardial mSASHA T1 was similar to conventional SASHA (1523+/-18 ms vs 1520+/-18 ms, p>0.05) with similar CoV to both MOLLI and SASHA (3.3+/-0.6% vs 3.1+/-0.6% and 3.3+/-0.5% respectively, p>0.05 for both). Myocardial mSASHA T2 values were 37.1+/-1.1 ms with similar precision to T2p-bSSFP (6.7+/-1.7% vs 6.0+/-1.6%, p>0.05). Conclusion: mSASHA provides high accuracy cardiac T1 and T2 quantification in a single breath-hold, with similar precision to reference MOLLI and linear T2p-bSSFP reference techniques.


title: A Charging-as-a-Service Platform for Charging Electric Vehicles On the Move: New Vehicle Routing Model and Solution

abstract: Range anxiety has been the main challenge for the mass-adoption of electric vehicles (EVs). The emerging mobile electric-vehicle-to-electric-vehicle (mE2) charging technology, which allows an EV with the extra battery to charge the other EV on the move, offers a promising solution. Even though the physical feasibility of this new technology has been confirmed, we still face many operation problems. For example, how can we efficiently pair and route an electricity provider (EP) to a demand (ED) without introducing an extra detour? Motivated by this view, this study develops a Charging-as-a-Service (CaaS) platform, which seeks to dispatches the commercial EPs to serve the EDs, for cultivating this emerging charging service towards the low EV penetration environment. Mathematically, the CaaS platform is modeled as a vehicle routing problem (i.e., mE2-VRP), which optimally dispatches the EPs to approach and serve the EDs on the move while minimizing the EP fleet size and fulfilling all service requests. To adapt the CaaS platform to the online application in practice, we develop the Clustering-aided Clarke and Wright Savings (CCWS) algorithm to efficiently decompose and then solve the large-scale mE2-VRP by parallel computing. Our numerical experiments built upon citywide (Chicago) and statewide (Florida) found that the CCWS algorithm outperforms existing commercial solvers, and it enables us to investigate the performance of the CaaS platform under a realistic large-scale setup in a city or state. The CaaS performs better in low EV penetration markets while traffic congestion is mild and EDs require energy earlier. We can improve the performance by developing proper pricing strategies according to the EDs' energy requests and trip lengths.


title: Risk-sensitive optimal stopping with unbounded terminal cost function

abstract: In this paper we consider an infinite time horizon risk-sensitive optimal stopping problem for a Feller--Markov process with an unbounded terminal cost function. We show that in the unbounded case an associated Bellman equation may have multiple solutions and we give a probabilistic interpretation for the minimal and the maximal one. Also, we show how to approximate them using finite time horizon problems. The analysis, covering both discrete and continuous time case, is supported with illustrative examples.


abstract: Out of a hundred trials, how many errors does your speaker verifier make? For the user this is an important, practical question, but researchers and vendors typically sidestep it and supply instead the conditional error-rates that are given by the ROC/DET curve. We posit that the user's question is answered by the Bayes error-rate. We present a tutorial to show how to compute the error-rate that results when making Bayes decisions with calibrated likelihood ratios, supplied by the verifier, and an hypothesis prior, supplied by the user. For perfect calibration, the Bayes error-rate is upper bounded by min(EER,P,1-P), where EER is the equal-error-rate and P, 1-P are the prior probabilities of the competing hypotheses. The EER represents the accuracy of the verifier, while min(P,1-P) represents the hardness of the classification problem. We further show how the Bayes error-rate can be computed also for non-perfect calibration and how to generalize from error-rate to expected cost. We offer some criticism of decisions made by direct score thresholding. Finally, we demonstrate by analyzing error-rates of the recently published DCA-PLDA speaker verifier.


title: New models for the rapid evolution of the central star of the Stingray Nebula

abstract: We present stellar evolution calculations from the Asymptotic Giant Branch (AGB) to the Planetary Nebula (PN) phase for models of initial mass 1.2 M\odot and 2.0 M\odot that experience a Late Thermal Pulse (LTP), a helium shell flash that occurs following the AGB and causes a rapid looping evolution between the AGB and PN phase. We use these models to make comparisons to the central star of the Stingray Nebula, V839 Ara (SAO 244567). The central star has been observed to be rapidly evolving (heating) over the last 50 to 60 years and rapidly dimming over the past 20 - 30 years. It has been reported to belong to the youngest known planetary nebula, now rapidly fading in brightness. In this paper we show that the observed timescales, sudden dimming, and increasing Log(g), can all be explained by LTP models of a specific variety. We provide a possible explanation for the nebular ionization, the 1980s sudden mass loss episode, the sudden decline in mass loss, and the nebular recombination and fading.


title: Next Generation Multitarget Trackers: Random Finite Set Methods vs Transformer-based Deep Learning

abstract: Multitarget Tracking (MTT) is the problem of tracking the states of an unknown number of objects using noisy measurements, with important applications to autonomous driving, surveillance, robotics, and others. In the model-based Bayesian setting, there are conjugate priors that enable us to express the multi-object posterior in closed form, which could theoretically provide Bayes-optimal estimates. However, the posterior involves a super-exponential growth of the number of hypotheses over time, forcing state-of-the-art methods to resort to approximations for remaining tractable, which can impact their performance in complex scenarios. Model-free methods based on deep-learning provide an attractive alternative, as they can, in principle, learn the optimal filter from data, but to the best of our knowledge were never compared to current state-of-the-art Bayesian filters, specially not in contexts where accurate models are available. In this paper, we propose a high-performing deep-learning method for MTT based on the Transformer architecture and compare it to two state-of-the-art Bayesian filters, in a setting where we assume the correct model is provided. Although this gives an edge to the model-based filters, it also allows us to generate unlimited training data. We show that the proposed model outperforms state-of-the-art Bayesian filters in complex scenarios, while matching their performance in simpler cases, which validates the applicability of deep-learning also in the model-based regime. The code for all our implementations is made available at https://github.com/JulianoLagana/MT3 .


title: Graph Attention Networks for Channel Estimation in RIS-assisted Satellite IoT Communications

abstract: Direct-to-satellite (DtS) communication has gained importance recently to support globally connected Internet of things (IoT) networks. However, relatively long distances of densely deployed satellite networks around the Earth cause a high path loss. In addition, since high complexity operations such as beamforming, tracking and equalization have to be performed in IoT devices partially, both the hardware complexity and the need for high-capacity batteries of IoT devices increase. The reconfigurable intelligent surfaces (RISs) have the potential to increase the energy-efficiency and to perform complex signal processing over the transmission environment instead of IoT devices. But, RISs need the information of the cascaded channel in order to change the phase of the incident signal. This study evaluates the pilot signal as a graph and incorporates this information into the graph attention networks (GATs) to track the phase relation through pilot signaling. The proposed GAT-based channel estimation method examines the performance of the DtS IoT networks for different RIS configurations to solve the challenging channel estimation problem. It is shown that the proposed GAT both demonstrates a higher performance with increased robustness under changing conditions and has lower computational complexity compared to conventional deep learning methods. Moreover, bit error rate performance is investigated for RIS designs with discrete and non-uniform phase shifts under channel estimation based on the proposed method. One of the findings in this study is that the channel models of the operating environment and the performance of the channel estimation method must be considered during RIS design to exploit performance improvement as far as possible.


title: Two Modifications of the Unscented Kalman Filter that Specialize to the Kalman Filter for Linear Systems

abstract: Although the unscented Kalman filter (UKF) is applicable to nonlinear systems, it turns out that, for linear systems, UKF does not specialize to the classical Kalman filter. This situation suggests that it may be advantageous to modify UKF in such a way that, for linear systems, the Kalman filter is recovered. The ultimate goal is thus to develop modifications of UKF that specialize to the Kalman filter for linear systems and have improved accuracy for nonlinear systems. With this motivation, this paper presents two modifications of UKF that specialize to the Kalman filter for linear systems. The first modification (EUKF-A) requires the Jacobian of the dynamics map, whereas the second modification (EUKF-C) requires the Jacobian of the measurement map. For various nonlinear examples, the accuracy of EUKF-A and EUKF-C is compared to the accuracy of UKF.


title: Disagreement coupling of Gibbs processes with an application to Poisson approximation

abstract: We discuss a thinning and an embedding procedure to construct finite Gibbs processes with a given Papangelou intensity. Extending the approach in Hofer-Temmel (2019) and Hofer-Temmel and Houdebert (2019) we will use this to couple two finite Gibbs processes with different boundary conditions. As one application we will establish Poisson approximation of point processes derived from certain infinite volume Gibbs processes via dependent thinning. As another application we shall discuss empty space probabilities of certain Gibbs processes.


title: Ultrafast dynamics with the exact factorization

abstract: The exact factorization of the time-dependent electron-nuclear wavefunction has been employed successfully in the field of quantum molecular dynamics simulations for interpreting and simulating light-induced ultrafast processes. In this work, we summarize the major developments leading to the formulation of a trajectory-based approach, derived from the exact factorization equations, capable of dealing with nonadiabatic electronic processes, and including spin-orbit coupling and the non-perturbative effect of an external time-dependent field. This trajectory-based quantum-classical approach has been dubbed coupled-trajectory mixed quantum-classical (CT-MQC) algorithm, whose performance is tested here to study the photo-dissociation dynamics of IBr.


title: Formal Methods for the Informal Engineer: Workshop Recommendations

abstract: Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biomedical software ecosystem. The motivation for organizing FMIE was the recognition that the life sciences and medicine are undergoing a transition from being passive consumers of software and AI/ML technologies to fundamental drivers of new platforms, including those which will need to be mission and safety-critical. Drawing on conversations leading up to and during the workshop, we make five concrete recommendations to help software leaders organically incorporate tools, techniques, and perspectives from formal methods into their project planning and development trajectories.