title: Coherence scale of magnetic fields generated in early-time forward shocks of GRBs

abstract: We report the earliest-ever detection of optical polarization from a GRB forward shock (GRB 141220A), measured $129.5-204.3\,$s after the burst using the multi-colour RINGO3 optical polarimeter on the 2-m fully autonomous robotic Liverpool Telescope. The temporal decay gradient of the optical light curves from $86\,$s to $\sim 2200\,$s post-burst is typical of classical forward shocks with $\alpha = 1.091 \pm 0.008$. The low optical polarization $P_{BV} = 2.8_{- 1.6} ^{+ 2.0} \, \%$ (2$\sigma$) at mean time $\sim 168\,$s post-burst is compatible with being induced by the host galaxy dust ($A_{V, {\rm HG}}= 0.71 \pm 0.15 \,$mag), leaving low polarization intrinsic to the GRB emission itself -- as theoretically predicted for forward shocks and consistent with previous detections of low degrees of optical polarization in GRB afterglows observed hours to days after the burst. The current sample of early-time polarization data from forward shocks suggests polarization from (a) the Galactic and host galaxy dust properties (i.e. $P \sim 1\%-3\%$), (b) contribution from a polarized reverse shock (GRB deceleration time, jet magnetization) or (c) forward shock intrinsic polarization (i.e. $P \leq 2\%$), which depends on the magnetic field coherence length scale and the size of the observable emitting region (burst energetics, circumburst density).


title: Moving beyond the transmon: Noise-protected superconducting quantum circuits

abstract: Artificial atoms realized by superconducting circuits offer unique opportunities to store and process quantum information with high fidelity. Among them, implementations of circuits that harness intrinsic noise protection have been rapidly developed in recent years. These noise-protected devices constitute a new class of qubits in which the computational states are largely decoupled from local noise channels. The main challenges in engineering such systems are simultaneously guarding against both bit- and phase-flip errors, and also ensuring high-fidelity qubit control. Although partial noise protection is possible in superconducting circuits relying on a single quantum degree of freedom, the promise of complete protection can only be fulfilled by implementing multimode or hybrid circuits. This Perspective reviews the theoretical principles at the heart of these new qubits, describes recent experiments, and highlights the potential of robust encoding of quantum information in superconducting qubits.


title: Modes of a stellar system II: non-ergodic systems

abstract: An equation is derived for the energy of a small disturbance in a system that is generated by a distribution function (DF) of the form $f(\vJ)$ -- most galaxies and star clusters can be closely approximated by such a DF. The theory of van Kampen modes is extended to such general systems. An inner product on the space of DFs is defined such that the energy of a disturbance is its norm under this product. It is shown that van Kampen modes that differ in frequency are then orthogonal, with the consequence that the energies of van Kampen modes are additive. Consequently, most of the insight into the dynamics of ergodic systems that was gained in a recent paper on the van Kampen modes of ergodic systems applies to real clusters and galaxies.


title: Molecular line signatures of cloud-cloud collisions

