title: Symplectic keys and Demazure atoms in type C

abstract: We compute, mimicking the Lascoux-Sch\"utzenberger type A combinatorial procedure, left and right keys for a Kashiwara-Nakashima tableau in type C. These symplectic keys have a similar role as the keys for semistandard Young tableaux. More precisely, our symplectic keys give a tableau criterion for the Bruhat order on the hyperoctahedral group and cosets, and describe Demazure atoms and characters in type C. The right and the left symplectic keys are related through the Lusztig involution. A type C Sch\"utzenberger evacuation is defined to realize that involution.


title: On the boundaries of highly connected, almost closed manifolds

abstract: Building on work of Stolz, we prove for integers $0 \le d \le 3$ and $k>232$ that the boundaries of $(k-1)$-connected, almost closed $(2k+d)$-manifolds also bound parallelizable manifolds. Away from finitely many dimensions, this settles longstanding questions of C.T.C. Wall, determines all Stein fillable homotopy spheres, and proves a conjecture of Galatius and Randal-Williams. Implications are drawn for both the classification of highly connected manifolds and, via work of Kreck and Krannich, the calculation of their mapping class groups. Our technique is to recast the Galatius and Randal-Williams conjecture in terms of the vanishing of a certain Toda bracket, and then to analyze this Toda bracket by bounding its $\mathrm{H}\mathbb{F}_p$-Adams filtrations for all primes $p$. We additionally prove new vanishing lines in the $\mathrm{H}\mathbb{F}_p$-Adams spectral sequences of spheres and Moore spectra, which are likely to be of independent interest. Several of these vanishing lines rely on an Appendix by Robert Burklund, which answers a question of Mathew about vanishing curves in $\mathrm{BP} \langle n \rangle$-based Adams spectral sequences.


title: Strong coupling-enabled broadband non-reciprocity

abstract: Non-reciprocity of signal transmission enhances capacity of communication channels and protects transmission quality against possible signal instabilities, thus becoming an important component ensuring coherent information processing. However, non-reciprocal transmission requires breaking time-reversal symmetry (TRS) which poses challenges of both practical and fundamental character hindering the progress. Here we report a new scheme for achieving broadband non-reciprocity using a specially engineered hybrid microwave cavity. The TRS breaking is realized via strong coherent coupling between a selected chiral mode in the microwave cavity and a single collective spin excitation (magnon) in a ferromagnetic yttrium iron garnet (YIG) sphere. The non-reciprocity in transmission is observed spanning nearly a 0.5 GHz frequency band, which outperforms by two orders of magnitude the previously achieved bandwidths. Our findings open new directions for robust coherent information processing in a broad range of systems in both classical and quantum regimes.


title: Geometric structures and the Laplace spectrum, part II

abstract: We continue our exploration of the extent to which the spectrum encodes the local geometry of a locally homogeneous three-manifold and find that if $(M,g)$ and $(N,h)$ are a pair of locally homogeneous, locally non-isometric isospectral three-manifolds, where $M$ is an elliptic three-manifold, then $(1)$ $N$ is also an elliptic three-manifold, $(2)$ $M$ and $N$ have fundamental groups of different orders, $(3)$ $(M,g)$ and $(N,h)$ both have non-degenerate Ricci tensors and $(4)$ the metrics $g$ and $h$ are sufficiently far from a metric of constant sectional curvature. We are unaware of any such isospectral pair and such a pair could not arise via the classical Sunada method. As part of the proof, we provide an explicit description of the isometry group of a compact simple Lie group equipped with a left-invariant metric---improving upon the results of Ochiai-Takahashi and Onishchik---which we use to classify the locally homogeneous metrics on an elliptic three-manifold $\Gamma \backslash S^3$ and we determine that any collection of isospectral locally homogeneous metrics on an elliptic three-manifold consists of at most two isometry classes that are necessarily locally isometric. In particular, the left-invariant metrics on $\operatorname{SO}(3)$ (respectively, $S^3$) can be mutually distinguished via their spectra. The previous statement has the following interpretation in terms of physical chemistry: the moments of inertia of a molecule can be recovered from its rotational spectrum.


title: New weighted $L^2$-type tests for the inverse Gaussian distribution

abstract: We propose a new class of goodness-of-fit tests for the inverse Gaussian distribution. The proposed tests are weighted $L^2$-type tests depending on a tuning parameter. We develop the asymptotic theory under the null hypothesis and under a broad class of alternative distributions. These results are used to show that the parametric bootstrap procedure, which we employ to implement the test, is asymptotically valid and that the whole test procedure is consistent. A comparative simulation study for finite sample sizes shows that the new procedure is competitive to classical and recent tests, outperforming these other methods almost uniformly over a large set of alternative distributions. The use of the newly proposed test is illustrated with two observed data sets.


title: What is Fair? Exploring Pareto-Efficiency for Fairness Constrained Classifiers

abstract: The potential for learned models to amplify existing societal biases has been broadly recognized. Fairness-aware classifier constraints, which apply equality metrics of performance across subgroups defined on sensitive attributes such as race and gender, seek to rectify inequity but can yield non-uniform degradation in performance for skewed datasets. In certain domains, imbalanced degradation of performance can yield another form of unintentional bias. In the spirit of constructing fairness-aware algorithms as societal imperative, we explore an alternative: Pareto-Efficient Fairness (PEF). Theoretically, we prove that PEF identifies the operating point on the Pareto curve of subgroup performances closest to the fairness hyperplane, maximizing multiple subgroup accuracy. Empirically we demonstrate that PEF outperforms by achieving Pareto levels in accuracy for all subgroups compared to strict fairness constraints in several UCI datasets.


title: Optical detection and manipulation of spontaneous gyrotropic electronic order in a transition-metal dichalcogenide semimetal

abstract: The observation of chirality is ubiquitous in nature. Contrary to intuition, the population of opposite chiralities is surprisingly asymmetric at fundamental levels. Examples range from parity violation in the subatomic weak force to the homochirality in essential biomolecules. The ability to achieve chirality-selective synthesis (chiral induction) is of great importance in stereochemistry, molecular biology and pharmacology. In condensed matter physics, a crystalline electronic system is geometrically chiral when it lacks any mirror plane, space inversion center or roto-inversion axis. Typically, the geometrical chirality is predefined by a material's chiral lattice structure, which is fixed upon the formation of the crystal. By contrast, a particularly unconventional scenario is the gyrotropic order, where chirality spontaneously emerges across a phase transition as the electron system breaks the relevant symmetries of an originally achiral lattice. Such a gyrotropic order, proposed as the quantum analogue of the cholesteric liquid crystals, has attracted significant interest. However, to date, a clear observation and manipulation of the gyrotropic order remain challenging. We report the realization of optical chiral induction and the observation of a gyrotropically ordered phase in the transition-metal dichalcogenide semimetal $1T$-TiSe$_2$. We show that shining mid-infrared circularly polarized light near the critical temperature leads to the preferential formation of one chiral domain. As a result, we are able to observe an out-of-plane circular photogalvanic current, whose direction depends on the optical induction. Our study provides compelling evidence for the spontaneous emergence of chirality in the correlated semimetal TiSe$_2$. Such chiral induction provides a new way of optical control over novel orders in quantum materials.


title: Uniformity of fibres of period mappings and the $S$-unit equation

abstract: In this paper we give a refinement of the method introduced by Lawrence and Venkatesh and thereby showing that their proof of Mordell's conjecture is uniform up to a uniform bound on the number of Galois representations attached to some family of abelian varieties. We are also able to give an unconditional proof of a uniform boundedness statement on the number of solutions to $S$-unit equations, which qualitatively is best possible, recovering a result of Evertse.


title: Weak commutativity for pro-$p$ groups

abstract: We define and study a pro-$p$ version of Sidki's weak commutativity construction. This is the pro-$p$ group $\mathfrak{X}_p(G)$ generated by two copies $G$ and $G^{\psi}$ of a pro-$p$ group, subject to the defining relators $[g,g^{\psi}]$ for all $g \in G$. We show for instance that if $G$ is finitely presented or analytic pro-$p$, then $\mathfrak{X}_p(G)$ has the same property. Furthermore we study properties of the non-abelian tensor product and the pro-$p$ version of Rocco's construction $\nu(H)$. We also study finiteness properties of subdirect products of pro-$p$ groups. In particular we prove a pro-$p$ version of the $(n-1)-n-(n+1)$ Theorem.


title: Bayesian causal inference via probabilistic program synthesis

abstract: Causal inference can be formalized as Bayesian inference that combines a prior distribution over causal models and likelihoods that account for both observations and interventions. We show that it is possible to implement this approach using a sufficiently expressive probabilistic programming language. Priors are represented using probabilistic programs that generate source code in a domain specific language. Interventions are represented using probabilistic programs that edit this source code to modify the original generative process. This approach makes it straightforward to incorporate data from atomic interventions, as well as shift interventions, variance-scaling interventions, and other interventions that modify causal structure. This approach also enables the use of general-purpose inference machinery for probabilistic programs to infer probable causal structures and parameters from data. This abstract describes a prototype of this approach in the Gen probabilistic programming language.


title: A new method to build the (inverse) distance ladder

abstract: The cosmic distance ladder is the succession of techniques by which it is possible to determine distances to astronomical objects. Here, we present a new method to build the cosmic distance ladder, going from local astrophysical measurements to the CMB. Instead of relying on high-redshift cosmography in order to model the luminosity-distance relation and calibrate supernovae with BAO, we exploit directly the distance-duality relation $d_L = (1+z)^2 d_A$---valid if photon number is conserved and gravity is described by a metric theory. The advantage is that the results will not depend on the parametrization of the luminosity-distance relation at $z>0.15$: no model is adopted in order to calibrate BAO with supernovae. This method yields local measurements of the Hubble constant and deceleration parameter. Furthermore, it can directly assess the impact of BAO observations on the strong 4--5$\sigma$ tension between local and global $H_0$. Using the latest supernova, BAO and CMB observations, we found a consistently low value of $q_0$ and strong inconsistency between angular-only BAO constraints and anisotropic BAO measurements, which are, or not, in agreement with CMB depending on the kind of analysis (see Table~$4$). We conclude that, in order to understand the reasons behind the $H_0$ crisis, a first step should be clarifying the tension between angular and perpendicular anisotropic BAO as this will help understanding if new physics is required at the pre-recombination epoch or/and during the dark energy era.


