title: Pairing in pure neutron matter

abstract: We review the long standing problem of superfluid pairing in pure neutron matter. For the $s$-wave pairing, we summarize the state of the art of many-body approaches including different $nn$ interactions, medium polarization, short-range correlations and BCS-BEC crossover effects, and compare them with quantum Monte Carlo results at low-densities. We also address pairing in the $p$-wave, which appears at higher densities and hence has large uncertainties due to the poorly constrained interactions, medium effects and many-body forces.


title: Verifying the Causes of Adversarial Examples

abstract: The robustness of neural networks is challenged by adversarial examples that contain almost imperceptible perturbations to inputs, which mislead a classifier to incorrect outputs in high confidence. Limited by the extreme difficulty in examining a high-dimensional image space thoroughly, research on explaining and justifying the causes of adversarial examples falls behind studies on attacks and defenses. In this paper, we present a collection of potential causes of adversarial examples and verify (or partially verify) them through carefully-designed controlled experiments. The major causes of adversarial examples include model linearity, one-sum constraint, and geometry of the categories. To control the effect of those causes, multiple techniques are applied such as $L_2$ normalization, replacement of loss functions, construction of reference datasets, and novel models using multi-layer perceptron probabilistic neural networks (MLP-PNN) and density estimation (DE). Our experiment results show that geometric factors tend to be more direct causes and statistical factors magnify the phenomenon, especially for assigning high prediction confidence. We believe this paper will inspire more studies to rigorously investigate the root causes of adversarial examples, which in turn provide useful guidance on designing more robust models.


title: Acceptability Conditions and Relativistic Barotropic Equations of State

abstract: We sketch an algorithm to generate exact anisotropic solutions starting from a barotropic EoS and setting an ansatz on the metric functions. To illustrate the method, we use a generalization of the polytropic equation of state consisting of a combination of a polytrope plus a linear term. Based on this generalization, we develop two models which are not deprived of physical meaning as well as fulfilling the stringent criteria of physical acceptability conditions. We also show that some relativistic anisotropic polytropic models may have singular tangential sound velocity for polytropic indexes greater than one. This happens in anisotropic matter configurations when the polytropic equation of state is implemented together with an ansatz on the metric functions. The generalized polytropic equation of state is free from this pathology in the tangential sound velocity.


title: Deep Reinforcement Learning with Population-Coded Spiking Neural Network for Continuous Control

abstract: The energy-efficient control of mobile robots is crucial as the complexity of their real-world applications increasingly involves high-dimensional observation and action spaces, which cannot be offset by limited on-board resources. An emerging non-Von Neumann model of intelligence, where spiking neural networks (SNNs) are run on neuromorphic processors, is regarded as an energy-efficient and robust alternative to the state-of-the-art real-time robotic controllers for low dimensional control tasks. The challenge now for this new computing paradigm is to scale so that it can keep up with real-world tasks. To do so, SNNs need to overcome the inherent limitations of their training, namely the limited ability of their spiking neurons to represent information and the lack of effective learning algorithms. Here, we propose a population-coded spiking actor network (PopSAN) trained in conjunction with a deep critic network using deep reinforcement learning (DRL). The population coding scheme dramatically increased the representation capacity of the network and the hybrid learning combined the training advantages of deep networks with the energy-efficient inference of spiking networks. To show the general applicability of our approach, we integrated it with a spectrum of both on-policy and off-policy DRL algorithms. We deployed the trained PopSAN on Intel's Loihi neuromorphic chip and benchmarked our method against the mainstream DRL algorithms for continuous control. To allow for a fair comparison among all methods, we validated them on OpenAI gym tasks. Our Loihi-run PopSAN consumed 140 times less energy per inference when compared against the deep actor network on Jetson TX2, and had the same level of performance. Our results support the efficiency of neuromorphic controllers and suggest our hybrid RL as an alternative to deep learning, when both energy-efficiency and robustness are important.


title: A General, Implicit, Large-Strain FE$^2$ Framework for the Simulation of Dynamic Problems on Two Scales

abstract: In this paper we present a fully-coupled, two-scale homogenization method for dynamic loading in the spirit of FE$^2$ methods. The framework considers the balance of linear momentum including inertia at the microscale to capture possible dynamic effects arising from micro heterogeneities. A finite-strain formulation is adapted to account for geometrical nonlinearities enabling the study of e.g. plasticity or fiber pullout, which may be associated with large deformations. A consistent kinematic scale link is established as displacement constraint on the whole representative volume element. The consistent macroscopic material tangent moduli are derived including micro inertia in closed form. These can easily be calculated with a loop over all microscopic finite elements, only applying existing assembly and solving procedures. Thus, making it suitable for standard finite element program architectures. Numerical examples of a layered periodic material are presented and compared to direct numerical simulations to demonstrate the capability of the proposed framework.


title: Price of Fairness in Budget Division for Egalitarian Social Welfare

abstract: We study a participatory budgeting problem of aggregating the preferences of agents and dividing a budget over the projects. A budget division solution is a probability distribution over the projects. The main purpose of our study concerns the comparison between the system optimum solution and a fair solution. We are interested in assessing the quality of fair solutions, i.e., in measuring the system efficiency loss under a fair allocation compared to the one that maximizes (egalitarian) social welfare. This indicator is called the price of fairness. We are also interested in the performance of several aggregation rules. Asymptotically tight bounds are provided both for the price of fairness and the efficiency guarantee of aggregation rules.


title: Adaptive Attentional Network for Few-Shot Knowledge Graph Completion

abstract: Few-shot Knowledge Graph (KG) completion is a focus of current research, where each task aims at querying unseen facts of a relation given its few-shot reference entity pairs. Recent attempts solve this problem by learning static representations of entities and references, ignoring their dynamic properties, i.e., entities may exhibit diverse roles within task relations, and references may make different contributions to queries. This work proposes an adaptive attentional network for few-shot KG completion by learning adaptive entity and reference representations. Specifically, entities are modeled by an adaptive neighbor encoder to discern their task-oriented roles, while references are modeled by an adaptive query-aware aggregator to differentiate their contributions. Through the attention mechanism, both entities and references can capture their fine-grained semantic meanings, and thus render more expressive representations. This will be more predictive for knowledge acquisition in the few-shot scenario. Evaluation in link prediction on two public datasets shows that our approach achieves new state-of-the-art results with different few-shot sizes.


title: Dissociation limit in Kohn-Sham density functional theory

abstract: We consider the dissociation limit for molecules of the type $X_2$ in the Kohn-Sham density functional theory setting, where $X$ can be any element with $N$ electrons. We prove that when the two atoms in the system are torn infinitely far apart, the energy of the system convergences to $\min \limits_{\alpha \in [0,N]} \big( I^{X}_{\alpha} + I^{X}_{2N-\alpha} \big)$, where $I^{X}_{\alpha}$ denotes the energy of the atom with $\alpha$ electrons surrounding it. Depending on the "strength" of the exchange this minimum might not be equal to the symmetric splitting $2I^{X}_{N}$. We show numerically that for the $H_2$-molecule with Dirac exchange this gives the expected result of twice the energy of a H-atom $2 I^{H}_1$.


title: Mechanism Design for Facility Location Games with Candidate Locations

abstract: We study the facility location games with candidate locations from a mechanism design perspective. Suppose there are n agents located in a metric space whose locations are their private information, and a group of candidate locations for building facilities. The authority plans to build some homogeneous facilities among these candidates to serve the agents, who bears a cost equal to the distance to the closest facility. The goal is to design mechanisms for minimizing the total/maximum cost among the agents. For the single-facility problem under the maximum-cost objective, we give a deterministic 3-approximation group strategy-proof mechanism, and prove that no deterministic (or randomized) strategy-proof mechanism can have an approximation ratio better than 3 (or 2). For the two-facility problem on a line, we give an anonymous deterministic group strategy-proof mechanism that is (2n-3)-approximation for the total-cost objective, and 3-approximation for the maximum-cost objective. We also provide (asymptotically) tight lower bounds on the approximation ratio.


title: DIME: An Online Tool for the Visual Comparison of Cross-Modal Retrieval Models

abstract: Cross-modal retrieval relies on accurate models to retrieve relevant results for queries across modalities such as image, text, and video. In this paper, we build upon previous work by tackling the difficulty of evaluating models both quantitatively and qualitatively quickly. We present DIME (Dataset, Index, Model, Embedding), a modality-agnostic tool that handles multimodal datasets, trained models, and data preprocessors to support straightforward model comparison with a web browser graphical user interface. DIME inherently supports building modality-agnostic queryable indexes and extraction of relevant feature embeddings, and thus effectively doubles as an efficient cross-modal tool to explore and search through datasets.


title: KaFHCa: Key-establishment via Frequency Hopping Collisions

abstract: The massive deployment of IoT devices being utilized by home automation, industrial and military scenarios demands for high security and privacy standards to be achieved through innovative solutions. This paper proposes KaFHCa, a crypto-less protocol that generates shared secret keys by combining random frequency hopping collisions and source indistinguishability independently of the radio channel status. While other solutions tie the secret bit rate generation to the current radio channel conditions, thus becoming unpractical in static environments, KaFHCa guarantees almost the same secret bitrate independently of the channel conditions. KaFHCa generates shared secrets through random collisions of the transmitter and the receiver in the radio spectrum, and leverages on the fading phenomena to achieve source indistinguishability, thus preventing unauthorized eavesdroppers from inferring the key. The proposed solution is (almost) independent of the adversary position, works under the conservative assumption of channel fading ({\sigma} = 8dB), and is capable of generating a secret key of 128 bits with less than 564 transmissions.


title: On the geometric Andr\'e-Oort conjecture for variations of Hodge structures

abstract: Let $\mathbb{V}$ be a polarized variation of integral Hodge structure on a smooth complex quasi-projective variety $S$. In this paper, we show that the union of the non-factor special subvarieties for $(S, \mathbb{V})$, which are of Shimura type with dominant period maps, is a finite union of special subvarieties of $S$. This generalizes previous results of Clozel and Ullmo arXiv:math/0404131, Ullmo \cite{Ullmo07} on the distribution of the non-factor (in particular, strongly) special subvarieties in a Shimura variety to the non-classical setting and also answers positively the geometric part of a conjecture of Klingler on the Andr\'e-Oort conjecture for variations of Hodge structures.


