title: Feynman categories and Representation Theory

abstract: We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching generalization of groups, algebras and modules. Taking a new algebraic approach, we provide more examples and more details for several key constructions. This leads to new applications and results. The text is intended to be a self--contained basis for a crossover of more elevated constructions and results in the fields of representation theory and Feynman categories, whose applications so far include number theory, geometry, topology and physics.


title: One-Bit Radar Processing with Time-Varying Sampling Thresholds

abstract: Target parameter estimation in active sensing, and particularly radar signal processing, is a long-standing problem that has been studied extensively. In this paper, we propose a novel approach for target parameter estimation in cases where one-bit analog-to-digital-converters (ADCs), also known as signal comparators with time-varying thresholds, are employed to sample the received radar signal instead of high-resolution ADCs. The considered problem has potential applications in the design of inexpensive radar and sensing devices in civilian applications, and can likely pave the way for future radar systems employing low-resolution ADCs for faster sampling and high-resolution target determination. We formulate the target estimation as a multivariate weighted-least-squares optimization problem that can be solved in a cyclic manner. Numerical results are provided to exhibit the effectiveness of the proposed algorithms.


title: SYK Correlators for All Energies

abstract: The Sachdev-Ye-Kitaev (SYK) model, a theory of N Majorana fermions with q-body interactions, becomes in the large q limit a conformally-broken Liouville field theory. Taking this limit preserves many interesting properties of the model, yet makes the theory as a whole much more tractable. Accordingly, we produce novel expressions for the two and four-point correlators at arbitrary temperature and find the surprising result they take a universal closed form. We note that these expressions correctly match onto and interpolate between previously-obtained low-energy results and simple high-energy perturbative checks. We find that the time-ordered four-point correlators are always determined by finite temperature OPEs into the identity and Hamiltonian, while the out-of-time-order four-point correlators remain nontrivial and always scramble. This has only been established in the conformal limit, so to find that it holds for large q at all temperatures/couplings is a nontrivial result. Finally, we determine the system's thermalization and scrambling rates and find that they always agree, regardless of temperature. This adds to the increasing body of evidence that there exists simple structures in large N internal dynamics, such as those formed by SYK's epidemic operator growth.

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


title: An Efficient $\varepsilon$-BIC to BIC Transformation and Its Application to Black-Box Reduction in Revenue Maximization

abstract: We consider the black-box reduction from multi-dimensional revenue maximization to virtual welfare maximization. Cai et al. show a polynomial-time approximation-preserving reduction, however, the mechanism produced by their reduction is only approximately Bayesian incentive compatible ($\varepsilon$-BIC). We provide two new polynomial time transformations that convert any $\varepsilon$-BIC mechanism to an exactly BIC mechanism with only a negligible revenue loss. Our first transformation applies to any mechanism design setting with downward-closed outcome space and only requires sample access to the agents' type distributions. Our second transformation applies to the fully general outcome space, removing the downward-closed assumption, but requires full access to the agents' type distributions. Both transformations only require query access to the original $\varepsilon$-BIC mechanism. Other $\varepsilon$-BIC to BIC transformations for revenue exist in the literature but all require exponential time to run in both of the settings we consider. As an application of our transformations, we improve the reduction by Cai et al. to generate an exactly BIC mechanism.


title: Satisfaction of the Condition of Order Preservation: A Simulation Study

