Showing 1–50 of 106 results for author: Bodwin, G

A Lower Bound for Light Spanners in General Graphs

Authors: Greg Bodwin, Jeremy Flics

Abstract: A recent upper bound by Le and Solomon [STOC '23] has established that every $n$-node graph has a $(1+\varepsilon)(2k-1)$-spanner with lightness $O(\varepsilon^{-1} n^{1/k})$. This bound is optimal up to its dependence on $\varepsilon$; the remaining open problem is whether this dependence can be improved or perhaps even removed entirely. We show that the $\varepsilon$-dependence cannot in fact… ▽ More A recent upper bound by Le and Solomon [STOC '23] has established that every $n$-node graph has a $(1+\varepsilon)(2k-1)$-spanner with lightness $O(\varepsilon^{-1} n^{1/k})$. This bound is optimal up to its dependence on $\varepsilon$; the remaining open problem is whether this dependence can be improved or perhaps even removed entirely. We show that the $\varepsilon$-dependence cannot in fact be completely removed. For constant $k$ and for $\varepsilon:= Θ(n^{-\frac{1}{2k-1}})$, we show a lower bound on lightness of $$Ω\left( \varepsilon^{-1/k} n^{1/k} \right).$$ For example, this implies that there are graphs for which any $3$-spanner has lightness $Ω(n^{2/3})$, improving on the previous lower bound of $Ω(n^{1/2})$. An unusual feature of our lower bound is that it is conditional on the girth conjecture with parameter $k-1$ rather than $k$. We additionally show that this implies certain technical limitations to improving our lower bound further. In particular, under the same conditional, generalizing our lower bound to all $\varepsilon$ or obtaining an optimal $\varepsilon$-dependence are as hard as proving the girth conjecture for all constant $k$. △ Less

Submitted 16 June, 2024; v1 submitted 6 June, 2024; originally announced June 2024.

Additive Spanner Lower Bounds with Optimal Inner Graph Structure

Authors: Greg Bodwin, Gary Hoppenworth, Virginia Vassilevska Williams, Nicole Wein, Zixuan Xu

Abstract: We construct $n$-node graphs on which any $O(n)$-size spanner has additive error at least $+Ω(n^{3/17})$, improving on the previous best lower bound of $Ω(n^{1/7})$ [Bodwin-Hoppenworth FOCS '22]. Our construction completes the first two steps of a particular three-step research program, introduced in prior work and overviewed here, aimed at producing tight bounds for the problem by aligning aspect… ▽ More We construct $n$-node graphs on which any $O(n)$-size spanner has additive error at least $+Ω(n^{3/17})$, improving on the previous best lower bound of $Ω(n^{1/7})$ [Bodwin-Hoppenworth FOCS '22]. Our construction completes the first two steps of a particular three-step research program, introduced in prior work and overviewed here, aimed at producing tight bounds for the problem by aligning aspects of the upper and lower bound constructions. More specifically, we develop techniques that enable the use of inner graphs in the lower bound framework whose technical properties are provably tight with the corresponding assumptions made in the upper bounds. As an additional application of our techniques, we improve the corresponding lower bound for $O(n)$-size additive emulators to $+Ω(n^{1/14})$. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: ICALP 2024

The Discrepancy of Shortest Paths

Authors: Greg Bodwin, Chengyuan Deng, Jie Gao, Gary Hoppenworth, Jalaj Upadhyay, Chen Wang