title: A General Bayesian Framework for Foreground Modelling and Chromaticity Correction for Global 21cm Experiments

abstract: The HI 21cm absorption line is masked by bright foregrounds and systematic distortions that arise due to the chromaticity of the antenna used to make the observation coupling to the spectral inhomogeneity of these foregrounds. We demonstrate that these distortions are sufficient to conceal the 21cm signal when the antenna is not perfectly achromatic and that simple corrections assuming a constant spatial distribution of foreground power are insufficient to overcome them. We then propose a new physics-motivated method of modelling the foregrounds of 21cm experiments in order to fit the chromatic distortions as part of the foregrounds. This is done by generating a simulated sky model across the observing band by dividing the sky into $N$ regions and scaling a base map assuming a distinct uniform spectral index in each region. The resulting sky map can then be convolved with a model of the antenna beam to give a model of foregrounds and chromaticity parameterised by the spectral indices of the $N$ regions. We demonstrate that fitting this model for varying $N$ using a Bayesian nested sampling algorithm and comparing the results using the evidence allows the 21cm signal to be reliably detected in data of a relatively smooth conical log spiral antenna. We also test a much more chromatic conical sinuous antenna and find this model will not produce a reliable signal detection, but in a manner that is easily distinguishable from a true detection.


title: On the Parallel Composition for True Concurrency

abstract: For insight into the parallel composition for true concurrency, we recall the axiomatization of the parallel composition modulo truly concurrent behavioral equivalences as the sidelights of truly concurrent process algebra APTC. We prove that: (1) There is a finite sound and complete axiomatization of the parallel composition modulo pomset, step and hp-bisimulations, without any auxiliary operators. (2) There does not exist a finite sound and complete axiomatization of the parallel composition modulo hhp-bisimulation, without any auxiliary operator. (3) There is a finite sound and complete axiomatization of the parallel composition modulo pomset, step, hp-. and hhp-bisimulations, with the auxiliary left parallel composition and communication merge.


title: Quines are the fittest programs: Nesting algorithmic probability converges to constructors

abstract: In this article we explore the limiting behavior of the universal prior distribution applied over multiple meta-level hierarchy of program and output data of a Turing machine. We were motivated to reduce the effect of Solomonoff's assumption that all computable functions/hypothesis of the same length are equally likely, by weighing each program in turn by the algorithmic probability of their description number encoding. In the limiting case we converge the set of all possible program strings of a fixed-length to a distribution of self-replicating quines and quine-relays - having the structure of a constructor. We discuss how experimental algorithmic information theory provides insights towards understanding the fundamental metrics proposed in this work and reflect on the significance of these result in the constructor theory of life.


title: The Base Measure Problem and its Solution

abstract: Probabilistic programming systems generally compute with probability density functions, leaving the base measure of each such function implicit. This mostly works, but creates problems when densities with respect to different base measures are accidentally combined or compared. Mistakes also happen when computing volume corrections for continuous changes of variables, which in general depend on the support measure. We motivate and clarify the problem in the context of a composable library of probability distributions and bijective transformations. We solve the problem by standardizing on Hausdorff measure as a base, and deriving formulas for comparing and combining mixed-dimension densities, as well as updating densities with respect to Hausdorff measure under diffeomorphic transformations. We also propose a software architecture that implements these formulas efficiently in the common case. We hope that by adopting our solution, probabilistic programming systems can become more robust and general, and make a broader class of models accessible to practitioners.


title: Agent-based Simulation Model and Deep Learning Techniques to Evaluate and Predict Transportation Trends around COVID-19

abstract: The COVID-19 pandemic has affected travel behaviors and transportation system operations, and cities are grappling with what policies can be effective for a phased reopening shaped by social distancing. This edition of the white paper updates travel trends and highlights an agent-based simulation model's results to predict the impact of proposed phased reopening strategies. It also introduces a real-time video processing method to measure social distancing through cameras on city streets.


title: Hutch++: Optimal Stochastic Trace Estimation

abstract: We study the problem of estimating the trace of a matrix $A$ that can only be accessed through matrix-vector multiplication. We introduce a new randomized algorithm, Hutch++, which computes a $(1 \pm \epsilon)$ approximation to $tr(A)$ for any positive semidefinite (PSD) $A$ using just $O(1/\epsilon)$ matrix-vector products. This improves on the ubiquitous Hutchinson's estimator, which requires $O(1/\epsilon^2)$ matrix-vector products. Our approach is based on a simple technique for reducing the variance of Hutchinson's estimator using a low-rank approximation step, and is easy to implement and analyze. Moreover, we prove that, up to a logarithmic factor, the complexity of Hutch++ is optimal amongst all matrix-vector query algorithms, even when queries can be chosen adaptively. We show that it significantly outperforms Hutchinson's method in experiments. While our theory mainly requires $A$ to be positive semidefinite, we provide generalized guarantees for general square matrices, and show empirical gains in such applications.


title: Focal field analysis of highly multi-mode fiber beams based on modal decomposition

abstract: In this work, a numerical modal decomposition approach is applied to model the optical field of laser light after propagating through a highly multi-mode fiber. The algorithm for the decomposition is based on the reconstruction of measured intensity profiles along the laser beam caustic with consideration of intermodal degrees of coherence derived from spectral analysis. To enhance the accuracy of the model, different approaches and strategies are applied and discussed. The presented decomposition into a set of LP modes enables both the wave-optical simulation of radiation transport by highly multi-mode fibers and, additionally, the analysis of free-space propagation with arbitrarily modified complex amplitude distributions.


title: A Brief Note for Sheaf Structures on Posets

abstract: This note is a part of the lecture notes of a graduate student algebraic geometry seminar held at the department of mathematics in National Taiwan Normal University, 2020 Falls. It aims to introduce an example of sheaves defined on posets equipped with the Alexandrov topology, called the cellular sheaves. A cellular sheaf is a functor from the category of a poset to the category of specific algebraic structures (e.g. the category of groups). Strictly speaking, even equipping the poset with the Alexandrov topology, it is just the definition of a pre-sheaf on the Alexandrov topological space. By checking details, cellular sheaves are actually sheaves on topological spaces. This is a well-known fact in sheaf theory via the Kan extension, while it requires readers who are familiar with the category theory. In this note, we follow an elementary approach to describe the connection between cellular sheaves and sheaves concerned in algebraic geometry, where only basic commutative algebra and point-set topology are required as the background knowledge.


title: Verifying Correct Usage of Context-Free API Protocols (Extended Version)

abstract: Several real-world libraries (e.g., reentrant locks, GUI frameworks, serialization libraries) require their clients to use the provided API in a manner that conforms to a context-free specification. Motivated by this observation, this paper describes a new technique for verifying the correct usage of context-free API protocols. The key idea underlying our technique is to over-approximate the program's feasible API call sequences using a context-free grammar (CFG) and then check language inclusion between this grammar and the specification. However, since this inclusion check may fail due to imprecision in the program's CFG abstraction, we propose a novel refinement technique to progressively improve the CFG. In particular, our method obtains counterexamples from CFG inclusion queries and uses them to introduce new non-terminals and productions to the grammar while still over-approximating the program's relevant behavior. We have implemented the proposed algorithm in a tool called CFPChecker and evaluate it on 10 popular Java applications that use at least one API with a context-free specification. Our evaluation shows that CFPChecker is able to verify correct usage of the API in clients that use it correctly and produces counterexamples for those that do not. We also compare our method against three relevant baselines and demonstrate that CFPChecker enables verification of safety properties that are beyond the reach of existing tools.


title: Quantum oscillations in the activated conductivity in excitonic insulators: possible application to monolayer WTe2

abstract: A recent paper on the insulating state of monolayer WTe2 reported the observation of large oscillations in the conductivity that are periodic in 1/B, resembling quantum oscillations in metals. This remarkable observation has inspired suggestions of exotic physics such as spin-charge separation. We show that a rather more conventional but still nontrivial explanation in terms of gap modulation may be possible in a model of excitonic insulator subject to a magnetic field.


title: Semi-supervised Batch Active Learning via Bilevel Optimization

abstract: Active learning is an effective technique for reducing the labeling cost by improving data efficiency. In this work, we propose a novel batch acquisition strategy for active learning in the setting where the model training is performed in a semi-supervised manner. We formulate our approach as a data summarization problem via bilevel optimization, where the queried batch consists of the points that best summarize the unlabeled data pool. We show that our method is highly effective in keyword detection tasks in the regime when only few labeled samples are available.


title: Resonant states in $^{7}$H. I. Experimental studies of the $^2$H($^8$He,$^3$He) reaction

abstract: The extremely neutron-rich system $^{7}$H was studied in the direct $^2$H($^8$He,$^3$He)$^7$H transfer reaction with a 26 AMeV secondary $^{8}$He beam [Bezbakh et al., Phys. Rev. Lett. 124 (2020) 022502]. The missing mass spectrum and center-of-mass (c.m.) angular distributions of $^{7}$H, as well as the momentum distribution of the $^{3}$H fragment in the $^{7}$H frame, were constructed. In addition to the investigation reported in Ref. [Bezbakh et al., Phys. Rev. Lett. 124 (2020) 022502], we carried out another experiment with the same beam but a modified setup, which was cross-checked by the study of the $^2$H($^{10}$Be,$^3$He$)^{9}$Li reaction. A solid experimental evidence is provided that two resonant states of $^{7}$H are located in its spectrum at 2.2(5) and 5.5(3) MeV relative to the $^3$H+4$n$ decay threshold. Also, there are indications that the resonant states at 7.5(3) and 11.0(3) MeV are present in the measured $^{7}$H spectrum. Based on the energy and angular distributions, obtained for the studied $^2$H($^8$He,$^3$He)$^7$H reaction, the weakly populated 2.2(5) MeV peak is ascribed to the $^7$H ground state. It is highly plausible that the firmly ascertained 5.5(3) MeV state is the $5/2^+$ member of the $^7$H excitation $5/2^+$-$3/2^+$ doublet, built on the $2^+$ configuration of valence neutrons. The supposed 7.5 MeV state can be another member of this doublet, which could not be resolved in Ref. [Bezbakh et al., Phys. Rev. Lett. 124 (2020) 022502]. Consequently, the two doublet members appeared in the spectrum of $^{7}$H in [Bezbakh et al., Phys. Rev. Lett. 124 (2020) 022502] as a single broad 6.5 MeV peak.