abstract: Collisions between interstellar gas clouds are potentially an important mechanism for triggering star formation. This is because they are able to rapidly generate large masses of dense gas. Observationally, cloud collisions are often identified in position-velocity (PV) space through bridging features between intensity peaks, usually of CO emission. Using a combination of hydrodynamical simulations, time-dependent chemistry, and radiative transfer, we produce synthetic molecular line observations of overlapping clouds that are genuinely colliding, and overlapping clouds that are just chance superpositions. Molecules tracing denser material than CO, such as NH$_3$ and HCN, reach peak intensity ratios of $0.5$ and $0.2$ with respect to CO in the `bridging feature' region of PV space for genuinely colliding clouds. For overlapping clouds that are just chance superpositions, the peak NH$_3$ and HCN intensities are co-located with the CO intensity peaks. This represents a way of confirming cloud collisions observationally, and distinguishing them from chance alignments of unrelated material.


title: The photon PDF within the CT18 global analysis

abstract: Building upon the most recent CT18 global fit, we present a new calculation of the photon content of the proton based on an application of the LUX formalism. In this work, we explore two principal variations of the LUX ansatz. In one approach, which we designate "CT18lux," the photon PDF is calculated directly using the LUX formula for all scales, $\mu$. In an alternative realization, "CT18qed," we instead initialize the photon PDF in terms of the LUX formulation at a lower scale, $\mu\! \sim\! \mu_0$, and evolve to higher scales with a combined QED+QCD kernel at $\mathcal{O}(\alpha),~\mathcal{O}(\alpha\alpha_s)$ and $\mathcal{O}(\alpha^2)$. While we find these two approaches generally agree, especially at intermediate $x$ ($10^{-3}\lesssim x\lesssim0.3$), we discuss some moderate discrepancies that can occur toward the end-point regions at very high or low $x$. We also study effects that follow from variations of the inputs to the LUX calculation originating outside the pure deeply-inelastic scattering (DIS) region, including from elastic form factors and other contributions to the photon PDF. Finally, we investigate the phenomenological implications of these photon PDFs for the LHC, including high-mass Drell-Yan, vector-boson pair, top-quark pair, and Higgs associated with vector-boson production.


title: Group theoretic approach to many-body scar states in fermionic lattice models

abstract: It has been shown [arXiv:2007.00845] that three families of highly symmetric states are many-body scars for any spin-1/2 fermionic Hamiltonian of the form $H_0+OT$, where $T$ is a generator of an appropriate Lie group. One of these families consists of the well-known $\eta$-pairing states. In addition to having the usual properties of scars, these families of states are insensitive to electromagnetic noise and have advantages for storing and processing quantum information. In this paper we show that a number of well-known coupling terms, such as the Hubbard and the Heisenberg interactions, and the Hamiltonians containing them, are of the required form and support these states as scars without fine-tuning. The explicit $H_0+OT$ decomposition for a number of most commonly used models, including topological ones, is provided. To facilitate possible experimental implementations, we discuss the conditions for the low-energy subspace of these models to be comprised solely of scars. Further, we write down all the generators $T$ that can be used as building blocks for designing new models with scars, most interestingly including the spin-orbit coupled hopping and superconducting pairing terms. We expand this framework to the non-Hermitian open systems and demonstrate that for them the scar subspace continues to undergo coherent time evolution and exhibit the "revivals". A full numerical study of an extended 2D $tJU$ model explicitly illustrates the novel properties of the invariant scars and supports our findings.


title: Diameter mean equicontinuity and cellular automata

abstract: Mean and diam-mean equicontinuity are dynamical properties that have been of use in the study of non-periodic order. We show that the Pacman automaton is not almost diam-mean equicontinuous (it is already known that it is almost mean equicontinuous).


title: Dependency Structure Misspecification in Multi-Source Weak Supervision Models

abstract: Data programming (DP) has proven to be an attractive alternative to costly hand-labeling of data. In DP, users encode domain knowledge into \emph{labeling functions} (LF), heuristics that label a subset of the data noisily and may have complex dependencies. A label model is then fit to the LFs to produce an estimate of the unknown class label. The effects of label model misspecification on test set performance of a downstream classifier are understudied. This presents a serious awareness gap to practitioners, in particular since the dependency structure among LFs is frequently ignored in field applications of DP. We analyse modeling errors due to structure over-specification. We derive novel theoretical bounds on the modeling error and empirically show that this error can be substantial, even when modeling a seemingly sensible structure.


title: Inflationary attractors from a non-canonical kinetic term

abstract: We show explicitly how the T-model, E-model, and Hilltop inflations are obtained from the inflation models with a non-canonical kinetic term and an arbitrary potential. By this method, any attractor of observables $n_s$ and $r$ is possible. The presence of attractors poses a challenge to differentiate inflation models.


title: Fast galaxy bars continue to challenge standard cosmology

abstract: Many observed disc galaxies harbour a central bar. In the standard cosmological paradigm, galactic bars should be slowed down by dynamical friction from the dark matter halo. This friction depends on the galaxy's physical properties in a complex way, making it impossible to formulate analytically. Fortunately, cosmological hydrodynamical simulations provide an excellent statistical population of galaxies, letting us quantify how simulated galactic bars evolve within dark matter haloes. We measure bar strengths, lengths, and pattern speeds in barred galaxies in state-of-the-art cosmological hydrodynamical simulations of the IllustrisTNG and EAGLE projects, using techniques similar to those used observationally. We then compare our results with the largest available observational sample at redshift $z=0$. We show that the tension between these simulations and observations in the ratio of corotation radius to bar length is $12.62\sigma$ (TNG50), $13.56\sigma$ (TNG100), $2.94\sigma$ (EAGLE50), and $9.69\sigma$ (EAGLE100), revealing for the first time that the significant tension reported previously persists in the recently released TNG50. The lower statistical tension in EAGLE50 is actually caused by it only having 5 galaxies suitable for our analysis, but all four simulations give similar statistics for the bar pattern speed distribution. In addition, the fraction of disc galaxies with bars is similar between TNG50 and TNG100, though somewhat above EAGLE100. The simulated bar fraction and its trend with stellar mass both differ greatly from observations. These dramatic disagreements cast serious doubt on whether galaxies actually have massive cold dark matter haloes, with their associated dynamical friction acting on galactic bars.


title: Multi-Task Learning for User Engagement and Adoption in Live Video Streaming Events

abstract: Nowadays, live video streaming events have become a mainstay in viewer's communication in large international enterprises. Provided that viewers are distributed worldwide, the main challenge resides on how to schedule the optimal event's time so as to improve both the viewer's engagement and adoption. In this paper we present a multi-task deep reinforcement learning model to select the time of a live video streaming event, aiming to optimize the viewer's engagement and adoption at the same time. We consider the engagement and adoption of the viewers as independent tasks and formulate a unified loss function to learn a common policy. In addition, we account for the fact that each task might have different contribution to the training strategy of the agent. Therefore, to determine the contribution of each task to the agent's training, we design a Transformer's architecture for the state-action transitions of each task. We evaluate our proposed model on four real-world datasets, generated by the live video streaming events of four large enterprises spanning from January 2019 until March 2021. Our experiments demonstrate the effectiveness of the proposed model when compared with several state-of-the-art strategies. For reproduction purposes, our evaluation datasets and implementation are publicly available at https://github.com/stefanosantaris/merlin.


title: An Automated Global Method for Extraction of Distance Distributions from Electron Spin Resonance Pulsed Dipolar Signals

abstract: Electron spin resonance (ESR) pulsed dipolar spectroscopy (PDS) is used effectively in measuring nano-meter range distances for protein structure prediction. The current global approach in extracting the distance distribution from time domain PDS signal has multiple limitations. We present a parameter free global method, which is more efficacious and less sensitive to signal noise compared to the current method.


title: Deep Learning Based MAC via Joint Channel Access and Rate Adaptation

abstract: The existing medium access control (MAC) protocol of Wi-Fi networks (i.e., carrier-sense multiple access with collision avoidance (CSMA/CA)) suffers from poor performance in dense deployments due to the increasing number of collisions and long average backoff time in such scenarios. To tackle this issue, we propose an intelligent wireless MAC protocol based on deep learning (DL), referred to as DL-MAC, which significantly improves the spectrum efficiency of Wi-Fi networks. The goal of DL-MAC is to enable not only intelligent channel access but also intelligent rate adaptation. To achieve this goal, we design a deep neural network (DNN) that takes the historical received signal strength indications (RSSIs) as inputs and outputs joint channel access and rate adaptation decision. Notably, the proposed DL-MAC takes the constraints of practical applications into account and the DL-MAC is evaluated using the real wireless data sampled from the actual environments on the 2.4GHz frequency band. The experimental results show that our DL-MAC can achieve around 86\% performance of the global optimal MAC, and around the double performance of the traditional Wi-Fi MAC in the environments of our lab and the Shenzhen Baoan International Airport departure hall.


title: Simple Complex Tori of Algebraic Dimension 0

abstract: Using Galois theory, we construct explicitly (in all complex dimensions >1) an infinite family of simple complex tori of algebraic dimension 0 with Picard number 0.


title: Towards Single Stage Weakly Supervised Semantic Segmentation

abstract: The costly process of obtaining semantic segmentation labels has driven research towards weakly supervised semantic segmentation (WSSS) methods, using only image-level, point, or box labels. The lack of dense scene representation requires methods to increase complexity to obtain additional semantic information about the scene, often done through multiple stages of training and refinement. Current state-of-the-art (SOTA) models leverage image-level labels to produce class activation maps (CAMs) which go through multiple stages of refinement before they are thresholded to make pseudo-masks for supervision. The multi-stage approach is computationally expensive, and dependency on image-level labels for CAMs generation lacks generalizability to more complex scenes. In contrary, our method offers a single-stage approach generalizable to arbitrary dataset, that is trainable from scratch, without any dependency on pre-trained backbones, classification, or separate refinement tasks. We utilize point annotations to generate reliable, on-the-fly pseudo-masks through refined and filtered features. While our method requires point annotations that are only slightly more expensive than image-level annotations, we are to demonstrate SOTA performance on benchmark datasets (PascalVOC 2012), as well as significantly outperform other SOTA WSSS methods on recent real-world datasets (CRAID, CityPersons, IAD).


title: Verifying Safe Transitions between Dynamic Motion Primitives on Legged Robots

abstract: Functional autonomous systems often realize complex tasks by utilizing state machines comprised of discrete primitive behaviors and transitions between these behaviors. This architecture has been widely studied in the context of quasi-static and dynamics-independent systems. However, applications of this concept to dynamical systems are relatively sparse, despite extensive research on individual dynamic primitive behaviors, which we refer to as "motion primitives." This paper formalizes a process to determine dynamic-state aware conditions for transitions between motion primitives in the context of safety. The result is framed as a "motion primitive graph" that can be traversed by standard graph search and planning algorithms to realize functional autonomy. To demonstrate this framework, dynamic motion primitives -- including standing up, walking, and jumping -- and the transitions between these behaviors are experimentally realized on a quadrupedal robot.


title: Universal Rate-Distortion-Perception Representations for Lossy Compression

abstract: In the context of lossy compression, Blau & Michaeli (2019) adopt a mathematical notion of perceptual quality and define the information rate-distortion-perception function, generalizing the classical rate-distortion tradeoff. We consider the notion of universal representations in which one may fix an encoder and vary the decoder to achieve any point within a collection of distortion and perception constraints. We prove that the corresponding information-theoretic universal rate-distortion-perception function is operationally achievable in an approximate sense. Under MSE distortion, we show that the entire distortion-perception tradeoff of a Gaussian source can be achieved by a single encoder of the same rate asymptotically. We then characterize the achievable distortion-perception region for a fixed representation in the case of arbitrary distributions, identify conditions under which the aforementioned results continue to hold approximately, and study the case when the rate is not fixed in advance. This motivates the study of practical constructions that are approximately universal across the RDP tradeoff, thereby alleviating the need to design a new encoder for each objective. We provide experimental results on MNIST and SVHN suggesting that on image compression tasks, the operational tradeoffs achieved by machine learning models with a fixed encoder suffer only a small penalty when compared to their variable encoder counterparts.


title: Weighted fractional generalized cumulative past entropy and its properties

abstract: In this paper, we introduce weighted fractional generalized cumulative past entropy of a nonnegative absolutely continuous random variable with bounded support. Various properties of the proposed weighted fractional measure are studied. Bounds and stochastic orderings are derived. A connection between the proposed measure and the left-sided Riemann-Liouville fractional integral is established. Further, the proposed measure is studied for the proportional reversed hazard rate models. Next, a nonparametric estimator of the weighted fractional generalized cumulative past entropy is suggested based on empirical distribution function. Various examples with a real life data set are considered for the illustration purposes. Finally, large sample properties of the proposed empirical estimator are studied.


title: Identifying Mitigation Strategies for COVID-19 Superspreading on Flights using Models that Account for Passenger Movement

abstract: Despite commercial airlines mandating masks, there have been multiple documented events of COVID-19 superspreading on flights. We used available data from three flights, including cabin layout and seat locations of infected and uninfected passengers, to suggest interventions to mitigate COVID-19 superspreading events during air travel. Specifically, we studied: 1) London to Hanoi with 201 passengers, including 13 secondary infections among passengers; 2) Singapore to Hangzhou with 321 passengers, including 12 to 14 secondary infections; 3) a non-superspreading event on a private jet in Japan with 9 passengers and no secondary infections. We show that inclusion of passenger movement better explains the infection spread patterns than conventional models do. We also found that FFP2/N95 mask usage would have reduced infection by 95-100%, while cloth masks would have reduced it by only 40-80%. This suggests the need for more stringent guidelines to reduce aviation-related superspreading events of COVID-19.


title: Differentiable Particle Filtering without Modifying the Forward Pass

abstract: Particle filters are not compatible with automatic differentiation due to the presence of discrete resampling steps. While known estimators for the score function, based on Fisher's identity, can be computed using particle filters, up to this point they required manual implementation. In this paper we show that such estimators can be computed using automatic differentiation, after introducing a simple correction to the particle weights. This correction utilizes the stop-gradient operator and does not modify the particle filter operation on the forward pass, while also being cheap and easy to compute. Surprisingly, with the same correction automatic differentiation also produces good estimators for gradients of expectations under the posterior. We can therefore regard our method as a general recipe for making particle filters differentiable. We additionally show that it produces desired estimators for second-order derivatives and how to extend it to further reduce variance at the expense of additional computation.


title: Configuration spaces of hard spheres

abstract: Hard sphere systems are often used to model simple fluids. The configuration spaces of hard spheres in a three-dimensional torus modulo various symmetry groups are comparatively simple, and could provide valuable information about the nature of phase transitions. Specifically, the topological changes in the configuration space as a function of packing fraction have been conjectured to be related to the onset of first-order phase transitions. The critical configurations for one to twelve spheres are sampled using a Morse-theoretic approach, and are available in an online, interactive database. Explicit triangulations are constructed for the configuration spaces of the two sphere system, and their topological and geometric properties are studied. The critical configurations are found to be associated with geometric changes to the configuration space that connect previously distant regions and reduce the configuration space diameter as measured by the commute time and diffusion distances. The number of such critical configurations around the packing fraction of the solid-liquid phase transition increases exponentially with the number of spheres, suggesting that the onset of the first-order phase transition in the thermodynamic limit is associated with a discontinuity in the configuration space diameter.


title: Proper Value Equivalence

abstract: One of the main challenges in model-based reinforcement learning (RL) is to decide which aspects of the environment should be modeled. The value-equivalence (VE) principle proposes a simple answer to this question: a model should capture the aspects of the environment that are relevant for value-based planning. Technically, VE distinguishes models based on a set of policies and a set of functions: a model is said to be VE to the environment if the Bellman operators it induces for the policies yield the correct result when applied to the functions. As the number of policies and functions increase, the set of VE models shrinks, eventually collapsing to a single point corresponding to a perfect model. A fundamental question underlying the VE principle is thus how to select the smallest sets of policies and functions that are sufficient for planning. In this paper we take an important step towards answering this question. We start by generalizing the concept of VE to order-$k$ counterparts defined with respect to $k$ applications of the Bellman operator. This leads to a family of VE classes that increase in size as $k \rightarrow \infty$. In the limit, all functions become value functions, and we have a special instantiation of VE which we call proper VE or simply PVE. Unlike VE, the PVE class may contain multiple models even in the limit when all value functions are used. Crucially, all these models are sufficient for planning, meaning that they will yield an optimal policy despite the fact that they may ignore many aspects of the environment. We construct a loss function for learning PVE models and argue that popular algorithms such as MuZero can be understood as minimizing an upper bound for this loss. We leverage this connection to propose a modification to MuZero and show that it can lead to improved performance in practice.


title: Large perpendicular magnetic anisotropy in Ta/CoFeB/MgO on full coverage monolayer MoS2 and first principle study of its electronic structure

abstract: Perpendicularly magnetized spin injector with high Curie temperature is a prerequisite for developing spin optoelectronic devices on 2D materials working at room temperature (RT) with zero applied magnetic field. Here, we report the growth of Ta/CoFeB/MgO structures with a large perpendicular magnetic anisotropy (PMA) on full coverage monolayer (ML) MoS2. A large perpendicular interface anisotropy energy of 0.975mJ/m2 has been obtained at the CoFeB/MgO interface, comparable to that observed in magnetic tunnel junction systems. It is found that the insertion of MgO between the ferromagnetic metal (FM) and the 2D material can effectively prevent the diffusion of the FM atoms into the 2D material. Moreover, the MoS2 ML favors a MgO(001) texture and plays a critical role to establish the large PMA. First principle calculations on a similar Fe/MgO/MoS2 structure reveal that the MgO thickness can modify the MoS2 band structure, from an indirect bandgap with 7ML-MgO to a direct bandgap with 3ML-MgO. Proximity effect induced by Fe results in a splitting of 10meV in the valence band at the {\Gamma} point for the 3ML-MgO structure while it is negligible for the 7ML-MgO structure. These results pave the way to develop RT spin optoelectronic devices on 2D transition-metal dichalcogenide materials.


title: Sample Efficient Social Navigation Using Inverse Reinforcement Learning

abstract: In this paper, we present an algorithm to efficiently learn socially-compliant navigation policies from observations of human trajectories. As mobile robots come to inhabit and traffic social spaces, they must account for social cues and behave in a socially compliant manner. We focus on learning such cues from examples. We describe an inverse reinforcement learning based algorithm which learns from human trajectory observations without knowing their specific actions. We increase the sample-efficiency of our approach over alternative methods by leveraging the notion of a replay buffer (found in many off-policy reinforcement learning methods) to eliminate the additional sample complexity associated with inverse reinforcement learning. We evaluate our method by training agents using publicly available pedestrian motion data sets and compare it to related methods. We show that our approach yields better performance while also decreasing training time and sample complexity.


title: A system of vision sensor based deep neural networks for complex driving scene analysis in support of crash risk assessment and prevention

abstract: To assist human drivers and autonomous vehicles in assessing crash risks, driving scene analysis using dash cameras on vehicles and deep learning algorithms is of paramount importance. Although these technologies are increasingly available, driving scene analysis for this purpose still remains a challenge. This is mainly due to the lack of annotated large image datasets for analyzing crash risk indicators and crash likelihood, and the lack of an effective method to extract lots of required information from complex driving scenes. To fill the gap, this paper develops a scene analysis system. The Multi-Net of the system includes two multi-task neural networks that perform scene classification to provide four labels for each scene. The DeepLab v3 and YOLO v3 are combined by the system to detect and locate risky pedestrians and the nearest vehicles. All identified information can provide the situational awareness to autonomous vehicles or human drivers for identifying crash risks from the surrounding traffic. To address the scarcity of annotated image datasets for studying traffic crashes, two completely new datasets have been developed by this paper and made available to the public, which were proved to be effective in training the proposed deep neural networks. The paper further evaluates the performance of the Multi-Net and the efficiency of the developed system. Comprehensive scene analysis is further illustrated with representative examples. Results demonstrate the effectiveness of the developed system and datasets for driving scene analysis, and their supportiveness for crash risk assessment and crash prevention.


title: Asymptotic distribution of odd-balanced unimodal sequences with rank congruent to a mod c

abstract: We compute an asymptotic estimate for odd balanced unimodal sequences for ranks congruent to $a \pmod{c}$ for $c\neq 1$ odd. We find the interesting result that the odd balanced unimodal sequences are asymptotically related to the overpartition function. This is in contrast to strongly unimodal sequences which, are asymptotically related to the partition function.


title: Beating the Folklore Algorithm for Dynamic Matching

abstract: The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore algorithm, which maintains a maximal (and hence $2$-approximate) matching in $O(n)$ worst-case update time in $n$-node graphs. We present the first deterministic algorithm which outperforms the folklore algorithm in terms of {\em both} approximation ratio and worst-case update time. Specifically, we give a $(2-\Omega(1))$-approximate algorithm with $O(m^{3/8})=O(n^{3/4})$ worst-case update time in $n$-node, $m$-edge graphs. For sufficiently small constant $\epsilon>0$, no deterministic $(2+\epsilon)$-approximate algorithm with worst-case update time $O(n^{0.99})$ was known. Our second result is the first deterministic $(2+\epsilon)$-approximate weighted matching algorithm with $O_\epsilon(1)\cdot O(\sqrt[4]{m}) = O_\epsilon(1)\cdot O(\sqrt{n})$ worst-case update time. Our main technical contributions are threefold: first, we characterize the tight cases for \emph{kernels}, which are the well-studied matching sparsifiers underlying much of the $(2+\epsilon)$-approximate dynamic matching literature. This characterization, together with multiple ideas -- old and new -- underlies our result for breaking the approximation barrier of $2$. Our second technical contribution is the first example of a dynamic matching algorithm whose running time is improved due to improving the \emph{recourse} of other dynamic matching algorithms. Finally, we show how to use dynamic bipartite matching algorithms as black-box subroutines for dynamic matching in general graphs without incurring the natural $\frac{3}{2}$ factor in the approximation ratio which such approaches naturally incur.


title: Global existence and asymptotic behavior for semilinear damped wave equations on measure spaces

abstract: This paper is concerned with the semilinear damped wave equation on a measure space with a self-adjoint operator, instead of the standard Laplace operator. Under a certain decay estimate on the corresponding heat semigroup, we establish the linear estimates which generalize the so-called Matsumura estimates, and prove the small data global existence of solutions to the damped wave equation based on the linear estimates. Our approach is based on a direct spectral analysis analogous to the Fourier analysis. The self-adjoint operators treated in this paper include some important examples such as the Laplace operators on Euclidean spaces, the Dirichlet Laplacian on an arbitrary open set, the Robin Laplacian on an exterior domain, the Schr\"odinger operator, the elliptic operator, the Laplacian on Sierpinski gasket, and the fractional Laplacian.


title: Quantitative Russo-Seymour-Welsh for random walk on random graphs and decorrelation of UST

abstract: We prove a quantitative Russo-Seymour-Welsh (RSW) type result for random walks on two natural examples of random planar graphs: the supercritical percolation cluster in the square lattice and the Poisson Voronoi triangulation in the plane. More precisely, we prove that the probability that a simple random walk crosses a rectangle in the hard direction with uniformly positive probability is stretched exponentially likely in the size of the rectangle. As an application we prove a near optimal decorrelation result for uniform spanning trees for such graphs. This is the key missing step in this setup while applying of the proof stretegy of a previous article on universality of dimers ("Dimers and imaginary geometry." Ann. Probab. 48 (1) 1 - 52) where random walk RSW was assumed to hold with probability 1. Applications to almost sure Gaussian free field scaling limit for dimers on Temperleyan type modification on such graphs are also discussed.


title: Group-Structured Adversarial Training

abstract: Robust training methods against perturbations to the input data have received great attention in the machine learning literature. A standard approach in this direction is adversarial training which learns a model using adversarially-perturbed training samples. However, adversarial training performs suboptimally against perturbations structured across samples such as universal and group-sparse shifts that are commonly present in biological data such as gene expression levels of different tissues. In this work, we seek to close this optimality gap and introduce Group-Structured Adversarial Training (GSAT) which learns a model robust to perturbations structured across samples. We formulate GSAT as a non-convex concave minimax optimization problem which minimizes a group-structured optimal transport cost. Specifically, we focus on the applications of GSAT for group-sparse and rank-constrained perturbations modeled using group and nuclear norm penalties. In order to solve GSAT's non-smooth optimization problem in those cases, we propose a new minimax optimization algorithm called GDADMM by combining Gradient Descent Ascent (GDA) and Alternating Direction Method of Multipliers (ADMM). We present several applications of the GSAT framework to gain robustness against structured perturbations for image recognition and computational biology datasets.


title: Magnetic transitions in the 1-D chain compounds NdPd5Ge3 and NdPt5Ge3

abstract: We present the structural and initial magnetic characterization of the previously unreported materials NdPd5Ge3 and NdPd5Ge3. These materials, with 1-dimensional Nd chains, crystallize in the orthorhombic YNi5Si3-type structure in space group Pnma. Magnetic ordering is observed for both compounds at ~ 2.2 K for NdPd5Ge3 and ~ 3.0 K for NdPt5Ge3. A magnetic-field-induced transition is clearly observed for NdPd5Ge3 below 2K, at an applied magnetic field of around 1.6 Tesla. The heat capacity data reveals that essentially all the available magnetic entropy is released at the magnetic ordering transition for NdPd5Ge3 but that only 29% is seen for NdPt5Ge3 at temperatures down to 1.5 K, the data implying that a second magnetic transition can be expected at lower temperatures.


title: Single electrons on solid neon as a solid-state qubit platform

abstract: Progress toward the realization of quantum computers requires persistent advances in their constituent building blocks - qubits. Novel qubit platforms that simultaneously embody long coherence, fast operation, and large scalability offer compelling advantages in the construction of quantum computers and many other quantum information systems. Electrons, ubiquitous elementary particles of nonzero charge, spin, and mass, have commonly been perceived as paradigmatic local quantum information carriers. Despite superior controllability and configurability, their practical performance as qubits via either motional or spin states depends critically on their material environment. Here we report our experimental realization of a new qubit platform based upon isolated single electrons trapped on an ultraclean solid neon surface in vacuum. By integrating an electron trap in a circuit quantum electrodynamics architecture, we achieve strong coupling between the motional states of a single electron and a single microwave photon in an on-chip superconducting resonator. Qubit gate operations and dispersive readout are implemented to measure the energy relaxation time $T_1$ of $15~\mu$s and phase coherence time $T_2$ over $200~$ns. These results indicate that the electron-on-solid-neon qubit already performs near the state of the art as a charge qubit.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Are We Entering a Paradigm Shift for Dark Matter?

abstract: While the LCDM framework has been incredibly successful for modern cosmology, it requires the admission of two mysterious substances as a part of the paradigm, dark energy and dark matter. Although this framework adequately explains most of the large-scale properties of the Universe (i.e., existence and structure of the CMB, the large-scale structure of galaxies, the abundances of light elements and the accelerating expansion), it has failed to make significant predictions on smaller scale features such as the kinematics of galaxies and their formation. In particular, the rotation curves of disk galaxies (the original observational discovery of dark matter) are better represented by non-Newtonian models of gravity that challenge our understanding of motion in the low acceleration realm (much as general relativity provided an extension of gravity into the high acceleration realm e.g., blackholes). The tension between current cold dark matter scenarios and proposed new formulations of gravity in the low energy regime suggests an upcoming paradigm shift in cosmology. And, if history is a guide, observations will lead the way.


abstract: Language models can generate harmful and biased outputs and exhibit undesirable behavior according to a given cultural context. We propose a Process for Adapting Language Models to Society (PALMS) with Values-Targeted Datasets, an iterative process to significantly change model behavior by crafting and fine-tuning on a dataset that reflects a predetermined set of target values. We evaluate our process using three metrics: quantitative metrics with human evaluations that score output adherence to a target value, toxicity scoring on outputs; and qualitative metrics analyzing the most common word associated with a given social category. Through each iteration, we add additional training dataset examples based on observed shortcomings from evaluations. PALMS performs significantly better on all metrics compared to baseline and control models for a broad range of GPT-3 language model sizes without compromising capability integrity. We find that the effectiveness of PALMS increases with model size. We show that significantly adjusting language model behavior is feasible with a small, hand-curated dataset.


title: Binary Optimal Control Of Single-Flux-Quantum Pulse Sequences

abstract: We introduce a binary, relaxed gradient, trust-region method for optimizing pulse sequences for single flux quanta (SFQ) control of a quantum computer. The pulse sequences are optimized with the goal of realizing unitary gate transformations. Each pulse has a fixed amplitude and duration. We model this process as an binary optimal control problem, constrained by Schr\"{o}dinger's equation, where the binary variables indicate whether each pulse is on or off. We introduce a first-order trust-region method, which takes advantage of a relaxed gradient to determine an optimal pulse sequence that minimizes the gate infidelity, while also suppressing leakage to higher energy levels. The proposed algorithm has a computational complexity of ${\cal O}(p\log(p)$, where $p$ is the number of pulses in the sequence. We present numerical results for the H and X gates, where the optimized pulse sequences give gate fidelity's better than $99.9\%$, in $\approx 25$ trust-region iterations.


title: Crystal Structure, Magnetic Properties and Bonding Analysis of M3Pt23Ge11 (M=Ca, Sr, Ba and Eu)

abstract: The properties of Pt-based materials can be intriguing due to the importance of spin-orbit coupling for Pt. Herein, we report four new phases with formulas M3Pt23Ge11 (M = Ca, Sr, Ba and Eu), which adopt the same structure type as Ce3Pt23Si11. Magnetic susceptibility measurements indicate that none of the phases is superconducting above 1.8 K, while for Eu3Pt23Ge11 ferromagnetic ordering is observed at ~ 3 K. The low Curie temperature for that material compared to that of Eu3Pt23Si11 may be due to its larger Eu-Eu distance. One potential factor that destabilizes the structure of other rare-earth based M3Pt23Ge11 is demonstrated through COHP calculations.


title: Exoskeleton-Based Multimodal Action and Movement Recognition: Identifying and Developing the Optimal Boosted Learning Approach

abstract: This paper makes two scientific contributions to the field of exoskeleton-based action and movement recognition. First, it presents a novel machine learning and pattern recognition-based framework that can detect a wide range of actions and movements - walking, walking upstairs, walking downstairs, sitting, standing, lying, stand to sit, sit to stand, sit to lie, lie to sit, stand to lie, and lie to stand, with an overall accuracy of 82.63%. Second, it presents a comprehensive comparative study of different learning approaches - Random Forest, Artificial Neural Network, Decision Tree, Multiway Decision Tree, Support Vector Machine, k-NN, Gradient Boosted Trees, Decision Stump, AutoMLP, Linear Regression, Vector Linear Regression, Random Tree, Na\"ive Bayes, Na\"ive Bayes (Kernel), Linear Discriminant Analysis, Quadratic Discriminant Analysis, and Deep Learning applied to this framework. The performance of each of these learning approaches was boosted by using the AdaBoost algorithm, and the Cross Validation approach was used for training and testing. The results show that in boosted form, the k-NN classifier outperforms all the other boosted learning approaches and is, therefore, the optimal learning method for this purpose. The results presented and discussed uphold the importance of this work to contribute towards augmenting the abilities of exoskeleton-based assisted and independent living of the elderly in the future of Internet of Things-based living environments, such as Smart Homes. As a specific use case, we also discuss how the findings of our work are relevant for augmenting the capabilities of the Hybrid Assistive Limb exoskeleton, a highly functional lower limb exoskeleton.


title: Exceptional loci in Lefschetz theory

abstract: Let $\phi:X\rightarrow \mathbb{P}^n$ be a morphism of varieties. Given a hyperplane $H$ in $\mathbb{P}^n$, there is a Gysin map from the compactly supported cohomology of $\phi^{-1}(H)$ to that of $X$. We give conditions on the degree of the cohomology under which this map is an isomorphism for all but a low-dimensional set of hyperplanes, generalizing results due to Skorobogatov, Benoist, and Poonen-Slavov. Our argument is based on Beilinson's theory of singular supports for \'etale sheaves.


title: Non-parametric Differentially Private Confidence Intervals for the Median

abstract: Differential privacy is a restriction on data processing algorithms that provides strong confidentiality guarantees for individual records in the data. However, research on proper statistical inference, that is, research on properly quantifying the uncertainty of the (noisy) sample estimate regarding the true value in the population, is currently still limited. This paper proposes and evaluates several strategies to compute valid differentially private confidence intervals for the median. Instead of computing a differentially private point estimate and deriving its uncertainty, we directly estimate the interval bounds and discuss why this approach is superior if ensuring privacy is important. We also illustrate that addressing both sources of uncertainty--the error from sampling and the error from protecting the output--simultaneously should be preferred over simpler approaches that incorporate the uncertainty in a sequential fashion. We evaluate the performance of the different algorithms under various parameter settings in extensive simulation studies and demonstrate how the findings could be applied in practical settings using data from the 1940 Decennial Census.


title: AutoTune: Improving End-to-end Performance and Resource Efficiency for Microservice Applications

abstract: Most large web-scale applications are now built by composing collections (from a few up to 100s or 1000s) of microservices. Operators need to decide how many resources are allocated to each microservice, and these allocations can have a large impact on application performance. Manually determining allocations that are both cost-efficient and meet performance requirements is challenging, even for experienced operators. In this paper we present AutoTune, an end-to-end tool that automatically minimizes resource utilization while maintaining good application performance.


title: Single View Physical Distance Estimation using Human Pose

abstract: We propose a fully automated system that simultaneously estimates the camera intrinsics, the ground plane, and physical distances between people from a single RGB image or video captured by a camera viewing a 3-D scene from a fixed vantage point. To automate camera calibration and distance estimation, we leverage priors about human pose and develop a novel direct formulation for pose-based auto-calibration and distance estimation, which shows state-of-the-art performance on publicly available datasets. The proposed approach enables existing camera systems to measure physical distances without needing a dedicated calibration process or range sensors, and is applicable to a broad range of use cases such as social distancing and workplace safety. Furthermore, to enable evaluation and drive research in this area, we contribute to the publicly available MEVA dataset with additional distance annotations, resulting in MEVADA -- the first evaluation benchmark in the world for the pose-based auto-calibration and distance estimation problem.


title: Risk-Oriented Design Approach For Forensic-Ready Software Systems

abstract: Digital forensic investigation is a complex and time-consuming activity in response to a cybersecurity incident or cybercrime to answer questions related to it. These typically are what happened, when, where, how, and who is responsible. However, answering them is often very laborious and sometimes outright impossible due to a lack of useable data. The forensic-ready software systems are designed to produce valuable on-point data for use in the investigation with potentially high evidence value. Still, the particular ways to develop these systems are currently not explored. This paper proposes consideration of forensic readiness within security risk management to refine specific requirements on forensic-ready software systems. The idea is to re-evaluate the taken security risk decisions with the aim to provide trustable data when the security measures fail. Additionally, it also considers possible disputes, which the digital evidence can solve. Our proposed approach, risk-oriented forensic-ready design, composes of two parts: (1) process guiding the identification of the requirements in the form of potential evidence sources, and (2) supporting BPMN notation capturing the potential evidence sources and their relationship. Together they are aimed to provide a high-level overview of the forensic-ready requirements within the system. Finally, the approach is demonstrated on an automated valet parking scenario, followed by a discussion regarding its impact and usefulness within the forensic readiness effort.


title: The Kondo Cloud in a 1D Nanowire

abstract: A recent experiment [Nature 579, 210--213 (2020)] probed the extent of the Kondo cloud in 1D by measuring the effect of electrostatic perturbations applied a distance $L$ away from the impurity on $T_K$. We study the Kondo cloud in a model proposed to describe this experimental setup, consisting of a single impurity Anderson model coupled to two semi-infinite 1D leads. In agreement with the experimental results, we find that $T_K$ is strongly affected by perturbations to the lead within the Kondo cloud. We obtain a complementary picture of the Kondo cloud in this system by observing how the Kondo state manifests itself in the local density of states of the leads, which may be observed experimentally via scanning tunneling microscopy. Our results support the existing experimental data and provide detailed predictions for future experiments seeking to characterize the Kondo cloud in this system.


title: Intersectional synergies: untangling irreducible effects of intersecting identities via information decomposition

abstract: The idea of intersectionality has become a frequent topic of discussion both in academic sociology, as well as among popular movements for social justice such as Black Lives Matter, intersectional feminism, and LGBT rights. Intersectionality proposes that an individual's experience of society has aspects that are irreducible to the sum of one's various identities considered individually, but are "greater than the sum of their parts." In this work, we show that the effects of intersectional identities can be statistically observed in empirical data using information theory. We show that, when considering the predictive relationship between various identities categories such as race, sex, and income (as a proxy for class) on outcomes such as health and wellness, robust statistical synergies appear. These synergies show that there are joint-effects of identities on outcomes that are irreducible to any identity considered individually and only appear when specific categories are considered together (for example, there is a large, synergistic effect of race and sex considered jointly on income irreducible to either race or sex). We then show using synthetic data that the current gold-standard method of assessing intersectionalities in data (linear regression with multiplicative interaction coefficients) fails to disambiguate between truly synergistic, greater-than-the-sum-of-their-parts interactions, and redundant interactions. We explore the significance of these two distinct types of interactions in the context of making inferences about intersectional relationships in data and the importance of being able to reliably differentiate the two. Finally, we conclude that information theory, as a model-free framework sensitive to nonlinearities and synergies in data, is a natural method by which to explore the space of higher-order social dynamics.


title: Some Examples of Privacy-preserving Publication and Sharing of COVID-19 Pandemic Data

abstract: A considerable amount of various types of data have been collected during the COVID-19 pandemic, the analysis and interpretation of which have been indispensable for curbing the spread of the disease. As the pandemic moves to an endemic state, the data collected during the pandemic will continue to be rich sources for further studying and understanding the impacts of the pandemic on various aspects of our society. On the other hand, na\"{i}ve release and sharing of the information can be associated with serious privacy concerns. In this study, we use three common but distinct data types collected during the pandemic (case surveillance tabular data, case location data, and contact tracing networks) to illustrate the publication and sharing of granular information and individual-level pandemic data in a privacy-preserving manner. We leverage and build upon the concept of differential privacy to generate and release privacy-preserving data for each data type. We investigate the inferential utility of privacy-preserving information through simulation studies at different levels of privacy guarantees and demonstrate the approaches in real-life data. All the approaches employed in the study are straightforward to apply. Our study generates statistical evidence on the practical feasibility of sharing pandemic data with privacy guarantees and on how to balance the statistical utility of released information during this process.


title: Rough stochastic differential equations

abstract: We build a hybrid theory of rough stochastic analysis which seamlessly combines the advantages of both It\^o's stochastic and Lyons' rough differential equations. This gives a direct and intrinsic understanding of multidimensional diffusion with Brownian noise $(B,\tilde B)$ $$ dY_t(\omega)=b(\omega,t,Y_t(\omega))dt+\sigma(\omega,t,Y_t(\omega))dB_t(\omega)+f({\omega,t},Y_t(\omega))d\tilde B_t \,, $$ in the annealed form, when conditioned on its environmental noise $\tilde B$. This situation arises naturally e.g. in filtering theory, for Feynman--Kac representations of solutions to stochastic partial differential equations, in Lions--Souganidis' theory of pathwise stochastic control, and for McKean--Vlasov stochastic differential equations with common noise. In fact, we establish well-posedness of rough stochastic differential equations, with $\tilde B$ replaced by a genuine rough path. As consequence, the `annealed' process $Y$ is a locally Lipschitz function of its environmental noise in rough path metrics. There is also interest in taking $\tilde B=\tilde B^H$, a fractional Brownian motion which fits our theory for $H>1/3$. Our assumptions for $b,\sigma$ agree with those from It\^o theory, those for $f$ with rough paths theory, including an extension of Davie's critical regularity result for deterministic rough differential equations. A major role in our analysis is played by a new scale of stochastic controlled rough paths spaces, related to a $(L^m,L^n)$-variant of stochastic sewing.