Abstract: The hereditary discrepancy of a set system is a certain quantitative measure of the pseudorandom properties of the system. Roughly, hereditary discrepancy measures how well one can $2$-color the elements of the system so that each set contains approximately the same number of elements of each color. Hereditary discrepancy has well-studied applications e.g. in communication complexity and derandomi… ▽ More The hereditary discrepancy of a set system is a certain quantitative measure of the pseudorandom properties of the system. Roughly, hereditary discrepancy measures how well one can $2$-color the elements of the system so that each set contains approximately the same number of elements of each color. Hereditary discrepancy has well-studied applications e.g. in communication complexity and derandomization. More recently, the hereditary discrepancy of set systems of shortest paths has found applications in differential privacy [Chen et al.~SODA 23]. The contribution of this paper is to improve the upper and lower bounds on the hereditary discrepancy of set systems of unique shortest paths in graphs. In particular, we show that any system of unique shortest paths in an undirected weighted graph has hereditary discrepancy $\widetilde{O}(n^{1/4})$, and we construct lower bound examples demonstrating that this bound is tight up to hidden $\text{polylog } n$ factors. Our lower bounds apply even in the planar and bipartite settings, and they improve on a previous lower bound of $Ω(n^{1/6})$ obtained by applying the trace bound of Chazelle and Lvov [SoCG'00] to a classical point-line system of Erdős. As applications, we improve the lower bound on the additive error for differentially-private all pairs shortest distances from $Ω(n^{1/6})$ [Chen et al.~SODA 23] to $Ω(n^{1/4})$, and we improve the lower bound on additive error for the differentially-private all sets range queries problem to $Ω(n^{1/4})$, which is tight up to hidden $\text{polylog } n$ factors [Deng et al.~WADS 23]. △ Less

Submitted 22 April, 2024; v1 submitted 28 January, 2024; originally announced January 2024.

Improved Shortest Path Restoration Lemmas for Multiple Edge Failures: Trade-offs Between Fault-tolerance and Subpaths

Authors: Greg Bodwin, Lily Wang

Abstract: The restoration lemma is a classic result by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [PODC '01], which relates the structure of shortest paths in a graph $G$ before and after some edges in the graph fail. Their work shows that, after one edge failure, any replacement shortest path avoiding this failing edge can be partitioned into two pre-failure shortest paths. More generally, this implies… ▽ More The restoration lemma is a classic result by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [PODC '01], which relates the structure of shortest paths in a graph $G$ before and after some edges in the graph fail. Their work shows that, after one edge failure, any replacement shortest path avoiding this failing edge can be partitioned into two pre-failure shortest paths. More generally, this implies an additive tradeoff between fault tolerance and subpath count: for any $f, k$, we can partition any $f$-edge-failure replacement shortest path into $k+1$ subpaths which are each an $(f-k)$-edge-failure replacement shortest path. This generalized result has found applications in routing, graph algorithms, fault tolerant network design, and more. Our main result improves this to a multiplicative tradeoff between fault tolerance and subpath count. We show that for all $f, k$, any $f$-edge-failure replacement path can be partitioned into $O(k)$ subpaths that are each an $(f/k)$-edge-failure replacement path. We also show an asymptotically matching lower bound. In particular, our results imply that the original restoration lemma is exactly tight in the case $k=1$, but can be significantly improved for larger $k$. We also show an extension of this result to weighted input graphs, and we give efficient algorithms that compute path decompositions satisfying our improved restoration lemmas. △ Less

Submitted 4 March, 2024; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: 18 pages, 6 figures

Fault-Tolerant Spanners against Bounded-Degree Edge Failures: Linearly More Faults, Almost For Free

Authors: Greg Bodwin, Bernhard Haeupler, Merav Parter

Abstract: We study a new and stronger notion of fault-tolerant graph structures whose size bounds depend on the degree of the failing edge set, rather than the total number of faults. For a subset of faulty edges $F \subseteq G$, the faulty-degree $°(F)$ is the largest number of faults in $F$ incident to any given vertex. We design new fault-tolerant structures with size comparable to previous constructions… ▽ More We study a new and stronger notion of fault-tolerant graph structures whose size bounds depend on the degree of the failing edge set, rather than the total number of faults. For a subset of faulty edges $F \subseteq G$, the faulty-degree $°(F)$ is the largest number of faults in $F$ incident to any given vertex. We design new fault-tolerant structures with size comparable to previous constructions, but which tolerate every fault set of small faulty-degree $°(F)$, rather than only fault sets of small size $|F|$. Our main results are: - New FT-Certificates: For every $n$-vertex graph $G$ and degree threshold $f$, one can compute a connectivity certificate $H \subseteq G$ with $|E(H)| = \widetilde{O}(fn)$ edges that has the following guarantee: for any edge set $F$ with faulty-degree $°(F)\leq f$ and every vertex pair $u,v$, it holds that $u$ and $v$ are connected in $H \setminus F$ iff they are connected in $G \setminus F$. This bound on $|E(H)|$ is nearly tight. Since our certificates handle some fault sets of size up to $|F|=O(fn)$, prior work did not imply any nontrivial upper bound for this problem, even when $f=1$. - New FT-Spanners: We show that every $n$-vertex graph $G$ admits a $(2k-1)$-spanner $H$ with $|E(H)| = O_k(f^{1-1/k} n^{1+1/k})$ edges, which tolerates any fault set $F$ of faulty-degree at most $f$. This bound on $|E(H)|$ optimal up to its hidden dependence on $k$, and it is close to the bound of $O_k(|F|^{1/2} n^{1+1/k} + |F|n)$ that is known for the case where the total number of faults is $|F|$ [Bodwin, Dinitz, Robelle SODA '22]. Our proof of this theorem is non-constructive, but by following a proof strategy of Dinitz and Robelle [PODC '20], we show that the runtime can be made polynomial by paying an additional $\text{polylog } n$ factor in spanner size. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Spanning Adjacency Oracles in Sublinear Time

Authors: Greg Bodwin, Henry Fleischmann

Abstract: Suppose we are given an $n$-node, $m$-edge input graph $G$, and the goal is to compute a spanning subgraph $H$ on $O(n)$ edges. This can be achieved in linear $O(m + n)$ time via breadth-first search. But can we hope for \emph{sublinear} runtime in some range of parameters? If the goal is to return $H$ as an adjacency list, there are simple lower bounds showing that $Ω(m + n)$ runtime is necessa… ▽ More Suppose we are given an $n$-node, $m$-edge input graph $G$, and the goal is to compute a spanning subgraph $H$ on $O(n)$ edges. This can be achieved in linear $O(m + n)$ time via breadth-first search. But can we hope for \emph{sublinear} runtime in some range of parameters? If the goal is to return $H$ as an adjacency list, there are simple lower bounds showing that $Ω(m + n)$ runtime is necessary. If the goal is to return $H$ as an adjacency matrix, then we need $Ω(n^2)$ time just to write down the entries of the output matrix. However, we show that neither of these lower bounds still apply if instead the goal is to return $H$ as an \emph{implicit} adjacency matrix, which we call an \emph{adjacency oracle}. An adjacency oracle is a data structure that gives a user the illusion that an adjacency matrix has been computed: it accepts edge queries $(u, v)$, and it returns in near-constant time a bit indicating whether $(u, v) \in E(H)$. Our main result is that one can construct an adjacency oracle for a spanning subgraph on at most $(1+\varepsilon)n$ edges, in $\tilde{O}(n \varepsilon^{-1})$ time, and that this construction time is near-optimal. Additional results include constructions of adjacency oracles for $k$-connectivity certificates and spanners, which are similarly sublinear on dense-enough input graphs. Our adjacency oracles are closely related to Local Computation Algorithms (LCAs) for graph sparsifiers; they can be viewed as LCAs with some computation moved to a preprocessing step, in order to speed up queries. Our oracles imply the first Local algorithm for computing sparse spanning subgraphs of general input graphs in $\tilde{O}(n)$ query time, which works by constructing our adjacency oracle, querying it once, and then throwing the rest of the oracle away. This addresses an open problem of Rubinfeld [CSR '17]. △ Less

Submitted 18 December, 2023; v1 submitted 26 August, 2023; originally announced August 2023.

Comments: 30 pages, 1 figure. Accepted to ITCS '24

Are there graphs whose shortest path structure requires large edge weights?

Authors: Aaron Bernstein, Greg Bodwin, Nicole Wein

Abstract: The aspect ratio of a (positively) weighted graph $G$ is the ratio of its maximum edge weight to its minimum edge weight. Aspect ratio commonly arises as a complexity measure in graph algorithms, especially related to the computation of shortest paths. Popular paradigms are to interpolate between the settings of weighted and unweighted input graphs by incurring a dependence on aspect ratio, or by… ▽ More The aspect ratio of a (positively) weighted graph $G$ is the ratio of its maximum edge weight to its minimum edge weight. Aspect ratio commonly arises as a complexity measure in graph algorithms, especially related to the computation of shortest paths. Popular paradigms are to interpolate between the settings of weighted and unweighted input graphs by incurring a dependence on aspect ratio, or by simply restricting attention to input graphs of low aspect ratio. This paper studies the effects of these paradigms, investigating whether graphs of low aspect ratio have more structured shortest paths than graphs in general. In particular, we raise the question of whether one can generally take a graph of large aspect ratio and reweight its edges, to obtain a graph with bounded aspect ratio while preserving the structure of its shortest paths. Our findings are: - Every weighted DAG on $n$ nodes has a shortest-paths preserving graph of aspect ratio $O(n)$. A simple lower bound shows that this is tight. - The previous result does not extend to general directed or undirected graphs; in fact, the answer turns out to be exponential in these settings. In particular, we construct directed and undirected $n$-node graphs for which any shortest-paths preserving graph has aspect ratio $2^{Ω(n)}$. We also consider the approximate version of this problem, where the goal is for shortest paths in $H$ to correspond to approximate shortest paths in $G$. We show that our exponential lower bounds extend even to this setting. We also show that in a closely related model, where approximate shortest paths in $H$ must also correspond to approximate shortest paths in $G$, even DAGs require exponential aspect ratio. △ Less

Submitted 29 November, 2023; v1 submitted 24 August, 2023; originally announced August 2023.

Comments: ITCS 2024

An Alternate Proof of Near-Optimal Light Spanners

Authors: Greg Bodwin

Abstract: In 2016, a breakthrough result of Chechik and Wulff-Nilsen [SODA '16] established that every $n$-node graph $G$ has a $(1+\varepsilon)(2k-1)$-spanner of lightness $O_{\varepsilon}(n^{1/k})$, and recent followup work by Le and Solomon [STOC '23] generalized the proof strategy and improved the dependence on $\varepsilon$. We give a new proof of this result, with the improved $\varepsilon$-dependence… ▽ More In 2016, a breakthrough result of Chechik and Wulff-Nilsen [SODA '16] established that every $n$-node graph $G$ has a $(1+\varepsilon)(2k-1)$-spanner of lightness $O_{\varepsilon}(n^{1/k})$, and recent followup work by Le and Solomon [STOC '23] generalized the proof strategy and improved the dependence on $\varepsilon$. We give a new proof of this result, with the improved $\varepsilon$-dependence. Our proof is a direct analysis of the often-studied greedy spanner, and can be viewed as an extension of the folklore Moore bounds used to analyze spanner sparsity. △ Less

Submitted 6 March, 2024; v1 submitted 29 May, 2023; originally announced May 2023.

Comments: SOSA 2024

Folklore Sampling is Optimal for Exact Hopsets: Confirming the $\sqrt{n}$ Barrier

Authors: Greg Bodwin, Gary Hoppenworth

Abstract: For a graph $G$, a $D$-diameter-reducing exact hopset is a small set of additional edges $H$ that, when added to $G$, maintains its graph metric but guarantees that all node pairs have a shortest path in $G \cup H$ using at most $D$ edges. A shortcut set is the analogous concept for reachability. These objects have been studied since the early '90s due to applications in parallel, distributed, dyn… ▽ More For a graph $G$, a $D$-diameter-reducing exact hopset is a small set of additional edges $H$ that, when added to $G$, maintains its graph metric but guarantees that all node pairs have a shortest path in $G \cup H$ using at most $D$ edges. A shortcut set is the analogous concept for reachability. These objects have been studied since the early '90s due to applications in parallel, distributed, dynamic, and streaming graph algorithms. For most of their history, the state-of-the-art construction for either object was a simple folklore algorithm, based on randomly sampling nodes to hit long paths in the graph. However, recent breakthroughs of Kogan and Parter [SODA '22] and Bernstein and Wein [SODA '23] have finally improved over the folklore diameter bound of $\widetilde{O}(n^{1/2})$ for shortcut sets and for $(1+ε)$-approximate hopsets. For both objects it is now known that one can use $O(n)$ hop-edges to reduce diameter to $\widetilde{O}(n^{1/3})$. The only setting where folklore sampling remains unimproved is for exact hopsets. Can these improvements be continued? We settle this question negatively by constructing graphs on which any exact hopset of $O(n)$ edges has diameter $\widetildeΩ(n^{1/2})$. This improves on the previous lower bound of $\widetildeΩ(n^{1/3})$ by Kogan and Parter [FOCS '22]. Using similar ideas, we also polynomially improve the current lower bounds for shortcut sets, constructing graphs on which any shortcut set of $O(n)$ edges reduces diameter to $\widetildeΩ(n^{1/4})$. This improves on the previous lower bound of $Ω(n^{1/6})$ by Huang and Pettie [SIAM J. Disc. Math. '18]. We also extend our constructions to provide lower bounds against $O(p)$-size exact hopsets and shortcut sets for other values of $p$; in particular, we show that folklore sampling is near-optimal for exact hopsets in the entire range of $p \in [1, n^2]$. △ Less

Submitted 22 April, 2024; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: Incorporated reviewer feedback, FOCS 2023

Gauge invariance of radiative jet functions in the position-space formulation of SCET

Authors: Geoffrey T. Bodwin, June-Haak Ee, Daekyoung Kang, Xiang-Peng Wang

Abstract: In subleading powers of soft-collinear effective theory (SCET), the Lagrangian contains couplings between soft quarks and hard-collinear quarks. Matrix elements of the hard-collinear parts of these couplings are radiative jet functions. In the position-space formulation of SCET, the Lagrangians are constructed from operators that appear to be gauge invariant. Nevertheless, we find violations of ga… ▽ More In subleading powers of soft-collinear effective theory (SCET), the Lagrangian contains couplings between soft quarks and hard-collinear quarks. Matrix elements of the hard-collinear parts of these couplings are radiative jet functions. In the position-space formulation of SCET, the Lagrangians are constructed from operators that appear to be gauge invariant. Nevertheless, we find violations of gauge invariance arise in the hard-collinear sector because gauge transformations can shift the momentum of a hard-collinear quark field from the hard-collinear sector to the soft sector, where the hard-collinear fields, by definition, have no support. The violations of gauge invariance are manifested in perturbation theory in the hard-collinear sector through the absence of certain Feynman diagrams that would be present in full QCD. A consequence of the absence of these diagrams is that the radiative jet functions that follow directly from the position-space Lagrangians are not gauge invariant, and we demonstrate this through explicit calculations in lower-order perturbation theory. We obtain gauge-invariant Lagrangians by adding to existing position-space Lagrangians terms that are proportional to the soft-quark equation of motion. These gauge-invariant Lagrangians are valid for nonzero, as well as zero, quark masses. We also remark briefly on the gauge invariance of certain Lagrangians that have been constructed in the label-momentum formulation of SCET. △ Less

Submitted 30 March, 2024; v1 submitted 11 February, 2023; originally announced February 2023.

Comments: 33 pages, 7 figures. [v2] Major revision. Soft-quark equation of motion used to reformulate the Lagrangians. [v3] conceptual clarifications, version published in Physical Review D

Journal ref: Physical Review D, 109, 5, 056020 (2024)

Bridge Girth: A Unifying Notion in Network Design

Authors: Greg Bodwin, Gary Hoppenworth, Ohad Trabelsi

Abstract: A classic 1993 paper by Althőfer et al. proved a tight reduction from spanners, emulators, and distance oracles to the extremal function $γ$ of high-girth graphs. This paper initiated a large body of work in network design, in which problems are attacked by reduction to $γ$ or the analogous extremal function for other girth concepts. In this paper, we introduce and study a new girth concept that w… ▽ More A classic 1993 paper by Althőfer et al. proved a tight reduction from spanners, emulators, and distance oracles to the extremal function $γ$ of high-girth graphs. This paper initiated a large body of work in network design, in which problems are attacked by reduction to $γ$ or the analogous extremal function for other girth concepts. In this paper, we introduce and study a new girth concept that we call the bridge girth of path systems, and we show that it can be used to significantly expand and improve this web of connections between girth problems and network design. We prove two kinds of results: 1) We write the maximum possible size of an $n$-node, $p$-path system with bridge girth $>k$ as $β(n, p, k)$, and we write a certain variant for "ordered" path systems as $β^*(n, p, k)$. We identify several arguments in the literature that implicitly show upper or lower bounds on $β, β^*$, and we provide some polynomially improvements to these bounds. In particular, we construct a tight lower bound for $β(n, p, 2)$, and we polynomially improve the upper bounds for $β(n, p, 4)$ and $β^*(n, p, \infty)$. 2) We show that many state-of-the-art results in network design can be recovered or improved via black-box reductions to $β$ or $β^*$. Examples include bounds for distance/reachability preservers, exact hopsets, shortcut sets, the flow-cut gaps for directed multicut and sparsest cut, an integrality gap for directed Steiner forest. We believe that the concept of bridge girth can lead to a stronger and more organized map of the research area. Towards this, we leave many open problems, related to both bridge girth reductions and extremal bounds on the size of path systems with high bridge girth. △ Less

Submitted 15 August, 2023; v1 submitted 22 December, 2022; originally announced December 2022.

Opponent Indifference in Rating Systems: A Theoretical Case for Sonas

Authors: Greg Bodwin, Forest Zhang