title: Electron-hole Hybridization in Bilayer Graphene

abstract: Band structure determines the motion of electrons in a solid, giving rise to exotic phenomena when properly engineered. Drawing an analogy between electrons and photons, artificially designed optical lattices indicate the possibility of a similar band modulation effect in graphene systems. Yet due to the fermionic nature of electrons, modulated electronic systems promise far richer categories of behaviors than those found in optical lattices. Here, we uncovered a strong modulation of electronic states in bilayer graphene subject to periodic potentials. We observed for the first time the hybridization of electron and hole sub-bands, resulting in local band gaps at both primary and secondary charge neutrality points. Such hybridization leads to the formation of flat bands, enabling the study of correlated effects in graphene systems. This work may also offer a viable platform to form and continuously tune Majorana zero modes, which is important to the realization of topological quantum computation.


title: Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems

abstract: Digital embedded systems in safety-critical cyber-physical-systems (CPSs) require high levels of resilience and robustness against different fault classes. In recent years, self-healing concepts based on biological physiology have received attention for the design and implementation of reliable systems. However, many of these approaches have not been architected from the outset with safety in mind, nor have they been targeted for the safety-related automation industry where the significant need exists. This study presents a new self-healing hardware architecture inspired by integrating biological concepts, fault tolerance techniques, and IEC 61131-3 operational schematics to facilitate adaption in automation and critical infrastructure. The proposed architecture is organised in two levels: the critical functions layer used for providing the intended service of the application and the healing layer that continuously monitors the correct execution of that application and generates health syndromes to heal any failure occurrence inside the functions layer. Finally, two industrial applications have been mapped on this architecture to date, and the authors believe the nexus of its concepts can positively impact the next generation of critical CPSs in industrial automation.


title: $\mathrm{GL}_2\times\mathrm{GSp}_2$ $L$-values and Hecke eigenvalue congruences

abstract: We find experimental examples of congruences of Hecke eigenvalues between automorphic representations of groups such as $\mathrm{GSp}_2(\mathbb{A})$, $\mathrm{SO}(4,3)(\mathbb{\mathbb{A}})$ and $\mathrm{SO}(5,4)(\mathbb{A})$, where the prime modulus should, for various reasons, appear in the algebraic part of a critical "tensor-product" $L$-value associated to cuspidal automorphic representations of $\mathrm{GL}_2(\mathbb{A})$ and $\mathrm{GSp}_2(\mathbb{A})$. Using special techniques for evaluating $L$-functions with few known coefficients, we compute sufficiently good approximations to detect the anticipated prime divisors.


title: Dividing a Graphical Cake

abstract: We consider the classical cake-cutting problem where we wish to fairly divide a heterogeneous resource, often modeled as a cake, among interested agents. Work on the subject typically assumes that the cake is represented by an interval. In this paper, we introduce a generalized setting where the cake can be in the form of the set of edges of an undirected graph. This allows us to model the division of road or cable networks. Unlike in the canonical setting, common fairness criteria such as proportionality cannot always be satisfied in our setting if each agent must receive a connected subgraph. We determine the optimal approximation of proportionality that can be obtained for any number of agents with arbitrary valuations, and exhibit tight guarantees for each graph in the case of two agents. In addition, when more than one connected piece per agent is allowed, we establish the best egalitarian welfare guarantee for each total number of connected pieces. We also study a number of variants and extensions, including when approximate equitability is considered, or when the item to be divided is undesirable (also known as chore division).


title: A Semiparametric Approach to Model-based Sensitivity Analysis in Observational Studies

abstract: When drawing causal inference from observational data, there is always concern about unmeasured confounding. One way to tackle this is to conduct a sensitivity analysis. One widely-used sensitivity analysis framework hypothesizes the existence of a scalar unmeasured confounder U and asks how the causal conclusion would change were U measured and included in the primary analysis. Works along this line often make various parametric assumptions on U, for the sake of mathematical and computational simplicity. In this article, we further this line of research by developing a valid sensitivity analysis that leaves the distribution of U unrestricted. Our semiparametric estimator has three desirable features compared to many existing methods in the literature. First, our method allows for a larger and more flexible family of models, and mitigates observable implications (Franks et al., 2019). Second, our methods work seamlessly with any primary analysis that models the outcome regression parametrically. Third, our method is easy to use and interpret. We construct both pointwise confidence intervals and confidence bands that are uniformly valid over a given sensitivity parameter space, thus formally accounting for unknown sensitivity parameters. We apply our proposed method on an influential yet controversial study of the causal relationship between war experiences and political activeness using observational data from Uganda.


title: Combining magneto-hydrostatic constraints with Stokes profiles inversions

abstract: Inversion codes for the polarized radiative transfer equation can be used to infer the temperature $T$, line-of-sight velocity $v_{\rm los}$, and magnetic field $\rm{\bf B}$ as a function of the continuum optical-depth $\tau_{\rm c}$. However, they do not directly provide the gas pressure $P_{\rm g}$ or density $\rho$. In order to obtain these latter parameters, inversion codes rely instead on the assumption of hydrostatic equilibrium (HE) in addition to the equation of state (EOS). Unfortunately, the assumption of HE is rather unrealistic across magnetic field lines. This is because the role of the Lorentz force, among other factors, is neglected. This translates into an inaccurate conversion from optical depth $\tau_{\rm c}$ to geometrical height $z$. We aim at improving this conversion via the application of magneto-hydrostatic (MHS) equilibrium instead of HE. We develop a method to solve the momentum equation under MHS equilibrium (i.e., taking the Lorentz force into account) in three dimensions. The method is based on the solution of a Poisson-like equation. Considering the gas pressure $P_{\rm g}$ and density $\rho$ from three-dimensional magneto-hydrodynamic (MHD) simulations of sunspots as a benchmark, we compare the results from the application of HE and MHS equilibrium. We find that HE retrieves the gas pressure and density within an order of magnitude of the MHD values in only about 47 \% of the domain. This translates into an error of about $160-200$ km in the determination of the $z-\tau_{\rm c}$ conversion. On the other hand, the application of MHS equilibrium allows determination of $P_{\rm g}$ and $\rho$ within an order of magnitude in 84 \% of the domain. In this latter case, the $z-\tau_{\rm c}$ conversion is obtained with an accuracy of $30-70$ km.


title: A dynamical construction of Liouville domains

abstract: We first present a general construction of Liouville domains as partial mapping tori. Then we study two examples where the (partial) monodromies exhibit certain hyperbolic behavior in the sense of Dynamical Systems. The first example is based on Smale's attractor, a.k.a., solenoid; and the second example is based on certain hyperbolic toral automorphisms.


title: Quantum features of entropy production in driven-dissipative transitions

abstract: The physics of driven-dissipative transitions is currently a topic of great interest, particularly in quantum optical systems. These transitions occur in systems kept out of equilibrium and are therefore characterized by a finite entropy production rate. However, very little is known about how the entropy production behaves around criticality and all of it is restricted to classical systems. Using quantum phase-space methods, we put forth a framework that allows for the complete characterization of the entropy production in driven-dissipative transitions. Our framework is tailored specifically to describe photon loss dissipation, which is effectively a zero temperature process for which the standard theory of entropy production breaks down. As an application, we study the open Dicke and Kerr models, which present continuous and discontinuous transitions, respectively.We find that the entropy production naturally splits into two contributions. One matches the behavior observed in classical systems. The other diverges at the critical point.


title: Meta-Learning to Cluster

abstract: Clustering is one of the most fundamental and wide-spread techniques in exploratory data analysis. Yet, the basic approach to clustering has not really changed: a practitioner hand-picks a task-specific clustering loss to optimize and fit the given data to reveal the underlying cluster structure. Some types of losses---such as k-means, or its non-linear version: kernelized k-means (centroid based), and DBSCAN (density based)---are popular choices due to their good empirical performance on a range of applications. Although every so often the clustering output using these standard losses fails to reveal the underlying structure, and the practitioner has to custom-design their own variation. In this work we take an intrinsically different approach to clustering: rather than fitting a dataset to a specific clustering loss, we train a recurrent model that learns how to cluster. The model uses as training pairs examples of datasets (as input) and its corresponding cluster identities (as output). By providing multiple types of training datasets as inputs, our model has the ability to generalize well on unseen datasets (new clustering tasks). Our experiments reveal that by training on simple synthetically generated datasets or on existing real datasets, we can achieve better clustering performance on unseen real-world datasets when compared with standard benchmark clustering techniques. Our meta clustering model works well even for small datasets where the usual deep learning models tend to perform worse.


title: On the Relationship between Dust Devil Radii and Heights

abstract: The influence of dust devils on the martian atmosphere depends on their capacity to loft dust, which depends on their wind profiles and footprint on the martian surface, i.e., on their radii, $R$. Previous work suggests the wind profile depends on a devil's thermodynamic efficiency, which scales with its height, $h$. However, the precise mechanisms that set a dust devil's radius have remained unclear. Combining previous work with simple assumptions about angular momentum conservation in dust devils predicts that $R \propto h^{1/2}$, and a model fit to observed radii and heights from a survey of martian dust devils using the Mars Express High Resolution Stereo Camera agrees reasonably well with this prediction. Other observational tests involving additional, statistically robust dust devil surveys and field measurements may further elucidate these relationships.


title: Competition between Kondo and Kitaev Physics in Kitaev clusters coupled to a fermionic bath

abstract: Geometrically frustrated quantum impurities coupled to metallic leads have been shown to exhibit rich behavior with a quantum phase transition separating Kondo screened and local moment phases. Frustration in the quantum impurity can alternatively be introduced via Kitaev-couplings between different spins of the impurity cluster. We use the Numerical Renormalization Group (NRG) to study a range of systems where the quantum impurity comprising a Kitaev cluster is coupled to a bath of non-interacting fermions. The models exhibits a competition between Kitaev and Kondo dominated physics depending on whether the Kitaev couplings are greater or less than the Kondo temperature. We characterize the ground state properties of the system and determine the temperature dependence of the crossover scale for the emergence of fractionalized degrees of freedom in the model. We also demonstrate qualitatively as well as quantitatively that in the Kondo limit, the complex impurity can be mapped to an effective two-impurity system, where the emergent spin $1/2$ comprises of both Majorana and flux degrees of freedom. For a tetrahedral-shaped Kitaev cluster, an extra orbital degree of freedom closely related to a flux degree of freedom remains unscreened even in the presence of both Heisenberg and Kondo interactions.