title: Scalable Econometrics on Big Data -- The Logistic Regression on Spark

abstract: Extra-large datasets are becoming increasingly accessible, and computing tools designed to handle huge amount of data efficiently are democratizing rapidly. However, conventional statistical and econometric tools are still lacking fluency when dealing with such large datasets. This paper dives into econometrics on big datasets, specifically focusing on the logistic regression on Spark. We review the robustness of the functions available in Spark to fit logistic regression and introduce a package that we developed in PySpark which returns the statistical summary of the logistic regression, necessary for statistical inference.


title: The Pedagogical Representation of Mass Functions with LEGO and their Origin

abstract: We promote the teaching of mass functions as an integral part of an interdisciplinary science education. Mass functions characterize the frequency distributions of objects with different masses on all cosmic scales. We intend to enhance experiential learning of this concept with a creative LEGO brick experiment for a diverse student audience. To our surprise, the LEGO mass function is not only qualitatively but also quantitatively comparable to mass functions found across the Universe. We also discuss the relation between gravitation and mass distributions as a possible explanation for the continuity of the universal mass function.

categories: physics.ed-ph astro-ph.GA astro-ph.SR physics.pop-ph


title: Time-frequency mapping of two-colour photoemission driven by harmonic radiation

abstract: The use of few-femtosecond, extreme ultraviolet (XUV) pulses, produced by high-order harmonic generation, in combination with few-femtosecond infrared (IR) pulses in pump-probe experiments has great potential to disclose ultrafast dynamics in molecules, nanostructures and solids. A crucial prerequisite is a reliable characterization of the temporal properties of the XUV and IR pulses. Several techniques have been developed. The majority of them applies phase reconstruction algorithms to a photoelectron spectrogram obtained by ionizing an atomic target in a pump-probe fashion. If the ionizing radiation is a single harmonic, all the information is encoded in a two-color two-photon signal called sideband (SB). In this work, we present a simplified model to interpret the time-frequency mapping of the SB signal and we show that the temporal dispersion of the pulses directly maps onto the shape of its spectrogram. Finally, we derive an analytical solution, which allows us to propose a novel procedure to estimate the second-order dispersion of the XUV and IR pulses in real time and with no need for iterative algorithms.