title: Operator Shifting for Noisy Elliptic Systems

abstract: In the computational sciences, one must often estimate model parameters from data subject to noise and uncertainty, leading to inaccurate results. In order to improve the accuracy of models with noisy parameters, we consider the problem of reducing error in an elliptic linear system with the operator corrupted by noise. We assume the noise preserves positive definiteness, but otherwise, we make no additional assumptions the structure of the noise. Under these assumptions, we propose the operator shifting framework, a collection of easy-to-implement algorithms that augment a noisy inverse operator by subtracting an additional auxiliary term. In a similar fashion to the James-Stein estimator, this has the effect of drawing the noisy inverse operator closer to the ground truth, and hence reduces error by reducing both bias and variance. We develop bootstrap Monte Carlo algorithms to estimate the required augmentation magnitude for optimal error reduction in the noisy system. To improve the tractability of these algorithms, we propose several approximate polynomial expansions for the operator inverse, and prove desirable convergence and monotonicity properties for these expansions. We also prove theorems that quantify the error reduction obtained by operator augmentation. In addition to theoretical results, we provide a set of numerical experiments on four different graph and grid Laplacian systems that all demonstrate effectiveness of our method.


title: PySBD: Pragmatic Sentence Boundary Disambiguation

abstract: In this paper, we present a rule-based sentence boundary disambiguation Python package that works out-of-the-box for 22 languages. We aim to provide a realistic segmenter which can provide logical sentences even when the format and domain of the input text is unknown. In our work, we adapt the Golden Rules Set (a language-specific set of sentence boundary exemplars) originally implemented as a ruby gem - pragmatic_segmenter - which we ported to Python with additional improvements and functionality. PySBD passes 97.92% of the Golden Rule Set exemplars for English, an improvement of 25% over the next best open-source Python tool.


title: MicAugment: One-shot Microphone Style Transfer

abstract: A crucial aspect for the successful deployment of audio-based models "in-the-wild" is the robustness to the transformations introduced by heterogeneous acquisition conditions. In this work, we propose a method to perform one-shot microphone style transfer. Given only a few seconds of audio recorded by a target device, MicAugment identifies the transformations associated to the input acquisition pipeline and uses the learned transformations to synthesize audio as if it were recorded under the same conditions as the target audio. We show that our method can successfully apply the style transfer to real audio and that it significantly increases model robustness when used as data augmentation in the downstream tasks.


title: The Hubble PanCET Program: A Metal-rich Atmosphere for the Inflated Hot Jupiter HAT-P-41b

abstract: We present a comprehensive analysis of the 0.3--5\,$\mu$m transit spectrum for the inflated hot Jupiter HAT-P-41b. The planet was observed in transit with Hubble STIS and WFC3 as part of the Hubble Panchromatic Comparative Exoplanet Treasury (PanCET) program, and we combine those data with warm \textit{Spitzer} transit observations. We extract transit depths from each of the data sets, presenting the STIS transit spectrum (0.29--0.93\,$\mu$m) for the first time. We retrieve the transit spectrum both with a free-chemistry retrieval suite (AURA) and a complementary chemical equilibrium retrieval suite (PLATON) to constrain the atmospheric properties at the day-night terminator. Both methods provide an excellent fit to the observed spectrum. Both AURA and PLATON retrieve a metal-rich atmosphere for almost all model assumptions (most likely O/H ratio of $\log_{10}{Z/Z_{\odot}} = 1.46^{+0.53}_{-0.68}$ and $\log_{10}{Z/Z_{\odot}} = 2.33^{+0.23}_{-0.25}$, respectively); this is driven by a 4.9-$\sigma$ detection of H$_2$O as well as evidence of gas absorption in the optical ($>$2.7-$\sigma$ detection) due to Na, AlO and/or VO/TiO, though no individual species is strongly detected. Both retrievals determine the transit spectrum to be consistent with a clear atmosphere, with no evidence of haze or high-altitude clouds. Interior modeling constraints on the maximum atmospheric metallicity ($\log_{10}{Z/Z_{\odot}} < 1.7$) favor the AURA results. The inferred elemental oxygen abundance suggests that HAT-P-41b has one of the most metal-rich atmospheres of any hot Jupiters known to date. Overall, the inferred high metallicity and high inflation make HAT-P-41b an interesting test case for planet formation theories.


title: Geometric framework to predict structure from function in neural networks

abstract: Neural computation in biological and artificial networks relies on the nonlinear summation of many inputs. The structural connectivity matrix of synaptic weights between neurons is a critical determinant of overall network function, but quantitative links between neural network structure and function are complex and subtle. For example, many networks can give rise to similar functional responses, and the same network can function differently depending on context. Whether certain patterns of synaptic connectivity are required to generate specific network-level computations is largely unknown. Here we introduce a geometric framework for identifying synaptic connections required by steady-state responses in recurrent networks of threshold-linear neurons. Assuming that the number of specified response patterns does not exceed the number of input synapses, we analytically calculate the solution space of all feedforward and recurrent connectivity matrices that can generate the specified responses from the network inputs. A generalization accounting for noise further reveals that the solution space geometry can undergo topological transitions as the allowed error increases, which could provide insight into both neuroscience and machine learning. We ultimately use this geometric characterization to derive certainty conditions guaranteeing a non-zero synapse between neurons. Our theoretical framework could thus be applied to neural activity data to make rigorous anatomical predictions that follow generally from the model architecture.


title: Distributed control under compromised measurements:Resilient estimation, attack detection, and vehicle platooning

abstract: We study how to design a secure observer-based distributed controller such that a group of vehicles can achieve accurate state estimates and formation control even if the measurements of a subset of vehicle sensors are compromised by a malicious attacker. We propose an architecture consisting of a resilient observer, an attack detector, and an observer-based distributed controller. The distributed detector is able to update three sets of vehicle sensors: the ones surely under attack, surely attack-free, and suspected to be under attack. The adaptive observer saturates the measurement innovation through a preset static or time-varying threshold, such that the potentially compromised measurements have limited influence on the estimation. Essential properties of the proposed architecture include: 1) The detector is fault-free, and the attacked and attack-free vehicle sensors can be identified in finite time; 2) The observer guarantees both real-time error bounds and asymptotic error bounds, with tighter bounds when more attacked or attack-free vehicle sensors are identified by the detector; 3) The distributed controller ensures closed-loop stability. The effectiveness of the proposed methods is evaluated through simulations by an application to vehicle platooning.


title: Attention Augmented ConvLSTM for Environment Prediction

abstract: Safe and proactive planning in robotic systems generally requires accurate predictions of the environment. Prior work on environment prediction applied video frame prediction techniques to bird's-eye view environment representations, such as occupancy grids. ConvLSTM-based frameworks used previously often result in significant blurring and vanishing of moving objects, thus hindering their applicability for use in safety-critical applications. In this work, we propose two extensions to the ConvLSTM to address these issues. We present the Temporal Attention Augmented ConvLSTM (TAAConvLSTM) and Self-Attention Augmented ConvLSTM (SAAConvLSTM) frameworks for spatiotemporal occupancy prediction, and demonstrate improved performance over baseline architectures on the real-world KITTI and Waymo datasets.


title: $(\infty,1)$-Categorical Comprehension Schemes

abstract: We define and study notions of comprehension in $(\infty,1)$-category theory. In essence, we do so by implementing B\'{e}nabou's foundations of naive category theory in a univalent meta-theory. In particular, we develop natural generalizations of smallness and relative definability in this context, and show for instance that the universal cartesian fibration is small. Furthermore, by building on Johnstone's notion of comprehension schemes for ordinary fibered categories, we characterize and relate numerous higher categorical properties and structures such as left exactness, local cartesian closedness, univalent morphisms and internal $(\infty,1)$-categories in terms of comprehension schemes.


title: Cm2 Scale Synthesis of MoTe2 Thin Films with Large Grains and Layer Control David

abstract: Owing to the small energy differences between its polymorphs, MoTe2 can access a full spectrum of electronic states, from the 2H semiconducting state to the 1T semimetallic state, and from the Td Weyl semimetallic state to the superconducting state in the 1T and Td phase at low temperature. Thus, it is a model system for phase transformation studies as well as quantum phenomena such as the quantum spin Hall effect and topological superconductivity. Careful studies of MoTe2 and its potential applications require large area MoTe2 thin films with high crystallinity and thickness control. Here, we present cm2 scale synthesis of 2H MoTe2 thin films with layer control and large grains that span several microns. Layer control is achieved by controlling the initial thickness of the precursor MoOx thin films, which are deposited on sapphire substrates by atomic layer deposition and subsequently tellurized. Despite the van der Waals epitaxy, the precursor-substrate interface is found to critically determine the uniformity in thickness and grain size of the resulting MoTe2 films: MoTe2 grown on sapphire show uniform films while MoTe2 grown on amorphous SiO2 substrates form islands. This synthesis strategy decouples the layer control from the variabilities of growth conditions for robust growth results, and is applicable to grow other transition metal dichalcogenides with layer control.


title: A new upper bound for the regularity of gap-free graphs