abstract: We examine satisfaction of the condition of order preservation (COP) with respect to different levels of inconsistency for randomly generated multiplicative pairwise comparison matrices (MPCMs) of the order n = {3,4,...,9}, where a priority vector is derived both by the eigenvalue method (EV) and the geometric mean (GM) method. Our results suggest the GM method and the EV method preserve the COP condition almost identically, both for the less inconsistent matrices (with Saaty's consistency index CI <0.10), and the more inconsistent matrices (with CI >= 0.10). Further, we find that the frequency of the COP violations grows (almost linearly) with increasing inconsistency of MPCMs measured by Koczkodaj's inconsistency index and Saaty's consistency index respectively, and we provide graphs to illustrate these relationships for MPCMs of the order n ={4, 7, 9}.


title: The full four-loop cusp anomalous dimension in $\mathcal{N}=4$ super Yang-Mills and QCD

abstract: We present the complete formula for the cusp anomalous dimension at four loops in QCD and in maximally supersymmetric Yang-Mills. In the latter theory it is given by \begin{equation} {\Gamma}^{\rm}_{\rm cusp}\Big|_{\alpha_s^4} = -\left( \frac{\alpha_s N}{\pi}\right)^4 \left[ \frac{73 \pi^6}{20160} + \frac{ \zeta_{3}^2}{8} + \frac{1}{N^2} \left( \frac{31\pi^6}{5040} + \frac{9 \zeta_3^2}{4} \right) \right] \,.\nonumber \end{equation} Our approach is based on computing the correlation function of a rectangular light-like Wilson loop with a Lagrangian insertion, normalized by the expectation value of the Wilson loop. In maximally supersymmetric Yang-Mills theory, this ratio is a finite function of a cross-ratio and the coupling constant. We compute it to three loops, including the full colour dependence. Integrating over the position of the Lagrangian insertion gives the four-loop Wilson loop. We extract its leading divergence, which determines the four-loop cusp anomalous dimension. Finally, we employ a supersymmetric decomposition to derive the last missing ingredient in the corresponding QCD result.


title: SparseTrain:Leveraging Dynamic Sparsity in Training DNNs on General-Purpose SIMD Processors

abstract: Our community has greatly improved the efficiency of deep learning applications, including by exploiting sparsity in inputs. Most of that work, though, is for inference, where weight sparsity is known statically, and/or for specialized hardware. We propose a scheme to leverage dynamic sparsity during training. In particular, we exploit zeros introduced by the ReLU activation function to both feature maps and their gradients. This is challenging because the sparsity degree is moderate and the locations of zeros change over time. We also rely purely on software. We identify zeros in a dense data representation without transforming the data and performs conventional vectorized computation. Variations of the scheme are applicable to all major components of training: forward propagation, backward propagation by inputs, and backward propagation by weights. Our method significantly outperforms a highly-optimized dense direct convolution on several popular deep neural networks. At realistic sparsity, we speed up the training of the non-initial convolutional layers in VGG16, ResNet-34, ResNet-50, and Fixup ResNet-50 by 2.19x, 1.37x, 1.31x, and 1.51x respectively on an Intel Skylake-X CPU.


title: Construction of a Validated Virtual Embodiment Questionnaire

abstract: User embodiment is important for many virtual reality (VR) applications, for example, in the context of social interaction, therapy, training, or entertainment. However, there is no validated instrument to empirically measure the perception of embodiment, necessary to reliably evaluate this important quality of user experience (UX). To assess components of virtual embodiment in a valid, reliable, and consistent fashion, we develped a Virtual Embodiment Questionnaire (VEQ). We reviewed previous literature to identify applicable constructs and items, and performed a confirmatory factor analysis (CFA) on the data from three experiments (N = 196). Each experiment modified a distinct simulation property, namely, the level of immersion, the level of personalization, and the level of behavioral realism. The analysis confirmed three factors: (1) ownership of a virtual body, (2) agency over a virtual body, and (3) change in the perceived body schema. A fourth study (N = 22) further confirmed the reliability and validity of the scale and investigated the impacts of latency jitter of avatar movements presented in the simulation compared to linear latencies and a baseline. We present the final scale and further insights from the studies regarding related constructs.


title: On Miyawaki lifts with respect to Hermitian Maass lifts

abstract: In this paper, we discuss the representation-theoretical Miyawaki lift for unitary groups in terms of the endoscopic classification. We give an explicit determination of Miyawaki lifts for U(1) and U(3) with respect to Hermitian Maass lifts, namely Ikeda lifts for U(4).


title: PPSM: A Privacy-Preserving Stackelberg Mechanism: Privacy Guarantees for the Coordination of Sequential Electricity and Gas Markets

abstract: This paper introduces a differentially private mechanism to protect the information exchanged during the coordination of the sequential market-clearing of electricity and natural gas systems. The coordination between these sequential and interdependent markets represents a classic Stackelberg game and relies on the exchange of sensitive information between the system agents, including the supply and demand bids in each market or the characteristics of the systems. The paper is motivated by the observation that traditional differential privacy mechanisms are unsuitable for the problem of interest: The perturbation introduced by these mechanisms fundamentally changes the underlying optimization problem and even leads to unsatisfiable instances. To remedy such limitation, the paper introduces the Privacy-Preserving Stackelberg Mechanism (PPSM), a framework that enforces the notions of consistency and fidelity of the privacy-preserving information to the original problem objective. The PPSM has strong properties: It complies with the notion of differential privacy and ensures that the outcomes of the privacy-preserving coordination mechanisms are close-to-optimality for each agent. The fidelity property is analyzed by providing theoretical guarantees on the cost of privacy of PPSM and experimental results on several gas and electricity market benchmarks based on a real case study demonstrate the effectiveness of the approach.


title: Analysis of amplification mechanisms and cross-frequency interactions in nonlinear flows via the harmonic resolvent

abstract: We propose a framework that elucidates the input-output characteristics of flows with complex dynamics arising from nonlinear interactions between different time scales. More specifically, we consider a periodically time-varying base flow, and perform a frequency-domain analysis of periodic perturbations about this base flow; the response of these perturbations is governed by the harmonic resolvent, which is a linear operator similar to the harmonic transfer function introduced by Wereley (1991). This approach makes it possible to explicitly capture the triadic interactions that are responsible for the energy transfer between different time scales in the flow. For instance, perturbations at frequency $\alpha$ are coupled with perturbations at frequency $\omega$ through the base flow at frequency $\omega-\alpha$. We draw a connection with resolvent analsyis, which is a special case of the harmonic resolvent when evaluated about a steady base flow. We show that the left and right singular vectors of the harmonic resolvent are the optimal response and forcing modes, which can be understood as full spatio-temporal signals that reveal space-time amplification characteristics of the flow. We illustrate the method on examples, including a three-dimensional system of ordinary differential equations and the flow over an airfoil at near-stall angle of attack.


title: Topical Phrase Extraction from Clinical Reports by Incorporating both Local and Global Context

abstract: Making sense of words often requires to simultaneously examine the surrounding context of a term as well as the global themes characterizing the overall corpus. Several topic models have already exploited word embeddings to recognize local context, however, it has been weakly combined with the global context during the topic inference. This paper proposes to extract topical phrases corroborating the word embedding information with the global context detected by Latent Semantic Analysis, and then combine them by means of the P\'{o}lya urn model. To highlight the effectiveness of this combined approach the model was assessed analyzing clinical reports, a challenging scenario characterized by technical jargon and a limited word statistics available. Results show it outperforms the state-of-the-art approaches in terms of both topic coherence and computational cost.


title: Can Taxes Improve Congestion on All Networks?

abstract: We ask if it is possible to positively influence social behavior with no risk of unintentionally incentivizing pathological behavior. In network routing problems, if network traffic is composed of many individual agents, it is known that self-interested behavior among the agents can lead to suboptimal network congestion. We study situations in which a system planner charges monetary tolls for the use of network links in an effort to incentivize efficient routing choices by the users, but in which the users' sensitivity to tolls is heterogeneous and unknown. We seek locally-computed tolls that are guaranteed not to incentivize worse network routing than in the un-influenced case. Our main result is to show that if networks are sufficiently complex and populations sufficiently diverse, perverse incentives cannot be systematically avoided: any taxation mechanism that improves outcomes on one network must necessarily degrade them on another. Nonetheless, for the simple class of parallel networks, non-perverse taxes do exist; we fully characterize all such taxation mechanisms, showing that they are a generalized version of traditional marginal-cost tolls.


title: Universal adversarial examples in speech command classification

abstract: Adversarial examples are inputs intentionally perturbed with the aim of forcing a machine learning model to produce a wrong prediction, while the changes are not easily detectable by a human. Although this topic has been intensively studied in the image domain, classification tasks in the audio domain have received less attention. In this paper we address the existence of universal perturbations for speech command classification. We provide evidence that universal attacks can be generated for speech command classification tasks, which are able to generalize across different models to a significant extent. Additionally, a novel analytical framework is proposed for the evaluation of universal perturbations under different levels of universality, demonstrating that the feasibility of generating effective perturbations decreases as the universality level increases. Finally, we propose a more detailed and rigorous framework to measure the amount of distortion introduced by the perturbations, demonstrating that the methods employed by convention are not realistic in audio-based problems.


title: Interactive Text Ranking with Bayesian Optimisation: A Case Study on Community QA and Summarisation

abstract: For many NLP applications, such as question answering and summarisation, the goal is to select the best solution from a large space of candidates to meet a particular user's needs. To address the lack of user-specific training data, we propose an interactive text ranking approach that actively selects pairs of candidates, from which the user selects the best. Unlike previous strategies, which attempt to learn a ranking across the whole candidate space, our method employs Bayesian optimisation to focus the user's labelling effort on high quality candidates and integrates prior knowledge in a Bayesian manner to cope better with small data scenarios. We apply our method to community question answering (cQA) and extractive summarisation, finding that it significantly outperforms existing interactive approaches. We also show that the ranking function learned by our method is an effective reward function for reinforcement learning, which improves the state of the art for interactive summarisation.


title: Data-driven Predictive Control for a Class of Uncertain Control-Affine Systems

abstract: This paper studies a data-driven predictive control for a class of control-affine systems which is subject to uncertainty. With the accessibility to finite sample measurements of the uncertain variables, we aim to find controls which are feasible and provide superior performance guarantees with high probability. This results into the formulation of a stochastic optimization problem (P), which is intractable due to the unknown distribution of the uncertainty variables. By developing a distributionally robust optimization framework, we present an equivalent and yet tractable reformulation of (P). Further, we propose an efficient algorithm that provides online suboptimal data-driven solutions and guarantees performance with high probability. To illustrate the effectiveness of the proposed approach, we consider a highway speed-limit control problem. We then develop a set of data-driven speed controls that allow us to prevent traffic congestion with high probability. Finally, we employ the resulting control method on a traffic simulator to illustrate the effectiveness of this approach numerically.

categories: math.OC cs.IT cs.SY eess.SY math.DS math.IT math.PR


title: Modelling the Canes Venatici I dwarf spheroidal galaxy

abstract: The aim of this work is to find a progenitor for Canes Venatici I (CVn I), under the assumption that it is a dark matter free object that is undergoing tidal disruption. With a simple point mass integrator, we searched for an orbit for this galaxy using its current position, position angle, and radial velocity in the sky as constraints. The orbit that gives the best results has the pair of proper motions $\mu_\alpha$ = -0.099 mas yr$^{-1}$ and $\mu_\delta$ = -0.147 mas yr$^{-1}$, that is an apogalactic distance of 242.79 kpc and a perigalactic distance of 20.01 kpc. Using a dark matter free progenitor that undergoes tidal disruption, the best-fitting model matches the final mass, surface brightness, effective radius, and velocity dispersion of CVn I simultaneously. This model has an initial Plummer mass of 2.47 x $10^7$ M$_\odot$ and a Plummer radius of 653 pc, producing a remnant after 10 Gyr with a final mass of 2.45 x 10$^5$ M$_\odot$, a central surface brightness of 26.9 mag arcsec$^{-2}$, an effective radius of 545.7 pc, and a velocity dispersion with the value 7.58 km s$^{-1}$. Furthermore, it is matching the position angle and ellipticity of the projected object in the sky.


title: KRATOS: Multi-User Multi-Device-Aware Access Control System for the Smart Home

abstract: In a smart home system, multiple users have access to multiple devices, typically through a dedicated app installed on a mobile device. Traditional access control mechanisms consider one unique trusted user that controls the access to the devices. However, multi-user multi-device smart home settings pose fundamentally different challenges to traditional single-user systems. For instance, in a multi-user environment, users have conflicting, complex, and dynamically changing demands on multiple devices, which cannot be handled by traditional access control techniques. To address these challenges, in this paper, we introduce Kratos, a novel multiuser and multi-device-aware access control mechanism that allows smart home users to flexibly specify their access control demands. Kratos has three main components: user interaction module, backend server, and policy manager. Users can specify their desired access control settings using the interaction module which are translated into access control policies in the backend server. The policy manager analyzes these policies and initiates negotiation between users to resolve conflicting demands and generates final policies. We implemented Kratos and evaluated its performance on real smart home deployments featuring multi-user scenarios with a rich set of configurations (309 different policies including 213 demand conflicts and 24 restriction policies). These configurations included five different threats associated with access control mechanisms. Our extensive evaluations show that Kratos is very effective in resolving conflicting access control demands with minimal overhead and robust against different attacks.


title: Linear Consistency for Proof-of-Stake Blockchains

abstract: The blockchain data structure maintained via the longest-chain rule---popularized by Bitcoin---is a powerful algorithmic tool for consensus algorithms. Such algorithms achieve consistency for blocks in the chain as a function of their depth from the end of the chain. While the analysis of Bitcoin guarantees consistency with error $2^{-k}$ for blocks of depth $O(k)$, the state-of-the-art of proof-of-stake (PoS) blockchains suffers from a quadratic dependence on $k$: these protocols, exemplified by Ouroboros (Crypto 2017), Ouroboros Praos (Eurocrypt 2018) and Sleepy Consensus (Asiacrypt 2017), can only establish that depth $\Theta(k^2)$ is sufficient. Whether this quadratic gap is an intrinsic limitation of PoS---due to issues such as the nothing-at-stake problem---has been an urgent open question, as deployed PoS blockchains further rely on consistency for protocol correctness. We give an axiomatic theory of blockchain dynamics that permits rigorous reasoning about the longest-chain rule and achieve, in broad generality, $\Theta(k)$ dependence on depth in order to achieve consistency error $2^{-k}$. In particular, for the first time, we show that PoS protocols can match proof-of-work protocols for linear consistency. We analyze the associated stochastic process, give a recursive relation for the critical functionals of this process, and derive tail bounds in both i.i.d. and martingale settings via associated generating functions.


title: Biological Impact of Ozone Depletion at the End-Permian: A modeling study

abstract: The end-Permian mass extinction is the most severe known from the fossil record. The most likely cause is massive volcanic activity associated with the formation of the Permo-Triassic Siberian flood basalts. A proposed mechanism for extinction due to this volcanic activity is depletion of stratospheric ozone, leading to increased penetration of biologically damaging Solar ultraviolet-B (UVB) radiation to Earth's surface. Previous work has modeled the atmospheric chemistry effects of volcanic emission at the end-Permian. Here we use those results as input for detailed radiative transfer simulations to investigate changes in surface-level Solar irradiance in the ultraviolet-B, ultraviolet-A and photosynthetically available (visible light) wave bands. We then evaluate the potential biological effects using biological weighting functions. In addition to changes in ozone column density we also include gaseous sulfur dioxide (SO2) and sulfate aerosols. Ours is the first such study to include these factors and we find they have a significant impact on transmission of Solar radiation through the atmosphere. Inclusion of SO2 and aerosols greatly reduces the transmission of radiation across the ultraviolet and visible wavelengths, with subsequent reduction in biological impacts by UVB. We conclude that claims of a UVB mechanism for this extinction are likely overstated.

categories: physics.ao-ph physics.bio-ph physics.geo-ph q-bio.PE


title: AGILE Observations of Two Repeating Fast Radio Bursts with Small Intrinsic Dispersion Measures

abstract: We focus on two repeating fast radio bursts (FRBs) recently detected by the CHIME/FRB experiment in 2018--2019 (Source 1: 180916.J0158+65, and Source 2: 181030.J1054+73). These sources have low excess dispersion measures (DMs) ($ < 100 \rm \, pc \, cm^{-3}$ and $ < 20 \rm \, pc \, cm^{-3}$, respectively), implying relatively small maximal distances. They were repeatedly observed by AGILE in the MeV--GeV energy range. We do not detect prompt emission simultaneously with these repeating events. This search is particularly significant for the submillisecond and millisecond integrations obtainable by AGILE. The sources are constrained to emit a MeV-fluence in the millisecond range below $F'_{MeV} = 10^{-8} \, \rm erg \, cm^{-2}$ corresponding to an isotropic energy near $E_{MeV,UL} \simeq 2 \times 10^{46}\,$erg for a distance of 150 Mpc (applicable to Source 1). We also searched for $\gamma$-ray emission for time intervals up to 100 days, obtaining 3$\,\sigma$ upper limits (ULs) for the average isotropic luminosity above 50 MeV, $L_{\gamma,UL} \simeq \,$(5-10)$\,\times 10^{43} \rm \, erg \, s^{-1}$. For a source distance near 100 kpc (possibly applicable to Source 2), our ULs imply $E_{MeV,UL}\simeq10^{40} \rm erg$, and $L_{\gamma,UL} \simeq \,$2$\,\times 10^{37} \rm \, erg \, s^{-1}$. Our results are significant in constraining the high-energy emission of underlying sources such as magnetars, or other phenomena related to extragalactic compact objects, and show the prompt emission to be lower than the peak of the 2004 magnetar outburst of SGR 1806-20 for source distances less than about 100 Mpc.


title: Clique factors in Kneser graphs

abstract: For $k,n\in \mathbb{N}$, the Kneser graph $K(n,k)$ is the graph with vertex set $V=[n]^{(k)}$ and edge set $E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$. Chen proved that for $n\geq 3k$, Kneser graphs are Hamiltonian. Similarly as for graphs with Hajnal's and Szemer\'edi's result about a minimum degree condition for clique factors and the P\'osa-Seymour Conjecture together with its solution for large graphs due to Koml\'os, S\'ark\"ozy, and Szemer\'edi, the next step is to ask for clique factors and powers of Hamiltonian cycles in Kneser graphs. For $k,\ell\in \mathbb{N}$, let $n(k,\ell)$ be the smallest integer such that for $n\geq n(k,\ell)$, $K(n,k)$ contains the $\ell$-th power of a Hamiltonian cycle. Katona conjectured that for all but finitely many exceptions, $n(k,\ell)=(\ell+1)k+1$ holds. In particular, it would be interesting to know whether $n(k,\ell)$ is linear in $k$ (for fixed $\ell$). So far this is not known for $k\geq 2$. In this note, we take a first step towards such a linear bound by proving that for $\ell\in \mathbb{N}$, $k\geq \ell$ and $n\geq \ell ^3k$, all but at most $\ell-1$ vertices of $K(n,k)$ can be partitioned into cliques of size $\ell$. Further, we use our methods to extend a short proof due to Chen and F\"uredi that $K(n,k)$ is Hamiltonian for $n\geq 3k$ and $k \mid n$ to all $n\geq 4k$ if $k\geq 4$.


title: On the Use of Information Criteria for Subset Selection in Least Squares Regression

abstract: Least squares (LS)-based subset selection methods are popular in linear regression modeling. Best subset selection (BS) is known to be NP-hard and has a computational cost that grows exponentially with the number of predictors. Recently, Bertsimas (2016) formulated BS as a mixed integer optimization (MIO) problem and largely reduced the computation overhead by using a well-developed optimization solver, but the current methodology is not scalable to very large datasets. In this paper, we propose a novel LS-based method, the best orthogonalized subset selection (BOSS) method, which performs BS upon an orthogonalized basis of ordered predictors and scales easily to large problem sizes. Another challenge in applying LS-based methods in practice is the selection rule to choose the optimal subset size k. Cross-validation (CV) requires fitting a procedure multiple times, and results in a selected k that is random across repeated application to the same dataset. Compared to CV, information criteria only require fitting a procedure once, but they require knowledge of the effective degrees of freedom for the fitting procedure, which is generally not available analytically for complex methods. Since BOSS uses orthogonalized predictors, we first explore a connection for orthogonal non-random predictors between BS and its Lagrangian formulation (i.e., minimization of the residual sum of squares plus the product of a regularization parameter and k), and based on this connection propose a heuristic degrees of freedom (hdf) for BOSS that can be estimated via an analytically-based expression. We show in both simulations and real data analysis that BOSS using a proposed Kullback-Leibler based information criterion AICc-hdf has the strongest performance of all of the LS-based methods considered and is competitive with regularization methods, with the computational effort of a single ordinary LS fit.


title: Iterative Methods for Globally Lipschitz Nonlinear Laplace Equations

abstract: We introduce an iterative method to prove the existence and uniqueness of the complex-valued nonlinear elliptic PDE of the form $ -\Delta u + F(u) = f $ with Dirichlet or Neumann boundary conditions on a precompact domain $ \Omega \subset \mathbb{R}^{n}$, where $ F : \mathbb{C} \rightarrow \mathbb{C} $ is Lipschitz. The same method gives a solution to $ - \Delta_{g} u + F(u) = f $ for these boundary conditions on a smooth, compact Riemannian manifold $ (M, g) $ with $ \mathcal{C}^{1} $ boundary, where $ - \Delta_{g} $ is the Laplace-Beltrami operator. We also apply parametrix methods to discuss an integral version of these PDEs.


title: Uncovering differential identifiability in network properties of human brain functional connectomes

abstract: The Identifiability Framework (If) has been shown to improve differential identifiability (reliability across-sessions and -sites, and differentiability across-subjects) of functional connectomes for a variety of fMRI tasks. But having a robust single session/subject functional connectome is just the starting point to subsequently assess network properties for characterizing properties of integration, segregation and communicability, among others. Naturally, one wonders if uncovering identifiability at the connectome level also uncovers identifiability on the derived network properties. This also raises the question of where to apply the If framework: on the connectivity data or directly on each network measurement? Our work answers these questions by exploring the differential identifiability profiles of network measures when If is applied on 1) the functional connectomes, and 2) directly on derived network measurements. Results show that improving across-session reliability of FCs also improves reliability of derived network measures. We also find that, for specific network properties, application of If directly on network properties is more effective. Finally, we discover that applying the framework, either way, increases task sensitivity of network properties. At a time when the neuroscientific community is focused on subject-level inferences, this framework is able to uncover FC fingerprints, which propagates to derived network properties.


