title: Lifelong Computing

abstract: Computing systems form the backbone of many aspects of our life, hence they are becoming as vital as water, electricity, and road infrastructures for our society. Yet, engineering long running computing systems that achieve their goals in ever-changing environments pose significant challenges. Currently, we can build computing systems that adjust or learn over time to match changes that were anticipated. However, dealing with unanticipated changes, such as anomalies, novelties, new goals or constraints, requires system evolution, which remains in essence a human-driven activity. Given the growing complexity of computing systems and the vast amount of highly complex data to process, this approach will eventually become unmanageable. To break through the status quo, we put forward a new paradigm for the design and operation of computing systems that we coin "lifelong computing." The paradigm starts from computing-learning systems that integrate computing/service modules and learning modules. Computing warehouses offer such computing elements together with data sheets and usage guides. When detecting anomalies, novelties, new goals or constraints, a lifelong computing system activates an evolutionary self-learning engine that runs online experiments to determine how the computing-learning system needs to evolve to deal with the changes, thereby changing its architecture and integrating new computing elements from computing warehouses as needed. Depending on the domain at hand, some activities of lifelong computing systems can be supported by humans. We motivate the need for lifelong computing with a future fish farming scenario, outline a blueprint architecture for lifelong computing systems, and highlight key research challenges to realise the vision of lifelong computing.


title: Large N Optimization for multi-matrix systems

abstract: In this work we revisit the problem of solving multi-matrix systems through numerical large $N$ methods. The framework is a collective, loop space representation which provides a constrained optimization problem, addressed through master-field minimization. This scheme applies both to multi-matrix integrals ($c=0$ systems) and multi-matrix quantum mechanics ($c=1$). The complete fluctuation spectrum is also computable in the above scheme, and is of immediate physical relevance in the later case. The complexity (and the growth of degrees of freedom) at large $N$ have stymied earlier attempts and in the present work we present significant improvements in this regard. The (constrained) minimization and spectrum calculations are easily achieved with close to $10^4$ variables, giving solution to Migdal-Makeenko, and collective field equations. Considering the large number of dynamical (loop) variables and the extreme nonlinearity of the problem, high precision is obtained when confronted with solvable cases. Through numerical results presented, we prove that our scheme solves, by numerical loop space methods, the general two matrix model problem.


title: Helly-type Problems

abstract: In this paper, we present a variety of problems in the interface between combinatorics and geometry around the theorems of Helly, Radon, Carath\'eodory, and Tverberg. Through these problems we describe the fascinating area of Helly-type theorems, and explain some of its main themes and goals.


title: Quantum Optimization Heuristics with an Application to Knapsack Problems

abstract: This paper introduces two techniques that make the standard Quantum Approximate Optimization Algorithm (QAOA) more suitable for constrained optimization problems. The first technique describes how to use the outcome of a prior greedy classical algorithm to define an initial quantum state and mixing operation to adjust the quantum optimization algorithm to explore the possible answers around this initial greedy solution. The second technique is used to nudge the quantum exploration to avoid the local minima around the greedy solutions. To analyze the benefits of these two techniques we run the quantum algorithm on known hard instances of the Knapsack Problem using unit depth quantum circuits. The results show that the adjusted quantum optimization heuristics typically perform better than various classical heuristics.


title: Gromov-Witten theory and invariants of matroids

abstract: We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids.


title: Neural-GIF: Neural Generalized Implicit Functions for Animating People in Clothing

abstract: We present Neural Generalized Implicit Functions(Neural-GIF), to animate people in clothing as a function of the body pose. Given a sequence of scans of a subject in various poses, we learn to animate the character for new poses. Existing methods have relied on template-based representations of the human body (or clothing). However such models usually have fixed and limited resolutions, require difficult data pre-processing steps and cannot be used with complex clothing. We draw inspiration from template-based methods, which factorize motion into articulation and non-rigid deformation, but generalize this concept for implicit shape learning to obtain a more flexible model. We learn to map every point in the space to a canonical space, where a learned deformation field is applied to model non-rigid effects, before evaluating the signed distance field. Our formulation allows the learning of complex and non-rigid deformations of clothing and soft tissue, without computing a template registration as it is common with current approaches. Neural-GIF can be trained on raw 3D scans and reconstructs detailed complex surface geometry and deformations. Moreover, the model can generalize to new poses. We evaluate our method on a variety of characters from different public datasets in diverse clothing styles and show significant improvements over baseline methods, quantitatively and qualitatively. We also extend our model to multiple shape setting. To stimulate further research, we will make the model, code and data publicly available at: https://virtualhumans.mpi-inf.mpg.de/neuralgif/


title: Sparse SYK and traversable wormholes

abstract: We investigate two sparse Sachdev-Ye-Kitaev (SYK) systems coupled by a bilinear term as a holographic quantum mechanical description of an eternal traversable wormhole in the low temperature limit. Each SYK system consists of $N$ Majorana fermions coupled by random $q$-body interactions. The degree of sparseness is captured by a regular hypergraph in such a way that the Hamiltonian contains exactly $k\,N$ independent terms. We improve on the theoretical understanding of the sparseness property by using known measures of hypergraph expansion. We show that the sparse version of the two coupled SYK model is gapped with a ground state close to a thermofield double state. Using Krylov subspace and parallelization techniques, we simulate the system for $q=4$ and $q=8.$ The sparsity of the model allows us to explore larger values of $N$ than the ones existing in the literature for the all-to-all SYK. We analyze in detail the two-point functions and the transmission amplitude of signals between the two systems. We identify a range of parameters where revivals obey the scaling predicted by holography and signals can be interpreted as traversing the wormhole.


title: Surrogate Assisted Strategies (The Parameterisation of an Infectious Disease Agent-Based Model)

abstract: Parameter calibration is a significant challenge in agent-based modelling and simulation (ABMS). An agent-based model's (ABM) complexity grows as the number of parameters required to be calibrated increases. This parameter expansion leads to the ABMS equivalent of the \say{curse of dimensionality}. In particular, infeasible computational requirements searching an infinite parameter space. We propose a more comprehensive and adaptive ABMS Framework that can effectively swap out parameterisation strategies and surrogate models to parameterise an infectious disease ABM. This framework allows us to evaluate different strategy-surrogate combinations' performance in accuracy and efficiency (speedup). We show that we achieve better than parity in accuracy across the surrogate assisted sampling strategies and the baselines. Also, we identify that the Metric Stochastic Response Surface strategy combined with the Support Vector Machine surrogate is the best overall in getting closest to the true synthetic parameters. Also, we show that DYnamic COOrdindate Search Using Response Surface Models with XGBoost as a surrogate attains in combination the highest probability of approximating a cumulative synthetic daily infection data distribution and achieves the most significant speedup with regards to our analysis. Lastly, we show in a real-world setting that DYCORS XGBoost and MSRS SVM can approximate the real world cumulative daily infection distribution with $97.12$\% and $96.75$\% similarity respectively.


title: Do Vision Transformers See Like Convolutional Neural Networks?

abstract: Convolutional neural networks (CNNs) have so far been the de-facto model for visual data. Recent work has shown that (Vision) Transformer models (ViT) can achieve comparable or even superior performance on image classification tasks. This raises a central question: how are Vision Transformers solving these tasks? Are they acting like convolutional networks, or learning entirely different visual representations? Analyzing the internal representation structure of ViTs and CNNs on image classification benchmarks, we find striking differences between the two architectures, such as ViT having more uniform representations across all layers. We explore how these differences arise, finding crucial roles played by self-attention, which enables early aggregation of global information, and ViT residual connections, which strongly propagate features from lower to higher layers. We study the ramifications for spatial localization, demonstrating ViTs successfully preserve input spatial information, with noticeable effects from different classification methods. Finally, we study the effect of (pretraining) dataset scale on intermediate features and transfer learning, and conclude with a discussion on connections to new architectures such as the MLP-Mixer.


title: Singularity degree of structured random matrices

abstract: We consider the density of states of structured Hermitian random matrices with a variance profile. As the dimension tends to infinity the associated eigenvalue density can develop a singularity at the origin. The severity of this singularity depends on the relative positions of the zero submatrices. We provide a classification of all possible singularities and determine the exponent in the density blow-up, which we label the singularity degree.


title: Provable Benefits of Actor-Critic Methods for Offline Reinforcement Learning

abstract: Actor-critic methods are widely used in offline reinforcement learning practice, but are not so well-understood theoretically. We propose a new offline actor-critic algorithm that naturally incorporates the pessimism principle, leading to several key advantages compared to the state of the art. The algorithm can operate when the Bellman evaluation operator is closed with respect to the action value function of the actor's policies; this is a more general setting than the low-rank MDP model. Despite the added generality, the procedure is computationally tractable as it involves the solution of a sequence of second-order programs. We prove an upper bound on the suboptimality gap of the policy returned by the procedure that depends on the data coverage of any arbitrary, possibly data dependent comparator policy. The achievable guarantee is complemented with a minimax lower bound that is matching up to logarithmic factors.


title: Transfer learning in genome-wide association studies with knockoffs

abstract: This paper presents and compares alternative transfer learning methods that can increase the power of conditional testing via knockoffs by leveraging prior information in external data sets collected from different populations or measuring related outcomes. The relevance of this methodology is explored in particular within the context of genome-wide association studies, where it can be helpful to address the pressing need for principled ways to suitably account for, and efficiently learn from the genetic variation associated to diverse ancestries. Finally, we apply these methods to analyze several phenotypes in the UK Biobank data set, demonstrating that transfer learning helps knockoffs discover more numerous associations in the data collected from minority populations, potentially opening the way to the development of more accurate polygenic risk scores.


title: Rainbow subdivisions of cliques

abstract: We show that for every integer $m \ge 2$ and large $n$, every properly edge-coloured graph on $n$ vertices with at least $n (\log n)^{53}$ edges contains a rainbow subdivision of $K_m$. This is sharp up to a polylogarithmic factor. Our proof method exploits the connection between the mixing time of random walks and expansion in graphs.


