title: The Proper Motion of Sagittarius A*: III. The Case for a Supermassive Black Hole

abstract: We report measurements with the Very Long Baseline Array of the proper motion of Sgr A* relative to two extragalactic radio sources spanning 18 years. The apparent motion of Sgr A* is -6.411 +/- 0.008 mas/yr along the Galactic plane and -0.219 +/- 0.007 mas/yr toward the North Galactic Pole. This apparent motion can almost entirely be attributed to the effects of the Sun's orbit about the Galactic center. Removing these effects yields residuals of -0.58 +/- 2.23 km/s in the direction of Galactic rotation and -0.85 +/- 0.75 km/s toward the North Galactic Pole. A maximum-likelihood analysis of the motion, both in the Galactic plane and perpendicular to it, expected for a massive object within the Galactic center stellar cluster indicates that the radiative source, Sgr A*, contains more than about 25% of the gravitational mass of 4 x 10^6 Msun deduced from stellar orbits. The intrinsic size of Sgr A* is comparable to its Schwarzschild radius, and the implied mass density of >4 x 10^23 Msun/pc^-3 very close to that expected for a black hole, providing overwhelming evidence that it is indeed a super-massive black hole. Finally, the existence of "intermediate-mass" black holes more massive than 3 x 10^4 Msun between approximately 0.003 and 0.1 pc from Sgr A*are excluded.


title: Two-Step Modification of Phonon Mean Free Paths for Thermal Conductivity Predictions of Thin-Film-Based Nanostructures

abstract: As one simple metamaterial, nanopatterns are often fabricated across a thin film so that the thermal transport can be manipulated. The etched sidewalls for these nanostructures are usually rough due to surface defects introduced during the nanofabrication, whereas the top and bottom film surfaces are smoother. In existing analytical models, the contrast between these surfaces has not been addressed and all boundaries are assumed to be diffusive for phonon reflection. In this paper, a new two-step approach to address this issue is proposed for phonon transport modeling of general thin-film-based structures. In this approach, the effective in-plane phonon mean free paths ({\Lambda}_Film) are first modified from the bulk phonon MFPs to account for the influence of the top/bottom film surfaces, with possibly enhanced probability of specular phonon reflection at cryogenic temperatures. This {\Lambda}_Film is further modified to include the scattering by etched sidewalls with almost completely diffusive phonon scattering. Such a two-step phonon mean free path modification yields almost identical results as frequency-dependent phonon Monte Carlo simulations for etched nanowires and representative nanoporous thin films. This simple yet accurate analytical model can be applied to general thin-film-based nanostructures to combine the phonon size effects along orthogonal directions.


title: RoutedFusion: Learning Real-time Depth Map Fusion

abstract: The efficient fusion of depth maps is a key part of most state-of-the-art 3D reconstruction methods. Besides requiring high accuracy, these depth fusion methods need to be scalable and real-time capable. To this end, we present a novel real-time capable machine learning-based method for depth map fusion. Similar to the seminal depth map fusion approach by Curless and Levoy, we only update a local group of voxels to ensure real-time capability. Instead of a simple linear fusion of depth information, we propose a neural network that predicts non-linear updates to better account for typical fusion errors. Our network is composed of a 2D depth routing network and a 3D depth fusion network which efficiently handle sensor-specific noise and outliers. This is especially useful for surface edges and thin objects for which the original approach suffers from thickening artifacts. Our method outperforms the traditional fusion approach and related learned approaches on both synthetic and real data. We demonstrate the performance of our method in reconstructing fine geometric details from noise and outlier contaminated data on various scenes.


title: On the extremal compatible linear connection of a Randers space

abstract: A linear connection on a Finsler manifold is called compatible to the metric if its parallel transports preserve the Finslerian length of tangent vectors. Generalized Berwald manifolds are Finsler manifolds equipped with a compatible linear connection. Since the compatibility to the Finslerian metric does not imply the unicity of the linear connection in general, the first step of checking the existence of compatible linear connections on a Finsler manifold is to choose the best one to look for. A reasonable choice is introduced in \cite{V14} called the extremal compatible linear connection, which has torsion of minimal norm at each point. Randers metrics are special Finsler metrics that can be written as the sum of a Riemannian metric and a 1-form (they are "translates" of Riemannian metrics). In this paper, we investigate the compatibility equations for a linear connection to a Randers metric. Since a compatible linear connection is uniquely determined by its torsion, we transform the compatibility equations by taking the torsion components as variables. We determine when these equations have solutions, i.e. when the Randers space becomes a generalized Berwald space admitting a compatible linear connection. Describing all of them, we can select the extremal connection with the norm minimizing property. As a consequence, we obtain the characterization theorem in \cite{Vin1}: a Randers space is a non-Riemannian generalized Berwald space if and only if the norm of the perturbating term with respect to the Riemannian part of the metric is a positive constant.


title: Hybrid Precoding in Cooperative Millimeter Wave Networks

abstract: In this paper, we study the performance of cooperative millimeter wave (mmWave) networks with hybrid precoding architectures. Considering joint transmissions and BS silence strategy, we propose hybrid precoding algorithms which minimize the sum power consumption of the base stations (BSs), for both fully- and partially-connected hybrid precoding (FHP and PHP, respectively) schemes, for single-carrier and orthogonal frequency-division multiplexing systems. We reformulate the analog precoding part as an equal-gain transmission problem, which only depends on the channel information, and the digital precoding part as a relaxed convex semidefinite program subject to per-user quality-of-service constraints that gives the optimal sum power consumption in terms of the BS silence strategy. In order to reduce the complexity of the hybrid precoding algorithm with optimal BS silence strategy, we propose a sub-optimal hybrid precoding algorithm that iteratively put BSs with small power into the silent mode. The simulation results show that, depending on the parameter settings, the power consumption of the PHP may be dominated by the RF transmit power and it may result in a larger power consumption than the FHP. For the cases with 2 BSs and 4 users, implementation of the FHP and the PHP in cooperative networks reduces the required RF transmit power, compared to the case in a non-cooperative network, by 71% and 56%, respectively.


title: Introduction of Multi-particle B\"{u}ttiker Probes -- Bridging the Gap between Drift Diffusion and Quantum Transport

abstract: State-of-the-art industrial semiconductor device modeling is based on highly efficient Drift-Diffusion (DD) models that include some quantum corrections for nanodevices. In contrast, latest academic quantum transport models are based on the non-equilibrium Green's function (NEGF) method that cover all coherent and incoherent quantum effects consistently. Carrier recombination and generation in optoelectronic nanodevices represent an immense numerical challenge when solved within NEGF. In this work, the numerically efficient B\"uttiker-probe model is expanded to include electron-hole recombination and generation in the NEGF framework. Benchmarks of the new multiple-particle B\"{u}ttiker probe method against state-of-the-art quantum-corrected DD models show quantitative agreements except in cases of pronounced tunneling and interference effects.


title: Good-for-games $\omega$-Pushdown Automata

abstract: We introduce good-for-games $\omega$-pushdown automata ($\omega$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed so far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results are that $\omega$-GFG-PDA are more expressive than deterministic $\omega$- pushdown automata and that solving infinite games with winning conditions specified by $\omega$-GFG-PDA is EXPTIME-complete. Thus, we have identified a new class of $\omega$-contextfree winning conditions for which solving games is decidable. It follows that the universality problem for $\omega$-GFG-PDA is in EXPTIME as well. Moreover, we study closure properties of the class of languages recognized by $\omega$-GFG- PDA and decidability of good-for-gameness of $\omega$-pushdown automata and languages. Finally, we compare $\omega$-GFG-PDA to $\omega$-visibly PDA, study the resources necessary to resolve the nondeterminism in $\omega$-GFG-PDA, and prove that the parity index hierarchy for $\omega$-GFG-PDA is infinite. This is a corrected version of the paper arXiv:2001.04392v6 published originally on January 7, 2022.


title: Some remarks about the existence of an Alt-Caffarelli-Friedman monotonicity formula in the Heisenberg group

abstract: The aim of this paper is to study the existence of an Alt-Caffarelli-Friedman monotonicity type formula in the Heisenberg group.


title: Orbital angular momentum dynamics of Bose-Einstein condensates trapped in two stacked rings

abstract: We investigate the stability and dynamics of the orbital angular momentum modes of a repulsive Bose-Einstein condensate trapped in two tunnel-coupled rings in a stack configuration. Within mean-field theory, we derive a two-state model for the system in the case in which we populate equally both rings with a single orbital angular momentum mode and include small perturbations in other modes. Analyzing the fixed point solutions of the model and the associated classical Hamiltonian, we characterize the destabilization of the stationary states and the subsequent dynamics. By populating a single orbital angular momentum mode with an arbitrary population imbalance between the rings, we derive analytically the boundary between the regimes of Josephson oscillations and macroscopic quantum self-trapping and study numerically the stability of these solutions.


title: A unique discrimination between new physics scenarios in $b\rightarrow s\mu^+\mu^-$ anomalies

abstract: A number of observables related to the $b \to s \ell^+ \ell^-$ transition show deviations from their standard model predictions. A global fit to the current $b\rightarrow s\ell^+\ell^-$ data suggests several new physics solutions. Considering only one operator at a time and new physics only in the muon sector, it has been shown that the new physics scenarios (I) $C_9^{\rm NP}<0$, (II) $C_{9}^{\rm NP} = -C_{10}^{\rm NP}$, (III) $C_9^{\rm NP} = -C_9^{\prime \rm NP}$ can account for all data. In this work, we develop a procedure to uniquely identify the correct new physics solution. The scenario II predicts a significantly lower value of $\mathcal{B}(B_s\to \mu^+\mu^-)$ and can be distinguished from the other two scenarios if the experimental uncertainty comes down by a factor of three. On the other hand, a precise measurement of the CP averaged angular observables $S_9$ in high $q^2$ bin of $B\to K^*\mu^+\mu^-$ decay can uniquely discriminate between the other two scenarios. We propose new methods, in terms of azimuthal angle asymmetries, to measure $S_9$ with the necessary precision.


title: On-chip sensing of hotspots in superconducting terahertz emitters

abstract: Intrinsic Josephson junctions in high-temperature superconductor Bi2Sr2CaCu2O8 are known for their capability to emit high-power terahertz photons with widely tunable frequencies. Hotspots, as inhomogeneous temperature distributions across the junctions, are believed to play a critical role in synchronizing the gauge-invariant phase difference among the junctions, so as to achieve coherent strong emission. Previous optical imaging techniques have indirectly suggested that the hotspot temperature can go higher than the superconductor critical temperature. However, such optical approaches often disturb the local temperature profile and are too slow for device applications. In this paper, we demonstrate an on-chip in situ sensing technique that can precisely quantify the local temperature profile. This is achieved by fabricating a series of micro "sensor" junctions on top of an "emitter" junction and measuring the critical current on the sensors versus the bias current applied to the emitter. This fully electronic on-chip design could enable efficient close-loop control of hotspots in BSCCO junctions and significantly enhance the functionality of superconducting terahertz emitters.


title: SMT-based Robot Transition Repair

abstract: State machines are a common model for robot behaviors. Transition functions often rely on parameterized conditions to model preconditions for the controllers, where the correct values of the parameters depend on factors relating to the environment or the specific robot. In the absence of specific calibration procedures a roboticist must painstakingly adjust the parameters through a series of trial and error experiments. In this process, identifying when the robot has taken an incorrect action, and what should be done is straightforward, but finding the right parameter values can be difficult. We present an alternative approach that we call, interactive SMT-based Robot Transition Repair. During execution we record an execution trace of the transition function, and we ask the roboticist to identify a few instances where the robot has transitioned incorrectly, and what the correct transition should have been. A user supplies these corrections based on the type of error to repair, and an automated analysis of the traces partially evaluates the transition function for each correction. This system of constraints is then formulated as a MaxSMT problem, where the solution is a minimal adjustment to the parameters that satisfies the maximum number of constraints. In order to identify a repair that accurately captures user intentions and generalizes to novel scenarios, solutions are explored by iteratively adding constraints to the MaxSMT problem to yield sets of alternative repairs. We test with state machines from multiple domains including robot soccer and autonomous driving, and we evaluate solver based repair with respect to solver choice and optimization hyperparameters. Our results demonstrate that SRTR can repair a variety of states machines and error types 1) quickly, 2) with small numbers of corrections, while 3) not overcorrecting state machines and harming generalized performance.


