title: Numerical continuum tensor networks in two dimensions

abstract: We describe the use of tensor networks to numerically determine wave functions of interacting two-dimensional fermionic models in the continuum limit. We use two different tensor network states: one based on the numerical continuum limit of fermionic projected entangled pair states obtained via a tensor network formulation of multi-grid, and another based on the combination of the fermionic projected entangled pair state with layers of isometric coarse-graining transformations. We first benchmark our approach on the two-dimensional free Fermi gas then proceed to study the two-dimensional interacting Fermi gas with an attractive interaction in the unitary limit, using tensor networks on grids with up to 1000 sites.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.supr-con quant-ph


title: A note on the Hasse quiver of $\tau$-tilting modules

abstract: Let $\Lambda$ be an algebra with a indecomposable projective-injective module. Adachi gave a method to construct the Hasse quiver of support $\tau$-tilting $\Lambda$-modules. In this paper, we will show that it can be restricted to $\tau$-tilting modules.


title: Higgs boson decays into narrow di-photon jets and their search strategies at the Large Hadron Collider

abstract: In many extensions of the Standard Model the Higgs boson can decay into two light scalars each of which then subsequently decay into two photons. The underlying event is h $\to$ 4$\gamma$, but the kinematics from boosted light scalar decays combined with realistic detector resolutions may fail to register the events in straightforward categories and thus may be lost. In this article we investigate the phase space for highly boosted di-photon events from these exotic Higgs decays and discuss search strategies that aim to capture and label events in this difficult region. In the process we develop a new category, $\xi$-jets, which identifies with high selectivity highly collimated di-photon decay modes of the Higgs boson.


title: Approximate Partition Selection for Big-Data Workloads using Summary Statistics

abstract: Many big-data clusters store data in large partitions that support access at a coarse, partition-level granularity. As a result, approximate query processing via row-level sampling is inefficient, often requiring reads of many partitions. In this work, we seek to answer queries quickly and approximately by reading a subset of the data partitions and combining partial answers in a weighted manner without modifying the data layout. We illustrate how to efficiently perform this query processing using a set of pre-computed summary statistics, which inform the choice of partitions and weights. We develop novel means of using the statistics to assess the similarity and importance of partitions. Our experiments on several datasets and data layouts demonstrate that to achieve the same relative error compared to uniform partition sampling, our techniques offer from 2.7$\times$ to $70\times$ reduction in the number of partitions read, and the statistics stored per partition require fewer than 100KB.


title: Example-Based Named Entity Recognition

abstract: We present a novel approach to named entity recognition (NER) in the presence of scarce data that we call example-based NER. Our train-free few-shot learning approach takes inspiration from question-answering to identify entity spans in a new and unseen domain. In comparison with the current state-of-the-art, the proposed method performs significantly better, especially when using a low number of support examples.


title: Triharmonic Curves in 3-Dimensional Homogeneous Spaces

abstract: We first prove that, unlike the biharmonic case, there exist triharmonic curves with nonconstant curvature in a suitable Riemannian manifold of arbitrary dimension. We then give the complete classification of triharmonic curves in surfaces with constant Gaussian curvature. Next, restricting to curves in a 3-dimensional Riemannian manifold, we study the family of triharmonic curves with constant curvature, showing that they are Frenet helices. In the last part, we give the full classification of triharmonic Frenet helices in space forms and in Bianchi-Cartan-Vranceanu spaces.


title: A census of ultraluminous X-ray sources in the local Universe

abstract: Using the Chandra Source Catalog 2.0 and a newly compiled catalogue of galaxies in the local Universe, we deliver a census of ultraluminous X-ray source (ULX) populations in nearby galaxies. We find 629 ULX candidates in 309 galaxies with distance smaller than 40\,Mpc. The foreground/background contamination is ${\sim}20\%$. The ULX populations in bona-fide star-forming galaxies scale on average with star-formation rate (SFR) and stellar mass ($M_\star$) such that the number of ULXs per galaxy is $0.45^{+0.06}_{-0.09}\times\frac{\rm SFR}{\rm M_\odot\,yr^{-1}}{+}3.3^{+3.8}_{-3.2}\times\frac{M_\star}{\rm M_\odot}$. The scaling depends strongly on the morphological type. This analysis shows that early spiral galaxies contain an additional population of ULXs that scales with $M_\star$. We also confirm the strong anti-correlation of the ULX rate with the host galaxy's metallicity. In the case of early-type galaxies we find that there is a non-linear dependence of the number of ULXs with $M_\star$, which is interpreted as the result of star-formation history differences. Taking into account age and metallicity effects, we find that the predictions from X-ray binary population synthesis models are consistent with the observed ULX rates in early-type galaxies, as well as, spiral/irregular galaxies.


title: Unpolarized and helicity generalized parton distributions of the proton within lattice QCD

abstract: We present the first calculation of the $x$-dependence of the proton generalized parton distributions (GPDs) within lattice QCD. Results are obtained for the isovector unpolarized and helicity GPDs. We compute the appropriate matrix elements of fast-moving protons coupled to non-local operators containing a Wilson line. We present results for proton momenta $0.83,\,1.25,\,1.67$ GeV, and momentum transfer squared $0.69,\,1.38$ GeV$^2$. These combinations include cases with zero and nonzero skewness. The calculation is performed using one ensemble of two degenerate mass light, a strange and a charm quark of maximally twisted mass fermions with a clover term. The lattice results are matched to the light-cone GPDs using one-loop perturbation theory within the framework of large momentum effective theory. The final GPDs are given in the $\overline{\rm MS}$ scheme at a scale of 2 GeV.


title: Analytic Structure of all Loop Banana Amplitudes

abstract: Using the Gelfand-Kapranov-Zelevinsk\u{\i} system for the primitive cohomology of an infinite series of complete intersection Calabi-Yau manifolds, whose dimension is the loop order minus one, we completely clarify the analytic structure of all banana amplitudes with arbitrary masses. In particular, we find that the leading logarithmic structure in the high energy regime, which corresponds to the point of maximal unipotent monodromy, is determined by a novel $\widehat \Gamma$-class evaluation in the ambient spaces of the mirror, while the imaginary part of the amplitude in this regime is determined by the $\widehat \Gamma$-class of the mirror Calabi-Yau manifold itself. We provide simple closed all loop formulas for the former as well as for the Frobenius $\kappa$-constants, which determine the behaviour of the amplitudes, when the momentum square equals the sum of the masses squared, in terms of zeta values. We extend our previous work from three to four loops by providing for the latter case a complete set of (inhomogenous) Picard-Fuchs differential equations for arbitrary masses. This allows to evaluate the amplitude as well as other master integrals with raised powers of the propagators in very short time to very high numerical precision for all values of the physical parameters. Using a recent $p$-adic analysis of the periods we determine the value of the maximal cut equal mass four-loop amplitude at the attractor points in terms of periods of modular weight two and four Hecke eigenforms and the quasiperiods of their meromorphic cousins.


title: Multidimensionality of Legal Singularity: Parametric Analysis and the Autonomous Levels of AI Legal Reasoning

abstract: Legal scholars have in the last several years embarked upon an ongoing discussion and debate over a potential Legal Singularity that might someday occur, involving a variant or law-domain offshoot leveraged from the Artificial Intelligence (AI) realm amid its many decades of deliberations about an overarching and generalized technological singularity (referred to classically as The Singularity). This paper examines the postulated Legal Singularity and proffers that such AI and Law cogitations can be enriched by these three facets addressed herein: (1) dovetail additionally salient considerations of The Singularity into the Legal Singularity, (2) make use of an in-depth and innovative multidimensional parametric analysis of the Legal Singularity as posited in this paper, and (3) align and unify the Legal Singularity with the Levels of Autonomy (LoA) associated with AI Legal Reasoning (AILR) as propounded in this paper.


title: Beta decay of the very neutron-deficient $^{60}$Ge and $^{62}$Ge nuclei

abstract: We report here the results of a study of the $\beta$ decay of the proton-rich Ge isotopes, $^{60}$Ge and $^{62}$Ge, produced in an experiment at the RIKEN Nishina Center. We have improved our knowledge of the half-lives of $^{62}$Ge (73.5(1) ms), $^{60}$Ge (25.0(3) ms) and its daughter nucleus, $^{60}$Ga (69.4(2) ms). We measured individual $\beta$-delayed proton and $\gamma$ emissions and their related branching ratios. Decay schemes and absolute Fermi and Gamow-Teller transition strengths have been determined. The mass excesses of the nuclei under study have been deduced. A total $\beta$-delayed proton-emission branching ratio of 67(3)% has been obtained for $^{60}$Ge. New information has been obtained on the energy levels populated in $^{60}$Ga and on the 1/2$^-$ excited state in the $\beta p$ daughter $^{59}$Zn. We extracted a ground state to ground state feeding of 85.3(3)% for the decay of $^{62}$Ge. Eight new $\gamma$ lines have been added to the de-excitation of levels populated in the $^{62}$Ga daughter.


title: Fast and Simple Modular Subset Sum