title: Panoptic-DeepLab: A Simple, Strong, and Fast Baseline for Bottom-Up Panoptic Segmentation

abstract: In this work, we introduce Panoptic-DeepLab, a simple, strong, and fast system for panoptic segmentation, aiming to establish a solid baseline for bottom-up methods that can achieve comparable performance of two-stage methods while yielding fast inference speed. In particular, Panoptic-DeepLab adopts the dual-ASPP and dual-decoder structures specific to semantic, and instance segmentation, respectively. The semantic segmentation branch is the same as the typical design of any semantic segmentation model (e.g., DeepLab), while the instance segmentation branch is class-agnostic, involving a simple instance center regression. As a result, our single Panoptic-DeepLab simultaneously ranks first at all three Cityscapes benchmarks, setting the new state-of-art of 84.2% mIoU, 39.0% AP, and 65.5% PQ on test set. Additionally, equipped with MobileNetV3, Panoptic-DeepLab runs nearly in real-time with a single 1025x2049 image (15.8 frames per second), while achieving a competitive performance on Cityscapes (54.1 PQ% on test set). On Mapillary Vistas test set, our ensemble of six models attains 42.7% PQ, outperforming the challenge winner in 2018 by a healthy margin of 1.5%. Finally, our Panoptic-DeepLab also performs on par with several top-down approaches on the challenging COCO dataset. For the first time, we demonstrate a bottom-up approach could deliver state-of-the-art results on panoptic segmentation.


title: Influence of resonances on the $^{11}$B(n,gamma)$^{12}$B capture reaction rate. III. Capture to the 2nd, 3rd and 4th excited state of $^{12}$B

abstract: Within the framework of the modified potential cluster model with a classification of orbital states according to Young diagrams, the possibility of data description of the radiative neutron capture on 11B to the second excited state of 12B at 1.67365 MeV (2-) and prediction absentee of experimental data for the total cross sections to the third and fourth excited state of 12B at 2.6208 MeV (1-) and 2.723 MeV (0+) for reaction energy of 10 meV (1 meV = 10-3 eV) to 7 MeV was considered. The reaction rate in the temperature range of 0.01 to 10.0 T9 is calculated on the basis of obtained cross sections, which take into account resonances up to 5 MeV. It is shown, that low-lying resonances exercise a significant influence to the capture reaction rate. The approximation of the calculation reaction rate is carried out by the simple analytic formula.


title: Geometry of quantum phase transitions

abstract: In this article we provide a review of geometrical methods employed in the analysis of quantum phase transitions and non-equilibrium dissipative phase transitions. After a pedagogical introduction to geometric phases and geometric information in the characterisation of quantum phase transitions, we describe recent developments of geometrical approaches based on mixed-state generalisation of the Berry-phase, i.e. the Uhlmann geometric phase, for the investigation of non-equilibrium steady-state quantum phase transitions (NESS-QPTs ). Equilibrium phase transitions fall invariably into two markedly non-overlapping categories: classical phase transitions and quantum phase transitions, whereas in NESS-QPTs this distinction may fade off. The approach described in this review, among other things, can quantitatively assess the quantum character of such critical phenomena. This framework is applied to a paradigmatic class of lattice Fermion systems with local reservoirs, characterised by Gaussian non-equilibrium steady states. The relations between the behaviour of the geometric phase curvature, the divergence of the correlation length, the character of the criticality and the gap - either Hamiltonian or dissipative - are reviewed.


title: On Riemann problems for monogenic functions in lower dimensional non-commutative Clifford algebras

abstract: In this paper, we mainly consider the Riemann boundary value problems for lower dimensional non-commutative Clifford algebras valued monogenic functions. The solutions are given in an explicit way and concrete examples are presented to illustrate the results.


title: Radiation Damage Studies on Titanium Alloys as High Intensity Proton Accelerator Beam Window Materials