abstract: In this article, we give a new upper bound for the regularity of edge ideals of gap-free graphs, in terms of the their minimal triangulation. Let $H_U=G\cup F_U$ be a minimal triangulation of a gap-free graph $G$, for some maximal independent set $U$ in $G$. Let $\mathcal{C}_U$ be the $3$-uniform clutter of all $3$-paths in $H_U$ which consists of one edge coming from $F_U$ and another edge coming from $G$. Then we show that $\displaystyle \reg(I(G))\leq \reg(I(\C_U))$. As a consequence, we give a general upper bound for the regularity of gap-free graphs. Furthermore, if $\mathcal{H}$ is the $3$-uniform clutter consists of the $3$-cliques in $G$ or in $F_U$, and the $3$-paths in $G$ which are not $3$-cliques in $H_U$, then $\reg(I(G))\leq 3$, provided $\mathcal{H}$ is chordal. This answers partially a question raised by H\'a, \cite[Problem $6.3$]{h14} and by Banerjee, Beyarslan and H\'a, \cite[Problem $7.1$]{bbh19}.


title: Error analysis for a finite difference scheme for axisymmetric mean curvature flow of genus-0 surfaces

abstract: We consider a finite difference approximation of mean curvature flow for axisymmetric surfaces of genus zero. A careful treatment of the degeneracy at the axis of rotation for the one dimensional partial differential equation for a parameterization of the generating curve allows us to prove error bounds with respect to discrete $L^2$- and $H^1$-norms for a fully discrete approximation. The theoretical results are confirmed with the help of numerical convergence experiments. We also present numerical simulations for some genus-0 surfaces, including for a non-embedded self-shrinker for mean curvature flow.


title: Pattern Formation by Robots with Inaccurate Movements

abstract: \textsc{Arbitrary Pattern Formation} is a fundamental problem in autonomous mobile robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern $F$ given as input. In this paper, we study the problem for robots whose movements can be inaccurate. Our movement model assumes errors in both direction and extent of the intended movement. Forming the given pattern exactly is not possible in this setting. So we require that the robots must form a configuration which is close to the given pattern $F$. We call this the \textsc{Approximate Arbitrary Pattern Formation} problem. We show that with no agreement in coordinate system, the problem is unsolvable, even by fully synchronous robots, if the initial configuration 1) has rotational symmetry and there is no robot at the center of rotation or 2) has reflectional symmetry and there is no robot on the reflection axis. From all other initial configurations, we solve the problem by 1) oblivious, silent and semi-synchronous robots and 2) oblivious, asynchronous robots that can communicate using externally visible lights.


title: Moir\'{e} superlattice effects and band structure evolution in near-30-degree twisted bilayer graphene

abstract: In stacks of two-dimensional crystals, mismatch of their lattice constants and misalignment of crystallographic axes lead to formation of moir\'{e} patterns. We show that moir\'{e} superlattice effects persist in twisted bilayer graphene (tBLG) with large twists and short moir\'{e} periods. Using angle-resolved photoemission, we observe dramatic changes in valence band topology across large regions of the Brillouin zone, including the vicinity of the saddle point at $M$ and across 3 eV from the Dirac points. In this energy range, we resolve several moir\'{e} minibands and detect signatures of secondary Dirac points in the reconstructed dispersions. For twists $\theta>21.8^{\circ}$, the low-energy minigaps are not due to cone anti-crossing as is the case at smaller twist angles but rather due to moir\'{e} scattering of electrons in one graphene layer on the potential of the other which generates intervalley coupling. Our work demonstrates robustness of mechanisms which enable engineering of electronic dispersions of stacks of two-dimensional crystals by tuning the interface twist angles. It also shows that large-angle tBLG hosts electronic minigaps and van Hove singularities of different origin which, given recent progress in extreme doping of graphene, could be explored experimentally.


title: Geometric Constraints on Two-electron Reduced Density Matrices

abstract: For many-electron systems, the second-order reduced density matrix (2-RDM) provides sufficient information for characterizing their properties of interests in physics and chemistry, ranging from total energy, magnetism, quantum correlation and entanglement to long-range orders. Theoretical prediction of the structural properties of 2-RDM is an essential endeavor in quantum chemistry, condensed matter physics and, more recently, in quantum computation. Since 1960s, enormous progresses have been made in developing RDM-based electronic structure theories and their large-scale computational applications in predicting molecular structure and mechanical, electrical and optical properties of various materials. However, for strongly correlated systems, such as high-temperature superconductors, transition-metal-based biological catalysts and complex chemical bonds near dissociation limit, accurate approximation is still out of reach by currently most sophisticated approaches. This limitation highlights the elusive structural feature of 2-RDM that determines quantum correlation in many-electron system. Here, we present a set of constraints on 2-RDM based on the basic geometric property of Hilbert space and the commutation relations of operators. Numerical examples are provided to demonstrate the pronounced violation of these constraints by the variational 2-RDMs. It is shown that, for a strongly correlated model system, the constraint violation may be responsible for a considerable portion of the variational error in ground state energy. Our findings provide new insights into the structural subtlety of many-electron 2-RDMs.


title: RobustBench: a standardized adversarial robustness benchmark

abstract: As a research community, we are still lacking a systematic understanding of the progress on adversarial robustness which often makes it hard to identify the most promising ideas in training robust models. A key challenge in benchmarking robustness is that its evaluation is often error-prone leading to robustness overestimation. Our goal is to establish a standardized benchmark of adversarial robustness, which as accurately as possible reflects the robustness of the considered models within a reasonable computational budget. To this end, we start by considering the image classification task and introduce restrictions (possibly loosened in the future) on the allowed models. We evaluate adversarial robustness with AutoAttack, an ensemble of white- and black-box attacks, which was recently shown in a large-scale study to improve almost all robustness evaluations compared to the original publications. To prevent overadaptation of new defenses to AutoAttack, we welcome external evaluations based on adaptive attacks, especially where AutoAttack flags a potential overestimation of robustness. Our leaderboard, hosted at https://robustbench.github.io/, contains evaluations of 120+ models and aims at reflecting the current state of the art in image classification on a set of well-defined tasks in $\ell_\infty$- and $\ell_2$-threat models and on common corruptions, with possible extensions in the future. Additionally, we open-source the library https://github.com/RobustBench/robustbench that provides unified access to 80+ robust models to facilitate their downstream applications. Finally, based on the collected models, we analyze the impact of robustness on the performance on distribution shifts, calibration, out-of-distribution detection, fairness, privacy leakage, smoothness, and transferability.


title: Masses for Free-Floating Planets and Dwarf Planets

abstract: The mass and distance functions of free-floating planets (FFPs) would give major insights into the formation and evolution of planetary systems, including any systematic differences between those in the disk and bulge. We show that the only way to measure the mass and distance of individual FFPs over a broad range of distances is to observe them simultaneously from two observatories separated by $D\sim {\cal O}(0.01\,AU)$ (to measure their microlens parallax $\pi_{\rm E}$) and to focus on the finite-source point-lens (FSPL) events (which yield the Einstein radius $\theta_{\rm E}$). By combining the existing KMTNet 3-telescope observatory with a 0.3m $4\,{\rm deg}^2$ telescope at L2, of order 130 such measurements could be made over four years, down to about $M\sim 6\,M_\oplus$ for bulge FFPs and $M\sim 0.7\,M_\oplus$ for disk FFPs. The same experiment would return masses and distances for many bound planetary systems. A more ambitious experiment, with two 0.5m satellites (one at L2 and the other nearer Earth) and similar camera layout but in the infrared, could measure masses and distances of sub-Moon mass objects, and thereby probe (and distinguish between) genuine sub-Moon FFPs and sub-Moon ``dwarf planets'' in exo-Kuiper Belts and exo-Oort Clouds.


title: Multi-Stage Fusion for One-Click Segmentation

abstract: Segmenting objects of interest in an image is an essential building block of applications such as photo-editing and image analysis. Under interactive settings, one should achieve good segmentations while minimizing user input. Current deep learning-based interactive segmentation approaches use early fusion and incorporate user cues at the image input layer. Since segmentation CNNs have many layers, early fusion may weaken the influence of user interactions on the final prediction results. As such, we propose a new multi-stage guidance framework for interactive segmentation. By incorporating user cues at different stages of the network, we allow user interactions to impact the final segmentation output in a more direct way. Our proposed framework has a negligible increase in parameter count compared to early-fusion frameworks. We perform extensive experimentation on the standard interactive instance segmentation and one-click segmentation benchmarks and report state-of-the-art performance.


title: Effective finite generation for [IA_n,IA_n] and the Johnson kernel

abstract: Let $IA_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let $\mathcal I_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surface of genus $n$ with $b$ boundary components, $b=0,1$. In 1935 Magnus proved that $IA_n$ is finitely generated for all $n$, and in 1983 Johnson proved that $\mathcal I_n^b$ is finitely generated for $n\geq 3$. It was recently shown that for each $k\in\mathbb N$, the $k^{\rm th}$ terms of the lower central series $\gamma_k IA_n$ and $\gamma_k\mathcal I_n^b$ are finitely generated when $n>>k$; however, no information about finite generating sets was known for $k>1$. The main goal of this paper is to construct an explicit finite generating set for $\gamma_2 IA_n = [IA_n,IA_n]$ and almost explicit finite generating sets for $\gamma_2\mathcal I_n^b$ and the Johnson kernel, which contains $\gamma_2\mathcal I_n^b$ as a finite index subgroup.


title: Safety-Critical Protective Systems and Margins of Safety

abstract: The design and operation of protective systems is an essential engineering responsibility. Ensuring public safety, while essential, must be accomplished at a feasible cost and within government regulation. Hence, protective system design and operational decisions must be evaluated with respect to benefit (both enterprise profit and social benefit) and cost (both enterprise and social costs). Analytical arguments are made that establish the economic relationship between protective system margins of safety, regulatory authority, and the calculus of negligence. Within this risk-based analytical framework, protection efficacy is explored. In particular, the risk-economics of margins of safety are examined by identifying the reference efficacy with respect to which margins of safety are measured. Engineering design and operations decisions intended to improve protection efficacy can, thus, be gauged as the degree to which they advance a risk-based margin of safety. Finally, our analytical framework is exercised to show how risk-based margins of safety reveal the relationship between uncertain costs and regulatory activity focused on ensuring public welfare that is backstopped by liability in the event of catastrophe. How both prescriptive and performance based regulations influence margins of safety with respect to protective system innovation can be identified here.


title: Universal Baxter TQ-relations for open boundary quantum integrable systems