title: Click to Move: Controlling Video Generation with Sparse Motion

abstract: This paper introduces Click to Move (C2M), a novel framework for video generation where the user can control the motion of the synthesized video through mouse clicks specifying simple object trajectories of the key objects in the scene. Our model receives as input an initial frame, its corresponding segmentation map and the sparse motion vectors encoding the input provided by the user. It outputs a plausible video sequence starting from the given frame and with a motion that is consistent with user input. Notably, our proposed deep architecture incorporates a Graph Convolution Network (GCN) modelling the movements of all the objects in the scene in a holistic manner and effectively combining the sparse user motion information and image features. Experimental results show that C2M outperforms existing methods on two publicly available datasets, thus demonstrating the effectiveness of our GCN framework at modelling object interactions. The source code is publicly available at https://github.com/PierfrancescoArdino/C2M.


title: Regional disparities in Social Mobility of India

abstract: Rapid rise in income inequality in India is a serious concern. While the emphasis is on inclusive growth, it seems difficult to tackle the problem without looking at the intricacies of the problem. The Social Mobility Index is an important tool that focuses on bringing long-term equality by identifying priority policy areas in the country. The PCA technique is employed in computation of the index. Overall, the Union Territory of Delhi ranks first, with the highest social mobility and the least social mobility is in Chhattisgarh. In addition, health and education access, quality and equity are key priority areas that can help improve social mobility in India. Thus, we conclude that human capital is of great importance in promoting social mobility and development in the present times.


title: Translation invariant linear spaces of polynomials

abstract: A set of polynomials $M$ is called a {\it submodule} of $\mathbb{C} [x_1, \dots, x_n ]$ if $M$ is a translation invariant linear subspace of $\mathbb{C} [x_1, \dots, x_n ]$. We present a description of the submodules of $\mathbb{C} [x,y]$ in terms of a special type of submodules. We say that the submodule $M$ of $\mathbb{C} [x,y]$ is an {\it L-module of order} $s$ if, whenever $F(x,y)=\sum_{n=0}^N f_n (x) \cdot y^n \in M$ is such that $f_0 =\ldots = f_{s-1}=0$, then $F=0$. We show that the proper submodules of $\mathbb{C} [x,y]$ are the sums $M_d +M$, where $M_d =\{ F\in \mathbb{C} [x,y] \colon \textit{deg}_x F <d\}$, and $M$ is an L-module. We give a construction of L-modules parametrized by sequences of complex numbers. A submodule $M\subseteq \mathbb{C} [x_1, \dots, x_n ]$ is {\it decomposable} if it is the sum of finitely many proper submodules of $M$. Otherwise $M$ is {\it indecomposable}. It is easy to see that every submodule of $\mathbb{C} [x_1, \dots, x_n]$ is the sum of finitely many indecomposable submodules. In $\mathbb{C} [x,y]$ every indecomposable submodule is either an L-module or equals $M_d$ for some $d$. In the other direction we show that $M_d$ is indecomposable for every $d$, and so is every L-module of order $1$. Finally, we prove that there exists a submodule of $\mathbb{C} [x,y]$ (in fact, an L-module of order $1$) which is not relatively closed in $\mathbb{C} [x,y]$. This answers a problem posed by L. Sz\'ekelyhidi in 2011.


title: Discriminating modelling approaches for Point in Time Economic Scenario Generation

abstract: We introduce the notion of Point in Time Economic Scenario Generation (PiT ESG) with a clear mathematical problem formulation to unify and compare economic scenario generation approaches conditional on forward looking market data. Such PiT ESGs should provide quicker and more flexible reactions to sudden economic changes than traditional ESGs calibrated solely to long periods of historical data. We specifically take as economic variable the S&P500 Index with the VIX Index as forward looking market data to compare the nonparametric filtered historical simulation, GARCH model with joint likelihood estimation (parametric), Restricted Boltzmann Machine and the conditional Variational Autoencoder (Generative Networks) for their suitability as PiT ESG. Our evaluation consists of statistical tests for model fit and benchmarking the out of sample forecasting quality with a strategy backtest using model output as stop loss criterion. We find that both Generative Networks outperform the nonparametric and classic parametric model in our tests, but that the CVAE seems to be particularly well suited for our purposes: yielding more robust performance and being computationally lighter.


title: No-signaling-proof randomness extraction from public weak sources

abstract: The extraction of randomness from weakly random seeds is a topic of central importance in cryptography. Weak sources of randomness can be considered to be either private or public, where public sources such as the NIST randomness beacon broadcast the random bits once they are generated. The problem of device-independent randomness extraction from weak public sources against no-signalling adversaries has remained open. In this paper, we show protocols for device-independent and one-sided device-independent amplification of randomness from weak public Santha Vazirani (SV) sources that use a finite number of devices and are secure against no-signaling adversaries. Specifically, under the assumption that the device behavior is as prescribed by quantum mechanics the protocols allow for amplification of public $\epsilon$-SV sources for arbitrary initial $\epsilon \in [0,0.5)$. On the other hand, when only the assumption of no-signaling between the components of the device is made, the protocols allow for amplification of a limited set of weak public SV sources.


title: A new two-dimensional blood flow model with arbitrary cross sections

abstract: A new two-dimensional model for blood flows in arteries with arbitrary cross sections is derived. The model consists of a system of balance laws for conservation of mass and balance of momentum in the axial and angular directions. The equations are derived by applying asymptotic analysis to the incompressible Navier-Stokes equations in narrow, large vessels and integrating in the radial direction in each cross section. The main properties of the system are discussed and a positivity-preserving well-balanced central-upwind scheme is presented. The merits of the scheme will be tested in a variety of scenarios. In particular, numerical results of simulations using an idealized aorta model are shown. We analyze the time evolution of the blood flow under different initial conditions such as perturbations to steady states consisting of a bulging in the vessel's wall. We consider different situations given by distinct variations in the vessel's elasticity.


title: Performance comparison of CFD-DEM solver MFiX-Exa, on GPUs and CPUs

abstract: We present computational performance comparisons of gas-solid simulations performed on current CPU and GPU architectures using MFiX Exa, a CFD-DEM solver that leverages hybrid CPU+GPU parallelism. A representative fluidized bed simulation with varying particle numbers from 2 to 67 million is used to compare serial and parallel performance. A single GPU was observed to be about 10 times faster compared to a single CPU core. The use of 3 GPUs on a single compute node was observed to be 4x faster than using all 64 CPU cores. We also observed that using an error controlled adaptive time stepping scheme for particle advance provided a consistent 4x speed-up on both CPUs and GPUs. Weak scaling results indicate superior parallel efficiencies when using GPUs compared to CPUs for the problem sizes studied in this work.


title: The Dynamical Ensemble of the Posner Molecule is not Symmetric

abstract: The Posner molecule, $\text{Ca}_9(\text{PO}_4)_6$, has long been recognized to have biochemical relevance in various physiological processes. It has found recent attention for its possible role as a biological quantum information processor, whereby the molecule purportedly maintains long-lived nuclear spin coherences among its ${^{31}\text{P}}$ nuclei (presumed to be symmetrically arranged), allowing it to function as a room temperature qubit. The structure of the molecule has been of much dispute in the literature, although the $\text{S}_6$ point group symmetry has often been assumed and exploited in calculations. Using a variety of simulation techniques (including ab initio molecular dynamics and structural relaxation), rigorous data analysis tools and by exploring thousands of individual configurations, we establish that the molecule predominantly assumes low symmetry structures ($\text{C}_\text{s}$ and $\text{C}_\text{i}$) at room temperature, as opposed to the higher symmetry configurations explored previously. Our findings have important implications on the viability of this molecule as a qubit.


title: Sub-atomic constraints on the Kerr geometry of GW150914

abstract: We obtain stringent constraints on near-horizon deviations of a black hole from the Kerr geometry by performing a long-duration Bayesian analysis of the gravitational-wave data immediately following GW150914. GW150914 was caused by a binary system that merged to form a final compact object. We parameterize deviations of this object from a Kerr black hole by modifying its boundary conditions from full absorption to full reflection, thereby modeling it as a horizonless ultracompact object. Such modifications result in the emission of long-lived monochromatic quasinormal modes after the merger. These modes would extract energy on the order of a few solar masses from the final object, making them observable by LIGO. By putting bounds on the existence of these modes, we show that the Kerr geometry is not modified down to distances as small as $5.8 \times 10^{-19}$ meters away from the horizon. Our results indicate that the post-merger object formed by GW150914 is a black hole that is well described by the Kerr geometry.


title: Optimal short-time measurements for Hamiltonian learning

abstract: Characterizing noisy quantum devices requires methods for learning the underlying quantum Hamiltonian which governs their dynamics. Often, such methods compare measurements to simulations of candidate Hamiltonians, a task which requires exponential computational complexity. Here, we propose efficient measurement schemes based on short-time dynamics which circumvent this exponential difficulty. We provide estimates for the optimal measurement schedule and reconstruction error, and verify these estimates numerically. We demonstrate that the reconstruction requires a system-size independent number of experimental shots, and identify a minimal set of state preparations and measurements which yields optimal accuracy for learning short-ranged Hamiltonians. Finally, we show how grouping of commuting observables and use of Hamiltonian symmetries improve the accuracy of the Hamiltonian reconstruction.


title: Maintaining an EDCS in General Graphs: Simpler, Density-Sensitive and with Worst-Case Time Bounds