title: Nature of the phase transition for finite temperature $N_{\rm f}=3$ QCD with nonperturbatively O($a$) improved Wilson fermions at $N_{\rm t}=12$

abstract: We study the nature of the finite temperature phase transition for three-flavor QCD. In particular we investigate the location of the critical endpoint along the three flavor symmetric line in the light quark mass region of the Columbia plot. In the study, the Iwasaki gauge action and the nonperturvatively O($a$) improved Wilson-Clover fermion action are employed. We newly generate data at $N_{\rm t}=12$ and set an upper bound of the critical pseudoscalar meson mass in the continuum limit $m_{\rm PS,E}\lesssim 110$MeV.


title: Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance

abstract: Let $G$ be a complex simply-laced semisimple algebraic group of rank $r$ and $B$ a Borel subgroup. Let $\mathbf i \in [r]^n$ be a word and let $\mathbf \ell = (\ell_1,\dots,\ell_n)$ be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to $\mathbf i$ and $\mathbf \ell$ called a twisted cube, whose lattice points encode the character of a $B$-representation. More precisely, lattice points in the twisted cube, counted with sign according to a certain density function, yields the character of the generalized Demazure module determined by $\mathbf i$ and $\mathbf \ell$. In recent work, the author and Harada described precisely when the Grossberg-Karshon twisted cube is untwisted, i.e., the twisted cube is a closed convex polytope, in the situation when the integer sequence $\mathbf \ell$ comes from a weight $\lambda$ of $G$. However, not every integer sequence $\mathbf \ell$ comes from a weight of $G$. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word $\mathbf i$ and any integer sequence $\mathbf \ell$ using the combinatorics of $\mathbf i$ and $\mathbf \ell$. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when $\mathbf i$ is hesitant-jumping-$\mathbf \ell$-walk-avoiding.


title: Sequential measurements and entropy

abstract: We sketch applications of the so-called J-equation to quantum information theory concerning fundamental properties of the von Neumann entropy. The J-equation has recently be proposed as a sort of progenitor of the various versions of the Jarzynski equation. It has been derived within a general framework of sequential measurements that is slightly generalised here.


title: Effect of Nucleon Dressing on the Triton Binding Energy

abstract: The effect of nucleon dressing by pions, on the binding energy of three nucleons interacting via two-body forces, is calculated for the first time within a conventional nuclear physics approach. It is found that the dressing increases the binding energy of the triton by an amount approximately in the range from 0.3 MeV to 0.9 MeV, depending on the model used for dressing. This suggests that nucleon dressing may help explain the underestimation of the triton binding energy in previous calculations using only two-nucleon forces.


title: The joint bidiagonalization process with partial reorthogonalization

abstract: The joint bidiagonalization(JBD) process is a useful algorithm for the computation of the generalized singular value decomposition(GSVD) of a matrix pair. However, it always suffers from rounding errors, which causes the Lanczos vectors to loss their mutual orthogonality. In order to maintain some level of orthongonality, we present a semiorthogonalization strategy. Our rounding error analysis shows that the JBD process with the semiorthogonalization strategy can ensure that the convergence of the computed quantities is not affected by rounding errors and the final accuracy is high enough. Based on the semiorthogonalization strategy, we develop the joint bidiagonalization process with partial reorthogonalization(JBDPRO). In the JBDPRO algorithm, reorthogonalizations occur only when necessary, which saves a big amount of reorthogonalization work compared with the full reorthogonalization strategy. Numerical experiments illustrate our theory and algorithm.


title: Blind witnesses quench quantum interference without transfer of which-path information

abstract: We model the fundamental behavior of a two-branch quantum interference device. Quantum interference oscillations are visible in the output as the magnetic flux through the paths is varied. Multiple witness systems are field-coupled to each branch. Each witness state entangles with the device state, but for our {\em blind} witnesses which-path information is not transferred to the quantum state of witnesses--they cannot "see" or make a record of which path is traversed. Yet the presence of these minimal witnesses rapidly quenches quantum interference. Thus, it is not the imprinting of which-path information in the witness states that is essential for decoherence, but simply the entanglement that embeds the device degrees of freedom in the larger Hilbert space that includes the witnesses. The loss of interference visibility can be understood as the result of phase cancellations from different paths through the larger state space.


title: Geometric torsion, 4-form, Riemann duals and Quintessence

abstract: We revisit an emergent gravity scenario in $(4+1)$ dimensions underlying a propagating geometric torsion ${\cal H}_3$ with a renewed interest. We show that a pair-symmetric $4$th order curvature tensor is sourced by a two-form Neveu-Schwarz (NS) in a $U(1)$ gauge theoretic formulation. Interestingly the new space-time curvature governs a torsion free geometry sourced by a two-form NS field and shares the properties of the Riemann tensor. On the other hand, a completely anti-symmetric $4$th order tensor in the formulation is shown to incorporate a dynamical geometric torsion correction and is argued to be identified with a non-perturbative correction. The four-form turns out to be $U(1)$ gauge invariant underlying an onshell NS form. We show that an emergent gravity theory may elegantly be described with an axionic scalar presumably signifying a quintessence coupling to the Riemann type geometries. The curvatures are appropriately worked out to obtain a $d$$=$$12$ emergent {\it form} theory. Investigation reveals that a pair of $(M{\bar M})_{10}$-brane is created across an event horizon. We show that an emergent $M$ theory in a decoupling limit identifies with the bosonic sector of $N$$=$$1$ Supergravity in $d$$=$$11$.


title: State diagrams of functional programs

abstract: In the paper we introduce graphical objects (called state diagrams) related to functional programs. It is shown that state diagrams of functional programs can be used to solve problems of verification of functional programs. The proposed approach is illustrated by an example of verification of a sorting program.


title: Measures of spike train synchrony and directionality

abstract: Measures of spike train synchrony have become important tools in both experimental and theoretical neuroscience. Three time-resolved measures called the ISI-distance, the SPIKE-distance, and SPIKE-synchronization have already been successfully applied in many different contexts. These measures are time scale independent, since they consider all time scales as equally important. However, in real data one is typically less interested in the smallest time scales and a more adaptive approach is needed. Therefore, in the first part of this Chapter we describe recently introduced generalizations of the three measures, that gradually disregard differences in smaller time-scales. Besides similarity, another very relevant property of spike trains is the temporal order of spikes. In the second part of this chapter we address this property and describe a very recently proposed algorithm, which quantifies the directionality within a set of spike train. This multivariate approach sorts multiple spike trains from leader to follower and quantifies the consistency of the propagation patterns. Finally, all measures described in this chapter are freely available for download.


title: FeynCalc 9.3: New features and improvements

abstract: We present FeynCalc 9.3, a new stable version of a powerful and versatile Mathematica package for symbolic quantum field theory (QFT) calculations. Some interesting new features such as highly improved interoperability with other packages, automatic extraction of the ultraviolet divergent parts of 1-loop integrals, support for amplitudes with Majorana fermions and $\gamma$-matrices with explicit Dirac indices are explained in detail. Furthermore, we discuss some common problems and misunderstandings that may arise in the daily usage of the package, providing explanations and workarounds.


title: Pantheon update on a model-independent analysis of cosmological supernova data

abstract: We present an update of our previous work, necessitated by availability of a significantly improved dataset. The work is a model-independent analysis of the cosmological supernova (Type Ia) data, where function families are fit to the data in form of luminosity distance as function of redshift, that is, $d_{L}(z)$; and subsequently time-derivatives of the scale function $a(t)$ are $analytically$ derived, but as functions of $z$, without making assumptions about of gravity or the contents of the universe. This gives, e.g. the redshift value at which the universe goes over from deceleration to acceleration, as $z_{t}=0.54 \pm 0.04$ for a flat universe. In the update, we switch to a more modern fit criterion and also take into account the uncertainty in the calibration of the SNIa luminosities. If a theory of gravity $is$ assumed, our results allow determination of the density of the universe as function of $z$, from which conclusions about the contents of the universe can be drawn. We update the previous work's result where this was done for Einstein gravity, finding a lower-limit on the dark energy fraction, $\Omega_{DE}>0.46$; and here we do this also for Starobinsky gravity, where we can find a Starobinsky parameter that can eliminate the need for dark energy.


