-
ADAPT-QAOA with a classically inspired initial state
Authors:
Vishvesha K. Sridhar,
Yanzhu Chen,
Bryan Gard,
Edwin Barnes,
Sophia E. Economou
Abstract:
Quantum computing may provide advantage in solving classical optimization problems. One promising algorithm is the quantum approximate optimization algorithm (QAOA). There have been many proposals for improving this algorithm, such as using an initial state informed by classical approximation solutions. A variation of QAOA called ADAPT-QAOA constructs the ansatz dynamically and can speed up conver…
▽ More
Quantum computing may provide advantage in solving classical optimization problems. One promising algorithm is the quantum approximate optimization algorithm (QAOA). There have been many proposals for improving this algorithm, such as using an initial state informed by classical approximation solutions. A variation of QAOA called ADAPT-QAOA constructs the ansatz dynamically and can speed up convergence. However, it faces the challenge of frequently converging to excited states which correspond to local minima in the energy landscape, limiting its performance. In this work, we propose to start ADAPT-QAOA with an initial state inspired by a classical approximation algorithm. Through numerical simulations we show that this new algorithm can reach the same accuracy with fewer layers than the standard QAOA and the original ADAPT-QAOA. It also appears to be less prone to the problem of converging to excited states.
△ Less
Submitted 14 October, 2023;
originally announced October 2023.
-
Morphological Sampling Theorem and its Extension to Grey-value Images
Authors:
Vivek Sridhar,
Michael Breuß
Abstract:
Sampling is a basic operation in image processing. In classic literature, a morphological sampling theorem has been established, which shows how sampling interacts by morphological operations with image reconstruction. Many aspects of morphological sampling have been investigated for binary images, but only some of them have been explored for grey-value imagery. With this paper, we make a step tow…
▽ More
Sampling is a basic operation in image processing. In classic literature, a morphological sampling theorem has been established, which shows how sampling interacts by morphological operations with image reconstruction. Many aspects of morphological sampling have been investigated for binary images, but only some of them have been explored for grey-value imagery. With this paper, we make a step towards completion of this open matter. By relying on the umbra notion, we show how to transfer classic theorems in binary morphology about the interaction of sampling with the fundamental morphological operations dilation, erosion, opening and closing, to the grey-value setting. In doing this we also extend the theory relating the morphological operations and corresponding reconstructions to use of non-flat structuring elements. We illustrate the theoretical developments at hand of examples.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
The Polynomial Connection between Morphological Dilation and Discrete Convolution
Authors:
Vivek Sridhar,
Keyvan Shahin,
Michael Breuß,
Marc Reichenbach
Abstract:
In this paper we consider the fundamental operations dilation and erosion of mathematical morphology. Many powerful image filtering operations are based on their combinations. We establish homomorphism between max-plus semi-ring of integers and subset of polynomials over the field of real numbers. This enables to reformulate the task of computing morphological dilation to that of computing sums an…
▽ More
In this paper we consider the fundamental operations dilation and erosion of mathematical morphology. Many powerful image filtering operations are based on their combinations. We establish homomorphism between max-plus semi-ring of integers and subset of polynomials over the field of real numbers. This enables to reformulate the task of computing morphological dilation to that of computing sums and products of polynomials. Therefore, dilation and its dual operation erosion can be computed by convolution of discrete linear signals, which is efficiently accomplished using a Fast Fourier Transform technique. The novel method may deal with non-flat filters and incorporates no restrictions on shape or size of the structuring element, unlike many other fast methods in the field. In contrast to previous fast Fourier techniques it gives exact results and is not an approximation. The new method is in practice particularly suitable for filtering images with small tonal range or when employing large filter sizes. We explore the benefits by investigating an implementation on FPGA hardware. Several experiments demonstrate the exactness and efficiency of the proposed method.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
Maximum Likelihood based Phase-Retrieval using Fresnel Propagation Forward Models with Optional Constraints
Authors:
K. Aditya Mohan,
Jean-Baptiste Forien,
Venkatesh Sridhar,
Jefferson A. Cuadra,
Dilworth Parkinson
Abstract:
X-ray phase-contrast tomography (XPCT) is widely used for high contrast 3D imaging using either synchrotron or laboratory microfocus X-ray sources. XPCT enables an order of magnitude improvement in image contrast of the reconstructed material interfaces with low X-ray absorption contrast. The dominant approaches to 3D reconstruction using XPCT relies on the use of phase-retrieval algorithms that m…
▽ More
X-ray phase-contrast tomography (XPCT) is widely used for high contrast 3D imaging using either synchrotron or laboratory microfocus X-ray sources. XPCT enables an order of magnitude improvement in image contrast of the reconstructed material interfaces with low X-ray absorption contrast. The dominant approaches to 3D reconstruction using XPCT relies on the use of phase-retrieval algorithms that make one or more limiting approximations for the experimental configuration and material properties. Since many experimental scenarios violate such approximations, the resulting reconstructions contain blur, artifacts, or other quantitative inaccuracies. Our solution to this problem is to formulate new iterative non-linear phase-retrieval (NLPR) algorithms that avoid such limiting approximations. Compared to the widely used state-of-the-art approaches, we show that our proposed algorithms result in sharp and quantitatively accurate reconstruction with reduced artifacts. Unlike existing NLPR algorithms, our approaches avoid the laborious manual tuning of regularization hyper-parameters while still achieving the stated goals. As an alternative to regularization, we propose explicit constraints on the material properties to constrain the solution space and solve the phase-retrieval problem. These constraints are easily user-configurable since they follow directly from the imaged object's dimensions and material properties.
△ Less
Submitted 2 October, 2023; v1 submitted 29 April, 2023;
originally announced May 2023.
-
X-ray Spectral Estimation using Dictionary Learning
Authors:
Wenrui Li,
Venkatesh Sridhar,
K. Aditya Mohan,
Saransh Singh,
Jean-Baptiste Forien,
Xin Liu,
Gregery T. Buzzard,
Charles A. Bouman
Abstract:
As computational tools for X-ray computed tomography (CT) become more quantitatively accurate, knowledge of the source-detector spectral response is critical for quantitative system-independent reconstruction and material characterization capabilities. Directly measuring the spectral response of a CT system is hard, which motivates spectral estimation using transmission data obtained from a collec…
▽ More
As computational tools for X-ray computed tomography (CT) become more quantitatively accurate, knowledge of the source-detector spectral response is critical for quantitative system-independent reconstruction and material characterization capabilities. Directly measuring the spectral response of a CT system is hard, which motivates spectral estimation using transmission data obtained from a collection of known homogeneous objects. However, the associated inverse problem is ill-conditioned, making accurate estimation of the spectrum challenging, particularly in the absence of a close initial guess. In this paper, we describe a dictionary-based spectral estimation method that yields accurate results without the need for any initial estimate of the spectral response. Our method utilizes a MAP estimation framework that combines a physics-based forward model along with an $L_0$ sparsity constraint and a simplex constraint on the dictionary coefficients. Our method uses a greedy support selection method and a new pair-wise iterated coordinate descent method to compute the above estimate. We demonstrate that our dictionary-based method outperforms a state-of-the-art method as shown in a cross-validation experiment on four real datasets collected at beamline 8.3.2 of the Advanced Light Source (ALS).
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Designing Covalent Organic Framework-based Light-driven Microswimmers towards Intraocular Theranostic Applications
Authors:
Varun Sridhar,
Erdost Yildiz,
Andrés Rodríguez-Camargo,
Xianglong Lyu,
Liang Yao,
Paul Wrede,
Amirreza Aghakhani,
Mukrime Birgul Akolpoglu,
Filip Podjaski,
Bettina V. Lotsch,
Metin Sitti
Abstract:
Even micromachines with tailored functionalities enable targeted therapeutic applications in biological environments, their controlled motion in biological media and drug delivery functions usually require sophisticated designs and complex propulsion apparatuses for practical applications. Covalent organic frameworks (COFs), new chemically versatile and nanoporous materials, offer microscale multi…
▽ More
Even micromachines with tailored functionalities enable targeted therapeutic applications in biological environments, their controlled motion in biological media and drug delivery functions usually require sophisticated designs and complex propulsion apparatuses for practical applications. Covalent organic frameworks (COFs), new chemically versatile and nanoporous materials, offer microscale multi-purpose solutions, which are not explored in light-driven micromachines. We describe and compare two different types of COFs, uniformly spherical TABP-PDA-COF sub-micron particles and texturally highly nanoporous, irregular, micron-sized TpAzo-COF particles as light-driven microrobots. They can be used as highly efficient visible-light-driven drug carriers in aqueous ionic and cellular media, even in intraocular fluids. Their absorption ranging down to red light enables phototaxis even in deeper biological media and the organic nature of COFs enables their biocompatibility. The inherently porous structure with ~2.5 nm structural pores, and large surface areas allow for targeted and efficient drug loading even for insoluble drugs and peptides, which can be released on demand. Also, indocyanine green (ICG) dye loading in the pores enables photoacoustic imaging or optical coherence tomography and hyperthermia in operando conditions. The real-time visualization of the drug-loaded COF microswimmers enables new insights into the function of porous organic micromachines, which will be useful to solve various drug delivery problems.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Musings on the HashGraph Protocol: Its Security and Its Limitations
Authors:
Vinesh Sridhar,
Erica Blum,
Jonathan Katz
Abstract:
The HashGraph Protocol is a Byzantine fault tolerant atomic broadcast protocol. Its novel use of locally stored metadata allows parties to recover a consistent ordering of their log just by examining their local data, removing the need for a voting protocol. Our paper's first contribution is to present a rewritten proof of security for the HashGraph Protocol that follows the consistency and livene…
▽ More
The HashGraph Protocol is a Byzantine fault tolerant atomic broadcast protocol. Its novel use of locally stored metadata allows parties to recover a consistent ordering of their log just by examining their local data, removing the need for a voting protocol. Our paper's first contribution is to present a rewritten proof of security for the HashGraph Protocol that follows the consistency and liveness paradigm used in the atomic broadcast literature. In our second contribution, we show a novel adversarial strategy that stalls the protocol from committing data to the log for an expected exponential number of rounds. This proves tight the exponential upper bound conjectured in the original paper. We believe that our proof of security will make it easier to compare HashGraph with other atomic broadcast protocols and to incorporate its ideas into new constructions. We also believe that our attack might inspire more research into similar attacks for other DAG-based atomic broadcast protocols.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Terrain-based vehicle localization using an active suspension system
Authors:
Yu Jiang,
John Eisenmann,
William Graves,
Vijayaraghavan Sridhar,
Zackary Anderson
Abstract:
This paper, for the first time, presents a terrain-based localization approach using sensor data from an active suspension system. The contribution is four-fold. First, it is shown that a location dependent road height profile can be created from sensor data of the active suspension system. Second, an algorithm is developed to extract a pitch profile from the road height profile data. The ideal pi…
▽ More
This paper, for the first time, presents a terrain-based localization approach using sensor data from an active suspension system. The contribution is four-fold. First, it is shown that a location dependent road height profile can be created from sensor data of the active suspension system. Second, an algorithm is developed to extract a pitch profile from the road height profile data. The ideal pitch profile is vehicle-independent and only depends on the road. This pitch profile generated from an on-board computer is matched with a known terrain map to achieve real-time positioning. Third, a crowd-sourced map creation algorithm is developed to create and improve the terrain map that contains pitch profile. Fourth, experiments have been conducted to validate the accuracy and robustness of the proposed localization approach.
△ Less
Submitted 22 July, 2022;
originally announced August 2022.
-
The Mars Microphone onboard SuperCam
Authors:
D. Mimoun,
A. Cadu,
N. Murdoch,
A. Sournac,
Y. Parot,
P. Bernardi,
B. Chide,
P. Pilleri,
A. Stott,
M. Gillier,
V. Sridhar,
S. Maurice,
R. C. Wiens,
the SuperCam team
Abstract:
The Mars Microphone is one of the five measurement techniques of SuperCam, an improved version of the ChemCam instrument that has been functioning aboard the Curiosity rover for several years. SuperCam is located on the Rover's Mast Unit, to take advantage of the unique pointing capabilities of the rover's head. In addition to being the first instrument to record sounds on Mars, the SuperCam Micro…
▽ More
The Mars Microphone is one of the five measurement techniques of SuperCam, an improved version of the ChemCam instrument that has been functioning aboard the Curiosity rover for several years. SuperCam is located on the Rover's Mast Unit, to take advantage of the unique pointing capabilities of the rover's head. In addition to being the first instrument to record sounds on Mars, the SuperCam Microphone can address several original scientific objectives: the study of sound associated with laser impacts on Martian rocks to better understand their mechanical properties, the improvement of our knowledge of atmospheric phenomena at the surface of Mars: atmospheric turbulence, convective vortices, dust lifting processes and wind interactions with the rover itself. The microphone will also help our understanding of the sound signature of the different movements of the rover: operations of the robotic arm and the mast, driving on the rough floor of Mars, monitoring of the pumps, etc ... The SuperCam Microphone was delivered to the SuperCam team in early 2019 and integrated at the Jet Propulsion Laboratory (JPL, Pasadena, CA) with the complete SuperCam instrument. The Mars 2020 Mission launched in July 2020 and landed on Mars on February 18th 2021. The mission operations are expected to last until at least August 2023. The microphone is operating perfectly.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
One-Step Time Series Forecasting Using Variational Quantum Circuits
Authors:
Payal Kaushik,
Sayantan Pramanik,
M Girish Chandra,
C V Sridhar
Abstract:
Time series forecasting has always been a thought-provoking topic in the field of machine learning. Machine learning scientists define a time series as a set of observations recorded over consistent time steps. And, time series forecasting is a way of analyzing the data and finding how variables change over time and hence, predicting the future value. Time is of great essence in this forecasting a…
▽ More
Time series forecasting has always been a thought-provoking topic in the field of machine learning. Machine learning scientists define a time series as a set of observations recorded over consistent time steps. And, time series forecasting is a way of analyzing the data and finding how variables change over time and hence, predicting the future value. Time is of great essence in this forecasting as it shows how the data coordinates over the dataset and the final result. It also requires a large dataset to ascertain the regularity and reliability. Quantum computers may prove to be a better option for perceiving the trends in the time series by exploiting quantum mechanical phenomena like superposition and entanglement. Here, we consider one-step time series forecasting using variational quantum circuits, and record observations for different datasets.
△ Less
Submitted 16 July, 2022;
originally announced July 2022.
-
Optimization of Sensor-Placement on Vehicles using Quantum-Classical Hybrid Methods
Authors:
Sayantan Pramanik,
Vishnu Vaidya,
Gajendra Malviya,
Sudhir Sinha,
Shripad Salsingikar,
M Girish Chandra,
C V Sridhar,
Godfrey Mathais,
Vidyut Navelkar
Abstract:
Placement of sensors on vehicles for safety and autonomous capability is a complex optimization problem when considered in the full-blown form, with different constraints. Considering that Quantum Computers are expected to be able to solve certain optimization problems more "easily" in the future, the problem was posted as part of the BMW Quantum Computing Challenge 2021. In this paper, we have pr…
▽ More
Placement of sensors on vehicles for safety and autonomous capability is a complex optimization problem when considered in the full-blown form, with different constraints. Considering that Quantum Computers are expected to be able to solve certain optimization problems more "easily" in the future, the problem was posted as part of the BMW Quantum Computing Challenge 2021. In this paper, we have presented two formulations for quantum-enhanced solutions in a systematic manner. In the process, necessary simplifications are invoked to accommodate the current capabilities of Quantum Simulators and Hardware. The presented results and observations from elaborate simulation studies demonstrate the correct functionality and usefulness of the proposals.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
A Quantum-Classical Hybrid Method for Image Classification and Segmentation
Authors:
Sayantan Pramanik,
M Girish Chandra,
C V Sridhar,
Aniket Kulkarni,
Prabin Sahoo,
Vishwa Chethan D V,
Hrishikesh Sharma,
Ashutosh Paliwal,
Vidyut Navelkar,
Sudhakara Poojary,
Pranav Shah,
Manoj Nambiar
Abstract:
Enormous activity in the Quantum Computing area has resulted in considering them to solve different difficult problems, including those of applied nature, together with classical computers. An attempt is made in this work to nail down a pipeline consisting of both quantum and classical processing blocks for the task of image classification and segmentation in a systematic fashion. Its efficacy and…
▽ More
Enormous activity in the Quantum Computing area has resulted in considering them to solve different difficult problems, including those of applied nature, together with classical computers. An attempt is made in this work to nail down a pipeline consisting of both quantum and classical processing blocks for the task of image classification and segmentation in a systematic fashion. Its efficacy and utility are brought out by applying it to Surface Crack segmentation. Being a sophisticated software engineering task, the functionalities are orchestrated through our in-house Cognitive Model Management framework.
△ Less
Submitted 5 December, 2021; v1 submitted 25 September, 2021;
originally announced September 2021.
-
Biocompatible carbon nitride-based light-driven microswimmer propulsion in biological and ionic media with responsive on-demand drug delivery
Authors:
Varun Sridhar,
Filip Podjaski,
Yunus Alapan,
Julia Kröger,
Lars Grunenberg,
Vimal Kishore,
Bettina V. Lotsch,
Metin Sitti
Abstract:
We propose two-dimensional organic poly(heptazine imide) (PHI) carbon nitride microparticles as light-driven microswimmers in various ionic and biological media. Their demonstrated high-speed (15-23 $μ$m/s) swimming in multi-component ionic solutions with concentrations up to 1 M and without dedicated fuels is unprecedented, overcoming one of the bottlenecks of previous light-driven microswimmers.…
▽ More
We propose two-dimensional organic poly(heptazine imide) (PHI) carbon nitride microparticles as light-driven microswimmers in various ionic and biological media. Their demonstrated high-speed (15-23 $μ$m/s) swimming in multi-component ionic solutions with concentrations up to 1 M and without dedicated fuels is unprecedented, overcoming one of the bottlenecks of previous light-driven microswimmers. Such high ion tolerance is attributed to a favorable interplay between the particle's textural and structural nanoporosity and optoionic properties, facilitating ionic interactions in solutions with high salinity. Biocompatibility of the microswimmers is validated by cell viability tests with three different cell types and primary cells. The nanopores of the swimmers are loaded with a model cancer drug, doxorubicin (DOX), in high (185%) loading efficiency without passive release. Controlled drug release is reported in different pH conditions and can be triggered on-demand also by illumination. Light-triggered, boosted release of DOX and its active degradation products is demonstrated in oxygen-poor conditions using the intrinsic, environmentally sensitive and light-induced charge storage properties of PHI, which could enable future theranostic applications in oxygen-deprived tumor regions. These organic PHI microswimmers simultaneously solve the current light-driven microswimmer challenges of high ion tolerance, fuel-free high-speed propulsion in biological media, biocompatibility and controlled on-demand cargo release towards their biomedical, environmental and other potential future applications.
△ Less
Submitted 31 March, 2021;
originally announced March 2021.
-
Performance analysis of weighted low rank model with sparse image histograms for face recognition under lowlevel illumination and occlusion
Authors:
K. V. Sridhar,
Raghu vamshi Hemadri
Abstract:
In a broad range of computer vision applications, the purpose of Low-rank matrix approximation (LRMA) models is to recover the underlying low-rank matrix from its degraded observation. The latest LRMA methods - Robust Principal Component Analysis (RPCA) resort to using the nuclear norm minimization (NNM) as a convex relaxation of the non-convex rank minimization. However, NNM tends to over-shrink…
▽ More
In a broad range of computer vision applications, the purpose of Low-rank matrix approximation (LRMA) models is to recover the underlying low-rank matrix from its degraded observation. The latest LRMA methods - Robust Principal Component Analysis (RPCA) resort to using the nuclear norm minimization (NNM) as a convex relaxation of the non-convex rank minimization. However, NNM tends to over-shrink the rank components and treats the different rank components equally, limiting its flexibility in practical applications. We use a more flexible model, namely the Weighted Schatten p-Norm Minimization (WSNM), to generalize the NNM to the Schatten p-norm minimization with weights assigned to different singular values. The proposed WSNM not only gives a better approximation to the original low-rank assumption but also considers the importance of different rank components. In this paper, a comparison of the low-rank recovery performance of two LRMA algorithms- RPCA and WSNM is brought out on occluded human facial images. The analysis is performed on facial images from the Yale database and over own database , where different facial expressions, spectacles, varying illumination account for the facial occlusions. The paper also discusses the prominent trends observed from the experimental results performed through the application of these algorithms. As low-rank images sometimes might fail to capture the details of a face adequately, we further propose a novel method to use the image-histogram of the sparse images thus obtained to identify the individual in any given image. Extensive experimental results show, both qualitatively and quantitatively, that WSNM surpasses RPCA in its performance more effectively by removing facial occlusions, thus giving recovered low-rank images of higher PSNR and SSIM.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Distributed Iterative CT Reconstruction using Multi-Agent Consensus Equilibrium
Authors:
Venkatesh Sridhar,
Xiao Wang,
Gregery T. Buzzard,
Charles A. Bouman
Abstract:
Model-Based Image Reconstruction (MBIR) methods significantly enhance the quality of computed tomographic (CT) reconstructions relative to analytical techniques, but are limited by high computational cost. In this paper, we propose a multi-agent consensus equilibrium (MACE) algorithm for distributing both the computation and memory of MBIR reconstruction across a large number of parallel nodes. In…
▽ More
Model-Based Image Reconstruction (MBIR) methods significantly enhance the quality of computed tomographic (CT) reconstructions relative to analytical techniques, but are limited by high computational cost. In this paper, we propose a multi-agent consensus equilibrium (MACE) algorithm for distributing both the computation and memory of MBIR reconstruction across a large number of parallel nodes. In MACE, each node stores only a sparse subset of views and a small portion of the system matrix, and each parallel node performs a local sparse-view reconstruction, which based on repeated feedback from other nodes, converges to the global optimum. Our distributed approach can also incorporate advanced denoisers as priors to enhance reconstruction quality. In this case, we obtain a parallel solution to the serial framework of Plug-n-play (PnP) priors, which we call MACE-PnP. In order to make MACE practical, we introduce a partial update method that eliminates nested iterations and prove that it converges to the same global solution. Finally, we validate our approach on a distributed memory system with real CT data. We also demonstrate an implementation of our approach on a massive supercomputer that can perform large-scale reconstruction in real-time.
△ Less
Submitted 20 November, 2019;
originally announced November 2019.
-
Nanoscale structural alterations in cancer cells to assess anti-cancerous drug effectiveness in cancer treatment using TEM imaging
Authors:
Prakash Adhikari,
Mehedi Hasan,
Vijayalakshmi Sridhar,
Debarshi Roy,
Prabhakar Pradhan
Abstract:
Understanding the nanoscale structural changes can provide the physical state of cells/tissues. It has been now shown that increases in nanoscale structural alterations are associated with the progress of carcinogenesis in most of the cancer cases, including early carcinogenesis. Anti-cancerous therapies are intended for the growth inhibition of cancer cells; however, it is challenging to detect t…
▽ More
Understanding the nanoscale structural changes can provide the physical state of cells/tissues. It has been now shown that increases in nanoscale structural alterations are associated with the progress of carcinogenesis in most of the cancer cases, including early carcinogenesis. Anti-cancerous therapies are intended for the growth inhibition of cancer cells; however, it is challenging to detect the efficacy of such drugs in early stages of treatment. A unique method to assess the impact of anti-cancerous drugs on cancerous cells/tissues is to probe the nanoscale structural alterations. In this paper, we study the effect of different anti-cancerous drugs on ovarian tumorigenic cells, using their nanoscale structural alterations as a biomarker. Transmission electron microscopy (TEM) imaging on thin cell sections is performed to obtain their nanoscale structures. The degree of nanoscale structural alterations of tumorigenic cells and anti-cancerous drug treated tumorigenic cells are quantified by using the recently developed inverse participation ratio (IPR) technique. Results show an increase in the degree of nanoscale fluctuations in tumorigenic cells relative to non-tumorigenic cells; then a nearly reverse of the degree of fluctuation of tumorigenic cells to that of non-tumorigenic cells, after the anti-cancerous drugs treatment. These results support that the effect of anti-cancerous drugs in cancer treatment can be quantified by using the degree of nanoscale fluctuations of the cells via TEM imaging. Potential applications of the technique for cancer treatment are also discussed.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
Fractal dimension and lower bounds for geometric problems
Authors:
Anastasios Sidiropoulos,
Kritika Singhal,
Vijay Sridhar
Abstract:
We study the complexity of geometric problems on spaces of low fractal dimension. It was recently shown by [Sidiropoulos & Sridhar, SoCG 2017] that several problems admit improved solutions when the input is a pointset in Euclidean space with fractal dimension smaller than the ambient dimension. In this paper we prove nearly-matching lower bounds, thus establishing nearly-optimal bounds for variou…
▽ More
We study the complexity of geometric problems on spaces of low fractal dimension. It was recently shown by [Sidiropoulos & Sridhar, SoCG 2017] that several problems admit improved solutions when the input is a pointset in Euclidean space with fractal dimension smaller than the ambient dimension. In this paper we prove nearly-matching lower bounds, thus establishing nearly-optimal bounds for various problems as a function of the fractal dimension.
More specifically, we show that for any set of $n$ points in $d$-dimensional Euclidean space, of fractal dimension $δ\in (1,d)$, for any $ε>0$ and $c\geq 1$, any $c$-spanner must have treewidth at least $Ω\left( \frac{n^{1-1/(δ- ε)}}{c^{d-1}} \right)$, matching the previous upper bound. The construction used to prove this lower bound on the treewidth of spanners can also be used to derive lower bounds on the running time of algorithms for various problems, assuming the Exponential Time Hypothesis. We provide two prototypical results of this type. For any $δ\in (1,d)$ and any $ε>0$ we show that:
1) $d$-dimensional Euclidean TSP on $n$ points with fractal dimension at most $δ$ cannot be solved in time $2^{O\left(n^{1-1/(δ- ε)} \right)}$. The best-known upper bound is $2^{O(n^{1-1/δ} \log n)}$.
2) The problem of finding $k$-pairwise non-intersecting $d$-dimensional unit balls/axis parallel unit cubes with centers having fractal dimension at most $δ$ cannot be solved in time $f(k)n^{O \left(k^{1-1/(δ- ε)}\right)}$ for any computable function $f$. The best-known upper bound is $n^{O(k^{1-1/δ} \log n)}$.
The above results nearly match previously known upper bounds from [Sidiropoulos & Sridhar, SoCG 2017], and generalize analogous lower bounds for the case of ambient dimension due to [Marx & Sidiropoulos, SoCG 2014].
△ Less
Submitted 12 December, 2017;
originally announced December 2017.
-
On constant multi-commodity flow-cut gaps for directed minor-free graphs
Authors:
Ario Salmasi,
Anastasios Sidiropoulos,
Vijay Sridhar
Abstract:
The multi-commodity flow-cut gap is a fundamental parameter that affects the performance of several divide \& conquer algorithms, and has been extensively studied for various classes of undirected graphs. It has been shown by Linial, London and Rabinovich \cite{linial1994geometry} and by Aumann and Rabani \cite{aumann1998log} that for general $n$-vertex graphs it is bounded by $O(\log n)$ and the…
▽ More
The multi-commodity flow-cut gap is a fundamental parameter that affects the performance of several divide \& conquer algorithms, and has been extensively studied for various classes of undirected graphs. It has been shown by Linial, London and Rabinovich \cite{linial1994geometry} and by Aumann and Rabani \cite{aumann1998log} that for general $n$-vertex graphs it is bounded by $O(\log n)$ and the Gupta-Newman-Rabinovich-Sinclair conjecture \cite{gupta2004cuts} asserts that it is $O(1)$ for any family of graphs that excludes some fixed minor.
The flow-cut gap is poorly understood for the case of directed graphs. We show that for uniform demands it is $O(1)$ on directed series-parallel graphs, and on directed graphs of bounded pathwidth. These are the first constant upper bounds of this type for some non-trivial family of directed graphs. We also obtain $O(1)$ upper bounds for the general multi-commodity flow-cut gap on directed trees and cycles. These bounds are obtained via new embeddings and Lipschitz quasipartitions for quasimetric spaces, which generalize analogous results form the metric case, and could be of independent interest. Finally, we discuss limitations of methods that were developed for undirected graphs, such as random partitions, and random embeddings.
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
Algorithmic interpretations of fractal dimension
Authors:
Anastasios Sidiropoulos,
Vijay Sridhar
Abstract:
We study algorithmic problems on subsets of Euclidean space of low fractal dimension. These spaces are the subject of intensive study in various branches of mathematics, including geometry, topology, and measure theory. There are several well-studied notions of fractal dimension for sets and measures in Euclidean space. We consider a definition of fractal dimension for finite metric spaces which a…
▽ More
We study algorithmic problems on subsets of Euclidean space of low fractal dimension. These spaces are the subject of intensive study in various branches of mathematics, including geometry, topology, and measure theory. There are several well-studied notions of fractal dimension for sets and measures in Euclidean space. We consider a definition of fractal dimension for finite metric spaces which agrees with standard notions used to empirically estimate the fractal dimension of various sets. We define the fractal dimension of some metric space to be the infimum $δ>0$, such that for any $ε> 0$, for any ball $B$ of radius $r\geq 2ε$, and for any $ε$-net $N$ (that is, for any maximal $ε$-packing), we have $|B\cap N|=O((r/ε)^δ)$.
Using this definition we obtain faster algorithms for a plethora of classical problems on sets of low fractal dimension in Euclidean space. Our results apply to exact and fixed-parameter algorithms, approximation schemes, and spanner constructions. Interestingly, the dependence of the performance of these algorithms on the fractal dimension nearly matches the currently best-known dependence on the standard Euclidean dimension. Thus, when the fractal dimension is strictly smaller than the ambient dimension, our results yield improved solutions in all of these settings.
△ Less
Submitted 27 March, 2017;
originally announced March 2017.
-
Quasimetric embeddings and their applications
Authors:
Facundo Mémoli,
Anastasios Sidiropoulos,
Vijay Sridhar
Abstract:
We study generalizations of classical metric embedding results to the case of quasimetric spaces; that is, spaces that do not necessarily satisfy symmetry. Quasimetric spaces arise naturally from the shortest-path distances on directed graphs. Perhaps surprisingly, very little is known about low-distortion embeddings for quasimetric spaces.
Random embeddings into ultrametric spaces are arguably…
▽ More
We study generalizations of classical metric embedding results to the case of quasimetric spaces; that is, spaces that do not necessarily satisfy symmetry. Quasimetric spaces arise naturally from the shortest-path distances on directed graphs. Perhaps surprisingly, very little is known about low-distortion embeddings for quasimetric spaces.
Random embeddings into ultrametric spaces are arguably one of the most successful geometric tools in the context of algorithm design. We extend this to the quasimetric case as follows. We show that any $n$-point quasimetric space supported on a graph of treewidth $t$ admits a random embedding into quasiultrametric spaces with distortion $O(t \log^2 n)$, where quasiultrametrics are a natural generalization of ultrametrics. This result allows us to obtain $t\log^{O(1)} n$-approximation algorithms for the Directed Non-Bipartite Sparsest-Cut and the Directed Multicut problems on $n$-vertex graphs of treewidth $t$, with running time polynomial in both $n$ and $t$.
The above results are obtained by considering a generalization of random partitions to the quasimetric case, which we refer to as random quasipartitions. Using this definition and a construction of [Chuzhoy and Khanna 2009] we derive a polynomial lower bound on the distortion of random embeddings of general quasimetric spaces into quasiultrametric spaces. Finally, we establish a lower bound for embedding the shortest-path quasimetric of a graph $G$ into graphs that exclude $G$ as a minor. This lower bound is used to show that several embedding results from the metric case do not have natural analogues in the quasimetric setting.
△ Less
Submitted 3 August, 2016;
originally announced August 2016.
-
flatIGW - an inverse algorithm to compute the Density of States of lattice Self Avoiding Walks
Authors:
M. Ponmurugan,
V. Sridhar,
S. L. Narasimhan,
K. P. N. Murthy
Abstract:
We show that the Density of States (DoS) for lattice Self Avoiding Walks can be estimated by using an inverse algorithm, called flatIGW, whose step-growth rules are dynamically adjusted by requiring the energy histogram to be locally flat. Here, the (attractive) energy associated with a configuration is taken to be proportional to the number of non-bonded nearest neighbor pairs (contacts). The ene…
▽ More
We show that the Density of States (DoS) for lattice Self Avoiding Walks can be estimated by using an inverse algorithm, called flatIGW, whose step-growth rules are dynamically adjusted by requiring the energy histogram to be locally flat. Here, the (attractive) energy associated with a configuration is taken to be proportional to the number of non-bonded nearest neighbor pairs (contacts). The energy histogram is able to explicitly direct the growth of a walk because the step-growth rule of the Interacting Growth Walk \cite{IGW} samples the available nearest neighbor sites according to the number of contacts they would make. We have obtained the complex Fisher zeros corresponding to the DoS, estimated for square lattice walks of various lengths, and located the $θ$ temperature by extrapolating the finite size values of the real zeros to their asymptotic value, $\sim 1.49$ (reasonably close to the known value, $\sim 1.50$ \cite{barkema}).
△ Less
Submitted 3 November, 2010; v1 submitted 12 April, 2010;
originally announced April 2010.
-
Structure and Interpretation of Computer Programs
Authors:
Ganesh M. Narayan,
K. Gopinath,
V. Sridhar
Abstract:
Call graphs depict the static, caller-callee relation between "functions" in a program. With most source/target languages supporting functions as the primitive unit of composition, call graphs naturally form the fundamental control flow representation available to understand/develop software. They are also the substrate on which various interprocedural analyses are performed and are integral par…
▽ More
Call graphs depict the static, caller-callee relation between "functions" in a program. With most source/target languages supporting functions as the primitive unit of composition, call graphs naturally form the fundamental control flow representation available to understand/develop software. They are also the substrate on which various interprocedural analyses are performed and are integral part of program comprehension/testing. Given their universality and usefulness, it is imperative to ask if call graphs exhibit any intrinsic graph theoretic features -- across versions, program domains and source languages. This work is an attempt to answer these questions: we present and investigate a set of meaningful graph measures that help us understand call graphs better; we establish how these measures correlate, if any, across different languages and program domains; we also assess the overall, language independent software quality by suitably interpreting these measures.
△ Less
Submitted 27 March, 2008;
originally announced March 2008.
-
Flat Energy histogram version for Interacting Growth Walk
Authors:
M. Ponmurugan,
V. Sridhar,
S. L. Narasimhan,
K. P. N. Murthy
Abstract:
Interacting Growth Walks is a recently proposed stochastic model for studying the coil-globule transition of linear polymers. We propose a flat energy histogram version for Interacting Growth Walk. We demonstrate the algorithm on two dimensional square and triangular lattices by calculating the density of energy states of Interacting Self Avoiding Walks.
Interacting Growth Walks is a recently proposed stochastic model for studying the coil-globule transition of linear polymers. We propose a flat energy histogram version for Interacting Growth Walk. We demonstrate the algorithm on two dimensional square and triangular lattices by calculating the density of energy states of Interacting Self Avoiding Walks.
△ Less
Submitted 3 August, 2007;
originally announced August 2007.
-
Interacting Growth Walk on a honeycomb lattice
Authors:
S. L. Narasimhan,
P. S. R. Krishna,
M. Ramanadham,
K. P. N. Murthy,
V. Sridhar
Abstract:
The Interacting Growth Walk (IGW) is a kinetic algorithm proposed recently for generating long, compact, self avoiding walks. The growth process in IGW is tuned by the so called growth temperature $T' = 1/(k_B β')$. On a square lattice and at $T' = 0$, IGW is attrition free and hence grows indefinitely. In this paper we consider IGW on a honeycomb lattice. We take contact energy, see text, as…
▽ More
The Interacting Growth Walk (IGW) is a kinetic algorithm proposed recently for generating long, compact, self avoiding walks. The growth process in IGW is tuned by the so called growth temperature $T' = 1/(k_B β')$. On a square lattice and at $T' = 0$, IGW is attrition free and hence grows indefinitely. In this paper we consider IGW on a honeycomb lattice. We take contact energy, see text, as $ε=-|ε|=-1$. We show that IGW at $β' =\infty$ ($T'=0$) is identical to Interacting Self Avoiding Walk (ISAW) at $β=\ln 4$ ($k_B T = 1/\ln 4=0.7213$). Also IGW at $β' = 0$ ($T' = \infty$) corresponds to ISAW at $β= \ln 2$ ($k_B T= 1/ln 2 = 1.4427$). For other temperatures we need to introduce a statistical weight factor to a walk of the IGW ensemble to make correspondence with the ISAW ensemble.
△ Less
Submitted 15 January, 2002;
originally announced January 2002.
-
Persistence and Life Time Distribution in Coarsening Phenomen
Authors:
V. Sridhar,
K. P. N. Murthy,
M. C. Valsakumar
Abstract:
We investigate the life time distribution in one and two dimensional coarsening processes modelled by Ising - Glauber dynamics at zero temperature. We find that the life time distribution obeys a scaling ansatz, asymptotically. An independent life time model where the life times are sampled from a distribution with power law tail is presented, which predicts analytically the qualitative features…
▽ More
We investigate the life time distribution in one and two dimensional coarsening processes modelled by Ising - Glauber dynamics at zero temperature. We find that the life time distribution obeys a scaling ansatz, asymptotically. An independent life time model where the life times are sampled from a distribution with power law tail is presented, which predicts analytically the qualitative features of the scaling function.
△ Less
Submitted 11 April, 2001; v1 submitted 10 April, 2001;
originally announced April 2001.