abstract: Based on properties of the universal R-matrix, we derive universal Baxter TQ-relations for quantum integrable systems with (diagonal) open boundaries associated with $U_{q}(\widehat{sl_{2}})$. The Baxter TQ-relations for the open XXZ-spin chain are images of these universal Baxter TQ-relations.


title: Detecting Hands and Recognizing Physical Contact in the Wild

abstract: We investigate a new problem of detecting hands and recognizing their physical contact state in unconstrained conditions. This is a challenging inference task given the need to reason beyond the local appearance of hands. The lack of training annotations indicating which object or parts of an object the hand is in contact with further complicates the task. We propose a novel convolutional network based on Mask-RCNN that can jointly learn to localize hands and predict their physical contact to address this problem. The network uses outputs from another object detector to obtain locations of objects present in the scene. It uses these outputs and hand locations to recognize the hand's contact state using two attention mechanisms. The first attention mechanism is based on the hand and a region's affinity, enclosing the hand and the object, and densely pools features from this region to the hand region. The second attention module adaptively selects salient features from this plausible region of contact. To develop and evaluate our method's performance, we introduce a large-scale dataset called ContactHands, containing unconstrained images annotated with hand locations and contact states. The proposed network, including the parameters of attention modules, is end-to-end trainable. This network achieves approximately 7\% relative improvement over a baseline network that was built on the vanilla Mask-RCNN architecture and trained for recognizing hand contact states.


title: Spreading processes in "post-epidemic" environments

abstract: We analyze infection spreading processes in a system where only a fraction $p$ of individuals can be affected by disease, while remaining $1-p$ individuals are immune. Such a picture can emerge as a natural consequence of previously terminated epidemic process or arise in formerly vaccinated population. To this end, we apply the synchronous cellular automata algorithm studying stationary states and spatial patterning in SI, SIS and SIR models on a square lattice with the fraction $p$ of active sites. A concept of "safety patterns" of susceptible agents surrounded by immune individuals naturally arises in a proposed system, which plays an important role in the course of epidemic processes under consideration. Detailed analysis of distribution of such patterns is given, which in turn determine the fraction of infected agents in a stationary state $I^*(p)$. Estimates for the threshold values of the basic reproduction number $R_0^c$ as a function of active agents fraction $p$ are obtained as well. In particular, our results allow to predict the optimal fraction of individuals, needed to be vaccinated in advance in order to get the maximal values of unaffected agents in a course of epidemic process with a given curing rate.


title: On the Robustness of Winners: Counting Briberies in Elections

abstract: We study the parameterized complexity of counting variants of Swap- and Shift-Bribery problems, focusing on the parameterizations by the number of swaps and the number of voters. We show experimentally that Swap-Bribery offers a new approach to the robustness analysis of elections.


title: Back to the Roots of Vector and Tensor Calculus. Heaviside versus Gibbs

abstract: In June 1888, Oliver Heaviside received by mail an officially unpublished pamphlet, which was written and printed by the American author Willard J. Gibbs around 1881-1884. This original document is preserved in the Dibner Library of the History of Science and Technology at the Smithsonian Institute in Washington DC. Heaviside studied Gibbs's work very carefully and wrote some annotations in the margins of the booklet. He was a strong defender of Gibbs's work on vector analysis against quaternionists, even if he criticized Gibbs's notation system. The aim of our paper is to analyse Heaviside's annotations and to investigate the role played by the American physicist in the development of Heaviside's work.


title: A Survey of Machine Learning Techniques in Adversarial Image Forensics

abstract: Image forensic plays a crucial role in both criminal investigations (e.g., dissemination of fake images to spread racial hate or false narratives about specific ethnicity groups) and civil litigation (e.g., defamation). Increasingly, machine learning approaches are also utilized in image forensics. However, there are also a number of limitations and vulnerabilities associated with machine learning-based approaches, for example how to detect adversarial (image) examples, with real-world consequences (e.g., inadmissible evidence, or wrongful conviction). Therefore, with a focus on image forensics, this paper surveys techniques that can be used to enhance the robustness of machine learning-based binary manipulation detectors in various adversarial scenarios.


title: Error correction of a logical grid state qubit by dissipative pumping

abstract: Stabilization of encoded logical qubits using quantum error correction is key to the realization of reliable quantum computers. While qubit codes require many physical systems to be controlled, oscillator codes offer the possibility to perform error correction on a single physical entity. One powerful encoding for oscillators is the grid state or GKP encoding, which allows small displacement errors to be corrected. Here we introduce and implement a dissipative map designed for physically realistic finite GKP codes which performs quantum error correction of a logical qubit implemented in the motion of a single trapped ion. The correction cycle involves two rounds, which correct small displacements in position and momentum respectively. Each consists of first mapping the finite GKP code stabilizer information onto an internal electronic state ancilla qubit, and then applying coherent feedback and ancilla repumping. We demonstrate the extension of logical coherence using both square and hexagonal GKP codes, achieving an increase in logical lifetime of a factor of three. The simple dissipative map used for the correction can be viewed as a type of reservoir engineering, which pumps into the highly non-classical GKP qubit manifold. These techniques open new possibilities for quantum state control and sensing alongside their application to scaling quantum computing.


title: Effects of demographic and weather parameters on COVID-19 basic reproduction number

abstract: Timely prediction of the COVID-19 progression is not possible without a comprehensive understanding of environmental factors that may affect the infection transmissibility. Studies addressing parameters that may influence COVID-19 progression relied on either the total numbers of detected cases and similar proxies and/or a small number of analyzed factors, including analysis of regions that display a narrow range of these parameters. We here apply a novel approach, exploiting widespread growth regimes in COVID-19 detected case counts. By applying nonlinear dynamics methods to the exponential regime, we extract basic reproductive number R0 (i.e., the measure of COVID-19 inherent biological transmissibility), applying to the completely naive population in the absence of social distancing, for 118 different countries. We then use bioinformatics methods to systematically collect data on a large number of demographics and weather parameters from these countries, and seek their correlations with the rate of COVID-19 spread. In addition to some of the already reported tendencies, we show a number of both novel results and those that help settle existing disputes: the absence of dependence on wind speed and air pressure, negative correlation with precipitation; significant positive correlation with society development level (human development index) irrespective of testing policies, and percent of the urban population, but an absence of correlation with population density per se. We find a strong positive correlation of transmissibility on alcohol consumption, and the absence of correlation on refugee numbers, contrary to some widespread beliefs. Significant tendencies with health-related factors are reported, including a detailed analysis of the blood type group showing consistent tendencies on Rh factor, and a strong positive correlation of transmissibility with cholesterol levels.


title: The Graph Theoretic Approach for Nodal Cross Section Parameterization

abstract: Presently, models for the parameterization of cross sections for nodal diffusion nuclear reactor calculations at different conditions using histories and branches are developed from reactor physics expertise and by trial and error. In this paper we describe the development and application of a novel graph theoretic approach (GTA) to develop the expressions for evaluating the cross sections in a nodal diffusion code. The GTA generalizes existing nodal cross section models into a ``non-orthogonal'' and extensible dimensional parameter space. Furthermore, it utilizes a rigorous calculus on graphs to formulate partial derivatives. The GTA cross section models can be generated in a number of ways. In our current work we explore a step-wise regression and a complete Taylor series expansion of the parameterized cross sections to develop expressions to evaluate them. To establish proof-of-principle of the GTA, we compare numerical results of GTA generated cross section evaluations with traditional models for canonical PWR case matrices and the AP1000 lattice designs.


title: Higher spin de Sitter quasinormal modes

abstract: We construct higher spin quasinormal modes algebraically in $D$-dimensional de Sitter spacetime using the ambient space formalism. The quasinormal modes fall into two nonunitary lowest-weight representations of $\mathfrak{so}(1, D)$. From a local QFT point of view, the lowest-weight quasinormal modes of massless higher spin fields are produced by gauge-invariant boundary conserved currents and boundary higher-spin Weyl tensors inserted at the southern pole of the past boundary. We also show that the quasinormal spectrum of a massless/massive spin-$s$ field is precisely encoded in the Harish-Chandra character corresponding to the unitary massless/massive spin-$s$ $\text{SO}(1, D)$ representation.


title: Manifold Reconstruction of Differences: A Model-Based Iterative Statistical Estimation Algorithm with a Data-Driven Prior

abstract: Manifold learning using deep neural networks been shown to be an effective tool for building sophisticated prior image models that can be applied to noise reduction in low-dose CT. We propose a new iterative CT reconstruction algorithm, called Manifold Reconstruction of Differences (MRoD), which combines physical and statistical models with a data-driven prior based on manifold learning. The MRoD algorithm involves estimating a manifold component, approximating common features among all patients, and the difference component which has the freedom to fit the measured data. By applying a sparsity-promoting penalty to the difference image rather than a hard constraint to the manifold, the MRoD algorithm is able to reconstruct features which are not present in the training data. The difference component itself may be independently useful. While the manifold captures typical patient features (e.g. healthy anatomy), the difference image highlights patient-specific elements (e.g. pathology). In this work, we present a description of an optimization framework which combines trained manifold-based modules with physical modules. We present a simulation study using anthropomorphic lung data showing that the MRoD algorithm can both isolate differences between a particular patient and the typical distribution, but also provide significant noise reduction with less bias than a typical penalized likelihood estimator in composite manifold plus difference reconstructions.


title: Estimating means of bounded random variables by betting

abstract: This paper derives confidence intervals (CI) and time-uniform confidence sequences (CS) for the classical problem of estimating an unknown mean from bounded observations. We present a general approach for deriving concentration bounds, that can be seen as a generalization and improvement of the celebrated Chernoff method. At its heart, it is based on a class of composite nonnegative martingales, with strong connections to testing by betting and the method of mixtures. We show how to extend these ideas to sampling without replacement, another heavily studied problem. In all cases, our bounds are adaptive to the unknown variance, and empirically vastly outperform existing approaches based on Hoeffding or empirical Bernstein inequalities and their recent supermartingale generalizations. In short, we establish a new state-of-the-art for four fundamental problems: CSs and CIs for bounded means, when sampling with and without replacement.