abstract: We revisit the Subset Sum problem over the finite cyclic group $\mathbb{Z}_m$ for some given integer $m$. A series of recent works has provided near-optimal algorithms for this problem under the Strong Exponential Time Hypothesis. Koiliaris and Xu (SODA'17, TALG'19) gave a deterministic algorithm running in time $\tilde{O}(m^{5/4})$, which was later improved to $O(m \log^7 m)$ randomized time by Axiotis et al. (SODA'19). In this work, we present two simple algorithms for the Modular Subset Sum problem running in near-linear time in $m$, both efficiently implementing Bellman's iteration over $\mathbb{Z}_m$. The first one is a randomized algorithm running in time $O(m \log^2 m)$, that is based solely on rolling hash and an elementary data-structure for prefix sums; to illustrate its simplicity we provide a short and efficient implementation of the algorithm in Python. Our second solution is a deterministic algorithm running in time $O(m\ \mathrm{polylog}\ m)$, that uses dynamic data structures for string manipulation. We further show that the techniques developed in this work can also lead to simple algorithms for the All Pairs Non-Decreasing Paths Problem (APNP) on undirected graphs, matching the near-optimal running time of $\tilde{O}(n^2)$ provided in the recent work of Duan et al. (ICALP'19).


title: Stochastic Thermodynamics of Non-Linear Electronic Circuits: A Realistic Framework for Computing around kT

abstract: We present a general formalism for the construction of thermodynamically consistent stochastic models of non-linear electronic circuits. The devices constituting the circuit can have arbitrary I-V curves and may include tunnel junctions, diodes, and MOS transistors in subthreshold operation, among others. We provide a full analysis of the stochastic non-equilibrium thermodynamics of these models, identifying the relevant thermodynamic potentials, characterizing the different contributions to the irreversible entropy production, and obtaining different fluctuation theorems. Our work provides a realistic framework to study thermodynamics of computing with electronic circuits. We demonstrate this point by constructing a stochastic model of a CMOS inverter. We find that a deterministic analysis is only compatible with the assumption of equilibrium fluctuations, and analyze how the non-equilibrium fluctuations induce deviations from its deterministic transfer function. Finally, building on the CMOS inverter, we propose a full-CMOS design for a probabilistic bit (or binary stochastic neuron) exploiting intrinsic noise.


title: Compressive Phase Retrieval: Optimal Sample Complexity with Deep Generative Priors

abstract: Advances in compressive sensing provided reconstruction algorithms of sparse signals from linear measurements with optimal sample complexity, but natural extensions of this methodology to nonlinear inverse problems have been met with potentially fundamental sample complexity bottlenecks. In particular, tractable algorithms for compressive phase retrieval with sparsity priors have not been able to achieve optimal sample complexity. This has created an open problem in compressive phase retrieval: under generic, phaseless linear measurements, are there tractable reconstruction algorithms that succeed with optimal sample complexity? Meanwhile, progress in machine learning has led to the development of new data-driven signal priors in the form of generative models, which can outperform sparsity priors with significantly fewer measurements. In this work, we resolve the open problem in compressive phase retrieval and demonstrate that generative priors can lead to a fundamental advance by permitting optimal sample complexity by a tractable algorithm in this challenging nonlinear inverse problem. We additionally provide empirics showing that exploiting generative priors in phase retrieval can significantly outperform sparsity priors. These results provide support for generative priors as a new paradigm for signal recovery in a variety of contexts, both empirically and theoretically. The strengths of this paradigm are that (1) generative priors can represent some classes of natural signals more concisely than sparsity priors, (2) generative priors allow for direct optimization over the natural signal manifold, which is intractable under sparsity priors, and (3) the resulting non-convex optimization problems with generative priors can admit benign optimization landscapes at optimal sample complexity, perhaps surprisingly, even in cases of nonlinear measurements.


title: Classification of Noncoding RNA Elements Using Deep Convolutional Neural Networks

abstract: The paper proposes to employ deep convolutional neural networks (CNNs) to classify noncoding RNA (ncRNA) sequences. To this end, we first propose an efficient approach to convert the RNA sequences into images characterizing their base-pairing probability. As a result, classifying RNA sequences is converted to an image classification problem that can be efficiently solved by available CNN-based classification models. The paper also considers the folding potential of the ncRNAs in addition to their primary sequence. Based on the proposed approach, a benchmark image classification dataset is generated from the RFAM database of ncRNA sequences. In addition, three classical CNN models have been implemented and compared to demonstrate the superior performance and efficiency of the proposed approach. Extensive experimental results show the great potential of using deep learning approaches for RNA classification.


title: Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems

abstract: Learning-based methodologies increasingly find applications in safety-critical domains like autonomous driving and medical robotics. Due to the rare nature of dangerous events, real-world testing is prohibitively expensive and unscalable. In this work, we employ a probabilistic approach to safety evaluation in simulation, where we are concerned with computing the probability of dangerous events. We develop a novel rare-event simulation method that combines exploration, exploitation, and optimization techniques to find failure modes and estimate their rate of occurrence. We provide rigorous guarantees for the performance of our method in terms of both statistical and computational efficiency. Finally, we demonstrate the efficacy of our approach on a variety of scenarios, illustrating its usefulness as a tool for rapid sensitivity analysis and model comparison that are essential to developing and testing safety-critical autonomous systems.


title: A Unified Framework for Light Spanners

abstract: Seminal works on light spanners over the years have provided spanners with optimal lightness in various graph classes, such as general graphs, Euclidean spanners, and minor-free graphs. Three shortcomings of previous works on light spanners are: (i) The runtimes of these constructions are almost always sub-optimal and usually far from optimal. (ii) These constructions are optimal in the standard and crude sense but not in a refined sense that takes into account a wider range of involved parameters. (iii) The techniques are ad hoc per graph class and thus can't be applied broadly. This work aims at addressing these shortcomings by presenting a unified framework of light spanners in a variety of graph classes. Informally, the framework boils down to a transformation from sparse spanners to light spanners; since the state-of-the-art for sparse spanners is much more advanced than that for light spanners, such a transformation is powerful. First, we apply our framework to design fast constructions with optimal lightness for several graph classes. Second, we apply our framework to achieve more refined optimality bounds for several graph classes, i.e., the bounds remain optimal when taking into account a wider range of involved parameters, most notably $\epsilon$. Our new constructions are significantly better than the state-of-the-art for every examined graph class.


title: Layered Drawing of Undirected Graphs with Generalized Port Constraints

abstract: The aim of this research is a practical method to draw cable plans of complex machines. Such plans consist of electronic components and cables connecting specific ports of the components. Since the machines are configured for each client individually, cable plans need to be drawn automatically. The drawings must be well readable so that technicians can use them to debug the machines. In order to model plug sockets, we introduce port groups; within a group, ports can change their position (which we use to improve the aesthetics of the layout), but together the ports of a group must form a contiguous block. We approach the problem of drawing such cable plans by extending the well-known Sugiyama framework such that it incorporates ports and port groups. Since the framework assumes directed graphs, we propose several ways to orient the edges of the given undirected graph. We compare these methods experimentally, both on real-world data and synthetic data that carefully simulates real-world data. We measure the aesthetics of the resulting drawings by counting bends and crossings. Using these metrics, we experimentally compare our approach to Kieler [JVLC 2014], a library for drawing graphs in the presence of port constraints. Our method produced 10--30 % fewer crossings, while it performed equally well or slightly worse than Kieler with respect to the number of bends and the time used to compute a drawing.


title: Accurate Alignment Inspection System for Low-resolution Automotive and Mobility LiDAR

abstract: A misalignment of LiDAR as low as a few degrees could cause a significant error in obstacle detection and mapping that could cause safety and quality issues. In this paper, an accurate inspection system is proposed for estimating a LiDAR alignment error after sensor attachment on a mobility system such as a vehicle or robot. The proposed method uses only a single target board at the fixed position to estimate the three orientations (roll, tilt, and yaw) and the horizontal position of the LiDAR attachment with sub-degree and millimeter level accuracy. After the proposed preprocessing steps, the feature beam points that are the closest to each target corner are extracted and used to calculate the sensor attachment pose with respect to the target board frame using a nonlinear optimization method and with a low computational cost. The performance of the proposed method is evaluated using a test bench that can control the reference yaw and horizontal translation of LiDAR within ranges of 3 degrees and 30 millimeters, respectively. The experimental results for a low-resolution 16 channel LiDAR (Velodyne VLP-16) confirmed that misalignment could be estimated with accuracy within 0.2 degrees and 4 mm. The high accuracy and simplicity of the proposed system make it practical for large-scale industrial applications such as automobile or robot manufacturing process that inspects the sensor attachment for the safety quality control.


title: Linear and superlinear spread for continuous-time frog model

abstract: Consider a stochastic growth model on $\mathbb{Z} ^d$. Start with some active particle at the origin and sleeping particles elsewhere. The initial number of particles at $x \in \mathbb{Z} ^d$ is $\eta(x)$, where $\eta (x)$ are independent random variables distributed according to $\mu$. Active particles perform a simple continuous-time random walk while sleeping particles stay put until the first arrival of an active particle to their location. Upon the arrival all sleeping particles at the site activate at once and start moving according to their own simple random walks. The aim of this paper is to give conditions on $\mu$ under which the spread of the process is linear or faster than linear. The proofs rely on comparison to various percolation models.


title: Periodic X-ray Sources in the Galactic Bulge: Application of the Gregory-Loredo Algorithm

abstract: We present a systematic study of periodic X-ray sources in the Limiting Window (LW), a $\sim$70 arcmin$^2$ field representative of the inner Galactic bulge and the target of $\sim$1 Ms Chandra observations. Using the Gregory-Loredo algorithm, which applies Bayes's theorem to the phase-folded light curve and is well-suited for irregularly sampled X-ray data, we detect 25 periodic signals in 23 discrete sources, among which 15 signals are new discoveries and two sources show dual periods. The vast majority of the 23 periodic sources are classified as magnetic cataclysmic variables (CVs), based on their period range, X-ray luminosities, spectral properties, and phase-folded light curves that are characteristic of spin modulation. Meanwhile, there is a paucity of non-magnetic CVs seen as periodic sources, which can be understood as due to a low detection efficiency for eclipsing sources. Under reasonable assumptions about the geometry of magnetic CVs and a large set of simulated X-ray light curves, we estimate the fraction of magnetic CVs in the inner Galactic bulge to be $\lesssim$23%, which is similar to that in the solar neighborhood. There is an apparent lack of long-period ($\gtrsim$3.3 hours) CVs in the LW, when contrasted with the range of known CVs in the solar neighborhood. We suggest that this might be an age effect, in the sense that CVs in the inner bulge are more evolved systems and have substantially shrunk their orbits.


title: What-If Motion Prediction for Autonomous Driving

abstract: Forecasting the long-term future motion of road actors is a core challenge to the deployment of safe autonomous vehicles (AVs). Viable solutions must account for both the static geometric context, such as road lanes, and dynamic social interactions arising from multiple actors. While recent deep architectures have achieved state-of-the-art performance on distance-based forecasting metrics, these approaches produce forecasts that are predicted without regard to the AV's intended motion plan. In contrast, we propose a recurrent graph-based attentional approach with interpretable geometric (actor-lane) and social (actor-actor) relationships that supports the injection of counterfactual geometric goals and social contexts. Our model can produce diverse predictions conditioned on hypothetical or "what-if" road lanes and multi-actor interactions. We show that such an approach could be used in the planning loop to reason about unobserved causes or unlikely futures that are directly relevant to the AV's intended route.


title: What makes fake images detectable? Understanding properties that generalize

abstract: The quality of image generation and manipulation is reaching impressive levels, making it increasingly difficult for a human to distinguish between what is real and what is fake. However, deep networks can still pick up on the subtle artifacts in these doctored images. We seek to understand what properties of fake images make them detectable and identify what generalizes across different model architectures, datasets, and variations in training. We use a patch-based classifier with limited receptive fields to visualize which regions of fake images are more easily detectable. We further show a technique to exaggerate these detectable properties and demonstrate that, even when the image generator is adversarially finetuned against a fake image classifier, it is still imperfect and leaves detectable artifacts in certain image patches. Code is available at https://chail.github.io/patch-forensics/.


title: Hybrid continuum-molecular modeling of fluid slip flow

abstract: Experiments on fluid systems in micro-/nano-scale solid conveyors have shown a violation of the no-slip assumption that have been adopted by the classical fluid mechanics. To correct this mechanics for the fluid slip, various approaches have been proposed to determine the slip boundary conditions. However, these approaches have revealed contradictory results for a variety of systems, and a debate on the mechanisms and the conditions of the fluid slip/no-slip past solid surfaces is sustained for a long time. In this paper, we establish the hybrid continuum-molecular modeling (HCMM) as a general approach of modeling the fluid slip flow under the influence of excess fluid-solid molecular interactions. This modeling approach postulates that fluids flow over solid surfaces with/without slip depending on the difference between the applied impulse on the fluid and a drag due to the excess fluid-solid molecular interactions. In the HCMM, the Navier-Stokes equations are corrected for the excess fluid-solid interactions. Measures of the fluid-solid interactions are incorporated into the fluid viscosity. We demonstrate that the correction of the fluid mechanics by the slip boundary conditions is not an accurate approach, as the fluid-solid interactions would impact the fluid internally. To show the effectiveness of the proposed HCMM, it is implemented for water flow in nanotubes. The HCMM is validated by an extensive comparison with over 90 cases of experiments and molecular dynamics simulations of different fluid systems. We foresee that the hybrid continuum-molecular modeling of the fluid slip flow will find many important implementations in fluid mechanics.


title: The formal shift operator on the Yangian double

abstract: Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra with associated Yangian $Y_\hbar\mathfrak{g}$ and Yangian double $\mathrm{D}Y_\hbar\mathfrak{g}$. An elementary result of fundamental importance to the theory of Yangians is that, for each $c\in \mathbb{C}$, there is an automorphism $\tau_c$ of $Y_\hbar\mathfrak{g}$ corresponding to the translation $t\mapsto t+c$ of the complex plane. Replacing $c$ by a formal parameter $z$ yields the so-called formal shift homomorphism $\tau_z$ from $Y_\hbar\mathfrak{g}$ to the polynomial algebra $Y_\hbar\mathfrak{g}[z]$. We prove that $\tau_z$ uniquely extends to an algebra homomorphism $\Phi_z$ from the Yangian double $\mathrm{D}Y_\hbar\mathfrak{g}$ into the $\hbar$-adic closure of the algebra of Laurent series in $z^{-1}$ with coefficients in the Yangian $Y_\hbar\mathfrak{g}$. This induces, via evaluation at any point $c\in \mathbb{C}^\times$, a homomorphism from $\mathrm{D}Y_\hbar\mathfrak{g}$ into the completion of the Yangian with respect to its grading. We show that each such homomorphism gives rise to an isomorphism between completions of $\mathrm{D}Y_\hbar\mathfrak{g}$ and $Y_\hbar\mathfrak{g}$ and, as a corollary, we find that the Yangian $Y_\hbar\mathfrak{g}$ can be realized as a degeneration of the Yangian double $\mathrm{D}Y_\hbar\mathfrak{g}$. Using these results, we obtain a Poincar\'{e}-Birkhoff-Witt theorem for $\mathrm{D}Y_\hbar\mathfrak{g}$ applicable when $\mathfrak{g}$ is of finite type or of simply-laced affine type.


title: Qualitative Multi-Objective Reachability for Ordered Branching MDPs

abstract: We study qualitative multi-objective reachability problems for Ordered Branching Markov Decision Processes (OBMDPs), or equivalently context-free MDPs, building on prior results for single-target reachability on Branching Markov Decision Processes (BMDPs). We provide two separate algorithms for "almost-sure" and "limit-sure" multi-target reachability for OBMDPs. Specifically, given an OBMDP, $\mathcal{A}$, given a starting non-terminal, and given a set of target non-terminals $K$ of size $k = |K|$, our first algorithm decides whether the supremum probability, of generating a tree that contains every target non-terminal in set $K$, is $1$. Our second algorithm decides whether there is a strategy for the player to almost-surely (with probability $1$) generate a tree that contains every target non-terminal in set $K$. The two separate algorithms are needed: we show that indeed, in this context, "almost-sure" $\not=$ "limit-sure" for multi-target reachability, meaning that there are OBMDPs for which the player may not have any strategy to achieve probability exactly $1$ of reaching all targets in set $K$ in the same generated tree, but may have a sequence of strategies that achieve probability arbitrarily close to $1$. Both algorithms run in time $2^{O(k)} \cdot |\mathcal{A}|^{O(1)}$, where $|\mathcal{A}|$ is the total bit encoding length of the given OBMDP, $\mathcal{A}$. Hence they run in polynomial time when $k$ is fixed, and are fixed-parameter tractable with respect to $k$. Moreover, we show that even the qualitative almost-sure (and limit-sure) multi-target reachability decision problem is in general NP-hard, when the size $k$ of the set $K$ of target non-terminals is not fixed.


title: 3D for Free: Crossmodal Transfer Learning using HD Maps

abstract: 3D object detection is a core perceptual challenge for robotics and autonomous driving. However, the class-taxonomies in modern autonomous driving datasets are significantly smaller than many influential 2D detection datasets. In this work, we address the long-tail problem by leveraging both the large class-taxonomies of modern 2D datasets and the robustness of state-of-the-art 2D detection methods. We proceed to mine a large, unlabeled dataset of images and LiDAR, and estimate 3D object bounding cuboids, seeded from an off-the-shelf 2D instance segmentation model. Critically, we constrain this ill-posed 2D-to-3D mapping by using high-definition maps and object size priors. The result of the mining process is 3D cuboids with varying confidence. This mining process is itself a 3D object detector, although not especially accurate when evaluated as such. However, we then train a 3D object detection model on these cuboids, consistent with other recent observations in the deep learning literature, we find that the resulting model is fairly robust to the noisy supervision that our mining process provides. We mine a collection of 1151 unlabeled, multimodal driving logs from an autonomous vehicle and use the discovered objects to train a LiDAR-based object detector. We show that detector performance increases as we mine more unlabeled data. With our full, unlabeled dataset, our method performs competitively with fully supervised methods, even exceeding the performance for certain object categories, without any human 3D annotations.


title: A purely hyperbolic discontinuous Galerkin approach for self-gravitating gas dynamics

abstract: One of the challenges when simulating astrophysical flows with self-gravity is to compute the gravitational forces. In contrast to the hyperbolic hydrodynamic equations, the gravity field is described by an elliptic Poisson equation. We present a purely hyperbolic approach by reformulating the elliptic problem into a hyperbolic diffusion problem, which is solved in pseudotime using the same explicit high-order discontinuous Galerkin method we use for the flow solution. The flow and the gravity solvers operate on a joint hierarchical Cartesian mesh and are two-way coupled via the source terms. A key benefit of our approach is that it allows the reuse of existing explicit hyperbolic solvers without modifications, while retaining their advanced features such as non-conforming and solution-adaptive grids. By updating the gravitational field in each Runge-Kutta stage of the hydrodynamics solver, high-order convergence is achieved even in coupled multi-physics simulations. After verifying the expected order of convergence for single-physics and multi-physics setups, we validate our approach by a simulation of the Jeans gravitational instability. Furthermore, we demonstrate the full capabilities of our numerical framework by computing a self-gravitating Sedov blast with shock capturing in the flow solver and adaptive mesh refinement for the entire coupled system.


title: Joint Design of RF and gradient waveforms via auto-differentiation for 3D tailored excitation in MRI

abstract: This paper proposes a new method for joint design of radiofrequency (RF) and gradient waveforms in Magnetic Resonance Imaging (MRI), and applies it to the design of 3D spatially tailored saturation and inversion pulses. The joint design of both waveforms is characterized by the ODE Bloch equations, to which there is no known direct solution. Existing approaches therefore typically rely on simplified problem formulations based on, e.g., the small-tip approximation or constraining the gradient waveforms to particular shapes, and often apply only to specific objective functions for a narrow set of design goals (e.g., ignoring hardware constraints). This paper develops and exploits an auto-differentiable Bloch simulator to directly compute Jacobians of the (Bloch-simulated) excitation pattern with respect to RF and gradient waveforms. This approach is compatible with \emph{arbitrary} sub-differentiable loss functions, and optimizes the RF and gradients directly without restricting the waveform shapes. For computational efficiency, we derive and implement explicit Bloch simulator Jacobians (approximately halving computation time and memory usage). To enforce hardware limits (peak RF, gradient, and slew rate), we use a change of variables that makes the 3D pulse design problem effectively unconstrained; we then optimize the resulting problem directly using the proposed auto-differentiation framework. We demonstrate our approach with two kinds of 3D excitation pulses that cannot be easily designed with conventional approaches: Outer-volume saturation (90{\deg} flip angle), and inner-volume inversion.


title: Uniform hyperfiniteness

abstract: Almost forty years ago, Connes, Feldman and Weiss proved that for measurable equivalence relations the notions of amenability and hyperfiniteness coincide. In this paper we define the uniform version of amenability and hyperfiniteness for measurable graphed equivalence relations of bounded vertex degrees and prove that these two notions coincide as well. Roughly speaking, a measured graph $\cG$ is uniformly hyperfinite if for any $\eps>0$ there exists $K\geq 1$ such that not only $\cG$, but all of its subgraphs of positive measure are $(\eps,K)$-hyperfinite. We also show that this condition is equivalent to weighted hyperfiniteness and a strong version of fractional hyperfiniteness, a notion recently introduced by Lov\'asz. As a corollary, we obtain a characterization of exactness of finitely generated groups via uniform hyperfiniteness.


title: CRAC: Checkpoint-Restart Architecture for CUDA with Streams and UVM

abstract: The share of the top 500 supercomputers with NVIDIA GPUs is now over 25% and continues to grow. While fault tolerance is a critical issue for supercomputing, there does not currently exist an efficient, scalable solution for CUDA applications on NVIDIA GPUs. CRAC (Checkpoint-Restart Architecture for CUDA) is new checkpoint-restart solution for fault tolerance that supports the full range of CUDA applications. CRAC combines: low runtime overhead (approximately 1% or less); fast checkpoint-restart; support for scalable CUDA streams (for efficient usage of all of the thousands of GPU cores); and support for the full features of Unified Virtual Memory (eliminating the programmer's burden of migrating memory between device and host). CRAC achieves its flexible architecture by segregating application code (checkpointed) and its external GPU communication via non-reentrant CUDA libraries (not checkpointed) within a single process's memory. This eliminates the high overhead of inter-process communication in earlier approaches, and has fewer limitations.


title: Extended systems of Baxter Q-functions and fused flags I: simply-laced case

abstract: The spectrum of integrable models is often encoded in terms of commuting functions of a spectral parameter that satisfy functional relations. We propose to describe this commutative algebra in a covariant way by means of the extended Q-system that comprise Q-vectors in each of the fundamental representations of the (Langlands dual of) the underlying symmetry algebra. These Q-vectors turn out to parameterise a collection of complete flags which are fused with one another in a particular way. We show that the fused flag is a finite-difference oper in a particular gauge, explicit identification depends on a choice of a Coxeter element. The paper considers the case of simple Lie algebras with a simply-laced Dynkin diagram. For the $A_r$ series, the construction coincides with already known results in the literature. We apply the proposed formalism to the case of the $D_r$ series and the exceptional algebras $E_r$, $r=6,7,8$. In particular, we solve Hirota bilinear equations in terms of Q-functions and give the explicit character solution of the extended Q-system in the $D_r$ case. We also show how to build up the extended Q-system of $D_r$ type starting either from vectors, by a procedure similar to the $A_r$ scenario which however constructs a fused flag of isotropic spaces, or from pure spinors, \via fused Fierz relations. Finally, for the case of rational, trigonometric, and elliptic spin chains, we propose an explicit ansatz for the analytic structure of Q-functions of the extended Q-system. We conjecture that the extended Q-system constrained in such a way is always in bijection with the Bethe algebra of commuting transfer matrices of these models and moreover can be used to show that the Bethe algebra has a simple joint spectrum.


title: Semantic View Synthesis

abstract: We tackle a new problem of semantic view synthesis -- generating free-viewpoint rendering of a synthesized scene using a semantic label map as input. We build upon recent advances in semantic image synthesis and view synthesis for handling photographic image content generation and view extrapolation. Direct application of existing image/view synthesis methods, however, results in severe ghosting/blurry artifacts. To address the drawbacks, we propose a two-step approach. First, we focus on synthesizing the color and depth of the visible surface of the 3D scene. We then use the synthesized color and depth to impose explicit constraints on the multiple-plane image (MPI) representation prediction process. Our method produces sharp contents at the original view and geometrically consistent renderings across novel viewpoints. The experiments on numerous indoor and outdoor images show favorable results against several strong baselines and validate the effectiveness of our approach.


title: The Hessian Penalty: A Weak Prior for Unsupervised Disentanglement

abstract: Existing disentanglement methods for deep generative models rely on hand-picked priors and complex encoder-based architectures. In this paper, we propose the Hessian Penalty, a simple regularization term that encourages the Hessian of a generative model with respect to its input to be diagonal. We introduce a model-agnostic, unbiased stochastic approximation of this term based on Hutchinson's estimator to compute it efficiently during training. Our method can be applied to a wide range of deep generators with just a few lines of code. We show that training with the Hessian Penalty often causes axis-aligned disentanglement to emerge in latent space when applied to ProGAN on several datasets. Additionally, we use our regularization term to identify interpretable directions in BigGAN's latent space in an unsupervised fashion. Finally, we provide empirical evidence that the Hessian Penalty encourages substantial shrinkage when applied to over-parameterized latent spaces.


title: Charged anisotropic strange stars in Brans-Dicke gravity with a massive scalar field through embedding approach

abstract: In this exposition, we seek solutions of the Einstein-Maxwell field equations in the presence of a massive scalar field cast in the Brans-Dicke (BD) formalism which describes charged anisotropic strange stars. The interior spacetime is described by a spherically symmetric static metric of embedding class I. This reduces the problem to a single-generating function of the metric potential which is chosen by appealing to physics based on regularity at each interior point of the stellar interior. The resulting model is subjected to rigorous physical checks based on stability, causality and regularity. We show that our solutions describe compact objects such as PSR J1903+327; Cen X-3; EXO 1785-248 \& LMC X-4 to an excellent approximation. Novel results of our investigation reveal that the scalar field leads to higher surface charge densities which in turn affects the compactness and upper and lower values imposed by the modified Buchdahl limit for charged stars. Our results also show that the electric and scalar fields which originate from entirely different sources couple to alter physical characteristics such as mass-radius relation and surface redshift of compact objects. This superposition of the electric and scalar fields is enhanced by an increase in the BD coupling constant, $\omega_{BD}$.


title: String Stable Integral Control of Vehicle Platoons with Actuator Dynamics and Disturbances

abstract: This paper presents the design of an integral controller for vehicle platoons with actuator dynamics. The proposed controller ensures string stability with disturbances and simultaneously compensates for constant disturbances through integral action. Sufficient conditions for string stability are satisfied by the use of a suitable state transformation. The proposed controller guarantees disturbance string stability for a prescribed time constant of the actuator dynamics, and we show through simulation that platoons with faster dynamics are also made disturbance string stable.


title: Invariant quadratic operators associated with Linear Canonical Transformations and their eigenstates

abstract: The main purpose of this work is to identify invariant quadratic operators associated with Linear Canonical Transformations (LCTs) which could play important roles in physics. LCTs are considered in many fields. In quantum theory, they can be identified with linear transformations which keep invariant the Canonical Commutation Relations (CCRs). In this work, LCTs corresponding to a general pseudo-Euclidian space are considered and related to a phase space representation of quantum theory. Explicit calculations are firstly performed for the monodimensional case to identify the corresponding LCT-invariant quadratic operators then multidimensional generalizations of the obtained results are deduced. The eigenstates of these operators are also identified. A first kind of LCT-invariant operator is a second order polynomial of the coordinates and momenta operators and is a generalization of reduced momentum dispersion operator. The coefficients of this polynomial depend on the mean values and the statistical variances-covariances of the coordinates and momenta operators themselves. It is shown that these statistical variances-covariances can be related with thermodynamic variables. Two other LCT-invariant quadratic operators, which can be considered as the number operators of some quasipartciles, are also identified: the first one is a number operator of bosonic type quasiparticles and the second one corresponds to fermionic type. This fermionic LCT-invariant quadratic operator is directly related to a spin representation of LCTs. It is shown explicitly, in the case of a pentadimensional theory, that the eigenstates of this operator can be considered as basic quantum states of elementary fermions. A classification of the fundamental fermions, compatible with the Standard model of particle physics, is established from a classification of these states.


title: Wavelet regularization of Euclidean QED

abstract: The regularization of quantum electrodynamics in the space of functions $\psi_a(x)$, which depend on both the position $x$ and the scale $a$, is presented. The scale-dependent functions are defined in terms of the continuous wavelet transform in $\mathbb{R}^4$ Euclidean space, with the derivatives of Gaussian served as basic wavelets. The vacuum polarization and the dependence of the effective coupling constant on the scale parameters are calculated in one-loop approximation in the limit $p^2 \gg 4m^2$.


title: Evaluation of hybrid run-time power models for the ARM big.LITTLE architecture

abstract: Heterogeneous processors, formed by binary compatible CPU cores with different microarchitectures, enable energy reductions by better matching processing capabilities and software application requirements. This new hardware platform requires novel techniques to manage power and energy to fully utilize its capabilities, particularly regarding the mapping of workloads to appropriate cores. In this paper we validate relevant published work related to power modelling for heterogeneous systems and propose a new approach for developing run-time power models that uses a hybrid set of physical predictors, performance events and CPU state information. We demonstrate the accuracy of this approach compared with the state-of-the-art and its applicability to energy aware scheduling. Our results are obtained on a commercially available platform built around the Samsung Exynos 5 Octa SoC, which features the ARM big.LITTLE heterogeneous architecture.


title: String Universality and Non-Simply-Connected Gauge Groups in 8d

abstract: We present a consistency condition for 8d ${\cal N} = 1$ supergravity theories with non-trivial global structure $G/Z$ for the non-Abelian gauge group, based on an anomaly involving the $Z$ 1-form center symmetry. The interplay with other Swampland criteria identifies the majority of 8d theories with gauge group $G/Z$, which have no string theory realization, as inconsistent quantum theories when coupled to gravity. While this condition is equivalent to geometric properties of elliptic K3 surfaces in F-theory compactifications, it constrains the unexplored landscape of gauge groups in other 8d string models.


title: QCD Beyond Leading Power

abstract: In this thesis I study the infrared limits of QCD beyond leading power by developing effective quantum field theory techniques. I introduce the motivations for studying this subject both as a tool to deepen our understanding of the infrared structure of gauge theory amplitudes and cross sections in the soft, collinear and Regge limit as well as to improve predictions for collider observables. Using and extending the framework of Soft and Collinear Effective Theory (SCET), I explore the ingredients of factorization beyond leading power constructing subleading hard scattering operators and radiative jet and soft functions for processes such as Higgs production and Drell-Yan. I introduce new subleading power gauge invariant objects, the $\theta$-jet and $\theta$-soft functions, which arise in the renormalization of subleading power operators. I use them to achieve the first resummation of collinear and soft logarithms beyond leading power for a collider observable in QCD. I study the perturbative power corrections to differential distributions for color singlet production at the LHC retaining the full dependence on the kinematics of the color singlet. I highlight and solve the subtleties related to the regularization of rapidity divergences beyond leading power for which I propose a new regulator, the pure rapidity regulator. I present a new method to employ cutting edge multiloop techniques for the computation of the expansions of cross sections in the collinear limit. This allows the extraction of universal ingredients arising in the collinear limit of QCD to an unprecedented level of precision in perturbation theory. Finally, I study the Regge limit at the amplitude and cross section level beyond leading power, developing a Lagrangian formalism for the treatment of fermion mediated forward scattering processes in QCD and applying it to obtain the quark reggeization and BFKL resummation.


title: Composite Dark Matter from Strongly-Interacting Chiral Dynamics

abstract: A class of chiral gauge theories is studied with accidentally-stable pseudo Nambu-Goldstone bosons playing the role of dark matter (DM). The gauge group contains a vector-like dark color factor that confines at energies larger than the electroweak scale, and a ${\rm U}(1)_D$ factor that remains weakly coupled and is spontaneously broken. All new scales are generated dynamically, including the DM mass, and the IR dynamics is fully calculable. We analyze minimal models of this kind with dark fermions transforming as non-trivial vector-like representations of the Standard Model (SM) gauge group. In realistic models, the DM candidate is a SM singlet and comes along with charged partners that can be discovered at high-energy colliders. The phenomenology of the lowest-lying new states is thus characterized by correlated predictions for astrophysical observations and laboratory experiments.


title: Multipolar boson stars: macroscopic Bose-Einstein condensates akin to hydrogen orbitals

abstract: Boson stars are often described as macroscopic Bose-Einstein condensates. By accommodating large numbers of bosons in the same quantum state, they materialize macroscopically the intangible probability density cloud of a single particle in the quantum world. We take this interpretation of boson stars one step further. We show, by explicitly constructing the fully non-linear solutions, that static (in terms of their spacetime metric, $g_{\mu\nu}$) boson stars, composed of a single complex scalar field, $\Phi$, can have a non-trivial multipolar structure, yielding the same morphologies for their energy density as those that elementary hydrogen atomic orbitals have for their probability density. This provides a close analogy between the elementary solutions of the non-linear Einstein--Klein-Gordon theory, denoted $\Phi_{(N,\ell,m)}$, which could be realized in the macrocosmos, and those of the linear Schr\"odinger equation in a Coulomb potential, denoted $\Psi_{(N,\ell,m)}$, that describe the microcosmos. In both cases, the solutions are classified by a triplet of quantum numbers $(N,\ell,m)$. In the gravitational theory, multipolar boson stars can be interpreted as individual bosonic lumps in equilibrium; remarkably, the (generic) solutions with $m\neq 0$ describe gravitating solitons $[g_{\mu\nu},\Phi_{(N,\ell,m)}]$ without any continuous symmetries. Multipolar boson stars analogue to hybrid orbitals are also constructed.


title: Effective field theory analysis of dark matter-standard model interactions with spin one mediators

abstract: We analyze interactions between dark matter and standard model particles with spin one mediators in an effective field theory framework. In this paper, we are considering dark particles masses in the range from a few MeV to the mass of the $Z$ boson. We use bounds from different experiments: $Z$ invisible decay width, relic density, direct detection experiments, and indirect detection limits from the search of gamma-ray emissions and positron fluxes. We obtain solutions corresponding to operators with antisymmetric tensor mediators that fulfill all those requirements within our approach.


title: A solar origin of the XENON1T excess without stellar cooling problems

abstract: Solar interpretations of the recent XENON1T excess events, such as axion or dark photon emissions from the sun, are thought to be at odds with stellar cooling bounds from the horizontal branch stars and red giants. We propose a simple effective field theory of a dark photon in which a $Z_2$ symmetry forbids a single dark photon emission in the dense stars, thereby evading the cooling bounds, while the $Z_2$ is spontaneously broken in the vacuum and sun, thereby explaining the XENON1T excess. The scalar responsible for the $Z_2$ breaking has an extremely flat potential, but the flatness can be maintained under quantum corrections. The UV completion of the EFT generally requires the existence of new electrically charged particles with sub-TeV masses with $O(1)$ couplings to the dark photon, offering the opportunity to test the scenario further and opening a new window into the dark sector in laboratory experiments.


title: How Dynamical Quantum Memories Forget

abstract: Motivated by recent work showing that a quantum error correcting code can be generated by hybrid dynamics of unitaries and measurements, we study the long time behavior of such systems. We demonstrate that even in the "mixed" phase, a maximally mixed initial density matrix is purified on a time scale equal to the Hilbert space dimension (i.e., exponential in system size), albeit with noisy dynamics at intermediate times which we connect to Dyson Brownian motion. In contrast, we show that free fermion systems -- i.e., ones where the unitaries are generated by quadratic Hamiltonians and the measurements are of fermion bilinears -- purify in a time quadratic in the system size. In particular, a volume law phase for the entanglement entropy cannot be sustained in a free fermion system.


title: X-rays observations of a super-Chandrasekhar object reveal an ONeMg and a CO white dwarf merger product embedded in a putative SN Iax remnant

abstract: The merger of two white dwarfs (WD) is a natural outcome from the evolution of many binary stars. Recently, a WD merger product, IRAS 00500+6713, was identified. IRAS 00500+6713 consists of a central star embedded in a circular nebula. The analysis of the optical spectrum of the central star revealed that it is hot, hydrogen and helium free, and drives an extremely fast wind with a record breaking speed. The nebula is visible in infrared and in the [O III] line images. No nebula spectroscopy was obtained prior to our observations. Here we report the first deep X-ray imaging spectroscopic observations of IRAS 00500+6713. Both the central star and the nebula are detected in X-rays, heralding the WD merger products as a new distinct type of strong X-ray sources. Low-resolution X-ray spectra reveal large neon, magnesium, silicon, and sulfur enrichment of the central star and the nebula. We conclude that IRAS 00500+6713 resulted from a merger of an ONe and a CO WD, which supports earlier suggestion for a super-Chandrasekhar mass of this object. X-ray analysis indicates that the merger was associated with an episode of carbon burning and possibly accompanied by a SN Iax. In X-rays, we observe the point source associated with the merger product while the surrounding diffuse nebula is a supernova remnant. IRAS 00500+6713 will likely terminate its evolution with another peculiar Type I supernova, where the final core collapse to a neutron star might be induced by electron captures.


title: Chandra reveals a luminous Compton-thick QSO powering a $Ly\alpha$ blob in a $z=4$ starbursting protocluster

abstract: Galaxy clusters in the local universe descend from high-redshift overdense regions known as protoclusters. The large gas reservoirs and high rate of galaxy interaction in protoclusters are expected to trigger star-formation activity and luminous SMBH accretion in the host galaxies. We investigated the AGN content of a gas-rich and starbursting protocluster at $z=4$, known as the Distant Red Core (DRC). We observed with Chandra (139 ks) the 13 identified members of the structure, and searched for luminous and possibly obscured AGN among them. We also tested whether a hidden AGN can power the $Ly\alpha$ blob (LAB) detected with VLT/MUSE in the DRC. We detected obscured X-ray emission from the two most gas-rich members of the DRC, named DRC-1 and DRC-2. Both of them are resolved into multiple interacting clumps in high-resolution ALMA and HST observations. In particular, DRC-2 is found to host a luminous ($L_{2-10\,\mathrm{keV}}\approx3\times10^{45}\,\mathrm{erg\,s^{-1}}$) Compton-thick ($N_H\gtrsim10^{24}\,\mathrm{cm^{-2}}$) QSO, comparable to the most luminous QSOs known at all cosmic times. The AGN fraction among DRC members is consistent with results found for lower redshift protoclusters. However, X-ray stacking analysis reveals that SMBH accretion is likely also taking place in other DRC galaxies that are not detected individually by Chandra. Our results point toward the presence of a strong link between large gas reservoirs, galaxy interactions, and luminous and obscured nuclear activity in protocluster members. The powerful and obscured QSO detected in DRC-2 is likely powering the nearby LAB detected with VLT/MUSE, possibly through photoionization; however, we propose that the diffuse $Ly\alpha$ emission may be due to gas shocked by a massive outflow launched by DRC-2 over a $\approx10$ kpc scale.


title: Loop-gas description of the localized-magnon states on the kagome lattice with open boundary conditions

abstract: The high-field regime of the spin-s XXZ antiferromagnet on the kagome lattice gives rise to macroscopically degenerate ground states thanks to a completely flat lowest single-magnon band. The corresponding excitations can be localized on loops in real space and have been coined "localized magnons". Thus, the description of the many-body ground states amounts to characterizing the allowed classical loop configurations and eliminating the quantum mechanical linear relations between them. Here, we investigate this loop-gas description on finite kagome lattices with open boundary conditions and compare the results with exact diagonalization for the spin-1/2 XY model on the same lattice. We find that the loop gas provides an exact account of the degenerate ground-state manifold while a hard-hexagon description misses contributions from nested loop configurations. The densest packing of the loops corresponds to a magnon crystal that according to the zero-temperature magnetization curve is a stable ground state of the spin-1/2 XY model in a window of magnetic fields of about 4% of the saturation field just below this saturation field. We also present numerical results for the specific heat obtained by the related methods of thermal pure quantum (TPQ) states and the finite-temperature Lanczos method (FTLM). For a field in the stability range of the magnon crystal, one finds a low-temperature maximum of the specific heat that corresponds to a finite-temperature phase transition into the magnon crystal at low temperatures.


title: QED factorization of non-leptonic $B$ decays

abstract: We show that the QCD factorization approach for $B$-meson decays to charmless hadronic two-body final states can be extended to include electromagnetic corrections. The presence of electrically charged final-state particles complicates the framework. Nevertheless, the factorization formula takes the same form as in QCD alone, with appropriate generalizations of the definitions of light-cone distribution amplitudes and form factors to include QED effects. More precisely, we factorize QED effects above the strong interaction scale $\Lambda_{\rm QCD}$ for the non-radiative matrix elements $\langle M_1 M_2|Q_i|\bar{B}\rangle$ of the current-current operators from the effective weak interactions. The rates of the branching fractions for the infrared-finite observables $\bar B\to M_1 M_2(\gamma)$ with photons of maximal energy $\Delta E\ll\Lambda_{\rm QCD}$ is then obtained by multiplying with the soft-photon exponentiation factors. We provide first estimates for the various electromagnetic corrections, and in particular quantify their impact on the $\pi K$ ratios and sum rules that are often used as diagnostics of New Physics.


title: Multimessenger Gamma-Ray and Neutrino Coincidence Alerts using HAWC and IceCube sub-threshold Data

abstract: The High Altitude Water Cherenkov (HAWC) and IceCube observatories, through the Astrophysical Multimessenger Observatory Network (AMON) framework, have developed a multimessenger joint search for extragalactic astrophysical sources. This analysis looks for sources that emit both cosmic neutrinos and gamma rays that are produced in photo-hadronic or hadronic interactions. The AMON system is running continuously, receiving sub-threshold data (i.e. data that is not suited on its own to do astrophysical searches) from HAWC and IceCube, and combining them in real-time. We present here the analysis algorithm, as well as results from archival data collected between June 2015 and August 2018, with a total live-time of 3.0 years. During this period we found two coincident events that have a false alarm rate (FAR) of $<1$ coincidence per year, consistent with the background expectations. The real-time implementation of the analysis in the AMON system began on November 20th, 2019, and issues alerts to the community through the Gamma-ray Coordinates Network with a FAR threshold of $<4$ coincidences per year.


title: Do qubits dream of entangled sheep? Quantum measurement without classical output

abstract: Quantum mechanics is usually formulated with an implicit assumption that agents who can observe and interact with the world are external to it and have a classical memory. However, there is no accepted way to define the quantum-classical cut and no a priori reason to rule out fully quantum agents with coherent quantum memories. In this work, we introduce an entirely quantum notion of measurement, called a sensation, to account for quantum agents that experience the world through quantum sensors. Sensations eschew probabilities and instead describe a deterministic flow of quantum information. We quantify the information gain and disturbance of a sensation using concepts from quantum information theory and find that sensations always disturb at least as much as they inform. Viewing measurements as sensations could lead to a new understanding of quantum theory in general and to new results in the context of quantum networks.


title: Inverse Design of Composite Metal Oxide Optical Materials based on Deep Transfer Learning

abstract: Optical materials with special optical properties are widely used in a broad span of technologies, from computer displays to solar energy utilization leading to large dataset accumulated from years of extensive materials synthesis and optical characterization. Previously, machine learning models have been developed to predict the optical absorption spectrum from a materials characterization image or vice versa. Herein we propose TLOpt, a transfer learning based inverse optical materials design algorithm for suggesting material compositions with a desired target light absorption spectrum. Our approach is based on the combination of a deep neural network model and global optimization algorithms including a genetic algorithm and Bayesian optimization. A transfer learning strategy is employed to solve the small dataset issue in training the neural network predictor of optical absorption spectrum using the Magpie materials composition descriptor. Our extensive experiments show that our algorithm can inverse design the materials composition with stoichiometry with high accuracy.


title: A new era of fine structure constant measurements at high redshift

abstract: New observations of the quasar HE0515$-$4414 have been made using the HARPS spectrograph on the ESO 3.6m telescope, aided by the Laser Frequency Comb (LFC). We present three important advances for $\alpha$ measurements in quasar absorption spectra from these observations. Firstly, the data have been wavelength calibrated using LFC and ThAr methods. The LFC wavelength calibration residuals are six times smaller than when using the standard ThAr calibration. We give a direct comparison between $\alpha$ measurements made using the two methods. Secondly, spectral modelling was performed using Artificial Intelligence (fully automated, all human bias eliminated), including a temperature parameter for each absorption component. Thirdly, in contrast to previous work, additional model parameters were assigned to measure $\alpha$ for each individual absorption component. The increase in statistical uncertainty from the larger number of model parameters is small and the method allows a substantial advantage; outliers that would otherwise contribute a significant systematic, possibly corrupting the entire measurement, are identified and removed, permitting a more robust overall result. The $z_{abs} = 1.15$ absorption system along the HE0515$-$4414 sightline yields 40 new $\alpha$ measurements. We constrain spatial fluctuations in $\alpha$ to be $\Delta\alpha/\alpha \leq 9 \times 10^{-5}$ on scales $\approx 20\;{\rm km\,s}^{-1}$, corresponding to $\approx25\;$kpc if the $z_{abs} = 1.15$ system arises in a $1\;$Mpc cluster. Collectively, the 40 measurements yield $\Delta\alpha/\alpha=-0.27\pm2.41\times10^{-6}$, consistent with no variation.


title: Dynamical Piezomagnetic Effect in Time-Reversal Invariant Weyl Semimetals with Axionic Charge-Density Waves

abstract: Charge-density waves (CDWs) in Weyl semimetals (WSMs) have been shown to induce an exotic axionic insulating phase in which the sliding mode (phason) of the CDW acts as a dynamical axion field, giving rise to a large positive magneto-conductance [Wang et al., Phys. Rev. B 87, 161107(R) (2013); Roy et al., Phys. Rev. B 92, 125141 (2015); J. Gooth et al., Nature 575, 315 (2019)]. In this work, we predict that dynamical strain can induce a bulk orbital magnetization in time-reversal- (TR-) invariant WSMs that are gapped by a CDW. We term this effect the "dynamical piezomagnetic effect" (DPME). Unlike in [J. Gooth et al., Nature 575, 315 (2019)], the DPME introduced in this work occurs in a bulk-constant (i.e., static and spatially homogeneous in the bulk) CDW, and does not rely on fluctuations, such as a phason. By studying the low-energy effective theory and a minimal tight-binding (TB) model, we find that the DPME originates from an effective valley axion field that couples the electromagnetic gauge field with a strain-induced pseudo-gauge field. In particular, whereas the piezoelectric effects studied in previous works are characterized by 2D Berry curvature, the DPME represents the first example of a fundamentally 3D strain effect originating from the Chern-Simons 3-form. We further find that the DPME has a discontinuous change at a critical value of the phase of the CDW order parameter. We demonstrate that, when there is a jump in the DPME, the surface of the system undergoes a topological quantum phase transition (TQPT), while the bulk remains gapped. Hence, the DPME provides a bulk signature of the boundary TQPT in a TR-invariant Weyl-CDW.


title: Quasinormal modes of massive vector fields on the Kerr spacetime

abstract: We study the spectrum of quasinormal mode frequencies for a Proca field on a rotating black hole spacetime. First, we review how the introduction of field mass modifies the spectrum in the scalar-field case, leading to evanescent modes and to quasiresonance. Next, we examine the three physical polarizations of the Proca field and their relation to the electromagnetic field modes in the massless limit. Exploiting a separation of variables, we obtain a five-term recurrence relation from an appropriate ansatz for the radial function. Gaussian elimination and the modified Lentz algorithm are applied, and the quasinormal frequencies are computed from the roots of a continued fraction. We validate our method by calculating quasibound state frequencies, which are complementary to quasinormal modes, and which can be calculated using the same method. We present a selection of results for the low-lying overtones of all three polarizations, across a range of black hole spins and field masses.


title: Analytic post-Newtonian expansion of the energy and angular momentum radiated to infinity by eccentric-orbit non-spinning extreme-mass-ratio inspirals to 19PN

abstract: We develop new high-order results for the post-Newtonian (PN) expansions of the energy and angular momentum fluxes at infinity for eccentric-orbit extreme-mass-ratio inspirals (EMRIs) on a Schwarzschild background. The series are derived through direct expansion of the MST solutions within the RWZ formalism for first-order black hole perturbation theory (BHPT). By utilizing factorization and a few computational simplifications, we are able to compute the fluxes to 19PN, with each PN term calculated as a power series in (Darwin) eccentricity to $e^{10}$. This compares favorably with the numeric fitting approach used in previous work. We also compute PN terms to $e^{20}$ through 10PN. Then, we analyze the convergence properties of the composite energy flux expansion by checking against numeric data for several orbits, both for the full flux and also for the individual 220 mode, with various resummation schemes tried for each. The match between the high-order series and numerical calculations is generally strong, maintaining relative error better than $10^{-5}$ except when $p$ (the semi-latus rectum) is small and $e$ is large. However, the full-flux expansion demonstrates superior fidelity (particularly at high $e$), as it is able to incorporate additional information from PN theory. For the orbit $(p=10, e=1/2)$, the full flux achieves a best error near $10^{-5}$, while the 220 mode exhibits error worse than $1\%$. Finally, we describe a procedure for transforming these expansions to the harmonic gauge of PN theory by analyzing Schwarzschild geodesic motion in harmonic coordinates. This will facilitate future comparisons between BHPT and PN theory.


title: Chromospheric resonances above sunspots and potential seismological applications

abstract: Oscillations in sunspot umbrae exhibit remarkable differences between the photosphere and chromosphere. We evaluate two competing scenarios proposed for explaining those observations: a chromospheric resonant cavity and waves traveling from the photosphere to upper atmospheric layers. We have employed numerical simulations to analyze the oscillations in both models. They have been compared with observations in the low (Na I D2) and high (He I 10830 \AA) chromosphere. The nodes of the resonant cavity can be detected as phase jumps or power dips, although the identification of the latter is not sufficient to claim the existence of resonances. In contrast, phase differences between velocity and temperature fluctuations reveal standing waves and unequivocally prove the presence of an acoustic resonator above umbrae. Our findings offer a new seismic method to probe active region chromospheres through the detection of resonant nodes.


title: Impact of the ISM magnetic field on GRB afterglow polarization

abstract: Linear polarization has been measured in several GRB afterglows. After a few days, polarization arises from the forward shock emission which depends on the post-shock magnetic field. The latter can originate both from compression of existing fields, here the ISM magnetic field, and from shock generated instabilities. For short GRBs, previous modelling of the polarization arising from the forward shock considered a random field fully or partially confined to the shock plane. However, the ISM magnetic field likely consists of both random and ordered components. Here we study the impact of a more realistic magnetic field having both ordered and random components. We present our semi-analytical model and compute polarization curves arising for different magnetic field configurations. We find that the presence of an ordered component, even significantly weaker than the random one, has distinct signatures that could be detectable. In the presence of an ordered component not in the observer plane, we show that: i) for an observer inside the jet, the polarization angle $\theta_p$ either remains constant during all the afterglow phase or exhibits variations smaller than the 90\textdegree swing expected from a random component solely, ii) for an observer outside the jet, the polarization angle evolves from $\theta_p^{\max}$, before the jet break to its opposite after the jet break. We also find that the upper limit polarization for GRB170817 requires a random field not fully confined to the shock plane and is compatible with an ordered component as large as half the random one.


title: Lectures on Naturalness, String Landscape and Multiverse

abstract: The cosmological constant and electroweak hierarchy problem have been a great inspiration for research. Nevertheless, the resolution of these two naturalness problems remains mysterious from the perspective of a low-energy effective field theorist. The string theory landscape and a possible string-based multiverse offer partial answers, but they are also controversial for both technical and conceptual reasons. The present lecture notes, suitable for a one-semester course or for self-study, attempt to provide a technical introduction to these subjects. They are aimed at graduate students and researchers with a solid background in quantum field theory and general relativity who would like to understand the string landscape and its relation to hierarchy problems and naturalness at a reasonably technical level. Necessary basics of string theory are introduced as part of the course. This text will also benefit graduate students who are in the process of studying string theory at a deeper level. In this case, the present notes may serve as additional reading beyond a formal string theory course.


title: Trapping Majorana Zero Modes in Vortices of Magnetic Texture Crystals Coupled to Nodal Superconductors

abstract: We propose a mechanism for opening a full bulk energy gap and inducing vortex Majorana zero modes (MZMs) in nodal superconductors (SCs). We show that this becomes possible by coupling the nodal SC of interest to a magnetic texture crystal. The latter consists of superpositions of magnetic textures which repeat periodically in space according to suitable wave vectors that enable spin-flip scattering between all pairs of nodes of the SC, and thus open a full gap in its bulk energy spectrum. In this event, MZMs can be trapped in spin or shift vortices introduced in the magnetic texture crystal. Our approach is generic and applies to nodal SCs of spin-singlet, -triplet, or -mixed type of pairing. Therefore, it promises to find application in a variety of nodal SCs, where the magnetic textures appear either spontaneously due to electron-electron interactions, or are imposed by nanomagnets, or become induced by coupling to a lattice of localized magnetic moments.


title: Dark Sector Assisted Low Scale Leptogenesis from Three Body Decay

abstract: We study the possibility of realising leptogenesis from three body decay, dark matter (DM) and neutrino mass in a minimal framework. We propose a first of its kind model to implement the idea of leptogenesis from three body decay where CP asymmetry arises from interference of multiple $1 \rightarrow 3$ diagrams using resummed propagators along with DM. The standard model is extended by three heavy singlet fermions, one scalar singlet and one scalar doublet with appropriate discrete charges. Two of these singlet fermions not only play non-trivial roles in generating light neutrino mass at radiative level in scotogenic fashion, but also act as mediators in three body decay of the third singlet fermion leading to desired CP asymmetry through interference of such diagrams. With just one additional field compared to the minimal scotogenic model, we show that successful leptogenesis can occur at a scale as low as approximately 1 TeV which is much lower than the leptogenesis scale found for minimal scotogenic model. Also, the realisation of this three body decay leptogenesis naturally leads to a two component scalar singlet-doublet dark matter scenario offering a rich phenomenology. Apart from having interesting interplay of different couplings involved in processes related to both leptogenesis and dark matter, the model can also be tested at different experiments due to the existence of its particle spectrum at TeV scale.


title: Prediction of Spin Polarized Fermi Arcs in Quasiparticle Interference of CeBi

abstract: We predict that CeBi in the ferromagnetic state is a Weyl semimetal. Our calculations within density functional theory show the existence of two pairs of Weyl nodes on the momentum path $(0, 0, k_z)$ at $15$ meV} above and $100$ meV below the Fermi level. Two corresponding Fermi arcs are obtained on surfaces of mirror-symmetric (010)-oriented slabs at $E=15$ meV and both arcs are interrupted into three segments due to hybridization with a set of trivial surface bands. By studying the spin texture of surface states, we find the two Fermi arcs are strongly spin-polarized but in opposite directions, which can be detected by spin-polarized ARPES measurements. Our theoretical study of quasiparticle interference (QPI) for a nonmagnetic impurity at the Bi site also reveals several features related to the Fermi arcs. Specifically, we predict that the spin polarization of the Fermi arcs leads to a bifurcation-shaped feature only in the spin-dependent QPI spectrum, serving as a fingerprint of the Weyl nodes.