title: Quantum device fine-tuning using unsupervised embedding learning

abstract: Quantum devices with a large number of gate electrodes allow for precise control of device parameters. This capability is hard to fully exploit due to the complex dependence of these parameters on applied gate voltages. We experimentally demonstrate an algorithm capable of fine-tuning several device parameters at once. The algorithm acquires a measurement and assigns it a score using a variational auto-encoder. Gate voltage settings are set to optimise this score in real-time in an unsupervised fashion. We report fine-tuning times of a double quantum dot device within approximately 40 min.


title: Multiple facets of inverse continuity

abstract: Inversion of various inclusions, that characterize continuity in topological spaces, results in numerous variants of quotient and perfect maps. In the framework of convergences, the said inclusions are no longer equivalent, and each of them characterizes continuity in a different concretely reflective subcategory of convergences. On the other hand, it turns out that the mentioned variants of quotient and perfect maps are quotient and perfect maps with respect to these subcategories. This perspective enables use of convergence-theoretic tools in quests related to quotient and perfect maps, considerably simplifying the traditional approach. Similar techniques would be unconceivable in the framework of topologies.


title: Parametrization, structure and Bruhat order of certain spherical quotients

abstract: Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite number of orbits (i.e., $Z$ is a spherical subgroup). This holds for instance if $e$ has height $2$. In this case we give a parametrization of the $Z$-orbits and we show that each $Z$-orbit has a structure of algebraic affine bundle. In particular, in type $A$, we deduce that each orbit has a natural cell decomposition. In the aim to study the (strong) Bruhat order of the orbits, we define an abstract partial order on certain quotients associated to a Coxeter system. In type $A$, we show that the Bruhat order of the $Z$-orbits can be described in this way.


title: ANTARES and IceCube Combined Search for Neutrino Point-like and Extended Sources in the Southern Sky

abstract: A search for point-like and extended sources of cosmic neutrinos using data collected by the ANTARES and IceCube neutrino telescopes is presented. The data set consists of all the track-like and shower-like events pointing in the direction of the Southern Sky included in the nine-year ANTARES point-source analysis, combined with the through-going track-like events used in the seven-year IceCube point-source search. The advantageous field of view of ANTARES and the large size of IceCube are exploited to improve the sensitivity in the Southern Sky by a factor $\sim$2 compared to both individual analyses. In this work, the Southern Sky is scanned for possible excesses of spatial clustering, and the positions of preselected candidate sources are investigated. In addition, special focus is given to the region around the Galactic Centre, whereby a dedicated search at the location of SgrA* is performed, and to the location of the supernova remnant RXJ 1713.7-3946. No significant evidence for cosmic neutrino sources is found and upper limits on the flux from the various searches are presented.


title: Backward Feature Correction: How Deep Learning Performs Deep (Hierarchical) Learning

abstract: Deep learning is also known as hierarchical learning, where the learner _learns_ to represent a complicated target function by decomposing it into a sequence of simpler functions to reduce sample and time complexity. This paper formally analyzes how multi-layer neural networks can perform such hierarchical learning _efficiently_ and _automatically_ by SGD on the training objective. On the conceptual side, we present a theoretical characterizations of how certain types of deep (i.e. super-constant layer) neural networks can still be sample and time efficiently trained on some hierarchical tasks, when no existing algorithm (including layerwise training, kernel method, etc) is known to be efficient. We establish a new principle called "backward feature correction", where the errors in the lower-level features can be automatically corrected when training together with the higher-level layers. We believe this is a key behind how deep learning is performing deep (hierarchical) learning, as opposed to layerwise learning or simulating some non-hierarchical method. On the technical side, we show for every input dimension $d > 0$, there is a concept class of degree $\omega(1)$ multi-variate polynomials so that, using $\omega(1)$-layer neural networks as learners, SGD can learn any function from this class in $\mathsf{poly}(d)$ time to any $\frac{1}{\mathsf{poly}(d)}$ error, through learning to represent it as a composition of $\omega(1)$ layers of quadratic functions using "backward feature correction." In contrast, we do not know any other simpler algorithm (including layerwise training, applying kernel method sequentially, training a two-layer network, etc) that can learn this concept class in $\mathsf{poly}(d)$ time even to any $d^{-0.01}$ error. As a side result, we prove $d^{\omega(1)}$ lower bounds for several non-hierarchical learners, including any kernel methods.


title: Basis light-front quantization approach to nucleon

abstract: We obtain the light-front wavefunctions for the nucleon in the valence quark Fock space from an effective Hamiltonian, which includes the transverse and longitudinal confinement and the one-gluon exchange interaction with fixed coupling. The wavefunctions are generated by solving the eigenvalue equation in a basis light-front quantization. Fitting the model parameters, the wavefunctions lead to good simultaneous description of electromagnetic form factors, radii, and parton distribution functions for the proton.


title: Mesonic correlators at non-zero baryon chemical potential

abstract: In order to study the fate of mesons in thermal QCD at finite baryon chemical potential, we consider light mesonic correlation functions using the Taylor expansion to ${\cal O}((\mu/T)^2)$, in both the hadronic and quark-gluon plasma phases. We use the FASTSUM anisotropic fixed-scale lattices with $N_f = 2+1$ flavours of Wilson fermion. We find that mesonic correlators are sensitive to finite-density corrections and that the second-order terms indicate the chiral crossover in the vector and axial-vector channels.


title: Floquet engineering of interlayer couplings: Tuning the magic angle of twisted bilayer graphene at the exit of a waveguide

abstract: We introduce a new approach that allows one complete control over the modulation of the effective twist angle change in few-layer van der Waals heterostructures by irradiating them with longitudinal waves of light at the end of a waveguide. As a specific application, we consider twisted bilayer graphene and show that one can tune the magic angles to be either larger or smaller, allowing in-situ experimental control of the phase diagram of this and other related materials. A waveguide allows one to circumvent the free-space constraints on the absence of longitudinal electric field components of light. We propose to place twisted bilayer graphene at a specific location at the exit of a waveguide, such that it is subjected to purely longitudinal components of a transverse magnetic modes (TM) wave.


title: Maximal Closed Set and Half-Space Separations in Finite Closure Systems

abstract: Several concept learning problems can be regarded as special cases of half-space separation in abstract closure systems over finite ground sets. For the typical scenario that the closure system is implicitly given via a closure operator, we show that the half-space separation problem is NP-complete. As a first approach to overcome this negative result, we relax the problem to maximal closed set separation, give a generic greedy algorithm solving this problem with a linear number of closure operator calls, and show that this bound is sharp. For a second direction, we consider Kakutani closure systems and prove that they are algorithmically characterized by the greedy algorithm. As a first special case of the general problem setting, we consider Kakutani closure systems over graphs and give a sufficient condition for this kind of closure systems in terms of forbidden graph minors. For a second special case, we then focus on closure systems over finite lattices, give an improved adaptation of the generic greedy algorithm, and present an application concerning subsumption lattices.


title: Exploiting Language Instructions for Interpretable and Compositional Reinforcement Learning

abstract: In this work, we present an alternative approach to making an agent compositional through the use of a diagnostic classifier. Because of the need for explainable agents in automated decision processes, we attempt to interpret the latent space from an RL agent to identify its current objective in a complex language instruction. Results show that the classification process causes changes in the hidden states which makes them more easily interpretable, but also causes a shift in zero-shot performance to novel instructions. Lastly, we limit the supervisory signal on the classification, and observe a similar but less notable effect.


title: Exact categories, big Cohen-Macaulay modules and finite representation type

abstract: One of the first remarkable results in the representation theory of artin algebras, due to Auslander and Ringel-Tachikawa, is the characterization of when an artin algebra is representation-finite. In this paper, we investigate aspects of representation-finiteness in the general context of exact categories in the sense of Quillen. In this framework, we introduce "big objects" and prove an Auslander-type "splitting-big-objects" theorem. Our approach generalises and unifies the known results from the literature. As a further application of our methods, we extend the theorems of Auslander and Ringel-Tachikawa to arbitrary dimension, i.e. we characterise when a Cohen-Macaulay order over a complete regular local ring is of finite representation type.


title: FASTER: Fast and Safe Trajectory Planner for Navigation in Unknown Environments

abstract: Planning high-speed trajectories for UAVs in unknown environments requires algorithmic techniques that enable fast reaction times to guarantee safety as more information about the environment becomes available. The standard approaches that ensure safety by enforcing a "stop" condition in the free-known space can severely limit the speed of the vehicle, especially in situations where much of the world is unknown. Moreover, the ad-hoc time and interval allocation scheme usually imposed on the trajectory also leads to conservative and slower trajectories. This work proposes FASTER (Fast and Safe Trajectory Planner) to ensure safety without sacrificing speed. FASTER obtains high-speed trajectories by enabling the local planner to optimize in both the free-known and unknown spaces. Safety is ensured by always having a safe back-up trajectory in the free-known space. The MIQP formulation proposed also allows the solver to choose the trajectory interval allocation. FASTER is tested extensively in simulation and in real hardware, showing flights in unknown cluttered environments with velocities up to 7.8m/s, and experiments at the maximum speed of a skid-steer ground robot (2m/s).


title: On capacity and torsional rigidity

abstract: We investigate extremality properties of shape functionals which are products of Newtonian capacity $\cp(\overline{\Om})$, and powers of the torsional rigidity $T(\Om)$, for an open set $\Om\subset \R^d$ with compact closure $\overline{\Om}$, and prescribed Lebesgue measure. It is shown that if $\Om$ is convex then $\cp(\overline{\Om})T^q(\Om)$ is (i) bounded from above if and only if $q\ge 1$, and (ii) bounded from below and away from $0$ if and only if $q\le \frac{d-2}{2(d-1)}$. Moreover a convex maximiser for the product exists if either $q>1$, or $d=3$ and $q=1$. A convex minimiser exists for $q< \frac{d-2}{2(d-1)}$. If $q\le 0$, then the product is minimised among all bounded sets by a ball of measure $1$.