title: Investigating Under and Overfitting in Wasserstein Generative Adversarial Networks

abstract: We investigate under and overfitting in Generative Adversarial Networks (GANs), using discriminators unseen by the generator to measure generalization. We find that the model capacity of the discriminator has a significant effect on the generator's model quality, and that the generator's poor performance coincides with the discriminator underfitting. Contrary to our expectations, we find that generators with large model capacities relative to the discriminator do not show evidence of overfitting on CIFAR10, CIFAR100, and CelebA.


title: Belief revision and 3-valued logics: Characterization of 19,683 belief change operators

abstract: In most classical models of belief change, epistemic states are represented by theories (AGM) or formulas (Katsuno-Mendelzon) and the new pieces of information by formulas. The Representation Theorem for revision operators says that operators are represented by total preorders. This important representation is exploited by Darwiche and Pearl to shift the notion of epistemic state to a more abstract one, where the paradigm of epistemic state is indeed that of a total preorder over interpretations. In this work, we introduce a 3-valued logic where the formulas can be identified with a generalisation of total preorders of three levels: a ranking function mapping interpretations into the truth values. Then we analyse some sort of changes in this kind of structures and give syntactical characterizations of them.


title: FutureMapping 2: Gaussian Belief Propagation for Spatial AI

abstract: We argue the case for Gaussian Belief Propagation (GBP) as a strong algorithmic framework for the distributed, generic and incremental probabilistic estimation we need in Spatial AI as we aim at high performance smart robots and devices which operate within the constraints of real products. Processor hardware is changing rapidly, and GBP has the right character to take advantage of highly distributed processing and storage while estimating global quantities, as well as great flexibility. We present a detailed tutorial on GBP, relating to the standard factor graph formulation used in robotics and computer vision, and give several simulation examples with code which demonstrate its properties.


title: Local Cohomology and Degree Complexes of Monomial Ideals

abstract: This paper examines the dimension of the graded local cohomology $H_\mathfrak{m}^p(S/K^s)_\gamma$ and $H_\mathfrak{m}^p(S/K^{(s)})$ for a monomial ideal $K$. This information is encoded in the reduced homology of a simplicial complex called the degree complex. We explicitly compute the degree complexes of ordinary and symbolic powers of sums and fiber products of ideals, as well as the degree complex of the mixed product, in terms of the degree complexes of their components. We then use homological techniques to discuss the cohomology of their quotient rings. In particular, this technique allows for the explicit computation of $\text{reg} ((I + J + \mathfrak{m}\mathfrak{n})^{(s)})$ in terms of the regularities of $I^{(i)}$ and $J^{(j)}$.


title: Byzantine Lattice Agreement in Synchronous Systems

abstract: In this paper, we study the Byzantine lattice agreement problem in synchronous systems. The lattice agreement problem in crash failure model has been studied both in synchronous and asynchronous systems, which leads to the current best upper bound of $O(\log f)$ rounds in both systems. However, very few algorithmic results are known for the lattice agreement problem in Byzantine failure model. The paper [Nowak et al., DISC, 2019] first gives an algorithm for a variant of the lattice agreement problem on cycle-free lattices that tolerates up to $f < n/(h(X) + 1)$ Byzantine faults, where $n$ is the number of processes and $h(X)$ is the height of the input lattice $X$. The recent preprint by Di et al. studies this problem with a slightly modified validity condition in asynchronous systems. They present a $O(f)$ rounds algorithm by using the reliable broadcast primitive as a first step and following the similar algorithmic framework as the algorithms in crash failure model. In this paper, we propose three algorithms for the Byzantine lattice agreement problem in synchronous systems. The first algorithm takes $\min \{3h(X) + 6,6\sqrt{f} + 6\})$ rounds and $O(n^2 \min\{h(X), \sqrt{f}\})$ messages, where $h(X)$ is the height of the input lattice $X$, $n$ is the total number of processes. The second algorithm runs in $3\log n + 3$ rounds and takes $O(n^2 \log n)$ messages. The third algorithm takes $4 \log f + 3$ rounds and takes $O(n^2 \log f)$ messages. All algorithms can tolerate up to $f < \frac{n}{3}$ Byzantine failures.


title: Discourse-Aware Neural Extractive Text Summarization

abstract: Recently BERT has been adopted for document encoding in state-of-the-art text summarization models. However, sentence-based extractive models often result in redundant or uninformative phrases in the extracted summaries. Also, long-range dependencies throughout a document are not well captured by BERT, which is pre-trained on sentence pairs instead of documents. To address these issues, we present a discourse-aware neural summarization model - DiscoBert. DiscoBert extracts sub-sentential discourse units (instead of sentences) as candidates for extractive selection on a finer granularity. To capture the long-range dependencies among discourse units, structural discourse graphs are constructed based on RST trees and coreference mentions, encoded with Graph Convolutional Networks. Experiments show that the proposed model outperforms state-of-the-art methods by a significant margin on popular summarization benchmarks compared to other BERT-base models.


title: On a stratification of the space of (projective) measured laminations

abstract: We introduce a natural stratification of the space of projective classes of measured laminations on a complete hyperbolic surface of finite area. We prove a rigidity result, namely, the group of self-homeomorphisms of the space of projective measured laminations that preserve such a stratification is in general identified with the extended mapping class group of the corresponding surface. We use this approach to fill a gap in the proof of the rigidity of the action of the extended mapping class group on the unmeasured laminations space.


title: Adjoint approach to calculating shape gradients for three-dimensional magnetic confinement equilibria. Part II: Applications

abstract: The shape gradient is a local sensitivity function that provides the change in a figure of merit associated with a perturbation to the shape of the object. The shape gradient can be used for gradient-based optimization, sensitivity analysis, and tolerance calculations. However, it is generally expensive to compute from finite-difference derivatives for shapes which are described by many parameters, as is the case for stellarator geometry. In an accompanying work (Antonsen et al. 2019), generalized self-adjointness relations are obtained for MHD equilibria. These describe the relation between perturbed equilibria due to changes in the rotational transform or toroidal current profiles, displacements of the plasma boundary, modifications of currents in the vacuum region, or the addition of bulk forces. These are applied to efficiently compute the shape gradient of functions of magnetohydrodynamic (MHD) equilibria with an adjoint approach. In this way, the shape derivative with respect to any perturbation applied to the plasma boundary or coil shapes can be computed with only one additional MHD equilibrium solution. We demonstrate that this approach is applicable for several figures of merit of interest for stellarator configuration optimization: the magnetic well, the magnetic ripple on axis, the departure from quasisymmetry, the effective ripple in the low-collisionality $1/\nu$ regime ($\epsilon_{\text{eff}}^{3/2})$ (Nemov et al. 1999), and several finite collisionality neoclassical quantities. Numerical verification is demonstrated for the magnetic well figure of merit with the VMEC code (Hirshman & Whitson 1983) and for the magnetic ripple with modification of the ANIMEC code (Cooper et al. 1992). Comparisons with the direct approach demonstrate that to obtain agreement within several percent, the adjoint approach provides a factor of $\mathcal{O}(10^3)$ in computational savings.


title: Parameter elimination in particle Gibbs sampling

abstract: Bayesian inference in state-space models is challenging due to high-dimensional state trajectories. A viable approach is particle Markov chain Monte Carlo, combining MCMC and sequential Monte Carlo to form "exact approximations" to otherwise intractable MCMC methods. The performance of the approximation is limited to that of the exact method. We focus on particle Gibbs and particle Gibbs with ancestor sampling, improving their performance beyond that of the underlying Gibbs sampler (which they approximate) by marginalizing out one or more parameters. This is possible when the parameter prior is conjugate to the complete data likelihood. Marginalization yields a non-Markovian model for inference, but we show that, in contrast to the general case, this method still scales linearly in time. While marginalization can be cumbersome to implement, recent advances in probabilistic programming have enabled its automation. We demonstrate how the marginalized methods are viable as efficient inference backends in probabilistic programming, and demonstrate with examples in ecology and epidemiology.


title: Spectral gap of scl in graphs of groups and $3$-manifolds

abstract: The stable commutator length scl_G(g) of an element g in a group G is an invariant for group elements sensitive to the geometry and dynamics of G. For any group G acting on a tree, we prove a sharp bound scl_G(g)>=1/2 for any g acting without fixed points, provided that the stabilizer of each edge is relatively torsion-free in its vertex stabilizers. The sharp gap becomes 1/2-1/n if the edge stabilizers are n-relatively torsion-free in vertex stabilizers. We also compute scl_G for elements acting with a fixed point. This implies many such groups have a spectral gap, that is, there is a constant C>0 such that either scl_G(g)>=C or scl_G(g)=0. New examples include the fundamental group of any 3-manifold using the JSJ decomposition, though the gap must depend on the manifold. We also compute the exact gap of graph products. We prove these statements by characterizing maps of surfaces to a suitable K(G,1). In many cases, we also find families of quasimorphisms that realize these gaps. In particular, we construct quasimorphisms realizing the 1/2-gap for free groups explicitly induced by actions on the circle.


title: A Unified Framework for Data Poisoning Attack to Graph-based Semi-supervised Learning

abstract: In this paper, we proposed a general framework for data poisoning attacks to graph-based semi-supervised learning (G-SSL). In this framework, we first unify different tasks, goals, and constraints into a single formula for data poisoning attack in G-SSL, then we propose two specialized algorithms to efficiently solve two important cases --- poisoning regression tasks under $\ell_2$-norm constraint and classification tasks under $\ell_0$-norm constraint. In the former case, we transform it into a non-convex trust region problem and show that our gradient-based algorithm with delicate initialization and update scheme finds the (globally) optimal perturbation. For the latter case, although it is an NP-hard integer programming problem, we propose a probabilistic solver that works much better than the classical greedy method. Lastly, we test our framework on real datasets and evaluate the robustness of G-SSL algorithms. For instance, on the MNIST binary classification problem (50000 training data with 50 labeled), flipping two labeled data is enough to make the model perform like random guess (around 50\% error).