title: The role of temporal cortex in the control of attention

abstract: Attention is an indispensable component of active vision. Contrary to the widely accepted notion that temporal cortex processing primarily focusses on passive object recognition, a series of very recent studies emphasize the role of temporal cortex structures, specifically the superior temporal sulcus (STS) and inferotemporal (IT) cortex, in guiding attention and implementing cognitive programs relevant for behavioral tasks. The goal of this theoretical paper is to advance the hypothesis that the temporal cortex attention network (TAN) entails necessary components to actively participate in attentional control in a flexible task-dependent manner. First, we will briefly discuss the general architecture of the temporal cortex with a focus on the STS and IT cortex of monkeys and their modulation with attention. Then we will review evidence from behavioral and neurophysiological studies that support their guidance of attention in the presence of cognitive control signals. Next, we propose a mechanistic framework for executive control of attention in the temporal cortex. Finally, we summarize the role of temporal cortex in implementing cognitive programs and discuss how they contribute to the dynamic nature of visual attention to ensure flexible behavior.


title: High Relative Degree Control Barrier Functions Under Input Constraints

abstract: This paper presents methodologies for ensuring forward invariance of sublevel sets of constraint functions with high-relative-degree with respect to the system dynamics and in the presence of input constraints. We show that such constraint functions can be converted into special Zeroing Control Barrier Functions (ZCBFs), which, by construction, generate sufficient conditions for rendering the state always inside a sublevel set of the constraint function in the presence of input constraints. We present a general form for one such ZCBF, as well as a special case applicable to a specific class of systems. We conclude with a comparison of system trajectories under the two ZCBFs developed and prior literature, and a case study for an asteroid observation problem using quadratic-program based controllers to enforce the ZCBF condition.