abstract: A high-strength dual alpha+beta phase titanium alloy Ti-6Al-4V is utilized as a material for beam windows in several accelerator target facilities. However, relatively little is known about how material properties of this alloy are affected by high-intensity proton beam irradiation. With plans to upgrade neutrino facilities at J-PARC and Fermilab to over 1 MW beam power, the radiation damage in the window material will reach a few displacements per atom (dpa) per year, significantly above the ~0.3 dpa level of existing data. The RaDIATE collaboration has conducted a high intensity proton beam irradiation of various target and window material specimens at BLIP facility, including a variety of titanium alloys. Post-Irradiation Examination of the specimens in the 1st capsule, irradiated at up to 0.25 dpa, is in progress. Tensile tests in a hot cell at PNNL exhibited a clear signature of radiation hardening and loss of ductility for Ti-6Al-4V, while Ti-3Al-2.5V, with less beta phase, exhibited less severe hardening. Microstructural investigations will follow to study the cause of the difference in tensile behavior between these alloys. High-cycle fatigue (HCF) performance is critical to the lifetime estimation of beam windows exposed to a periodic thermal stress from a pulsed proton beam. The 1st HCF data on irradiated titanium alloys are to be obtained by a conventional bend fatigue test at Fermilab and by an ultrasonic mesoscale fatigue test at Culham Laboratory. Specimens in the 2nd capsule, irradiated at up to ~1 dpa, cover typical titanium alloy grades, including possible radiation-resistant candidates. These systematic studies on the effects of radiation damage of titanium alloys are intended to enable us to predict realistic lifetimes of current beam windows made of Ti-6Al-4V and to extend the lifetime by choosing a more radiation and thermal shock tolerant alloy.

categories: physics.ins-det hep-ex nucl-ex physics.acc-ph


title: Enlarged Controllability and Optimal Control of Sub-Diffusion Processes with Caputo Fractional Derivatives

abstract: We investigate the exact enlarged controllability and optimal control of a fractional diffusion equation in Caputo sense. This is done through a new definition of enlarged controllability that allows us to extend available contributions. Moreover, the problem is studied using two approaches: a reverse Hilbert uniqueness method, generalizing the approach introduced by Lions in 1988, and a penalization method, which allow us to characterize the minimum energy control.


title: A Fast Universal Kinematic Fitting code for low-energy nuclear physics: FUNKI_FIT

abstract: We present an open source kinematic fitting routine designed for low-energy nuclear physics applications. Although kinematic fitting is commonly used in high-energy particle physics, it is rarely used in low-energy nuclear physics, despite its effectiveness. A FORTRAN and ROOT C++ version of the FUNKI_FIT kinematic fitting code have been developed and published open access. The FUNKI_FIT code is universal in the sense that the constraint equations can be easily modified to suit different experimental set-ups and reactions. Two case studies for the use of this code, utilising experimental and Monte-Carlo data, are presented: (1) charged-particle spectroscopy using silicon-strip detectors; (2) charged-particle spectroscopy using active target detectors. The kinematic fitting routine provides an improvement in resolution in both cases, demonstrating, for the first time, the applicability of kinematic fitting across a range of nuclear physics applications. The ROOT macro has been developed in order to easily apply this technique in standard data analysis routines used by the nuclear physics community.


title: Secure Sketch for All Noisy Sources (Noisy)

abstract: Secure sketch produces public information of its input $w$ without revealing it, yet, allows the exact recovery of $w$ given another value $w'$ that is close to $w$. Therefore, it can be used to reliably reproduce any error-prone secret (i.e., biometrics) stored in secret storage. However, some sources have lower entropy compared to the error itself, formally called "more error than entropy", a standard secure sketch cannot show its security promise perfectly to these kind of sources. This paper focuses on secure sketch. We propose a concrete construction for secure sketch. We show security to all noisy sources, including the trivial source with zero min-entropy. In addition, our construction comes with efficient recovery algorithm operates in polynomial time in the sketch size, which can tolerate high number of error rate arbitrary close to 1/2. Above result acts in conjunction to our derivation on the solution to two NP-complete coding problems, suggesting P=NP.


title: Exotic Vector-Like Quark Phenomenology in the Minimal Linear $\sigma$ Model

abstract: Extensions of the Standard Model that include vector-like quarks commonly also include additional particles that may mediate new production or decay modes. Using as example the minimal linear $\sigma$ model, that reduces to the minimal $SO(5)/SO(4)$ composite Higgs model in a specific limit, we consider the phenomenology of vector-like quarks when a scalar singlet $\sigma$ is present. This new particle may be produced in the decays $T \to t \sigma$, $B \to b \sigma$, where $T$ and $B$ are vector-like quarks of charges $2/3$ and $-1/3$, respectively, with subsequent decay $\sigma \to W^+ W^-, ZZ, hh$. By scanning over the allowed parameter space we find that these decays may be dominant. In addition, we find that the presence of several new particles allows for single $T$ production cross sections larger than those expected in minimal models. We discuss the observability of these new signatures in existing searches.


title: Light Scalars and the KOTO Anomaly

abstract: The KOTO experiment recently presented a significant excess of events in their search for the rare SM process $K_L \to \pi^0\nu\bar{\nu}$, well above both Standard Model signal and background predictions. We show that this excess may be due to weakly-coupled scalars that are produced from Kaon decays and escape KOTO undetected. We study two concrete realizations, the minimal Higgs portal and a hadrophilic scalar model, and demonstrate that they can explain the observed events while satisfying bounds from other flavor and beam-dump experiments. Hadronic beam-dump experiments provide particularly interesting constraints on these types of models, and we discuss in detail the normally underestimated uncertainties associated with them. The simplicity of the models which can explain the excess, and their possible relations with interesting UV constructions, provides strong theoretical motivation for a new physics interpretation of the KOTO data.


title: Astronomy and the new SI

abstract: In 2019 the International System of units (SI) conceptually re-invented itself. This was necessary because quantum-electronic devices had become so precise that the old SI could no longer calibrate them. The new system defines values of fundamental constants (including $c,h,k,e$ but not $G$) and allows units to be realized from the defined constants through any applicable equation of physics. In this new and more abstract SI, units can take on new guises --- for example, the kilogram is at present best implemented as a derived electrical unit. Relevant to astronomy, however, is that several formerly non-SI units, such as electron-volts, light-seconds, and what we may call "gravity seconds" $GM/c^3$, can now be interpreted not as themselves units, but as shorthand for volts and seconds being used with particular equations of physics. Moreover, the classical astronomical units have exact and rather convenient equivalents in the new SI: zero AB magnitude amounts to $\simeq5\times10^{10}$ photons $\rm m^{-2}\,s^{-1}$ per logarithmic frequency or wavelength interval, $\rm 1\,au\simeq 500$ light-seconds, $\rm 1\,pc\simeq 10^8$ light-seconds, while a solar mass $\simeq5$ gravity-seconds. As a result, the unit conversions ubiquitous in astrophysics can now be eliminated, without introducing other problems, as the old-style SI would have done. We review a variety of astrophysical processes illustrating the simplifications possible with the new-style SI, with special attention to gravitational dynamics, where care is needed to avoid propagating the uncertainty in $G$. Well-known systems (GPS satellites, GW170817, and the M87 black hole) are used as examples wherever possible.


title: qubit-ADAPT-VQE: An adaptive algorithm for constructing hardware-efficient ansatze on a quantum processor

abstract: Quantum simulation, one of the most promising applications of a quantum computer, is currently being explored intensely using the variational quantum eigensolver. The feasibility and performance of this algorithm depend critically on the form of the wavefunction ansatz. Recently in Nat. Commun. 10, 3007 (2019), an algorithm termed ADAPT-VQE was introduced to build system-adapted ans\"atze with substantially fewer variational parameters compared to other approaches. This algorithm relies heavily on a predefined operator pool with which it builds the ansatz. However, Nat. Commun. 10, 3007 (2019) did not provide a prescription for how to select the pool, how many operators it must contain, or whether the resulting ansatz will succeed in converging to the ground state. In addition, the pool used in that work leads to state preparation circuits that are too deep for a practical application on near-term devices. Here, we address all these key outstanding issues of the algorithm. We present a hardware-efficient variant of ADAPT-VQE that drastically reduces circuit depths using an operator pool that is guaranteed to contain the operators necessary to construct exact ans\"atze. Moreover, we show that the minimal pool size that achieves this scales linearly with the number of qubits. Through numerical simulations on $\text{H}_4$, LiH and $\text{H}_6$, we show that our algorithm ("qubit-ADAPT") reduces the circuit depth by an order of magnitude while maintaining the same accuracy as the original ADAPT-VQE. A central result of our approach is that the additional measurement overhead of qubit-ADAPT compared to fixed-ansatz variational algorithms scales only linearly with the number of qubits. Our work provides a crucial step forward in running algorithms on near-term quantum devices.


title: Electroweak $\!$phase $\!$transition $\!$with $\!$spontaneous $\!$$Z_2$-breaking

abstract: This work investigates a simple, representative extension of the Standard Model with a real scalar singlet and spontaneous $Z_2$ breaking, which allows for a strongly first-order phase transition, as required by electroweak baryogenesis. We perform analytical and numerical calculations that systematically include one-loop thermal effects, Coleman-Weinberg corrections, and daisy resummation, as well as evaluation of bubble nucleation. We study the rich thermal history and identify the conditions for a strongly first-order electroweak phase transition with nearly degenerate extrema at zero temperature. This requires a light scalar with mass below 50 GeV. Exotic Higgs decays, as well as Higgs coupling precision measurements at the LHC and future collider facilities, will test this model. Additional information may be obtained from future collider constraints on the Higgs self-coupling. Gravitational-wave signals are typically too low to be probed by future gravitational wave experiments.


title: Cosmological Decoherence from Thermal Gravitons

abstract: We study the effects of gravitationally-driven decoherence on tunneling processes associated with false vacuum decays, such as the Coleman--De~Luccia instanton. We compute the thermal graviton-induced decoherence rate for a wave function describing a perfect fluid of nonzero energy density in a finite region. When the effective cosmological constant is positive, the thermal graviton background sourced by a de Sitter horizon provides an unavoidable decoherence effect, which may have important consequences for tunneling processes in cosmological history. We discuss generalizations and consequences of this effect and comment on its observability and applications to black hole physics.


title: Gauge fields and quantum entanglement

abstract: The purpose of this letter is to explore the relation between gauge fields, which are at the base of our understanding of fundamental interactions, and the quantum entanglement. To this end, we investigate the case of ${\rm SU}(2)$ gauge fields. It is first argued that holonomies of the ${\rm SU}(2)$ gauge fields are naturally associated with maximally entangled two-particle states. Then, we provide some evidence that the notion of such gauge fields can be deduced from the transformation properties of maximally entangled two-particle states. This new insight unveils a possible relation between gauge fields and spin systems, as well as contributes to understanding of the relation between tensor networks (such as MERA) and spin network states considered in loop quantum gravity. In consequence, our results turn out to be relevant in the context of the emerging Entanglement/Gravity duality.