title: A Demonstration of Smart Doorbell Design Using Federated Deep Learning

abstract: Smart doorbells have been playing an important role in protecting our modern homes. Existing approaches of sending video streams to a centralized server (or Cloud) for video analytics have been facing many challenges such as latency, bandwidth cost and more importantly users' privacy concerns. To address these challenges, this paper showcases the ability of an intelligent smart doorbell based on Federated Deep Learning, which can deploy and manage video analytics applications such as a smart doorbell across Edge and Cloud resources. This platform can scale, work with multiple devices, seamlessly manage online orchestration of the application components. The proposed framework is implemented using state-of-the-art technology. We implement the Federated Server using the Flask framework, containerized using Nginx and Gunicorn, which is deployed on AWS EC2 and AWS Serverless architecture.


title: Polymer Modelling Predicts Chromosome Reorganisation in Senescence

abstract: Lamina-associated domains (LADs) cover a large part of the human genome and are thought to play a major role in shaping the nuclear architectural landscape. Here, we perform polymer simulations, microscopy and mass spectrometry to dissect the roles played by heterochromatin- and lamina-mediated interactions in nuclear organisation. Our model explains the conventional organisation of heterochromatin and euchromatin in growing cells and the pathological organisation found in oncogene-induced senescence and progeria. We show that the experimentally observed changes in the locality of contacts in senescent and progeroid cells can be explained as arising due to phase transitions in the system. Within our simulations LADs are highly stochastic, as in experiments. Our model suggests that, once established, the senescent phenotype should be metastable even if lamina-mediated interactions were reinstated. Overall, our simulations uncover a generic physical mechanism that can regulate heterochromatin segregation and LAD formation in a wide range of mammalian nuclei.


title: Multiple Pedestrians and Vehicles Tracking in Aerial Imagery: A Comprehensive Study

abstract: In this paper, we address various challenges in multi-pedestrian and vehicle tracking in high-resolution aerial imagery by intensive evaluation of a number of traditional and Deep Learning based Single- and Multi-Object Tracking methods. We also describe our proposed Deep Learning based Multi-Object Tracking method AerialMPTNet that fuses appearance, temporal, and graphical information using a Siamese Neural Network, a Long Short-Term Memory, and a Graph Convolutional Neural Network module for a more accurate and stable tracking. Moreover, we investigate the influence of the Squeeze-and-Excitation layers and Online Hard Example Mining on the performance of AerialMPTNet. To the best of our knowledge, we are the first in using these two for a regression-based Multi-Object Tracking. Additionally, we studied and compared the L1 and Huber loss functions. In our experiments, we extensively evaluate AerialMPTNet on three aerial Multi-Object Tracking datasets, namely AerialMPT and KIT AIS pedestrian and vehicle datasets. Qualitative and quantitative results show that AerialMPTNet outperforms all previous methods for the pedestrian datasets and achieves competitive results for the vehicle dataset. In addition, Long Short-Term Memory and Graph Convolutional Neural Network modules enhance the tracking performance. Moreover, using Squeeze-and-Excitation and Online Hard Example Mining significantly helps for some cases while degrades the results for other cases. In addition, according to the results, L1 yields better results with respect to Huber loss for most of the scenarios. The presented results provide a deep insight into challenges and opportunities of the aerial Multi-Object Tracking domain, paving the way for future research.


title: SPA: Stochastic Probability Adjustment for System Balance of Unsupervised SNNs

abstract: Spiking neural networks (SNNs) receive widespread attention because of their low-power hardware characteristic and brain-like signal response mechanism, but currently, the performance of SNNs is still behind Artificial Neural Networks (ANNs). We build an information theory-inspired system called Stochastic Probability Adjustment (SPA) system to reduce this gap. The SPA maps the synapses and neurons of SNNs into a probability space where a neuron and all connected pre-synapses are represented by a cluster. The movement of synaptic transmitter between different clusters is modeled as a Brownian-like stochastic process in which the transmitter distribution is adaptive at different firing phases. We experimented with a wide range of existing unsupervised SNN architectures and achieved consistent performance improvements. The improvements in classification accuracy have reached 1.99% and 6.29% on the MNIST and EMNIST datasets respectively.


title: Probabilistic Linear Solvers for Machine Learning

abstract: Linear systems are the bedrock of virtually all numerical computation. Machine learning poses specific challenges for the solution of such systems due to their scale, characteristic structure, stochasticity and the central role of uncertainty in the field. Unifying earlier work we propose a class of probabilistic linear solvers which jointly infer the matrix, its inverse and the solution from matrix-vector product observations. This class emerges from a fundamental set of desiderata which constrains the space of possible algorithms and recovers the method of conjugate gradients under certain conditions. We demonstrate how to incorporate prior spectral information in order to calibrate uncertainty and experimentally showcase the potential of such solvers for machine learning.


title: Summary-Oriented Question Generation for Informational Queries

abstract: Users frequently ask simple factoid questions for question answering (QA) systems, attenuating the impact of myriad recent works that support more complex questions. Prompting users with automatically generated suggested questions (SQs) can improve user understanding of QA system capabilities and thus facilitate more effective use. We aim to produce self-explanatory questions that focus on main document topics and are answerable with variable length passages as appropriate. We satisfy these requirements by using a BERT-based Pointer-Generator Network trained on the Natural Questions (NQ) dataset. Our model shows SOTA performance of SQ generation on the NQ dataset (20.1 BLEU-4). We further apply our model on out-of-domain news articles, evaluating with a QA system due to the lack of gold questions and demonstrate that our model produces better SQs for news articles -- with further confirmation via a human evaluation.


title: Subtitles to Segmentation: Improving Low-Resource Speech-to-Text Translation Pipelines

abstract: In this work, we focus on improving ASR output segmentation in the context of low-resource language speech-to-text translation. ASR output segmentation is crucial, as ASR systems segment the input audio using purely acoustic information and are not guaranteed to output sentence-like segments. Since most MT systems expect sentences as input, feeding in longer unsegmented passages can lead to sub-optimal performance. We explore the feasibility of using datasets of subtitles from TV shows and movies to train better ASR segmentation models. We further incorporate part-of-speech (POS) tag and dependency label information (derived from the unsegmented ASR outputs) into our segmentation model. We show that this noisy syntactic information can improve model accuracy. We evaluate our models intrinsically on segmentation quality and extrinsically on downstream MT performance, as well as downstream tasks including cross-lingual information retrieval (CLIR) tasks and human relevance assessments. Our model shows improved performance on downstream tasks for Lithuanian and Bulgarian.


title: Data Assimilation Networks

abstract: Data assimilation (DA) aims at forecasting the state of a dynamical system by combining a mathematical representation of the system with noisy observations taking into account their uncertainties. State of the art methods are based on the Gaussian error statistics and the linearization of the non-linear dynamics which may lead to sub-optimal methods. In this respect, there are still open questions how to improve these methods. In this paper, we propose a fully data driven deep learning architecture generalizing recurrent Elman networks and data assimilation algorithms which approximate a sequence of prior and posterior densities conditioned on noisy observations. By construction our approach can be used for general nonlinear dynamics and non-Gaussian densities. On numerical experiments based on the well-known Lorenz-95 system and with Gaussian error statistics, our architecture achieves comparable performance to EnKF on both the analysis and the propagation of probability density functions of the system state at a given time without using any explicit regularization technique.


title: Numerical Convergence of Hot-Jupiter Atmospheric Flow Solutions

abstract: We perform an extensive study of numerical convergence for hot-Jupiter atmospheric flow solutions in simulations employing a setup commonly-used in extrasolar planet studies, a resting state thermally forced to a prescribed temperature distribution on a short time-scale at high altitudes. Convergence is assessed rigorously with: (i) a highly-accurate pseudospectral model which has been explicitly verified to perform well under hot-Jupiter flow conditions and (ii) comparisons of the kinetic energy spectra, instantaneous (unaveraged) vorticity fields and temporal evolutions of the vorticity field from simulations which are numerically equatable. In the simulations, the (horizontal and vertical) resolutions, dissipation operator order and viscosity coefficient are varied with identical physical and initial setups. All of the simulations are compared against a fiducial, reference simulation at high horizontal resolution and dissipation order (T682 and $\nabla^{16}$, respectively) -- as well as against each other. Broadly, the reference solution features a dynamic, zonally (east-west) asymmetric jet with a copious amount of small-scale vortices and gravity waves. Here we show that simulations converge to the reference simulation only at T341 resolution and with $\nabla^{16}$ dissipation order. Below this resolution and order, simulations either do not converge or converge to unphysical solutions. The general convergence behaviour is independent of the vertical range of the atmosphere modelled, from $\sim\! 2\!\times\! 10^{-3}$ MPa to $\sim\! 2\!\times\! 10^1$ MPa. Ramifications for current extrasolar planet atmosphere modelling and observations are discussed.


title: The PAU Survey: Intrinsic alignments and clustering of narrow-band photometric galaxies