title: Characterization of manifolds of constant curvature by ruled surfaces

abstract: We investigate ruled surfaces in 3d Riemannian manifolds, i.e., surfaces foliated by geodesics. In 3d space forms, we find the striction curve, distribution parameter, and the first and second fundamental forms, from which we obtain the Gaussian and mean curvatures. We also provide model-independent proof for the known fact that extrinsically flat surfaces in space forms are ruled. This proof allows us to identify the necessary and sufficient condition the curvature tensor must satisfy for an extrinsically flat surface in a generic 3d manifold to be ruled. Further, we show that if a 3d manifold has an extrinsically flat surface tangent to any 2d plane and if they are all ruled surfaces, then the manifold is a space form. As an application, we prove that there must exist extrinsically flat surfaces in the Riemannian product of the hyperbolic plane, or sphere, with the reals, and that do not make a constant angle with the real direction.


title: On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control

abstract: Capacity drop is an empirically observed phenomenon in vehicular traffic flow on freeways whereby, after a critical density is reached, a state of congestion sets in, but the freeway does not become decongested again until the density drops well below the critical density. This introduces a hysteresis effect so that it is easier to enter the congested state than to leave it. However, many existing first-order models of traffic flow, particularly those used for control design, ignore capacity drop, leading to suboptimal controllers. In this paper, we consider a cell transmission model of traffic flow that incorporates capacity drop to study the problem of optimal freeway ramp metering. We show that, if capacity drop is ignored in the control design, then the resulting controller, obtained via a convex program, may be significantly suboptimal. We then propose an alternative model predictive controller that accounts for capacity drop via a mixed integer linear program and show that, for sufficiently large rollout horizon, this controller is optimal. We also compare these approaches to a heuristic hand-crafted controller that is viewed as a modification of an integral feedback controller to account for capacity drop. This heuristic controller outperforms the controller that ignores capacity drop but underperforms compared to the proposed alternative model predictive controller. These results suggest that it is generally important to include capacity drop in the controller design process, and we demonstrate this insight on several case studies.