title: Structural properties and Raman spectra of columbite-type NiNb$_{2-x}$V$_x$O$_6$ synthesized under high pressure

abstract: The complete set of structural parameters of the new series of compounds NiNb$_{2-x}$V$_x$O$_6$ ($0\leq x \leq 2$) with the unusual columbite-type structure is presented here. In the samples containing vanadium, this crystalline structure was stabilized by synthesis in conditions of high pressure and high temperature. Here we report here the first Raman spectrum for the NiV$_2$O$_6$-\textsl{Pbcn} polymorph and extend the list of the previously observed modes for the NiNb$_2$O$_6$. The evolution of the vibrational Raman spectrum produced when the vanadium is substituted for niobium along the series is also presented and discussed. This evolution is interpreted by taking into account the changes in the local structural environment of the niobium/vanadium atoms and its influence over the nickel-oxygen bonds around them. The presence of vanadium atoms favors an increase of the symmetry in the arrangement of oxygen atoms around the nickel-ones; in counterpart, the vanadium is in an octahedral environment which is more distorted than that of the niobium. Because of these apparently subtle differences, the homogeneous distribution of vanadium in the solid solution NiNb$_{2-x}$V$_x$O$_6$ is not possible.


title: Squeezing and Entanglement of two-modes Quantum $\mathrm{X}$ Waves