abstract: We present the first measurements of the projected clustering and intrinsic alignments (IA) of galaxies observed by the Physics of the Accelerating Universe Survey (PAUS). With photometry in 40 narrow optical passbands ($450\rm{nm}-850\rm{nm}$), the quality of photometric redshift estimation is $\sigma_{z} \sim 0.01(1 + z)$ for galaxies in the $19\,\rm{deg}^{2}$ Canada-France-Hawaii Telescope Legacy Survey (CFHTLS) W3 field, allowing us to measure the projected 3D clustering and IA for flux-limited, faint galaxies ($i < 22.5$) out to $z\sim0.8$. To measure two-point statistics, we developed, and tested with mock photometric redshift samples, `cloned' random galaxy catalogues which can reproduce data selection functions in 3D and account for photometric redshift errors. In our fiducial colour-split analysis, we made robust null detections of IA for blue galaxies and tentative detections of radial alignments for red galaxies ($\sim1-3\sigma$), over scales of $0.1-18\,h^{-1}\rm{Mpc}$. The galaxy clustering correlation functions in the PAUS samples are comparable to their counterparts in a spectroscopic population from the Galaxy and Mass Assembly survey, modulo the impact of photometric redshift uncertainty which tends to flatten the blue galaxy correlation function, whilst steepening that of red galaxies. We investigate the sensitivity of our correlation function measurements to choices in the random catalogue creation and the galaxy pair-binning along the line of sight, in preparation for an optimised analysis over the full PAUS area.


title: Effects of Parameter Norm Growth During Transformer Training: Inductive Bias from Gradient Descent

abstract: The capacity of neural networks like the widely adopted transformer is known to be very high. Evidence is emerging that they learn successfully due to inductive bias in the training routine, typically a variant of gradient descent (GD). To better understand this bias, we study the tendency for transformer parameters to grow in magnitude ($\ell_2$ norm) during training, and its implications for the emergent representations within self attention layers. Empirically, we document norm growth in the training of transformer language models, including T5 during its pretraining. As the parameters grow in magnitude, we prove that the network approximates a discretized network with saturated activation functions. Such "saturated" networks are known to have a reduced capacity compared to the full network family that can be described in terms of formal languages and automata. Our results suggest saturation is a new characterization of an inductive bias implicit in GD of particular interest for NLP. We leverage the emergent discrete structure in a saturated transformer to analyze the role of different attention heads, finding that some focus locally on a small number of positions, while other heads compute global averages, allowing counting. We believe understanding the interplay between these two capabilities may shed further light on the structure of computation within large transformers.


title: On "Rotating charged AdS solutions in quadratic $f(T)$ gravity": New rotating solutions

abstract: We show that there are two or more procedures to generalize the known four-dimensional transformation, aiming to generate cylindrically rotating charged exact solutions, to higher dimensional spacetimes . In the one procedure, presented in Eur. Phys. J. C (2019) \textbf{79}:668, one uses a non-trivial, non-diagonal, Minkowskian metric $\bar{\eta}_{ij}$ to derive complicated rotating solutions. In the other procedure, discussed in this work, one selects a diagonal Minkowskian metric ${\eta}_{ij}$ to derive much simpler and appealing rotating solutions. We also show that if ($g_{\mu\nu},\,\eta_{ij}$) is a rotating solution then ($\bar{g}_{\mu\nu},\,\bar{\eta}_{ij}$) is a rotating solution too with similar geometrical properties, provided $\bar{\eta}_{ij}$ and ${\eta}_{ij}$ are related by a symmetric matrix $R$: $\bar{\eta}_{ij}={\eta}_{ik}R_{kj}$.


title: Hecke-Rogers double-sums and false theta functions

abstract: We develop a setting in which one can evaluate certain Hecke-Rogers series in terms of false theta functions. We apply our setting to recent false theta function identities of Chan and Kim as well as Andrews and Warnaar.


title: Quantum fluctuations in the effective relational GFT cosmology

abstract: We analyze the size and evolution of quantum fluctuations of cosmologically relevant geometric observables, in the context of the effective relational cosmological dynamics of GFT models of quantum gravity. We consider the fluctuations of the matter clock observables, to test the validity of the relational evolution picture itself. Next, we compute quantum fluctuations of the universe volume and of other operators characterizing its evolution (number operator for the fundamental GFT quanta, effective Hamiltonian and scalar field momentum). In particular, we focus on the late (clock) time regime, where the dynamics is compatible with a flat FRW universe, and on the very early phase near the quantum bounce produced by the fundamental quantum gravity dynamics.


title: Fast and robust all-electron density functional theory calculations in solids using orthogonalized enriched finite elements

abstract: We present a computationally efficient approach to perform systematically convergent real-space all-electron Kohn-Sham DFT calculations for solids using an enriched finite element (FE) basis. The enriched FE basis is constructed by augmenting the classical FE basis with atom-centered numerical basis functions, comprising of atomic solutions to the Kohn-Sham problem. Notably, to improve the conditioning, we orthogonalize the enrichment functions with respect to the classical FE basis, without sacrificing the locality of the resultant basis. In addition to improved conditioning, this orthogonalization procedure also renders the overlap matrix block-diagonal, greatly simplifying its inversion. Subsequently, we use a Chebyshev polynomial based filtering technique to efficiently compute the occupied eigenspace in each self-consistent field iteration. We demonstrate the accuracy and efficiency of the proposed approach on periodic unit-cells and supercells. The benchmark studies show a staggering $130\times$ speedup of the orthogonalized enriched FE basis over the classical FE basis. We also present a comparison of the orthogonalized enriched FE basis with the LAPW+lo basis, both in terms of accuracy and efficiency. Notably, we demonstrate that the orthogonalized enriched FE basis can handle large system sizes of $\sim$10,000 electrons.


title: Appell and Sheffer sequences: on their characterizations through functionals and examples

abstract: The aim of this paper is to present a new simple recurrence for Appell and Sheffer sequences in terms of the linear functional that defines them, and to explain how this is equivalent to several well-known characterizations appearing in the literature. We also give several examples, including integral representations of the inverse operators associated to Bernoulli and Euler polynomials, and a new integral representation of the re-scaled Hermite $d$-orthogonal polynomials generalizing the Weierstrass operator related to the Hermite polynomials.


title: Noncommutative correction to the entropy of BTZ black hole with GUP

abstract: We investigate the effect of noncommutativity and quantum corrections to the temperature and entropy of a BTZ black hole based on a Lorentzian distribution with the generalized uncertainty principle (GUP). To determine the Hawking radiation in the tunneling formalism we apply the Hamilton-Jacobi method by using the Wentzel-Kramers-Brillouin (WKB) approach. In the present study we have obtained logarithmic corrections to entropy due to the effect of noncommutativity and GUP. We also address the issue concerning stability of the non-commutative BTZ black hole by investigating its modified specific heat capacity.


title: Isoperimetric properties of condenser capacity

abstract: For compact subsets $E$ of the unit disk $ \mathbb{D}$ we study the capacity of the condenser ${\rm cap}( \mathbb{D},E)$ by means of set functionals defined in terms of hyperbolic geometry. In particular, we study experimentally the case of a hyperbolic triangle and arrive at the conjecture that of all triangles with the same hyperbolic area, the equilateral triangle has the least capacity.


title: Constrained-Order Prophet Inequalities

abstract: Free order prophet inequalities bound the ratio between the expected value obtained by two parties each selecting a value from a set of independent random variables: a "prophet" who knows the value of each variable and may select the maximum one, and a "gambler" who is free to choose the order in which to observe the values but must select one of them immediately after observing it, without knowing what values will be sampled for the unobserved variables. It is known that the gambler can always ensure an expected payoff at least $0.669\dots$ times as great as that of the prophet. In fact, there exists a threshold stopping rule which guarantees a gambler-to-prophet ratio of at least $1-\frac1e=0.632\dots$. In contrast, if the gambler must observe the values in a predetermined order, the tight bound for the gambler-to-prophet ratio is $1/2$. In this work we investigate a model that interpolates between these two extremes. We assume there is a predefined set of permutations, and the gambler is free to choose the order of observation to be any one of these predefined permutations. Surprisingly, we show that even when only two orderings are allowed---namely, the forward and reverse orderings---the gambler-to-prophet ratio improves to $\varphi^{-1}=0.618\dots$, the inverse of the golden ratio. As the number of allowed permutations grows beyond 2, a striking "double plateau" phenomenon emerges: after increasing from $0.5$ to $\varphi^{-1}$, the gambler-to-prophet ratio achievable by threshold stopping rules does not exceed $\varphi^{-1}+o(1)$ until the number of allowed permutations grows to $O(\log n)$. The ratio reaches $1-\frac1e-\varepsilon$ for a suitably chosen set of $O(\text{poly}(\varepsilon^{-1})\cdot\log n)$ permutations and does not exceed $1-\frac1e$ even when the full set of $n!$ permutations is allowed.


title: Mass-dependent sequential freeze-out of hadrons

abstract: Fluctuation measurements of hadron yields at heavy-ion collisions can reproduce the phase transition parameters of QCD matter. The fluctuation results produce accurate parameters near zero baryonic chemical potential($\mu_B$) being very sensitive in that region. In this work, using the Hadron Resonance Gas Model(HRG), we determine the freeze-out temperatures of the hadrons using individual fluctuation results and find that sequential freeze-out of hadrons during the QCD phase transition near zero $\mu_B$ is dependent on the mass of produced hadronic species. Using recently published results of net-$\Lambda$ fluctuations and some other fluctuation results, we study the phase diagram at low baryonic chemical potential and center-of-mass energies ranging from 19.6 - 200 GeV/$c^2$ and find significant, quantitative evidence to support our claim.


title: Equilibrium eccentricity of accreting binaries

abstract: Using high-resolution hydrodynamics simulations, we show that equal-mass binaries accreting from a circumbinary disk evolve toward an orbital eccentricity of $e \simeq 0.45$, unless they are initialized on a nearly circular orbit with $e \lesssim 0.08$, in which case they further circularize. The implied bi-modal eccentricity distribution resembles that seen in post-AGB stellar binaries. Large accretion spikes around periapse impart a tell-tale, quasi-periodic, bursty signature on the light curves of eccentric binaries. We predict that intermediate-mass and massive black hole binaries at $z \lesssim 10$ entering the \emph{LISA} band will have measurable eccentricities in the range $e \simeq 10^{-3} - 10^{-2}$, if they have experienced a gas-driven phase. On the other hand, GW190521 would have entered the LIGO/Virgo band with undetectable eccentricity $\sim 10^{-6}$ if it had been driven into the gravitational wave regime by a gas disk.


title: Planar Kinematics: Cyclic Fixed Points, Mirror Superpotential, k-Dimensional Catalan Numbers, and Root Polytopes

abstract: In this paper we prove that points in the space $X(k,n)$ of configurations of $n$ points in $\mathbb{CP}^{k-1}$ which are fixed under a certain cyclic action are the solutions to the generalized scattering equations on planar kinematics (PK). In the first part, we give a constructive upper bound: we show that these solutions inject into certain aperiodic k-element subsets of $\{1,\ldots, n\}$, and consequently that their number is bounded above by the number of Lyndon words with k one's and n-k zeros. The proof uses a somewhat surprising connection between the superpotential of the mirror of $G(n-k,n)$ and the generalized CHY potential on $X(k,n)$. We also check the recent conjecture that generalized biadjoint amplitudes evaluate to $k$-dimensional Catalan numbers on PK for several examples including $k=3$ and $n\leq 40$ and $(k,n)=(6,13)$. We then reformulate the CEGM generalized biadjoint scalar amplitude directly as a Laplace transform-type integral over ${\rm Trop}^+ G(k,n)$ and we use it to evaluate the amplitude on PK with the purpose of exhibiting how GFD's glue together. We initiate the study of two minimal lattice polytopal neighborhoods of the planar kinematics point. One of these, the rank-graded root polytope $\mathcal{R}_{k,n}$, in the case $k=2$, is a projection of the standard type A root polytope. The other, denoted $\Pi_{k,n}$, in the case $k=2$, is a degeneration of the associahedron. We check up to and including $\mathcal{R}_{3,9}$ and $\mathcal{R}_{4,9}$ that the relative volume of $\mathcal{R}_{k,n}$ is the multi-dimensional Catalan number $C^{(k)}_{n-k}$, hinting towards the possibility of deeper geometric and combinatorial interpretations of $m^{(k)}(\mathbb{I}_n,\mathbb{I}_n)$ near the PK point.


title: Self-supervised Co-training for Video Representation Learning

abstract: The objective of this paper is visual-only self-supervised video representation learning. We make the following contributions: (i) we investigate the benefit of adding semantic-class positives to instance-based Info Noise Contrastive Estimation (InfoNCE) training, showing that this form of supervised contrastive learning leads to a clear improvement in performance; (ii) we propose a novel self-supervised co-training scheme to improve the popular infoNCE loss, exploiting the complementary information from different views, RGB streams and optical flow, of the same data source by using one view to obtain positive class samples for the other; (iii) we thoroughly evaluate the quality of the learnt representation on two different downstream tasks: action recognition and video retrieval. In both cases, the proposed approach demonstrates state-of-the-art or comparable performance with other self-supervised approaches, whilst being significantly more efficient to train, i.e. requiring far less training data to achieve similar performance.


title: Twice is enough for dangerous eigenvalues

abstract: We analyze the stability of a class of eigensolvers that target interior eigenvalues with rational filters. We show that subspace iteration with a rational filter is robust even when an eigenvalue is near a filter's pole. These dangerous eigenvalues contribute to large round-off errors in the first iteration, but are self-correcting in later iterations. For matrices with orthogonal eigenvectors (e.g., real-symmetric or complex Hermitian), two iterations is enough to reduce round-off errors to the order of the unit-round off. In contrast, Krylov methods accelerated by rational filters with fixed poles typically fail to converge to unit round-off accuracy when an eigenvalue is close to a pole. In the context of Arnoldi with shift-and-invert enhancement, we demonstrate a simple restart strategy that recovers full precision in the target eigenpairs.


title: Business-Driven Technical Debt Prioritization: An Industrial Case Study

abstract: Incorporating the business perspective into prioritizing technical debt is essential to contribute to decision making in industry. In this paper, we evolve and evaluate a business-driven approach for technical debt prioritization. The approach was evaluated during a five-month industrial case study with business and technical stakeholders' active participation. The results show that the approach contributed to aligning business criteria between the business and technical stakeholders. We also observed a downward trend in the amount of technical debt that affects high-value business assets. Moreover, we identified eight business factors that affect the decision making related to the prioritization of technical debt. The study results suggest that the proposed business-driven technical debt prioritization approach can help teams to focus their efforts on paying off the business' most relevant debt.


title: independence: Fast Rank Tests

abstract: In 1948 Hoeffding devised a nonparametric test that detects dependence between two continuous random variables X and Y, based on the ranking of n paired samples (Xi,Yi). The computation of this commonly-used test statistic takes O(n log n) time. Hoeffding's test is consistent against any dependent probability density f(x,y), but can be fooled by other bivariate distributions with continuous margins. Variants of this test with full consistency have been considered by Blum, Kiefer, and Rosenblatt (1961), Yanagimoto (1970), Bergsma and Dassios (2010). The so far best known algorithms to compute these stronger independence tests have required quadratic time. Here we improve their run time to O(n log n), by elaborating on new methods for counting ranking patterns, from a recent paper by the author and Leng (SODA'21). Therefore, in all circumstances under which the classical Hoeffding independence test is applicable, we provide novel competitive algorithms for consistent testing against all alternatives. Our R package, independence, offers a highly optimized implementation of these rank-based tests. We demonstrate its capabilities on large-scale datasets.


title: PseudoSeg: Designing Pseudo Labels for Semantic Segmentation

abstract: Recent advances in semi-supervised learning (SSL) demonstrate that a combination of consistency regularization and pseudo-labeling can effectively improve image classification accuracy in the low-data regime. Compared to classification, semantic segmentation tasks require much more intensive labeling costs. Thus, these tasks greatly benefit from data-efficient training methods. However, structured outputs in segmentation render particular difficulties (e.g., designing pseudo-labeling and augmentation) to apply existing SSL strategies. To address this problem, we present a simple and novel re-design of pseudo-labeling to generate well-calibrated structured pseudo labels for training with unlabeled or weakly-labeled data. Our proposed pseudo-labeling strategy is network structure agnostic to apply in a one-stage consistency training framework. We demonstrate the effectiveness of the proposed pseudo-labeling strategy in both low-data and high-data regimes. Extensive experiments have validated that pseudo labels generated from wisely fusing diverse sources and strong data augmentation are crucial to consistency training for segmentation. The source code is available at https://github.com/googleinterns/wss.


title: A Convenient Generalization of Schlick's Bias and Gain Functions

abstract: We present a generalization of Schlick's bias and gain functions -- simple parametric curve-shaped functions for inputs in [0, 1]. Our single function includes both bias and gain as special cases, and is able to describe other smooth and monotonic curves with variable degrees of asymmetry.


title: Decaying dark matter, the $H_0$ tension, and the lithium problem

abstract: It has long been known that the sharpened tension between the observed and inferred values of the Hubble constant $H_0$ can be alleviated if a fraction of dark matter particles of type $\chi$ were produced non-thermally in association with photons $\gamma$ through the decays of a heavy and relatively long-lived state, viz. $X \to \chi + \gamma$. It was recently proposed that this model can also resolve the longstanding lithium problem if $M= 4$ MeV and $m = 0.04$ keV, where $M$ and $m$ are respectively the masses of $X$ and $\chi$. We confront this proposal with experiment and demonstrate that cold dark matter decaying before recombination cannot resolve the $H_0$ problem. Moreover, we show that the best case scenario for alleviating the $H_0$ tension within the context of cold dark matter decaying before recombination arises when the particles decay exclusively into dark radiation, while leaving completely unmodified the production of light elements. To this end we calculate the general functional form describing the number of equivalent light neutrino species $\Delta N_{eff}$ carried by $\chi$. We show that to resolve the $H_0$ tension at the $1\sigma$ level a 55% correction in $m$ is needed and that the required $\Delta N_{eff}$ is excluded at 95% CL by Planck data. We argue in favor of a more complex model of dynamical dark matter to relax the $H_0$ tension.


title: Cosmology with modified continuity equation in asymptotically safe gravity

abstract: We study FLRW cosmology, taking into account quantum gravitational corrections in the formalism of the exact renormalization group flow of the effective action for gravity. We calculate the quantum corrected scale factor, energy density, and entropy production at late times, taking different cut-off functions. Our approach differs from previous ones in the way energy-momentum conservation is imposed -- we include the running Newton constant $G(k)$ in the definition of energy-momentum tensor, keeping in mind the covariant conservation identity of the Einstein tensor. The quantum corrections obtained in this approach are different from what are found by letting the conservation equation remain the same as for a scale-independent Newton constant. We also find that for a specific choice of the cut-off scale, the quantum corrected behaviour of the Newton constant and the cosmological constant lead to a bouncing emergent universe solution.


title: Cosmic shear power spectra in practice

abstract: Cosmic shear is one of the most powerful probes of Dark Energy, targeted by several current and future galaxy surveys. Lensing shear, however, is only sampled at the positions of galaxies with measured shapes in the catalog, making its associated sky window function one of the most complicated amongst all projected cosmological probes of inhomogeneities, as well as giving rise to inhomogeneous noise. Partly for this reason, cosmic shear analyses have been mostly carried out in real-space, making use of correlation functions, as opposed to Fourier-space power spectra. Since the use of power spectra can yield complementary information and has numerical advantages over real-space pipelines, it is important to develop a complete formalism describing the standard unbiased power spectrum estimators as well as their associated uncertainties. Building on previous work, this paper contains a study of the main complications associated with estimating and interpreting shear power spectra, and presents fast and accurate methods to estimate two key quantities needed for their practical usage: the noise bias and the Gaussian covariance matrix, fully accounting for survey geometry, with some of these results also applicable to other cosmological probes. We demonstrate the performance of these methods by applying them to the latest public data releases of the Hyper Suprime-Cam and the Dark Energy Survey collaborations, quantifying the presence of systematics in our measurements and the validity of the covariance matrix estimate. We make the resulting power spectra, covariance matrices, null tests and all associated data necessary for a full cosmological analysis publicly available.


title: Principle of Multiple Point Criticality in Multi-Scalar Dark Matter Models

abstract: The principle of multiple point criticality (PMPC), which allowed the prediction of the Higgs boson mass before its discovery, has so far been applied to radiatively generated vacua. If this principle is fundamental, following from some presently unknown underlying physics, the PMPC must apply to all vacua, including the multiple vacua of multi-scalar models dominated by tree-level terms. We first motivate this idea and then exemplify it by applying the PMPC to various realizations of singlet scalar dark matter models. We derive constraints on the dark matter properties from the requirement of degenerate vacua and show that some scalar dark matter models are ruled out by the PMPC, while in others the allowed parameters space is constrained.