title: Conundrum for the free energy of a holonomous gluonic plasma at cubic order

abstract: We compute the term $\sim g^3$ in the free energy for a $SU(N)$ gauge theory with nonzero holonomy at nonzero temperature. If the holonomy is generated kinematically by the introduction of gauge invariant sources coupled to Polyakov loops, the contribution of charged (off-diagonal) gluons to the free energy at order $g^3$, ${\cal F}^{\left( 3\rm{:c.g.} \right)}$, is singular: ${\cal F}^{\left( 3\rm{:c.g.} \right)} \neq 0 $ without holonomy, but ${\cal F}^{\left( 3 \rm{:c.g.} \right)}= 0$ when the holonomy is nonzero, even infinitesimally. We show that the absence of the charged gluon contribution is required by gauge invariance alone and is therefore a universal feature.


title: Exotic Higgs Decays and the Electroweak Phase Transition

abstract: Light new physics weakly coupled to the Higgs can induce a strong first-order electroweak phase transition (EWPT). Here, we argue that scenarios in which the EWPT is driven first-order by a light scalar with mass between $\sim 10$ GeV - $m_h/2$ and small mixing with the Higgs will be conclusively probed by the high-luminosity LHC and future Higgs factories. Our arguments are based on analytic and numerical studies of the finite-temperature effective potential and provide a well-motivated target for exotic Higgs decay searches at the LHC and future lepton colliders.


title: The effect of diffuse background on the spatially-resolved Schmidt relation in nearby spiral galaxies

abstract: The global Schmidt law of star formation provides a power-law relation between the surface densities of star-formation rate (SFR) and gas, and successfully explains plausible scenarios of galaxy formation and evolution. However, star formation being a multi-scale process, requires spatially-resolved analysis for a better understanding of the physics of star formation. It has been shown that the removal of a diffuse background from SFR tracers, such as H$\alpha$, far-ultraviolet (FUV), infrared, leads to an increase in the slope of the sub-galactic Schmidt relation. We reinvestigate the local Schmidt relations in nine nearby spiral galaxies taking into account the effect of inclusion and removal of diffuse background in SFR tracers as well as in the atomic gas.We used multiwavelength data obtained as part of the surveys such as SINGS, KINGFISH, THINGS, and HERACLES. Making use of a novel split of the overall light distribution as a function of spatial scale, we subtracted the diffuse background in the SFR tracers as well as the atomic gas. Using aperture photometry, we study the Schmidt relations on background subtracted and unsubtracted data at physical scales varying between 0.5--2 kpc. The fraction of diffuse background varies from galaxy to galaxy and accounts to $\sim$34 % in H$\alpha$, $\sim$43 % in FUV, $\sim$37 % in 24 $\mu$m, and $\sim$75\% in H I on average. We find that the inclusion of diffuse background in SFR tracers leads to a linear molecular gas Schmidt relation and a bimodal total gas Schmidt relation. However, the removal of diffuse background in SFR tracers leads to a super-linear molecular gas Schmidt relation. A further removal of the diffuse background from atomic gas results in a slope $\sim$1.4 $\pm$ 0.1, which agrees with dynamical models of star formation accounting for flaring effects in the outer regions of galaxies.


title: Ionised gas outflow signatures in SDSS-IV MaNGA active galactic nuclei

abstract: The prevalence of outflow and feedback signatures in active galactic nuclei (AGN) is a major unresolved question which large integral field unit (IFU) surveys now allow to address. In this paper, we present a kinematic analysis of the ionised gas in 2778 galaxies at z $\sim$ 0.05 observed by SDSS-IV MaNGA. Specifically, we measure the kinematics of the [OIII] {\lambda}5007{\AA} emission line in each spatial element and fit multiple Gaussian components to account for possible non-gravitational motions of gas. Comparing the kinematics of the ionised gas between 308 MaNGA-selected AGN that have been previously identified through emission line diagnostics and sources not classified as AGN, we find that while 25% of MaNGA-selected AGN show [OIII] components with emission line widths of $>$ 500 km/s in more than 10% of their spaxels, only 7% of MaNGA non-AGN show a similar signature. Even the AGN that do not show nuclear AGN photoionisation signatures and that were only identified as AGN based on their larger scale photoionisation signatures show similar kinematic characteristics. In addition to obscuration, another possibility is that outflow and mechanical feedback signatures are longer lived than the AGN itself. Our measurements demonstrate that high velocity gas is more prevalent in AGN compared to non-AGN and that outflow and feedback signatures in low-luminosity, low-redshift AGN may so far have been underestimated. We show that higher luminosity MaNGA-selected AGN are able to drive larger scale outflows than lower luminosity AGN. But estimates of the kinetic coupling efficiencies are $<$ 1% and suggest that the feedback signatures probed in this paper are unlikely to have a significant impact on the AGN host galaxies. However, continuous energy injection may still heat a fraction of the cool gas and delay or suppress star formation in individual galaxies even when the AGN is weak.


title: Thermodynamic Bethe Ansatz for Fishnet CFT

abstract: We present the TBA equations and the Y-system for the exact spectrum of general multi-magnon local operators in the $D$-dimensional anisotropic version of the bi-scalar fishnet CFT. The mixing matrix of such operators is given in terms of fishnet planar graphs of multi-wheel and multi-spiral type. These graphs probe the two main building blocks of the TBA approach that are the magnon dispersion relation and the magnon scattering matrix and which we both obtain by diagonalising suitable graph-building operators. We also obtain the dual version of the TBA equations, which relates, in the continuum limit, $D$-dimensional graphs to two dimensional sigma models in $AdS_{D+1}$. It allows us to verify a general formula obtained by A.~Zamolodchikov for the critical coupling.


title: Top Quark Mass Effects in Next-To-Next-To-Next-To-Leading Order Higgs Boson Production: Virtual Corrections

abstract: We compute four-loop corrections to the Higgs boson gluon vertex, including finite top quark mass effects. Analytic results are presented which serve as a building block for the next-to-next-to-next-to-leading order corrections to Higgs boson production at the Large Hadron Collider at CERN.


title: Uniform inference for value functions

abstract: We propose a method to conduct uniform inference for the (optimal) value function, that is, the function that results from optimizing an objective function marginally over one of its arguments. Marginal optimization is not Hadamard differentiable (that is, compactly differentiable) as a map between the spaces of objective and value functions, which is problematic because standard inference methods for nonlinear maps usually rely on Hadamard differentiability. However, we show that the map from objective function to an $L_p$ functional of a value function, for $1 \leq p \leq \infty$, are Hadamard directionally differentiable. As a result, we establish consistency and weak convergence of nonparametric plug-in estimates of Cram\'er-von Mises and Kolmogorov-Smirnov test statistics applied to value functions. For practical inference, we develop detailed resampling techniques that combine a bootstrap procedure with estimates of the directional derivatives. In addition, we establish local size control of tests which use the resampling procedure. Monte Carlo simulations assess the finite-sample properties of the proposed methods and show accurate empirical size and nontrivial power of the procedures. Finally, we apply our methods to the evaluation of a job training program using bounds for the distribution function of treatment effects.


title: First Season MWA Phase II EoR Power Spectrum Results at Redshift 7

abstract: The compact configuration of Phase II of the Murchison Widefield Array (MWA) consists of both a redundant subarray and pseudo-random baselines, offering unique opportunities to perform sky-model and redundant interferometric calibration. The highly redundant hexagonal cores give improved power spectrum sensitivity. In this paper, we present the analysis of nearly 40 hours of data targeting one of the MWA's EoR fields observed in 2016. We use both improved analysis techniques presented in Barry et al. (2019) as well as several additional techniques developed for this work, including data quality control methods and interferometric calibration approaches. We show the EoR power spectrum limits at redshift 6.5, 6.8 and 7.1 based on our deep analysis on this 40-hour data set. These limits span a range in $k$ space of $0.18$ $h$ $\mathrm{Mpc^{-1}}$ $<k<1.6$ $h$ $\mathrm{Mpc^{-1}}$, with a lowest measurement of $\Delta^2\leqslant2.39\times 10^3$ $\mathrm{mK}^2$ at $k=0.59$ $h$ $\mathrm{Mpc^{-1}}$ and $z=6.5$.


title: Importance Sampling of Many Lights with Reinforcement Lightcuts Learning

abstract: In this manuscript, we introduce a novel technique for sampling and integrating direct illumination in the presence of many lights. Unlike previous work, the presented technique importance samples the product distribution of radiance and visibility while using bounded memory footprint and very low sampling overhead. This is achieved by learning a compact approximation of the target distributions over both space and time, allowing to reuse and adapt the learnt distributions both spatially, within a frame, and temporally, across multiple frames. Finally, the technique is amenable to massive parallelization on GPUs and suitable for both offline and real-time rendering.


title: Infrared and transcendental structure of two-loop supersymmetric QCD amplitudes

abstract: Using a careful choice of infrared (IR) subtraction scheme, we demonstrate the cancellation of all terms with transcendental weights 0,1,2 from the finite part of the full-color two-loop four-gluon $\mathcal{N}=2$ supersymmetric QCD amplitude, with $N_f$ massless supersymmetric quarks. This generalizes the previously observed cancellation of weight-2 terms in the superconformal theory, where $N_f=2N_c$ for gauge group SU$(N_c)$. The subtraction scheme follows naturally both from general IR factorization principles and from an integrand-level analysis of divergences in this amplitude. The divergences are written in terms of scalar triangle integrals whose expressions are known to all orders in the dimensional regulator $\epsilon=(4-D)/2$. We also present integrated expressions for the full-color two-loop four-point amplitudes with both matter and vectors on external legs in which lower-weight terms also cancel using an appropriate IR scheme. This provides us with values for the two-loop cusp, gluonic, and quark anomalous dimensions in $\mathcal{N}=2$ supersymmetric QCD, which are cross-checked between the three different amplitudes.


title: Black hole mergers, gravitational waves and scaling relations

abstract: Observations of gravitational waves provide new opportunities to study our Universe. In particular, mergers of stellar black holes are the main targets of the current gravitational wave experiments. In order to make accurate predictions, it is however necessary to simulate the mergers in numerical general relativity, which requires high performance computing. While scaling relations are used to rescale simulations for very massive black holes, primordial black holes have specific properties which can invalidate the rescaling. Similarly black holes in theories beyond Einstein's relativity can have different scaling properties. In this article, we consider scaling relations for the most general cases of primordial black holes, such as charged and spinned black holes, and study the effects of the cosmological expansion and of Hawking evaporation. We also consider more exotic black hole models and derive the corresponding scaling relations, which can be compared to the observations in order to identify the underlying black hole model and can be used to rescale the numerical simulations of exotic black hole mergers.