title: Constraining X-ray Coronal Size with Transverse Motion of AGN Ultra-Fast Outflows

abstract: One of the canonical physical properties of ultra-fast outflows (UFOs) seen in a diverse population of active galactic nuclei (AGNs) is its seemingly very broad width (i.e. $\Delta v \sim 10,000$ km~s$^{-1}$) , a feature often required for X-ray spectral modeling. While unclear to date, this condition is occasionally interpreted and justified as internal turbulence within the UFOs for simplicity. In this work, we exploit a transverse motion of a three-dimensional accretion-disk wind, an essential feature of non-radial outflow morphology unique to magnetohydrodynamic (MHD) outflows. We argue that at least part of the observed line width of UFOs may reflect the degree of transverse velocity gradient due to Doppler broadening around a putative compact X-ray corona in the proximity of a black hole. In this scenario, line broadening is sensitive to the geometrical size of the corona, $R_c$. We calculate the broadening factor as a function of coronal radius $R_c$ and velocity smearing factor $f_{\rm sm}$ at a given plasma position. We demonstrate, as a case study of the quasar, PDS~456, that the spectral analysis favors a compact coronal size of $R_c /R_g \lesssim 10$ where $R_g$ is gravitational radius. Such a compact corona is long speculated from both X-ray reverberation study and the lamppost model for disk emission also consistent with microlensing results. Combination of such a transverse broadening around a small corona can be a direct probe of a substantial rotational motion perhaps posing a serious challenge to radiation-driven wind viewpoint.


title: A fast method for particle tracking and triggering using small-radius silicon detectors

abstract: We propose an algorithm, deployable on a highly-parallelized graph computing architecture, to perform rapid reconstruction of charged-particle trajectories in the high energy collisions at the Large Hadron Collider and future colliders. We use software emulation to show that the algorithm can achieve an efficiency in excess of 99.95% for reconstruction with good accuracy. The algorithm can be implemented on silicon-based integrated circuits using field-programmable gate array technology. Our approach can enable a fast trigger for massive charged particles that decay invisibly in the tracking volume, as in some new-physics scenarios related to particulate dark matter. If production of dark matter or other new neutral particles is mediated by metastable charged particles and is not associated with other triggerable energy deposition in the detectors, our method would be useful for triggering on the charged mediators using the small-radius silicon detectors.


title: Backhaul-aware Uplink Communications in Full-Duplex DBS-aided HetNets

abstract: Drone-mounted base stations (DBSs) are promising solutions to provide ubiquitous connections to users and support many applications in the fifth generation of mobile networks while full duplex communications has the potential to improve the spectrum efficiency. In this paper, we have investigated the backhaul-aware uplink communications in a full-duplex DBS-aided HetNet (BUD) problem with the objective to maximize the total throughput of the network, and this problem is decomposed into two sub-problems: the DBS Placement problem (including the vertical dimension and horizontal dimensions) and the joint UE association, power and bandwidth assignment (Joint-UPB) problem. Since the BUD problem is NP-hard, we propose approximation algorithms to solve the sub-problems and another, named the AA-BUD algorithm, to solve the BUD problem with guaranteed performance. The performance of the AA-BUD algorithm has been demonstrated via extensive simulations, and it is superior to two benchmark algorithms with up to 45.8% throughput improvement.


title: The area is a good enough metric

abstract: In the first part we extend the construction of the smooth normal-crossing divisors compactification of projectivized strata of abelian differentials given by Bainbridge, Chen, Gendron, Grushevsky and Moeller to the case of k-differentials. Since the generalized construction is closely related to the original one, we mainly survey their results and justify the details that need to be adapted in the more general context. In the second part we show that the flat area provides a canonical hermitian metric on the tautological bundle over the projectivized strata of finite area k-differentials whose curvature form represents the first Chern class. This result is useful in order to apply Chern-Weyl theory tools. It has already been used as an assumption in the work of Sauvaget for abelian differentials and is also used in a paper of Chen, M\"oller and Sauvaget for quadratic differentials.


title: Axion Kinetic Misalignment Mechanism

abstract: In the conventional misalignment mechanism, the axion field has a constant initial field value in the early universe and later begins to oscillate. We present an alternative scenario where the axion field has a nonzero initial velocity, allowing an axion decay constant much below the conventional prediction from axion dark matter. This axion velocity can be generated from explicit breaking of the axion shift symmetry in the early universe, which may occur as this symmetry is approximate.


title: Improved Bounds for Track Numbers of Planar Graphs

abstract: A track layout of a graph consists of a vertex coloring and a total order of each color class, such that no two edges cross between any two color classes. The track number of a graph is the minimum number of colors required by a track layout of the graph. This paper improves lower and upper bounds on the track number of several families of planar graphs. We prove that every planar graph has track number at most $225$ and every planar $3$-tree has track number at most $25$. Then we show that there exist outerplanar graphs whose track number is $5$, which leads to the best known lower bound of $8$ for planar graphs. Finally, we investigate leveled planar graphs and tighten bounds on the track number of weakly leveled graphs, Halin graphs, and X-trees.


title: Improved Local Computation Algorithm for Set Cover via Sparsification

abstract: We design a Local Computation Algorithm (LCA) for the set cover problem. Given a set system where each set has size at most $s$ and each element is contained in at most $t$ sets, the algorithm reports whether a given set is in some fixed set cover whose expected size is $O(\log{s})$ times the minimum fractional set cover value. Our algorithm requires $s^{O(\log{s})} t^{O(\log{s} \cdot (\log \log{s} + \log \log{t}))}$ queries. This result improves upon the application of the reduction of [Parnas and Ron, TCS'07] on the result of [Kuhn et al., SODA'06], which leads to a query complexity of $(st)^{O(\log{s} \cdot \log{t})}$. To obtain this result, we design a parallel set cover algorithm that admits an efficient simulation in the LCA model by using a sparsification technique introduced in [Ghaffari and Uitto, SODA'19] for the maximal independent set problem. The parallel algorithm adds a random subset of the sets to the solution in a style similar to the PRAM algorithm of [Berger et al., FOCS'89]. However, our algorithm differs in the way that it never revokes its decisions, which results in a fewer number of adaptive rounds. This requires a novel approximation analysis which might be of independent interest.


title: A Precision Measurement of the Neutron Scattering Length of He-4 Using Neutron Interferometry

abstract: We report a 0.08 % measurement of the bound neutron scattering length of $^4$He using neutron interferometry. The result is $b = (3.0982 \pm 0.0021 \mbox{ [stat]} \pm 0.0014 \mbox{ [sys]}) \mbox{ fm}$. The corresponding free atomic scattering length is $a = (2.4746 \pm 0.0017 \mbox{ [stat]} \pm 0.0011 \mbox{ [sys]}) \mbox{ fm}$. With this result the world average becomes $b = (3.0993 \pm 0.0025)$ fm, a 2 % downward shift and a reduction in uncertainty by more than a factor of six. Our result is in disagreement with a previous neutron interferometric measurement but is in good agreement with earlier measurements using neutron transmission.


title: Distributed quantum sensing enhanced by continuous-variable error correction

abstract: A distributed sensing protocol uses a network of local sensing nodes to estimate a global feature of the network, such as a weighted average of locally detectable parameters. In the noiseless case, continuous-variable multipartite entanglement shared by the nodes can improve the precision of parameter estimation relative to the precision attainable by a network without shared entanglement; for an entangled protocol, the root-mean-square estimation error scales like $1/M$ with the number $M$ of sensing nodes, the so-called Heisenberg scaling, while for protocols without entanglement, the error scales like $1/\sqrt{M}$. However, in the presence of loss and other noise sources, although multipartite entanglement still has some advantages for sensing displacements and phases, the scaling of the precision with $M$ is less favorable. In this paper, we show that using continuous-variable error correction codes can enhance the robustness of sensing protocols against imperfections and reinstate Heisenberg scaling up to moderate values of $M$. Furthermore, while previous distributed sensing protocols could measure only a single quadrature, we construct a protocol in which both quadratures can be sensed simultaneously. Our work demonstrates the value of continuous-variable error correction codes in realistic sensing scenarios.


title: Largest hyperbolic actions and quasi-parabolic actions in groups

abstract: The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the "best" hyperbolic action of a group as the largest element of this poset, if such an element exists. We call such an action a largest hyperbolic action. While hyperbolic groups admit largest hyperbolic actions, we give evidence in this paper that this phenomenon is rare for non-hyperbolic groups. In particular, we prove that many families of groups of geometric origin do not have largest hyperbolic actions, including for instance many 3-manifold groups and most mapping class groups. Our proofs use the quasi-trees of metric spaces of Bestvina--Bromberg--Fujiwara, among other tools. In addition, we give a complete characterization of the poset of hyperbolic actions of Anosov mapping torus groups, and we show that mapping class groups of closed surfaces of genus at least two have hyperbolic actions which are comparable only to the trivial action.


title: Understanding Thermal Annealing of Artificial Spin Ice

abstract: We have performed a detailed study of thermal annealing of the moment configuration in artificial spin ice. Permalloy (Ni$_{80}$Fe$_{20}$) artificial spin ice samples were examined in the prototypical square ice geometry, studying annealing as a function of island thickness, island shape, and annealing temperature and duration. We also measured the Curie temperature as a function of film thickness, finding that thickness has a strong effect on the Curie temperature in regimes of relevance to many studies of the dynamics of artificial spin ice systems. Increasing the interaction energy between island moments and reducing the energy barrier to flipping the island moments allows the system to more closely approach the collective low energy state of the moments upon annealing, suggesting new channels for understanding the thermalization processes in these important model systems.


title: Integrating Transposable Elements in the 3D Genome