title: Evidence for spin-dependent energy transport in a superconductor

abstract: In the spin energy excitation mode of normal metals and superconductors, spin up and down electrons (or quasiparticles) carry different heat currents. This mode occurs only when spin up and down energy distribution functions are non-identical, most simply when the two spins have different effective temperatures, and can be excited by spin-polarised current injection into the system. While evidence for spin-dependent heat transport has been observed in a normal metal, these measurements averaged over the distribution function of the electrons. By performing spectroscopy of quasiparticle populations in a mescoscopic superconductor, we reveal distribution functions which are strongly out-of-equilibrium, i.e. non-Fermi-Dirac. In addition, unlike in normal metals, the spin energy mode in superconductors is associated with a charge imbalance (different numbers of hole- and electron-like quasiparticles) at the superconducting gap edge, in finite Zeeman magnetic fields. Our spectroscopic technique allows us to observe this charge imbalance and thus unambiguously identify the spin energy mode. Our results agree well with theory and contribute to laying the foundation for spin caloritronics with superconductors.


title: A Local Resolution of the Problem of Time. VIII. Assignment of Observables

abstract: Given a state space, Assignment of Observables involves Taking Function spaces Thereover. At the classical level, the state space in question is phase space or configuration space. This assignment picks up nontrivialities when whichever combination of constraints and the quantum apply. For Finite Theories, weak observables equations are inhomogeneous-linear first-order PDE systems. Their general solution thus splits into complementary function plus particular integral: strong and nontrivially-weak observables respectively. We provide a PDE analysis for each of these. In the case of single observables equations - corresponding to single constraints - the Flow Method readily applies. Finding all the observables requires free characteristic problems. For systems, this method can be applied sequentially, due to integrability conferred by Frobenius' Theorem. In each case, the first part of this approach is Lie's Integral Theory of Geometrical Invariants, or the physical counterpart thereof. The second part finds the function space thereover, giving the entire space of (local) observables. We also outline the Field Theory counterpart. Here one has functional differential equations. Banach (or tame Fr\'{e}chet) Calculus is however sufficiently standard for the Flow Method and free characteristic problems to still apply. These calculi support the Lie-theoretic combination of machinery that our Local Resolution of the Problem of Time requires, by which Field Theory and GR are included.


title: Decidability via the tilting correspondence

abstract: We prove a relative decidability result for perfectoid fields. This applies to show that the fields $\mathbb{Q}_p(p^{1/p^{\infty}})$ and $\mathbb{Q}_p(\zeta_{p^{\infty}})$ are (existentially) decidable relative to the perfect hull of $ \mathbb{F}_p(\!(t)\!)$ and $\mathbb{Q}_p^{ab}$ is (existentially) decidable relative to the perfect hull of $\overline{ \mathbb{F}}_p(\!(t)\!)$. We also prove some unconditional decidability results in mixed characteristic via reduction to characteristic $p$.


title: Negative Statements Considered Useful

abstract: Knowledge bases (KBs) about notable entities and their properties are an important asset in applications such as search, question answering and dialogue. All popular KBs capture virtually only positive statements, and abstain from taking any stance on statements not stored in the KB. This paper makes the case for explicitly stating salient statements that do not hold. Negative statements are useful to overcome limitations of question answering systems that are mainly geared for positive questions; they can also contribute to informative summaries of entities. Due to the abundance of such invalid statements, any effort to compile them needs to address ranking by saliency. We present a statisticalinference method for compiling and ranking negative statements, based on expectations from positive statements of related entities in peer groups. Experimental results, with a variety of datasets, show that the method can effectively discover notable negative statements, and extrinsic studies underline their usefulness for entity summarization. Datasets and code are released as resources for further research.


title: Big Picard theorems and algebraic hyperbolicity for varieties admitting a variation of Hodge structures

abstract: In this paper, we study various hyperbolicity properties for a quasi-compact K\"ahler manifold $U$ which admits a complex polarized variation of Hodge structures so that each fiber of the period map is zero-dimensional. In the first part, we prove that $U$ is algebraically hyperbolic and that the generalized big Picard theorem holds for $U$. In the second part, we prove that there is a finite \'etale cover $\tilde{U}$ of $U$ from a quasi-projective manifold $\tilde{U}$ such that any projective compactification $X$ of $\tilde{U}$ is Picard hyperbolic modulo the boundary $X-\tilde{U}$, and any irreducible subvariety of $X$ not contained in $X-\tilde{U}$ is of general type. This result coarsely incorporates previous works by Nadel, Rousseau, Brunebarbe and Cadorel on the hyperbolicity of compactifications of quotients of bounded symmetric domains by torsion-free lattices.


title: Game of Ages

abstract: We consider a distributed IoT network, where each node wants to minimize its age of information and there is a cost to make any transmission. A collision model is considered, where any transmission is successful from a node to a common monitor if no other node transmits in the same slot. There is no explicit communication/coordination between any two nodes. The selfish objective of each node is to minimize a function of its individual age of information and its transmission cost. Under this distributed competition model, the objective of this paper is to find a distributed transmission strategy for each node that converges to an equilibrium. The proposed transmission strategy only depends on the past observations seen by each node and does not require explicit information of the number of other nodes, or their strategies. A simple update strategy is shown to converge to an equilibrium, that is in fact a Nash equilibrium for a suitable utility function, that captures all the right tradeoffs for each node. In addition, the price of anarchy for the utility function is shown to approach unity as the number of nodes grows large.


title: On the synthesis of control policies from noisy example datasets: a probabilistic approach

abstract: In this note we consider the problem of synthesizing optimal control policies for a system from noisy datasets. We present a novel algorithm that takes as input the available dataset and, based on these inputs, computes an optimal policy for possibly stochastic and nonlinear systems that also satisfies actuation constraints. The algorithm relies on solid theoretical foundations, which have their key roots into a probabilistic interpretation of dynamical systems. The effectiveness of our approach is illustrated by considering an autonomous car use case. For such use case, we make use of our algorithm to synthesize a control policy from noisy data allowing the car to merge onto an intersection, while satisfying additional constraints on the variance of the car speed


title: Traces of the Unruh effect in surface waves

abstract: We look for classical traces of the Unruh effect in gravity waves. For this purpose, we start considering a white noise state of gravity waves on the surface of a water basin and calculate the two- and four-point functions of the Fourier transform of the surface-height field with respect to accelerated observers. The influence of the basin boundaries and possible deviations from Gaussianity in the white noise state are considered in order to approximate conditions attainable in the laboratory. Eventually, we make the basin infinitely large in order to make contact between our classical results and quantum ones derived in free space. We hope that our results help to strengthen the bridge between the Unruh effect and this classical analog.


title: Evaluating the snappability of bar-joint frameworks

abstract: It is well-known that there exist bar-joint frameworks (without continuous flexions) whose physical models can snap between different realizations due to non-destructive elastic deformations of material. We present a method to measure these snapping capability -- shortly called snappability -- based on the total elastic strain energy of the framework by computing the deformation of all bars using Hook's law. The presented theoretical results give further connections between shakiness and snapping beside the well-known technique of averaging and deaveraging.


title: Detector and Physics Performance at a Muon Collider

abstract: A muon collider represents the ideal machine to reach very high center-of-mass energies and luminosities by colliding elementary particles. This is the result of the low level of beamstrahlung and synchrotron radiation compared to linear or circular electron-positron colliders. In contrast with other lepton machines, the design of a detector for a multi-TeV muon collider requires the knowledge of the interaction region due to the presence of a large amount of background induced by muon beam decays. The physics reaches can be properly evaluated only when the detector performance is determined. In this work, the background generated by muon beams of $750$ GeV is characterized and the performance of the tracking system and the calorimeter detector are illustrated. Solutions to minimize the effect of the beam-induced background are discussed and applied to obtain track and jet reconstruction performance. The $\mu^+\mu^-\to H\nu\bar{\nu}\to b\bar b \nu\bar{\nu}$ process is fully simulated and reconstructed to demonstrate that physics measurements are possible in this harsh environment. The precision on Higgs boson coupling to $b\bar b$ is evaluated for $\sqrt{s}=1.5$, 3, and 10 TeV and compared to other proposed machines.


title: A Preliminary Approach for Learning Relational Policies for the Management of Critically Ill Children

abstract: The increased use of electronic health records has made possible the automated extraction of medical policies from patient records to aid in the development of clinical decision support systems. We adapted a boosted Statistical Relational Learning (SRL) framework to learn probabilistic rules from clinical hospital records for the management of physiologic parameters of children with severe cardiac or respiratory failure who were managed with extracorporeal membrane oxygenation. In this preliminary study, the results were promising. In particular, the algorithm returned logic rules for medical actions that are consistent with medical reasoning.


title: Towards Automated Swimming Analytics Using Deep Neural Networks

abstract: Methods for creating a system to automate the collection of swimming analytics on a pool-wide scale are considered in this paper. There has not been much work on swimmer tracking or the creation of a swimmer database for machine learning purposes. Consequently, methods for collecting swimmer data from videos of swim competitions are explored and analyzed. The result is a guide to the creation of a comprehensive collection of swimming data suitable for training swimmer detection and tracking systems. With this database in place, systems can then be created to automate the collection of swimming analytics.


title: Vortex stream generation and enhanced propagation in a polariton superfluid

abstract: In this work, we implement a new experimental configuration which exploits the specific properties of the optical bistability exhibited by the polariton system and we demonstrate the generation of a superfluid turbulent flow in the wake of a potential barrier. The propagation and direction of the turbulent flow are sustained by a support beam on distances an order of magnitude longer than previously reported. This novel technique is a powerful tool for the controlled generation and propagation of quantum turbulences and paves the way to the study of the hydrodynamic of quantum turbulence in driven-dissipative 2D polariton systems.


title: Entiers ultrafriables en progressions arithm\'etiques

abstract: A natural integer is called $y$-ultrafriable if none of the prime powers occurring in its canonical decomposition exceed $y$. We investigate the distribution of $y$-ultrafriable integers not exceeding $x$ among arithmetic progressions to the modulus $q$. Given a sufficiently small, positive constant $\varepsilon$, we obtain uniform estimates valid for $q\leqslant y^{c/\log_2y}$ whenever $\log y\leqslant (\log x)^\varepsilon$, and for $q\leqslant \sqrt{y}$ if $(\log x)^{2+\varepsilon}\leqslant y\leqslant x$.


title: Capacity of Quantum Private Information Retrieval with Colluding Servers

abstract: Quantum private information retrieval (QPIR) is a protocol in which a user retrieves one of multiple files from $\mathsf{n}$ non-communicating servers by downloading quantum systems without revealing which file is retrieved. As variants of QPIR with stronger security requirements, symmetric QPIR is a protocol in which no other files than the target file are leaked to the user, and $\mathsf{t}$-private QPIR is a protocol in which the identity of the target file is kept secret even if at most $\mathsf{t}$ servers may collude to reveal the identity. The QPIR capacity is the maximum ratio of the file size to the size of downloaded quantum systems, and we prove that the symmetric $\mathsf{t}$-private QPIR capacity is $\min\{1,2(\mathsf{n}-\mathsf{t})/\mathsf{n}\}$ for any $1\leq \mathsf{t}< \mathsf{n}$. We construct a capacity-achieving QPIR protocol by the stabilizer formalism and prove the optimality of our protocol. The proposed capacity is greater than the classical counterpart.


title: LP-SparseMAP: Differentiable Relaxed Optimization for Sparse Structured Prediction

abstract: Structured prediction requires manipulating a large number of combinatorial structures, e.g., dependency trees or alignments, either as latent or output variables. Recently, the SparseMAP method has been proposed as a differentiable, sparse alternative to maximum a posteriori (MAP) and marginal inference. SparseMAP returns a combination of a small number of structures, a desirable property in some downstream applications. However, SparseMAP requires a tractable MAP inference oracle. This excludes, e.g., loopy graphical models or factor graphs with logic constraints, which generally require approximate inference. In this paper, we introduce LP-SparseMAP, an extension of SparseMAP that addresses this limitation via a local polytope relaxation. LP-SparseMAP uses the flexible and powerful domain specific language of factor graphs for defining and backpropagating through arbitrary hidden structure, supporting coarse decompositions, hard logic constraints, and higher-order correlations. We derive the forward and backward algorithms needed for using LP-SparseMAP as a hidden or output layer. Experiments in three structured prediction tasks show benefits compared to SparseMAP and Structured SVM.


title: The Two-Pass Softmax Algorithm

abstract: The softmax (also called softargmax) function is widely used in machine learning models to normalize real-valued scores into a probability distribution. To avoid floating-point overflow, the softmax function is conventionally implemented in three passes: the first pass to compute the normalization constant, and two other passes to compute outputs from normalized inputs. We analyze two variants of the Three-Pass algorithm and demonstrate that in a well-optimized implementation on HPC-class processors performance of all three passes is limited by memory bandwidth. We then present a novel algorithm for softmax computation in just two passes. The proposed Two-Pass algorithm avoids both numerical overflow and the extra normalization pass by employing an exotic representation for intermediate values, where each value is represented as a pair of floating-point numbers: one representing the "mantissa" and another representing the "exponent". Performance evaluation demonstrates that on out-of-cache inputs on an Intel Skylake-X processor the new Two-Pass algorithm outperforms the traditional Three-Pass algorithm by up to 28% in AVX512 implementation, and by up to 18% in AVX2 implementation. The proposed Two-Pass algorithm also outperforms the traditional Three-Pass algorithm on Intel Broadwell and AMD Zen 2 processors. To foster reproducibility, we released an open-source implementation of the new Two-Pass Softmax algorithm and other experiments in this paper as a part of XNNPACK library at GitHub.com/google/XNNPACK.


title: Session Types with Arithmetic Refinements and Their Application to Work Analysis

abstract: Session types statically prescribe bidirectional communication protocols for message-passing processes and are in a Curry-Howard correspondence with linear logic propositions. However, simple session types cannot specify properties beyond the type of exchanged messages. In this paper we extend the type system by using index refinements from linear arithmetic capturing intrinsic attributes of data structures and algorithms so that we can express and verify amortized cost of programs using ergometric types. We show that, despite the decidability of Presburger arithmetic, type equality and therefore also type checking are now undecidable, which stands in contrast to analogous dependent refinement type systems from functional languages. We also present a practical incomplete algorithm for type equality and an algorithm for type checking which is complete relative to an oracle for type equality. Process expressions in this explicit language are rather verbose, so we also introduce an implicit form and a sound and complete algorithm for reconstructing explicit programs, borrowing ideas from the proof-theoretic technique of focusing. We conclude by illustrating our systems and algorithms with a variety of examples that have been verified in our implementation.


title: The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing

abstract: In this paper, we present a method to solve the quantum marginal problem for symmetric $d$-level systems. The method is built upon an efficient semi-definite program that determines the compatibility conditions of an $m$-body reduced density with a global $n$-body density matrix supported on the symmetric space. We illustrate the applicability of the method in central quantum information problems with several exemplary case studies. Namely, (i) a fast variational ansatz to optimize local Hamiltonians over symmetric states, (ii) a method to optimize symmetric, few-body Bell operators over symmetric states and (iii) a set of sufficient conditions to determine which symmetric states cannot be self-tested from few-body observables. As a by-product of our findings, we also provide a generic, analytical correspondence between arbitrary superpositions of $n$-qubit Dicke states and translationally-invariant diagonal matrix product states of bond dimension $n$.


title: Fractional Poincar\'e Inequality for Unbounded Domains with Finite Ball Condition: Counter Example

abstract: In this paper we investigate the fractional Poincar\'e inequality on unbounded domains. In the local case, Sandeep-Mancini showed that in the class of simply connected domains, Poincar\'e inequality holds if and only if the domain does not allow balls of arbitrarily large radius (finite ball condition). We prove that such a result can not be true in the `nonlocal/fractional' setting even if finite ball condition is replaced by a related stronger condition. We further provide some sufficient criterions on domains for fractional Poincar\'e inequality to hold. In the end, asymptotic behaviour of all eigenvalues of fractional Dirichlet problems on long cylindrical domains is addressed.


title: The theory of Pulsar Wind Nebulae: recent progress

abstract: Pulsar Wind Nebulae are highly intriguing astrophysical objects in many respects. They are the brightest and closest class of relativistic sources, and hence the ultimate laboratory for the physics of relativistic plasmas: several processes observed (or inferred to occur) in other classes of relativistic sources can here be studied with unique detail, like the acceleration and collimation of relativistic outflows, or the acceleration of particles at relativistic shocks. Here I review the current status of our theoretical understanding of Pulsar Wind Nebulae in light of the most recent 2D and 3D MHD modelling of these sources. I will discuss how these studies are taking us to the point when we can reliably use multi-wavelength observations of these nebulae as a diagnostics of the hidden physics of the pulsar wind and of the mechanism(s) through which particles are accelerated at the highly relativistic shock that terminates the wind. Finally I will briefly discuss recent progress in the modelling of evolved Pulsar Wind Nebulae and of the escape of particles from these systems. This effort is instrumental to credibly assess the role of Pulsar Winds as sources of cosmic ray leptons, and has recently been recognised to have important implications also on cosmic ray transport in the Galaxy.


title: Maintaining Data Integrity in Fog Computing Based Critical Infrastructure Systems

abstract: The evolution of the utilization of technologies in nearly all aspects of life has produced an enormous amount of data essential in a smart city. Therefore, maximizing the benefits of technologies such as cloud computing, fog computing, and the Internet of things is important to manage and manipulate data in smart cities. However, certain types of data are sensitive and risky and may be infiltrated by malicious attacks. As a result, such data may be corrupted, thereby causing concern. The damage inflicted by an attacker on a set of data can spread through an entire database. Valid transactions that have read corrupted data can update other data items based on the values read. In this study, we introduce a unique model that uses fog computing in smart cities to manage utility service companies and consumer data. We also propose a novel technique to assess damage to data caused by an attack. Thus, original data can be recovered, and a database can be returned to its consistent state as no attacking has occurred.


title: Generalized Linear Models for Longitudinal Data with Biased Sampling Designs: A Sequential Offsetted Regressions Approach

abstract: Biased sampling designs can be highly efficient when studying rare (binary) or low variability (continuous) endpoints. We consider longitudinal data settings in which the probability of being sampled depends on a repeatedly measured response through an outcome-related, auxiliary variable. Such auxiliary variable- or outcome-dependent sampling improves observed response and possibly exposure variability over random sampling, {even though} the auxiliary variable is not of scientific interest. {For analysis,} we propose a generalized linear model based approach using a sequence of two offsetted regressions. The first estimates the relationship of the auxiliary variable to response and covariate data using an offsetted logistic regression model. The offset hinges on the (assumed) known ratio of sampling probabilities for different values of the auxiliary variable. Results from the auxiliary model are used to estimate observation-specific probabilities of being sampled conditional on the response and covariates, and these probabilities are then used to account for bias in the second, target population model. We provide asymptotic standard errors accounting for uncertainty in the estimation of the auxiliary model, and perform simulation studies demonstrating substantial bias reduction, correct coverage probability, and improved design efficiency over simple random sampling designs. We illustrate the approaches with two examples.


title: On the definition of Euler Gamma function

abstract: We present a new definition of Euler Gamma function. From the complex analysis and transalgebraic viewpoint, it is a natural characterization in the space of finite order meromorphic functions. We show how the classical theory and formulas develop naturally, and we discuss the relation with other definitions. We show in a companion article, that this definition generalizes to higher gamma functions and provides an unifying framework for their definition which is more natural than the usual Bohr-Mollerup or Lerch approaches.


title: AttentionAnatomy: A unified framework for whole-body organs at risk segmentation using multiple partially annotated datasets

abstract: Organs-at-risk (OAR) delineation in computed tomography (CT) is an important step in Radiation Therapy (RT) planning. Recently, deep learning based methods for OAR delineation have been proposed and applied in clinical practice for separate regions of the human body (head and neck, thorax, and abdomen). However, there are few researches regarding the end-to-end whole-body OARs delineation because the existing datasets are mostly partially or incompletely annotated for such task. In this paper, our proposed end-to-end convolutional neural network model, called \textbf{AttentionAnatomy}, can be jointly trained with three partially annotated datasets, segmenting OARs from whole body. Our main contributions are: 1) an attention module implicitly guided by body region label to modulate the segmentation branch output; 2) a prediction re-calibration operation, exploiting prior information of the input images, to handle partial-annotation(HPA) problem; 3) a new hybrid loss function combining batch Dice loss and spatially balanced focal loss to alleviate the organ size imbalance problem. Experimental results of our proposed framework presented significant improvements in both S{\o}rensen-Dice coefficient (DSC) and 95\% Hausdorff distance compared to the baseline model.