title: Solving the 2D SUSY Gross-Neveu-Yukawa Model with Conformal Truncation

abstract: We use Lightcone Conformal Truncation to analyze the RG flow of the two-dimensional supersymmetric Gross-Neveu-Yukawa theory, i.e. the theory of a real scalar superfield with a $\mathbb{Z}_2$-symmetric cubic superpotential. The theory depends on a single dimensionless coupling $\bar{g}$, and is expected to have a critical point at a tuned value $\bar{g}_*$ where it flows in the IR to the Tricritical Ising Model (TIM); the theory spontaneously breaks the $\mathbb{Z}_2$ symmetry on one side of this phase transition, and breaks SUSY on the other side. We calculate the spectrum of energies as a function of $\bar{g}$ and see the gap close as the critical point is approached, and numerically read off the critical exponent $\nu$ in TIM. Beyond the critical point, the gap remains nearly zero, in agreement with the expectation of a massless Goldstino. We also study spectral functions of local operators on both sides of the phase transition and compare to analytic predictions where possible. In particular, we use the Zamolodchikov $C$-function to map the entire phase diagram of the theory. Crucial to this analysis is the fact that our truncation is able to preserve supersymmetry sufficiently to avoid any additional fine tuning.


title: Optical properties of dynamical axion backgrounds

abstract: We discuss spectral distortions, time delays and refraction of light in an axion or axion-plasma background. This involves solving the full set of geodesic equations associated to the system of Hamiltonian optics, allowing us to self-consistently take into account the evolution of the momentum, frequency and position of photons. We support our arguments with analytic approximations and full numerical solutions. Remarkably, the introduction of a plasma enhances the sensitivity to axion-induced birefringence, allowing these effects to occur at linear order in the axion-photon coupling even when the axion background is not present at either the emission or detection points. This suggests a general enhancement of axion-induced birefringence when the background refractive index is different from one.


title: From power law to Anderson localization in nonlinear Schr\"odinger equation with nonlinear randomness

abstract: We study the propagation of coherent waves in a nonlinearly-induced random potential, and find regimes of self-organized criticality and other regimes where the nonlinear equivalent of Anderson localization prevails. The regime of self-organized criticality leads to power-law decay of transport [Phys. Rev. Lett. 121, 233901 (2018)], whereas the second regime exhibits exponential decay.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.CD physics.optics


title: The Next Higgs Boson(s) and a Higgs-Yukawa Universality

abstract: We consider multi-Higgs-doublet models which, for symmetry reasons, have a universal Higgs-Yukawa (HY) coupling, $g$. This is identified with the top quark $g=g_t\approx 1$. The models are concordant with the quasi-infrared fixed point, and the top quark mass is correctly predicted with a compositeness scale (Landau pole) at $M_{planck}$, with sensitivity to heavier Higgs states. The observed Higgs boson is a $\bar{t}t$ composite, and a first sequential Higgs doublet, $H_b$, with $g\approx g_t\approx 1$ coupled to $\bar{b}_R(t,b)_L$ is predicted at a mass $3.0 \lesssim M_b \lesssim 5.5$ TeV and accessible to LHC and its upgrades. This would explain the mass of the $b-$quark, and the tachyonic SM Higgs boson mass$^2$. The flavor texture problem is no longer associated with the HY couplings, but rather is determined by the inverted multi-Higgs boson mass spectrum, e.g., the lightest fermions are associated with heaviest Higgs bosons and vice versa. The theory is no less technically natural than the standard model. The discovery of $H_b$ at the LHC would confirm the general compositeness idea of Higgs bosons and anticipate additional states potentially accessible to the $100$ TeV $pp$ machine.


title: Modeling anisotropic magnetized strange quark stars

abstract: Compact objects have an intrinsic anisotropy due to the presence of strong magnetic fields that cause considerable modifications on the equations of state (EoS). In this work, we study the impact of this anisotropy in the size and shape of magnetized strange quark stars using an axially symmetric metric in spherical coordinates, the gamma-metric. The results are compared with those obtained with the standard Tolman-Oppenheimer-Volkoff (TOV) equations for the parallel and perpendicular pressures independently. Differences in the results are discussed.


title: A Fully Natural Gradient Scheme for Improving Inference of the Heterogeneous Multi-Output Gaussian Process Model

abstract: A recent novel extension of multi-output Gaussian processes handles heterogeneous outputs assuming that each output has its own likelihood function. It uses a vector-valued Gaussian process prior to jointly model all likelihoods' parameters as latent functions drawn from a Gaussian process with a linear model of coregionalisation covariance. By means of an inducing points framework, the model is able to obtain tractable variational bounds amenable to stochastic variational inference. Nonetheless, the strong conditioning between the variational parameters and the hyper-parameters burdens the adaptive gradient optimisation methods used in the original approach. To overcome this issue we borrow ideas from variational optimisation introducing an exploratory distribution over the hyper-parameters, allowing inference together with the posterior's variational parameters through a fully natural gradient optimisation scheme. Furthermore, in this work we introduce an extension of the heterogeneous multi-output model, where its latent functions are drawn from convolution processes. We show that our optimisation scheme can achieve better local optima solutions with higher test performance rates than adaptive gradient methods, this for both the linear model of coregionalisation and the convolution processes model. We also show how to make the convolutional model scalable by means of stochastic variational inference and how to optimise it through a fully natural gradient scheme. We compare the performance of the different methods over toy and real databases.


title: Semiclassical evaluation of expectation values

abstract: Semiclassical Mechanics allows for a description of quantum systems which preserves their phase information, while using only the system's classical dynamics as an input. Over the time an identification has been developed between stationary phase approximation and semiclassical mechanics. Although it is true that in most of the cases in semiclassical mechanics the significant contributions come from the neighborhood of the stationary points, there are some important exceptions to it. In this paper we address one of these exceptions, occurring in the evaluation of the time evolution of the expectation value of an operator. We explain why it is necessary to include contributions which are not in the neighborhood of stationary points and provide new semiclassical expressions for the evolution of the expectation values. For our analysis we employ and discuss two major semiclassical tools. The first one is the association of the quantum evolution of a wavefunction to the classical evolution of a Lagrangian manifold, as done by Maslov. The second one is the derivation of an expression for the semiclassical Wigner function whose properties under canonical transformation are made explicit. Using the canonical invariance of the formalism, we derive an expression for the expectation value of observables for the one-dimensional case and then generalize it to higher dimensions. We find that the expression can be written as the sum of a classical contribution which corresponds to what is referred to as the Truncated Wigner Approximation (TWA) in the cold-atoms physics context, or the Linearized Semiclassical Initial Value Representation(LSC-IVR) in chemical or molecular physics, and additional terms associated with interferences. Along the way, we get a deeper understanding of the origin of these interference effects and an intuitive geometric picture associated with them.


title: Prediction of individual progression rate in Parkinson's disease using clinical measures and biomechanical measures of gait and postural stability

abstract: Parkinson's disease (PD) is a common neurological disorder characterized by gait impairment. PD has no cure, and an impediment to developing a treatment is the lack of any accepted method to predict disease progression rate. The primary aim of this study was to develop a model using clinical measures and biomechanical measures of gait and postural stability to predict an individual's PD progression over two years. Data from 160 PD subjects were utilized. Machine learning models, including XGBoost and Feed Forward Neural Networks, were developed using extensive model optimization and cross-validation. The highest performing model was a neural network that used a group of clinical measures, achieved a PPV of 71% in identifying fast progressors, and explained a large portion (37%) of the variance in an individual's progression rate on held-out test data. This demonstrates the potential to predict individual PD progression rate and enrich trials by analyzing clinical and biomechanical measures with machine learning.


title: A fast multi-resolution lattice Green's function method for elliptic difference equations

abstract: We propose a mesh refinement technique for solving elliptic difference equations on unbounded domains based on the fast lattice Green's function (FLGF) method. The FLGF method exploits the regularity of the Cartesian mesh and uses the fast multipole method in conjunction with fast Fourier transforms to yield linear complexity and decrease time-to-solution. We extend this method to a multi-resolution scheme and allow for locally refined Cartesian blocks embedded in the computational domain. Appropriately chosen interpolation and regularization operators retain consistency between the discrete Laplace operator and its inverse on the unbounded domain. Second-order accuracy and linear complexity are maintained, while significantly reducing the number of degrees of freedom and hence the computational cost.


title: Improved motion correction for functional MRI using an omnibus regression model

abstract: Head motion during functional Magnetic Resonance Imaging acquisition can significantly contaminate the neural signal and introduce spurious, distance-dependent changes in signal correlations. This can heavily confound studies of development, aging, and disease. Previous approaches to suppress head motion artifacts have involved sequential regression of nuisance covariates, but this has been shown to reintroduce artifacts. We propose a new motion correction pipeline using an omnibus regression model that avoids this problem by simultaneously regressing out multiple artifacts using the best performing algorithms to estimate each artifact. We quantitatively evaluate its motion artifact suppression performance against sequential regression pipelines using a large heterogeneous dataset (n=151) which includes high-motion subjects and multiple disease phenotypes. The proposed concatenated regression pipeline significantly reduces the association between head motion and functional connectivity while significantly outperforming the traditional sequential regression pipelines in eliminating distance-dependent head motion artifacts.


title: Angular Scattering in Charge Exchange: Issues and Implications for Secondary Interstellar Hydrogen