abstract: Chromosome organisation is increasingly recognised as an essential component of genome regulation, cell fate and cell health. Within the realm of transposable elements (TEs) however, the spatial information of how genomes are folded is still only rarely integrated in experimental studies or accounted for in modelling. Here, we propose a new predictive modelling framework for the study of the integration patterns of TEs based on extensions of widely employed polymer models for genome organisation. Whilst polymer physics is recognised as an important tool to understand the mechanisms of genome folding, we now show that it can also offer orthogonal and generic insights into the integration and distribution profiles (or "topography") of TEs across organisms. Here, we present polymer physics arguments and molecular dynamics simulations on TEs inserting into heterogeneously flexible polymers and show with a simple model that polymer folding and local flexibility affects TE integration patterns. The preliminary discussion presented herein lay the foundations for a large-scale analysis of TE integration dynamics and topography as a function of the three-dimensional host genome.


title: GRB171010A / SN2017htp: a GRB-SN at z=0.33

abstract: The number of supernovae known to be connected with long-duration gamma-ray bursts is increasing and the link between these events is no longer exclusively found at low redshift ($z \lesssim 0.3$) but is well established also at larger distances. We present a new case of such a liaison at $z = 0.33$ between GRB\,171010A and SN\,2017htp. It is the second closest GRB with an associated supernova of only three events detected by Fermi-LAT. The supernova is one of the few higher redshift cases where spectroscopic observations were possible and shows spectral similarities with the well-studied SN\,1998bw, having produced a similar Ni mass ($M_{\rm Ni}=0.33\pm0.02 ~\rm{M_{\odot}}$) with slightly lower ejected mass ($M_{\rm ej}=4.1\pm0.7~\rm{M_{\odot}}$) and kinetic energy ($E_{\rm K} = 8.1\pm2.5 \times 10^{51} ~\rm{erg}$). The host-galaxy is bigger in size than typical GRB host galaxies, but the analysis of the region hosting the GRB revealed spectral properties typically observed in GRB hosts and showed that the progenitor of this event was located in a very bright HII region of its face-on host galaxy, at a projected distance of $\sim$ 10 kpc from its galactic centre. The star-formation rate (SFR$_{GRB} \sim$ 0.2 M$_{\odot}$~yr$^{-1}$) and metallicity (12 + log(O/H) $\sim 8.15 \pm 0.10$) of the GRB star-forming region are consistent with those of the host galaxies of previously studied GRB-SN systems.


title: How does Grammatical Gender Affect Noun Representations in Gender-Marking Languages?

abstract: Many natural languages assign grammatical gender also to inanimate nouns in the language. In such languages, words that relate to the gender-marked nouns are inflected to agree with the noun's gender. We show that this affects the word representations of inanimate nouns, resulting in nouns with the same gender being closer to each other than nouns with different gender. While "embedding debiasing" methods fail to remove the effect, we demonstrate that a careful application of methods that neutralize grammatical gender signals from the words' context when training word embeddings is effective in removing it. Fixing the grammatical gender bias yields a positive effect on the quality of the resulting word embeddings, both in monolingual and cross-lingual settings. We note that successfully removing gender signals, while achievable, is not trivial to do and that a language-specific morphological analyzer, together with careful usage of it, are essential for achieving good results.


title: Lsh-sampling Breaks the Computation Chicken-and-egg Loop in Adaptive Stochastic Gradient Estimation

abstract: Stochastic Gradient Descent or SGD is the most popular optimization algorithm for large-scale problems. SGD estimates the gradient by uniform sampling with sample size one. There have been several other works that suggest faster epoch-wise convergence by using weighted non-uniform sampling for better gradient estimates. Unfortunately, the per-iteration cost of maintaining this adaptive distribution for gradient estimation is more than calculating the full gradient itself, which we call the chicken-and-the-egg loop. As a result, the false impression of faster convergence in iterations, in reality, leads to slower convergence in time. In this paper, we break this barrier by providing the first demonstration of a scheme, Locality sensitive hashing (LSH) sampled Stochastic Gradient Descent (LGD), which leads to superior gradient estimation while keeping the sampling cost per iteration similar to that of the uniform sampling. Such an algorithm is possible due to the sampling view of LSH, which came to light recently. As a consequence of superior and fast estimation, we reduce the running time of all existing gradient descent algorithms, that relies on gradient estimates including Adam, Ada-grad, etc. We demonstrate the effectiveness of our proposal with experiments on linear models as well as the non-linear BERT, which is a recent popular deep learning based language representation model.


title: Nonequilibrium Theory of Epigenomic Microphase Separation in the Cell Nucleus

abstract: Understanding the spatial organisation of the genome in the cell nucleus is one of the current grand challenges in biophysics. Certain biochemical -- or epigenetic -- marks that are deposited along the genome are thought to play an important, yet poorly understood, role in determining genome organisation and cell identity. The physical principles underlying the interplay between epigenetic dynamics and genome folding remain elusive. Here we propose and study a theory that assumes a coupling between epigenetic mark and genome densities, and which can be applied at the scale of the whole nucleus. We show that equilibrium models are not compatible with experiments and a qualitative agreement is recovered by accounting for non-equilibrium processes which can stabilise microphase separated epigenomic domains. We finally discuss the potential biophysical origin of these terms.


title: Lexical Learning as an Online Optimal Experiment: Building Efficient Search Engines through Human-Machine Collaboration

abstract: Information retrieval (IR) systems need to constantly update their knowledge as target objects and user queries change over time. Due to the power-law nature of linguistic data, learning lexical concepts is a problem resisting standard machine learning approaches: while manual intervention is always possible, a more general and automated solution is desirable. In this work, we propose a novel end-to-end framework that models the interaction between a search engine and users as a virtuous human-in-the-loop inference. The proposed framework is the first to our knowledge combining ideas from psycholinguistics and experiment design to maximize efficiency in IR. We provide a brief overview of the main components and initial simulations in a toy world, showing how inference works end-to-end and discussing preliminary results and next steps.


title: Generation of Tin-Vacancy Centers in Diamond via Shallow Ion Implantation and Subsequent Diamond Overgrowth

abstract: Group-IV color centers in diamond have garnered great interest for their potential as optically active solid-state spin qubits. Future utilization of such emitters requires the development of precise site-controlled emitter generation techniques that are compatible with high-quality nanophotonic devices. This task is more challenging for color centers with large group-IV impurity atoms, which are otherwise promising because of their predicted long spin coherence times without a dilution refrigerator. For example, when applied to the negatively charged tin-vacancy (SnV$^-$) center, conventional site-controlled color center generation methods either damage the diamond surface or yield bulk spectra with unexplained features. Here we demonstrate a novel method to generate site-controlled SnV$^-$ centers with clean bulk spectra. We shallowly implant Sn ions through a thin implantation mask and subsequently grow a layer of diamond via chemical vapor deposition. This method can be extended to other color centers and integrated with quantum nanophotonic device fabrication.


title: Iterative Hessian Sketch in Input Sparsity Time

abstract: Scalable algorithms to solve optimization and regression tasks even approximately, are needed to work with large datasets. In this paper we study efficient techniques from matrix sketching to solve a variety of convex constrained regression problems. We adopt "Iterative Hessian Sketching" (IHS) and show that the fast CountSketch and sparse Johnson-Lindenstrauss Transforms yield state-of-the-art accuracy guarantees under IHS, while drastically improving the time cost. As a result, we obtain significantly faster algorithms for constrained regression, for both sparse and dense inputs. Our empirical results show that we can summarize data roughly 100x faster for sparse data, and, surprisingly, 10x faster on dense data! Consequently, solutions accurate to within machine precision of the optimal solution can be found much faster than the previous state of the art.


title: Phase Transitions for Detecting Latent Geometry in Random Graphs

abstract: Random graphs with latent geometric structure are popular models of social and biological networks, with applications ranging from network user profiling to circuit design. These graphs are also of purely theoretical interest within computer science, probability and statistics. A fundamental initial question regarding these models is: when are these random graphs affected by their latent geometry and when are they indistinguishable from simpler models without latent structure, such as the Erd\H{o}s-R\'{e}nyi graph $\mathcal{G}(n, p)$? We address this question for two of the most well-studied models of random graphs with latent geometry -- the random intersection and random geometric graph. Our results are as follows: (1) we prove that the random intersection graph converges in total variation to $\mathcal{G}(n, p)$ when $d = \tilde{\omega}(n^3)$, and does not if $d = o(n^3)$, resolving an open problem in Fill et al. (2000), Rybarczyk (2011) and Kim et al. (2018); (2) we provide conditions under which the matrix of intersection sizes of random family of sets converges in total variation to a symmetric matrix with independent Poisson entries, yielding the first total variation convergence result for $\tau$-random intersection graphs to $\mathcal{G}(n, p)$; and (3) we show that the random geometric graph on $\mathbb{S}^{d - 1}$ with edge density $p$ converges in total variation to $\mathcal{G}(n, p)$ when $d = \tilde{\omega}\left(\min\{ pn^3, p^2 n^{7/2} \} \right)$, yielding the first progress towards a conjecture of Bubeck et al. (2016). The first of these three results was obtained simultaneously and independently by Bubeck, Racz and Richey.

categories: math.PR cs.IT cs.SI math.IT math.ST stat.TH


title: Uniqueness of polarization for the autonomous 4-dimensional Painlev\'e-type systems

abstract: We prove that for any autonomous 4-dimensional integral system of Painlev\'e type, the Jacobian of the generic spectral curve has a unique polarization, and thus by Torelli's theorem cannot be isomorphic as an unpolarized abelian surface to any other Jacobian. This enables us to identify the spectral curve and any irreducible genus two component of the boundary of an affine patch of the Liouville torus.


title: Secure Logging with Security against Adaptive Crash Attack

abstract: Logging systems are an essential component of security systems and their security has been widely studied. Recently (2017) it was shown that existing secure logging protocols are vulnerable to crash attack in which the adversary modifies the log file and then crashes the system to make it indistinguishable from a normal system crash. The attacker was assumed to be non-adaptive and not be able to see the file content before modifying and crashing it (which will be immediately after modifying the file). The authors also proposed a system called SLiC that protects against this attacker. In this paper, we consider an (insider) adaptive adversary who can see the file content as new log operations are performed. This is a powerful adversary who can attempt to rewind the system to a past state. We formalize security against this adversary and introduce a scheme with provable security. We show that security against this attacker requires some (small) protected memory that can become accessible to the attacker after the system compromise. We show that existing secure logging schemes are insecure in this setting, even if the system provides some protected memory as above. We propose a novel mechanism that, in its basic form, uses a pair of keys that evolve at different rates, and employ this mechanism in an existing logging scheme that has forward integrity to obtain a system with provable security against adaptive (and hence non-adaptive) crash attack. We implemented our scheme on a desktop computer and a Raspberry Pi, and showed in addition to higher security, a significant efficiency gain over SLiC.


