Abstract Exceptional point degeneracies (EPDs) in the resonant spectrum of non-Hermitian systems have been recently employed for sensing due to the sublinear response of the resonance splitting when a perturbant interacts with the sensor. The sublinear response provides high sensitivity to small perturbations and a large dynamic range. However, the resonant-based EPD sensing abides to the resolution limit imposed by the resonant quality factors and by the signal-to-noise ratio reduction due to gain-elements. Moreover, it is susceptible to local mechanical disturbances and imperfections. Here, we propose a passive non-resonant (NR) EPD-sensor that is resilient to losses, local cavity variations, and noise. The NR-EPD describes the coalescence of Bloch eigenmodes associated with the spectrum of transfer matrices of periodic structures. This coalescence enables scattering cross-section cusps with a sublinear response to small detunings away from an NR-EPD. We show that these cusps can be utilized for enhanced noise-resilient sensing.
more »
« less
Enhanced avionic sensing based on Wigner’s cusp anomalies
Typical sensors detect small perturbations by measuring their effects on a physical observable, using a linear response principle (LRP). It turns out that once LRP is abandoned, new opportunities emerge. A prominent example is resonant systems operating near N th-order exceptional point degeneracies (EPDs) where a small perturbation ε ≪ 1 activates an inherent sublinear response ∼ ε N ≫ ε in resonant splitting. Here, we propose an alternative sublinear optomechanical sensing scheme that is rooted in Wigner’s cusp anomalies (WCAs), first discussed in the framework of nuclear reactions: a frequency-dependent square-root singularity of the differential scattering cross section around the energy threshold of a newly opened channel, which we use to amplify small perturbations. WCA hypersensitivity can be applied in a variety of sensing applications, besides optomechanical accelerometry discussed in this paper. Our WCA platforms are compact, do not require a judicious arrangement of active elements (unlike EPD platforms), and, if chosen, can be cavity free.
more »
« less
- Award ID(s):
- 1641109
- PAR ID:
- 10285480
- Date Published:
- Journal Name:
- Science Advances
- Volume:
- 7
- Issue:
- 23
- ISSN:
- 2375-2548
- Page Range / eLocation ID:
- eabg8118
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Mulzer, Wolfgang; Phillips, Jeff M (Ed.)Let d be a (well-behaved) shortest-path metric defined on a path-connected subset of ℝ² and let 𝒟 = {D_1,…,D_n} be a set of geodesic disks with respect to the metric d. We prove that 𝒢^×(𝒟), the intersection graph of the disks in 𝒟, has a clique-based separator consisting of O(n^{3/4+ε}) cliques. This significantly extends the class of objects whose intersection graphs have small clique-based separators. Our clique-based separator yields an algorithm for q-Coloring that runs in time 2^O(n^{3/4+ε}), assuming the boundaries of the disks D_i can be computed in polynomial time. We also use our clique-based separator to obtain a simple, efficient, and almost exact distance oracle for intersection graphs of geodesic disks. Our distance oracle uses O(n^{7/4+ε}) storage and can report the hop distance between any two nodes in 𝒢^×(𝒟) in O(n^{3/4+ε}) time, up to an additive error of one. So far, distance oracles with an additive error of one that use subquadratic storage and sublinear query time were not known for such general graph classes.more » « less
-
Tauman Kalai, Yael (Ed.)The edit distance between strings classically assigns unit cost to every character insertion, deletion, and substitution, whereas the Hamming distance only allows substitutions. In many real-life scenarios, insertions and deletions (abbreviated indels) appear frequently but significantly less so than substitutions. To model this, we consider substitutions being cheaper than indels, with cost 1/a for a parameter a ≥ 1. This basic variant, denoted ED_a, bridges classical edit distance (a = 1) with Hamming distance (a → ∞), leading to interesting algorithmic challenges: Does the time complexity of computing ED_a interpolate between that of Hamming distance (linear time) and edit distance (quadratic time)? What about approximating ED_a? We first present a simple deterministic exact algorithm for ED_a and further prove that it is near-optimal assuming the Orthogonal Vectors Conjecture. Our main result is a randomized algorithm computing a (1+ε)-approximation of ED_a(X,Y), given strings X,Y of total length n and a bound k ≥ ED_a(X,Y). For simplicity, let us focus on k ≥ 1 and a constant ε > 0; then, our algorithm takes Õ(n/a + ak³) time. Unless a = Õ(1), in which case ED_a resembles the standard edit distance, and for the most interesting regime of small enough k, this running time is sublinear in n. We also consider a very natural version that asks to find a (k_I, k_S)-alignment, i.e., an alignment with at most k_I indels and k_S substitutions. In this setting, we give an exact algorithm and, more importantly, an Õ((nk_I)/k_S + k_S k_I³)-time (1,1+ε)-bicriteria approximation algorithm. The latter solution is based on the techniques we develop for ED_a for a = Θ(k_S/k_I), and its running time is again sublinear in n whenever k_I ≪ k_S and the overall distance is small enough. These bounds are in stark contrast to unit-cost edit distance, where state-of-the-art algorithms are far from achieving (1+ε)-approximation in sublinear time, even for a favorable choice of k.more » « less
-
We present a sublinear time algorithm that allows one to sample multiple edges from a distribution that is pointwise ε-close to the uniform distribution, in an amortized-efficient fashion. We consider the adjacency list query model, where access to a graph G is given via degree and neighbor queries. The problem of sampling a single edge in this model has been raised by Eden and Rosenbaum (SOSA 18). Let n and m denote the number of vertices and edges of G, respectively. Eden and Rosenbaum provided upper and lower bounds of Θ^*(n/√ m) for sampling a single edge in general graphs (where O^*(⋅) suppresses poly(1/ε) and poly(log n) dependencies). We ask whether the query complexity lower bound for sampling a single edge can be circumvented when multiple samples are required. That is, can we get an improved amortized per-sample cost if we allow a preprocessing phase? We answer in the affirmative. We present an algorithm that, if one knows the number of required samples q in advance, has an overall cost that is sublinear in q, namely, O^*(√ q ⋅(n/√ m)), which is strictly preferable to O^*(q⋅ (n/√ m)) cost resulting from q invocations of the algorithm by Eden and Rosenbaum. Subsequent to a preliminary version of this work, Tětek and Thorup (arXiv, preprint) proved that this bound is essentially optimal.more » « less
-
In the model of local computation algorithms (LCAs), we aim to compute the queried part of the output by examining only a small (sublinear) portion of the input. Many recently developed LCAs on graph problems achieve time and space complexities with very low dependence on n, the number of vertices. Nonetheless, these complexities are generally at least exponential in d, the upper bound on the degree of the input graph. Instead, we consider the case where parameter d can be moderately dependent on n, and aim for complexities with subexponential dependence on d, while maintaining polylogarithmic dependence on n. We present: -a randomized LCA for computing maximal independent sets whose time and space complexities are quasi-polynomial in d and polylogarithmic in n; -for constant ε>0, a randomized LCA that provides a (1−ε)-approximation to maximum matching with high probability, whose time and space complexities are polynomial in d and polylogarithmic in n.more » « less
An official website of the United States government