title: Scattering and Sparse Partitions, and their Applications

abstract: A partition $\mathcal{P}$ of a weighted graph $G$ is $(\sigma,\tau,\Delta)$-sparse if every cluster has diameter at most $\Delta$, and every ball of radius $\Delta/\sigma$ intersects at most $\tau$ clusters. Similarly, $\mathcal{P}$ is $(\sigma,\tau,\Delta)$-scattering if instead for balls we require that every shortest path of length at most $\Delta/\sigma$ intersects at most $\tau$ clusters. Given a graph $G$ that admits a $(\sigma,\tau,\Delta)$-sparse partition for all $\Delta>0$, Jia et al. [STOC05] constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch $O(\tau\sigma^2\log_\tau n)$. Given a graph $G$ that admits a $(\sigma,\tau,\Delta)$-scattering partition for all $\Delta>0$, we construct a solution for the Steiner Point Removal problem with stretch $O(\tau^3\sigma^3)$. We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.


title: Four New Self-lensing Binaries from Kepler: Radial Velocity Characterization and Astrophysical Implications

abstract: In Kawahara et al. (2018) and Masuda et al. (2019), we reported the discovery of four self-lensing binaries consisting of F/G-type stars and (most likely) white dwarfs whose masses range from 0.2 to 0.6 solar masses. Here we present their updated system parameters based on new radial velocity data from the Tillinghast Reflector Echelle Spectrograph at the Fred Lawrence Whipple Observatory, and the Gaia parallaxes and spectroscopic parameters of the primary stars. We also briefly discuss the astrophysical implications of these findings.


