Showing 1–13 of 13 results for author: Coy, S

Optimal (degree+1)-Coloring in Congested Clique

Authors: Sam Coy, Artur Czumaj, Peter Davies, Gopinath Mishra

Abstract: We consider the distributed complexity of the (degree+1)-list coloring problem, in which each node $u$ of degree $d(u)$ is assigned a palette of $d(u)+1$ colors, and the goal is to find a proper coloring using these color palettes. The (degree+1)-list coloring problem is a natural generalization of the classical $(Δ+1)$-coloring and $(Δ+1)$-list coloring problems, both being benchmark problems ext… ▽ More We consider the distributed complexity of the (degree+1)-list coloring problem, in which each node $u$ of degree $d(u)$ is assigned a palette of $d(u)+1$ colors, and the goal is to find a proper coloring using these color palettes. The (degree+1)-list coloring problem is a natural generalization of the classical $(Δ+1)$-coloring and $(Δ+1)$-list coloring problems, both being benchmark problems extensively studied in distributed and parallel computing. In this paper we settle the complexity of the (degree+1)-list coloring problem in the Congested Clique model by showing that it can be solved deterministically in a constant number of rounds. △ Less

Submitted 24 April, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: 27 pages. Appeared at ICALP 2023

On Parallel k-Center Clustering

Authors: Sam Coy, Artur Czumaj, Gopinath Mishra

Abstract: We consider the classic $k$-center problem in a parallel setting, on the low-local-space Massively Parallel Computation (MPC) model, with local space per machine of $\mathcal{O}(n^δ)$, where $δ\in (0,1)$ is an arbitrary constant. As a central clustering problem, the $k$-center problem has been studied extensively. Still, until very recently, all parallel MPC algorithms have been requiring $Ω(k)$ o… ▽ More We consider the classic $k$-center problem in a parallel setting, on the low-local-space Massively Parallel Computation (MPC) model, with local space per machine of $\mathcal{O}(n^δ)$, where $δ\in (0,1)$ is an arbitrary constant. As a central clustering problem, the $k$-center problem has been studied extensively. Still, until very recently, all parallel MPC algorithms have been requiring $Ω(k)$ or even $Ω(k n^δ)$ local space per machine. While this setting covers the case of small values of $k$, for a large number of clusters these algorithms require large local memory, making them poorly scalable. The case of large $k$, $k \ge Ω(n^δ)$, has been considered recently for the low-local-space MPC model by Bateni et al. (2021), who gave an $\mathcal{O}(\log \log n)$-round MPC algorithm that produces $k(1+o(1))$ centers whose cost has multiplicative approximation of $\mathcal{O}(\log\log\log n)$. In this paper we extend the algorithm of Bateni et al. and design a low-local-space MPC algorithm that in $\mathcal{O}(\log\log n)$ rounds returns a clustering with $k(1+o(1))$ clusters that is an $\mathcal{O}(\log^*n)$-approximation for $k$-center. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 25 pages. To appear in SPAA'23

Parallel Derandomization for Coloring

Authors: Sam Coy, Artur Czumaj, Peter Davies, Gopinath Mishra