title: Hierarchical Bayesian CMB Component Separation with the No-U-Turn Sampler

abstract: Key to any cosmic microwave background (CMB) analysis is the separation of the CMB from foreground contaminants. In this paper we present a novel implementation of Bayesian CMB component separation. We sample from the full posterior distribution using the No-U-Turn Sampler (NUTS), a gradient based sampling algorithm. Alongside this, we introduce new foreground modelling approaches. We use the mean-shift algorithm to define regions on the sky, clustering according to naively estimated foreground spectral parameters. Over these regions we adopt a complete pooling model, where we assume constant spectral parameters, and a hierarchical model, where we model individual spectral parameters as being drawn from underlying hyper-distributions. We validate the algorithm against simulations of the LiteBIRD and C-BASS experiments, with an input tensor-to-scalar ratio of $r=5\times 10^{-3}$. Considering multipoles $32\leq\ell\leq 121$, we are able to recover estimates for $r$. With LiteBIRD only observations, and using the complete pooling model, we recover $r=(10\pm 0.6)\times 10^{-3}$. For C-BASS and LiteBIRD observations we find $r=(7.0\pm 0.6)\times 10^{-3}$ using the complete pooling model, and $r=(5.0\pm 0.4)\times 10^{-3}$ using the hierarchical model. By adopting the hierarchical model we are able to eliminate biases in our cosmological parameter estimation, and obtain lower uncertainties due to the smaller Galactic emission mask that can be adopted for power spectrum estimation. Measured by the rate of effective sample generation, NUTS offers performance improvements of $\sim10^3$ over using Metropolis-Hastings to fit the complete pooling model. The efficiency of NUTS allows us to fit the more sophisticated hierarchical foreground model, that would likely be intractable with non-gradient based sampling algorithms.


title: An effective open image theorem for abelian varieties

abstract: Fix an abelian variety $A$ of dimension $g\geq 1$ defined over a number field $K$. For each prime $\ell$, the Galois action on the $\ell$-power torsion points of $A$ induces a representation $\rho_{A,\ell}\colon Gal_K \to GL_{2g}(\mathbb{Z}_\ell)$. The $\ell$-adic monodromy group of $A$ is the Zariski closure $G_{A,\ell}$ of the image of $\rho_{A,\ell}$ in $GL_{2g,\mathbb{Q}_\ell}$. The image of $\rho_{A,\ell}$ is open in $G_{A,\ell}(\mathbb{Q}_\ell)$ with respect to the $\ell$-adic topology and hence the index $[G_{A,\ell}(\mathbb{Q}_\ell)\cap GL_{2g}(\mathbb{Z}_\ell): \rho_{A,\ell}(Gal_K)]$ is finite. We prove that this index can be bounded in terms of $g$ for all $\ell$ larger then some constant depending on certain invariants of $A$.


title: Effective thermodynamics of two interacting underdamped Brownian particles

abstract: Starting from the stochastic thermodynamics description of two coupled underdamped Brownian particles, we showcase and compare three different coarse-graining schemes leading to an effective thermodynamic description for the first of the two particles: marginalization over one particle, bipartite structure with information flows and the Hamiltonian of mean force formalism. In the limit of time-scale separation where the second particle with a fast relaxation time scale locally equilibrates with respect to the coordinates of the first slowly relaxing particle, the effective thermodynamics resulting from the first and third approach are shown to capture the full thermodynamics and to coincide with each other. In the bipartite approach, the slow part does not, in general, allow for an exact thermodynamic description as the entropic exchange between the particles is ignored. Physically, the second particle effectively becomes part of the heat reservoir. In the limit where the second particle becomes heavy and thus deterministic, the effective thermodynamics of the first two coarse-graining methods coincides with the full one. The Hamiltonian of mean force formalism however is shown to be incompatible with that limit. Physically, the second particle becomes a work source. These theoretical results are illustrated using an exactly solvable harmonic model.


title: Sequential conditions of integrability of Roumieu ultradistributions

abstract: We consider several general conditions for integrability of two Roumieu ultradistributions and prove their equivalence. The discussed sequential conditions are based on two classes of approximate units and allow one to introduce sequential defnitions of the convolution in the space of Roumieu ultradistributions, analogous to the known defnitions in the space of distributions.


title: Families of abelian varieties and large Galois images

abstract: Associated to an abelian variety $A$ of dimension $g$ over a number field $K$ is a Galois representation $\rho_A\colon Gal(\bar{K}/K)\to GL_{2g}(\hat{\mathbb{Z}})$. The representation $\rho_A$ encodes the Galois action on the torsion points of $A$ and its image is an interesting invariant of $A$ that contains a lot of arithmetic information. We consider abelian varieties over $K$ parametrized by the $K$-points of a nonempty open subvariety $U\subseteq \mathbb{P}^n_K$. We show that away from a set of density $0$, the image of $\rho_A$ will be very large; more precisely, it will have uniformly bounded index in a group obtained from the family of abelian varieties. This generalizes earlier results which assumed that the family of abelian varieties have "big monodromy". We also give a version for a family of abelian varieties with a more general base.


title: Learn-By-Calibrating: Using Calibration as a Training Objective

abstract: Calibration error is commonly adopted for evaluating the quality of uncertainty estimators in deep neural networks. In this paper, we argue that such a metric is highly beneficial for training predictive models, even when we do not explicitly measure the uncertainties. This is conceptually similar to heteroscedastic neural networks that produce variance estimates for each prediction, with the key difference that we do not place a Gaussian prior on the predictions. We propose a novel algorithm that performs simultaneous interval estimation for different calibration levels and effectively leverages the intervals to refine the mean estimates. Our results show that, our approach is consistently superior to existing regularization strategies in deep regression models. Finally, we propose to augment partial dependence plots, a model-agnostic interpretability tool, with expected prediction intervals to reveal interesting dependencies between data and the target.


title: Predicting Discourse Structure using Distant Supervision from Sentiment

abstract: Discourse parsing could not yet take full advantage of the neural NLP revolution, mostly due to the lack of annotated datasets. We propose a novel approach that uses distant supervision on an auxiliary task (sentiment classification), to generate abundant data for RST-style discourse structure prediction. Our approach combines a neural variant of multiple-instance learning, using document-level supervision, with an optimal CKY-style tree generation algorithm. In a series of experiments, we train a discourse parser (for only structure prediction) on our automatically generated dataset and compare it with parsers trained on human-annotated corpora (news domain RST-DT and Instructional domain). Results indicate that while our parser does not yet match the performance of a parser trained and tested on the same dataset (intra-domain), it does perform remarkably well on the much more difficult and arguably more useful task of inter-domain discourse structure prediction, where the parser is trained on one domain and tested/applied on another one.


title: Separation property and convergence to equilibrium for the equation and dynamic boundary condition of Cahn-Hilliard type with singular potential

abstract: We consider a class of Cahn-Hilliard equation that models phase separation process of binary mixtures involving nontrivial boundary interactions in a bounded domain with non-permeable wall. The system is characterized by certain dynamic type boundary conditions and the total mass, in the bulk and on the boundary, is conserved for all time. For the case with physically relevant singular (e.g., logarithmic) potential, global regularity of weak solutions is established. In particular, when the spatial dimension is two, we show the instantaneous strict separation property such that for arbitrary positive time any weak solution stays away from the pure phases +1 and -1, while in the three dimensional case, an eventual separation property for large time is obtained. As a consequence, we prove that every global weak solution converges to a single equilibrium as the time goes to infinity, by the usage of an extended Lojasiewicz-Simon inequality.


title: Laser-free trapped-ion entangling gates with simultaneous insensitivity to qubit and motional decoherence

abstract: The dominant error sources for state-of-the-art laser-free trapped-ion entangling gates are decoherence of the qubit state and the ion motion. The effect of these decoherence mechanisms can be suppressed with additional control fields, or with techniques that have the disadvantage of reducing gate speed. Here, we propose using a near-motional-frequency magnetic field gradient to implement a laser-free gate that is simultaneously resilient to both types of decoherence, does not require additional control fields, and has a relatively small cost in gate speed.


title: Heteroscedastic Calibration of Uncertainty Estimators in Deep Learning

abstract: The role of uncertainty quantification (UQ) in deep learning has become crucial with growing use of predictive models in high-risk applications. Though a large class of methods exists for measuring deep uncertainties, in practice, the resulting estimates are found to be poorly calibrated, thus making it challenging to translate them into actionable insights. A common workaround is to utilize a separate recalibration step, which adjusts the estimates to compensate for the miscalibration. Instead, we propose to repurpose the heteroscedastic regression objective as a surrogate for calibration and enable any existing uncertainty estimator to be inherently calibrated. In addition to eliminating the need for recalibration, this also regularizes the training process. Using regression experiments, we demonstrate the effectiveness of the proposed heteroscedastic calibration with two popular uncertainty estimators.


title: Delta-Sigma Modulator based Compact Sensor Signal Acquisition Front-end System

abstract: The proposed delta-sigma modulator ($\Delta\Sigma$M) based signal acquisition architecture uses a differential difference amplifier (DDA) customized for dual purpose roles, namely as instrumentation amplifier and as integrator of $\Delta\Sigma$M. The DDA also provides balanced high input impedance for signal from sensors. Further, programmable input amplification is obtained by adjustment of $\Delta\Sigma$M feedback voltage. Implementation of other functionalities, such as filtering and digitization have also been incorporated. At circuit level, a difference of transconductance of DDA input pairs has been proposed to reduce the effect of input resistor thermal noise of front-end R-C integrator of the $\Delta\Sigma$M. Besides, chopping has been used for minimizing effect of Flicker noise. The resulting architecture is an aggregation of functions of entire signal acquisition system within the single block of $\Delta\Sigma$M, and is useful for a multitude of dc-to-medium frequency sensing and similar applications that require high precision at reduced size and power. An implementation of this in 0.18-$\mu$m CMOS process has been presented, yielding a simulated peak signal-to-noise ratio of 80 dB and dynamic range of 109dBFS in an input signal band of 1 kHz while consuming 100 $\mu$W of power; with the measured signal-to-noise ratio being lower by about 9 dB.