title: A quantum-classical cloud platform optimized for variational hybrid algorithms

abstract: In order to support near-term applications of quantum computing, a new compute paradigm has emerged--the quantum-classical cloud--in which quantum computers (QPUs) work in tandem with classical computers (CPUs) via a shared cloud infrastructure. In this work, we enumerate the architectural requirements of a quantum-classical cloud platform, and present a framework for benchmarking its runtime performance. In addition, we walk through two platform-level enhancements, parametric compilation and active qubit reset, that specifically optimize a quantum-classical architecture to support variational hybrid algorithms (VHAs), the most promising applications of near-term quantum hardware. Finally, we show that integrating these two features into the Rigetti Quantum Cloud Services (QCS) platform results in considerable improvements to the latencies that govern algorithm runtime.


title: Enhancing transport properties in interconnected systems without altering their structure

abstract: Units of complex systems -- such as neurons in the brain or individuals in societies -- must communicate efficiently to function properly: e.g., allowing electrochemical signals to travel quickly among functionally connected neuronal areas in the human brain, or allowing for fast navigation of humans and goods in complex transportation landscapes. The coexistence of different types of relationships among the units, entailing a multilayer represention in which types are considered as networks encoded by layers, plays an important role in the quality of information exchange among them. While altering the structure of such systems -- e.g., by physically adding (or removing) units, connections or layers -- might be costly, coupling the dynamics of subset(s) of layers in a way that reduces the number of redundant diffusion pathways across the multilayer system, can potentially accelerate the overall information flow. To this aim, we introduce a framework for functional reducibility which allow us to enhance transport phenomena in multilayer systems by coupling layers together with respect to dynamics rather than structure. Mathematically, the optimal configuration is obtained by maximizing the deviation of system's entropy from the limit of free and non-interacting layers. Our results provide a transparent procedure to reduce diffusion time and optimize non-compact search processes in empirical multilayer systems, without the cost of altering the underlying structure.


title: Reformer: The Efficient Transformer

abstract: Large Transformer models routinely achieve state-of-the-art results on a number of tasks but training these models can be prohibitively costly, especially on long sequences. We introduce two techniques to improve the efficiency of Transformers. For one, we replace dot-product attention by one that uses locality-sensitive hashing, changing its complexity from O($L^2$) to O($L\log L$), where $L$ is the length of the sequence. Furthermore, we use reversible residual layers instead of the standard residuals, which allows storing activations only once in the training process instead of $N$ times, where $N$ is the number of layers. The resulting model, the Reformer, performs on par with Transformer models while being much more memory-efficient and much faster on long sequences.


title: Error analysis for time-fractional semilinear parabolic equations using upper and lower solutions

abstract: A semilinear initial-boundary value problem with a Caputo time derivative of fractional order $\alpha\in(0,1)$ is considered, solutions of which typically exhibit a singular behaviour at an initial time. For L1-type discretizations of this problem, we employ the method of upper and lower solutions to obtain sharp pointwise-in-time error bounds on quasi-graded temporal meshes with arbitrary degree of grading. In particular, those results imply that milder (compared to the optimal) grading yields the optimal convergence rate $2-\alpha$ in positive time, while quasi-uniform temporal meshes yield first-order convergence in positive time. Furthermore, under appropriate conditions on the nonlinearity, the method of upper and lower solutions immediately implies that, similarly to the exact solutions, the computed solutions lie within a certain range. Semi-discretizations in time and full discretizations using finite differences and finite elements in space are addressed. The theoretical findings are illustrated by numerical experiments.


title: Faint LAEs near z>4.7 CIV absorbers revealed by MUSE

abstract: We present the results from the search for Lyman Alpha emitters (LAEs) in the proximity of 11 CIV absorption systems at $z > 4.7$ in the spectrum of the QSO J1030+0524, using data from MUSE. We have found multiple LAE candidates close to four CIV systems at $z_{CIV} = 4.94$-5.74 with log$_{10}$(N CIV[cm$^{-2}$])$ > 13.5.$ At z = 5-6, CIV systems with W0(CIV) $> 0.2$ {\AA} seem more likely to have galaxies with Ly${\alpha}$ emission within $\rho < 200$ proper kpc (4/5 cases), than the CIV systems with W0(CIV)$ < 0.2$ {\AA} (0/6 cases). The impact parameter of LAE-CIV systems with equivalent widths W0(CIV)$ > 0.5 $ {\AA} is in the range 11 $ < \rho <$ 200 proper kpc (pkpc). Furthermore, all candidates are in the luminosity range 0.18-1.15 L*$(Ly{ \alpha }, z = 5.7)$ indicating that the environment of CIV systems within 200 pkpc is populated by the faint end of the Ly${\alpha}$ luminosity function. We report a 0.28 L*$(Ly{\alpha})$ galaxy at a separation of $\rho = 10$ pkpc from a strong CIV absorption (log10(NCIV[cm$^{-2}$]) = 14.52) at $z_{CIV} = 5.72419$. The prevalence of sub-L*(Ly$\alpha$) galaxies in the proximity of z $> 4.9$ CIV systems suggest that the absorbing material is rather young, likely ejected in the recent past of the galaxies at these redshifts. The connection between faint LAEs and high-ionization absorption systems reported in this work, is potentially a consequence of the role of low mass galaxies in the early evolution of the circum-galactic and intergalactic media.


title: Constraint on the mass of fuzzy dark matter from the rotation curve of the Milky Way

abstract: Fuzzy Dark Matter (FDM) is one of the recent models for dark matter. According to this model, dark matter is made of very light scalar particles with considerable quantum mechanical effects on the galactic scale, which solves many problems of the cold dark matter (CDM). Here we use the observed data from the rotation curve of the Milky Way (MW) Galaxy to compare the results from FDM and CDM models. We show FDM adds a local peak on the rotation curve close to the center of the bulge, where its position and amplitude depend on the mass of FDM particles. By fitting the observed rotation curve with our expectation from FDM, we find that the mass of FDM is $m = 2.5^{+3.6}_{-2.0} \times10^{-21}$eV. We note that the local peak of the rotation curve in MW can also be explained in the CDM model with an extra inner bulge model for the MW Galaxy. We conclude that the FDM model explains this peak without a need for extra structure for the bulge.


title: High-Fidelity Entanglement and Detection of Alkaline-Earth Rydberg Atoms

abstract: Trapped neutral atoms have become a prominent platform for quantum science, where entanglement fidelity records have been set using highly-excited Rydberg states. However, controlled two-qubit entanglement generation has so far been limited to alkali species, leaving the exploitation of more complex electronic structures as an open frontier that could lead to improved fidelities and fundamentally different applications such as quantum-enhanced optical clocks. Here we demonstrate a novel approach utilizing the two-valence electron structure of individual alkaline-earth Rydberg atoms. We find fidelities for Rydberg state detection, single-atom Rabi operations, and two-atom entanglement surpassing previously published values. Our results pave the way for novel applications, including programmable quantum metrology and hybrid atom-ion systems, and set the stage for alkaline-earth based quantum computing architectures.


title: Absence of local unconditional structure in spaces of smooth functions on two-dimensional torus

abstract: Consider a finite collection $\{T_1, \ldots, T_J\}$ of differential operators with constant coefficients on $\mathbb{T}^2$ and the space of smooth functions generated by this collection, namely, the space of functions $f$ such that $T_j f \in C(\mathbb{T}^2)$. We prove that under a certain natural condition this space is not isomorphic to a quotient of a $C(S)$-space and does not have a local unconditional structure. This fact generalizes the previously known result that such spaces are not isomorphic to a complemented subspace of $C(S)$.


