-
On the Curvature and Topology of Compact Stationary Spacetimes
Authors:
Amir Babak Aazami
Abstract:
Using the result of Petersen $\&$ Wink '21, we find obstructions to the curvature and topology of compact Lorentzian manifolds admitting a unit-length timelike Killing vector field.
Using the result of Petersen $\&$ Wink '21, we find obstructions to the curvature and topology of compact Lorentzian manifolds admitting a unit-length timelike Killing vector field.
△ Less
Submitted 1 February, 2025;
originally announced February 2025.
-
Petrov Types for the Weyl Tensor via the Riemannian-to-Lorentzian Bridge
Authors:
Amir Babak Aazami
Abstract:
We analyze oriented Riemannian 4-manifolds whose Weyl tensors $W$ satisfy the conformally invariant condition $W(T,\cdot,\cdot,T) = 0$ for some nonzero vector $T$. While this can be algebraically classified via $W$'s normal form, we find a further geometric classification by deforming the metric into a Lorentzian one via $T$. We show that such a $W$ will have the analogue of Petrov Types from gene…
▽ More
We analyze oriented Riemannian 4-manifolds whose Weyl tensors $W$ satisfy the conformally invariant condition $W(T,\cdot,\cdot,T) = 0$ for some nonzero vector $T$. While this can be algebraically classified via $W$'s normal form, we find a further geometric classification by deforming the metric into a Lorentzian one via $T$. We show that such a $W$ will have the analogue of Petrov Types from general relativity, that only Types I and D can occur, and that each is completely determined by the number of critical points of $W$'s associated Lorentzian quadratic form. A similar result holds for the Lorentzian version of this question, with $T$ timelike.
△ Less
Submitted 30 December, 2024;
originally announced December 2024.
-
The Eisenhart Lift and Hamiltonian Systems
Authors:
Amir Babak Aazami
Abstract:
It is well known in general relativity that trajectories of Hamiltonian systems lift to geodesics of pp-wave spacetimes, an example of a more general phenomenon known as the "Eisenhart lift." We review and expand upon the benefits of this correspondence for dynamical systems theory. One benefit is the use of curvature and conjugate points to study the stability of Hamiltonian systems. Another bene…
▽ More
It is well known in general relativity that trajectories of Hamiltonian systems lift to geodesics of pp-wave spacetimes, an example of a more general phenomenon known as the "Eisenhart lift." We review and expand upon the benefits of this correspondence for dynamical systems theory. One benefit is the use of curvature and conjugate points to study the stability of Hamiltonian systems. Another benefit is that this lift unfolds a Hamiltonian system into a family of ODEs akin to a moduli space. One such family arises from the conformal invariance of lightlike geodesics, by which any Hamiltonian system unfolds into a "conformal class" of non-diffeomorphic ODEs with solutions in common. By utilizing higher-index versions of pp-waves, a similar lift and conformal class are shown to exist for certain second-order complex ODEs. Another such family occurs by lifting to a Riemannian metric that is dual to a pp-wave, a process that in certain cases yields a "square root" for the Hamiltonian. We prove a two-point boundary result for the family of ODEs arising from this lift, as well as the existence of a constant of the motion generalizing conservation of energy.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Geometry via Plane wave limits
Authors:
Amir Babak Aazami
Abstract:
Utilizing the covariant formulation of Penrose's plane wave limit by Blau et~al., we construct for any semi-Riemannian metric $g$ a family of "plane wave limits." These limits are taken along any geodesic of $g$, yield simpler metrics of Lorentzian signature, and are isometric invariants. We show that they generalize Penrose's limit to the semi-Riemannian regime and, in certain cases, encode $g$'s…
▽ More
Utilizing the covariant formulation of Penrose's plane wave limit by Blau et~al., we construct for any semi-Riemannian metric $g$ a family of "plane wave limits." These limits are taken along any geodesic of $g$, yield simpler metrics of Lorentzian signature, and are isometric invariants. We show that they generalize Penrose's limit to the semi-Riemannian regime and, in certain cases, encode $g$'s tensorial geometry and its geodesic deviation. As an application of the latter, we partially extend a well known result by Hawking & Penrose to the semi-Riemannian regime: On any semi-Riemannian manifold, if the Ricci curvature is nonnegative along any complete geodesic without conjugate points that is "causally independent" (in a sense we make precise), then the curvature tensor along that geodesic must vanish in all normal directions. A Morse Index Theorem is also proved for such geodesics.
△ Less
Submitted 29 April, 2025; v1 submitted 5 August, 2024;
originally announced August 2024.
-
On the Petrov Type of a 4-manifold
Authors:
Amir Babak Aazami
Abstract:
On an oriented 4-manifold, we examine the geometry that arises when the curvature operator of a Riemannian or Lorentzian metric $g$ commutes, not with its own Hodge star operator, but rather with that of another semi-Riemannian metric $h$ that is a suitable deformation of $g$. We classify the case when one of these metrics is Riemannian and the other Lorentzian by generalizing the concept of Petro…
▽ More
On an oriented 4-manifold, we examine the geometry that arises when the curvature operator of a Riemannian or Lorentzian metric $g$ commutes, not with its own Hodge star operator, but rather with that of another semi-Riemannian metric $h$ that is a suitable deformation of $g$. We classify the case when one of these metrics is Riemannian and the other Lorentzian by generalizing the concept of Petrov Type from general relativity; the case when $h$ is split-signature is also examined. The "generalized Petrov Types" so obtained are shown to relate to the critical points of $g$'s sectional curvature, and sometimes yield unique normal forms. They also carry topological information independent of the Hitchin-Thorpe inequality, and yield a direct geometric formulation of "almost-Einsten" metric via the Ricci or sectional curvature of $g$.
△ Less
Submitted 28 April, 2024; v1 submitted 24 September, 2023;
originally announced September 2023.
-
ICASSP 2023 Deep Noise Suppression Challenge
Authors:
Harishchandra Dubey,
Ashkan Aazami,
Vishak Gopal,
Babak Naderi,
Sebastian Braun,
Ross Cutler,
Alex Ju,
Mehdi Zohourian,
Min Tang,
Hannes Gamper,
Mehrsa Golestaneh,
Robert Aichner
Abstract:
Deep Speech Enhancement Challenge is the 5th edition of deep noise suppression (DNS) challenges organized at ICASSP 2023 Signal Processing Grand Challenges. DNS challenges were organized during 2019-2023 to stimulate research in deep speech enhancement (DSE). Previous DNS challenges were organized at INTERSPEECH 2020, ICASSP 2021, INTERSPEECH 2021, and ICASSP 2022. From prior editions, we learnt t…
▽ More
Deep Speech Enhancement Challenge is the 5th edition of deep noise suppression (DNS) challenges organized at ICASSP 2023 Signal Processing Grand Challenges. DNS challenges were organized during 2019-2023 to stimulate research in deep speech enhancement (DSE). Previous DNS challenges were organized at INTERSPEECH 2020, ICASSP 2021, INTERSPEECH 2021, and ICASSP 2022. From prior editions, we learnt that improving signal quality (SIG) is challenging particularly in presence of simultaneously active interfering talkers and noise. This challenge aims to develop models for joint denosing, dereverberation and suppression of interfering talkers. When primary talker wears a headphone, certain acoustic properties of their speech such as direct-to-reverberation (DRR), signal to noise ratio (SNR) etc. make it possible to suppress neighboring talkers even without enrollment data for primary talker. This motivated us to create two tracks for this challenge: (i) Track-1 Headset; (ii) Track-2 Speakerphone. Both tracks has fullband (48kHz) training data and testset, and each testclips has a corresponding enrollment data (10-30s duration) for primary talker. Each track invited submissions of personalized and non-personalized models all of which are evaluated through same subjective evaluation. Most models submitted to challenge were personalized models, same team is winner in both tracks where the best models has improvement of 0.145 and 0.141 in challenge's Score as compared to noisy blind testset.
△ Less
Submitted 8 May, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Obstructions to distinguished Riemannian metrics via Lorentzian geometry
Authors:
Amir Babak Aazami
Abstract:
We approach the problem of finding obstructions to curvature distinguished Riemannian metrics by considering Lorentzian metrics to which they are dual in a suitable sense. Obstructions to the latter then yield obstructions to the former. This framework applies both locally and globally, including to compact manifolds, and is sensitive to various aspects of curvature. Here we apply it in two differ…
▽ More
We approach the problem of finding obstructions to curvature distinguished Riemannian metrics by considering Lorentzian metrics to which they are dual in a suitable sense. Obstructions to the latter then yield obstructions to the former. This framework applies both locally and globally, including to compact manifolds, and is sensitive to various aspects of curvature. Here we apply it in two different ways. First, by embedding a Riemannian manifold into a Lorentzian one and utilizing Penrose's "plane wave limit," we find necessary local conditions, in terms of the Hessian of just one function, for large classes of Riemannian metrics to contain within them those that have parallel Ricci tensor, or are Ricci-flat, or are locally symmetric. Second, by considering Riemannian metrics dual to constant curvature Lorentzian metrics via a type of Wick rotation, we are able to rule out the existence of a family of compact Riemannian manifolds (in all dimensions) that deviate from constant curvature in a precise sense.
△ Less
Submitted 15 August, 2024; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Exact Parallel Waves in General Relativity
Authors:
Cian Roche,
Amir Babak Aazami,
Carla Cederbaum
Abstract:
We conduct a review of the basic definitions and the principal results in the study of wavelike spacetimes, that is spacetimes whose metric models massless radiation moving at the speed of light, focusing in particular on those geometries with parallel rays. In particular, we motivate and connect their various definitions, outline their coordinate descriptions and present some classical results in…
▽ More
We conduct a review of the basic definitions and the principal results in the study of wavelike spacetimes, that is spacetimes whose metric models massless radiation moving at the speed of light, focusing in particular on those geometries with parallel rays. In particular, we motivate and connect their various definitions, outline their coordinate descriptions and present some classical results in their study in a language more accessible to modern readers, including the existence of "null coordinates" and the construction of Penrose limits. We also present a thorough summary of recent work on causality in pp-waves, and describe progress in addressing an open question in the field - the Ehlers-Kundt conjecture.
△ Less
Submitted 28 November, 2022; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Finsler pp-waves and the Penrose Limit
Authors:
Amir Babak Aazami,
Miguel Ángel Javaloyes,
Marcus C. Werner
Abstract:
The Penrose plane wave limit is a remarkable property of Lorentzian spacetimes. Here, we discuss its extension to Finsler spacetimes by introducing suitable lightlike coordinates and adapting the Lorentzian definition of pp-waves. New examples of such Finsler pp-waves are also presented.
The Penrose plane wave limit is a remarkable property of Lorentzian spacetimes. Here, we discuss its extension to Finsler spacetimes by introducing suitable lightlike coordinates and adapting the Lorentzian definition of pp-waves. New examples of such Finsler pp-waves are also presented.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Almost Kähler metrics and pp-wave spacetimes
Authors:
Amir Babak Aazami,
Robert Ream
Abstract:
We establish a one-to-one correspondence between a class of strictly almost Kähler metrics on the one hand, and Lorentzian pp-wave spacetimes on the other; the latter metrics are well known in general relativity, where they model radiation propagating at the speed of light. Specifically, we construct families of complete almost Kähler metrics by deforming pp-waves via their propagation wave vector…
▽ More
We establish a one-to-one correspondence between a class of strictly almost Kähler metrics on the one hand, and Lorentzian pp-wave spacetimes on the other; the latter metrics are well known in general relativity, where they model radiation propagating at the speed of light. Specifically, we construct families of complete almost Kähler metrics by deforming pp-waves via their propagation wave vector. The almost Kähler metrics we obtain exist in all dimensions $2n \geq 4$, and are defined on both $\mathbb{R}^{2n}$ and $\mathbb{S}^1\times\mathbb{S}^1 \times M$, where $M$ is any closed almost Kähler manifold; they are not warped products, they include noncompact examples with constant negative scalar curvature, and all of them have the property that their fundamental 2-forms are also co-closed with respect to the Lorentzian pp-wave metric. Finally, we further deepen this relationship between almost Kähler and Lorentzian geometry by utilizing Penrose's "plane wave limit," by which every spacetime has, locally, a pp-wave metric as a limit: using Penrose's construction, we show that in all dimensions $2n \geq 4$, every Lorentzian metric admits, locally, an almost Kähler metric of this form as a limit.
△ Less
Submitted 26 August, 2022; v1 submitted 5 March, 2022;
originally announced March 2022.
-
ICASSP 2022 Deep Noise Suppression Challenge
Authors:
Harishchandra Dubey,
Vishak Gopal,
Ross Cutler,
Ashkan Aazami,
Sergiy Matusevych,
Sebastian Braun,
Sefik Emre Eskimez,
Manthan Thakker,
Takuya Yoshioka,
Hannes Gamper,
Robert Aichner
Abstract:
The Deep Noise Suppression (DNS) challenge is designed to foster innovation in the area of noise suppression to achieve superior perceptual speech quality. This is the 4th DNS challenge, with the previous editions held at INTERSPEECH 2020, ICASSP 2021, and INTERSPEECH 2021. We open-source datasets and test sets for researchers to train their deep noise suppression models, as well as a subjective e…
▽ More
The Deep Noise Suppression (DNS) challenge is designed to foster innovation in the area of noise suppression to achieve superior perceptual speech quality. This is the 4th DNS challenge, with the previous editions held at INTERSPEECH 2020, ICASSP 2021, and INTERSPEECH 2021. We open-source datasets and test sets for researchers to train their deep noise suppression models, as well as a subjective evaluation framework based on ITU-T P.835 to rate and rank-order the challenge entries. We provide access to DNSMOS P.835 and word accuracy (WAcc) APIs to challenge participants to help with iterative model improvements. In this challenge, we introduced the following changes: (i) Included mobile device scenarios in the blind test set; (ii) Included a personalized noise suppression track with baseline; (iii) Added WAcc as an objective metric; (iv) Included DNSMOS P.835; (v) Made the training datasets and test sets fullband (48 kHz). We use an average of WAcc and subjective scores P.835 SIG, BAK, and OVRL to get the final score for ranking the DNS models. We believe that as a research community, we still have a long way to go in achieving excellent speech quality in challenging noisy real-world scenarios.
△ Less
Submitted 26 February, 2022;
originally announced February 2022.
-
Resonance: Replacing Software Constants with Context-Aware Models in Real-time Communication
Authors:
Jayant Gupchup,
Ashkan Aazami,
Yaran Fan,
Senja Filipi,
Tom Finley,
Scott Inglis,
Marcus Asteborg,
Luke Caroll,
Rajan Chari,
Markus Cozowicz,
Vishak Gopal,
Vinod Prakash,
Sasikanth Bendapudi,
Jack Gerrits,
Eric Lau,
Huazhou Liu,
Marco Rossi,
Dima Slobodianyk,
Dmitri Birjukov,
Matty Cooper,
Nilesh Javar,
Dmitriy Perednya,
Sriram Srinivasan,
John Langford,
Ross Cutler
, et al. (1 additional authors not shown)
Abstract:
Large software systems tune hundreds of 'constants' to optimize their runtime performance. These values are commonly derived through intuition, lab tests, or A/B tests. A 'one-size-fits-all' approach is often sub-optimal as the best value depends on runtime context. In this paper, we provide an experimental approach to replace constants with learned contextual functions for Skype - a widely used r…
▽ More
Large software systems tune hundreds of 'constants' to optimize their runtime performance. These values are commonly derived through intuition, lab tests, or A/B tests. A 'one-size-fits-all' approach is often sub-optimal as the best value depends on runtime context. In this paper, we provide an experimental approach to replace constants with learned contextual functions for Skype - a widely used real-time communication (RTC) application. We present Resonance, a system based on contextual bandits (CB). We describe experiences from three real-world experiments: applying it to the audio, video, and transport components in Skype. We surface a unique and practical challenge of performing machine learning (ML) inference in large software systems written using encapsulation principles. Finally, we open-source FeatureBroker, a library to reduce the friction in adopting ML models in such development environments
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
Killing vector fields on Riemannian and Lorentzian 3-manifolds
Authors:
Amir Babak Aazami,
Robert Ream
Abstract:
We give a complete local classification of all Riemannian 3-manifolds $(M,g)$ admitting a nonvanishing Killing vector field $T$. We then extend this classification to timelike Killing vector fields on Lorentzian 3-manifolds, which are automatically nonvanishing. The two key ingredients needed in our classification are the scalar curvature $S$ of $g$ and the function $\text{Ric}(T,T)$, where…
▽ More
We give a complete local classification of all Riemannian 3-manifolds $(M,g)$ admitting a nonvanishing Killing vector field $T$. We then extend this classification to timelike Killing vector fields on Lorentzian 3-manifolds, which are automatically nonvanishing. The two key ingredients needed in our classification are the scalar curvature $S$ of $g$ and the function $\text{Ric}(T,T)$, where $\text{Ric}$ is the Ricci tensor; in fact their sum appears as the Gaussian curvature of the quotient metric obtained from the action of $T$. Our classification generalizes that of Sasakian structures, which is the special case when $\text{Ric}(T,T) = 2$. We also give necessary, and separately, sufficient conditions, both expressed in terms of $\text{Ric}(T,T)$, for $g$ to be locally conformally flat. We then move from the local to the global setting, and prove two results: in the event that $T$ has unit length and the coordinates derived in our classification are globally defined on $\mathbb{R}^3$, we give conditions under which $S$ completely determines when the metric will be geodesically complete. In the event that the 3-manifold $M$ is compact, we give a condition stating when it admits a metric of constant positive sectional curvature.
△ Less
Submitted 4 September, 2023; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Riemannian counterparts to Lorentzian space forms
Authors:
Amir Babak Aazami
Abstract:
On a smooth $n$-manifold $M$ with $n \geq 3$, we study pairs $(g,T)$ consisting of a Riemannian metric $g$ and a unit length closed vector field $T$. Motivated by how Ricci solitons generalize Einstein metrics via a distinguished vector field, we propose to generalize space forms by considering those pairs $(g,T)$ whose corresponding Lorentzian metric…
▽ More
On a smooth $n$-manifold $M$ with $n \geq 3$, we study pairs $(g,T)$ consisting of a Riemannian metric $g$ and a unit length closed vector field $T$. Motivated by how Ricci solitons generalize Einstein metrics via a distinguished vector field, we propose to generalize space forms by considering those pairs $(g,T)$ whose corresponding Lorentzian metric $g_{\scriptscriptstyle L} = g - 2T^{\flat} \otimes T^{\flat}$ has constant curvature. We show by examples that such pairs exist when $M$ is noncompact, and that complete metrics exist among them. When $M$ is compact, however, the situation is more rigid. In the compact setting, we prove that the only pairs $(g,T)$ whose corresponding Lorentzian metric $g_{\scriptscriptstyle L}$ is a space form are those where $(M,g)$ is flat and its universal covering splits isometrically as a product $\mathbb{R} \times N$. The nonexistence of compact Lorentzian spherical space forms plays a key role in our proof.
△ Less
Submitted 28 August, 2022; v1 submitted 30 June, 2020;
originally announced July 2020.
-
Lumos: A Library for Diagnosing Metric Regressions in Web-Scale Applications
Authors:
Jamie Pool,
Ebrahim Beyrami,
Vishak Gopal,
Ashkan Aazami,
Jayant Gupchup,
Jeff Rowland,
Binlong Li,
Pritesh Kanani,
Ross Cutler,
Johannes Gehrke
Abstract:
Web-scale applications can ship code on a daily to weekly cadence. These applications rely on online metrics to monitor the health of new releases. Regressions in metric values need to be detected and diagnosed as early as possible to reduce the disruption to users and product owners. Regressions in metrics can surface due to a variety of reasons: genuine product regressions, changes in user popul…
▽ More
Web-scale applications can ship code on a daily to weekly cadence. These applications rely on online metrics to monitor the health of new releases. Regressions in metric values need to be detected and diagnosed as early as possible to reduce the disruption to users and product owners. Regressions in metrics can surface due to a variety of reasons: genuine product regressions, changes in user population, and bias due to telemetry loss (or processing) are among the common causes. Diagnosing the cause of these metric regressions is costly for engineering teams as they need to invest time in finding the root cause of the issue as soon as possible. We present Lumos, a Python library built using the principles of AB testing to systematically diagnose metric regressions to automate such analysis. Lumos has been deployed across the component teams in Microsoft's Real-Time Communication applications Skype and Microsoft Teams. It has enabled engineering teams to detect 100s of real changes in metrics and reject 1000s of false alarms detected by anomaly detectors. The application of Lumos has resulted in freeing up as much as 95% of the time allocated to metric-based investigations. In this work, we open source Lumos and present our results from applying it to two different components within the RTC group over millions of sessions. This general library can be coupled with any production system to manage the volume of alerting efficiently.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
The INTERSPEECH 2020 Deep Noise Suppression Challenge: Datasets, Subjective Testing Framework, and Challenge Results
Authors:
Chandan K. A. Reddy,
Vishak Gopal,
Ross Cutler,
Ebrahim Beyrami,
Roger Cheng,
Harishchandra Dubey,
Sergiy Matusevych,
Robert Aichner,
Ashkan Aazami,
Sebastian Braun,
Puneet Rana,
Sriram Srinivasan,
Johannes Gehrke
Abstract:
The INTERSPEECH 2020 Deep Noise Suppression (DNS) Challenge is intended to promote collaborative research in real-time single-channel Speech Enhancement aimed to maximize the subjective (perceptual) quality of the enhanced speech. A typical approach to evaluate the noise suppression methods is to use objective metrics on the test set obtained by splitting the original dataset. While the performanc…
▽ More
The INTERSPEECH 2020 Deep Noise Suppression (DNS) Challenge is intended to promote collaborative research in real-time single-channel Speech Enhancement aimed to maximize the subjective (perceptual) quality of the enhanced speech. A typical approach to evaluate the noise suppression methods is to use objective metrics on the test set obtained by splitting the original dataset. While the performance is good on the synthetic test set, often the model performance degrades significantly on real recordings. Also, most of the conventional objective metrics do not correlate well with subjective tests and lab subjective tests are not scalable for a large test set. In this challenge, we open-sourced a large clean speech and noise corpus for training the noise suppression models and a representative test set to real-world scenarios consisting of both synthetic and real recordings. We also open-sourced an online subjective test framework based on ITU-T P.808 for researchers to reliably test their developments. We evaluated the results using P.808 on a blind test set. The results and the key learnings from the challenge are discussed. The datasets and scripts can be found here for quick access https://github.com/microsoft/DNS-Challenge.
△ Less
Submitted 18 October, 2020; v1 submitted 16 May, 2020;
originally announced May 2020.
-
On the Einstein condition for Lorentzian 3-manifolds
Authors:
Amir Babak Aazami
Abstract:
It is well known that in Lorentzian geometry there are no compact spherical space forms; in dimension 3, this means there are no closed Einstein 3-manifolds with positive Einstein constant. We generalize this fact here, by proving that there are also no closed Lorentzian 3-manifolds $(M,g)$ whose Ricci tensor satisfies $$ \text{Ric} = fg+(f-λ)T^{\flat}\otimes T^{\flat}, $$ for any unit timelike ve…
▽ More
It is well known that in Lorentzian geometry there are no compact spherical space forms; in dimension 3, this means there are no closed Einstein 3-manifolds with positive Einstein constant. We generalize this fact here, by proving that there are also no closed Lorentzian 3-manifolds $(M,g)$ whose Ricci tensor satisfies $$ \text{Ric} = fg+(f-λ)T^{\flat}\otimes T^{\flat}, $$ for any unit timelike vector field $T$, any positive constant $λ$, and any smooth function $f$ that never takes the values $0,λ$. (Observe that this reduces to the positive Einstein case when $f = λ$.) We show that there is no such obstruction if $λ$ is negative. Finally, the "borderline" case $λ= 0$ is also examined: we show that if $λ= 0$ and $f > 0$, then $(M,g)$ must be isometric to $(\mathbb{S}^1\!\times \!N,-dt^2\oplus h)$ with $(N,h)$ a Riemannian manifold.
△ Less
Submitted 7 December, 2021; v1 submitted 19 May, 2020;
originally announced May 2020.
-
The INTERSPEECH 2020 Deep Noise Suppression Challenge: Datasets, Subjective Speech Quality and Testing Framework
Authors:
Chandan K. A. Reddy,
Ebrahim Beyrami,
Harishchandra Dubey,
Vishak Gopal,
Roger Cheng,
Ross Cutler,
Sergiy Matusevych,
Robert Aichner,
Ashkan Aazami,
Sebastian Braun,
Puneet Rana,
Sriram Srinivasan,
Johannes Gehrke
Abstract:
The INTERSPEECH 2020 Deep Noise Suppression Challenge is intended to promote collaborative research in real-time single-channel Speech Enhancement aimed to maximize the subjective (perceptual) quality of the enhanced speech. A typical approach to evaluate the noise suppression methods is to use objective metrics on the test set obtained by splitting the original dataset. Many publications report r…
▽ More
The INTERSPEECH 2020 Deep Noise Suppression Challenge is intended to promote collaborative research in real-time single-channel Speech Enhancement aimed to maximize the subjective (perceptual) quality of the enhanced speech. A typical approach to evaluate the noise suppression methods is to use objective metrics on the test set obtained by splitting the original dataset. Many publications report reasonable performance on the synthetic test set drawn from the same distribution as that of the training set. However, often the model performance degrades significantly on real recordings. Also, most of the conventional objective metrics do not correlate well with subjective tests and lab subjective tests are not scalable for a large test set. In this challenge, we open-source a large clean speech and noise corpus for training the noise suppression models and a representative test set to real-world scenarios consisting of both synthetic and real recordings. We also open source an online subjective test framework based on ITU-T P.808 for researchers to quickly test their developments. The winners of this challenge will be selected based on subjective evaluation on a representative test set using P.808 framework.
△ Less
Submitted 19 April, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Magnification Cross Sections for the Elliptic Umbilic Caustic Surface
Authors:
Amir B. Aazami,
Charles R. Keeton,
Arlie O. Petters
Abstract:
We show that the asymptotic scaling of the magnification volume cross section corresponding to an elliptic umbilic caustic surface is $μ^{-2.5}$ in the two-image region and $μ^{-2}$ in the four-image region, where $μ$ is the total unsigned magnification.
We show that the asymptotic scaling of the magnification volume cross section corresponding to an elliptic umbilic caustic surface is $μ^{-2.5}$ in the two-image region and $μ^{-2}$ in the four-image region, where $μ$ is the total unsigned magnification.
△ Less
Submitted 26 July, 2019; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Canonical Kähler metrics on classes of Lorentzian $4$-manifolds
Authors:
Amir Babak Aazami,
Gideon Maschler
Abstract:
Conditions for the existence of Kähler-Einstein metrics and central Kähler metrics [MS] along with examples, both old and new, are given on classes of Lorentzian $4$-manifolds with two distinguished vector fields. The results utilize the general construction [AM] of Kähler metrics on such manifolds. The examples include both complete and incomplete metrics, and some reside on Lie groups associated…
▽ More
Conditions for the existence of Kähler-Einstein metrics and central Kähler metrics [MS] along with examples, both old and new, are given on classes of Lorentzian $4$-manifolds with two distinguished vector fields. The results utilize the general construction [AM] of Kähler metrics on such manifolds. The examples include both complete and incomplete metrics, and some reside on Lie groups associated to four types of Lie algebras. An appendix includes a similar construction for scalar-flat Kähler metrics.
△ Less
Submitted 23 December, 2020; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Kähler metrics via Lorentzian Geometry in dimension four
Authors:
Amir Babak Aazami,
Gideon Maschler
Abstract:
Given a semi-Riemannian $4$-manifold $(M,g)$ with two distinguished vector fields satisfying properties determined by their shear, twist and various Lie bracket relations, a family of Kähler metrics $g_K$ is constructed, defined on an open set in $M$, which coincides with $M$ in many typical examples. Under certain conditions $g$ and $g_K$ share various properties, such as a Killing vector field o…
▽ More
Given a semi-Riemannian $4$-manifold $(M,g)$ with two distinguished vector fields satisfying properties determined by their shear, twist and various Lie bracket relations, a family of Kähler metrics $g_K$ is constructed, defined on an open set in $M$, which coincides with $M$ in many typical examples. Under certain conditions $g$ and $g_K$ share various properties, such as a Killing vector field or a vector field with a geodesic flow. In some cases the Kähler metrics are complete. The Ricci and scalar curvatures of $g_K$ are computed under certain assumptions in terms of data associated to $g$. Many examples are described, including classical spacetimes in warped products, for instance de Sitter spacetime, as well as gravitational plane waves, metrics of Petrov type $D$ such as Kerr and NUT metrics, and metrics for which $g_K$ is an SKR metric. For the latter an inverse ansatz is described, constructing $g$ from the SKR metric.
△ Less
Submitted 22 December, 2020; v1 submitted 27 November, 2017;
originally announced November 2017.
-
On the principal Ricci curvatures of a Riemannian 3-manifold
Authors:
Amir Babak Aazami,
Charles M. Melby-Thompson
Abstract:
We study global obstructions to the eigenvalues of the Ricci tensor on a Riemannian 3-manifold. As a topological obstruction, we first show that if the 3-manifold is closed, then certain choices of the eigenvalues are prohibited: in particular, there is no Riemannian metric whose corresponding Ricci eigenvalues take the form $(-μ,f,f)$, where $μ$ is a positive constant and $f$ is a smooth positive…
▽ More
We study global obstructions to the eigenvalues of the Ricci tensor on a Riemannian 3-manifold. As a topological obstruction, we first show that if the 3-manifold is closed, then certain choices of the eigenvalues are prohibited: in particular, there is no Riemannian metric whose corresponding Ricci eigenvalues take the form $(-μ,f,f)$, where $μ$ is a positive constant and $f$ is a smooth positive function. We then concentrate on the case when one of the eigenvalues is zero. Here we show that if the manifold is complete and its Ricci eigenvalues take the form $(0,λ,λ)$, where $λ$ is a positive constant, then its universal cover must split isometrically. If the manifold is closed, scalar-flat, and its zero eigenspace contains a unit length vector field that is geodesic and divergence-free, then the manifold must be flat. Our techniques also apply to the study of Ricci solitons in dimension three.
△ Less
Submitted 26 July, 2019; v1 submitted 11 August, 2015;
originally announced August 2015.
-
The geometry of gravitational lensing magnification
Authors:
Amir Babak Aazami,
Marcus C. Werner
Abstract:
We present a definition of unsigned magnification in gravitational lensing valid on arbitrary convex normal neighborhoods of time oriented Lorentzian manifolds. This definition is a function defined at any two points along a null geodesic that lie in a convex normal neighborhood, and foregoes the usual notions of lens and source planes in gravitational lensing. Rather, it makes essential use of th…
▽ More
We present a definition of unsigned magnification in gravitational lensing valid on arbitrary convex normal neighborhoods of time oriented Lorentzian manifolds. This definition is a function defined at any two points along a null geodesic that lie in a convex normal neighborhood, and foregoes the usual notions of lens and source planes in gravitational lensing. Rather, it makes essential use of the van Vleck determinant, which we present via the exponential map, and Etherington's definition of luminosity distance for arbitrary spacetimes. We then specialize our definition to spacetimes, like Schwarzschild's, in which the lens is compact and isolated, and show that our magnification function is monotonically increasing along any geodesic contained within a convex normal neighborhood.
△ Less
Submitted 21 January, 2016; v1 submitted 9 July, 2015;
originally announced July 2015.
-
Symplectic 4-manifolds via Lorentzian geometry
Authors:
Amir Babak Aazami
Abstract:
We observe that, in dimension four, symplectic forms may be obtained via Lorentzian geometry; in particular, null vector fields can give rise to exact symplectic forms. That a null vector field is nowhere vanishing yet orthogonal to itself is essential to this construction. Specifically, we show that on a Lorentzian 4-manifold $(M,g)$, if ${\boldsymbol k}$ is a complete null vector field with geod…
▽ More
We observe that, in dimension four, symplectic forms may be obtained via Lorentzian geometry; in particular, null vector fields can give rise to exact symplectic forms. That a null vector field is nowhere vanishing yet orthogonal to itself is essential to this construction. Specifically, we show that on a Lorentzian 4-manifold $(M,g)$, if ${\boldsymbol k}$ is a complete null vector field with geodesic flow along which $\text{Ric}({\boldsymbol k},{\boldsymbol k}) > 0$, and if $f$ is any smooth function on $M$ with ${\boldsymbol k}(f)$ nowhere vanishing, then $dg(e^f{\boldsymbol k},\cdot)$ is a symplectic form and ${\boldsymbol k}/{\boldsymbol k}(f)$ is a Liouville vector field; any null surface to which ${\boldsymbol k}$ is tangent is then a Lagrangian submanifold. Even if the Ricci curvature condition is not satisfied, one can still construct such symplectic forms with additional information from ${\boldsymbol k}$; we give an example of this, with ${\boldsymbol k}$ a complete Liouville vector field, on the maximally extended "rapidly rotating" Kerr spacetime.
△ Less
Submitted 29 July, 2016; v1 submitted 24 April, 2015;
originally announced April 2015.
-
Penrose's singularity theorem in a Finsler spacetime
Authors:
Amir Babak Aazami,
Miguel Angel Javaloyes
Abstract:
We translate Penrose's singularity theorem to a Finsler spacetime. To that end, causal concepts in Lorentzian geometry are extended, including definitions and properties of focal points and trapped surfaces, with careful attention paid to the differences that arise in the Finslerian setting.
We translate Penrose's singularity theorem to a Finsler spacetime. To that end, causal concepts in Lorentzian geometry are extended, including definitions and properties of focal points and trapped surfaces, with careful attention paid to the differences that arise in the Finslerian setting.
△ Less
Submitted 28 February, 2016; v1 submitted 28 October, 2014;
originally announced October 2014.
-
The Newman-Penrose Formalism for Riemannian 3-manifolds
Authors:
Amir Babak Aazami
Abstract:
We adapt the Newman-Penrose formalism in general relativity to the setting of three-dimensional Riemannian geometry, and prove the following results. Given a Riemannian 3-manifold without boundary and a smooth unit vector field ${\boldsymbol k}$ with geodesic flow, if an integral curve of ${\boldsymbol k}$ is hypersurface-orthogonal at a point, then it is so at every point along that curve. Furthe…
▽ More
We adapt the Newman-Penrose formalism in general relativity to the setting of three-dimensional Riemannian geometry, and prove the following results. Given a Riemannian 3-manifold without boundary and a smooth unit vector field ${\boldsymbol k}$ with geodesic flow, if an integral curve of ${\boldsymbol k}$ is hypersurface-orthogonal at a point, then it is so at every point along that curve. Furthermore, if ${\boldsymbol k}$ is complete, hypersurface-orthogonal, and satisfies $\text{Ric}({\boldsymbol k},{\boldsymbol k}) \geq 0$, then its divergence must be nonnegative. As an application, we show that if the Riemannian 3-manifold is closed and a unit length ${\boldsymbol k}$ with geodesic flow satisfies $\text{Ric}({\boldsymbol k},{\boldsymbol k}) > 0$, then ${\boldsymbol k}$ cannot be hypersurface-orthogonal, thus recovering a recent result. Turning next to scalar curvature, we derive an evolution equation for the scalar curvature in terms of unit vector fields ${\boldsymbol k}$ that satisfy the condition $R({\boldsymbol k},\cdot,\cdot,\cdot) = 0$. When the scalar curvature is a nonzero constant, we show that a hypersurface-orthogonal unit vector field ${\boldsymbol k}$ satisfies $R({\boldsymbol k},\cdot,\cdot,\cdot) = 0$ if and only if it is a Killing vector field.
△ Less
Submitted 3 February, 2015; v1 submitted 27 October, 2014;
originally announced October 2014.
-
Blowup solutions of Jang's equation near a spacetime singularity
Authors:
Amir Babak Aazami,
Graham Cox
Abstract:
We study Jang's equation on a one-parameter family of asymptotically flat, spherically symmetric Cauchy hypersurfaces in the maximally extended Schwarzschild spacetime. The hypersurfaces contain apparent horizons and are parametrized by their proximity to the singularity at $r = 0$. We show that on those hypersurfaces sufficiently close to the singularity, every radial solution to Jang's equation…
▽ More
We study Jang's equation on a one-parameter family of asymptotically flat, spherically symmetric Cauchy hypersurfaces in the maximally extended Schwarzschild spacetime. The hypersurfaces contain apparent horizons and are parametrized by their proximity to the singularity at $r = 0$. We show that on those hypersurfaces sufficiently close to the singularity, every radial solution to Jang's equation blows up. The proof depends only on the geometry in an arbitrarily small neighborhood of the singularity, suggesting that Jang's equation is in fact detecting the singularity. We comment on possible applications to the weak cosmic censorship conjecture.
△ Less
Submitted 16 October, 2014; v1 submitted 27 January, 2014;
originally announced January 2014.
-
Majority out-dominating functions in digraphs
Authors:
Martín Manrique,
Karam Ebadi,
Akbar Azami
Abstract:
At least two different notions have been published under the name "majority domination in graphs": Majority dominating functions and majority dominating sets. In this work we extend the former concept to digraphs. Given a digraph $D=(V,A),$ a function $f : V \rightarrow \{-1,1\}$ such that $f(N^+[v])\geq1$ for at least half of the vertices $v$ in $V$ is a majority out-dominating function (MODF) of…
▽ More
At least two different notions have been published under the name "majority domination in graphs": Majority dominating functions and majority dominating sets. In this work we extend the former concept to digraphs. Given a digraph $D=(V,A),$ a function $f : V \rightarrow \{-1,1\}$ such that $f(N^+[v])\geq1$ for at least half of the vertices $v$ in $V$ is a majority out-dominating function (MODF) of $D.$ The weight of a MODF $f$ is $w(f)=\sum\limits_{v\in V}f(v),$ and the minimum weight of a MODF in $D$ is the majority out-domination number of $D,$ denoted $γ^+_{maj}(D).$ In this work we introduce these concepts and prove some results regarding them, among which the fact that the decision problem of finding a majority out-dominating function of a given weight is NP-complete.
△ Less
Submitted 3 November, 2013;
originally announced November 2013.
-
Lensing by Kerr Black Holes. II: Analytical Study of Quasi-Equatorial Lensing Observables
Authors:
Amir B. Aazami,
Charles R. Keeton,
A. O. Petters
Abstract:
In this second paper, we develop an analytical theory of quasi-equatorial lensing by Kerr black holes. In this setting we solve perturbatively our general lens equation with displacement given in Paper I, going beyond weak-deflection Kerr lensing to third order in our expansion parameter epsilon, which is the ratio of the angular gravitational radius to the angular Einstein radius. We obtain new f…
▽ More
In this second paper, we develop an analytical theory of quasi-equatorial lensing by Kerr black holes. In this setting we solve perturbatively our general lens equation with displacement given in Paper I, going beyond weak-deflection Kerr lensing to third order in our expansion parameter epsilon, which is the ratio of the angular gravitational radius to the angular Einstein radius. We obtain new formulas and results for the bending angle, image positions, image magnifications, total unsigned magnification, and centroid, all to third order in epsilon and including the displacement. New results on the time delay between images are also given to second order in epsilon, again including displacement. For all lensing observables we show that the displacement begins to appear only at second order in epsilon. When there is no spin, we obtain new results on the lensing observables for Schwarzschild lensing with displacement.
△ Less
Submitted 12 October, 2011; v1 submitted 21 February, 2011;
originally announced February 2011.
-
Lensing by Kerr Black Holes. I: General Lens Equation and Magnification Formula
Authors:
Amir B. Aazami,
Charles R. Keeton,
A. O. Petters
Abstract:
We develop a unified, analytic framework for gravitational lensing by Kerr black holes. In this first paper we present a new, general lens equation and magnification formula governing lensing by a compact object. Our lens equation assumes that the source and observer are in the asymptotically flat region and does not require a small angle approximation. Furthermore, it takes into account the displ…
▽ More
We develop a unified, analytic framework for gravitational lensing by Kerr black holes. In this first paper we present a new, general lens equation and magnification formula governing lensing by a compact object. Our lens equation assumes that the source and observer are in the asymptotically flat region and does not require a small angle approximation. Furthermore, it takes into account the displacement that occurs when the light ray's tangent lines at the source and observer do not meet on the lens plane. We then explore our lens equation in the case when the compact object is a Kerr black hole. Specifically, we give an explicit expression for the displacement when the observer is in the equatorial plane of the Kerr black hole as well as for the case of spherical symmetry.
△ Less
Submitted 12 October, 2011; v1 submitted 21 February, 2011;
originally announced February 2011.
-
Orbifolds, the A, D, E Family of Caustic Singularities, and Gravitational Lensing
Authors:
Amir B. Aazami,
Arlie O. Petters,
Jeffrey M. Rabin
Abstract:
We provide a geometric explanation for the existence of magnification relations for the A, D, E family of caustic singularities, which were established in recent work. In particular, it was shown that for families of general mappings between planes exhibiting any of these caustic singularities, and for any non-caustic target point, the total signed magnification of the corresponding pre-images van…
▽ More
We provide a geometric explanation for the existence of magnification relations for the A, D, E family of caustic singularities, which were established in recent work. In particular, it was shown that for families of general mappings between planes exhibiting any of these caustic singularities, and for any non-caustic target point, the total signed magnification of the corresponding pre-images vanishes. As an application to gravitational lensing, it was also shown that, independent of the choice of a lens model, the total signed magnification vanishes for a light source anywhere in the four-image region close to elliptic and hyperbolic umbilic caustics. This is a more global and higher-order analog of the well-known fold and cusp magnification relations. We now extend each of these mappings to weighted projective space, which is a compact orbifold, and show that magnification relations translate into a statement about the behavior of these extended mappings at infinity. This generalizes multi-dimensional residue techniques developed in previous work, and introduces weighted projective space as a new tool in the theory of caustic singularities and gravitational lensing.
△ Less
Submitted 6 February, 2011; v1 submitted 4 April, 2010;
originally announced April 2010.
-
Limits of Approximation Algorithms: PCPs and Unique Games (DIMACS Tutorial Lecture Notes)
Authors:
Prahladh Harsha,
Moses Charikar,
Matthew Andrews,
Sanjeev Arora,
Subhash Khot,
Dana Moshkovitz,
Lisa Zhang,
Ashkan Aazami,
Dev Desai,
Igor Gorodezky,
Geetha Jagannathan,
Alexander S. Kulikov,
Darakhshan J. Mir,
Alantha Newman,
Aleksandar Nikolov,
David Pritchard,
Gwen Spencer
Abstract:
These are the lecture notes for the DIMACS Tutorial "Limits of Approximation Algorithms: PCPs and Unique Games" held at the DIMACS Center, CoRE Building, Rutgers University on 20-21 July, 2009. This tutorial was jointly sponsored by the DIMACS Special Focus on Hardness of Approximation, the DIMACS Special Focus on Algorithmic Foundations of the Internet, and the Center for Computational Intracta…
▽ More
These are the lecture notes for the DIMACS Tutorial "Limits of Approximation Algorithms: PCPs and Unique Games" held at the DIMACS Center, CoRE Building, Rutgers University on 20-21 July, 2009. This tutorial was jointly sponsored by the DIMACS Special Focus on Hardness of Approximation, the DIMACS Special Focus on Algorithmic Foundations of the Internet, and the Center for Computational Intractability with support from the National Security Agency and the National Science Foundation.
The speakers at the tutorial were Matthew Andrews, Sanjeev Arora, Moses Charikar, Prahladh Harsha, Subhash Khot, Dana Moshkovitz and Lisa Zhang. The sribes were Ashkan Aazami, Dev Desai, Igor Gorodezky, Geetha Jagannathan, Alexander S. Kulikov, Darakhshan J. Mir, Alantha Newman, Aleksandar Nikolov, David Pritchard and Gwen Spencer.
△ Less
Submitted 20 February, 2010;
originally announced February 2010.
-
A Universal Magnification Theorem III. Caustics Beyond Codimension Five
Authors:
Amir B. Aazami,
Arlie O. Petters
Abstract:
In the final paper of this series, we extend our results on magnification invariants to the infinite family of A, D, E caustic singularities. We prove that for families of general mappings between planes exhibiting any caustic singularity of the A, D, E family, and for a point in the target space lying anywhere in the region giving rise to the maximum number of lensed images (real pre-images), t…
▽ More
In the final paper of this series, we extend our results on magnification invariants to the infinite family of A, D, E caustic singularities. We prove that for families of general mappings between planes exhibiting any caustic singularity of the A, D, E family, and for a point in the target space lying anywhere in the region giving rise to the maximum number of lensed images (real pre-images), the total signed magnification of the lensed images will always sum to zero. The proof is algebraic in nature and relies on the Euler trace formula.
△ Less
Submitted 4 February, 2010; v1 submitted 29 September, 2009;
originally announced September 2009.
-
A Universal Magnification Theorem II. Generic Caustics up to Codimension Five
Authors:
Amir B. Aazami,
Arlie O. Petters
Abstract:
We prove a theorem about magnification relations for all generic general caustic singularities up to codimension five: folds, cusps, swallowtail, elliptic umbilic, hyperbolic umbilic, butterfly, parabolic umbilic, wigwam, symbolic umbilic, 2nd elliptic umbilic, and 2nd hyperbolic umbilic. Specifically, we prove that for a generic family of general mappings between planes exhibiting any of these…
▽ More
We prove a theorem about magnification relations for all generic general caustic singularities up to codimension five: folds, cusps, swallowtail, elliptic umbilic, hyperbolic umbilic, butterfly, parabolic umbilic, wigwam, symbolic umbilic, 2nd elliptic umbilic, and 2nd hyperbolic umbilic. Specifically, we prove that for a generic family of general mappings between planes exhibiting any of these singularities, and for a point in the target lying anywhere in the region giving rise to the maximum number of real pre-images (lensed images), the total signed magnification of the pre-images will always sum to zero. The proof is algebraic in nature and makes repeated use of the Euler trace formula. We also prove a general algebraic result about polynomials, which we show yields an interesting corollary about Newton sums that in turn readily implies the Euler trace formula. The wide field imaging surveys slated to be conducted by the Large Synoptic Survey Telescope are expected to find observational evidence for many of these higher-order caustic singularities. Finally, since the results of the paper are for generic general mappings, not just generic lensing maps, the findings are expected to be applicable not only to gravitational lensing, but to any system in which these singularities appear.
△ Less
Submitted 12 August, 2009; v1 submitted 15 April, 2009;
originally announced April 2009.
-
A Universal Magnification Theorem for Higher-Order Caustic Singularities
Authors:
Amir B. Aazami,
Arlie O. Petters
Abstract:
We prove that, independent of the choice of a lens model, the total signed magnification always sums to zero for a source anywhere in the four-image regions of swallowtail, elliptic umbilic, and hyperbolic umbilic caustics. This is a more global and higher-order analog of the well-known fold and cusp magnification relations, in which the total signed magnification in the two-image region of the…
▽ More
We prove that, independent of the choice of a lens model, the total signed magnification always sums to zero for a source anywhere in the four-image regions of swallowtail, elliptic umbilic, and hyperbolic umbilic caustics. This is a more global and higher-order analog of the well-known fold and cusp magnification relations, in which the total signed magnification in the two-image region of the fold, and the three-image region of the cusp, are both always zero. As an application, we construct a lensing observable for the hyperbolic umbilic magnification relation and compare it with the corresponding observables for the cusp and fold relations using a singular isothermal ellipsoidal lens. We demonstrate the greater generality of the hyperbolic umbilic magnification relation by showing how it applies to the fold image doublets and cusp image triplets, and extends to image configurations that are neither. We show that the results are applicable to the study of substructure on galactic scales using observed quadruple images of lensed quasars. The magnification relations are also proved for generic 1-parameter families of mappings between planes, extending their potential range of applicability beyond lensing.
△ Less
Submitted 21 January, 2009; v1 submitted 20 November, 2008;
originally announced November 2008.
-
Domination in graphs with bounded propagation: algorithms, formulations and hardness results
Authors:
Ashkan Aazami
Abstract:
We introduce a hierarchy of problems between the \textsc{Dominating Set} problem and the \textsc{Power Dominating Set} (PDS) problem called the $\ell$-round power dominating set ($\ell$-round PDS, for short) problem. For $\ell=1$, this is the \textsc{Dominating Set} problem, and for $\ell\geq n-1$, this is the PDS problem; here $n$ denotes the number of nodes in the input graph. In PDS the goal…
▽ More
We introduce a hierarchy of problems between the \textsc{Dominating Set} problem and the \textsc{Power Dominating Set} (PDS) problem called the $\ell$-round power dominating set ($\ell$-round PDS, for short) problem. For $\ell=1$, this is the \textsc{Dominating Set} problem, and for $\ell\geq n-1$, this is the PDS problem; here $n$ denotes the number of nodes in the input graph. In PDS the goal is to find a minimum size set of nodes $S$ that power dominates all the nodes, where a node $v$ is power dominated if (1) $v$ is in $S$ or it has a neighbor in $S$, or (2) $v$ has a neighbor $u$ such that $u$ and all of its neighbors except $v$ are power dominated. Note that rule (1) is the same as for the \textsc{Dominating Set} problem, and that rule (2) is a type of propagation rule that applies iteratively. The $\ell$-round PDS problem has the same set of rules as PDS, except we apply rule (2) in ``parallel'' in at most $\ell-1$ rounds. We prove that $\ell$-round PDS cannot be approximated better than $2^{\log^{1-ε}{n}}$ even for $\ell=4$ in general graphs. We provide a dynamic programming algorithm to solve $\ell$-round PDS optimally in polynomial time on graphs of bounded tree-width. We present a PTAS (polynomial time approximation scheme) for $\ell$-round PDS on planar graphs for $\ell=O(\tfrac{\log{n}}{\log{\log{n}}})$. Finally, we give integer programming formulations for $\ell$-round PDS.
△ Less
Submitted 14 February, 2008;
originally announced February 2008.
-
Approximation algorithms and hardness for domination with propagation
Authors:
Ashkan Aazami,
Michael D. Stilp
Abstract:
The power dominating set (PDS) problem is the following extension of the well-known dominating set problem: find a smallest-size set of nodes $S$ that power dominates all the nodes, where a node $v$ is power dominated if (1) $v$ is in $S$ or $v$ has a neighbor in $S$, or (2) $v$ has a neighbor $w$ such that $w$ and all of its neighbors except $v$ are power dominated. We show a hardness of approx…
▽ More
The power dominating set (PDS) problem is the following extension of the well-known dominating set problem: find a smallest-size set of nodes $S$ that power dominates all the nodes, where a node $v$ is power dominated if (1) $v$ is in $S$ or $v$ has a neighbor in $S$, or (2) $v$ has a neighbor $w$ such that $w$ and all of its neighbors except $v$ are power dominated. We show a hardness of approximation threshold of $2^{\log^{1-ε}{n}}$ in contrast to the logarithmic hardness for the dominating set problem. We give an $O(\sqrt{n})$ approximation algorithm for planar graphs, and show that our methods cannot improve on this approximation guarantee. Finally, we initiate the study of PDS on directed graphs, and show the same hardness threshold of $2^{\log^{1-ε}{n}}$ for directed \emph{acyclic} graphs. Also we show that the directed PDS problem can be solved optimally in linear time if the underlying undirected graph has bounded tree-width.
△ Less
Submitted 10 October, 2007;
originally announced October 2007.
-
Substructure and the Cusp and Fold Relations
Authors:
Amir Babak Aazami,
Priyamvada Natarajan
Abstract:
Gravitational lensing of a background source by a foreground galaxy lens occasionally produces four images of the source. The cusp and the fold relations impose conditions on the ratios of magnifications of these four-image lenses. In this theoretical investigation, we explore the sensitivity of these relations to the presence of substructure in the lens. Starting with a smooth lens potential, w…
▽ More
Gravitational lensing of a background source by a foreground galaxy lens occasionally produces four images of the source. The cusp and the fold relations impose conditions on the ratios of magnifications of these four-image lenses. In this theoretical investigation, we explore the sensitivity of these relations to the presence of substructure in the lens. Starting with a smooth lens potential, we add varying amounts of substructure, while keeping the source position fixed, and find that the fold relation is a more robust indicator of substructure than the cusp relation for the images. This robustness is independent of the detailed spatial distribution of the substructure, as well as of the ellipticity of the lensing potential and the presence of external shear.
△ Less
Submitted 14 May, 2006;
originally announced May 2006.
-
Cosmology From Random Multifield Potentials
Authors:
Amir Aazami,
Richard Easther
Abstract:
We consider the statistical properties of vacua and inflationary trajectories associated with a random multifield potential. Our underlying motivation is the string landscape, but our calculations apply to general potentials. Using random matrix theory, we analyze the Hessian matrices associated with the extrema of this potential. These potentials generically have a vast number of extrema. If th…
▽ More
We consider the statistical properties of vacua and inflationary trajectories associated with a random multifield potential. Our underlying motivation is the string landscape, but our calculations apply to general potentials. Using random matrix theory, we analyze the Hessian matrices associated with the extrema of this potential. These potentials generically have a vast number of extrema. If the cross-couplings (off-diagonal terms) are of the same order as the self-couplings (diagonal terms) we show that essentially all extrema are saddles, and the number of minima is effectively zero. Avoiding this requires the same separation of scales needed to ensure that Newton's constant is stable against radiative corrections in a string landscape. Using the central limit theorem we find that even if the number of extrema is enormous, the typical distance between extrema is still substantial -- with challenging implications for inflationary models that depend on the existence of a complicated path inside the landscape.
△ Less
Submitted 23 January, 2006; v1 submitted 5 December, 2005;
originally announced December 2005.