abstract: Interstellar neutral atoms provide a remote diagnostic of plasma in the outer heliosheath and the very local interstellar medium via charge exchange collisions that convert ions into atoms and vice versa. So far, most studies of interstellar atoms assumed that daughter hydrogen atoms directly inherit the kinetic properties of parent protons. This assumption neglects angular scattering of the interacting particles. However, for low relative velocities, as expected for charge exchanges in the outer heliosheath, this scattering is significant. In this study, we present how the parameters of daughter populations depend on the relative velocity and temperatures of parent populations. For this purpose, we numerically compute collision terms with and without this scattering. We find that the secondary population of interstellar hydrogen atoms, for the parent populations with the relative bulk velocity of 20 km s$^{-1}$ and equal temperatures of 7500 K, has ~2 km s$^{-1}$ higher bulk velocity if the scattering is taken into account. Additionally, temperatures are higher by ~2400 K and ~1200 K in parallel and perpendicular direction to the relative motion of parent populations, respectively. Moreover, a significant departure of secondary atoms from the Maxwell-Boltzmann distribution is expected for high relative velocities of parent populations. This process affects the distribution and density of interstellar atoms in the heliosphere and production of pickup ions. Thus, we show that angular scattering in charge exchange collisions is important to include in analyses of interstellar neutral atoms and pickup ions observed at 1 au and in the outer heliosphere.


title: Design and Experiments with a Robot-Driven Underwater Holographic Microscope for Low-Cost In Situ Particle Measurements

abstract: Microscopic analysis of micro particles in situ in diverse water environments is necessary for monitoring water quality and localizing contamination sources. Conventional sensors such as optical microscopes and fluorometers often require complex sample preparation, are restricted to small sample volumes, and are unable to simultaneously capture all pertinent details of a sample such as particle size, shape, concentration, and three dimensional motion. In this article we propose a novel and cost-effective robotic system for mobile microscopic analysis of particles in situ at various depths which are fully controlled by the robot system itself. A miniature underwater digital in-line holographic microscope (DIHM) performs high resolution imaging of microparticles (e.g., algae cells, plastic debris, sediments) while movement allows measurement of particle distributions covering a large area of water. The main contribution of this work is the creation of a low-cost, comprehensive, and small underwater robotic holographic microscope that can assist in a variety of tasks in environmental monitoring and overall assessment of water quality such as contaminant detection and localization. The resulting system provides some unique capabilities such as expanded and systematic coverage of large bodies of water at a low cost. Several challenges such as the trade-off between image quality and cost are addressed to satisfy the aforementioned goals.


title: SWAG: Item Recommendations using Convolutions on Weighted Graphs

abstract: Recent advancements in deep neural networks for graph-structured data have led to state-of-the-art performance on recommender system benchmarks. In this work, we present a Graph Convolutional Network (GCN) algorithm SWAG (Sample Weight and AGgregate), which combines efficient random walks and graph convolutions on weighted graphs to generate embeddings for nodes (items) that incorporate both graph structure as well as node feature information such as item-descriptions and item-images. The three important SWAG operations that enable us to efficiently generate node embeddings based on graph structures are (a) Sampling of graph to homogeneous structure, (b) Weighting the sampling, walks and convolution operations, and (c) using AGgregation functions for generating convolutions. The work is an adaptation of graphSAGE over weighted graphs. We deploy SWAG at Target and train it on a graph of more than 500K products sold online with over 50M edges. Offline and online evaluations reveal the benefit of using a graph-based approach and the benefits of weighing to produce high quality embeddings and product recommendations.


title: The Cauchy Integral Formula in Hermitian, Quaternionic and osp(4|2) Clifford Analysis

abstract: As is the case for the theory of holomorphic functions in the complex plane, the Cauchy Integral Formula has proven to be a corner stone of Clifford analysis, the monogenic function theory in higher dimensional euclidean space. In recent years, several new branches of Clifford analysis have emerged. Similarly as hermitian Clifford analysis in euclidean space R^{2n} of even dimension emerged as a refinement of euclidean Clifford analysis by introducing a complex structure on R^{2n}, quaternionic Clifford analysis arose as a further refinement by introducing a so--called hypercomplex structure Q, i.e.\ three complex structures (I, J, K) which submit to the quaternionic multiplication rules, on R^{4p}, the dimension now being a fourfold. Two, respectively four, differential operators lead to first order systems invariant under the action of the respective symmetry groups U(n) and Sp(p). Their simultaneous null solutions are called hermitian monogenic and quaternionic monogenic functions respectively. In this contribution we further elaborate on the Caychy Integral Formula for hermitian and quaternionic monogenic functions. Moreover we establish Caychy integral formulae for osp(4|2)--monogenic functions, the newest branch of Clifford analysis refining quaternionic monogenicity by taking the underlying symplectic symmetry fully into account.


title: On Topological Classification of Morse-Smale Diffeomorphisms on the Sphere $S^n$

abstract: We consider a class $G(S^n)$ of orientation preserving Morse-Smale diffeomorphisms of the sphere $S^{n}$ of dimension $n>3$ in assumption that invariant manifolds of different saddle periodic points have no intersection. We put in a correspondence for every diffeomorphism $f\in G(S^n)$ a colored graph $\Gamma_f$ enriched by an automorphism $P_f$. Then we define the notion of isomorphism between two colored graphs and prove that two diffeomorphisms $f, f'\in G(S^n)$ are topologically conjugated iff the graphs $\Gamma_f$, $\Gamma_f'$ are isomorphic. Moreover we establish the existence of a linear-time algorithm for distinguishing two colored graphs of diffeomorphisms from the class $G(S^n)$.


title: Improving N-gram Language Models with Pre-trained Deep Transformer

abstract: Although n-gram language models (LMs) have been outperformed by the state-of-the-art neural LMs, they are still widely used in speech recognition due to its high efficiency in inference. In this paper, we demonstrate that n-gram LM can be improved by neural LMs through a text generation based data augmentation method. In contrast to previous approaches, we employ a large-scale general domain pre-training followed by in-domain fine-tuning strategy to construct deep Transformer based neural LMs. Large amount of in-domain text data is generated with the well trained deep Transformer to construct new n-gram LMs, which are then interpolated with baseline n-gram systems. Empirical studies on different speech recognition tasks show that the proposed approach can effectively improve recognition accuracy. In particular, our proposed approach brings significant relative word error rate reduction up to 6.0% for domains with limited in-domain data.


title: Sequentially congruent partitions and partitions into squares

abstract: In recent work, M. Schneider and the first author studied a curious class of integer partitions called "sequentially congruent" partitions: the $m$th part is congruent to the $(m+1)$th part modulo $m$, with the smallest part congruent to zero modulo the number of parts. Let $p_{\mathcal S}(n)$ be the number of sequentially congruent partitions of $n,$ and let $p_{\square}(n)$ be the number of partitions of $n$ wherein all parts are squares. In this note we prove bijectively, for all $n\geq 1,$ that $p_{\mathcal S}(n) = p_{\square}(n).$ Our proof naturally extends to show other exotic classes of partitions of $n$ are in bijection with certain partitions of $n$ into $k$th powers.


title: Searching for new physics with profile likelihoods: Wilks and beyond

abstract: Particle physics experiments use likelihood ratio tests extensively to compare hypotheses and to construct confidence intervals. Often, the null distribution of the likelihood ratio test statistic is approximated by a $\chi^2$ distribution, following a theorem due to Wilks. However, many circumstances relevant to modern experiments can cause this theorem to fail. In this paper, we review how to identify these situations and construct valid inference.

categories: physics.data-an astro-ph.HE hep-ex hep-ph stat.AP


title: First-order magnetic phase-transition of mobile electrons in monolayer MoS$_2$

abstract: Evidence is presented for a first-order magnetic phase transition in a gated two-dimensional semiconductor, monolayer-MoS$_2$. The phase boundary separates a spin-polarised (ferromagnetic) phase at low electron density and a paramagnetic phase at high electron density. Abrupt changes in the optical response signal an abrupt change in the magnetism. The magnetic order is thereby controlled via the voltage applied to the gate electrode of the device. Accompanying the change in magnetism is a large change in the electron effective mass.


title: Squeezed Light Induced Two-photon Absorption Fluorescence of Fluorescein Biomarkers

abstract: Two-photon absorption (TPA) fluorescence of biomarkers has been decisive in advancing the fields of biosensing and deep-tissue in vivo imaging of live specimens. However, due to the extremely small TPA cross section and the quadratic dependence on the input photon flux, extremely high peak-intensity pulsed lasers are imperative, which can result in significant photo- and thermal-damage. Previous works on entangled TPA (ETPA) with spontaneous parametric down-conversion (SPDC) light sources found a linear dependence on the input photon-pair flux, but are limited by low optical powers, along with a very broad spectrum. We report that by using a high-flux squeezed light source for TPA, a fluorescence enhancement of 47 is achieved in fluorescein biomarkers as compared to classical TPA. Moreover, a polynomial behavior of the TPA rate is observed in the DCM laser dye.


title: Hull and Geodetic Numbers for Some Classes of Oriented Graphs

abstract: Let $D$ be an orientation of a simple graph. Given $u,v\in V(D)$, a directed shortest $(u,v)$-path is a $(u,v)$-geodesic. $S \subseteq V(D)$ is convex if, for every $u,v \in S$, the vertices in each $(u,v)$-geodesic and in each $(v,u)$-geodesic are in $S$. For each $S \subseteq V(D)$ the (convex) hull of $S$, denoted by $[S]$, is the smallest convex set containing $S$. $S \subseteq V(D)$ is a hull set if $[S] = V(D)$. $S \subseteq V(D)$ is a geodetic set of $D$ if each vertex of $D$ lies in a $(u,v)$-geodesic, for some $u,v \in S$. The cardinality of a minimum hull set (resp. geodetic set) of $G$ is the hull number (resp. geodetic number) of $D$, denoted by $ \overrightarrow{\textrm{hn}} (D)$ (resp. $\overrightarrow{\textrm{gn}}(D)$). We first show a tight upper bound on $\overrightarrow{\textrm{hn}}(D)$. Given $k\in\mathbb{Z}_+^*$, we prove that deciding if $\overrightarrow{\textrm{hn}}\leq k$ is NP-complete when $D$ is an oriented partial cube; and if $\overrightarrow{\textrm{gn}}(D)\leq k$ is W[2]-hard parameterized by $k$ and has no $(c \cdot \ln n)$-approximation algorithm, unless P = NP, even if $D$ has an underlying graph that is bipartite or split or cobipartite. We also show polynomial-time algorithms to compute $\overrightarrow{\textrm{hn}}(D)$ and $\overrightarrow{\textrm{gn}}(D)$ when $D$ is an oriented cactus.


title: Cross-modal representation alignment of molecular structure and perturbation-induced transcriptional profiles