title: A Verified Packrat Parser Interpreter for Parsing Expression Grammars

abstract: Parsing expression grammars (PEGs) offer a natural opportunity for building verified parser interpreters based on higher-order parsing combinators. PEGs are expressive, unambiguous, and efficient to parse in a top-down recursive descent style. We use the rich type system of the PVS specification language and verification system to formalize the metatheory of PEGs and define a reference implementation of a recursive parser interpreter for PEGs. In order to ensure termination of parsing, we define a notion of a well-formed grammar. Rather than relying on an inductive definition of parsing, we use abstract syntax trees that represent the computational trace of the parser to provide an effective proof certificate for correct parsing and ensure that parsing properties including soundness and completeness are maintained. The correctness properties are embedded in the types of the operations so that the proofs can be easily constructed from local proof obligations. Building on the reference parser interpreter, we define a packrat parser interpreter as well as an extension that is capable of semantic interpretation. Both these parser interpreters are proved equivalent to the reference one. All of the parsers are executable. The proofs are formalized in mathematical terms so that similar parser interpreters can be defined in any specification language with a type system similar to PVS.


title: One-Clock Priced Timed Games are PSPACE-hard

abstract: The main result of this paper is that computing the value of a one-clock priced timed game (OCPTG) is PSPACE-hard. Along the way, we provide a family of OCPTGs that have an exponential number of event points. Both results hold even in very restricted classes of games such as DAGs with treewidth three. Finally, we provide a number of positive results, including polynomial-time algorithms for even more restricted classes of OCPTGs such as trees.


title: Variational Problems for Tree Roots and Branches

abstract: This paper studies two classes of variational problems introduced in [7], related to the optimal shapes of tree roots and branches. Given a measure $\mu$ describing the distribution of leaves, a sunlight functional $\S(\mu)$ computes the total amount of light captured by the leaves. For a measure $\mu$ describing the distribution of root hair cells, a harvest functional $\H(\mu)$ computes the total amount of water and nutrients gathered by the roots. In both cases, we seek a measure $\mu$ that maximizes these functionals subject to a rami?ed transportation cost, for transporting nutrients from the roots to the trunk or from the trunk to the leaves. Compared with [7], here we do not impose any a priori bound on the total mass of the optimal measure $\mu$, and more careful a priori estimates are thus required. In the unconstrained optimization problem for branches, we prove that an optimal measure exists, with bounded support and bounded total mass. In the unconstrained problem for tree roots, we prove that an optimal measure exists, with bounded support but possibly unbounded total mass. The last section of the paper analyzes how the size of the optimal tree depends on the parameters defining the various functionals.


title: A Differentiable Perceptual Audio Metric Learned from Just Noticeable Differences

abstract: Many audio processing tasks require perceptual assessment. The ``gold standard`` of obtaining human judgments is time-consuming, expensive, and cannot be used as an optimization criterion. On the other hand, automated metrics are efficient to compute but often correlate poorly with human judgment, particularly for audio differences at the threshold of human detection. In this work, we construct a metric by fitting a deep neural network to a new large dataset of crowdsourced human judgments. Subjects are prompted to answer a straightforward, objective question: are two recordings identical or not? These pairs are algorithmically generated under a variety of perturbations, including noise, reverb, and compression artifacts; the perturbation space is probed with the goal of efficiently identifying the just-noticeable difference (JND) level of the subject. We show that the resulting learned metric is well-calibrated with human judgments, outperforming baseline methods. Since it is a deep network, the metric is differentiable, making it suitable as a loss function for other tasks. Thus, simply replacing an existing loss (e.g., deep feature loss) with our metric yields significant improvement in a denoising network, as measured by subjective pairwise comparison.


title: TurkEyes: A Web-Based Toolbox for Crowdsourcing Attention Data

abstract: Eye movements provide insight into what parts of an image a viewer finds most salient, interesting, or relevant to the task at hand. Unfortunately, eye tracking data, a commonly-used proxy for attention, is cumbersome to collect. Here we explore an alternative: a comprehensive web-based toolbox for crowdsourcing visual attention. We draw from four main classes of attention-capturing methodologies in the literature. ZoomMaps is a novel "zoom-based" interface that captures viewing on a mobile phone. CodeCharts is a "self-reporting" methodology that records points of interest at precise viewing durations. ImportAnnots is an "annotation" tool for selecting important image regions, and "cursor-based" BubbleView lets viewers click to deblur a small area. We compare these methodologies using a common analysis framework in order to develop appropriate use cases for each interface. This toolbox and our analyses provide a blueprint for how to gather attention data at scale without an eye tracker.


title: Non-chiral Intermediate Long Wave equation and inter-edge effects in narrow quantum Hall systems

abstract: We present a non-chiral version of the Intermediate Long Wave (ILW) equation that can model nonlinear waves propagating on two opposite edges of a quantum Hall system, taking into account inter-edge interactions. We obtain exact soliton solutions governed by the hyperbolic Calogero-Moser-Sutherland (CMS) model, and we give a Lax pair, a Hirota form, and conservation laws for this new equation. We also present a periodic non-chiral ILW equation, together with its soliton solutions governed by the elliptic CMS model.


title: Unsupervised Audiovisual Synthesis via Exemplar Autoencoders

abstract: We present an unsupervised approach that converts the input speech of any individual into audiovisual streams of potentially-infinitely many output speakers. Our approach builds on simple autoencoders that project out-of-sample data onto the distribution of the training set. We use Exemplar Autoencoders to learn the voice, stylistic prosody, and visual appearance of a specific target exemplar speech. In contrast to existing methods, the proposed approach can be easily extended to an arbitrarily large number of speakers and styles using only 3 minutes of target audio-video data, without requiring {\em any} training data for the input speaker. To do so, we learn audiovisual bottleneck representations that capture the structured linguistic content of speech. We outperform prior approaches on both audio and video synthesis, and provide extensive qualitative analysis on our project page -- https://www.cs.cmu.edu/~exemplar-ae/.


title: QCD Axion Window and False Vacuum Higgs Inflation

abstract: The abundance of the QCD axion is known to be suppressed if the Hubble parameter during inflation, $H_{\rm inf}$, is lower than the QCD scale, and if the inflation lasts sufficiently long. We show that the tight upper bound on the inflation scale can be significantly relaxed if the eternal old inflation is driven by the standard-model Higgs field trapped in a false vacuum at large field values. Specifically, $H_{\rm inf}$ can be larger than $100\,$GeV if the false vacuum is located above the intermediate scale. We also discuss the slow-roll inflation after the tunneling from the false vacuum to the electroweak vacuum.


title: LESS is More: Rethinking Probabilistic Models of Human Behavior

abstract: Robots need models of human behavior for both inferring human goals and preferences, and predicting what people will do. A common model is the Boltzmann noisily-rational decision model, which assumes people approximately optimize a reward function and choose trajectories in proportion to their exponentiated reward. While this model has been successful in a variety of robotics domains, its roots lie in econometrics, and in modeling decisions among different discrete options, each with its own utility or reward. In contrast, human trajectories lie in a continuous space, with continuous-valued features that influence the reward function. We propose that it is time to rethink the Boltzmann model, and design it from the ground up to operate over such trajectory spaces. We introduce a model that explicitly accounts for distances between trajectories, rather than only their rewards. Rather than each trajectory affecting the decision independently, similar trajectories now affect the decision together. We start by showing that our model better explains human behavior in a user study. We then analyze the implications this has for robot inference, first in toy environments where we have ground truth and find more accurate inference, and finally for a 7DOF robot arm learning from user demonstrations.


title: Precision Early Universe Thermodynamics made simple: $N_{\rm eff}$ and Neutrino Decoupling in the Standard Model and beyond

abstract: Precision measurements of the number of effective relativistic neutrino species and the primordial element abundances require accurate theoretical predictions for early Universe observables in the Standard Model and beyond. Given the complexity of accurately modelling the thermal history of the early Universe, in this work, we extend a previous method presented by the author to obtain simple, fast and accurate early Universe thermodynamics. The method is based upon the approximation that all relevant species can be described by thermal equilibrium distribution functions characterized by a temperature and a chemical potential. We apply the method to neutrino decoupling in the Standard Model and find $N_{\rm eff}^{\rm SM} = 3.045$ -- a result in excellent agreement with previous state-of-the-art calculations. We apply the method to study the thermal history of the Universe in the presence of a very light ($1\,\text{eV}<m_\phi < 1\,\text{MeV}$) and weakly coupled ($\lambda \lesssim 10^{-9}$) neutrinophilic scalar. We find our results to be in excellent agreement with the solution to the exact Liouville equation. Finally, we release a code: NUDEC_BSM (available in both Mathematica and Python formats), with which neutrino decoupling can be accurately and efficiently solved in the Standard Model and beyond: https://github.com/MiguelEA/nudec_BSM .


title: Mass ejection from disks surrounding a low-mass black hole: Viscous neutrino-radiation hydrodynamics simulation in full general relativity

abstract: New viscous neutrino-radiation hydrodynamics simulations are performed for accretion disks surrounding a spinning black hole with low mass $3M_\odot$ and dimensionless spin 0.8 or 0.6 in full general relativity, aiming at modeling the evolution of a merger remnant of massive binary neutron stars or low-mass black hole-neutron star binaries. We reconfirm the following results found by previous studies of other groups: 15-30% of the disk mass is ejected from the system with the average velocity of $\sim $5-10% of the speed of light for the plausible profile of the disk as merger remnants. In addition, we find that for the not extremely high viscous coefficient case, the neutron richness of the ejecta does not become very high, because weak interaction processes enhance the electron fraction during the viscous expansion of the disk before the onset of the mass ejection, resulting in the suppression of the lanthanide synthesis. For high-mass disks, the viscous expansion timescale is increased by a longer-term neutrino emission, and hence, the electron fraction of the ejecta becomes even higher. We also confirm that the mass distribution of the electron fraction depends strongly on the magnitude of the given viscous coefficient. This demonstrates that a first-principle magnetohydrodynamics simulation is necessary for black hole-disk systems with sufficient grid resolution and with sufficiently long timescale (longer than seconds) to clarify the nucleosynthesis and electromagnetic signals from them.