title: Metapopulation models imply non-Poissonian statistics of interevent times

abstract: Interevent times in temporal contact data from humans and animals typically obey heavy-tailed distributions, and this property impacts contagion and other dynamical processes on networks. We theoretically show that distributions of interevent times heavier-tailed than exponential distributions are a consequence of the most basic metapopulation model used in epidemiology and ecology, in which individuals move from a patch to another according to the simple random walk. Our results hold true irrespectively of the network structure and also for more realistic mobility rules such as high-order random walks and the recurrent mobility patterns used for modeling human dynamics.


title: The Perils of Learning Before Optimizing

abstract: Formulating real-world optimization problems often begins with making predictions from historical data (e.g., an optimizer that aims to recommend fast routes relies upon travel-time predictions). Typically, learning the prediction model used to generate the optimization problem and solving that problem are performed in two separate stages. Recent work has showed how such prediction models can be learned end-to-end by differentiating through the optimization task. Such methods often yield empirical improvements, which are typically attributed to end-to-end making better error tradeoffs than the standard loss function used in a two-stage solution. We refine this explanation and more precisely characterize when end-to-end can improve performance. When prediction targets are stochastic, a two-stage solution must make an a priori choice about which statistics of the target distribution to model-we consider expectations over prediction targets-while an end-to-end solution can make this choice adaptively. We show that the performance gap between a two-stage and end-to-end approach is closely related to the price of correlation concept in stochastic optimization and show the implications of some existing POC results for the predict-then-optimize problem. We then consider a novel and particularly practical setting, where multiple prediction targets are combined to obtain each of the objective function's coefficients. We give explicit constructions where (1) two-stage performs unboundedly worse than end-to-end; and (2) two-stage is optimal. We use simulations to experimentally quantify performance gaps and identify a wide range of real-world applications from the literature whose objective functions rely on multiple prediction targets, suggesting that end-to-end learning could yield significant improvements.


title: A Bruhat atlas for the Mehta-van der Kallen stratification of $T^* GL_n/B$

abstract: Mehta and van der Kallen put a Frobenius splitting on the type A cotangent bundle $T^* GL_n/B$, thereby defining a stratification by compatibly split subvarieties, and they determined a few of the elements of this stratification. We embed $T^* GL_n/B$ as a stratum in a larger stratified (and Frobenius split) space $GL_n/B \times Mat_n$ whose stratification we determine, thereby giving a full description of the one of Mehta-van der Kallen. The main technique is to endow $GL_n/B \times Mat_n$ with a Bruhat atlas, covering it with open sets that are stratified-isomorphic to Bruhat cells (in $GL_{2n}/B_{2n}$). Among the consequences are that each stratum closure is normal and Cohen-Macaulay.


title: Solar prominence diagnostics from non-LTE modelling of Mgii h&k line profiles

abstract: Aims: We investigate a new method to for obtaining the plasma parameters of solar prominences observed in the Mgii h&k spectral lines by comparing line profiles from the IRIS satellite to a bank of profiles computed with a one-dimensional non-local thermodynamic equilibrium (non-LTE) radiative transfer code. Methods: Using a grid of 1007 one-dimensional non-LTE radiative transfer models we carry out this new method to match computed spectra to observed line profiles while accounting for line core shifts not present in the models. The prominence observations were carried out by the IRIS satellite on 19 April 2018. Results: The prominence is very dynamic with many flows. The models are able to recover satisfactory matches in areas of the prominence where single line profiles are observed. We recover: mean temperatures of 6000 to 50,000K; mean pressures of 0.01 to 0.5 dyne cm$^{-2}$; column masses of 3.7$\times10^{-8}$ to 5$\times10^{-4}$ g cm$^{-2}$; a mean electron density of 7.3$\times10^{8}$ to 1.8$\times10^{11}$ cm$^{-3}$; and an ionisation degree ${n_\text{HII}}/{n_\text{HI}}=0.03 - 4500$. The highest values for the ionisation degree are found in areas where the line of sight crosses mostly plasma from the PCTR, correlating with high mean temperatures and correspondingly no H$\alpha$ emission. Conclusions: This new method naturally returns information on how closely the observed and computed profiles match, allowing the user to identify areas where no satisfactory match between models and observations can be obtained. Regions where satisfactory fits were found were more likely to contain a model encompassing a PCTR. The line core shift can also be recovered from this new method, and it shows a good qualitative match with that of the line core shift found by the quantile method. This demonstrates the effectiveness of the approach to line core shifts in the new method.


title: Cross-hospital Sepsis Early Detection via Semi-supervised Optimal Transport with Self-paced Ensemble

abstract: Leveraging machine learning techniques for Sepsis early detection and diagnosis has attracted increasing interest in recent years. However, most existing methods require a large amount of labeled training data, which may not be available for a target hospital that deploys a new Sepsis detection system. More seriously, as treated patients are diversified between hospitals, directly applying a model trained on other hospitals may not achieve good performance for the target hospital. To address this issue, we propose a novel semi-supervised transfer learning framework based on optimal transport theory and self-paced ensemble for Sepsis early detection, called SPSSOT, which can efficiently transfer knowledge from the source hospital (with rich labeled data) to the target hospital (with scarce labeled data). Specifically, SPSSOT incorporates a new optimal transport-based semi-supervised domain adaptation component that can effectively exploit all the unlabeled data in the target hospital. Moreover, self-paced ensemble is adapted in SPSSOT to alleviate the class imbalance issue during transfer learning. In a nutshell, SPSSOT is an end-to-end transfer learning method that automatically selects suitable samples from two domains (hospitals) respectively and aligns their feature spaces. Extensive experiments on two open clinical datasets, MIMIC-III and Challenge, demonstrate that SPSSOT outperforms state-of-the-art transfer learning methods by improving 1-3% of AUC.


title: Feeble DM-SM Interaction via New Scalar and Vector Mediators in Rotating Neutron Stars

abstract: We investigate the possible presence of dark matter (DM) in massive and rotating neutron stars (NSs). For the purpose we extend our previous work [1] to introduce a light new physics vector mediator besides a scalar one in order to ensure feeble interaction between fermionic DM and $\beta$ stable hadronic matter in NSs. The masses of DM fermion, the mediators and the couplings are chosen consistent with the self-interaction constraint from Bullet cluster and from present day relic abundance. Assuming that both the scalar and vector mediators contribute equally to the relic abundance, we compute the equation of state (EoS) of the DM admixed NSs to find that the present consideration of the vector new physics mediator do not bring any significant change to the EoS and static NS properties of DM admixed NSs compared to the case where only the scalar mediator was considered [1]. However, the obtained structural properties in static conditions are in good agreement with the various constraints on them from massive pulsars like PSR J0348+0432 and PSR J0740+6620, the gravitational wave (GW170817) data and the recently obtained results of NICER experiments for PSR J0030+0451 and PSR J0740+6620. We also extended our work to compute the rotational properties of DM admixed NSs rotating at different angular velocities. The present results in this regard suggest that the secondary component of GW190814 may be a rapidly rotating massive DM admixed NS. The constraints on rotational frequency from pulsars like PSR B1937+21 and PSR J1748-2446ad are also satisfied by our present results. Also, the constraints on moment of inertia are satisfied considering slow rotation. The universality relation in terms of normalized moment of inertia also holds good with our DM admixed EoS.


title: High-level Features for Resource Economy and Fast Learning in Skill Transfer

abstract: Abstraction is an important aspect of intelligence which enables agents to construct robust representations for effective decision making. In the last decade, deep networks are proven to be effective due to their ability to form increasingly complex abstractions. However, these abstractions are distributed over many neurons, making the re-use of a learned skill costly. Previous work either enforced formation of abstractions creating a designer bias, or used a large number of neural units without investigating how to obtain high-level features that may more effectively capture the source task. For avoiding designer bias and unsparing resource use, we propose to exploit neural response dynamics to form compact representations to use in skill transfer. For this, we consider two competing methods based on (1) maximum information compression principle and (2) the notion that abstract events tend to generate slowly changing signals, and apply them to the neural signals generated during task execution. To be concrete, in our simulation experiments, we either apply principal component analysis (PCA) or slow feature analysis (SFA) on the signals collected from the last hidden layer of a deep network while it performs a source task, and use these features for skill transfer in a new target task. We compare the generalization performance of these alternatives with the baselines of skill transfer with full layer output and no-transfer settings. Our results show that SFA units are the most successful for skill transfer. SFA as well as PCA, incur less resources compared to usual skill transfer, whereby many units formed show a localized response reflecting end-effector-obstacle-goal relations. Finally, SFA units with lowest eigenvalues resembles symbolic representations that highly correlate with high-level features such as joint angles which might be thought of precursors for fully symbolic systems.


title: On the inclusion of cusp effects in expectation values with explicitly correlated Gaussians

abstract: This paper elaborates the integral transformation technique of [K. Pachucki, W. Cencek, and J. Komasa, J. Chem. Phys. 122, 184101 (2005)] and uses it for the case of the non-relativistic kinetic and Coulomb potential energy operators, as well as for the relativistic mass-velocity and Darwin terms. The techniques are tested for the ground electronic state of the helium atom and new results are reported for the ground electronic state of the H$_3^+$ molecular ion near its equilibrium structure.


title: Liquid Sensing Using WiFi Signals

abstract: The popularity of Internet-of-Things (IoT) has provided us with unprecedented opportunities to enable a variety of emerging services in a smart home environment. Among those services, sensing the liquid level in a container is critical to building many smart home and mobile healthcare applications that improve the quality of life. This paper presents LiquidSense, a liquid-level sensing system that is low-cost, high accuracy, widely applicable to different daily liquids and containers, and can be easily integrated with existing smart home networks. LiquidSense uses an existing home WiFi network and a low-cost transducer that attached to the container to sense the resonance of the container for liquid level detection. In particular, our system mounts a low-cost transducer on the surface of the container and emits a well-designed chirp signal to make the container resonant, which introduces subtle changes to the home WiFi signals. By analyzing the subtle phase changes of the WiFi signals, LiquidSense extracts the resonance frequency as a feature for liquid level detection. Our system constructs prediction models for both continuous and discrete predictions using curve fitting and SVM respectively. We evaluate LiquidSense in home environments with containers of three different materials and six types of liquids. Results show that LiquidSense achieves an overall accuracy of 97% for continuous prediction and an overall F-score of 0.968 for discrete prediction. Results also show that our system has a large coverage in a home environment and works well under non-line-of-sight (NLOS) scenarios.