title: Irregularity of distribution in Wasserstein distance

abstract: We study the non-uniformity of probability measures on the interval and the circle. On the interval, we identify the Wasserstein-$p$ distance with the classical $L^p$-discrepancy. We thereby derive sharp estimates in Wasserstein distances for the irregularity of distribution of sequences on the interval and the circle. Furthermore, we prove an $L^p$-adapted Erd\H{o}s$-$Tur\'{a}n inequality.


title: MmWave Amplify-and-Forward MIMO Relay Networks with Hybrid Precoding/Combining Design

abstract: In this paper, we consider the amplify-and-forward relay networks in mmWave systems and propose a hybrid precoder/combiner design approach. The phase-only RF precoding/combining matrices are first designed to support multi-stream transmission, where we compensate the phase for the eigenmodes of the channel. Then, the baseband precoders/combiners are performed to achieve the maximum mutual information. Based on the data processing inequality for the mutual information, we first jointly design the baseband source and relay nodes to maximize the mutual information before the destination baseband receiver. The proposed low-complexity iterative algorithm for the source and relay nodes is based on the equivalence between mutual information maximization and the weighted MMSE. After we obtain the optimal precoder and combiner for the source and relay nodes, we implement the MMSE-SIC filter at the baseband receiver to keep the mutual information unchanged, thus obtaining the optimal mutual information for the whole relay system. Simulation results show that our algorithm achieves better performance with lower complexity compared with other algorithms in the literature. In addition, we also propose a robust joint transceiver design for imperfect channel state information.


title: Prospects of Event Shape Sorting

abstract: Event Shape Sorting is a novel method which is devised to organise a sample of collision events in such a way, that events with similar final state distribution of hadrons end up sorted close to each other. Such events are likely to have evolved similarly. Thus the method allows to focus at finer features of the collision evolution because it would allow for averages over similar events that do not wash away these features. The algorithm is shortly explained. We also point out the distinction of Event Shape Sorting from the well established technique of Event Shape Engineering.


title: Beyond Universal Person Re-ID Attack

abstract: Deep learning-based person re-identification (Re-ID) has made great progress and achieved high performance recently. In this paper, we make the first attempt to examine the vulnerability of current person Re-ID models against a dangerous attack method, \ie, the universal adversarial perturbation (UAP) attack, which has been shown to fool classification models with a little overhead. We propose a \emph{more universal} adversarial perturbation (MUAP) method for both image-agnostic and model-insensitive person Re-ID attack. Firstly, we adopt a list-wise attack objective function to disrupt the similarity ranking list directly. Secondly, we propose a model-insensitive mechanism for cross-model attack. Extensive experiments show that the proposed attack approach achieves high attack performance and outperforms other state of the arts by large margin in cross-model scenario. The results also demonstrate the vulnerability of current Re-ID models to MUAP and further suggest the need of designing more robust Re-ID models.


title: Conical averagedness and convergence analysis of fixed point algorithms

abstract: We study a conical extension of averaged nonexpansive operators and the role it plays in convergence analysis of fixed point algorithms. Various properties of conically averaged operators are systematically investigated, in particular, the stability under relaxations, convex combinations and compositions. We derive conical averagedness properties of resolvents of generalized monotone operators. These properties are then utilized in order to analyze the convergence of the proximal point algorithm, the forward-backward algorithm, and the adaptive Douglas-Rachford algorithm. Our study unifies, improves and casts new light on recent studies of these topics.


title: On the Regularization Properties of Structured Dropout

abstract: Dropout and its extensions (eg. DropBlock and DropConnect) are popular heuristics for training neural networks, which have been shown to improve generalization performance in practice. However, a theoretical understanding of their optimization and regularization properties remains elusive. Recent work shows that in the case of single hidden-layer linear networks, Dropout is a stochastic gradient descent method for minimizing a regularized loss, and that the regularizer induces solutions that are low-rank and balanced. In this work we show that for single hidden-layer linear networks, DropBlock induces spectral k-support norm regularization, and promotes solutions that are low-rank and have factors with equal norm. We also show that the global minimizer for DropBlock can be computed in closed form, and that DropConnect is equivalent to Dropout. We then show that some of these results can be extended to a general class of Dropout-strategies, and, with some assumptions, to deep non-linear networks when Dropout is applied to the last layer. We verify our theoretical claims and assumptions experimentally with commonly used network architectures.


title: The ASAS-SN Catalog of Variable Stars VI: An All-Sky Sample of $\delta$ Scuti Stars

abstract: We characterize an all-sky catalog of ${\sim} 8,400$ $\delta$ Scuti variables in ASAS-SN, which includes ${\sim} 3,300$ new discoveries. Using distances from \textit{Gaia} DR2, we derive period-luminosity relationships (PLRs) for both the fundamental mode and overtone pulsators in the $W_{JK}$, $V$, Gaia DR2 $G$, $J$, $H$, $K_s$ and $W_1$ bands. We find that the overtone pulsators have a dominant overtone mode, with many sources pulsating in the second overtone or higher order modes. The fundamental mode pulsators have metallicity dependent periods, with $\log_{10} (\rm P){\sim}-1.1$ for $\rm [Fe/H]<-0.3$ and $\log_{10} (\rm P){\sim}-0.9$ for $\rm [Fe/H]>0$ which leads to a period-dependant scale height. Stars with $\rm P>0.100\,d$ are predominantly located close to the Galactic disk ($\rm |Z|<0.5\,kpc$). The median period at a scale height of $\rm Z{\sim}0\, kpc$ also increases with the Galactocentric radius $\rm R$, from $\log_{10} (\rm P){\sim}-0.94$ for sources with $\rm R>9\, kpc$ to $\log_{10} (\rm P){\sim}-0.85$ for sources with $\rm R<7\, kpc$, which is indicative of a radial metallicity gradient. To illustrate potential applications of this all-sky catalog, we obtained 30 min cadence, image subtraction TESS light curves for a sample of 10 fundamental mode and 10 overtone $\delta$ Scuti stars discovered by ASAS-SN. From this sample, we identified two new $\delta$ Scuti eclipsing binaries, ASASSN-V J071855.62$-$434247.3 and ASASSN-V J170344.20$-$615941.2 with short orbital periods of $\rm P_{orb}=2.6096$ d and $\rm P_{orb}=2.5347$ d respectively.


title: Sparse bounds on variational norms along monomial curves

abstract: Consider a monomial curve $\gamma:\mathbb{R}\to\mathbb{R}^{d}$ and a family of truncated Hilbert transforms along $\gamma$, $\mathcal{H}^{\gamma}$. This paper addresses the possibility of the pointwise sparse domination of the $r$-variation of $\mathcal{H}^{\gamma}$ - namely, whether the following is true: \begin{equation*}V^{r}\circ\mathcal{H}^{\gamma}f(x)\lesssim \mathcal{S}f(x)\end{equation*} where $f$ is a nonnegative measurable function, $r>2$ and $\mathcal{S}f(x) = \sum_{Q\in\mathcal{Q}}\langle f\rangle_{Q,p}\chi_{Q}(x)$ for some $p$ and some sparse collection $\mathcal{Q}$ depending on $f,p$.


title: Topological Insulators beyond Energy Band Characterization

abstract: Topological phases of matter are generally characterized by topological properties of energy bands of a system. Their transitions under preserved symmetries occur through closing a gap of energy bands, leading to topologically protected edge states in energy spectra in topological phases. Here we predict a new topological phase that emerges through closing a gap of bands constructed by energy bands, instead of through closing an energy gap with preserved symmetries. From this perspective, topological phases may arise from topological properties of the "bands of bands" associated with their gap closure and corresponding edge states. We demonstrate this idea by studying a tight-binding model. We find that the Wannier bands constructed by energy bands exhibit a gap closure associated with a change of a winding number, while the energy bands remain gapped and trivial without any zero energy modes. In addition, the topological Wannier bands give rise to quantized edge polarizations. Since the emergence of this topological phase does not involve any energy gap closure, we expect its appearance under unitary time evolution. Indeed, this phase appears as we perform a quench dynamics. Our study opens a new direction for exploring topological phases beyond conventional energy band characterization.

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


title: On the Arithmetic Behavior of Liouville Numbers under Rational Maps

abstract: In 1972, Alnia\c{c}ik proved that every strong Liouville number is mapped into the set of $U_m$-numbers, for any non-constant rational function with coefficients belonging to an $m$-degree number field. In this paper, we generalize this result by providing a larger class of Liouville numbers (which, in particular, contains the strong Liouville numbers) with this same property (this set is sharp is a certain sense).


title: Extraction and integration of genetic networks from short-profile omic datasets

abstract: Mass-spectrometry technologies are widely used in the fields of ionomics and metabolomics to simultaneously profile at the genome scale intracellular concentrations of e.g. amino acids or elements. Short profiles of molecular or sub-molecular features are intrinsically non-Gaussian and may reveal patterns of correlations that reflect the system nature of the cell biochemistry and biology. Here we introduce two profile similarity measures that enforce information from the empirical covariance matrix of the data, the Mahalanobis cosine and the hybrid-Mahalanobis cosine. We evaluate the performance of these similarity measures in the task of inferring and integrating genetic networks from omics data by analysing experimental datasets derived from the ionome and the metabolome of the model organism S. cerevisiae, and several large curated databases of genetic annotations. The proposed covariance-based similarity measures can in general recover known and predicted associations between genes better than the commonly used Pearson's correlation and the standard cosine similarity. The choice of which of the two measures to recommend depends upon whether the focus is on extracting genetic associations at a global or local genetic network scale.


title: Transferable End-to-End Aspect-based Sentiment Analysis with Selective Adversarial Learning