title: The VLA/ALMA Nascent Disk and Multiplicity (VANDAM) Survey of Orion Protostars. A Statistical Characterization of Class 0 and I Protostellar Disks

abstract: We have conducted a survey of 328 protostars in the Orion molecular clouds with ALMA at 0.87 mm at a resolution of $\sim$0.1" (40 au), including observations with the VLA at 9 mm toward 148 protostars at a resolution of $\sim$0.08" (32 au). This is the largest multi-wavelength survey of protostars at this resolution by an order of magnitude. We use the dust continuum emission at 0.87 mm and 9 mm to measure the dust disk radii and masses toward the Class 0, Class I, and Flat Spectrum protostars, characterizing the evolution of these disk properties in the protostellar phase. The mean dust disk radii for the Class 0, Class I, and Flat Spectrum protostars are 44.9$^{+5.8}_{-3.4}$, 37.0$^{+4.9}_{-3.0}$, and 28.5$^{+3.7}_{-2.3}$ au, respectively, and the mean protostellar dust disk masses are 25.9$^{+7.7}_{-4.0}$, 14.9$^{+3.8}_{-2.2}$, 11.6$^{+3.5}_{-1.9}$ Earth masses, respectively. The decrease in dust disk masses is expected from disk evolution and accretion, but the decrease in disk radii may point to the initial conditions of star formation not leading to the systematic growth of disk radii or that radial drift is keeping the dust disk sizes small. At least 146 protostellar disks (35% out of 379 detected 0.87 mm continuum sources plus 42 non-detections) have disk radii greater than 50 au in our sample. These properties are not found to vary significantly between different regions within Orion. The protostellar dust disk mass distributions are systematically larger than that of Class II disks by a factor of $>$4, providing evidence that the cores of giant planets may need to at least begin their formation during the protostellar phase.


title: The Surprisingly Small Impact of Magnetic Fields On The Inner Accretion Flow of Sagittarius A* Fueled By Stellar Winds

abstract: We study the flow structure in 3D magnetohydrodynamic (MHD) simulations of accretion onto Sagittarius A* via the magnetized winds of the orbiting Wolf-Rayet stars. These simulations cover over 3 orders of magnitude in radius to reach $\approx$ 300 gravitational radii, with only one poorly constrained parameter (the magnetic field in the stellar winds). Even for winds with relatively weak magnetic fields (e.g., plasma $\beta$ $\sim$ $10^6$), flux freezing/compression in the inflowing gas amplifies the field to $\beta$ $\sim$ few well before it reaches the event horizon. Overall, the dynamics, accretion rate, and spherically averaged flow profiles (e.g., density, velocity) in our MHD simulations are remarkably similar to analogous hydrodynamic simulations. We attribute this to the broad distribution of angular momentum provided by the stellar winds, which sources accretion even absent much angular momentum transport. We find that the magneto-rotational instability is not important because of i) strong magnetic fields that are amplified by flux freezing/compression, and ii) the rapid inflow/outflow times of the gas and inefficient radiative cooling preclude circularization. The primary effect of magnetic fields is that they drive a polar outflow that is absent in hydrodynamics. The dynamical state of the accretion flow found in our simulations is unlike the rotationally supported tori used as initial conditions in horizon scale simulations, which could have implications for models being used to interpret Event Horizon Telescope and GRAVITY observations of Sgr A*.


title: Hunting for $B^+\to K^+ \tau^+\tau^-$ imprints on the $B^+ \to K^+ \mu^+\mu^-$ dimuon spectrum

abstract: We investigate the possibility of indirectly constraining the $B^{+}\to K^{+}\tau^+\tau^-$ decay rate using precise data on the $B^{+}\to K^{+}\mu^+\mu^-$ dimuon spectrum. To this end, we estimate the distortion of the spectrum induced by the $B^{+}\to K^{+}\tau^+\tau^-\to K^{+} \mu^+\mu^-$ re-scattering process, and propose a method to simultaneously constrain this (non-standard) contribution and the long-distance effects associated to hadronic intermediate states. The latter are constrained using the analytic properties of the amplitude combined with data and perturbative calculations. Finally, we estimate the sensitivity expected at the LHCb experiment with present and future datasets. We find that constraints on the branching fraction of $O(10^{-3})$, competitive with current direct bounds, can be achieved with the current dataset, while bounds of $O(10^{-4})$ could be obtained with the LHCb upgrade-II luminosity.


title: Observational nonstationarity of AGN variability: The only way to go is down!

abstract: To gain insights into long-term Active Galactic Nuclei (AGN) variability, we analyze an AGN sample from the Sloan Digital Sky Survey (SDSS) and compare their photometry with observations from the Hyper Suprime-Cam survey (HSC) observed $\langle 14.85 \rangle$ years after SDSS. On average, the AGN are fainter in HSC than SDSS. We demonstrate that the difference is not due to subtle differences in the SDSS versus HSC filters or photometry. The decrease in mean brightness is redshift dependent, consistent with expectations for a change that is a function of the rest-frame time separation between observations. At a given redshift, the mean decrease in brightness is stronger for more luminous AGN and for objects with longer time separation between measurements. We demonstrate that the dependence on redshift and luminosity of measured mean brightness decrease is consistent with simple models of Eddington ratio variability in AGN on long (Myr, Gyr) timescales. We show how our results can be used to constrain the variability and demographic properties of AGN populations.


title: Interacting galaxies in the IllustrisTNG simulations -- II: Star formation in the post-merger stage

abstract: Galaxy mergers are a major evolutionary transformation whose effects are borne out by a plethora of observations and numerical simulations. However, most previous simulations have used idealised, isolated, binary mergers and there has not been significant progress on studying statistical samples of galaxy mergers in large cosmological simulations. We present a sample of 27,691 post-merger (PM) galaxies ($0\le z \le 1$) identified from IllustrisTNG: a cosmological, large box, magneto-hydrodynamical simulation suite. The PM sample spans a wide range of merger and galaxy properties ($M_\star$, $\mu$, $f_\mathrm{gas}$). We demonstrate that star forming (SF) PMs exhibit enhanced star formation rates (SFRs) on average by a factor of $\sim 2$, while the passive PMs show no statistical enhancement. We find that the SFR enhancements: (1) show no dependence on redshift, (2) anti-correlate with the PM's stellar mass, and (3) correlate with the gas fraction of the PM's progenitors. However, SF PMs show stronger enhancements which may indicate other processes being at play (e.g., gas phase, feedback efficiency). Although the SFR enhancement correlates mildly with the merger mass ratio, the more abundant minor mergers ($0.1 \le \mu < 0.3 $) still contribute $\sim 50\%$ of the total SFR enhancement. By tracing the PM sample forward in time, we find that galaxy mergers can drive significant SFR enhancements which decay over $\sim 0.5$ Gyr independent of the merger mass ratio, although the decay timescale is dependent on the simulation resolution. The strongest merger-driven starburst galaxies evolve to be passive/quenched on faster timescales than their controls.


title: High-redshift cosmology with oxygen lines from H$\alpha$ surveys

abstract: A new generation of cosmological experiments will spectroscopically detect the H$\alpha$ line from ELGs at optical/near-infrared frequencies. Other emission lines will also be present, which may come from the same H$\alpha$ sample or constitute a new galaxy sample altogether. Our goal is to assess the value, for cosmological investigation, of galaxies at $z\gtrsim2$ present in H$\alpha$ galaxy surveys and identifiable by the highly redshifted ultra-violet and optical lines - namely the OII line and the OIII doublet in combination with the H$\beta$ line. We use state-of-the-art luminosity functions to estimate the number density of OIIIb and OII ELGs. We study the constraining power of these high-redshift galaxy samples on cosmological parameters such as the BAO amplitude, $H(z)$, $D_{\rm A}(z)$, $f\sigma_8(z)$, and $b\sigma_8(z)$ for different survey designs. We present a strong science case for extracting the OIIIb sample, which we consider as an independent probe of the Universe in the redshift range $2-3$. Moreover, we show that the OII sample can be used to measure the BAO and growth of structure above $z=3$; albeit it may be shot-noise dominated, it will nonetheless provide valuable tomographic information. We discuss the scientific potential of a sample of galaxies which, so far, has been mainly considered as a contaminant in H$\alpha$ galaxy surveys. Our findings indicate that planned H$\alpha$ surveys should include the extraction of these oxygen-line samples in their pipeline, to enhance their scientific impact on cosmology.


title: On the possibility of GW190425 being a black hole--neutron star binary merger

abstract: We argue that the kilonova/macronova associated with the gravitational-wave event GW190425 could have been bright enough to be detected if it was caused by the merger of a low-mass black hole and a neutron star. Although tidal disruption occurs for such a low-mass black hole as is generally expected, the masses of the dynamical ejecta are limited to <~10^{-3}M_sun, which is consistent with previous work in the literature. The remnant disk could be as massive as 0.05--0.1M_sun, and the disk outflow of ~0.01--0.03M_sun is likely to be driven by viscous or magnetohydrodynamic effects. The disk outflow may not be neutron-rich enough to synthesize an abundance of lanthanide elements, even in the absence of strong neutrino emitter, if the ejection is driven on the viscous time scale of >~0.3s. If this is the case, the opacity of the disk outflow is kept moderate, and a kilonova/macronova at the distance of GW190425 reaches a detectable brightness of 20--21mag at 1day after merger for most viewing angles. If some disk activity ejects the mass within ~0.1s, instead, lanthanide-rich outflows would be launched and the detection of emission becomes challenging. Future possible detections of kilonovae/macronovae from GW190425-like systems will disfavor the prompt collapse of binary neutron stars and a non-disruptive low-mass black hole--neutron star binary associated with a small neutron-star radius, whose mass ejection is negligible. The host-galaxy distance will constrain the viewing angle and deliver further information about the mass ejection.