title: A geometric approach to the Cohen-Lenstra heuristics

abstract: We give a new geometric description of when an element of the class group of a quadratic field, thought of as a quadratic form $q$, is $n$-torsion. We show that $q$ corresponds to an $n$-torsion element if and only if there exists a degree $n$ polynomial whose resultant with $q$ is $\pm 1$. This is motivated by a more precise geometric parameterization which directly connects torsion in class groups of quadratic fields to Selmer groups of singular genus $1$ curves.


title: The Exact Second Order Corrections and Accurate Quasiparticle Energy Calculations in Density Functional Theory

abstract: We develop a second order correction to commonly used density functional approximations (DFA) to eliminate the systematic delocalization error. The method, based on the previously developed global scaling correction (GSC), is an exact quadratic correction to the DFA for the fractional charge behavior and uses the analytical second derivatives of the total energy with respect to fractional occupation numbers of the canonical molecular orbitals. For small and medium-size molecules, this correction leads to ground-state orbital energies that are highly accurate approximation to the corresponding quasiparticle energies. It provides excellent predictions of ionization potentials, electron affinities, photoemission spectrum and photoexcitation energies beyond previous approximate second order approaches, thus showing potential for broad applications in computational spectroscopy.


title: Direct Reconstruction of Linear Parametric Images from Dynamic PET Using Nonlocal Deep Image Prior

abstract: Direct reconstruction methods have been developed to estimate parametric images directly from the measured PET sinograms by combining the PET imaging model and tracer kinetics in an integrated framework. Due to limited counts received, signal-to-noise-ratio (SNR) and resolution of parametric images produced by direct reconstruction frameworks are still limited. Recently supervised deep learning methods have been successfully applied to medical imaging denoising/reconstruction when large number of high-quality training labels are available. For static PET imaging, high-quality training labels can be acquired by extending the scanning time. However, this is not feasible for dynamic PET imaging, where the scanning time is already long enough. In this work, we proposed an unsupervised deep learning framework for direct parametric reconstruction from dynamic PET, which was tested on the Patlak model and the relative equilibrium Logan model. The patient's anatomical prior image, which is readily available from PET/CT or PET/MR scans, was supplied as the network input to provide a manifold constraint, and also utilized to construct a kernel layer to perform non-local feature denoising. The linear kinetic model was embedded in the network structure as a 1x1 convolution layer. The training objective function was based on the PET statistical model. Evaluations based on dynamic datasets of 18F-FDG and 11C-PiB tracers show that the proposed framework can outperform the traditional and the kernel method-based direct reconstruction methods.


title: Prediction-Free, Real-Time Flexible Control of Tidal Lagoons through Proximal Policy Optimisation: A Case Study for the Swansea Lagoon

abstract: Tidal Range Structures (TRS) have been considered for large-scale electricity generation for their potential ability to produce reasonably predictable energy without the emission of greenhouse gases. Once the main forcing components for driving the tides have deterministic dynamics, the available energy in a given TRS has been estimated, through analytical and numerical optimisation routines, as a mostly predictable event. This constraint imposes state-of-art flexible operation methods to rely on tidal predictions to infer best operational strategies for TRS, with the additional cost of requiring to run optimisation routines for every new tide. In this paper, a Deep Reinforcement Learning approach (Proximal Policy Optimisation through Unity ML-Agents) is introduced to perform automatic operation of TRS. For validation, the performance of the proposed method is compared with six different operation optimisation approaches devised from the literature, utilising the Swansea Bay Tidal Lagoon as a case study. We show that our approach is successful in maximising energy generation through an optimised operational policy of turbines and sluices, yielding competitive results with state-of-art optimisation strategies, with the clear advantages of requiring training once and performing real-time automatic control of TRS with measured ocean data only.


title: Search for a heavy Higgs boson decaying into two lighter Higgs bosons in the $\tau\tau$bb final state at 13 TeV

abstract: A search for a heavy Higgs boson H decaying into the observed Higgs boson h with a mass of 125 GeV and another Higgs boson h$_\mathrm{S}$ is presented. The h and h$_\mathrm{S}$ bosons are required to decay into a pair of tau leptons and a pair of b quarks, respectively. The search uses a sample of proton-proton collisions collected with the CMS detector at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 137 fb$^{-1}$. Mass ranges of 240-3000 GeV for $m_\mathrm{H}$ and 60-2800 GeV for $m_\mathrm{h_S}$ are explored in the search. No signal has been observed. Model independent 95% confidence level upper limits on the product of the production cross section and the branching fractions of the signal process are set with a sensitivity ranging from 125 fb (for $m_\mathrm{H}$ $=$ 240 GeV) to 2.7 fb (for $m_\mathrm{H}$ $=$ 1000 GeV). These limits are compared to maximally allowed products of the production cross section and the branching fractions of the signal process in the next-to-minimal supersymmetric extension of the standard model.


title: Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback

abstract: Existing committee-based Byzantine state machine replication (SMR) protocols, typically deployed in production blockchains, face a clear trade-off: (1) they either achieve linear communication cost in the happy path, but sacrifice liveness during periods of asynchrony, or (2) they are robust (progress with probability one) but pay quadratic communication cost. We believe this trade-off is unwarranted since existing linear protocols still have asymptotic quadratic cost in the worst case. We design Ditto, a Byzantine SMR protocol that enjoys the best of both worlds: optimal communication on and off the happy path (linear and quadratic, respectively) and progress guarantee under asynchrony and DDoS attacks. We achieve this by replacing the view-synchronization of partially synchronous protocols with an asynchronous fallback mechanism at no extra asymptotic cost. Specifically, we start from HotStuff, a state-of-the-art linear protocol, and gradually build Ditto. As a separate contribution and an intermediate step, we design a 2-chain version of HotStuff, Jolteon, which leverages a quadratic view-change mechanism to reduce the latency of the standard 3-chain HotStuff. We implement and experimentally evaluate all our systems. Notably, Jolteon's commit latency outperforms HotStuff by 200-300ms with varying system size. Additionally, Ditto adapts to the network and provides better performance than Jolteon under faulty conditions and better performance than VABA (a state-of-the-art asynchronous protocol) under faultless conditions. This proves our case that breaking the robustness-efficiency trade-off is in the realm of practicality.


title: Construction of Planar and Symmetric Truss Structures with Interlocking Edge Elements

abstract: In this paper, we present an algorithmic approach to design and construct planar truss structures based on symmetric lattices using modular elements. The method of assembly is similar to Leonardo grids as they both rely on the property of interlocking. In theory, our modular elements can be assembled by the same type of binary operations. Our modular elements embody the principle of geometric interlocking, a principle recently introduced in literature that allows for pieces of an assembly to be interlocked in a way that they can neither be assembled nor disassembled unless the pieces are subjected to deformation or breakage. We demonstrate that breaking the pieces can indeed facilitate the effective assembly of these pieces through the use of a simple key-in-hole concept. As a result, these modular elements can be assembled together to form an interlocking structure, in which the locking pieces apply the force necessary to hold the entire assembly together.


title: Bayesian decision theory for tree-based adaptive screening tests with an application to youth delinquency

abstract: Crime prevention strategies based on early intervention depend on accurate risk assessment instruments for identifying high risk youth. It is important in this context that the instruments be convenient to administer, which means, in particular, that they should also be reasonably brief; adaptive screening tests are useful for this purpose. Adaptive tests constructed using classification and regression trees are becoming a popular alternative to traditional Item Response Theory (IRT) approaches for adaptive testing. However, tree-based adaptive tests lack a principled criterion for terminating the test. This paper develops a Bayesian decision theory framework for measuring the trade-off between brevity and accuracy, when considering tree-based adaptive screening tests of different lengths. We also present a novel method for designing tree-based adaptive tests, motivated by this framework. The framework and associated adaptive test method are demonstrated through an application to youth delinquency risk assessment in Honduras; it is shown that an adaptive test requiring a subject to answer fewer than 10 questions can identify high risk youth nearly as accurately as an unabridged survey containing 173 items.


title: Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments

abstract: The capability of a reinforcement learning (RL) agent heavily depends on the diversity of the learning scenarios generated by the environment. Generation of diverse realistic scenarios is challenging for real-time strategy (RTS) environments. The RTS environments are characterized by intelligent entities/non-RL agents cooperating and competing with the RL agents with large state and action spaces over a long period of time, resulting in an infinite space of feasible, but not necessarily realistic, scenarios involving complex interaction among different RL and non-RL agents. Yet, most of the existing simulators rely on randomly generating the environments based on predefined settings/layouts and offer limited flexibility and control over the environment dynamics for researchers to generate diverse, realistic scenarios as per their demand. To address this issue, for the first time, we formally introduce the benefits of adopting an existing formal scenario specification language, SCENIC, to assist researchers to model and generate diverse scenarios in an RTS environment in a flexible, systematic, and programmatic manner. To showcase the benefits, we interfaced SCENIC to an existing RTS environment Google Research Football(GRF) simulator and introduced a benchmark consisting of 32 realistic scenarios, encoded in SCENIC, to train RL agents and testing their generalization capabilities. We also show how researchers/RL practitioners can incorporate their domain knowledge to expedite the training process by intuitively modeling stochastic programmatic policies with SCENIC.


title: Selective Area Growth Rates of III-V Nanowires