abstract: quantum theory of generalized $\mathrm{X}$ waves with orbital angular momentum in dispersive media, and the interaction of quantized $\mathrm{X}$ waves in quadratic nonlinear media were studied in (J. opt,20,065201(2018)). We present a kind of phase matching, which is called velocity phase matching, and this phase matching can be used for determining the length of the nonlinear crystal or the interaction time in the experiment setup, to produce $\mathrm{X}$ waves with particular velocity $v$. Moreover, we introduce more analysis for the dependence of squeezing of $\mathrm{X}$ waves on its spectral order, and for spectral orders $j>0$, we predict the existence of a characteristic axicon aperture for maximal squeezing. Then we find the quantum squeezed state of down-converted state generated by the $\chi^{2}$-nonlinear process. Finally, we detect their entanglement using a criterion of separability.


title: OpenBot: Turning Smartphones into Robots

abstract: Current robots are either expensive or make significant compromises on sensory richness, computational power, and communication capabilities. We propose to leverage smartphones to equip robots with extensive sensor suites, powerful computational abilities, state-of-the-art communication channels, and access to a thriving software ecosystem. We design a small electric vehicle that costs $50 and serves as a robot body for standard Android smartphones. We develop a software stack that allows smartphones to use this body for mobile operation and demonstrate that the system is sufficiently powerful to support advanced robotics workloads such as person following and real-time autonomous navigation in unstructured environments. Controlled experiments demonstrate that the presented approach is robust across different smartphones and robot bodies. A video of our work is available at https://www.youtube.com/watch?v=qc8hFLyWDOM