Abstract: In competitive games, it is common to assign each player a real number rating signifying their skill level. A rating system is a procedure by which player ratings are adjusted upwards each time they win, or downwards each time they lose. Many matchmaking systems give players some control over their opponent's rating; for example, a player might be able to selectively initiate matches against opp… ▽ More In competitive games, it is common to assign each player a real number rating signifying their skill level. A rating system is a procedure by which player ratings are adjusted upwards each time they win, or downwards each time they lose. Many matchmaking systems give players some control over their opponent's rating; for example, a player might be able to selectively initiate matches against opponents whose ratings are publicly visible, or abort a match without penalty before it begins but after glimpsing their opponent's rating. It is natural to ask whether one can design a rating system that does not incentivize a rating-maximizing player to act strategically, seeking matches against opponents of one rating over another. We show the following: - The full version of this "opponent indifference" property is unfortunately too strong to be feasible. Although it is satisfied by some rating systems, these systems lack certain desirable expressiveness properties, suggesting that they are not suitable to capture most games of interest. - However, there is a natural relaxation, roughly requiring indifference between any two opponents who are ``reasonably evenly matched'' with the choosing player. We prove that this relaxed variant of opponent indifference, which we call $P$ opponent indifference, is viable. In fact, a certain strong version of $P$ opponent indifference precisely characterizes the rating system Sonas, which was originally proposed for its empirical predictive accuracy on the outcomes of high-level chess matches. △ Less

Submitted 20 November, 2022; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: ITCS 2023

Epic Fail: Emulators can tolerate polynomially many edge faults for free

Authors: Greg Bodwin, Michael Dinitz, Yasamin Nazari

Abstract: A $t$-emulator of a graph $G$ is a graph $H$ that approximates its pairwise shortest path distances up to multiplicative $t$ error. We study fault tolerant $t$-emulators, under the model recently introduced by Bodwin, Dinitz, and Nazari [ITCS 2022] for vertex failures. In this paper we consider the version for edge failures, and show that they exhibit surprisingly different behavior. In particul… ▽ More A $t$-emulator of a graph $G$ is a graph $H$ that approximates its pairwise shortest path distances up to multiplicative $t$ error. We study fault tolerant $t$-emulators, under the model recently introduced by Bodwin, Dinitz, and Nazari [ITCS 2022] for vertex failures. In this paper we consider the version for edge failures, and show that they exhibit surprisingly different behavior. In particular, our main result is that, for $(2k-1)$-emulators with $k$ odd, we can tolerate a polynomial number of edge faults for free. For example: for any $n$-node input graph, we construct a $5$-emulator ($k=3$) on $O(n^{4/3})$ edges that is robust to $f = O(n^{2/9})$ edge faults. It is well known that $Ω(n^{4/3})$ edges are necessary even if the $5$-emulator does not need to tolerate any faults. Thus we pay no extra cost in the size to gain this fault tolerance. We leave open the precise range of free fault tolerance for odd $k$, and whether a similar phenomenon can be proved for even $k$. △ Less

Submitted 15 November, 2022; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: ITCS 2023

New Additive Spanner Lower Bounds by an Unlayered Obstacle Product

Authors: Greg Bodwin, Gary Hoppenworth