abstract: Selective area growth (SAG) of semiconductors is a scalable method for fabricating gate-controlled quantum platforms. This letter reports on the adatom diffusion, incorporation, and desorption mechanisms that govern the growth rates of SAG nanowire (NW) arrays. We propose a model for the crystal growth rates that considers two parameter groups: the crystal growth control parameters and the design parameters. Using GaAs and InGaAs SAG NWs as platform we show how the design parameters such as NW pitch, width, and orientation have an impact on the growth rates. We demonstrate that by varying the control parameters (i.e. substrate temperature and beam fluxes) source, balance, and sink growth modes may exist in the SAG selectivity window. Using this model, we show that inhomogeneous growth rates can be compensated by tuning the design parameters.


title: A Spectral Moore Bound for Bipartite Semiregular Graphs

abstract: Let $b(k,\ell,\theta)$ be the maximum number of vertices of valency $k$ in a $(k,\ell)$-semiregular bipartite graph with second largest eigenvalue $\theta$. We obtain an upper bound for $b(k,\ell,\theta)$ for $0 < \theta < \sqrt{k-1} + \sqrt{\ell-1}$. This bound is tight when there exists a distance-biregular graph with particular parameters, and we develop the necessary properties of distance-biregular graphs to prove this.


title: Two Hamiltonian cycles

abstract: If the line graph of a graph $G$ decomposes into Hamiltonian cycles, what is $G$? We answer this question for decomposition into two cycles.


title: A New Microscopic Look into Pressure Fields and Local Buoyancy

abstract: The concept of local pressure is pivotal to describe many important physical phenomena, such as buoyancy or atmospheric phenomena, which always require the consideration of space-varying pressure fields. These fields have precise definitions within the phenomenology of hydro-thermodynamics, but a simple and pedagogical microscopic description based on Statistical Mechanical is still lacking in present literature. In this paper, we propose a new microscopic definition of the local pressure field inside a classical fluid, relying on a local barometer potential that is built into the many-particle Hamiltonian. Such a setup allows the pressure to be locally defined, at an arbitrary point inside the fluid, simply by doing a standard ensemble average of the radial force exerted by the barometer potential on the gas' particles. This setup is further used to give a microscopic derivation of the generalized Archimedes's buoyancy principle, in the presence of an arbitrary external field. As instructive examples, buoyancy force fields are calculated for ideal fluids in the presence of: i) a uniform force field, ii) a spherically symmetric harmonic confinement field, and iii) a centrifugal rotating frame.


title: On the benefits of maximum likelihood estimation for Regression and Forecasting

abstract: We advocate for a practical Maximum Likelihood Estimation (MLE) approach towards designing loss functions for regression and forecasting, as an alternative to the typical approach of direct empirical risk minimization on a specific target metric. The MLE approach is better suited to capture inductive biases such as prior domain knowledge in datasets, and can output post-hoc estimators at inference time that can optimize different types of target metrics. We present theoretical results to demonstrate that our approach is competitive with any estimator for the target metric under some general conditions. In two example practical settings, Poisson and Pareto regression, we show that our competitive results can be used to prove that the MLE approach has better excess risk bounds than directly minimizing the target metric. We also demonstrate empirically that our method instantiated with a well-designed general purpose mixture likelihood family can obtain superior performance for a variety of tasks across time-series forecasting and regression datasets with different data distributions.


title: Hidden variables in angular correlations of the particles emitted in fission

abstract: A comparative analysis of experiments on studying the (n, f), on one hand, and (n, n), on the other hand, angular correlations in fission is carried out, based on the model proposed by muonic conversion in fragments of prompt fission of 238U with negative muons. Their fundamental difference is shown in the sense of the information that can be inferred from them. Historically, the situation resembles the EPR paradox. An experimental check of the empirical relation between the alignment and polarization parameters, the former is twice as small as the latter one.


title: Positivity of Peterson Schubert Calculus

abstract: The Peterson variety is a subvariety of the flag manifold $G/B$ equipped with an action of a one-dimensional torus, and a torus invariant paving by affine cells, called Peterson cells. We prove that the equivariant pull-backs of Schubert classes indexed by certain Coxeter elements are dual (up to an intersection multiplicity) to the fundamental classes of Peterson cell closures. Dividing these classes by the intersection multiplicities yields a $\mathbb Z$-basis for the equivariant cohomology of the Peterson variety. We prove several properties of this basis, including a Graham positivity property for its structure constants, and stability with respect to inclusion in a larger Peterson variety. We also find formulae for intersection multiplicities with Peterson classes. This explains geometrically, in arbitrary Lie type, recent positivity statements proved in type A by Goldin and Gorbutt.


title: Combined first-principles calculations of electron-electron and electron-phonon self-energies in condensed systems

abstract: We present a method to efficiently combine the computation of electron-electron and electron-phonon self-energies, which enables the evaluation of electron-phonon coupling at the $G_0W_0$ level of theory for systems with hundreds of atoms. In addition, our approach, which is a generalization of a method recently proposed for molecules [J. Chem. Theory Comput. 2018, 14, 6269-6275], enables the inclusion of non-adiabatic and temperature effects at no additional computational cost. We present results for diamond and defects in diamond and discuss the importance of numerically accurate $G_0W_0$ band structures to obtain robust predictions of zero point renormalization (ZPR) of band gaps, and of the inclusion of non-adiabatic effect to accurately compute the ZPR of defect states in the band gap.


title: Towards a Query-Optimal and Time-Efficient Algorithm for Clustering with a Faulty Oracle

abstract: Motivated by applications in crowdsourced entity resolution in database, signed edge prediction in social networks and correlation clustering, Mazumdar and Saha [NIPS 2017] proposed an elegant theoretical model for studying clustering with a faulty oracle. In this model, given a set of $n$ items which belong to $k$ unknown groups (or clusters), our goal is to recover the clusters by asking pairwise queries to an oracle. This oracle can answer the query that ``do items $u$ and $v$ belong to the same cluster?''. However, the answer to each pairwise query errs with probability $\varepsilon$, for some $\varepsilon\in(0,\frac12)$. Mazumdar and Saha provided two algorithms under this model: one algorithm is query-optimal while time-inefficient (i.e., running in quasi-polynomial time), the other is time efficient (i.e., in polynomial time) while query-suboptimal. Larsen, Mitzenmacher and Tsourakakis [WWW 2020] then gave a new time-efficient algorithm for the special case of $2$ clusters, which is query-optimal if the bias $\delta:=1-2\varepsilon$ of the model is large. It was left as an open question whether one can obtain a query-optimal, time-efficient algorithm for the general case of $k$ clusters and other regimes of $\delta$. In this paper, we make progress on the above question and provide a time-efficient algorithm with nearly-optimal query complexity (up to a factor of $O(\log^2 n)$) for all constant $k$ and any $\delta$ in the regime when information-theoretic recovery is possible. Our algorithm is built on a connection to the stochastic block model.


title: Improved neutron lifetime measurement with UCN$\tau$

abstract: We report an improved measurement of the free neutron lifetime $\tau_{n}$ using the UCN$\tau$ apparatus at the Los Alamos Neutron Science Center. We counted a total of approximately $38\times10^{6}$ surviving ultracold neutrons (UCN) after storing in UCN$\tau$'s magneto-gravitational trap over two data acquisition campaigns in 2017 and 2018. We extract $\tau_{n}$ from three blinded, independent analyses by both pairing long and short storage-time runs to find a set of replicate $\tau_{n}$ measurements and by performing a global likelihood fit to all data while self-consistently incorporating the $\beta$-decay lifetime. Both techniques achieve consistent results and find a value $\tau_{n}=877.75\pm0.28_{\text{ stat}}+0.22/-0.16_{\text{ syst}}$~s. With this sensitivity, neutron lifetime experiments now directly address the impact of recent refinements in our understanding of the standard model for neutron decay.


title: The scaling limit of fair Peano paths

abstract: We study random Peano paths on planar square grids that arise from fair random spanning trees. These are trees that are sampled in such a way as to have the same (if possible) edge probabilities. In particular, we are interested in identifying the scaling limit as the mesh-size of the grid tends to zero. It is known \cite{lawler-schramm-werner2002} that if the trees are sampled uniformly, then the scaling limit exists and equals ${\rm SLE}_8$. We show that if we simply follow the same steps as in \cite{lawler-schramm-werner2002}, then fair Peano paths have a deterministic scaling limit.


title: The Animal ID Problem: Continual Curation

abstract: Hoping to stimulate new research in individual animal identification from images, we propose to formulate the problem as the human-machine Continual Curation of images and animal identities. This is an open world recognition problem, where most new animals enter the system after its algorithms are initially trained and deployed. Continual Curation, as defined here, requires (1) an improvement in the effectiveness of current recognition methods, (2) a pairwise verification algorithm that allows the possibility of no decision, and (3) an algorithmic decision mechanism that seeks human input to guide the curation process. Error metrics must evaluate the ability of recognition algorithms to identify not only animals that have been seen just once or twice but also recognize new animals not in the database. An important measure of overall system performance is accuracy as a function of the amount of human input required.


title: Charge Radius of Neutron-deficient $^{54}$Ni and Symmetry Energy Constraints Using the Difference in Mirror Pair Charge Radii

abstract: The nuclear root-mean-square charge radius of $^{54}$Ni was determined with collinear laser spectroscopy to be $R(^{54}$Ni) = 3.737\,(3)~fm. In conjunction with the known radius of the mirror nucleus $^{54}$Fe, the difference of the charge radii was extracted as $\Delta R_{\rm ch}$ = 0.049\,(4)~fm. Based on the correlation between $\Delta R_{\rm ch}$ and the slope of the symmetry energy at nuclear saturation density ($L$), we deduced $20 \le L \le 70$\,MeV. The present result is consistent with the $L$ from the binary neutron star merger GW170817, favoring a soft neutron matter EOS, and barely consistent with the PREX-2 result within 1$\sigma$ error bands. Our result indicates the neutron-skin thickness of $^{48}$Ca as 0.15\,-\,0.19\,fm.