Fully-dynamic Approximation of Betweenness Centrality

Betweenness is a well-known centrality measure that ranks the nodes of a network according to their participation in shortest paths. Since an exact computation is prohibitive in large networks, several approximation algorithms have been proposed. Besides that, recent years have seen the publication of dynamic algorithms for efficient recomputation of betweenness in evolving networks. In previous work we proposed the first semi-dynamic algorithms that recompute an approximation of betweenness in connected graphs after batches of edge insertions. In this paper we propose the first fully-dynamic approximation algorithms (for weighted and unweighted undirected graphs that need not to be connected) with a provable guarantee on the maximum approximation error. The transfer to fully-dynamic and disconnected graphs implies additional algorithmic problems that could be of independent interest. In particular, we propose a new upper bound on the vertex diameter for weighted undirected graphs. For both weighted and unweighted graphs, we also propose the first fully-dynamic algorithms that keep track of such upper bound. In addition, we extend our former algorithm for semi-dynamic BFS to batches of both edge insertions and deletions. Using approximation, our algorithms are the first to make in-memory computation of betweenness in fully-dynamic networks with millions of edges feasible. Our experiments show that they can achieve substantial speedups compared to recomputation, up to several orders of magnitude

Subtraction terms for one-loop amplitudes with one unresolved parton

Fully differential next-to-next-to-leading order calculations require a method to cancel infrared singularities. In a previous publication, I discussed the general setup for the subtraction method at NNLO. In this paper I give all subtraction terms for electron-positron annihilation associated with one-loop amplitudes with one unresolved parton. These subtraction terms are integrated within dimensional regularization over the unresolved one-particle phase space. The results can be used with all variants of dimensional regularization (conventional dimensional regularization, the 't Hooft-Veltman scheme and the four-dimensional scheme).Comment: 27 page

Imaging Sources with Fast and Slow Emission Components

We investigate two-proton correlation functions for reactions in which fast dynamical and slow evaporative proton emission are both present. In such cases, the width of the correlation peak provides the most reliable information about the source size of the fast dynamical component. The maximum of the correlation function is sensitive to the relative yields from the slow and fast emission components. Numerically inverting the correlation function allows one to accurately disentangle fast dynamical from slow evaporative emission and extract details of the shape of the two-proton source.Comment: 13 pages, 4 figure

Filtering out the cosmological constant in the Palatini formalism of modified gravity

According to theoretical physics the cosmological constant (CC) is expected to be much larger in magnitude than other energy densities in the universe, which is in stark contrast to the observed Big Bang evolution. We address this old CC problem not by introducing an extremely fine-tuned counterterm, but in the context of modified gravity in the Palatini formalism. In our model the large CC term is filtered out, and it does not prevent a standard cosmological evolution. We discuss the filter effect in the epochs of radiation and matter domination as well as in the asymptotic de Sitter future. The final expansion rate can be much lower than inferred from the large CC without using a fine-tuned counterterm. Finally, we show that the CC filter works also in the Kottler (Schwarzschild-de Sitter) metric describing a black hole environment with a CC compatible to the future de Sitter cosmos.Comment: 22 pages, 1 figure, discussion extended, references added, accepted by Gen.Rel.Gra

Hadronic Charmed Meson Decays Involving Axial Vector Mesons

Cabibbo-allowed charmed meson decays into a pseudoscalar meson and an axial-vector meson are studied. The charm to axial-vector meson transition form factors are evaluated in the Isgur-Scora-Grinstein-Wise quark model. The dipole momentum dependence of the $D\to K$ transition form factor and the presence of a sizable long-distance $W$-exchange are the two key ingredients for understanding the data of $D\to \bar Ka_1$. The $K_{1A}-K_{1B}$ mixing angle of the strange axial-vector mesons is found to be $\approx \pm37^\circ$ or $\pm58^\circ$ from $\tau\to K_1\nu_\tau$ decays. The study of $D\to K_1(1270)\pi, K_1(1400)\pi$ decays excludes the positive mixing-angle solutions. It is pointed out that an observation of the decay $D^0\to K_1^-(1400)\pi^+$ at the level of $5\times 10^{-4}$ will rule out $\theta\approx -37^\circ$ and favor the solution $\theta\approx -58^\circ$. Though the decays $D^0\to \bar K_1^0\pi^0$ are color suppressed, they are comparable to and even larger than the color-allowed counterparts: $\bar K_1^0(1270)\pi^0\sim K_1^-(1270)\pi^+$ and $\bar K_1^0(1400)\pi^0> K_1^-(1400)\pi^+$. The finite width effect of the axial-vector resonance is examined. It becomes important for $a_1(1260)$ in particular when its width is near 600 MeV.Comment: 19 page

De Finetti theorem on the CAR algebra

The symmetric states on a quasi local C*-algebra on the infinite set of indices J are those invariant under the action of the group of the permutations moving only a finite, but arbitrary, number of elements of J. The celebrated De Finetti Theorem describes the structure of the symmetric states (i.e. exchangeable probability measures) in classical probability. In the present paper we extend De Finetti Theorem to the case of the CAR algebra, that is for physical systems describing Fermions. Namely, after showing that a symmetric state is automatically even under the natural action of the parity automorphism, we prove that the compact convex set of such states is a Choquet simplex, whose extremal (i.e. ergodic w.r.t. the action of the group of permutations previously described) are precisely the product states in the sense of Araki-Moriya. In order to do that, we also prove some ergodic properties naturally enjoyed by the symmetric states which have a self--containing interest.Comment: 23 pages, juornal reference: Communications in Mathematical Physics, to appea

Comprehension of spacecraft telemetry using hierarchical specifications of behavior ⋆

Abstract. A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.

Molecular-orbital theory for the stopping power of atoms in the low velocity regime:the case of helium in alkali metals

A free-parameter linear-combination-of-atomic-orbitals approach is presented for analyzing the stopping power of slow ions moving in a metal. The method is applied to the case of He moving in alkali metals. Mean stopping powers for He present a good agreement with local-density-approximation calculations. Our results show important variations in the stopping power of channeled atoms with respect to their mean values.Comment: LATEX, 3 PostScript Figures attached. Total size 0.54

Normal State O 17 NMR Studies of Sr2RuO4 under Uniaxial Stress

The effects of uniaxial compressive stress on the normal state O17 nuclear-magnetic-resonance properties of the unconventional superconductor Sr2RuO4 are reported. The paramagnetic shifts of both planar and apical oxygen sites show pronounced anomalies near the nominal a-axis strain μaaμv that maximizes the superconducting transition temperature Tc. The spin susceptibility weakly increases on lowering the temperature below T≃10 K, consistent with an enhanced density of states associated with passing the Fermi energy through a van Hove singularity. Although such a Lifshitz transition occurs in the γ band formed by the Ru dxy states hybridized with in-plane O pπ orbitals, the large Hund's coupling renormalizes the uniform spin susceptibility, which, in turn, affects the hyperfine fields of all nuclei. We estimate this "Stoner" renormalization S by combining the data with first-principles calculations and conclude that this is an important part of the strain effect, with implications for superconductivity. © 2019 authors. Published by the American Physical Society. Published by the American Physical Society under the terms of the »https://creativecommons.org/licenses/by/4.0/» Creative Commons Attribution 4.0 International license. Further distribution of this work must maintain attribution to the author(s) and the published article's title, journal citation, and DOI