abstract: In their breakthrough ICALP'15 paper, Bernstein and Stein presented an algorithm for maintaining a $(3/2+\epsilon)$-approximate maximum matching in fully dynamic {\em bipartite} graphs with a {\em worst-case} update time of $O_\epsilon(m^{1/4})$; we use the $O_\epsilon$ notation to suppress the $\epsilon$-dependence. Their main technical contribution was in presenting a new type of bounded-degree subgraph, which they named an {\em edge degree constrained subgraph (EDCS)}, which contains a large matching -- of size that is smaller than the maximum matching size of the entire graph by at most a factor of $3/2+\epsilon$. They demonstrate that the EDCS can be maintained with a worst-case update time of $O_\epsilon(m^{1/4})$, and their main result follows as a direct corollary. In their followup SODA'16 paper, Bernstein and Stein generalized their result for general graphs, achieving the same update time of $O_\epsilon(m^{1/4})$, albeit with an amortized rather than worst-case bound. To date, the best {\em deterministic} worst-case update time bound for {\em any} better-than-2 approximate matching is $O(\sqrt{m})$ [Neiman and Solomon, STOC'13], [Gupta and Peng, FOCS'13]; allowing randomization (against an oblivious adversary) one can achieve a much better (still polynomial) update time for approximation slightly below 2 [Behnezhad, Lacki and Mirrokni, SODA'20]. In this work we\footnote{\em quasi nanos, gigantium humeris insidentes} simplify the approach of Bernstein and Stein for bipartite graphs, which allows us to generalize it for general graphs while maintaining the same bound of $O_\epsilon(m^{1/4})$ on the {\em worst-case} update time. Moreover, our approach is {\em density-sensitive}: If the {\em arboricity} of the dynamic graph is bounded by $\alpha$ at all times, then the worst-case update time of the algorithm is $O_\epsilon(\sqrt{\alpha})$.


title: Towards Vivid and Diverse Image Colorization with Generative Color Prior

abstract: Colorization has attracted increasing interest in recent years. Classic reference-based methods usually rely on external color images for plausible results. A large image database or online search engine is inevitably required for retrieving such exemplars. Recent deep-learning-based methods could automatically colorize images at a low cost. However, unsatisfactory artifacts and incoherent colors are always accompanied. In this work, we propose GCP-Colorization that leverages the rich and diverse color priors encapsulated in a pretrained Generative Adversarial Networks (GAN) for automatic colorization. Specifically, we first "retrieve" matched features (similar to exemplars) via a GAN encoder and then incorporate these features into the colorization process with feature modulations. Thanks to the powerful generative color prior (GCP) and delicate designs, our GCP-Colorization could produce vivid colors with a single forward pass. Moreover, it is highly convenient to obtain diverse results by modifying GAN latent codes. GCP-Colorization also inherits the merit of interpretable controls of GANs and could attain controllable and smooth transitions by walking through GAN latent space. Extensive experiments and user studies demonstrate that GCP-Colorization achieves superior performance than previous works. Codes are available at https://github.com/ToTheBeginning/GCP-Colorization.


title: ImageBART: Bidirectional Context with Multinomial Diffusion for Autoregressive Image Synthesis

abstract: Autoregressive models and their sequential factorization of the data likelihood have recently demonstrated great potential for image representation and synthesis. Nevertheless, they incorporate image context in a linear 1D order by attending only to previously synthesized image patches above or to the left. Not only is this unidirectional, sequential bias of attention unnatural for images as it disregards large parts of a scene until synthesis is almost complete. It also processes the entire image on a single scale, thus ignoring more global contextual information up to the gist of the entire scene. As a remedy we incorporate a coarse-to-fine hierarchy of context by combining the autoregressive formulation with a multinomial diffusion process: Whereas a multistage diffusion process successively removes information to coarsen an image, we train a (short) Markov chain to invert this process. In each stage, the resulting autoregressive ImageBART model progressively incorporates context from previous stages in a coarse-to-fine manner. Experiments show greatly improved image modification capabilities over autoregressive models while also providing high-fidelity image generation, both of which are enabled through efficient training in a compressed latent space. Specifically, our approach can take unrestricted, user-provided masks into account to perform local image editing. Thus, in contrast to pure autoregressive models, it can solve free-form image inpainting and, in the case of conditional models, local, text-guided image modification without requiring mask-specific training.


title: Thin-Shell Approach for Modeling Superconducting Tapes in the $H$-$\phi$ Finite-Element Formulation

abstract: This paper presents a novel finite-element approach for the electromagnetic modeling of superconducting coated conductors. We combine a thin-shell (TS) method to the $H$-$\phi$ formulation to avoid the meshing difficulties related to the high aspect ratio of these conductors and reduce the computational burden in simulations. The interface boundary conditions in the TS method are defined using an auxiliary 1-D finite-element (FE) discretization of $N$ elements along the thinnest dimension of the conductor. This procedure permits the approximation of the superconductor's nonlinearities inside the TS in a time-transient analysis. Four application examples of increasing complexity are discussed: (i) single coated conductor, (ii) two closely packed conductors carrying anti-parallel currents, (iii) a stack of twenty superconducting tapes and a (iv) full representation of a HTS tape comprising a stack of thin films. In all these examples, the profiles of both the tangential and normal components of the magnetic field show good agreement with a reference solution obtained with standard $2$-D $H$-$\phi$ formulation. Results are also compared with the widely used $T$-$A$ formulation. This formulation is shown to be dual to the TS model with a single FE ($N=1$) in the auxiliary 1-D systems. The increase of $N$ in the TS model is shown to be advantageous at small inter-tape separation and low transport current since it allows the tangential components of the magnetic field to penetrate the thin region. The reduction in computational cost without compromising accuracy makes the proposed model promising for the simulation of large-scale superconducting applications.


title: Fine-grained Semantics-aware Representation Enhancement for Self-supervised Monocular Depth Estimation

abstract: Self-supervised monocular depth estimation has been widely studied, owing to its practical importance and recent promising improvements. However, most works suffer from limited supervision of photometric consistency, especially in weak texture regions and at object boundaries. To overcome this weakness, we propose novel ideas to improve self-supervised monocular depth estimation by leveraging cross-domain information, especially scene semantics. We focus on incorporating implicit semantic knowledge into geometric representation enhancement and suggest two ideas: a metric learning approach that exploits the semantics-guided local geometry to optimize intermediate depth representations and a novel feature fusion module that judiciously utilizes cross-modality between two heterogeneous feature representations. We comprehensively evaluate our methods on the KITTI dataset and demonstrate that our method outperforms state-of-the-art methods. The source code is available at https://github.com/hyBlue/FSRE-Depth.


title: Averaged mixed Julia-Fatou type theory with applications to spectral foliation

abstract: Classically, theorems of Fatou and Julia describe the boundary regularity of functions in one complex variable. The former says that a complex analytic function on the disk has non-tangential boundary values almost everywhere, and the latter describes when a function takes an extreme value at a boundary point and is differentiable there non-tangentially. We describe a class of intermediate theorems in terms of averaged Julia-Fatou quotients. Boundary regularity is related to integrability of certain quantities against a special measure, the so-called Nevanlinna measure. Applications are given to spectral theory.


title: U-match factorization: sparse homological algebra, lazy cycle representatives, and dualities in persistent (co)homology

abstract: Persistent homology is a leading tool in topological data analysis (TDA). Many problems in TDA can be solved via homological -- and indeed, linear -- algebra. However, matrices in this domain are typically large, with rows and columns numbered in billions. Low-rank approximation of such arrays typically destroys essential information; thus, new mathematical and computational paradigms are needed for very large, sparse matrices. We present the U-match matrix factorization scheme to address this challenge. U-match has two desirable features. First, it admits a compressed storage format that reduces the number of nonzero entries held in computer memory by one or more orders of magnitude over other common factorizations. Second, it permits direct solution of diverse problems in linear and homological algebra, without decompressing matrices stored in memory. These problems include look-up and retrieval of rows and columns; evaluation of birth/death times, and extraction of generators in persistent (co)homology; and, calculation of bases for boundary and cycle subspaces of filtered chain complexes. Such bases are key to unlocking a range of other topological techniques for use in TDA, and U-match factorization is designed to make such calculations broadly accessible to practitioners. As an application, we show that individual cycle representatives in persistent homology can be retrieved at time and memory costs orders of magnitude below current state of the art, via global duality. Moreover, the algebraic machinery needed to achieve this computation already exists in many modern solvers.


title: Inclusions of $C^*$-algebras arising from fixed-point algebras

abstract: We examine inclusions of $C^*$-algebras of the form $A^H \subseteq A \rtimes_{r} G$, where $G$ and $H$ are groups acting on a unital simple $C^*$-algebra $A$ by outer automorphisms and $H$ is finite. It follows from a theorem of Izumi that $A^H \subseteq A$ is $C^*$-irreducible, in the sense that all intermediate $C^*$-algebras are simple. We show that $A^H \subseteq A \rtimes_{r} G$ is $C^*$-irreducible for all $G$ and $H$ as above if and only if $G$ and $H$ have trivial intersection in the outer automorphisms of $A$, and we give a Galois type classification of all intermediate $C^*$-algebras in the case when $H$ is abelian and the two actions of $G$ and $H$ on $A$ commute. We illustrate these results with examples of outer group actions on the irrational rotation $C^*$-algebras. We exhibit, among other examples, $C^*$-irreducible inclusions of AF-algebras that have intermediate $C^*$-algebras that are not AF-algebras, in fact, the irrational rotation $C^*$-algebra appears as an intermediate $C^*$-algebra.


title: Modulated phases in a spin model with Dzyaloshinskii-Moriya interactions

abstract: We analyze the phase diagram of an elementary statistical lattice model of classical, discrete, spin variables, with nearest-neighbor ferro-magnetic isotropic interactions in competition with chiral interactions along an axis. At the mean-field level, we show the existence of para-magnetic lines of transition to a region of modulated (helimagnetic) structures. We then turn to the analysis of the analogous problem on a Cayley tree. Taking into account the simplicity introduced by the infinite-coordination limit of the tree, we explore several details of the phase diagrams in terms of temperature and a parameter of competition. In particular, we characterize sequences of modulated (helical) structures associated with devil's staircases of a fractal character.


title: Microscopic Theory for the Incoherent Resonant and Coherent Off-Resonant Optical Response of Tellurium

abstract: An $\it{ab \,\, initio}$ based fully microscopic approach is applied to study the nonlinear optical response of bulk Tellurium. The structural and electronic properties are calculated from first principles using the shLDA-1/2 method within density functional theory. The resulting bandstructure and dipole matrix elements serve as input for the quantum mechanical evaluation of the anisotropic linear optical absorption spectra yielding results in excellent agreement with published experimental data. Assuming quasi-equilibrium carrier distributions in the conduction and valence bands, absorption/gain and spontaneous emission spectra are computed from the semiconductor Bloch and luminescence equations. For ultrafast intense off-resonant excitation, the generation of high-harmonics is evaluated and the emission spectra are calculated for samples of different thickness.


title: One dimensional gapped quantum phases and enriched fusion categories

abstract: In this work, we use Ising chain and Kitaev chain to check the validity of an earlier proposal in arXiv:2011.02859 that enriched fusion (higher) categories provide a unified categorical description of all gapped/gapless quantum liquid phases, including symmetry-breaking phases, topological orders, SPT/SET orders and certain gapless quantum phases. In particular, we show explicitly that, in each gapped phase realized by these two models, the spacetime observables form a fusion category enriched in a braided fusion category. We also study the categorical descriptions of the boundaries of these models. In the end, we provide a classification of and the categorical descriptions of all 1-dimensional (the spatial dimension) gapped quantum phases with a finite onsite symmetry.


title: Multi-Object Tracking with Hallucinated and Unlabeled Videos

abstract: In this paper, we explore learning end-to-end deep neural trackers without tracking annotations. This is important as large-scale training data is essential for training deep neural trackers while tracking annotations are expensive to acquire. In place of tracking annotations, we first hallucinate videos from images with bounding box annotations using zoom-in/out motion transformations to obtain free tracking labels. We add video simulation augmentations to create a diverse tracking dataset, albeit with simple motion. Next, to tackle harder tracking cases, we mine hard examples across an unlabeled pool of real videos with a tracker trained on our hallucinated video data. For hard example mining, we propose an optimization-based connecting process to first identify and then rectify hard examples from the pool of unlabeled videos. Finally, we train our tracker jointly on hallucinated data and mined hard video examples. Our weakly supervised tracker achieves state-of-the-art performance on the MOT17 and TAO-person datasets. On MOT17, we further demonstrate that the combination of our self-generated data and the existing manually-annotated data leads to additional improvements.


title: Limit cycles turn active matter into robots

abstract: Active matter composed of energy-generating microscopic constituents is a promising platform to create autonomous functional materials. However, the very presence of these microscopic energy sources is what makes active matter prone to dynamical instabilities and hence hard to control. Here, we show that these instabilities can be coaxed into work-generating limit cycles that turn active matter into robots. We illustrate this general principle in odd active media, model systems whose interaction forces are as simple as textbook molecular bonds yet not constrained to be the gradient of a potential. These emergent robotic functionalities are demonstrated by revisiting what is arguably the oldest of inventions: the wheel. Unlike common wheels that are driven by external torques, an odd wheel undergoes work-generating limit cycles that allow it to roll autonomously uphill by virtue of its own deformation, as demonstrated by our prototypes. Similarly, familiar scattering phenomena, like a ball bouncing off a wall, turn into basic robotic manipulations when either the ball or the wall is odd. Using continuum mechanics, we reveal collective robotic mechanisms that steer the outcome of collisions or influence the absorption of impacts in experiments. Beyond robotics, work-generating limit cycles can also control the non-linear dynamics of active soft materials, biological systems and driven nanomechanical devices.


title: Description logics as polyadic modal logics

abstract: We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a concrete system to illustrate our approach, we investigate the polyadic version of ALC extended with relational permutation operators and tuple counting. The focus of the paper is conceptual rather than technical.


title: PoinTr: Diverse Point Cloud Completion with Geometry-Aware Transformers

abstract: Point clouds captured in real-world applications are often incomplete due to the limited sensor resolution, single viewpoint, and occlusion. Therefore, recovering the complete point clouds from partial ones becomes an indispensable task in many practical applications. In this paper, we present a new method that reformulates point cloud completion as a set-to-set translation problem and design a new model, called PoinTr that adopts a transformer encoder-decoder architecture for point cloud completion. By representing the point cloud as a set of unordered groups of points with position embeddings, we convert the point cloud to a sequence of point proxies and employ the transformers for point cloud generation. To facilitate transformers to better leverage the inductive bias about 3D geometric structures of point clouds, we further devise a geometry-aware block that models the local geometric relationships explicitly. The migration of transformers enables our model to better learn structural knowledge and preserve detailed information for point cloud completion. Furthermore, we propose two more challenging benchmarks with more diverse incomplete point clouds that can better reflect the real-world scenarios to promote future research. Experimental results show that our method outperforms state-of-the-art methods by a large margin on both the new benchmarks and the existing ones. Code is available at https://github.com/yuxumin/PoinTr


title: Observation of the BKT Transition in a 2D Bose Gas via Matter-Wave Interferometry

abstract: We probe local phase fluctuations of trapped two-dimensional (2D) Bose gases using matter-wave interferometry. This enables us to measure the phase correlation function, which changes from an algebraic to an exponential decay when the system crosses the Berezinskii-Kosterlitz-Thouless (BKT) transition. We determine the temperature dependence of the BKT exponent $\eta$ and find the critical value $\eta_c = 0.17(3)$ for our trapped system. Furthermore, we measure the local vortex density as a function of the local phase-space density, which shows a scale-invariant behaviour across the transition. Our experimental investigation is supported by Monte Carlo simulations and provides a comprehensive understanding of the BKT transition in a trapped system.


title: Graph-to-3D: End-to-End Generation and Manipulation of 3D Scenes Using Scene Graphs

abstract: Controllable scene synthesis consists of generating 3D information that satisfy underlying specifications. Thereby, these specifications should be abstract, i.e. allowing easy user interaction, whilst providing enough interface for detailed control. Scene graphs are representations of a scene, composed of objects (nodes) and inter-object relationships (edges), proven to be particularly suited for this task, as they allow for semantic control on the generated content. Previous works tackling this task often rely on synthetic data, and retrieve object meshes, which naturally limits the generation capabilities. To circumvent this issue, we instead propose the first work that directly generates shapes from a scene graph in an end-to-end manner. In addition, we show that the same model supports scene modification, using the respective scene graph as interface. Leveraging Graph Convolutional Networks (GCN) we train a variational Auto-Encoder on top of the object and edge categories, as well as 3D shapes and scene layouts, allowing latter sampling of new scenes and shapes.


title: EDEN: Communication-Efficient and Robust Distributed Mean Estimation for Federated Learning

abstract: Distributed Mean Estimation (DME) is a central building block in federated learning, where clients send local gradients to a parameter server for averaging and updating the model. Due to communication constraints, clients often use lossy compression techniques to compress the gradients, resulting in estimation inaccuracies. DME is more challenging when clients have diverse network conditions, such as constrained communication budgets and packet losses. In such settings, DME techniques often incur a significant increase in the estimation error leading to degraded learning performance. In this work, we propose a robust DME technique named EDEN that naturally handles heterogeneous communication budgets and packet losses. We derive appealing theoretical guarantees for EDEN and evaluate it empirically. Our results demonstrate that EDEN consistently improves over state-of-the-art DME techniques.


title: Learning Equilibria in Matching Markets from Bandit Feedback

abstract: Large-scale, two-sided matching platforms must find market outcomes that align with user preferences while simultaneously learning these preferences from data. Classical notions of stability (Gale and Shapley, 1962; Shapley and Shubik, 1971) are unfortunately of limited value in the learning setting, given that preferences are inherently uncertain and destabilizing while they are being learned. To bridge this gap, we develop a framework and algorithms for learning stable market outcomes under uncertainty. Our primary setting is matching with transferable utilities, where the platform both matches agents and sets monetary transfers between them. We design an incentive-aware learning objective that captures the distance of a market outcome from equilibrium. Using this objective, we analyze the complexity of learning as a function of preference structure, casting learning as a stochastic multi-armed bandit problem. Algorithmically, we show that "optimism in the face of uncertainty," the principle underlying many bandit algorithms, applies to a primal-dual formulation of matching with transfers and leads to near-optimal regret bounds. Our work takes a first step toward elucidating when and how stable matchings arise in large, data-driven marketplaces.


title: Gravity-Aware Monocular 3D Human-Object Reconstruction

abstract: This paper proposes GraviCap, i.e., a new approach for joint markerless 3D human motion capture and object trajectory estimation from monocular RGB videos. We focus on scenes with objects partially observed during a free flight. In contrast to existing monocular methods, we can recover scale, object trajectories as well as human bone lengths in meters and the ground plane's orientation, thanks to the awareness of the gravity constraining object motions. Our objective function is parametrised by the object's initial velocity and position, gravity direction and focal length, and jointly optimised for one or several free flight episodes. The proposed human-object interaction constraints ensure geometric consistency of the 3D reconstructions and improved physical plausibility of human poses compared to the unconstrained case. We evaluate GraviCap on a new dataset with ground-truth annotations for persons and different objects undergoing free flights. In the experiments, our approach achieves state-of-the-art accuracy in 3D human motion capture on various metrics. We urge the reader to watch our supplementary video. Both the source code and the dataset are released; see http://4dqv.mpi-inf.mpg.de/GraviCap/.


title: PyParSVD: A streaming, distributed and randomized singular-value-decomposition library

abstract: We introduce PyParSVD\footnote{https://github.com/Romit-Maulik/PyParSVD}, a Python library that implements a streaming, distributed and randomized algorithm for the singular value decomposition. To demonstrate its effectiveness, we extract coherent structures from scientific data. Futhermore, we show weak scaling assessments on up to 256 nodes of the Theta machine at Argonne Leadership Computing Facility, demonstrating potential for large-scale data analyses of practical data sets.

categories: cs.MS cs.DC physics.ao-ph physics.flu-dyn


title: Personalized next-best action recommendation with multi-party interaction learning for automated decision-making

abstract: Automated next-best action recommendation for each customer in a sequential, dynamic and interactive context has been widely needed in natural, social and business decision-making. Personalized next-best action recommendation must involve past, current and future customer demographics and circumstances (states) and behaviors, long-range sequential interactions between customers and decision-makers, multi-sequence interactions between states, behaviors and actions, and their reactions to their counterpart's actions. No existing modeling theories and tools, including Markovian decision processes, user and behavior modeling, deep sequential modeling, and personalized sequential recommendation, can quantify such complex decision-making on a personal level. We take a data-driven approach to learn the next-best actions for personalized decision-making by a reinforced coupled recurrent neural network (CRN). CRN represents multiple coupled dynamic sequences of a customer's historical and current states, responses to decision-makers' actions, decision rewards to actions, and learns long-term multi-sequence interactions between parties (customer and decision-maker). Next-best actions are then recommended on each customer at a time point to change their state for an optimal decision-making objective. Our study demonstrates the potential of personalized deep learning of multi-sequence interactions and automated dynamic intervention for personalized decision-making in complex systems.


title: Machine learning-based multiscale constitutive modelling: Development and application to dual-porosity mass transfer

abstract: In multiscale modelling, multiple models are used simultaneously to describe scale-dependent phenomena in a system of interest. Here we introduce a machine learning (ML)-based multiscale modelling framework for modelling hierarchical multiscale problems. In these problems, closure relations are required for the macroscopic problem in the form of constitutive relations. However, forming explicit closures for nonlinear and hysteretic processes remains challenging. Instead, we provide a framework for learning constitutive mappings given microscale data generated according to micro and macro transitions governed by two-scale homogenisation rules. The resulting data-driven model is then coupled to a macroscale simulator leading to a hybrid ML-physics-based modelling approach. Accordingly, we apply the multiscale framework within the context of transient phenomena in dual-porosity geomaterials. In these materials, the inter-porosity flow is a complex time-dependent function making its adoption within flow simulators challenging. We explore nonlinear feedforward autoregressive ML strategies for the constitutive modelling of this sequential problem. We demonstrate how to inject the resulting surrogate constitutive model into a simulator. We then compare the resulting hybrid approach to traditional dual-porosity and microscale models on a variety of tests. We show the hybrid approach to give high-quality results with respect to explicit microscale simulations without the computational burden of the latter. Lastly, the steps provided by the multiscale framework herein are sufficiently general to be applied to a variety of multiscale settings, using different data generation and learning techniques accordingly.


title: On the relation between quantum theory and probability

abstract: The theory of probability and the quantum theory, the one mathematical and the other physical, are related in that each admits a number of very different interpretations. It has been proposed that the conceptual problems of the quantum theory could be, if not resolved, at least mitigated by a proper interpretation of probability. We rather show, through a historical and analytical overview of probability and quantum theory, that if some interpretations of the one and the other go along particularly well, none follows in a unique way.


title: Field moment expansion method for interacting Bosonic systems

abstract: We introduce a numerical method and python package, https://github.com/andillio/CHiMES, that simulates quantum systems initially well approximated by mean field theory using a second order extension of the classical field approach. We call this the field moment expansion method. In this way, we can accurately approximate the evolution of first and second field moments beyond where the mean field theory breaks down. This allows us to estimate the quantum breaktime of a classical approximation without any calculations external to the theory. We investigate the accuracy of the field moment expansion using a number of well studied quantum test problems. Interacting Bosonic systems similar to scalar field dark matter are chosen as test problems. We find that successful application of this method depends on two conditions: the quantum system must initially be well described by the classical theory, and that the growth of the higher order moments be hierarchical.


title: Chemodynamics of metal-poor wide binaries in the Galactic halo: Association with the Sequoia event

abstract: Recently, an increasing number of wide binaries has been discovered. Their chemical and dynamical properties are studied through extensive surveys and pointed observations. However, the formation of these wide binaries is far from clear, although several scenarios have been suggested. In order to investigate the chemical compositions of these systems, we analysed high-resolution spectroscopy of three wide binary pairs belonging to the Galactic halo. In total, another three candidates from our original sample of 11 candidates observed at various resolutions with various instruments were refuted as co-moving pairs because their radial velocities are significantly different. Within our sample of wide binaries, we found homogeneity amongst the pair components in dynamical properties (proper motion and line-of-sight velocities) and also in chemical composition. Their metallicities are -1.16, -1.42, and -0.79 dex in [Fe/H] for each wide binary pair, which places these stars on the metal-poor side of wide binaries reported in the literature. In particular, the most metal-poor pair in our sample (WB2 = HD134439/HD134440) shows a lower [$\alpha$/Fe] abundance ratio than Milky Way field stars, which is a clear signature of an accreted object. We also confirmed that this wide binary shares remarkably similar orbital properties with stars and globular clusters associated with the Sequoia event. Thus, it appears that the WB2 pair was formed in a dwarf galaxy environment and subsequently dissolved into the Milky Way halo. Although the other two wide binaries appear to arise from a different formation mechanism, our results provide a novel opportunity for understanding the formation of wide binaries and the assembly process of the Milky Way.


title: H-Alpha Variability of V1298 Tau c

abstract: The 23 Myr system V1298 Tau hosts four transiting planets and is a valuable laboratory for exploring the early stages of planet evolution soon after formation of the star. We observe the innermost planet, V1298 Tau c, during transit using LBT PEPSI to obtain high spectral resolution characterization of escaping material near the H-alpha line. We find no strong evidence for atmospheric material escaping at the orbital velocity of the planet. Instead, we find a deep stellar feature that is variable on the few percent level, similar to a previous observation of the planet and can be explained by stellar activity. We attempted to monitor the broadband optical transit with LBT MODS but do not achieve the precision needed to characterize the atmosphere or improve the ephemeris.


title: Search for dark-photon dark matter in the SuperMAG geomagnetic field dataset

abstract: In our recent companion paper [arXiv:2106.00022], we pointed out a novel signature of ultralight kinetically mixed dark-photon dark matter. This signature is a quasi-monochromatic, time-oscillating terrestrial magnetic field that takes a particular pattern over the surface of the Earth. In this work, we present a search for this signal in existing, unshielded magnetometer data recorded by geographically dispersed, geomagnetic stations. The dataset comes from the SuperMAG Collaboration and consists of measurements taken with one-minute cadence since 1970, with $\mathcal{O}(500)$ stations contributing in all. We aggregate the magnetic field measurements from all stations by projecting them onto a small set of global vector spherical harmonics (VSH) that capture the expected vectorial pattern of the signal at each station. Within each dark-photon coherence time, we use a data-driven technique to estimate the broadband background noise in the data, and search for excess narrowband power in this set of VSH components; we stack the searches in distinct coherence times incoherently. Following a Bayesian analysis approach that allows us to account for the stochastic nature of the dark-photon dark-matter field, we set exclusion bounds on the kinetic mixing parameter in the dark-photon dark-matter mass range $2\times10^{-18}\,\text{eV} \lesssim m_{A'} \lesssim 7\times10^{-17}\,\text{eV}$ (corresponding to frequencies $6\times 10^{-4}\,\text{Hz}\lesssim f_{A'} \lesssim 2\times 10^{-2}\,\text{Hz}$). These limits are complementary to various existing astrophysical constraints. Although our main analysis also identifies a number of candidate signals in the SuperMAG dataset, these appear to either fail or be in tension with various additional robustness checks we apply to those candidates. We report no robust and significant evidence for a dark-photon dark-matter signal in the SuperMAG dataset.


title: Breaking the limits of purification: Postselection enhances heat-bath algorithmic cooling

abstract: Quantum technologies require pure states, which are often generated by extreme refrigeration. Heat-bath algorithmic cooling is the theoretically optimal refrigeration technique: it shuttles entropy from a multiparticle system to a thermal bath, thereby generating a quantum state with a high degree of purity. Here, we show how to surpass this hitherto-optimal technique by taking advantage of a single binary-outcome measurement. Our protocols can create arbitrary numbers of pure quantum states without any residual mixedness by using a recently discovered device known as a quantum switch to put two operations in superposition, with postselection certifying the complete purification.


title: Higher-dimensional Euclidean and non-Euclidean structures in planar circuit quantum electrodynamics

abstract: We show that a recent proposal for simulating planar hyperbolic lattices with circuit quantum electrodynamics can be extended to accommodate also higher dimensional lattices in Euclidean and non-Euclidean spaces if one allows for circuits with more than three polygons at each vertex. The quantum dynamics of these circuits, which can be constructed with present-day technology, are governed by effective tight-binding Hamiltonians corresponding to higher-dimensional Kagom\'{e}-like structures ($n$-dimensional zeolites), which are well known to exhibit strong frustration and flat bands. We analyze the relevant spectra of these systems and derive an exact expression for the fraction of flat-band states. Our results expand considerably the range of non-Euclidean geometry realizations with circuit quantum electrodynamics.


title: Quantum Maxwell's Demon Assisted by Non-Markovian Effects

abstract: Maxwell's demon is the quintessential example of information control, which is necessary for designing quantum devices. In thermodynamics, the demon is an intelligent being who utilizes the entropic nature of information to sort excitations between reservoirs, thus lowering the total entropy. So far, implementations of Maxwell's demon have largely been limited to Markovian baths. In our work, we study the degree to which such a demon may be assisted by non-Markovian effects using a superconducting circuit platform. The setup is two baths connected by a demon-controlled qutrit interface, allowing the transfer of excitations only if the overall entropy of the two baths is lowered. The largest entropy reduction is achieved in a non-Markovian regime, and importantly, due to non-Markovian effects, the demon performance can be optimized through proper timing. Our results demonstrate that non-Markovian effects can be exploited to boost the information transfer rate in quantum Maxwell demons.


title: The ALFALFA HI velocity width function

abstract: We make the most precise determination to date of the number density of extragalactic 21-cm radio sources as a function of their spectral line widths - the HI velocity width function (HIWF) - based on 21827 sources from the final 7000 deg$^2$ data release of the Arecibo Legacy Fast ALFA (ALFALFA) survey. The number density of sources as a function of their neutral hydrogen masses - the HI mass function (HIMF) - has previously been reported to have a significantly different low-mass slope and 'knee mass' in the two sky regions surveyed during ALFALFA. In contrast with this, we find that the shape of the HIWF in the same two sky regions is remarkably similar, consistent with being identical within the confidence intervals implied by the data (but the overall normalisation differs). The spatial uniformity of the HIWF implies that it is likely a stable tracer of the mass function of dark matter haloes, in spite of the environmental processes to which the measured variation in the HIMF are attributed, at least for galaxies containing enough neutral hydrogen to be detected. This insensitivity of the HIWF to galaxy formation and evolution can be exploited to turn it into a powerful constraint on cosmological models as future surveys yield increasingly precise measurements. We also report on the possible influence of a previously overlooked systematic error affecting the HIWF, which may plausibly see its low-velocity slope steepen by $\sim$40 per cent in analyses of future, deeper surveys. Finally, we provide an updated estimate of the ALFALFA completeness limit.


title: Testing the Relationship Between Bursty Star Formation and Size Fluctuations of Local Dwarf Galaxies

abstract: Stellar feedback in dwarf galaxies plays a critical role in regulating star formation via galaxy-scale winds. Recent hydrodynamical zoom simulations of dwarf galaxies predict that the periodic outward flow of gas can change the gravitational potential sufficiently to cause radial migration of stars. To test the effect of bursty star formation on stellar migration, we examine star formation observables and sizes of 86 local dwarf galaxies. We find a correlation between the R-band half-light radius (R$_e$) and far-UV luminosity (L$_{FUV}$) for stellar masses below 10$^8 $ M$_{\odot}$ and a weak correlation between the R$_e$ and H$\alpha$ luminosity (L$_{H\alpha}$). We produce mock observations of eight low-mass galaxies from the FIRE-2 cosmological simulations and measure the similarity of the time sequences of R$_e$ and a number of star formation indicators with different timescales. Major episodes of R$_e$ time sequence align very well with the major episodes of star formation, with a delay of $\sim$ 50 Myrs. This correlation decreases towards SFR indicators of shorter timescales such that $R_e$ is weakly correlated with L$_{FUV}$ (10-100 Myr timescale) and is completely uncorrelated with L$_{H\alpha}$ (a few Myr timescale), in agreement with the observations. Our findings based on FIRE-2 suggest that the R-band size of a galaxy reacts to star formation variations on a $\sim50$ Myr timescale. With the advent of a new generation of large space telescopes (e.g., JWST), this effect can be examined explicitly in galaxies at higher redshifts where bursty star formation is more prominent.


title: Well-posedness of the Dean--Kawasaki and the nonlinear Dawson--Watanabe equation with correlated noise

abstract: In this paper we prove the well-posedness of the generalized Dean--Kawasaki equation driven by noise that is white in time and colored in space. The results treat diffusion coefficients that are only locally 1/2-H\"older continuous, including the square root. This solves several open problems, including the well-posedness of the Dean--Kawasaki equation and the nonlinear Dawson--Watanabe equation with correlated noise.


title: Solving Conformal Field Theories with Artificial Intelligence

abstract: In this paper we deploy for the first time Reinforcement-Learning algorithms in the context of the conformal-bootstrap programme to obtain numerical solutions of conformal field theories (CFTs). As an illustration, we use a soft Actor-Critic algorithm and find approximate solutions to the truncated crossing equations of two-dimensional CFTs, successfully identifying well-known theories like the 2D Ising model and the 2D CFT of a compactified scalar. Our methods can perform efficient high-dimensional searches that can be used to study arbitrary (unitary or non-unitary) CFTs in any spacetime dimension.


title: Chemical Cartography with APOGEE: Mapping Disk Populations with a Two-Process Model and Residual Abundances

abstract: We apply a novel statistical analysis to measurements of 16 elemental abundances in 34,410 Milky Way disk stars from the final data release (DR17) of APOGEE-2. Building on recent work, we fit median abundance ratio trends [X/Mg] vs. [Mg/H] with a 2-process model, which decomposes abundance patterns into a "prompt" component tracing core collapse supernovae and a "delayed" component tracing Type Ia supernovae. For each sample star, we fit the amplitudes of these two components, then compute the residuals \Delta[X/H] from this two-parameter fit. The rms residuals range from ~0.01-0.03 dex for the most precisely measured APOGEE abundances to ~0.1 dex for Na, V, and Ce. The correlations of residuals reveal a complex underlying structure, including a correlated element group comprised of Ca, Na, Al, K, Cr, and Ce and a separate group comprised of Ni, V, Mn, and Co. Selecting stars poorly fit by the 2-process model reveals a rich variety of physical outliers and sometimes subtle measurement errors. Residual abundances allow comparison of populations controlled for differences in metallicity and [\alpha/Fe]. Relative to the main disk (R=3-13 kpc, |Z|<2 kpc), we find nearly identical abundance patterns in the outer disk (R=15-17 kpc), 0.05-0.2 dex depressions of multiple elements in LMC and Gaia Sausage/Enceladus stars, and wild deviations (0.4-1 dex) of multiple elements in \omega Cen. Residual abundance analysis opens new opportunities for discovering chemically distinctive stars and stellar populations, for empirically constraining nucleosynthetic yields, and for testing chemical evolution models that include stochasticity in the production and redistribution of elements.


title: Logarithmic, noise-induced dynamics in the Anderson insulator

abstract: We study the dynamical behavior of the Anderson insulator in the presence of a local noise. We show that the noise induces logarithmically slow energy and entanglement growth, until the system reaches an infinite-temperature state, where both quantities saturate to extensive values. The saturation value of the entanglement entropy approaches the average entanglement entropy over all possible product states. At infinite temperature, we find that a density excitation spreads logarithmically with time, without any signs of asymptotic diffusive behavior. In addition, we provide a theoretical picture which qualitatively reproduces the phenomenology of particle transport.


title: Chiral pair density wave states generated by spin supercurrents

abstract: We report that spin supercurrents in magnetic superconductors and superconductor/ferromagnetic insulator bilayers can induce the Dzyaloshinskii-Moriya interaction which strength is proportional to the superconducting order parameter amplitude. This effect leads to the existence of inhomogeneous parity-breaking ground states combining the chiral magnetic helix and the pair density wave orders. The formation of such states takes place via the penetration of chiral domain walls at the threshold temperature below the superconducting transition. We find regimes with both the single and the re-entrant transitions into the inhomogeneous states with decreasing temperature. The predicted hybrid chiral states can be found in the existing structures with realistic parameters and materials combinations.


title: Emulation of baryonic effects on the matter power spectrum and constraints from galaxy cluster data

abstract: Baryonic feedback effects consist of a major systematic for upcoming weak-lensing and galaxy-clustering surveys. In this paper, we present an emulator for the baryonic suppression of the matter power spectrum. The emulator is based on the baryonification model, containing seven free parameters that are connected to the gas profiles and stellar abundances in haloes. We show that with the baryonic emulator, we can not only recover the power spectra of hydro-dynamical simulations at sub-percent precision but also establish a connection between the baryonic suppression of the power spectrum and the gas and stellar fractions in haloes. This connection allows us to predict the expected deviation from a dark-matter-only power spectrum using measured X-ray gas fractions of galaxy groups and clusters. With these measurements, we constrain the suppression to exceed the percent-level at k = 0.1-0.4 h/Mpc and to reach a maximum of 20-28 percent at around k = 7 h/Mpc (68 percent confidence level). As a further step, we also perform a detailed parameter study and we present a minimum set of four baryonic parameters that are required to recover the scale and redshift dependence observed in hydro-dynamical simulations. The baryonic emulator can be found at https://github.com/sambit-giri/BCemu.


title: Partitioned K-nearest neighbor local depth for scalable comparison-based learning

abstract: A triplet comparison oracle on a set $S$ takes an object $x \in S$ and for any pair $\{y, z\} \subset S \setminus \{x\}$ declares which of $y$ and $z$ is more similar to $x$. Partitioned Local Depth (PaLD) supplies a principled non-parametric partitioning of $S$ under such triplet comparisons but needs $O(n^2 \log{n})$ oracle calls and $O(n^3)$ post-processing steps. We introduce Partitioned Nearest Neighbors Local Depth (PaNNLD), a computationally tractable variant of PaLD leveraging the $K$-nearest neighbors digraph on $S$. PaNNLD needs only $O(n K \log{n})$ oracle calls, by replacing an oracle call by a coin flip when neither $y$ nor $z$ is adjacent to $x$ in the undirected version of the $K$-nearest neighbors digraph. By averaging over randomizations, PaNNLD subsequently requires (at best) only $O(n K^2)$ post-processing steps. Concentration of measure shows that the probability of randomization-induced error $\delta$ in PaNNLD is no more than $2 e^{-\delta^2 K^2}$.


title: Pendant 3-tree Connectivity of Augmented Cubes

abstract: The Steiner tree problem in graphs has applications in network design or circuit layout. Given a set $S$ of vertices, $|S| \geq 2,$ a tree connecting all vertices of $S$ is called an $S$-Steiner tree (tree connecting $S$). The reliability of a network $G$ to connect any $S$ vertices ($|S|$ number of vertices) in $G$ can be measure by this parameter. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then that tree is called a pendant S-Steiner tree. Two pendant $S$-Steiner trees $T$ and $T'$ are said to be internally disjoint if $E(T) \cap E(T') = \emptyset$ and $V(T) \cap V(T') = S.$ The local pendant tree-connectivity $\tau_{G}(S)$ is the maximum number of internally disjoint pendant $S$-Steiner trees in $G.$ For an integer $k$ with $2 \leq k \leq n,$ the pendant k-tree-connectivity is defined as $\tau_{k}(G) = min\{ \tau_{G}(S) : S \subseteq V(G), |S| = k\}.$ In this paper, we study the pendant $3$-tree connectivity of Augmented cubes which are modifications of hypercubes invented to increase the connectivity and decrease the diameter hence superior to hypercubes. We show that $\tau_3(AQ_n) = 2n-3.$ , which attains the upper bound of $\tau_3(G)$ given by Hager, for $G = AQ_n$.


title: Stability and Stabilization of Coupled Jump Diffusions and Applications

abstract: This paper develops stability and stabilization results for systems of fully coupled jump diffusions. Such systems frequently arise in numerous applications where each subsystem (component) is operated under the influence of other subsystems (components). This paper derives sufficient conditions under which the underlying coupled jump diffusion is stable. The results are then applied to investigate the stability of linearizable jump diffusions, fast-slow coupled jump diffusions. Moreover, weak stabilization of interacting systems and consensus of leader-following systems are examined.


title: Measurement of $\sigma(e^+e^- \to HZ) \times {\cal B}r(H \to ZZ^*)$ at the 250 GeV ILC

abstract: We report on studies of the $e^+e^- \to HZ$ process with the subsequent decay of the Higgs boson $H \to Z Z^\star$, where the $Z Z^\star$ combination is reconstructed in the final states with two jets and two leptons. The analysis is performed using Monte Carlo data samples obtained with detailed ILD detector simulation assuming the integrated luminosity 2 ab$^{-1}$, the beam polarizations ${\cal{P}}_{e^-e^+} = (-0.8, +0.3)$, and the center-of-mass energy $\sqrt{s}$ = 250 GeV. The analysis is also repeated for the case of two 0.9 ab$^{-1}$ data samples with polarizations ${\cal{P}}_{e^-e^+} = (\mp0.8, \pm0.3)$. The process is measured in four decay channels, which correspond to two combinations for the Higgs final states and two decay modes of the directly produced $Z$ boson, $Z \to q \bar{q}$ and $Z \to \nu \bar{\nu}$. To obtain the Higgs boson mass distributions, we used the variables $M(jj\ell\ell)$ and $M_{\Delta} = M(jj\ell\ell) - M(jj) + M(Z_{\rm nom})$, where $M(Z_{\rm nom})$ = 91.2 GeV. Contributions of the potential background processes are taken into account based on the available MC event samples. We propose a model-independent method for obtaining the width of the Higgs boson using the measurement of the $e^+e^- \to HZ$ process.


title: MOFit: A Framework to reduce Obesity using Machine learning and IoT

abstract: From the past few years, due to advancements in technologies, the sedentary living style in urban areas is at its peak. This results in individuals getting a victim of obesity at an early age. There are various health impacts of obesity like Diabetes, Heart disease, Blood pressure problems, and many more. Machine learning from the past few years is showing its implications in all expertise like forecasting, healthcare, medical imaging, sentiment analysis, etc. In this work, we aim to provide a framework that uses machine learning algorithms namely, Random Forest, Decision Tree, XGBoost, Extra Trees, and KNN to train models that would help predict obesity levels (Classification), Bodyweight, and fat percentage levels (Regression) using various parameters. We also applied and compared various hyperparameter optimization (HPO) algorithms such as Genetic algorithm, Random Search, Grid Search, Optuna to further improve the accuracy of the models. The website framework contains various other features like making customizable Diet plans, workout plans, and a dashboard to track the progress. The framework is built using the Python Flask. Furthermore, a weighing scale using the Internet of Things (IoT) is also integrated into the framework to track calories and macronutrients from food intake.


title: Partial regularity for local minimizers of variational integrals with lower order terms

abstract: We consider functionals of the form $$\mathcal{F}(u):=\int_\Omega\!F(x,u,\nabla u)\,\mathrm{d} x,$$ where $\Omega\subseteq\mathbb{R}^n$ is open and bounded. The integrand $F\colon\Omega\times\mathbb{R}^N\times\mathbb{R}^{N\times n}\to\mathbb{R}$ is assumed to satisfy the classical assumptions of a power $p$-growth and the corresponding strong quasiconvexity. In addition, $F$ is H\"older continuous with exponent $2\beta\in(0,1)$ in its first two variables uniformly with respect to the third variable, and bounded below by a quasiconvex function depending only on $z\in\mathbb{R}^{N\times n}$. We establish that strong local minimizers of $\mathcal{F}$ are of class $\mathrm{C}^{1,\beta}$ in an open subset $\Omega_0\subseteq\Omega$ with $\mathcal{L}^n(\Omega\setminus\Omega_0)=0$. This partial regularity also holds for a certain class of weak local minimizers at which the second variation is strongly positive and satisfying a $\mathrm{BMO}$-smallness condition. This extends the partial regularity result for local minimizers by Kristensen and Taheri (2003) to the case where the integrand depends also on $u$. Furthermore, we provide a direct strategy for this result, in contrast to the blow-up argument used for the case of homogeneous integrands.


title: Topo2vec: Topography Embedding Using the Fractal Effect

abstract: Recent advances in deep learning have transformed many fields by introducing generic embedding spaces, capable of achieving great predictive performance with minimal labeling effort. The geology field has not yet met such success. In this work, we introduce an extension for self-supervised learning techniques tailored for exploiting the fractal-effect in remote-sensing images. The fractal-effect assumes that the same structures (for example rivers, peaks and saddles) will appear in all scales. We demonstrate our method's effectiveness on elevation data, we also use the effect in inference. We perform an extensive analysis on several classification tasks and emphasize its effectiveness in detecting the same class on different scales. To the best of our knowledge, it is the first attempt to build a generic representation for topographic images.


title: Structure Learning for Directed Trees

abstract: Knowing the causal structure of a system is of fundamental interest in many areas of science and can aid the design of prediction algorithms that work well under manipulations to the system. The causal structure becomes identifiable from the observational distribution under certain restrictions. To learn the structure from data, score-based methods evaluate different graphs according to the quality of their fits. However, for large, continuous, and nonlinear models, these rely on heuristic optimization approaches with no general guarantees of recovering the true causal structure. In this paper, we consider structure learning of directed trees. We propose a fast and scalable method based on Chu-Liu-Edmonds' algorithm we call causal additive trees (CAT). For the case of Gaussian errors, we prove consistency in an asymptotic regime with a vanishing identifiability gap. We also introduce two methods for testing substructure hypotheses with asymptotic family-wise error rate control that is valid post-selection and in unidentified settings. Furthermore, we study the identifiability gap, which quantifies how much better the true causal model fits the observational distribution, and prove that it is lower bounded by local properties of the causal model. Simulation studies demonstrate the favorable performance of CAT compared to competing structure learning methods.


title: On Strongly Coupled Matrix Theory and Stochastic Quantization: A New Approach to Holographic Dualities

abstract: Stochastic quantization provides an alternate approach to the computation of quantum observables, by stochastically sampling phase space in a path integral. Furthermore, the stochastic variational method can provide analytical control over the strong coupling regime of a quantum field theory -- provided one has a decent qualitative guess at the form of certain observables at strong coupling. In the context of the holographic duality, the strong coupling regime of a Yang-Mills theory can capture gravitational dynamics. This can provide enough insight to guide a stochastic variational ansatz. We demonstrate this in the bosonic Banks-Fischler-Shenker-Susskind Matrix theory. We compute a two-point function at all values of coupling using the variational method showing agreement with lattice numerical computations and capturing the confinement-deconfinement phase transition at strong coupling. This opens up a new realm of possibilities for exploring the holographic duality and emergent geometry.


title: Energy levels estimation on a quantum computer by evolution of a physical quantity

abstract: We show that the time dependence of mean value of a physical quantity is related with the transition energies of a quantum system. In the case when the operator of a physical quantity anticommutes with the Hamiltonian of a system, studies of the evolution of its mean value allow determining the energy levels of the system. On the basis of the result, we propose a method for determining energy levels of physical systems on a quantum computer. The method opens a possibility to achieve quantum supremacy in solving the problem of finding minimal or maximal energy of Ising model with spatially anisotropic interaction using multi-qubit quantum computers. We apply the method for spin systems (spin in magnetic field, spin chain, Ising model on squared lattice) and realize it on IBM's quantum computers.


title: Towards A Fairer Landmark Recognition Dataset

abstract: We introduce a new landmark recognition dataset, which is created with a focus on fair worldwide representation. While previous work proposes to collect as many images as possible from web repositories, we instead argue that such approaches can lead to biased data. To create a more comprehensive and equitable dataset, we start by defining the fair relevance of a landmark to the world population. These relevances are estimated by combining anonymized Google Maps user contribution statistics with the contributors' demographic information. We present a stratification approach and analysis which leads to a much fairer coverage of the world, compared to existing datasets. The resulting datasets are used to evaluate computer vision models as part of the the Google Landmark Recognition and RetrievalChallenges 2021.


title: Comparing concepts of quantum and classical neural network models for image classification task

abstract: While quantum architectures are still under development, when available, they will only be able to process quantum data when machine learning algorithms can only process numerical data. Therefore, in the issues of classification or regression, it is necessary to simulate and study quantum systems that will transfer the numerical input data to a quantum form and enable quantum computers to use the available methods of machine learning. This material includes the results of experiments on training and performance of a hybrid quantum-classical neural network developed for the problem of classification of handwritten digits from the MNIST data set. The comparative results of two models: classical and quantum neural networks of a similar number of training parameters, indicate that the quantum network, although its simulation is time-consuming, overcomes the classical network (it has better convergence and achieves higher training and testing accuracy).


title: Deep Learning-based Spacecraft Relative Navigation Methods: A Survey

abstract: Autonomous spacecraft relative navigation technology has been planned for and applied to many famous space missions. The development of on-board electronics systems has enabled the use of vision-based and LiDAR-based methods to achieve better performances. Meanwhile, deep learning has reached great success in different areas, especially in computer vision, which has also attracted the attention of space researchers. However, spacecraft navigation differs from ground tasks due to high reliability requirements but lack of large datasets. This survey aims to systematically investigate the current deep learning-based autonomous spacecraft relative navigation methods, focusing on concrete orbital applications such as spacecraft rendezvous and landing on small bodies or the Moon. The fundamental characteristics, primary motivations, and contributions of deep learning-based relative navigation algorithms are first summarised from three perspectives of spacecraft rendezvous, asteroid exploration, and terrain navigation. Furthermore, popular visual tracking benchmarks and their respective properties are compared and summarised. Finally, potential applications are discussed, along with expected impediments.


title: Sentence-T5: Scalable Sentence Encoders from Pre-trained Text-to-Text Models

abstract: We provide the first exploration of sentence embeddings from text-to-text transformers (T5). Sentence embeddings are broadly useful for language processing tasks. While T5 achieves impressive performance on language tasks cast as sequence-to-sequence mapping problems, it is unclear how to produce sentence embeddings from encoder-decoder models. We investigate three methods for extracting T5 sentence embeddings: two utilize only the T5 encoder and one uses the full T5 encoder-decoder model. To support our investigation, we establish a new sentence representation transfer benchmark, SentGLUE, which extends the SentEval toolkit to nine tasks from the GLUE benchmark. Our encoder-only models outperforms Sentence-BERT and SimCSE sentence embeddings on both SentEval and SentGLUE transfer tasks, including semantic textual similarity (STS). Scaling up T5 from millions to billions of parameters is found to produce consistent further improvements. Finally, our encoder-decoder method achieves a new state-of-the-art on STS when using sentence embeddings. Our models are released at https://tfhub.dev/google/collections/sentence-t5/1.


title: Footprints of the Kitaev spin liquid in the Fano lineshapes of the Raman active optical phonons

abstract: We develop a theoretical description of the Raman spectroscopy in the spin-phonon coupled Kitaev system and show that it can provide intriguing observable signatures of fractionalized excitations characteristic of the underlying spin liquid phase. In particular, we obtain the explicit form of the phonon modes and construct the coupling Hamiltonians based on $D_{3d}$ symmetry. We then systematically compute the Raman intensity and show that the spin-phonon coupling renormalizes phonon propagators and generates the salient Fano linshape. We find that the temperature evolution of the Fano lineshape displays two crossovers, and the low temperature crossover shows pronounced magnetic field dependence. We thus identify the observable effect of the Majorana fermions and the $Z_2$ gauge fluxes encoded in the Fano lineshape. Our results explain several phonon Raman scattering experiments in the candidate material $\alpha$-RuCl$_3$.


title: Echoes of the past: ultra-high energy cosmic rays accelerated by radio galaxies, scattered by starburst galaxies

abstract: We explore the possibility that the hotspot of ultrahigh energy cosmic rays (UHECR) detected by the Telescope Array (TA) from the approximate direction of M82 and the M81 group of galaxies might be the echo of UHECR emitted by Centaurus A in an earlier more powerful phase. Echoes from other starburst galaxies or groups of galaxies may contribute to the UHECR flux at the Earth. We use an illustrative Monte Carlo model of mono-energetic UHECR transport by small angle scattering to generate synthetic sky maps. The model informs a discussion of overall energetics and time and distance scales. We find a viable echo model for the observed UHECR hotspots if the UHECR luminosity of Centaurus A 20 Myr ago was 200 times its present luminosity and if the ordered magnetic field exceeds 10-20nG out to a distance of 400-800kpc in the circumgalactic medium of M82 and other starburst galaxies.


title: Merging Criteria for Planetesimal Collisions

abstract: In the standard scenario of planet formation, terrestrial planets, ice giants, and cores of gas giants are formed by the accumulation of planetesimals. However, there are few N-body simulation studies of planetesimal accretion that correctly take into account the merging condition of planetesimals. In order to investigate a realistic accretion process of planetesimals, it is necessary to clarify the merging criteria of planetesimals at collision. We perform numerical collision experiments using smoothed particle hydrodynamics and obtain the merging criteria as a function of planetesimal mass and impact parameters for undifferentiated rocky and icy planetesimals and differentiated icy planetesimals. We vary the total mass of colliding planetesimals, their mass ratios, and the impact angle and obtain the critical impact velocity as the merging criteria distinguishing merging from hit-and-run collision. We find that the critical impact velocity normalized by the two-body surface escape velocity decreases with increasing impact angle. The critical impact velocity does not depend on the total mass, while it has a weak positive dependence on the mass ratio. These results barely depend on the composition and internal structure of the planetesimals.


title: Signal Injection Attacks against CCD Image Sensors

abstract: Since cameras have become a crucial part in many safety-critical systems and applications, such as autonomous vehicles and surveillance, a large body of academic and non-academic work has shown attacks against their main component - the image sensor. However, these attacks are limited to coarse-grained and often suspicious injections because light is used as an attack vector. Furthermore, due to the nature of optical attacks, they require the line-of-sight between the adversary and the target camera. In this paper, we present a novel post-transducer signal injection attack against CCD image sensors, as they are used in professional, scientific, and even military settings. We show how electromagnetic emanation can be used to manipulate the image information captured by a CCD image sensor with the granularity down to the brightness of individual pixels. We study the feasibility of our attack and then demonstrate its effects in the scenario of automatic barcode scanning. Our results indicate that the injected distortion can disrupt automated vision-based intelligent systems.


title: A Deep Learning Based Automatic Defect Analysis Framework for In-situ TEM Ion Irradiations

abstract: Videos captured using Transmission Electron Microscopy (TEM) can encode details regarding the morphological and temporal evolution of a material by taking snapshots of the microstructure sequentially. However, manual analysis of such video is tedious, error-prone, unreliable, and prohibitively time-consuming if one wishes to analyze a significant fraction of frames for even videos of modest length. In this work, we developed an automated TEM video analysis system for microstructural features based on the advanced object detection model called YOLO and tested the system on an in-situ ion irradiation TEM video of dislocation loops formed in a FeCrAl alloy. The system provides analysis of features observed in TEM including both static and dynamic properties using the YOLO-based defect detection module coupled to a geometry analysis module and a dynamic tracking module. Results show that the system can achieve human comparable performance with an F1 score of 0.89 for fast, consistent, and scalable frame-level defect analysis. This result is obtained on a real but exceptionally clean and stable data set and more challenging data sets may not achieve this performance. The dynamic tracking also enabled evaluation of individual defect evolution like per defect growth rate at a fidelity never before achieved using common human analysis methods. Our work shows that automatically detecting and tracking interesting microstructures and properties contained in TEM videos is viable and opens new doors for evaluating materials dynamics.


title: Multi defect detection and analysis of electron microscopy images with deep learning

abstract: Electron microscopy is widely used to explore defects in crystal structures, but human detecting of defects is often time-consuming, error-prone, and unreliable, and is not scalable to large numbers of images or real-time analysis. In this work, we discuss the application of machine learning approaches to find the location and geometry of different defect clusters in irradiated steels. We show that a deep learning based Faster R-CNN analysis system has a performance comparable to human analysis with relatively small training data sets. This study proves the promising ability to apply deep learning to assist the development of automated microscopy data analysis even when multiple features are present and paves the way for fast, scalable, and reliable analysis systems for massive amounts of modern electron microscopy data.


title: VERITAS Observations of the Galactic Center Region at Multi-TeV Gamma-Ray Energies

abstract: The Galactic Center region hosts a variety of powerful astronomical sources and rare astrophysical processes that emit a large flux of non-thermal radiation. We present the analysis of the very-high-energy gamma-ray emission above 2 TeV of the region around the Galactic Center known as the Central Molecular Zone using 125 hours of data taken with the VERITAS imaging-atmospheric Cherenkov telescope between 2010 and 2018. This analysis employs new shower reconstruction algorithms and instrument response functions optimized for data taken at large zenith angles such as the Galactic Center sources. We report positions and spectra for point sources VER J1745-290, G0.9+0.1, and HESS J1746-285, along with a light curve for VER J1745-290, the brightest source in the region consistent with the position of the supermassive black hole Sagittarius A*. We also measure the spectrum of the diffuse emission from the Galactic Center ridge region, which has been claimed as evidence of a Galactic PeVatron.


title: An Agent-Based Model of COVID-19 Diffusion to Plan and Evaluate Intervention Policies

abstract: A model of interacting agents, following plausible behavioral rules into a world where the Covid-19 epidemic is affecting the actions of everyone. The model works with (i) infected agents categorized as symptomatic or asymptomatic and (ii) the places of contagion specified in a detailed way. The infection transmission is related to three factors: the characteristics of both the infected person and the susceptible one, plus those of the space in which contact occurs. The model includes the structural data of Piedmont, an Italian region, but we can easily calibrate it for other areas. The micro-based structure of the model allows factual, counterfactual, and conditional simulations to investigate both the spontaneous or controlled development of the epidemic. The model is generative of complex epidemic dynamics emerging from the consequences of agents' actions and interactions, with high variability in outcomes and stunning realistic reproduction of the successive contagion waves in the reference region. There is also an inverse generative side of the model, coming from the idea of using genetic algorithms to construct a meta-agent to optimize the vaccine distribution. This agent takes into account groups' characteristics -- by age, fragility, work conditions -- to minimize the number of symptomatic people.