abstract: Modeling the relationship between chemical structure and molecular activity is a key goal in drug development. Many benchmark tasks have been proposed for molecular property prediction, but these tasks are generally aimed at specific, isolated biomedical properties. In this work, we propose a new cross-modal small molecule retrieval task, designed to force a model to learn to associate the structure of a small molecule with the transcriptional change it induces. We develop this task formally as multi-view alignment problem, and present a coordinated deep learning approach that jointly optimizes representations of both chemical structure and perturbational gene expression profiles. We benchmark our results against oracle models and principled baselines, and find that cell line variability markedly influences performance in this domain. Our work establishes the feasibility of this new task, elucidates the limitations of current data and systems, and may serve to catalyze future research in small molecule representation learning.


title: Detonation initiation by compressible turbulence thermodynamic fluctuations

abstract: Theory and computations have established that thermodynamic gradients created by hot spots in reactive gas mixtures can lead to spontaneous detonation initiation. However, the current laminar theory of the temperature-gradient mechanism for detonation initiation is restricted to idealized physical configurations. Thus, it only predicts conditions for the onset of detonations in quiescent gases, where an isolated hot spot is formed on a timescale shorter than the chemical and acoustic timescales of the gas. In this work, we extend the laminar temperature-gradient mechanism into a statistical model for predicting the detonability of an autoignitive gas experiencing compressible isotropic turbulence fluctuations. Compressible turbulence forms non-monotonic temperature fields with tightly-spaced local minima and maxima that evolve over a range of timescales, including those much larger than chemical and acoustic timescales. We examine the utility of the adapted statistical model through direct numerical simulations of compressible isotropic turbulence in premixed hydrogen-air reactants for a range of conditions. We find strong, but not conclusive, evidence that the model can predict the degree of detonability in an autoignitive gas due to turbulence-induced thermodynamic gradients.


title: Confinement, reduced entanglement, and spin-glass order in a random quantum spin-ice model

abstract: We study an effective spin model derived perturbatively from random transverse-field Ising model on the pyrochlore lattice. The model consists of spin-configurations on the pyrochlore lattice, restricted to the spin-ice subspace, with spins interacting with random Ising exchange couplings as well as ring exchanges along the hexagons of the lattice. This model is studied by exact diagonalization upto N=64 site systems. We calculate spin-glass correlation functions and local entanglement entropy $S_T$ between spins in a single tetrahedron and the rest of the system. We find that the model undergoes two phase transitions. At weak randomness the model is in a quantum spin-ice phase where $S_T=\ln{6}$. Increasing randomness first leads to a frozen phase, with long-range spin-glass order and $S_T=\ln{2}$ corresponding to the Cat states associated with Ising order. Further increase in randomness leads to a random resonating-hexagon phase with a frozen backbone of spins and a broad distribution of entanglement entropies. The implications of these studies for non-Kramers rare-earth pyrochlores are discussed.


title: DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

abstract: This paper proposes DeepSynth, a method for effective training of deep Reinforcement Learning (RL) agents when the reward is sparse and non-Markovian, but at the same time progress towards the reward requires achieving an unknown sequence of high-level objectives. Our method employs a novel algorithm for synthesis of compact automata to uncover this sequential structure automatically. We synthesise a human-interpretable automaton from trace data collected by exploring the environment. The state space of the environment is then enriched with the synthesised automaton so that the generation of a control policy by deep RL is guided by the discovered structure encoded in the automaton. The proposed approach is able to cope with both high-dimensional, low-level features and unknown sparse non-Markovian rewards. We have evaluated DeepSynth's performance in a set of experiments that includes the Atari game Montezuma's Revenge. Compared to existing approaches, we obtain a reduction of two orders of magnitude in the number of iterations required for policy synthesis, and also a significant improvement in scalability.


title: Coded LoRa Frame Error Rate Analysis

abstract: In this work, we study the coded frame error rate (FER) of LoRa under additive white Gaussian noise (AWGN) and under carrier frequency offset (CFO). To this end, we use existing approximations for the bit error rate (BER) of the LoRa modulation under AWGN and we present a FER analysis that includes the channel coding, interleaving, and Gray mapping of the LoRa physical layer. We also derive the LoRa BER under carrier frequency offset and we present a corresponding FER analysis. We compare the derived frame error rate expressions to Monte Carlo simulations to verify their accuracy.


title: Non-parametric targeted Bayesian estimation of class proportions in unlabeled data

abstract: We introduce a novel Bayesian estimator for the class proportion in an unlabeled dataset, based on the targeted learning framework. Our procedure requires the specification of a prior (and outputs a posterior) only for the target of inference, instead of the prior (and posterior) on the full-data distribution employed by classical non-parametric Bayesian methods .When the scientific question can be characterized by a low-dimensional parameter functional, focus on such a prior and posterior distributions is more aligned with Bayesian subjectivism, compared to focus on entire data distributions. We prove a Bernstein-von Mises-type result for our proposed Bayesian procedure, which guarantees that the posterior distribution converges to the distribution of an efficient, asymptotically linear estimator. In particular, the posterior is Gaussian, doubly robust, and efficient in the limit, under the only assumption that certain nuisance parameters are estimated at slow rates. We perform numerical studies illustrating the frequentist properties of the method. We also illustrate their use in a motivating application to estimate the proportion of embolic strokes of undetermined source arising from occult cardiac sources or large-artery atherosclerotic lesions. Though we focus on the motivating example of the proportion of cases in an unlabeled dataset, the procedure is general and can be adapted to estimate any pathwise differentiable parameter in a non-parametric model.


title: Optimal-order preconditioners for the Morse-Ingard equations

abstract: The Morse-Ingard equations of thermoacoustics are a system of coupled time-harmonic equations for the temperature and pressure of an excited gas. They form a critical aspect of modeling trace gas sensors. In this paper, we analyze a reformulation of the system that has a weaker coupling between the equations than the original form. We give a G{\aa}rding-type inequality for the system that leads to optimal-order asymptotic finite element error estimates. We also develop preconditioners for the coupled system. These are derived by writing the system as a 2x2 block system with pressure and temperature unknowns segregated into separate blocks and then using either the block diagonal or block lower triangular part of this matrix as a preconditioner. Consequently, the preconditioner requires inverting smaller, Helmholtz-like systems individually for the pressure and temperature. Rigorous eigenvalue bounds are given for the preconditioned system, and these are supported by numerical experiments.


title: ViewSynth: Learning Local Features from Depth using View Synthesis

abstract: The rapid development of inexpensive commodity depth sensors has made keypoint detection and matching in the depth image modality an important problem in computer vision. Despite great improvements in recent RGB local feature learning methods, adapting them directly in the depth modality leads to unsatisfactory performance. Most of these methods do not explicitly reason beyond the visible pixels in the images. To address the limitations of these methods, we propose a framework ViewSynth, to jointly learn: (1) viewpoint invariant keypoint-descriptor from depth images using a proposed Contrastive Matching Loss, and (2) view synthesis of depth images from different viewpoints using the proposed View Synthesis Module and View Synthesis Loss. By learning view synthesis, we explicitly encourage the feature extractor to encode information about not only the visible, but also the occluded parts of the scene. We demonstrate that in the depth modality, ViewSynth outperforms the state-of-the-art depth and RGB local feature extraction techniques in the 3D keypoint matching and camera localization tasks on the RGB-D datasets 7-Scenes, TUM RGBD and CoRBS in most scenarios. We also show the generalizability of ViewSynth in 3D keypoint matching across different datasets.


title: Real-Time 3D Model Tracking in Color and Depth on a Single CPU Core

abstract: We present a novel method to track 3D models in color and depth data. To this end, we introduce approximations that accelerate the state-of-the-art in region-based tracking by an order of magnitude while retaining similar accuracy. Furthermore, we show how the method can be made more robust in the presence of depth data and consequently formulate a new joint contour and ICP tracking energy. We present better results than the state-of-the-art while being much faster then most other methods and achieving all of the above on a single CPU core.


title: 100pTcm Sensitive MEMS Resonant Magnetometer from a Commercial Accelerometer

abstract: Magnetic sensing is present in our everyday interactions with consumer electronics, and also demonstrates potential for measurement of extremely weak biomagnetic fields, such as those of the heart and brain. In this work, we leverage the many benefits of the micro-electromechanical systems (MEMS) devices to fabricate a small, low power, inexpensive sensor whose resolution is in the range of weak biomagnetic fields. The sensor works at room temperature, and is suitable for consumer electronics integration. At present, such biomagnetic fields can only be measured by expensive mechanisms such as optical pumping and superconducting quantum interference devices (SQUIDs). Thus, our sensor suggests the opening of a large phase space for medical and consumer applications. The prototype fabrication is achieved by assembling micro-objects, including a permanent micromagnet, onto a post-release commercial MEMS accelerometer. With this system, we demonstrate a room temperature MEMS magnetometer, whose design is only sensitive to gradient magnetic fields and is generally insensitive to the Earth's uniform field. In air, the sensor's response is linear with a resolution of 1.1 nT cm-1 and spans over 3 decades of dynamic range to 4.6 {\mu}T cm-1. In 1 mTorr vacuum with 20 dB magnetic shielding, the sensor achieved 100 pT cm-1 resolution at resonance. The theoretical floor of this design is 110 fT cm-1 Hz-1/2 with a resolution of 13 fT cm-1, thus these devices hold promise for both magnetocardiography (MCG) and magnetoencephalography (MEG) applications.


title: 3rd-order Spectral Representation Method: Part II -- Ergodic Multi-variate random processes with fast Fourier transform

abstract: The second in a two-part series, this paper extends the 3rd-order Spectral Representation Method for simulation of ergodic multi-variate stochastic processes according to a prescribed cross power spectral density and cross bispectral density. The 2nd and 3rd order ensemble properties of the simulated stochastic vector processes are shown to satisfy the target cross correlation properties in expectation. A multi-indexed frequency discretization is introduced to ensure ergodicity of the sample functions. This is first shown for uni-variate processes and then the simulation formula for multi-variate processes is provided. Ensemble properties and ergodicity of the sample functions are proven. Additionally, it is shown that the simulations can be implemented efficiently with the Fast Fourier Transform, which greatly reduces computational effort. An example involving the simulation of turbulent wind velocity fluctuations is presented to further highlight the features and applications of the algorithm.