title: Deep learning to accelerate Maxwell's equations for inverse design of dielectric metasurfaces

abstract: The inverse design of optical metasurfaces is a rapidly emerging field that has already shown great promise in miniaturizing conventional optics as well as developing completely new optical functionalities. Such a design process relies on many forward simulations of a device's optical response in order to optimize its performance. We present a data-driven forward simulation framework for the inverse design of metasurfaces that is more accurate than methods based on the local phase approximation, a factor of $10^4$ times faster and requires $15$ times less memory than mesh based solvers, and is not constrained to spheroidal scatterer geometries. We explore the scattered electromagnetic field distribution from wavelength scale cylindrical pillars, obtaining low-dimensional representations of our data via the singular value decomposition. We create a differentiable model fiting the input geometries and configurations of our metasurface scatterers to the low-dimensional representation of the output field. To validate our model, we inverse design two optical elements: a wavelength multiplexed element that focuses light for $\lambda=633$nm and produces an annular beam at $\lambda=400$nm and an extended depth of focus lens.


title: Adding Filters to Improve Reservoir Computer Performance

abstract: Reservoir computers are a type of neuromorphic computer that may be built a an analog system, potentially creating powerful computers that are small, light and consume little power. Typically a reservoir computer is build by connecting together a set of nonlinear nodes into a network; connecting the nonlinear nodes may be difficult or expensive, however. This work shows how a reservoir computer may be expanded by adding functions to its output. The particular functions described here are linear filters, but other functions are possible. The design and construction of linear filters is well known, and such filters may be easily implemented in hardware such as field programmable gate arrays (FPGA's). The effect of adding filters on the reservoir computer performance is simulated for a signal fitting problem, a prediction problem and a signal classification problem.


title: DiverseNet: When One Right Answer is not Enough

abstract: Many structured prediction tasks in machine vision have a collection of acceptable answers, instead of one definitive ground truth answer. Segmentation of images, for example, is subject to human labeling bias. Similarly, there are multiple possible pixel values that could plausibly complete occluded image regions. State-of-the art supervised learning methods are typically optimized to make a single test-time prediction for each query, failing to find other modes in the output space. Existing methods that allow for sampling often sacrifice speed or accuracy. We introduce a simple method for training a neural network, which enables diverse structured predictions to be made for each test-time query. For a single input, we learn to predict a range of possible answers. We compare favorably to methods that seek diversity through an ensemble of networks. Such stochastic multiple choice learning faces mode collapse, where one or more ensemble members fail to receive any training signal. Our best performing solution can be deployed for various tasks, and just involves small modifications to the existing single-mode architecture, loss function, and training regime. We demonstrate that our method results in quantitative improvements across three challenging tasks: 2D image completion, 3D volume estimation, and flow prediction.


title: Global Solutions of a Two-Dimensional Riemann Problem for the Pressure Gradient System

abstract: We are concerned with a two-dimensional ($2$-D) Riemann problem for compressible flows modeled by the pressure gradient system that is a $2$-D hyperbolic system of conservation laws. The Riemann initial data consist of four constant states in four sectorial regions such that two shock waves and two vortex sheets are generated between the adjacent states. This Riemann problem can be reduced to a boundary value problem in the self-similar coordinates with the Riemann initial data as its asymptotic boundary data, along with two sonic circles determined by the Riemann initial data, for a nonlinear system of mixed-composite type. The solutions keep the four constant states and four planar waves outside the outer sonic circle. The two shocks keep planar until they meet the outer sonic circle at two different points and then generate a diffracted shock to be expected to connect these two points, whose exact location is {\it apriori} unknown which is regarded as a free boundary. Then the $2$-D Riemann problem can be reformulated as a free boundary problem, in which the diffracted transonic shock is the one-phase free boundary to connect the two points, while the other part of the outer sonic circle forms the part of the fixed boundary of the problem. We establish the global existence of a solution of the free boundary problem, as well as the $C^{0,1}$--regularity of both the diffracted shock across the two points and the solution across the outer sonic boundary which is optimal. One of the key observations here is that the diffracted transonic shock can not intersect with the inner sonic circle in the self-similar coordinates. As a result, this $2$-D Riemann problem is solved globally, whose solution contains two vortex sheets and one global $2$-D shock connecting the two original shocks generated by the Riemann data.


title: Thermal biphotons

abstract: The observation of the Hanbury Brown and Twiss (HBT) effect with thermal light marked the birth of quantum optics. All the thermal sources considered to date did not feature quantum signatures of light, as they consisted of independent emitters that emit uncorrelated photons. Here, we propose and demonstrate an incoherent light source based on phase-randomized spatially entangled photons, which we coin thermal biphotons. We show that in contrast to thermal light, the width of the HBT peak for thermal biphotons is determined by their correlations, leading to violation of the Siegert relation and breakdown of the speckle-fluctuations interpretation. We further provide an alternative interpretation of the results by drawing a connection between the HBT effect and coherent backscattering of light. Finally, we discuss the role of spatial entanglement in the observed results, deriving a relation between the Schmidt number and the degree of violation of the Siegert relation under the double-Gaussian approximation of spontaneous parametric down conversion (SPDC). Our work reflects new insights on the coherence properties of thermal light in the presence of entanglement, paving the way for entanglement certification using disorder averaged measurements.


title: Data-driven spectroscopic estimates of absolute magnitude, distance and binarity -- method and catalog of 16,002 O- and B-type stars from LAMOST

abstract: We present a data-driven method to estimate absolute magnitudes for O- and B-type stars from the LAMOST spectra, which we combine with {\it Gaia} parallaxes to infer distance and binarity. The method applies a neural network model trained on stars with precise {\it Gaia} parallax to the spectra and predicts $K_{\rm s}$-band absolute magnitudes $M_{Ks}$ with a precision of 0.25\,mag, which corresponds to a precision of 12\% in spectroscopic distance. For distant stars (e.g. $>5$\,kpc), the inclusion of constraints from spectroscopic $M_{Ks}$ significantly improves the distance estimates compared to inferences from {\it Gaia} parallax alone. Our method accommodates for emission line stars by first identifying them via PCA reconstructions and then treating them separately for the $M_{Ks}$ estimation. We also take into account unresolved binary/multiple stars, which we identify through deviations in the spectroscopic $M_{Ks}$ from the geometric $M_{Ks}$ inferred from {\it Gaia} parallax. This method of binary identification is particularly efficient for unresolved binaries with near equal-mass components and thus provides an useful supplementary way to identify unresolved binary or multiple-star systems. We present a catalog of spectroscopic $M_{Ks}$, extinction, distance, flags for emission lines, and binary classification for 16,002 OB stars from LAMOST DR5. As an illustration of the method, we determine the $M_{Ks}$ and distance to the enigmatic LB-1 system, where Liu et al. (2019) had argued for the presence of a black hole and incorrect parallax measurement, and we do not find evidence for errorneous {\it Gaia} parallax.


title: Tool Macgyvering: A Novel Framework for Combining Tool Substitution and Construction

abstract: Macgyvering refers to solving problems inventively by using whatever objects are available at hand. Tool Macgyvering is a subset of macgyvering tasks involving a missing tool that is either substituted (tool substitution) or constructed (tool construction), from available objects. In this paper, we introduce a novel Tool Macgyvering framework that combines tool substitution and construction using arbitration that decides between the two options to output a final macgyvering solution. Our tool construction approach reasons about the shape, material, and different ways of attaching objects to construct a desired tool. We further develop value functions that enable the robot to effectively arbitrate between substitution and construction. Our results show that our tool construction approach is able to successfully construct working tools with an accuracy of 96.67%, and our arbitration strategy successfully chooses between substitution and construction with an accuracy of 83.33%.


title: Radiation reaction from quantum electrodynamics and its implications for the Unruh effect

abstract: The Abraham-Lorentz-Dirac theory predicts vanishing radiation reaction for uniformly accelerated charges. However, since an accelerating observer should detect thermal radiation, the charge should be seen absorbing photons in the accelerated frame which, if nothing else occurs, would influence its motion. This means that either there is radiation reaction seen in an inertial frame or there should be an additional phenomenon seen in the accelerated frame countering the effect of absorption. In this paper I rederive the Abraham--Lorentz--Dirac force from quantum electrodynamics, then I study the case of a uniformly accelerated charge. I show that in the accelerated frame, in addition to the absorption of photons due to the Unruh effect there should also be stimulated emission. The net effect of these phenomena on the motion of the charge is found to be zero.


title: Exosphere -- Bringing The Cloud Closer

abstract: Exosphere provides researcher-friendly software for managing computing workloads on OpenStack cloud infrastructure. Exosphere is a user-friendly alternative to Horizon, the default OpenStack graphical interface. Exosphere can be used with most research cloud infrastructure, requiring near-zero custom integration work.


title: Lessons from the first multiply imaged supernova: A revised Light-Traces-Mass strong lensing model for the galaxy cluster MACS J1149.5+2223

abstract: Our light-traces-mass (LTM) strong-lensing model for MACS J1149.5+2223 has played several key roles over the last decade: it aided the identification of multiple images in this cluster and the study of MACS1149-JD1 at redshift $z\simeq9$, it was used to estimate the properties of the first multiply imaged supernova, Refsdal, in its discovery paper, and of the first caustic crossing event by a cluster, Lensed Star 1. Supernova Refsdal supplied an invaluable opportunity to conduct a blind test of the ability of common lens-modeling techniques to accurately describe the properties of SN Refsdal's images and predict the reappearance of one of its counter images that was due about a year post-discovery of the original Einstein cross. Thanks to this practice, in which our submitted model yielded some outlying results, we located a numerical artifact in the time delay (TD) calculation part of the code, which was now fixed. This artifact did not influence the reproduction of multiple images (i.e., the deflection fields -- which are those constrained directly from the observations) or the derived mass model, and so it remained unnoticed prior to supernova Refsdal, emphasizing the importance of blind tests in astronomy. Here we update our model and present revised LTM measurements for Refsdal. These are important not only for completing the LTM view of the Refsdal event, but also because they affect the range of values predicted from different lens-modeling techniques and thus the range of systematic uncertainties for the TD calculation and the resulting Hubble constant.


title: Lessons from the first multiply imaged supernova II: A parametric strong-lensing model for the galaxy cluster MACS J1149.5+2223

abstract: We present a parametric, grid-based lens model for the galaxy cluster MACS J1149.5+2223, concentrating on the properties of the first multiply imaged supernova Refsdal. This model complements our updated light-traces-mass (LTM) strong-lensing model for this cluster, described in a companion paper, and is generated using the same pipeline but with a different parametrization. Together these two models probe different possible solutions in a relatively self-consistent manner and can be used to examine systematic uncertainties and relevant differences between the two parameterizations. We obtain reasonably similar (agreeing to within $\simeq1-3\sigma$, in most cases) time delays and magnification ratios, with respect to S1, from the two different methods, although the LTM predictions seem to be systematically shorter/smaller for some of the images. Most notably, the time delay [and 95\% CI] between the Einstein cross (in particular, image S1), and SX, the image that appeared about a year after the original discovery of the cross, differs substantially between the parametric method (326 [300 -- 359] days) and the LTM method (224 [198 -- 306] days), which seems to underestimates the true reappearance time. The cause for this systematic difference is unclear at present. We speculate on its possible origin and note that a refined measurement of SN Refsdal's properties should help to more strongly discriminate between the two solutions, and thus between the two descriptions for the intrinsic shape of the underlying matter distribution. We also discuss the implications of our results for the Hubble constant.


title: Mapping class groups of surfaces of genus $\geq 3$ do not virtually surject to $\mathbb{Z}$

abstract: We prove a well known conjecture of Nikolai Ivanov which states that if $X$ is a surface of genus $\geq 3$ (with any number of punctures and boundary components), $\rm{Mod}(X)$ is the mapping class group of $X$, and $K < \rm{Mod}(X)$ is a finite-index subgroup, then $K$ does not virtually surject to $\mathbb{Z}$. As a corollary of this we get that $H_1(Z; \mathbb{Q}) = 0$ whenever $Z$ is a finite cover of $\mathcal{M}_{g,n}$, the moduli space of complex algebraic curves of genus $g\geq 3$ with $n$ marked points.


title: King-Hele orbit theory for periodic orbit and attitude variations

abstract: The analytical theory of satellite orbits in an atmosphere developed by King-Hele remains widely in use for satellite mission design because of its accurate approximation to numerical integration under simplifying assumptions. Over the course of six decades, modifications to the theory have addressed many of its weaknesses. However, in all subsequent modifications of the original theory, the assumption of a constant drag-coefficient has been retained. The drag-coefficient is a dynamic parameter that governs the physical interaction between the atmosphere and the satellite and depends on ambient as well as satellite specific factors. In this work, Fourier series expansion models of the drag-coefficient are incorporated in the original King-Hele theory to capture time-variations of the drag-coefficient in averaging integrals. The modified theory is validated through simulations that demonstrate the attained improvements in approximating numerical results over the original King-Hele formulation.