abstract: Joint extraction of aspects and sentiments can be effectively formulated as a sequence labeling problem. However, such formulation hinders the effectiveness of supervised methods due to the lack of annotated sequence data in many domains. To address this issue, we firstly explore an unsupervised domain adaptation setting for this task. Prior work can only use common syntactic relations between aspect and opinion words to bridge the domain gaps, which highly relies on external linguistic resources. To resolve it, we propose a novel Selective Adversarial Learning (SAL) method to align the inferred correlation vectors that automatically capture their latent relations. The SAL method can dynamically learn an alignment weight for each word such that more important words can possess higher alignment weights to achieve fine-grained (word-level) adaptation. Empirically, extensive experiments demonstrate the effectiveness of the proposed SAL method.


title: A Simple Modeling Framework For Prediction In The Human Glucose-Insulin System

abstract: In this paper, we build a new, simple, and interpretable mathematical model to estimate and forecast physiology related to the human glucose-insulin system, constrained by available data. By constructing a simple yet flexible model class with interpretable parameters, this general model can be specialized to work in different settings, such as type 2 diabetes mellitus (T2DM) and intensive care unit (ICU); different choices of appropriate model functions describing uptake of nutrition and removal of glucose differentiate between the models. In both cases, the available data is sparse and collected in clinical settings, major factors that have constrained our model choice to the simple form adopted. The model has the form of a linear stochastic differential equation (SDE) to describe the evolution of the BG level. The model includes a term quantifying glucose removal from the bloodstream through the regulation system of the human body and two other terms representing the effect of nutrition and externally delivered insulin. The stochastic fluctuations encapsulate model error necessitated by the simple model form and enable flexible incorporation of data. The model parameters must be learned in a patient-specific fashion, leading to personalized models. We present experimental results on patient-specific parameter estimation and future BG level forecasting in T2DM and ICU settings. The resulting model leads to the prediction of the BG level as an expected value accompanied by a band around this value which accounts for uncertainties in the prediction. Such predictions, then, have the potential for use as part of control systems that are robust to model imperfections and noisy data. Finally, the model's predictive capability is compared with two different models built explicitly for T2DM and ICU contexts.


title: Evaluation of Surrogate Models for Multi-fin Flapping Propulsion Systems

abstract: The aim of this study is to develop surrogate models for quick, accurate prediction of thrust forces generated through flapping fin propulsion for given operating conditions and fin geometries. Different network architectures and configurations are explored to model the training data separately for the lead fin and rear fin of a tandem fin setup. We progressively improve the data representation of the input parameter space for model predictions. The models are tested on three unseen fin geometries and the predictions validated with computational fluid dynamics (CFD) data. Finally, the orders of magnitude gains in computational performance of these surrogate models, compared to experimental and CFD runs, vs their tradeoff with accuracy is discussed within the context of this tandem fin configuration.


title: Accounting for Location Measurement Error in Imaging Data with Application to Atomic Resolution Images of Crystalline Materials

abstract: Scientists use imaging to identify objects of interest and infer properties of these objects. The locations of these objects are often measured with error, which when ignored leads to biased parameter estimates and inflated variance. Current measurement error methods require an estimate or knowledge of the measurement error variance to correct these estimates, which may not be available. Instead, we create a spatial Bayesian hierarchical model that treats the locations as parameters, it using the image itself to incorporate positional uncertainty. We lower the computational burden by approximating the likelihood using a non-contiguous block design around the object locations. We apply this model in a materials science setting to study the relationship between the chemistry and displacement of hundreds of atom columns in crystal structures directly imaged via scanning transmission electron microscopy. Greater knowledge of this relationship can lead to engineering materials with improved properties of interest. We find strong evidence of a negative relationship between atom column displacement and the intensity of neighboring atom columns, which is related to the local chemistry. A simulation study shows our method corrects the bias in the parameter of interest and drastically improves coverage in high noise scenarios compared to non-measurement error models.


title: Valence bond phases of herbertsmithite and related copper kagome materials

abstract: Recent evidence from magnetic torque, electron spin resonance, and second harmonic generation indicate that the prototypical quantum spin liquid candidate, herbertsmithite, has a symmetry lower than its x-ray refined trigonal space group. Here, we consider known and possible distortions of this mineral class, along with related copper kagome oxides and fluorides, relate these to possible valence bond patterns, and comment on their relevance to the physics of these interesting materials.


title: Power-counting renormalizable, ghost-and-tachyon-free Poincar\'e gauge theories

abstract: We present 48 further examples, in addition to the 10 identified in [1], of ghost-and-tachyon-free critical cases of parity-conserving Poincar\'e gauge theories of gravity (PGT$^+$) that are also power-counting renormalizable (PCR). This is achieved by extending the range of critical cases considered. Of the new PCR theories, seven have 2 massless degrees of freedom (d.o.f.) in propagating modes and a massive $0^-$ or $2^-$ mode, eight have only 2 massless d.o.f., and 33 have only massive mode(s). We also clarify the treatment of nonpropagating modes in determining whether a theory is PCR.


title: Spin-phonon relaxation from a universal \emph{ab initio} density-matrix approach

abstract: Designing new quantum materials with long-lived electron spin states urgently requires a general theoretical formalism and computational technique to reliably predict intrinsic spin relaxation times. We present a new, accurate and universal first-principles methodology based on Lindbladian dynamics of density matrices to calculate spin-phonon relaxation time ($\tau_s$) of solids with arbitrary spin mixing and crystal symmetry. This method describes contributions of Elliott-Yafet (EY) and D'yakonov-Perel' (DP) mechanisms to spin relaxation for systems with and without inversion symmetry on an equal footing. We show that intrinsic spin and momentum relaxation times both decrease with increasing temperature; however, for the DP mechanism, spin relaxation time varies inversely with extrinsic scattering time. We predict large anisotropy of spin lifetime in transition metal dichalcogenides. The excellent agreement with experiments for a broad range of materials underscores the predictive capability of our method for properties critical to quantum information science.


title: Deep Reinforcement Learning-Based Topology Optimization for Self-Organized Wireless Sensor Networks

abstract: Wireless sensor networks (WSNs) are the foundation of the Internet of Things (IoT), and in the era of the fifth generation of wireless communication networks, they are envisioned to be truly ubiquitous, reliable, scalable, and energy efficient. To this end, topology control is an important mechanism to realize self-organized WSNs that are capable of adapting to the dynamics of the environment. Topology optimization is combinatorial in nature, and generally is NP-hard to solve. Most existing algorithms leverage heuristic rules to reduce the number of search candidates so as to obtain a suboptimal solution in a certain sense. In this paper, we propose a deep reinforcement learning-based topology optimization algorithm, a unified search framework, for self-organized energy-efficient WSNs. Specifically, the proposed algorithm uses a deep neural network to guide a Monte Carlo tree search to roll out simulations, and the results from the tree search reinforce the learning of the neural network. In addition, the proposed algorithm is an anytime algorithm that keeps improving the solution with an increasing amount of computing resources. Various simulations show that the proposed algorithm achieves better performance as compared to heuristic solutions, and is capable of adapting to environment and network changes without restarting the algorithm from scratch.


title: Cops that surround a robber

abstract: We introduce the game of Surrounding Cops and Robbers on a graph, as a variant of the original game of Cops and Robbers. In contrast to the original game in which the cops win by occupying the same vertex as the robber, they now win by occupying each of the robber's neighbouring vertices. We denote by $\sigma(G)$ the {\em surrounding cop number} of $G$, namely the least number of cops required to surround a robber in the graph $G$. We present a number of results regarding this parameter, including general bounds as well as exact values for several classes of graphs. Particular classes of interest include product graphs, graphs arising from combinatorial designs, and generalised Petersen graphs.


title: Statistical properties magnetar bursts and FRB 121102

abstract: In this paper, we present statistics of soft gamma repeater (SGR) bursts from SGR J1550-5418, SGR 1806-20 and SGR 1900+14 by adding new bursts from K{\i}rm{\i}z{\i}bayrak et al. (2017) detected with the Rossi X-ray Timing Explorer (RXTE). We find that the fluence distributions of magnetar bursts are well described by power-law functions with indices 1.84, 1.68, and 1.65 for SGR J1550-5418, SGR 1806-20 and SGR 1900+14, respectively. The duration distributions of magnetar bursts also show power-law forms. Meanwhile, the waiting time distribution can be described by a non-stationary Poisson process with an exponentially growing occurrence rate. These distributive features indicate that magnetar bursts can be regarded as a self-organizing critical process. We also compare these distributions with the repeating FRB 121102. The statistical properties of repeating FRB 121102 are similar with magentar bursts, combing with the large required magnetic filed ($B\geq 10^{14}$G) of neutron star for FRB 121102, which indicates that the central engine of FRB 121102 may be a magnetar.


title: Automatic Cobb Angle Detection using Vertebra Detector and Vertebra Corners Regression

abstract: Correct evaluation and treatment of Scoliosis require accurate estimation of spinal curvature. Current gold standard is to manually estimate Cobb Angles in spinal X-ray images which is time consuming and has high inter-rater variability. We propose an automatic method with a novel framework that first detects vertebrae as objects followed by a landmark detector that estimates the 4 landmark corners of each vertebra separately. Cobb Angles are calculated using the slope of each vertebra obtained from the predicted landmarks. For inference on test data, we perform pre and post processings that include cropping, outlier rejection and smoothing of the predicted landmarks. The results were assessed in AASCE MICCAI challenge 2019 which showed a promise with a SMAPE score of 25.69 on the challenge test set.


title: Sign changes in the prime number theorem

abstract: Let $V(T)$ denote the number of sign changes in $\psi(x) - x$ for $x\in[1, T]$. We show that $\liminf_{\;T\rightarrow\infty} V(T)/\log T \geq \gamma_{1}/\pi + 1.867\cdot 10^{-30}$, where $\gamma_{1} = 14.13\ldots$ denotes the ordinate of the lowest-lying non-trivial zero of the Riemann zeta-function. This improves on a long-standing result by Kaczorowski.


title: Backward problem for time fractional reaction-diffusion equation with nonlinear source and discrete data

abstract: In this paper, we study the problem of finding the solution of a multi-dimensional time fractional reactiondiffusion equation with nonlinear source from the final value data. We prove that the present problem is not well-posed. Then regularized problems are constructed using the truncated expansion method (in the case of two-dimensional) and the quasi-boundary value method (in the case of multi-dimensional). Finally, convergence rates of the regularized solutions are given and investigated numerically.