Abstract: For an input graph $G$, an additive spanner is a sparse subgraph $H$ whose shortest paths match those of $G$ up to small additive error. We prove two new lower bounds in the area of additive spanners: 1) We construct $n$-node graphs $G$ for which any spanner on $O(n)$ edges must increase a pairwise distance by $+Ω(n^{1/7})$. This improves on a recent lower bound of $+Ω(n^{1/10.5})$ by Lu, Wein,… ▽ More For an input graph $G$, an additive spanner is a sparse subgraph $H$ whose shortest paths match those of $G$ up to small additive error. We prove two new lower bounds in the area of additive spanners: 1) We construct $n$-node graphs $G$ for which any spanner on $O(n)$ edges must increase a pairwise distance by $+Ω(n^{1/7})$. This improves on a recent lower bound of $+Ω(n^{1/10.5})$ by Lu, Wein, Vassilevska Williams, and Xu [SODA '22]. 2) A classic result by Coppersmith and Elkin [SODA '05] proves that for any $n$-node graph $G$ and set of $p = O(n^{1/2})$ demand pairs, one can exactly preserve all pairwise distances among demand pairs using a spanner on $O(n)$ edges. They also provided a lower bound construction, establishing that that this range $p = O(n^{1/2})$ cannot be improved. We strengthen this lower bound by proving that, for any constant $k$, this range of $p$ is still unimprovable even if the spanner is allowed $+k$ additive error among the demand pairs. This negatively resolves an open question asked by Coppersmith and Elkin [SODA '05] and again by Cygan, Grandoni, and Kavitha [STACS '13] and Abboud and Bodwin [SODA '16]. At a technical level, our lower bounds are obtained by an improvement to the entire obstacle product framework used to compose "inner" and "outer" graphs into lower bound instances. In particular, we develop a new strategy for analysis that allows certain non-layered graphs to be used in the product, and we use this freedom to design better inner and outer graphs that lead to our new lower bounds. △ Less

Submitted 5 October, 2022; v1 submitted 24 July, 2022; originally announced July 2022.

Comments: FOCS 2022, fixed Definition 3

The International Linear Collider: Report to Snowmass 2021

Authors: Alexander Aryshev, Ties Behnke, Mikael Berggren, James Brau, Nathaniel Craig, Ayres Freitas, Frank Gaede, Spencer Gessner, Stefania Gori, Christophe Grojean, Sven Heinemeyer, Daniel Jeans, Katja Kruger, Benno List, Jenny List, Zhen Liu, Shinichiro Michizono, David W. Miller, Ian Moult, Hitoshi Murayama, Tatsuya Nakada, Emilio Nanni, Mihoko Nojiri, Hasan Padamsee, Maxim Perelstein , et al. (487 additional authors not shown)

Abstract: The International Linear Collider (ILC) is on the table now as a new global energy-frontier accelerator laboratory taking data in the 2030s. The ILC addresses key questions for our current understanding of particle physics. It is based on a proven accelerator technology. Its experiments will challenge the Standard Model of particle physics and will provide a new window to look beyond it. This docu… ▽ More The International Linear Collider (ILC) is on the table now as a new global energy-frontier accelerator laboratory taking data in the 2030s. The ILC addresses key questions for our current understanding of particle physics. It is based on a proven accelerator technology. Its experiments will challenge the Standard Model of particle physics and will provide a new window to look beyond it. This document brings the story of the ILC up to date, emphasizing its strong physics motivation, its readiness for construction, and the opportunity it presents to the US and the global particle physics community. △ Less

Submitted 16 January, 2023; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: 356 pages, Large pdf file (40 MB) submitted to Snowmass 2021; v2 references to Snowmass contributions added, additional authors; v3 references added, some updates, additional authors

Report number: DESY-22-045, IFT--UAM/CSIC--22-028, KEK Preprint 2021-61, PNNL-SA-160884, SLAC-PUB-17662

Vertex Fault-Tolerant Emulators

Authors: Greg Bodwin, Michael Dinitz, Yasamin Nazari

Abstract: A $k$-spanner of a graph $G$ is a sparse subgraph that preserves its shortest path distances up to a multiplicative stretch factor of $k$, and a $k$-emulator is similar but not required to be a subgraph of $G$. A classic theorem by Thorup and Zwick [JACM '05] shows that, despite the extra flexibility available to emulators, the size/stretch tradeoffs for spanners and emulators are equivalent. Our… ▽ More A $k$-spanner of a graph $G$ is a sparse subgraph that preserves its shortest path distances up to a multiplicative stretch factor of $k$, and a $k$-emulator is similar but not required to be a subgraph of $G$. A classic theorem by Thorup and Zwick [JACM '05] shows that, despite the extra flexibility available to emulators, the size/stretch tradeoffs for spanners and emulators are equivalent. Our main result is that this equivalence in tradeoffs no longer holds in the commonly-studied setting of graphs with vertex failures. That is: we introduce a natural definition of vertex fault-tolerant emulators, and then we show a three-way tradeoff between size, stretch, and fault-tolerance for these emulators that polynomially surpasses the tradeoff known to be optimal for spanners. We complement our emulator upper bound with a lower bound construction that is essentially tight (within $\log n$ factors of the upper bound) when the stretch is $2k-1$ and $k$ is either a fixed odd integer or $2$. We also show constructions of fault-tolerant emulators with additive error, demonstrating that these also enjoy significantly improved tradeoffs over those available for fault-tolerant additive spanners. △ Less

Submitted 19 November, 2021; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: To appear in ITCS 2022

Renormalization of the radiative jet function

Authors: Geoffrey T. Bodwin, June-Haak Ee, Jungil Lee, Xiang-Peng Wang

Abstract: We show how to compute directly the renormalization/evolution of the radiative jet function that appears in the factorization theorems for $B\to γ\ellν$ and $H\to γγ$ through a $b$-quark loop. We point out that, in order to avoid double counting of soft contributions, one should use in the factorization theorems a subtracted radiative jet function, from which soft contributions have been removed.… ▽ More We show how to compute directly the renormalization/evolution of the radiative jet function that appears in the factorization theorems for $B\to γ\ellν$ and $H\to γγ$ through a $b$-quark loop. We point out that, in order to avoid double counting of soft contributions, one should use in the factorization theorems a subtracted radiative jet function, from which soft contributions have been removed. The soft-contribution subtractions are zero-bin subtractions in the terminology of soft-collinear effective theory. We show that they can be factored from the radiative jet function and that the resulting soft-subtraction function gives rise to a nonlocal renormalization of the subtracted radiative jet function. This is a novel instance in which zero-bin subtractions lead to a nonlocality in the renormalization of a subtracted quantity that is not present in the renormalization of the unsubtracted quantity. We demonstrate the use of our formalism by computing the order-$α_s$ evolution kernel for the subtracted radiative jet function. Our result is in agreement with the result that had been inferred previously by making use of the factorization theorem for $B\to γ\ellν$, but that had been ascribed to the unsubtracted radiative jet function. △ Less

Submitted 11 January, 2022; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: 34 pages, 4 figures, substantial clarifications to the discussions, version published in PRD

On additive spanners in weighted graphs with local error

Authors: Reyan Ahmed, Greg Bodwin, Keaton Hamm, Stephen Kobourov, Richard Spence

Abstract: An \emph{additive $+β$ spanner} of a graph $G$ is a subgraph which preserves distances up to an additive $+β$ error. Additive spanners are well-studied in unweighted graphs but have only recently received attention in weighted graphs [Elkin et al.\ 2019 and 2020, Ahmed et al.\ 2020]. This paper makes two new contributions to the theory of weighted additive spanners. For weighted graphs, [Ahmed e… ▽ More An \emph{additive $+β$ spanner} of a graph $G$ is a subgraph which preserves distances up to an additive $+β$ error. Additive spanners are well-studied in unweighted graphs but have only recently received attention in weighted graphs [Elkin et al.\ 2019 and 2020, Ahmed et al.\ 2020]. This paper makes two new contributions to the theory of weighted additive spanners. For weighted graphs, [Ahmed et al.\ 2020] provided constructions of sparse spanners with \emph{global} error $β= cW$, where $W$ is the maximum edge weight in $G$ and $c$ is constant. We improve these to \emph{local} error by giving spanners with additive error $+cW(s,t)$ for each vertex pair $(s,t)$, where $W(s, t)$ is the maximum edge weight along the shortest $s$--$t$ path in $G$. These include pairwise $+(2+\eps)W(\cdot,\cdot)$ and $+(6+\eps) W(\cdot, \cdot)$ spanners over vertex pairs $\Pc \subseteq V \times V$ on $O_{\eps}(n|\Pc|^{1/3})$ and $O_{\eps}(n|\Pc|^{1/4})$ edges for all $\eps > 0$, which extend previously known unweighted results up to $\eps$ dependence, as well as an all-pairs $+4W(\cdot,\cdot)$ spanner on $\widetilde{O}(n^{7/5})$ edges. Besides sparsity, another natural way to measure the quality of a spanner in weighted graphs is by its \emph{lightness}, defined as the total edge weight of the spanner divided by the weight of an MST of $G$. We provide a $+\eps W(\cdot,\cdot)$ spanner with $O_{\eps}(n)$ lightness, and a $+(4+\eps) W(\cdot,\cdot)$ spanner with $O_{\eps}(n^{2/3})$ lightness. These are the first known additive spanners with nontrivial lightness guarantees. All of the above spanners can be constructed in polynomial time. △ Less

Submitted 7 May, 2021; v1 submitted 17 March, 2021; originally announced March 2021.

Partially Optimal Edge Fault-Tolerant Spanners

Authors: Greg Bodwin, Michael Dinitz, Caleb Robelle

Abstract: Recent work has established that, for every positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges that is resilient to $f$ edge or vertex faults. For vertex faults, this bound is tight. However, the case of edge faults is not as well understood: the best known lower bound for general $k$ is $Ω(f^{\frac12 - \frac{1}{2k}} n^{1+1/k} +fn)$. Our main result… ▽ More Recent work has established that, for every positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges that is resilient to $f$ edge or vertex faults. For vertex faults, this bound is tight. However, the case of edge faults is not as well understood: the best known lower bound for general $k$ is $Ω(f^{\frac12 - \frac{1}{2k}} n^{1+1/k} +fn)$. Our main result is to nearly close this gap with an improved upper bound, thus separating the cases of edge and vertex faults. For odd $k$, our new upper bound is $O_k(f^{\frac12 - \frac{1}{2k}} n^{1+1/k} + fn)$, which is tight up to hidden $poly(k)$ factors. For even $k$, our new upper bound is $O_k(f^{1/2} n^{1+1/k} +fn)$, which leaves a gap of $poly(k) f^{1/(2k)}$. Our proof is an analysis of the fault-tolerant greedy algorithm, which requires exponential time, but we also show that there is a polynomial-time algorithm which creates edge fault tolerant spanners that are larger only by factors of $k$. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Restorable Shortest Path Tiebreaking for Edge-Faulty Graphs

Authors: Greg Bodwin, Merav Parter

Abstract: The restoration lemma by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [Dist. Comp. '02] proves that, in an undirected unweighted graph, any replacement shortest path avoiding a failing edge can be expressed as the concatenation of two original shortest paths. However, the lemma is tiebreaking-sensitive: if one selects a particular canonical shortest path for each node pair, it is no longer guara… ▽ More The restoration lemma by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [Dist. Comp. '02] proves that, in an undirected unweighted graph, any replacement shortest path avoiding a failing edge can be expressed as the concatenation of two original shortest paths. However, the lemma is tiebreaking-sensitive: if one selects a particular canonical shortest path for each node pair, it is no longer guaranteed that one can build replacement paths by concatenating two selected shortest paths. They left as an open problem whether a method of shortest path tiebreaking with this desirable property is generally possible. We settle this question affirmatively with the first general construction of restorable tiebreaking schemes. We then show applications to various problems in fault-tolerant network design. These include a faster algorithm for subset replacement paths, more efficient fault-tolerant (exact) distance labeling schemes, fault-tolerant subset distance preservers and $+4$ additive spanners with improved sparsity, and fast distributed algorithms that construct these objects. For example, an almost immediate corollary of our restorable tiebreaking scheme is the first nontrivial distributed construction of sparse fault-tolerant distance preservers resilient to three faults. △ Less

Submitted 2 June, 2023; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: PODC 2021

Multi-level Weighted Additive Spanners

Authors: Reyan Ahmed, Greg Bodwin, Faryad Darabi Sahneh, Keaton Hamm, Stephen Kobourov, Richard Spence

Abstract: Given a graph $G = (V,E)$, a subgraph $H$ is an \emph{additive $+β$ spanner} if $\dist_H(u,v) \le \dist_G(u,v) + β$ for all $u, v \in V$. A \emph{pairwise spanner} is a spanner for which the above inequality only must hold for specific pairs $P \subseteq V \times V$ given on input, and when the pairs have the structure $P = S \times S$ for some subset $S \subseteq V$, it is specifically called a \… ▽ More Given a graph $G = (V,E)$, a subgraph $H$ is an \emph{additive $+β$ spanner} if $\dist_H(u,v) \le \dist_G(u,v) + β$ for all $u, v \in V$. A \emph{pairwise spanner} is a spanner for which the above inequality only must hold for specific pairs $P \subseteq V \times V$ given on input, and when the pairs have the structure $P = S \times S$ for some subset $S \subseteq V$, it is specifically called a \emph{subsetwise spanner}. Spanners in unweighted graphs have been studied extensively in the literature, but have only recently been generalized to weighted graphs. In this paper, we consider a multi-level version of the subsetwise spanner in weighted graphs, where the vertices in $S$ possess varying level, priority, or quality of service (QoS) requirements, and the goal is to compute a nested sequence of spanners with the minimum number of total edges. We first generalize the $+2$ subsetwise spanner of [Pettie 2008, Cygan et al., 2013] to the weighted setting. We experimentally measure the performance of this and several other algorithms for weighted additive spanners, both in terms of runtime and sparsity of output spanner, when applied at each level of the multi-level problem. Spanner sparsity is compared to the sparsest possible spanner satisfying the given error budget, obtained using an integer programming formulation of the problem. We run our experiments with respect to input graphs generated by several different random graph generators: Erdős--Rényi, Watts--Strogatz, Barabási--Albert, and random geometric models. By analyzing our experimental results we developed a new technique of changing an initialization parameter value that provides better performance in practice. △ Less

Submitted 29 March, 2021; v1 submitted 10 February, 2021; originally announced February 2021.

Analyticity, renormalization, and evolution of the soft-quark function

Authors: Geoffrey T. Bodwin, June-Haak Ee, Jungil Lee, Xiang-Peng Wang

Abstract: We compute the renormalization and evolution of the soft-quark function that appears in the factorization theorem for Higgs-boson decays to two photons through a $b$-quark loop. Our computation confirms a conjecture by Liu, Mecaj, Neubert, Wang, and Fleming for the form of the renormalization and evolution of the soft-quark function in order $α_s$. We also work out the analyticity structure of the… ▽ More We compute the renormalization and evolution of the soft-quark function that appears in the factorization theorem for Higgs-boson decays to two photons through a $b$-quark loop. Our computation confirms a conjecture by Liu, Mecaj, Neubert, Wang, and Fleming for the form of the renormalization and evolution of the soft-quark function in order $α_s$. We also work out the analyticity structure of the soft-quark function by making use of light-cone perturbation theory. △ Less

Submitted 7 May, 2021; v1 submitted 12 January, 2021; originally announced January 2021.

Comments: 40 pages, 12 figures, as usual plus additional diagrams calculated, typos corrected, text improved, references added

Journal ref: Phys. Rev. D 104, 016010 (2021)

Optimal Vertex Fault-Tolerant Spanners in Polynomial Time

Authors: Greg Bodwin, Michael Dinitz, Caleb Robelle

Abstract: Recent work has pinned down the existentially optimal size bounds for vertex fault-tolerant spanners: for any positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges resilient to $f$ vertex faults, and there are examples of input graphs on which this bound cannot be improved. However, these proofs work by analyzing the output spanner of a certain exponen… ▽ More Recent work has pinned down the existentially optimal size bounds for vertex fault-tolerant spanners: for any positive integer $k$, every $n$-node graph has a $(2k-1)$-spanner on $O(f^{1-1/k} n^{1+1/k})$ edges resilient to $f$ vertex faults, and there are examples of input graphs on which this bound cannot be improved. However, these proofs work by analyzing the output spanner of a certain exponential-time greedy algorithm. In this work, we give the first algorithm that produces vertex fault tolerant spanners of optimal size and which runs in polynomial time. Specifically, we give a randomized algorithm which takes $\widetilde{O}\left( f^{1-1/k} n^{2+1/k} + mf^2\right)$ time. We also derandomize our algorithm to give a deterministic algorithm with similar bounds. This reflects an exponential improvement in runtime over [Bodwin-Patel PODC '19], the only previously known algorithm for constructing optimal vertex fault-tolerant spanners. △ Less

Submitted 31 October, 2020; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: Appears in SODA 2021. Corrects some references, answers reviewer comments

Weighted Additive Spanners

Authors: Reyan Ahmed, Greg Bodwin, Faryad Darabi Sahneh, Stephen Kobourov, Richard Spence

Abstract: A \emph{spanner} of a graph $G$ is a subgraph $H$ that approximately preserves shortest path distances in $G$. Spanners are commonly applied to compress computation on metric spaces corresponding to weighted input graphs. Classic spanner constructions can seamlessly handle edge weights, so long as error is measured \emph{multiplicatively}. In this work, we investigate whether one can similarly ext… ▽ More A \emph{spanner} of a graph $G$ is a subgraph $H$ that approximately preserves shortest path distances in $G$. Spanners are commonly applied to compress computation on metric spaces corresponding to weighted input graphs. Classic spanner constructions can seamlessly handle edge weights, so long as error is measured \emph{multiplicatively}. In this work, we investigate whether one can similarly extend constructions of spanners with purely \emph{additive} error to weighted graphs. These extensions are not immediate, due to a key lemma about the size of shortest path neighborhoods that fails for weighted graphs. Despite this, we recover a suitable amortized version, which lets us prove direct extensions of classic $+2$ and $+4$ unweighted spanners (both all-pairs and pairwise) to $+2W$ and $+4W$ weighted spanners, where $W$ is the maximum edge weight. Specifically, we show that a weighted graph $G$ contains all-pairs (pairwise) $+2W$ and $+4W$ weighted spanners of size $O(n^{3/2})$ and $\widetilde{O}(n^{7/5})$ ($O(np^{1/3})$ and $O(np^{2/7})$) respectively. For a technical reason, the $+6$ unweighted spanner becomes a $+8W$ weighted spanner; closing this error gap is an interesting remaining open problem. That is, we show that $G$ contains all-pairs (pairwise) $+8W$ weighted spanners of size $O(n^{4/3})$ ($O(np^{1/4})$). △ Less

Submitted 29 June, 2021; v1 submitted 15 February, 2020; originally announced February 2020.

A Note on Distance-Preserving Graph Sparsification

Authors: Greg Bodwin

Abstract: We consider problems of the following type: given a graph $G$, how many edges are needed in the worst case for a sparse subgraph $H$ that approximately preserves distances between a given set of node pairs $P$? Examples include pairwise spanners, distance preservers, reachability preservers, etc. There has been a trend in the area of simple constructions based on the hitting set technique, followe… ▽ More We consider problems of the following type: given a graph $G$, how many edges are needed in the worst case for a sparse subgraph $H$ that approximately preserves distances between a given set of node pairs $P$? Examples include pairwise spanners, distance preservers, reachability preservers, etc. There has been a trend in the area of simple constructions based on the hitting set technique, followed by somewhat more complicated constructions that improve over the bounds obtained from hitting sets by roughly a $\log$ factor. In this note, we point out that the simpler constructions based on hitting sets don't actually need an extra $\log$ factor in the first place. This simplifies and unifies a few proofs in the area, and it improves the size of the $+4$ pairwise spanner from $\widetilde{O}(np^{2/7})$ [Kavitha Th. Comp. Sys. '17] to $O(np^{2/7})$. △ Less

Submitted 7 May, 2021; v1 submitted 21 January, 2020; originally announced January 2020.

New method for fitting coefficients in standard model effective theory

Authors: Geoffrey T. Bodwin, Hee Sok Chung

Abstract: We present an alternative method for carrying out a principal-component analysis of Wilson coefficients in standard model effective field theory (SMEFT). The method is based on singular-value decomposition (SVD). The SVD method provides information about the sensitivity of experimental observables to physics beyond the standard model that is not accessible in the Fisher-information method. In prin… ▽ More We present an alternative method for carrying out a principal-component analysis of Wilson coefficients in standard model effective field theory (SMEFT). The method is based on singular-value decomposition (SVD). The SVD method provides information about the sensitivity of experimental observables to physics beyond the standard model that is not accessible in the Fisher-information method. In principle, the SVD method can also have computational advantages over diagonalization of the Fisher information matrix. We demonstrate the SVD method by applying it to the dimension-6 coefficients for the process of top-quark decay to a $b$ quark and a $W$ boson and use this example to illustrate some pitfalls in widely used fitting procedures. We also outline an iterative procedure for applying the SVD method to dimension-8 SMEFT coefficients. △ Less

Submitted 2 July, 2020; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 27 pages, 3 tables, minor clarifications, corrections, improvements in notation. Corresponds to published version

Report number: TUM-EFT 134/19

Journal ref: Phys. Rev. D 101, 115039 (2020)

A Unified View of Graph Regularity via Matrix Decompositions

Authors: Greg Bodwin, Santosh Vempala

Abstract: We prove algorithmic weak and \Szemeredi{} regularity lemmas for several classes of sparse graphs in the literature, for which only weak regularity lemmas were previously known. These include core-dense graphs, low threshold rank graphs, and (a version of) $L^p$ upper regular graphs. More precisely, we define \emph{cut pseudorandom graphs}, we prove our regularity lemmas for these graphs, and then… ▽ More We prove algorithmic weak and \Szemeredi{} regularity lemmas for several classes of sparse graphs in the literature, for which only weak regularity lemmas were previously known. These include core-dense graphs, low threshold rank graphs, and (a version of) $L^p$ upper regular graphs. More precisely, we define \emph{cut pseudorandom graphs}, we prove our regularity lemmas for these graphs, and then we show that cut pseudorandomness captures all of the above graph classes as special cases. The core of our approach is an abstracted matrix decomposition, roughly following Frieze and Kannan [Combinatorica '99] and \Lovasz{} and Szegedy [Geom.\ Func.\ Anal.\ '07], which can be computed by a simple algorithm by Charikar [AAC0 '00]. This gives rise to the class of cut pseudorandom graphs, and using work of Oveis Gharan and Trevisan [TOC '15], it also implies new PTASes for MAX-CUT, MAX-BISECTION, MIN-BISECTION for a significantly expanded class of input graphs. (It is NP Hard to get PTASes for these graphs in general.) △ Less

Submitted 6 January, 2021; v1 submitted 26 November, 2019; originally announced November 2019.

Strategy-Stealing is Non-Constructive

Authors: Greg Bodwin, Ofer Grossman

Abstract: In many combinatorial games, one can prove that the first player wins under best play using a simple but non-constructive argument called strategy-stealing. This work is about the complexity behind these proofs: how hard is it to actually find a winning move in a game, when you know by strategy-stealing that one exists? We prove that this problem is PSPACE-hard already for Minimum Poset Games and… ▽ More In many combinatorial games, one can prove that the first player wins under best play using a simple but non-constructive argument called strategy-stealing. This work is about the complexity behind these proofs: how hard is it to actually find a winning move in a game, when you know by strategy-stealing that one exists? We prove that this problem is PSPACE-hard already for Minimum Poset Games and Symmetric Maker-Maker Games, which are simple classes of games that capture two of the main types of strategy-stealing arguments in the current literature. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Comments: ITCS 2020

Covariant calculation of a two-loop test of nonrelativistic QCD factorization

Authors: Geoffrey T. Bodwin, Hee Sok Chung, June-Haak Ee, U-Rae Kim, Jungil Lee

Abstract: We test the nonrelativistic QCD factorization conjecture for inclusive quarkonium production at two loops by carrying out a covariant calculation of the nonrelativistic quantum chromodynamics (NRQCD) long-distance matrix element (LDME) for a heavy-quark pair in an $S$-wave, color-octet state to fragment into a heavy-quark pair in a color-singlet state of arbitrary orbital angular momentum. The NRQ… ▽ More We test the nonrelativistic QCD factorization conjecture for inclusive quarkonium production at two loops by carrying out a covariant calculation of the nonrelativistic quantum chromodynamics (NRQCD) long-distance matrix element (LDME) for a heavy-quark pair in an $S$-wave, color-octet state to fragment into a heavy-quark pair in a color-singlet state of arbitrary orbital angular momentum. The NRQCD factorization conjecture for the universality of the LDME requires that infrared divergences that it contains be independent of the direction of the Wilson line that appears in its definition. We find this to be the case in our calculation. The results of our calculation differ in some respects from those of a previous calculation that was carried out by Nayak, Qiu, and Sterman using light-cone methods. We have identified the sources of some of these differences. The results of both calculations are consistent with the NRQCD factorization conjecture. However, the general principle that underlies this confirmation of NRQCD factorization at two-loop order has yet to be revealed. △ Less

Submitted 21 May, 2020; v1 submitted 12 October, 2019; originally announced October 2019.

Comments: 74 pages, 9 figures, minor reorganization and clarifications, typos corrected, published version

Journal ref: Phys. Rev. D 101, 096011 (2020)

Graph Spanners: A Tutorial Review

Authors: Reyan Ahmed, Greg Bodwin, Faryad Darabi Sahneh, Keaton Hamm, Mohammad Javad Latifi Jebelli, Stephen Kobourov, Richard Spence

Abstract: This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners, such as different formulations, sparsity and lightness results, computational complexity, dynamic algorithms, and applications. As an additional contribution, we… ▽ More This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners, such as different formulations, sparsity and lightness results, computational complexity, dynamic algorithms, and applications. As an additional contribution, we offer a list of open problems on graph spanners. △ Less

Submitted 13 March, 2020; v1 submitted 6 September, 2019; originally announced September 2019.

Comments: Many more papers added from the previous version, as well as significant expansion of results presented

A Trivial Yet Optimal Solution to Vertex Fault Tolerant Spanners

Authors: Greg Bodwin, Shyamal Patel

Abstract: We give a short and easy upper bound on the worst-case size of fault tolerant spanners, which improves on all prior work and is fully optimal at least in the setting of vertex faults. We give a short and easy upper bound on the worst-case size of fault tolerant spanners, which improves on all prior work and is fully optimal at least in the setting of vertex faults. △ Less

Submitted 1 June, 2019; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: PODC 2019. 3 pages + references

Implementation of Maxwell's equations in the reconstruction of the magnetic field in the $g-2$ storage ring

Authors: Geoffrey T. Bodwin, Hee Sok Chung, Jose Repond

Abstract: We present a method for implementing the constraints that are implied by Maxwell's equations in fits to measurements of the magnetic field in the muon storage ring of the $g-2$ experiment. The method that we use makes use of toroidal-harmonic solutions of Laplace's equation. We point out that the fitting problem can be approximated well as a linear-algebra problem. We have devised an efficient alg… ▽ More We present a method for implementing the constraints that are implied by Maxwell's equations in fits to measurements of the magnetic field in the muon storage ring of the $g-2$ experiment. The method that we use makes use of toroidal-harmonic solutions of Laplace's equation. We point out that the fitting problem can be approximated well as a linear-algebra problem. We have devised an efficient algorithm for the linear-algebra problem that makes it possible to find a solution for $10^5$ data points and $10^4$ harmonics in less than an hour on a present-day desktop computer. We illustrate our method by applying it to some preliminary measurements of the magnetic field in the $g-2$ storage ring. △ Less

Submitted 3 July, 2019; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: 23 pages, 10 figures, minor changes, version published in JINST

Report number: TUM-EFT 110/18

Journal ref: JINST 14 (2019) P07002

On the Structure of Unique Shortest Paths in Graphs

Authors: Greg Bodwin

Abstract: This paper develops a structural theory of unique shortest paths in real-weighted graphs. Our main goal is to characterize exactly which sets of node sequences, which we call path systems, can be realized as unique shortest paths in a graph with arbitrary real edge weights. We say that such a path system is strongly metrizable. An easy fact implicit in the literature is that a strongly metrizabl… ▽ More This paper develops a structural theory of unique shortest paths in real-weighted graphs. Our main goal is to characterize exactly which sets of node sequences, which we call path systems, can be realized as unique shortest paths in a graph with arbitrary real edge weights. We say that such a path system is strongly metrizable. An easy fact implicit in the literature is that a strongly metrizable path system must be consistent, meaning that no two of its paths may intersect, split apart, and then intersect again. Our main result characterizes strong metrizability via some new forbidden intersection patterns along these lines. In other words, we describe a family of forbidden patterns beyond consistency, and we prove that a path system is strongly metrizable if and only if it is consistent and it avoids all of the patterns in this family. We offer separate (but closely related) characterizations in this way for the settings of directed, undirected, and directed acyclic graphs. Our characterizations are based on a new connection between shortest paths and topology; in particular, our new forbidden patterns are in natural correspondence with two-colored topological $2$-manifolds, which we visualize as polyhedra. We believe that this connection may be of independent interest, and we further show that it implies some additional structural corollaries that seem to suggest new and possibly deep-rooted connections between these areas. △ Less

Submitted 17 October, 2018; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: SODA 2019

Quantum Sensing for High Energy Physics

Authors: Zeeshan Ahmed, Yuri Alexeev, Giorgio Apollinari, Asimina Arvanitaki, David Awschalom, Karl K. Berggren, Karl Van Bibber, Przemyslaw Bienias, Geoffrey Bodwin, Malcolm Boshier, Daniel Bowring, Davide Braga, Karen Byrum, Gustavo Cancelo, Gianpaolo Carosi, Tom Cecil, Clarence Chang, Mattia Checchin, Sergei Chekanov, Aaron Chou, Aashish Clerk, Ian Cloet, Michael Crisler, Marcel Demarteau, Ranjan Dharmapalan , et al. (91 additional authors not shown)

Abstract: Report of the first workshop to identify approaches and techniques in the domain of quantum sensing that can be utilized by future High Energy Physics applications to further the scientific goals of High Energy Physics. Report of the first workshop to identify approaches and techniques in the domain of quantum sensing that can be utilized by future High Energy Physics applications to further the scientific goals of High Energy Physics. △ Less

Submitted 29 March, 2018; originally announced March 2018.

Comments: 38 pages, report of the first workshop on Quantum Sensing for High Energy Physics, held at Argonne National Laboratory, December 12-14, 2017

Reachability Preservers: New Extremal Bounds and Approximation Algorithms

Authors: Amir Abboud, Greg Bodwin

Abstract: We abstract and study \emph{reachability preservers}, a graph-theoretic primitive that has been implicit in prior work on network design. Given a directed graph $G = (V, E)$ and a set of \emph{demand pairs} $P \subseteq V \times V$, a reachability preserver is a sparse subgraph $H$ that preserves reachability between all demand pairs. Our first contribution is a series of extremal bounds on the… ▽ More We abstract and study \emph{reachability preservers}, a graph-theoretic primitive that has been implicit in prior work on network design. Given a directed graph $G = (V, E)$ and a set of \emph{demand pairs} $P \subseteq V \times V$, a reachability preserver is a sparse subgraph $H$ that preserves reachability between all demand pairs. Our first contribution is a series of extremal bounds on the size of reachability preservers. Our main result states that, for an $n$-node graph and demand pairs of the form $P \subseteq S \times V$ for a small node subset $S$, there is always a reachability preserver on $O(n+\sqrt{n |P| |S|})$ edges. We additionally give a lower bound construction demonstrating that this upper bound characterizes the settings in which $O(n)$ size reachability preservers are generally possible, in a large range of parameters. The second contribution of this paper is a new connection between extremal graph sparsification results and classical Steiner Network Design problems. Surprisingly, prior to this work, the osmosis of techniques between these two fields had been superficial. This allows us to improve the state of the art approximation algorithms for the most basic Steiner-type problem in directed graphs from the $O(n^{0.6+\varepsilon})$ of Chlamatac, Dinitz, Kortsarz, and Laekhanukit (SODA'17) to $O(n^{4/7+\varepsilon})$. △ Less

Submitted 22 November, 2023; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: SODA '18

Addendum: New approach to the resummation of logarithms in Higgs-boson decays to a vector quarkonium plus a photon [Phys. Rev. D 95, 054018 (2017)]

Authors: Geoffrey T. Bodwin, Hee Sok Chung, June-Haak Ee, Jungil Lee

Abstract: In this addendum to Phys.\ Rev.\ D {\bf 95}, 054018 (2017) we recompute the rates for the decays of the Higgs boson to a vector quarkonium plus a photon, where the vector quarkonium is $J/ψ$, $Υ(1S)$, $Υ(2S)$, or $Υ(3S)$. We correct an error in the Abel-Padé summation formula that was used to carry out the evolution of the quarkonium light-cone distribution amplitude in Phys.\ Rev.\ D {\bf 95}, 05… ▽ More In this addendum to Phys.\ Rev.\ D {\bf 95}, 054018 (2017) we recompute the rates for the decays of the Higgs boson to a vector quarkonium plus a photon, where the vector quarkonium is $J/ψ$, $Υ(1S)$, $Υ(2S)$, or $Υ(3S)$. We correct an error in the Abel-Padé summation formula that was used to carry out the evolution of the quarkonium light-cone distribution amplitude in Phys.\ Rev.\ D {\bf 95}, 054018 (2017). We also correct an error in the scale of quarkonium wave function at the origin in Phys.\ Rev.\ D {\bf 95}, 054018 (2017) and introduce several additional refinements in the calculation. △ Less

Submitted 6 January, 2018; v1 submitted 28 September, 2017; originally announced October 2017.

Comments: 7 pages, [v2] Abel-Pade summation formula corrected, [v3] PRD version

Journal ref: Phys. Rev. D 96, 116014 (2017)

Optimal Vertex Fault Tolerant Spanners (for fixed stretch)

Authors: Greg Bodwin, Michael Dinitz, Merav Parter, Virginia Vassilevska Williams

Abstract: A $k$-spanner of a graph $G$ is a sparse subgraph $H$ whose shortest path distances match those of $G$ up to a multiplicative error $k$. In this paper we study spanners that are resistant to faults. A subgraph $H \subseteq G$ is an $f$ vertex fault tolerant (VFT) $k$-spanner if $H \setminus F$ is a $k$-spanner of $G \setminus F$ for any small set $F$ of $f$ vertices that might "fail." One of the m… ▽ More A $k$-spanner of a graph $G$ is a sparse subgraph $H$ whose shortest path distances match those of $G$ up to a multiplicative error $k$. In this paper we study spanners that are resistant to faults. A subgraph $H \subseteq G$ is an $f$ vertex fault tolerant (VFT) $k$-spanner if $H \setminus F$ is a $k$-spanner of $G \setminus F$ for any small set $F$ of $f$ vertices that might "fail." One of the main questions in the area is: what is the minimum size of an $f$ fault tolerant $k$-spanner that holds for all $n$ node graphs (as a function of $f$, $k$ and $n$)? This question was first studied in the context of geometric graphs [Levcopoulos et al. STOC '98, Czumaj and Zhao SoCG '03] and has more recently been considered in general undirected graphs [Chechik et al. STOC '09, Dinitz and Krauthgamer PODC '11]. In this paper, we settle the question of the optimal size of a VFT spanner, in the setting where the stretch factor $k$ is fixed. Specifically, we prove that every (undirected, possibly weighted) $n$-node graph $G$ has a $(2k-1)$-spanner resilient to $f$ vertex faults with $O_k(f^{1 - 1/k} n^{1 + 1/k})$ edges, and this is fully optimal (unless the famous Erdos Girth Conjecture is false). Our lower bound even generalizes to imply that no data structure capable of approximating $dist_{G \setminus F}(s, t)$ similarly can beat the space usage of our spanner in the worst case. We also consider the edge fault tolerant (EFT) model, defined analogously with edge failures rather than vertex failures. We show that the same spanner upper bound applies in this setting. Our data structure lower bound extends to the case $k=2$ (and hence we close the EFT problem for $3$-approximations), but it falls to $Ω(f^{1/2 - 1/(2k)} \cdot n^{1 + 1/k})$ for $k \ge 3$. We leave it as an open problem to close this gap. △ Less

Submitted 9 October, 2017; originally announced October 2017.

Comments: To appear in SODA 2018

$Z$-boson decays to a vector quarkonium plus a photon

Authors: Geoffrey T. Bodwin, Hee Sok Chung, June-Haak Ee, Jungil Lee

Abstract: We compute the decay rates for the processes $Z\to V+γ$, where $Z$ is the $Z$ boson, $γ$ is the photon, and $V$ is one of the vector quarkonia $J/ψ$ or $Υ(nS)$, with $n=1$, $2$, or $3$. Our computations include corrections through relative orders $α_s$ and $v^2$ and resummations of logarithms of $m_Z^2/m_Q^2$, to all orders in $α_s$, at NLL accuracy. ($v$ is the velocity of the heavy quark $Q$ or… ▽ More We compute the decay rates for the processes $Z\to V+γ$, where $Z$ is the $Z$ boson, $γ$ is the photon, and $V$ is one of the vector quarkonia $J/ψ$ or $Υ(nS)$, with $n=1$, $2$, or $3$. Our computations include corrections through relative orders $α_s$ and $v^2$ and resummations of logarithms of $m_Z^2/m_Q^2$, to all orders in $α_s$, at NLL accuracy. ($v$ is the velocity of the heavy quark $Q$ or the heavy antiquark $\bar{Q}$ in the quarkonium rest frame, and $m_Z$ and $m_Q$ are the masses of $Z$ and $Q$, respectively.) Our calculations are the first to include both the order-$α_s$ correction to the light-cone distributions amplitude and the resummation of logarithms of $m_Z^2/m_Q^2$ and are the first calculations for the $Υ(2S)$ and $Υ(3S)$ final states. The resummations of logarithms of $m_Z^2/m_Q^2$ that are associated with the order-$α_s$ and order-$v^2$ corrections are carried out by making use of the Abel-Padé method. We confirm the analytic result for the order-$v^2$ correction that was presented in a previous publication, and we correct the relative sign of the direct and indirect amplitudes and some choices of scales in that publication. Our branching fractions for $Z\to J/ψ+γ$ and $Z\to Υ(1S)+γ$ differ by $2.0\,σ$ and $-4.0\,σ$, respectively, from the branching fractions that are given in the most recent publication on this topic (in units of the uncertainties that are given in that publication). However, we argue that the uncertainties in the rates are underestimated in that publication. △ Less

Submitted 22 January, 2018; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 26 pages, [v2] references added / [v3] Equation (27) modified, 3 sentences added after Eq. (27), Reference [17] added / [v4] PRD version

Journal ref: Phys. Rev. D 97, 016009 (2018)

Testing Core Membership in Public Goods Economies

Authors: Greg Bodwin

Abstract: This paper develops a recent line of economic theory seeking to understand public goods economies using methods of topological analysis. Our first main result is a very clean characterization of the economy's core (the standard solution concept in public goods). Specifically, we prove that a point is in the core iff it is Pareto efficient, individually rational, and the set of points it dominates… ▽ More This paper develops a recent line of economic theory seeking to understand public goods economies using methods of topological analysis. Our first main result is a very clean characterization of the economy's core (the standard solution concept in public goods). Specifically, we prove that a point is in the core iff it is Pareto efficient, individually rational, and the set of points it dominates is path connected. While this structural theorem has a few interesting implications in economic theory, the main focus of the second part of this paper is on a particular algorithmic application that demonstrates its utility. Since the 1960s, economists have looked for an efficient computational process that decides whether or not a given point is in the core. All known algorithms so far run in exponential time (except in some artificially restricted settings). By heavily exploiting our new structure, we propose a new algorithm for testing core membership whose computational bottleneck is the solution of $O(n)$ convex optimization problems on the utility function governing the economy. It is fairly natural to assume that convex optimization should be feasible, as it is needed even for very basic economic computational tasks such as testing Pareto efficiency. Nevertheless, even without this assumption, our work implies for the first time that core membership can be efficiently tested on (e.g.) utility functions that admit "nice" analytic expressions, or that appropriately defined $\varepsilon$-approximate versions of the problem are tractable (by using modern black-box $\varepsilon$-approximate convex optimization algorithms). △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: To appear in ICALP 2017

Preserving Distances in Very Faulty Graphs

Authors: Greg Bodwin, Fabrizio Grandoni, Merav Parter, Virginia Vassilevska Williams

Abstract: Preservers and additive spanners are sparse (hence cheap to store) subgraphs that preserve the distances between given pairs of nodes exactly or with some small additive error, respectively. Since real-world networks are prone to failures, it makes sense to study fault-tolerant versions of the above structures. This turns out to be a surprisingly difficult task. For every small but arbitrary set o… ▽ More Preservers and additive spanners are sparse (hence cheap to store) subgraphs that preserve the distances between given pairs of nodes exactly or with some small additive error, respectively. Since real-world networks are prone to failures, it makes sense to study fault-tolerant versions of the above structures. This turns out to be a surprisingly difficult task. For every small but arbitrary set of edge or vertex failures, the preservers and spanners need to contain {\em replacement paths} around the faulted set. In this paper we make substantial progress on fault tolerant preservers and additive spanners: (1) We present the first truly sub-quadratic size single-pair preservers in unweighted (possibly directed) graphs for \emph{any} fixed number $f$ of faults. Our result indeed generalizes to the single-source case, and can be used to build new fault-tolerant additive spanners (for all pairs). (2) The size of the above single-pair preservers is $O(n^{2-g(f)})$ for some positive function $g$, and grows to $O(n^2)$ for increasing $f$. We show that this is necessary even in undirected unweighted graphs, and even if you allow for a small additive error: If you aim at size $O(n^{2-ε})$ for $ε>0$, then the additive error has to be $Ω(\eps f)$. This surprisingly matches known upper bounds in the literature. (3) For weighted graphs, we provide matching upper and lower bounds for the single pair case. Namely, the size of the preserver is $Θ(n^2)$ for $f\geq 2$ in both directed and undirected graphs, while for $f=1$ the size is $Θ(n)$ in undirected graphs. For directed graphs, we have a superlinear upper bound and a matching lower bound. Most of our lower bounds extend to the distance oracle setting, where rather than a subgraph we ask for any compact data structure. △ Less

Submitted 29 March, 2017; originally announced March 2017.

Comment on "Single-inclusive jet production in electron-nucleon collisions through next-to-next-to-leading order in perturbative QCD" [Phys. Lett. B 763, 52--59 (2016)]

Authors: Geoffrey T. Bodwin, Eric Braaten

Abstract: In the cross section for single-inclusive jet production in electron-nucleon collisions, the distribution of a quark in an electron appears at next-to-next-to-leading order. The numerical calculations in Ref. [1] were carried out using a perturbative approximation for the distribution of a quark in an electron. We point out that that distribution receives nonperturbative QCD contributions that inv… ▽ More In the cross section for single-inclusive jet production in electron-nucleon collisions, the distribution of a quark in an electron appears at next-to-next-to-leading order. The numerical calculations in Ref. [1] were carried out using a perturbative approximation for the distribution of a quark in an electron. We point out that that distribution receives nonperturbative QCD contributions that invalidate the perturbative approximation. Those nonperturbative effects enter into cross sections for hard-scattering processes through resolved-electron contributions and can be taken into account by determining the distribution of a quark in an electron phenomenologically. △ Less

Submitted 22 March, 2017; v1 submitted 27 January, 2017; originally announced January 2017.

Comments: 5 pages, minor corrections, version published in Physics Letters B

Journal ref: Phys. Lett. B 769 (2017) 82

Higgs-Stoponium Mixing Near the Stop-Antistop Threshold

Authors: Geoffrey T. Bodwin, Hee Sok Chung, Carlos E. M. Wagner

Abstract: Supersymmetric extensions of the standard model contain additional heavy neutral Higgs bosons that are coupled to heavy scalar top quarks (stops). This system exhibits interesting field theoretic phenomena when the Higgs mass is close to the stop-antistop production threshold. Existing work in the literature has examined the digluon-to-diphoton cross section near threshold and has focused on enhan… ▽ More Supersymmetric extensions of the standard model contain additional heavy neutral Higgs bosons that are coupled to heavy scalar top quarks (stops). This system exhibits interesting field theoretic phenomena when the Higgs mass is close to the stop-antistop production threshold. Existing work in the literature has examined the digluon-to-diphoton cross section near threshold and has focused on enhancements in the cross section that might arise either from the perturbative contributions to the Higgs-to-digluon and Higgs-to-diphoton form factors or from mixing of the Higgs boson with stoponium states. Near threshold, enhancements in the relevant amplitudes that go as inverse powers of the stop-antistop relative velocity require resummations of perturbation theory and/or nonperturbative treatments. We present a complete formulation of threshold effects at leading order in the stop-antistop relative velocity in terms of nonrelativistic effective field theory. We give detailed numerical calculations for the case in which the stop-antistop Green's function is modeled with a Coulomb-Schrödinger Green's function. We find several general effects that do not appear in a purely perturbative treatment. Higgs-stop-antistop mixing effects displace physical masses from the threshold region, thereby rendering the perturbative threshold enhancements inoperative. In the case of large Higgs-stop-antistop couplings, the displacement of a physical state above threshold substantially increases its width, owing to its decay width to a stop-antistop pair, and greatly reduces its contribution to the cross section. △ Less

Submitted 24 January, 2017; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: 45 pages, 13 figures, minor corrections, references added, figures 2--5 updated, version published in Phys. Rev. D

Report number: CERN-TH-2016-200, EFI-16-18

Journal ref: Phys. Rev. D 95, 015013 (2017)

A Hierarchy of Lower Bounds for Sublinear Additive Spanners

Authors: Amir Abboud, Greg Bodwin, Seth Pettie

Abstract: Spanners, emulators, and approximate distance oracles can be viewed as lossy compression schemes that represent an unweighted graph metric in small space, say $\tilde{O}(n^{1+δ})$ bits. There is an inherent tradeoff between the sparsity parameter $δ$ and the stretch function $f$ of the compression scheme, but the qualitative nature of this tradeoff has remained a persistent open problem. In this… ▽ More Spanners, emulators, and approximate distance oracles can be viewed as lossy compression schemes that represent an unweighted graph metric in small space, say $\tilde{O}(n^{1+δ})$ bits. There is an inherent tradeoff between the sparsity parameter $δ$ and the stretch function $f$ of the compression scheme, but the qualitative nature of this tradeoff has remained a persistent open problem. In this paper we show that the recent additive spanner lower bound of Abboud and Bodwin is just the first step in a hierarchy of lower bounds that fully characterize the asymptotic behavior of the optimal stretch function $f$ as a function of $δ\in (0,1/3)$. Specifically, for any integer $k\ge 2$, any compression scheme with size $O(n^{1+\frac{1}{2^k-1} - ε})$ has a sublinear additive stretch function $f$: $$f(d) = d + Ω(d^{1-\frac{1}{k}}).$$ This lower bound matches Thorup and Zwick's (2006) construction of sublinear additive emulators. It also shows that Elkin and Peleg's $(1+ε,β)$-spanners have an essentially optimal tradeoff between $δ,ε,$ and $β$, and that the sublinear additive spanners of Pettie (2009) and Chechik (2013) are not too far from optimal. To complement these lower bounds we present a new construction of $(1+ε, O(k/ε)^{k-1})$-spanners with size $O((k/ε)^{h_k} kn^{1+\frac{1}{2^{k+1}-1}})$, where $h_k < 3/4$. This size bound improves on the spanners of Elkin and Peleg (2004), Thorup and Zwick (2006), and Pettie (2009). According to our lower bounds neither the size nor stretch function can be substantially improved. △ Less

Submitted 10 January, 2017; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: Accepted to SODA 2017

Fully Dynamic Spanners with Worst-Case Update Time

Authors: Greg Bodwin, Sebastian Krinninger

Abstract: An $α$-spanner of a graph $ G $ is a subgraph $ H $ such that $ H $ preserves all distances of $ G $ within a factor of $ α$. In this paper, we give fully dynamic algorithms for maintaining a spanner $ H $ of a graph $ G $ undergoing edge insertions and deletions with worst-case guarantees on the running time after each update. In particular, our algorithms maintain: (1) a $3$-spanner with… ▽ More An $α$-spanner of a graph $ G $ is a subgraph $ H $ such that $ H $ preserves all distances of $ G $ within a factor of $ α$. In this paper, we give fully dynamic algorithms for maintaining a spanner $ H $ of a graph $ G $ undergoing edge insertions and deletions with worst-case guarantees on the running time after each update. In particular, our algorithms maintain: (1) a $3$-spanner with $ \tilde O (n^{1+1/2}) $ edges with worst-case update time $ \tilde O (n^{3/4}) $, or (2) a $5$-spanner with $ \tilde O (n^{1+1/3}) $ edges with worst-case update time $ \tilde O (n^{5/9}) $. These size/stretch tradeoffs are best possible (up to logarithmic factors). They can be extended to the weighted setting at very minor cost. Our algorithms are randomized and correct with high probability against an oblivious adversary. We also further extend our techniques to construct a $5$-spanner with suboptimal size/stretch tradeoff, but improved worst-case update time. To the best of our knowledge, these are the first dynamic spanner algorithms with sublinear worst-case update time guarantees. Since it is known how to maintain a spanner using small amortized but large worst-case update time [Baswana et al. SODA'08], obtaining algorithms with strong worst-case bounds, as presented in this paper, seems to be the next natural step for this problem. △ Less

Submitted 24 June, 2016; originally announced June 2016.

Comments: To be presented at the European Symposium on Algorithms (ESA) 2016

New Results on Linear Size Distance Preservers

Authors: Greg Bodwin

Abstract: Given $p$ node pairs in an $n$-node graph, a distance preserver is a sparse subgraph that agrees with the original graph on all of the given pairwise distances. We prove the following bounds on the number of edges needed for a distance preserver: - Any $p$ node pairs in a directed weighted graph have a distance preserver on $O(n + n^{2/3} p)$ edges. - Any $p = Ω\left(\frac{n^2}{rs(n)}\right)$… ▽ More Given $p$ node pairs in an $n$-node graph, a distance preserver is a sparse subgraph that agrees with the original graph on all of the given pairwise distances. We prove the following bounds on the number of edges needed for a distance preserver: - Any $p$ node pairs in a directed weighted graph have a distance preserver on $O(n + n^{2/3} p)$ edges. - Any $p = Ω\left(\frac{n^2}{rs(n)}\right)$ node pairs in an undirected unweighted graph have a distance preserver on $O(p)$ edges, where $rs(n)$ is the Ruzsa-Szemerédi function from combinatorial graph theory. - As a lower bound, there are examples where one needs $ω(σ^2)$ edges to preserve all pairwise distances within a subset of $σ= o(n^{2/3})$ nodes in an undirected weighted graph. If we additionally require that the graph is unweighted, then the range of this lower bound falls slightly to $σ\le n^{2/3 - o(1)}$. △ Less

Submitted 30 December, 2020; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: Appeared in SODA '16 under the title "Linear Size Distance Preservers"

New approach to the resummation of logarithms in Higgs-boson decays to a vector quarkonium plus a photon

Authors: Geoffrey T. Bodwin, Hee Sok Chung, June-Haak Ee, Jungil Lee

Abstract: We present a calculation of the rates for Higgs-boson decays to a vector heavy-quarkonium state plus a photon, where the heavy quarkonium states are the J/psi and the Upsilon(nS) states, with n=1, 2, or 3. The calculation is carried out in the light-cone formalism, combined with nonrelativistic QCD factorization, and is accurate at leading order in m_Q^2/m_H^2, where m_Q is the heavy-quark mass an… ▽ More We present a calculation of the rates for Higgs-boson decays to a vector heavy-quarkonium state plus a photon, where the heavy quarkonium states are the J/psi and the Upsilon(nS) states, with n=1, 2, or 3. The calculation is carried out in the light-cone formalism, combined with nonrelativistic QCD factorization, and is accurate at leading order in m_Q^2/m_H^2, where m_Q is the heavy-quark mass and m_H is the Higgs-boson mass. The calculation contains corrections through next-to-leading order in the strong-coupling constant alpha_s and the square of the heavy-quark velocity v, and includes a resummation of logarithms of m_H^2/m_Q^2 at next-to-leading logarithmic accuracy. We have developed a new method, which makes use of Abel summation, accelerated through the use of Pade approximants, to deal with divergences in the resummed expressions for the quarkonium light-cone distribution amplitudes. This approach allows us to make definitive calculations of the resummation effects. Contributions from the order-alpha_s and order-v^2 corrections to the light-cone distribution amplitudes that we obtain with this new method differ substantially from the corresponding contributions that one obtains from a model light-cone distribution amplitude [M. Koenig and M. Neubert, J. High Energy Phys. 08 (2015) 012]. Our results for the real parts of the direct-process amplitudes are considerably smaller than those from one earlier calculation [G. T. Bodwin, H. S. Chung, J.-H. Ee, J. Lee, and F. Petriello, Phys. Rev. D 90, 113010 (2014)], reducing the sensitivity to the Higgs-boson--heavy-quark couplings, and are somewhat smaller than those from another earlier calculation [M. Koenig and M. Neubert, J. High Energy Phys. 08 (2015) 012]. However, our results for the standard-model Higgs-boson branching fractions are in good agreement with those in M. Koenig and M. Neubert, J. High Energy Phys. 08 (2015) 012. △ Less

Submitted 31 March, 2017; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: 40 pages, improved discussion of the convergence of the nonrelativistic expansion, minor corrections and changes in nomenclature, version published in Phys. Rev. D

Journal ref: Phys. Rev. D 95, 054018 (2017)

The 4/3 Additive Spanner Exponent is Tight

Authors: Amir Abboud, Greg Bodwin

Abstract: A spanner is a sparse subgraph that approximately preserves the pairwise distances of the original graph. It is well known that there is a smooth tradeoff between the sparsity of a spanner and the quality of its approximation, so long as distance error is measured multiplicatively. A central open question in the field is to prove or disprove whether such a tradeoff exists also in the regime of \em… ▽ More A spanner is a sparse subgraph that approximately preserves the pairwise distances of the original graph. It is well known that there is a smooth tradeoff between the sparsity of a spanner and the quality of its approximation, so long as distance error is measured multiplicatively. A central open question in the field is to prove or disprove whether such a tradeoff exists also in the regime of \emph{additive} error. That is, is it true that for all $\varepsilon>0$, there is a constant $k_{\varepsilon}$ such that every graph has a spanner on $O(n^{1+\varepsilon})$ edges that preserves its pairwise distances up to $+k_{\varepsilon}$? Previous lower bounds are consistent with a positive resolution to this question, while previous upper bounds exhibit the beginning of a tradeoff curve: all graphs have $+2$ spanners on $O(n^{3/2})$ edges, $+4$ spanners on $\tilde{O}(n^{7/5})$ edges, and $+6$ spanners on $O(n^{4/3})$ edges. However, progress has mysteriously halted at the $n^{4/3}$ bound, and despite significant effort from the community, the question has remained open for all $0 < \varepsilon < 1/3$. Our main result is a surprising negative resolution of the open question, even in a highly generalized setting. We show a new information theoretic incompressibility bound: there is no function that compresses graphs into $O(n^{4/3 - \varepsilon})$ bits so that distance information can be recovered within $+n^{o(1)}$ error. As a special case of our theorem, we get a tight lower bound on the sparsity of additive spanners: the $+6$ spanner on $O(n^{4/3})$ edges cannot be improved in the exponent, even if any subpolynomial amount of additive error is allowed. Our theorem implies new lower bounds for related objects as well; for example, the twenty-year-old $+4$ emulator on $O(n^{4/3})$ edges also cannot be improved in the exponent unless the error allowance is polynomial. △ Less

Submitted 11 May, 2020; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: Updated for journal version

Fragmentation contributions to hadroproduction of prompt $J/ψ$, $χ_{cJ}$, and $ψ(2S)$ states

Authors: Geoffrey T. Bodwin, Kuang-Ta Chao, Hee Sok Chung, U-Rae Kim, Jungil Lee, Yan-Qing Ma

Abstract: We compute fragmentation corrections to hadroproduction of the quarkonium states $J/ψ$, $χ_{cJ}$, and $ψ(2S)$ at leading power in $m_c^2/p_T^2$, where $m_c$ is the charm-quark mass and $p_T$ is the quarkonium transverse momentum. The computation is carried out in the framework of nonrelativistic QCD. We include corrections to the parton-production cross sections through next-to-leading order in th… ▽ More We compute fragmentation corrections to hadroproduction of the quarkonium states $J/ψ$, $χ_{cJ}$, and $ψ(2S)$ at leading power in $m_c^2/p_T^2$, where $m_c$ is the charm-quark mass and $p_T$ is the quarkonium transverse momentum. The computation is carried out in the framework of nonrelativistic QCD. We include corrections to the parton-production cross sections through next-to-leading order in the strong coupling $α_s$ and corrections to the fragmentation functions through second order in $α_s$. We also sum leading logarithms of $p_T^2/m_c^2$ to all orders in perturbation theory. We find that, when we combine these leading-power fragmentation corrections with fixed-order calculations through next-to-leading order in $α_s$, we are able to obtain good fits for $p_T\geq 10$ GeV to hadroproduction cross sections that were measured at the Tevatron and the LHC. Using values for the nonperturbative long-distance matrix elements that we extract from the cross-section fits, we make predictions for the polarizations of the quarkonium states. We obtain good agreement with measurements of the polarizations, with the exception of the CDF Run II measurement of the prompt $J/ψ$ polarization, for which the agreement is only fair. In the predictions for the prompt-$J/ψ$ cross sections and polarizations, we take into account feeddown from the $χ_{cJ}$ and $ψ(2S)$ states. △ Less

Submitted 1 March, 2016; v1 submitted 25 September, 2015; originally announced September 2015.

Comments: 41 pages, 21 figures, minor revisions, Figure 20 corrected, version published in Phys. Rev. D

Journal ref: Phys. Rev. D 93, 034041 (2016)

Very Sparse Additive Spanners and Emulators

Authors: Greg Bodwin, Virginia Vassilevska Williams

Abstract: We study two popular ways to sketch the shortest path distances of an input graph. The first is distance preservers, which are sparse subgraphs that agree with the distances of the original graph on a given set of demand pairs. Prior work on distance preservers has exploited only a simple structural property of shortest paths, called consistency, stating that one can break shortest path ties such… ▽ More We study two popular ways to sketch the shortest path distances of an input graph. The first is distance preservers, which are sparse subgraphs that agree with the distances of the original graph on a given set of demand pairs. Prior work on distance preservers has exploited only a simple structural property of shortest paths, called consistency, stating that one can break shortest path ties such that no two paths intersect, split apart, and then intersect again later. We prove that consistency alone is not enough to understand distance preservers, by showing both a lower bound on the power of consistency and a new general upper bound that polynomially surpasses it. Specifically, our new upper bound is that any $p$ demand pairs in an $n$-node undirected unweighted graph have a distance preserver on $O(n^{2/3}p^{2/3} + np^{1/3})$ edges. We leave a conjecture that the right bound is $O(n^{2/3}p^{2/3} + n)$ or better. The second part of this paper leverages these distance preservers in a new construction of additive spanners, which are subgraphs that preserve all pairwise distances up to an additive error function. We give improved error bounds for spanners with relatively few edges; for example, we prove that all graphs have spanners on $O(n)$ edges with $+O(n^{3/7 + \varepsilon})$ error. Our construction can be viewed as an extension of the popular path-buying framework to clusters of larger radii. △ Less

Submitted 6 June, 2021; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: ITCS 2015

Better Distance Preservers and Additive Spanners

Authors: Greg Bodwin, Virginia Vassilevska Williams

Abstract: We study two popular ways to sketch the shortest path distances of an input graph. The first is distance preservers, which are sparse subgraphs that agree with the distances of the original graph on a given set of demand pairs. Prior work on distance preservers has exploited only a simple structural property of shortest paths, called consistency, stating that one can break shortest path ties such… ▽ More We study two popular ways to sketch the shortest path distances of an input graph. The first is distance preservers, which are sparse subgraphs that agree with the distances of the original graph on a given set of demand pairs. Prior work on distance preservers has exploited only a simple structural property of shortest paths, called consistency, stating that one can break shortest path ties such that no two paths intersect, split apart, and then intersect again later. We prove that consistency alone is not enough to understand distance preservers, by showing both a lower bound on the power of consistency and a new general upper bound that polynomially surpasses it. Specifically, our new upper bound is that any $p$ demand pairs in an $n$-node undirected unweighted graph have a distance preserver on $O(n^{2/3}p^{2/3} + np^{1/3})$ edges. We leave a conjecture that the right bound is $O(n^{2/3}p^{2/3} + n)$ or better. The second part of this paper leverages these distance preservers in a new construction of additive spanners, which are subgraphs that preserve all pairwise distances up to an additive error function. We give improved error bounds for spanners with relatively few edges; for example, we prove that all graphs have spanners on $O(n)$ edges with $+O(n^{3/7 + \varepsilon})$ error. Our construction can be viewed as an extension of the popular path-buying framework to clusters of larger radii. △ Less

Submitted 15 August, 2021; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: SODA 2016, TALG 2021