Abstract: Graph coloring problems are among the most fundamental problems in parallel and distributed computing, and have been studied extensively in both settings. In this context, designing efficient deterministic algorithms for these problems has been found particularly challenging. In this work we consider this challenge, and design a novel framework for derandomizing algorithms for coloring-type prob… ▽ More Graph coloring problems are among the most fundamental problems in parallel and distributed computing, and have been studied extensively in both settings. In this context, designing efficient deterministic algorithms for these problems has been found particularly challenging. In this work we consider this challenge, and design a novel framework for derandomizing algorithms for coloring-type problems in the Massively Parallel Computation (MPC) model with sublinear space. We give an application of this framework by showing that a recent $(degree+1)$-list coloring algorithm by Halldorsson et al. (STOC'22) in the LOCAL model of distributed computation can be translated to the MPC model and efficiently derandomized. Our algorithm runs in $O(\log \log \log n)$ rounds, which matches the complexity of the state of the art algorithm for the $(Δ+ 1)$-coloring problem. △ Less

Submitted 25 April, 2024; v1 submitted 8 February, 2023; originally announced February 2023.

Comments: 26 Pages. The paper will appear in IPDPS 2024

Routing Schemes for Hybrid Communication Networks

Authors: Sam Coy, Artur Czumaj, Christian Scheideler, Philipp Schneider, Julian Werthmann

Abstract: We consider the problem of computing routing schemes in the $\mathsf{HYBRID}$ model of distributed computing where nodes have access to two fundamentally different communication modes. In this problem nodes have to compute small labels and routing tables that allow for efficient routing of messages in the local network, which typically offers the majority of the throughput. Recent work has shown t… ▽ More We consider the problem of computing routing schemes in the $\mathsf{HYBRID}$ model of distributed computing where nodes have access to two fundamentally different communication modes. In this problem nodes have to compute small labels and routing tables that allow for efficient routing of messages in the local network, which typically offers the majority of the throughput. Recent work has shown that using the $\mathsf{HYBRID}$ model admits a significant speed-up compared to what would be possible if either communication mode were used in isolation. Nonetheless, if general graphs are used as the input graph the computation of routing schemes still takes polynomial rounds in the $\mathsf{HYBRID}$ model. We bypass this lower bound by restricting the local graph to unit-disc-graphs and solve the problem deterministically with running time $O(|\mathcal H|^2 \!+\! \log n)$, label size $O(\log n)$, and size of routing tables $O(|\mathcal H|^2 \!\cdot\! \log n)$ where $|\mathcal H|$ is the number of ``radio holes'' in the network. Our work builds on recent work by Coy et al., who obtain this result in the much simpler setting where the input graph has no radio holes. We develop new techniques to achieve this, including a decomposition of the local graph into path-convex regions, where each region contains a shortest path for any pair of nodes in it. △ Less

Submitted 13 March, 2023; v1 submitted 11 October, 2022; originally announced October 2022.

Near-Shortest Path Routing in Hybrid Communication Networks

Authors: Sam Coy, Artur Czumaj, Michael Feldmann, Kristian Hinnenthal, Fabian Kuhn, Christian Scheideler, Philipp Schneider, Martijn Struijs

Abstract: Hybrid networks, i.e., networks that leverage different means of communication, become ever more widespread. To allow theoretical study of such networks, [Augustine et al., SODA'20] introduced the $\mathsf{HYBRID}$ model, which is based on the concept of synchronous message passing and uses two fundamentally different principles of communication: a local mode, which allows every node to exchange o… ▽ More Hybrid networks, i.e., networks that leverage different means of communication, become ever more widespread. To allow theoretical study of such networks, [Augustine et al., SODA'20] introduced the $\mathsf{HYBRID}$ model, which is based on the concept of synchronous message passing and uses two fundamentally different principles of communication: a local mode, which allows every node to exchange one message per round with each neighbor in a local communication graph; and a global mode where any pair of nodes can exchange messages, but only few such exchanges can take place per round. A sizable portion of the previous research for the $\mathsf{HYBRID}$ model revolves around basic communication primitives and computing distances or shortest paths in networks. In this paper, we extend this study to a related fundamental problem of computing compact routing schemes for near-shortest paths in the local communication graph. We demonstrate that, for the case where the local communication graph is a unit-disc graph with $n$ nodes that is realized in the plane and has no radio holes, we can deterministically compute a routing scheme that has constant stretch and uses labels and local routing tables of size $O(\log n)$ bits in only $O(\log n)$ rounds. △ Less

Submitted 16 February, 2022; originally announced February 2022.

ACM Class: G.2.2; G.4

Scope2Screen: Focus+Context Techniques for Pathology Tumor Assessment in Multivariate Image Data

Authors: Jared Jessup, Robert Krueger, Simon Warchol, John Hoffer, Jeremy Muhlich, Cecily C. Ritch, Giorgio Gaglia, Shannon Coy, Yu-An Chen, Jia-Ren Lin, Sandro Santagata, Peter K. Sorger, Hanspeter Pfister

Abstract: Inspection of tissues using a light microscope is the primary method of diagnosing many diseases, notably cancer. Highly multiplexed tissue imaging builds on this foundation, enabling the collection of up to 60 channels of molecular information plus cell and tissue morphology using antibody staining. This provides unique insight into disease biology and promises to help with the design of patient-… ▽ More Inspection of tissues using a light microscope is the primary method of diagnosing many diseases, notably cancer. Highly multiplexed tissue imaging builds on this foundation, enabling the collection of up to 60 channels of molecular information plus cell and tissue morphology using antibody staining. This provides unique insight into disease biology and promises to help with the design of patient-specific therapies. However, a substantial gap remains with respect to visualizing the resulting multivariate image data and effectively supporting pathology workflows in digital environments on screen. We, therefore, developed Scope2Screen, a scalable software system for focus+context exploration and annotation of whole-slide, high-plex, tissue images. Our approach scales to analyzing 100GB images of 10^9 or more pixels per channel, containing millions of cells. A multidisciplinary team of visualization experts, microscopists, and pathologists identified key image exploration and annotation tasks involving finding, magnifying, quantifying, and organizing ROIs in an intuitive and cohesive manner. Building on a scope2screen metaphor, we present interactive lensing techniques that operate at single-cell and tissue levels. Lenses are equipped with task-specific functionality and descriptive statistics, making it possible to analyze image features, cell types, and spatial arrangements (neighborhoods) across image channels and scales. A fast sliding-window search guides users to regions similar to those under the lens; these regions can be analyzed and considered either separately or as part of a larger image collection. A novel snapshot method enables linked lens configurations and image statistics to be saved, restored, and shared. We validate our designs with domain experts and apply Scope2Screen in two case studies involving lung and colorectal cancers to discover cancer-relevant image features. △ Less

Submitted 10 October, 2021; originally announced October 2021.

ACM Class: H.5.2; I.3; I.3.6

Long-range model of vibrational autoionization in core-nonpenetrating Rydberg states of NO

Authors: Timothy J. Barnum, Gloria Clausen, Jun Jiang, Stephen L. Coy, Robert W. Field

Abstract: In high orbital angular momentum ($\ell \geq 3$) Rydberg states, the centrifugal barrier hinders close approach of the Rydberg electron to the ion-core. As a result, these core-nonpenetrating Rydberg states can be well described by a simplified model in which the Rydberg electron is only weakly perturbed by the long-range electric properties (i.e., multipole moments and polarizabilities) of the io… ▽ More In high orbital angular momentum ($\ell \geq 3$) Rydberg states, the centrifugal barrier hinders close approach of the Rydberg electron to the ion-core. As a result, these core-nonpenetrating Rydberg states can be well described by a simplified model in which the Rydberg electron is only weakly perturbed by the long-range electric properties (i.e., multipole moments and polarizabilities) of the ion-core. We have used a long-range model to describe the vibrational autoionization dynamics of high-$\ell$ Rydberg states of nitric oxide (NO). In particular, our model explains the extensive angular momentum exchange between the ion-core and Rydberg electron that had been previously observed in vibrational autoionization of $f$ ($\ell=3$) Rydberg states. These results shed light on a long-standing mechanistic question around these previous observations, and support a direct, vibrational mechanism of autoionization over an indirect, predissociation-mediated mechanism. In addition, our model correctly predicts newly measured total decay rates of $g$ ($\ell=4$) Rydberg states because, for $\ell\geq4$, the non-radiative decay is dominated by autoionization rather than predissociation. We examine the predicted NO$^+$ ion rotational state distributions generated by vibrational autoionization of $g$ states and discuss applications of our model to achieve quantum state selection in the production of molecular ions. △ Less

Submitted 13 January, 2022; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 12 pages, 7 figures

Journal ref: J. Chem. Phys. 155, 244303 (2021)

Deterministic Massively Parallel Connectivity

Authors: Sam Coy, Artur Czumaj

Abstract: We consider the problem of designing fundamental graph algorithms on the model of Massive Parallel Computation (MPC). The input to the problem is an undirected graph $G$ with $n$ vertices and $m$ edges, and with $D$ being the maximum diameter of any connected component in $G$. We consider the MPC with low local space, allowing each machine to store only $Θ(n^δ)$ words for an arbitrarily constant… ▽ More We consider the problem of designing fundamental graph algorithms on the model of Massive Parallel Computation (MPC). The input to the problem is an undirected graph $G$ with $n$ vertices and $m$ edges, and with $D$ being the maximum diameter of any connected component in $G$. We consider the MPC with low local space, allowing each machine to store only $Θ(n^δ)$ words for an arbitrarily constant $δ> 0$, and with linear global space (which is equal to the number of machines times the local space available), that is, with optimal utilization. In a recent breakthrough, Andoni et al. (FOCS 18) and Behnezhad et al. (FOCS 19) designed parallel randomized algorithms that in $O(\log D + \log \log n)$ rounds on an MPC with low local space determine all connected components of an input graph, improving upon the classic bound of $O(\log n)$ derived from earlier works on PRAM algorithms. In this paper, we show that asymptotically identical bounds can be also achieved for deterministic algorithms: we present a deterministic MPC low local space algorithm that in $O(\log D + \log \log n)$ rounds determines all connected components of the input graph. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 46 pages

Nonlinear rotational spectroscopy reveals many-body interactions in water molecules

Authors: Yaqing Zhang, Jiaojian Shi, Xian Li, Stephen L. Coy, Robert W. Field, Keith A. Nelson

Abstract: Because of their central importance in chemistry and biology, water molecules have been the subject of decades of intense spectroscopic investigations. Rotational spectroscopy of water vapor has yielded detailed information about the structure and dynamics of isolated water molecules as well as water dimers and clusters. Nonlinear rotational spectroscopy in the terahertz regime has been developed… ▽ More Because of their central importance in chemistry and biology, water molecules have been the subject of decades of intense spectroscopic investigations. Rotational spectroscopy of water vapor has yielded detailed information about the structure and dynamics of isolated water molecules as well as water dimers and clusters. Nonlinear rotational spectroscopy in the terahertz regime has been developed recently to investigate the rotational dynamics of linear and symmetric-top molecules whose rotational energy levels are regularly spaced, but it has not previously been applied to water or other lower-symmetry molecules with irregularly spaced levels. We report the use of recently developed two-dimensional terahertz rotational spectroscopy to observe high-order rotational coherences and correlations between rotational transitions that could not be observed previously. The results include two-quantum (2Q) peaks at frequencies that are shifted slightly from the sums of distinct rotational transitions on two molecules, which directly reveal the presence of previously unseen metastable water complexes with lifetimes of 100 ps or longer. Several such peaks observed at distinct 2Q frequencies indicate that the complexes have multiple preferred bimolecular geometries. Our results demonstrate sensitivity of rotational correlations measured in 2D THz spectroscopy to molecular interactions and complexation in the gas phase. △ Less

Submitted 6 October, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: 69 pages, include manuscript and supplementary information

Direct single-shot observation of millimeter wave superradiance in Rydberg-Rydberg transitions

Authors: David D. Grimes, Stephen L. Coy, Timothy J. Barnum, Yan Zhou, Susanne F. Yelin, Robert W. Field

Abstract: We have directly detected millimeter wave (mm-wave) free space superradiant emission from Rydberg states ($n \sim 30$) of barium atoms in a single shot. We trigger the cooperative effects with a weak initial pulse and detect with single-shot sensitivity and 20 ps time resolution, which allows measurement and shot-by-shot analysis of the distribution of decay rates, time delays, and time-dependent… ▽ More We have directly detected millimeter wave (mm-wave) free space superradiant emission from Rydberg states ($n \sim 30$) of barium atoms in a single shot. We trigger the cooperative effects with a weak initial pulse and detect with single-shot sensitivity and 20 ps time resolution, which allows measurement and shot-by-shot analysis of the distribution of decay rates, time delays, and time-dependent frequency shifts. Cooperative line shifts and decay rates are observed that exceed values that would correspond to the Doppler width of 250 kHz by a factor of 20 and the spontaneous emission rate of 50 Hz by a factor of $10^5$. The initial superradiant output pulse is followed by evolution of the radiation-coupled many-body system toward complex long-lasting emission modes. A comparison to a mean-field theory is presented which reproduces the quantitative time-domain results, but fails to account for either the frequency-domain observations or the long-lived features. △ Less

Submitted 11 April, 2016; originally announced April 2016.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. A 95, 043818 (2017)

A gapless micro-dielectric-barrier-discharge ion source for analytical applications

Authors: Stephen L. Coy, Evgeny V. Krylov, Gary A. Eiceman, Isik Kanik

Abstract: Use of dielectric barrier discharge (DBD) as an ion source for sensitive chemical analysis is uncommon because barrier discharges generate excess noise due to spatial and temporal instability. This design uses contacted, crossed glass-coated micro-wires to focus the field into a gradually vanishing gap, suppressing spatial and temporal variability, reducing pressure, temperature, and humidity effe… ▽ More Use of dielectric barrier discharge (DBD) as an ion source for sensitive chemical analysis is uncommon because barrier discharges generate excess noise due to spatial and temporal instability. This design uses contacted, crossed glass-coated micro-wires to focus the field into a gradually vanishing gap, suppressing spatial and temporal variability, reducing pressure, temperature, and humidity effects, stabilizing discharge initiation and limiting chemical fragmentation. Positive-ion-mode proton transfer, chemical fragmentation from a micro-discharge, and NO+ adducts combine to allow broad chemical sensitivity. We analyze noise properties of the ion source and report chemical responsivity for a wide range of volatile organic compounds. Source noise spectral density is compared for three systems: the contacted coated wires source, a gapped dielectric barrier discharge source, and a 5 mCi Ni-63 radioactive source. The crossed-wires source shows noise properties approaching those of the white-noise Ni-63 source, while gapped discharge exhibits 1/f noise from area-discharge random path and intensity variations. For chemical sensitivity testing, dilute samples are delivered by vapor flow injection or by gas chromatography, and then detected by differential ion mobility spectrometry (DMS / FAIMS) and, in a few cases by mass spectrometry. The compounds tested in positive ion mode include ketones and alcohols, simple aromatics (benzene, toluene, xylenes, ethyl and propyl benzene), chlorinated and nitrated solvents and aliphatics (hexanes and n-octane), with sensitivities from ppt to ppb levels. The wires source for trace vapor detection is stable under a range of environmental conditions from very low (ppb) humidity levels upward, has wider chemical coverage than the radioactive nickel source with nearly equivalent noise properties, and is adjustable to higher intensity. △ Less

Submitted 19 February, 2016; originally announced February 2016.

Microwave detected, microwave-optical double resonance of NH3, NH2D, NHD2, and ND3. I. Sturcture and force field of the A state

Authors: Steven A. Henck, Martin A. Mason, Wen - Bin Yan, Kevin K. Lehmann, Stephen L. Coy

Abstract: Microwave detected, microwave-optical double resonance was used to record the A state electronic spectrum of NH3, NH2D, and NHD2 with both vibrational and rotational resolution. To investigate ND3 with the same resolution as we had with our hydrogen containing isotopomers, a strip-line cell was constructed allowing the simultaneous passage of radio-frequency and ultraviolet radiation. Rotational… ▽ More Microwave detected, microwave-optical double resonance was used to record the A state electronic spectrum of NH3, NH2D, and NHD2 with both vibrational and rotational resolution. To investigate ND3 with the same resolution as we had with our hydrogen containing isotopomers, a strip-line cell was constructed allowing the simultaneous passage of radio-frequency and ultraviolet radiation. Rotational constants were obtained as a function of nu2 excitation and an A state equilibrium bond length was estimated at 1.055(8) angstroms. In addition, the harmonic force field for the A state has been experimentally determined. fhh, falpha,alpha-falpha,alpha', and frr were found to be 1.06(4)aJ/angstrom2, 0.25(2)aJ, and 4.9aJ/angstrom^2 respectively. This calculated harmonic force field predicts that the asymmetry observed in the NH3 2(4) band is due to a strong anharmonic interaction with the 4(3) level and the broad feature observed in the dispersed fluorescence spectrum previously assigned to the 1(1) band is more likely attributable to the 4(2) level. △ Less

Submitted 7 December, 1994; v1 submitted 6 December, 1994; originally announced December 1994.

Comments: Submitted to J. Chem. Phys., RevTex, 26 pages, 6 figures

Microwave detected, microwave-optical double resonance of NH3, NH2D, NHD2, and ND3. II. Predissociation dynamics of the A state

Authors: Steven A. Henck, Martin A. Mason, Wen - Bin Yan, Kevin K. Lehmann, Stephen L. Coy

Abstract: Using microwave detected, microwave-optical double resonance, we have measured the homogeneous linewidths of individual rovibrational transitions in the à state of NH3, NH2D, NHD2, and ND3. We have used this excited state spectroscopic data to characterize the height of the dissociation barrier and the mechanisms by which the molecule uses its excess vibrational and rotational energies to help o… ▽ More Using microwave detected, microwave-optical double resonance, we have measured the homogeneous linewidths of individual rovibrational transitions in the à state of NH3, NH2D, NHD2, and ND3. We have used this excited state spectroscopic data to characterize the height of the dissociation barrier and the mechanisms by which the molecule uses its excess vibrational and rotational energies to help overcome this barrier. To interpret the observed vibronic widths, a one dimensional, local mode potential has been developed along a N-H(D) bond. These calculations suggest the barrier height is roughly 2100cm-1, approximately 1000cm-1 below the ab initio prediction. The observed vibronic dependence of levels containing two or more quanta in nu2 is explained by a Fermi resonance between nu2 and the N-H(D) stretch. This interaction also explains the observed trends due to isotopic substitution. The rotational enhancement of the predissociation rates in the NH3 2(1) level is dominated by Coriolis coupling while for the same level in ND3, centrifugal effects dominate. △ Less

Submitted 6 December, 1994; originally announced December 1994.

Comments: Submitted to J. Chem. Phys., RevTex, 20 pages, 6 figures