Showing 51–100 of 108 results for author: Nagarajan, V

Nitrogen dioxide and ammonia gas molecules interaction studies on phosphorene nanosheet --- a DFT investigation

Authors: V. Nagarajan, R. Chandiramouli

Abstract: The adsorption behaviour of hazardous gas molecules, namely nitrogen dioxide (NO$_2$) and ammonia (NH$_3$), on phosphorene nanosheet (PNS) was explored by means of ab initio technique. To improve the structural solidity of pristine PNS, we have introduced the passivation of hydrogen and fluorine at the terminated edge. The structural solidity of both hydrogen and fluorine passivated PNS is verifie… ▽ More The adsorption behaviour of hazardous gas molecules, namely nitrogen dioxide (NO$_2$) and ammonia (NH$_3$), on phosphorene nanosheet (PNS) was explored by means of ab initio technique. To improve the structural solidity of pristine PNS, we have introduced the passivation of hydrogen and fluorine at the terminated edge. The structural solidity of both hydrogen and fluorine passivated PNS is verified in terms of formation energy. The main objective of this research work is to probe NO$_2$ and NH$_3$ gases using PNS as a base sensing material. The adsorption of various preferential adsorption sites of these gas molecules is studied in accordance with the average HOMO-LUMO gap changes, natural-bond-orbital (NBO) charge transfer, HOMO-LUMO gap, and adsorption energy. Notably, the negative value of adsorption energy is found upon the adsorption of NO$_2$ and NH$_3$ on PNS and it is in the range of $-1.36$ to $-2.45$ eV. The findings of the present research work recommend that the hydrogenated and fluorinated PNS can be effectively used as a chemical sensor against NO$_2$ and NH$_3$ molecules. △ Less

Submitted 27 March, 2019; originally announced March 2019.

Comments: 15 pages, 21 figures, 2 tables

Journal ref: Condens. Matter Phys., 2019, vol. 22, No. 1, 13703

Coexistence of orbital and quantum critical magnetoresistance in FeSe$_{1-x}$S$_{x}$

Authors: S. Licciardello, N. Maksimovic, J. Ayres, J. Buhot, M. Culo, B. Bryant, S. Kasahara, Y. Matsuda, T. Shibauchi, V. Nagarajan, J. G. Analytis, N. E. Hussey

Abstract: The recent discovery of a non-magnetic nematic quantum critical point (QCP) in the iron chalcogenide family FeSe$_{1-x}$S$_{x}$ has raised the prospect of investigating, in isolation, the role of nematicity on the electronic properties of correlated metals. Here we report a detailed study of the normal state transverse magnetoresistance (MR) in FeSe$_{1-x}$S$_{x}$ for a series of S concentrations… ▽ More The recent discovery of a non-magnetic nematic quantum critical point (QCP) in the iron chalcogenide family FeSe$_{1-x}$S$_{x}$ has raised the prospect of investigating, in isolation, the role of nematicity on the electronic properties of correlated metals. Here we report a detailed study of the normal state transverse magnetoresistance (MR) in FeSe$_{1-x}$S$_{x}$ for a series of S concentrations spanning the nematic QCP. For all temperatures and \textit{x}-values studied, the MR can be decomposed into two distinct components: one that varies quadratically in magnetic field strength $μみゅー_{0}\textit{H}$ and one that follows precisely the quadrature scaling form recently reported in metals at or close to a QCP and characterized by a \textit{H}-linear MR over an extended field range. The two components evolve systematically with both temperature and S-substitution in a manner that is determined by their proximity to the nematic QCP. This study thus reveals unambiguously the coexistence of two independent charge sectors in a quantum critical system. Moreover, the quantum critical component of the MR is found to be less sensitive to disorder than the quadratic (orbital) MR, suggesting that detection of the latter in previous MR studies of metals near a QCP may have been obscured. △ Less

Submitted 13 March, 2019; originally announced March 2019.

Comments: 19 pages (including Supplemental Material), 12 figures

Journal ref: Phys. Rev. Research 1, 023011 (2019)

Uniform convergence may be unable to explain generalization in deep learning

Authors: Vaishnavh Nagarajan, J. Zico Kolter

Abstract: Aimed at explaining the surprisingly good generalization behavior of overparameterized deep networks, recent works have developed a variety of generalization bounds for deep learning, all based on the fundamental learning-theoretic technique of uniform convergence. While it is well-known that many of these existing bounds are numerically large, through numerous experiments, we bring to light a mor… ▽ More Aimed at explaining the surprisingly good generalization behavior of overparameterized deep networks, recent works have developed a variety of generalization bounds for deep learning, all based on the fundamental learning-theoretic technique of uniform convergence. While it is well-known that many of these existing bounds are numerically large, through numerous experiments, we bring to light a more concerning aspect of these bounds: in practice, these bounds can {\em increase} with the training dataset size. Guided by our observations, we then present examples of overparameterized linear classifiers and neural networks trained by gradient descent (GD) where uniform convergence provably cannot "explain generalization" -- even if we take into account the implicit bias of GD {\em to the fullest extent possible}. More precisely, even if we consider only the set of classifiers output by GD, which have test errors less than some small $εいぷしろん$ in our settings, we show that applying (two-sided) uniform convergence on this set of classifiers will yield only a vacuous generalization guarantee larger than $1-εいぷしろん$. Through these findings, we cast doubt on the power of uniform convergence-based generalization bounds to provide a complete picture of why overparameterized deep networks generalize well. △ Less

Submitted 17 October, 2021; v1 submitted 13 February, 2019; originally announced February 2019.

Approximation Algorithms for the A Priori TravelingRepairman

Authors: Inge Li Gørtz, Viswanath Nagarajan, Fatemeh Navidi

Abstract: We consider the a priori traveling repairman problem, which is a stochastic version of the classic traveling repairman problem (also called the traveling deliveryman or minimum latency problem). Given a metric $(V,d)$ with a root $r\in V$, the traveling repairman problem (TRP) involves finding a tour originating from $r$ that minimizes the sum of arrival-times at all vertices. In its a priori vers… ▽ More We consider the a priori traveling repairman problem, which is a stochastic version of the classic traveling repairman problem (also called the traveling deliveryman or minimum latency problem). Given a metric $(V,d)$ with a root $r\in V$, the traveling repairman problem (TRP) involves finding a tour originating from $r$ that minimizes the sum of arrival-times at all vertices. In its a priori version, we are also given independent probabilities of each vertex being active. We want to find a master tour $τたう$ originating from $r$ and visiting all vertices. The objective is to minimize the expected sum of arrival-times at all active vertices, when $τたう$ is shortcut over the inactive vertices. We obtain the first constant-factor approximation algorithm for a priori TRP under non-uniform probabilities. Previously, such a result was only known for uniform probabilities. △ Less

Submitted 19 January, 2019; originally announced January 2019.

Generalization in Deep Networks: The Role of Distance from Initialization

Authors: Vaishnavh Nagarajan, J. Zico Kolter

Abstract: Why does training deep neural networks using stochastic gradient descent (SGD) result in a generalization error that does not worsen with the number of parameters in the network? To answer this question, we advocate a notion of effective model capacity that is dependent on {\em a given random initialization of the network} and not just the training algorithm and the data distribution. We provide e… ▽ More Why does training deep neural networks using stochastic gradient descent (SGD) result in a generalization error that does not worsen with the number of parameters in the network? To answer this question, we advocate a notion of effective model capacity that is dependent on {\em a given random initialization of the network} and not just the training algorithm and the data distribution. We provide empirical evidences that demonstrate that the model capacity of SGD-trained deep networks is in fact restricted through implicit regularization of {\em the $\ell_2$ distance from the initialization}. We also provide theoretical arguments that further highlight the need for initialization-dependent notions of model capacity. We leave as open questions how and why distance from initialization is regularized, and whether it is sufficient to explain generalization. △ Less

Submitted 13 January, 2019; v1 submitted 7 January, 2019; originally announced January 2019.

Comments: Spotlight paper at NeurIPS 2017 workshop on Deep Learning: Bridging Theory and Practice

Switching behaviour of stilbene molecular device: a first-principles study

Authors: V. Nagarajan, R. Chandiramouli

Abstract: The switching behaviour of stilbene molecular system (SMS) device is investigated with the help of non-equilibrium Green's function (NEGF) approach using first principles calculation. The transmission spectrum of cis-isomers confirmed that more electrons are transferred across the SMS-device using optical excitation by the spin of C$=$C bond by torsion angle $(θしーた=180^\circ)$. The current-voltage ch… ▽ More The switching behaviour of stilbene molecular system (SMS) device is investigated with the help of non-equilibrium Green's function (NEGF) approach using first principles calculation. The transmission spectrum of cis-isomers confirmed that more electrons are transferred across the SMS-device using optical excitation by the spin of C$=$C bond by torsion angle $(θしーた=180^\circ)$. The current-voltage characteristics show the lower magnitude of current for trans-stilbene and higher magnitude of current for cis-stilbene for an externally applied bias voltage. The outcome of the proposed work suggests that cis and trans-stilbene molecular device can be used as a switch. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Comments: 12 pages, 10 figures

Journal ref: Condens. Matter Phys., 2018, vol. 21, No. 4, 43301

Quasi-Polynomial Algorithms for Submodular Tree Orienteering and Other Directed Network Design Problems

Authors: Rohan Ghuge, Viswanath Nagarajan

Abstract: We consider the following general network design problem on directed graphs. The input is an asymmetric metric $(V,c)$, root $r^{*}\in V$, monotone submodular function $f:2^V\rightarrow \mathbb{R}_+$ and budget $B$. The goal is to find an $r^{*}$-rooted arborescence $T$ of cost at most $B$ that maximizes $f(T)$. Our main result is a simple quasi-polynomial time $O(\frac{\log k}{\log\log k})$-appro… ▽ More We consider the following general network design problem on directed graphs. The input is an asymmetric metric $(V,c)$, root $r^{*}\in V$, monotone submodular function $f:2^V\rightarrow \mathbb{R}_+$ and budget $B$. The goal is to find an $r^{*}$-rooted arborescence $T$ of cost at most $B$ that maximizes $f(T)$. Our main result is a simple quasi-polynomial time $O(\frac{\log k}{\log\log k})$-approximation algorithm for this problem, where $k\le |V|$ is the number of vertices in an optimal solution. To the best of our knowledge, this is the first non-trivial approximation ratio for this problem. As a consequence we obtain an $O(\frac{\log^2 k}{\log\log k})$-approximation algorithm for directed (polymatroid) Steiner tree in quasi-polynomial time. We also extend our main result to a setting with additional length bounds at vertices, which leads to improved $O(\frac{\log^2 k}{\log\log k})$-approximation algorithms for the single-source buy-at-bulk and priority Steiner tree problems. For the usual directed Steiner tree problem, our result matches the best previous approximation ratio [GLL19]. Our algorithm has the advantage of being deterministic and faster: the runtime is $\exp(O(\log n\, \log^{1+εいぷしろん} k))$. For polymatroid Steiner tree and single-source buy-at-bulk, our result improves prior approximation ratios by a logarithmic factor. For directed priority Steiner tree, our result seems to be the first non-trivial approximation ratio. All our approximation ratios are tight (up to constant factors) for quasi-polynomial algorithms. △ Less

Submitted 1 April, 2019; v1 submitted 4 December, 2018; originally announced December 2018.

Revisiting Adversarial Risk

Authors: Arun Sai Suggala, Adarsh Prasad, Vaishnavh Nagarajan, Pradeep Ravikumar

Abstract: Recent works on adversarial perturbations show that there is an inherent trade-off between standard test accuracy and adversarial accuracy. Specifically, they show that no classifier can simultaneously be robust to adversarial perturbations and achieve high standard test accuracy. However, this is contrary to the standard notion that on tasks such as image classification, humans are robust classif… ▽ More Recent works on adversarial perturbations show that there is an inherent trade-off between standard test accuracy and adversarial accuracy. Specifically, they show that no classifier can simultaneously be robust to adversarial perturbations and achieve high standard test accuracy. However, this is contrary to the standard notion that on tasks such as image classification, humans are robust classifiers with low error rate. In this work, we show that the main reason behind this confusion is the inexact definition of adversarial perturbation that is used in the literature. To fix this issue, we propose a slight, yet important modification to the existing definition of adversarial perturbation. Based on the modified definition, we show that there is no trade-off between adversarial and standard accuracies; there exist classifiers that are robust and achieve high standard accuracy. We further study several properties of this new definition of adversarial risk and its relation to the existing definition. △ Less

Submitted 22 March, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Approximating Max-Cut under Graph-MSO Constraints

Authors: Martin Koutecký, Jon Lee, Viswanath Nagarajan, Xiangkun Shen

Abstract: We consider the max-cut and max-$k$-cut problems under graph-based constraints. Our approach can handle any constraint specified using monadic second-order (MSO) logic on graphs of constant treewidth. We give a $\frac{1}{2}$-approximation algorithm for this class of problems. We consider the max-cut and max-$k$-cut problems under graph-based constraints. Our approach can handle any constraint specified using monadic second-order (MSO) logic on graphs of constant treewidth. We give a $\frac{1}{2}$-approximation algorithm for this class of problems. △ Less

Submitted 16 October, 2018; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: arXiv admin note: text overlap with arXiv:1511.08152

MSC Class: 68W25; 68W05; 68R10

Sensing behavior of acetone vapors on TiO$_2$ nanostructures --- application of density functional theory

Authors: V. Nagarajan, S. Sriram, R. Chandiramouli

Abstract: The electronic properties of TiO$_2$ nanostructure are explored using density functional theory. The adsorption properties of acetone on TiO$_2$ nanostructure are studied in terms of adsorption energy, average energy gap variation and Mulliken charge transfer. The density of states spectrum and the band structure clearly reveals the adsorption of acetone on TiO$_2$ nanostructures. The variation in… ▽ More The electronic properties of TiO$_2$ nanostructure are explored using density functional theory. The adsorption properties of acetone on TiO$_2$ nanostructure are studied in terms of adsorption energy, average energy gap variation and Mulliken charge transfer. The density of states spectrum and the band structure clearly reveals the adsorption of acetone on TiO$_2$ nanostructures. The variation in the energy gap and changes in the density of charge are observed upon adsorption of acetone on n-type TiO$_2$ base material. The results of DOS spectrum reveal that the transfer of electrons takes place between acetone vapor and TiO$_2$ base material. The findings show that the adsorption property of acetone is more favorable on TiO$_2$ nanostructure. Suitable adsorption sites of acetone on TiO$_2$ nanostructure are identified at atomistic level. From the results, it is confirmed that TiO$_2$ nanostructure can be efficiently utilized as a sensing element for the detection of acetone vapor in a mixed environment. △ Less

Submitted 14 December, 2017; originally announced December 2017.

Comments: 13 pages, 14 figures, 3 tables

Journal ref: Condens. Matter Phys., 2017, vol. 20, No. 4, 43708

Percolative nature of the dc paraconductivity in the cuprate superconductors

Authors: Petar Popčević, Damjan Pelc, Yang Tang, Kristijan Velebit, Zachary Anderson, Vikram Nagarajan, Guichuan Yu, Miroslav Požek, Neven Barišić, Martin Greven

Abstract: We present an investigation of the planar direct-current (dc) paraconductivity of the model cuprate material HgBa$_2$CuO$_{4+δでるた}$ in the underdoped part of the phase diagram. The simple quadratic temperature-dependence of the Fermi-liquid normal-state resistivity enables us to extract the paraconductivity above the macroscopic $T_c$ with great accuracy. The paraconductivity exhibits unusual exponen… ▽ More We present an investigation of the planar direct-current (dc) paraconductivity of the model cuprate material HgBa$_2$CuO$_{4+δでるた}$ in the underdoped part of the phase diagram. The simple quadratic temperature-dependence of the Fermi-liquid normal-state resistivity enables us to extract the paraconductivity above the macroscopic $T_c$ with great accuracy. The paraconductivity exhibits unusual exponential temperature dependence, with a characteristic temperature scale that is distinct from $T_c$. In the entire temperature range where it is discernable, the paraconductivity is quantitatively explained by a simple superconducting percolation model, which implies that underlying gap disorder dominates the emergence of superconductivity. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Journal ref: npj Quantum Materials 3, 42 (2018)

Fast Detection of Community Structures using Graph Traversal in Social Networks

Authors: Partha Basuchowdhuri, Satyaki Sikdar, Varsha Nagarajan, Khusbu Mishra, Surabhi Gupta, Subhashis Majumder

Abstract: Finding community structures in social networks is considered to be a challenging task as many of the proposed algorithms are computationally expensive and does not scale well for large graphs. Most of the community detection algorithms proposed till date are unsuitable for applications that would require detection of communities in real-time, especially for massive networks. The Louvain method, w… ▽ More Finding community structures in social networks is considered to be a challenging task as many of the proposed algorithms are computationally expensive and does not scale well for large graphs. Most of the community detection algorithms proposed till date are unsuitable for applications that would require detection of communities in real-time, especially for massive networks. The Louvain method, which uses modularity maximization to detect clusters, is usually considered to be one of the fastest community detection algorithms even without any provable bound on its running time. We propose a novel graph traversal-based community detection framework, which not only runs faster than the Louvain method but also generates clusters of better quality for most of the benchmark datasets. We show that our algorithms run in O(|V | + |E|) time to create an initial cover before using modularity maximization to get the final cover. Keywords - community detection; Influenced Neighbor Score; brokers; community nodes; communities △ Less

Submitted 24 May, 2018; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: 29 pages, 9 tables, and 13 figures. Accepted in "Knowledge and Information Systems", 2018

Lifelong Learning in Costly Feature Spaces

Authors: Maria-Florina Balcan, Avrim Blum, Vaishnavh Nagarajan

Abstract: An important long-term goal in machine learning systems is to build learning agents that, like humans, can learn many tasks over their lifetime, and moreover use information from these tasks to improve their ability to do so efficiently. In this work, our goal is to provide new theoretical insights into the potential of this paradigm. In particular, we propose a lifelong learning framework that ad… ▽ More An important long-term goal in machine learning systems is to build learning agents that, like humans, can learn many tasks over their lifetime, and moreover use information from these tasks to improve their ability to do so efficiently. In this work, our goal is to provide new theoretical insights into the potential of this paradigm. In particular, we propose a lifelong learning framework that adheres to a novel notion of resource efficiency that is critical in many real-world domains where feature evaluations are costly. That is, our learner aims to reuse information from previously learned related tasks to learn future tasks in a feature-efficient manner. Furthermore, we consider novel combinatorial ways in which learning tasks can relate. Specifically, we design lifelong learning algorithms for two structurally different and widely used families of target functions: decision trees/lists and monomials/polynomials. We also provide strong feature-efficiency guarantees for these algorithms; in fact, we show that in order to learn future targets, we need only slightly more feature evaluations per training example than what is needed to predict on an arbitrary example using those targets. We also provide algorithms with guarantees in an agnostic model where not all the targets are related to each other. Finally, we also provide lower bounds on the performance of a lifelong learner in these models, which are in fact tight under some conditions. △ Less

Submitted 30 June, 2017; originally announced June 2017.

Investigation on nickel ferrite nanowire device exhibiting negative differential resistance $-$ a first-principles investigation

Authors: V. Nagarajan, R. Chandiramouli

Abstract: The electronic property of NiFe$_2$O$_4$ nanowire device is investigated through nonequilibrium Green's functions (NEGF) in combination with density functional theory (DFT). The electronic transport properties of NiFe$_2$O$_4$ nanowire are studied in terms of density of states, transmission spectrum and $I{-}V$ characteristics. The density of states gets modified with the applied bias voltage acro… ▽ More The electronic property of NiFe$_2$O$_4$ nanowire device is investigated through nonequilibrium Green's functions (NEGF) in combination with density functional theory (DFT). The electronic transport properties of NiFe$_2$O$_4$ nanowire are studied in terms of density of states, transmission spectrum and $I{-}V$ characteristics. The density of states gets modified with the applied bias voltage across NiFe$_2$O$_4$ nanowire device, the density of charge is observed both in the valence band and in the conduction band on increasing the bias voltage. The transmission spectrum of NiFe$_2$O$_4$ nanowire device gives the insights on the transition of electrons at different energy intervals. The findings of the present work suggest that NiFe$_2$O$_4$ nanowire device can be used as negative differential resistance (NDR) device and its NDR property can be tuned with the bias voltage, which may be used in microwave device, memory devices and in fast switching devices. △ Less

Submitted 22 June, 2017; originally announced June 2017.

Comments: 12 pages, 8 figures

Journal ref: Condens. Matter Phys., vol. 20, No. 2, 23301 (2017)

Interaction of NH$_3$ gas on $αあるふぁ$-MoO$_3$ nanostructures $-$ a DFT investigation

Authors: V. Nagarajan, R. Chandiramouli

Abstract: The structural stability, electronic properties and NH$_3$ adsorption properties of pristine, Ti, Zr and F substituted $αあるふぁ$-MoO$_3$ nanostructures are successfully studied using density functional theory with B3LYP/LanL2DZ basis set. The structural stability of $αあるふぁ$-MoO$_3$ nanostructures is discussed in terms of formation energy. The electronic properties of pristine, Ti, Zr and F incorporated $αあるふぁ$-… ▽ More The structural stability, electronic properties and NH$_3$ adsorption properties of pristine, Ti, Zr and F substituted $αあるふぁ$-MoO$_3$ nanostructures are successfully studied using density functional theory with B3LYP/LanL2DZ basis set. The structural stability of $αあるふぁ$-MoO$_3$ nanostructures is discussed in terms of formation energy. The electronic properties of pristine, Ti, Zr and F incorporated $αあるふぁ$-MoO$_3$ nanostructures are discussed in terms of HOMO-LUMO gap, ionization potential and electron affinity. $αあるふぁ$-MoO$_3$ nanostructures can be fine-tuned with suitable substitution impurity to improve the adsorption characteristics of ammonia, which can be used to detect NH$_3$ in a mixed environment. The present work gives an insight into tailoring $αあるふぁ$-MoO$_3$ nanostructures for NH$_3$ detection. △ Less

Submitted 22 June, 2017; originally announced June 2017.

Comments: 16 pages, 20 figures, 2 tables

Journal ref: Condens. Matter Phys., vol. 20, No. 2, 23705 (2017)

Gradient descent GAN optimization is locally stable

Authors: Vaishnavh Nagarajan, J. Zico Kolter

Abstract: Despite the growing prominence of generative adversarial networks (GANs), optimization in GANs is still a poorly understood topic. In this paper, we analyze the "gradient descent" form of GAN optimization i.e., the natural setting where we simultaneously take small gradient steps in both generator and discriminator parameters. We show that even though GAN optimization does not correspond to a conv… ▽ More Despite the growing prominence of generative adversarial networks (GANs), optimization in GANs is still a poorly understood topic. In this paper, we analyze the "gradient descent" form of GAN optimization i.e., the natural setting where we simultaneously take small gradient steps in both generator and discriminator parameters. We show that even though GAN optimization does not correspond to a convex-concave game (even for simple parameterizations), under proper conditions, equilibrium points of this optimization procedure are still \emph{locally asymptotically stable} for the traditional GAN formulation. On the other hand, we show that the recently proposed Wasserstein GAN can have non-convergent limit cycles near equilibrium. Motivated by this stability analysis, we propose an additional regularization term for gradient descent GAN updates, which \emph{is} able to guarantee local stability for both the WGAN and the traditional GAN, and also shows practical promise in speeding up convergence and addressing mode collapse. △ Less

Submitted 13 January, 2018; v1 submitted 13 June, 2017; originally announced June 2017.

Verification of a lazy cache coherence protocol against a weak memory model

Authors: Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul Jackson, Vijay Nagarajan

Abstract: In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simulation relation between TSO-CC (with a fixed number of processors) and a novel finite-state operational model which exhibits the laziness of TSO-CC and satisfies TSO. We then extend this by an existing parameterisation te… ▽ More In this paper we verify a modern lazy cache coherence protocol, TSO-CC, against the memory consistency model it was designed for, TSO. We achieve this by first showing a weak simulation relation between TSO-CC (with a fixed number of processors) and a novel finite-state operational model which exhibits the laziness of TSO-CC and satisfies TSO. We then extend this by an existing parameterisation technique, allowing verification for an unlimited number of processors. The approach is executed entirely within a model checker, no external tool is required and very little in-depth knowledge of formal verification methods is required of the verifier. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 10 pages

ACM Class: B.1.4; B.3.2; B.3.3

Online Covering with Sum of $\ell_q$-Norm Objectives

Authors: Viswanath Nagarajan, Xiangkun Shen

Abstract: We consider fractional online covering problems with $\ell_q$-norm objectives. The problem of interest is of the form $\min\{ f(x) \,:\, Ax\ge 1, x\ge 0\}$ where $f(x)=\sum_{e} c_e \|x(S_e)\|_{q_e} $ is the weighted sum of $\ell_q$-norms and $A$ is a non-negative matrix. The rows of $A$ (i.e. covering constraints) arrive online over time. We provide an online $O(\log d+\log ρろー)$-competitive algorit… ▽ More We consider fractional online covering problems with $\ell_q$-norm objectives. The problem of interest is of the form $\min\{ f(x) \,:\, Ax\ge 1, x\ge 0\}$ where $f(x)=\sum_{e} c_e \|x(S_e)\|_{q_e} $ is the weighted sum of $\ell_q$-norms and $A$ is a non-negative matrix. The rows of $A$ (i.e. covering constraints) arrive online over time. We provide an online $O(\log d+\log ρろー)$-competitive algorithm where $ρろー= \frac{\max a_{ij}}{\min a_{ij}}$ and $d$ is the maximum of the row sparsity of $A$ and $\max |S_e|$. This is based on the online primal-dual framework where we use the dual of the above convex program. Our result expands the class of convex objectives that admit good online algorithms: prior results required a monotonicity condition on the objective $f$ which is not satisfied here. This result is nearly tight even for the linear special case. As direct applications we obtain (i) improved online algorithms for non-uniform buy-at-bulk network design and (ii) the first online algorithm for throughput maximization under $\ell_p$-norm edge capacities. △ Less

Submitted 9 May, 2017; v1 submitted 5 May, 2017; originally announced May 2017.

Learning-Theoretic Foundations of Algorithm Configuration for Combinatorial Partitioning Problems

Authors: Maria-Florina Balcan, Vaishnavh Nagarajan, Ellen Vitercik, Colin White

Abstract: Max-cut, clustering, and many other partitioning problems that are of significant importance to machine learning and other scientific fields are NP-hard, a reality that has motivated researchers to develop a wealth of approximation algorithms and heuristics. Although the best algorithm to use typically depends on the specific application domain, a worst-case analysis is often used to compare algor… ▽ More Max-cut, clustering, and many other partitioning problems that are of significant importance to machine learning and other scientific fields are NP-hard, a reality that has motivated researchers to develop a wealth of approximation algorithms and heuristics. Although the best algorithm to use typically depends on the specific application domain, a worst-case analysis is often used to compare algorithms. This may be misleading if worst-case instances occur infrequently, and thus there is a demand for optimization methods which return the algorithm configuration best suited for the given application's typical inputs. We address this problem for clustering, max-cut, and other partitioning problems, such as integer quadratic programming, by designing computationally efficient and sample efficient learning algorithms which receive samples from an application-specific distribution over problem instances and learn a partitioning algorithm with high expected performance. Our algorithms learn over common integer quadratic programming and clustering algorithm families: SDP rounding algorithms and agglomerative clustering algorithms with dynamic programming. For our sample complexity analysis, we provide tight bounds on the pseudodimension of these algorithm classes, and show that surprisingly, even for classes of algorithms parameterized by a single parameter, the pseudo-dimension is superconstant. In this way, our work both contributes to the foundations of algorithm configuration and pushes the boundaries of learning theory, since the algorithm classes we analyze consist of multi-stage optimization procedures and are significantly more complex than classes typically studied in learning theory. △ Less

Submitted 16 October, 2018; v1 submitted 14 November, 2016; originally announced November 2016.

Approximation Algorithms for Stochastic k-TSP

Authors: Alina Ene, Viswanath Nagarajan, Rishi Saket

Abstract: We consider the stochastic $k$-TSP problem where rewards at vertices are random and the objective is to minimize the expected length of a tour that collects reward $k$. We present an adaptive $O(\log k)$-approximation algorithm, and a non-adaptive $O(\log^2k)$-approximation algorithm. We also show that the adaptivity gap of this problem is between $e$ and $O(\log^2k)$. We consider the stochastic $k$-TSP problem where rewards at vertices are random and the objective is to minimize the expected length of a tour that collects reward $k$. We present an adaptive $O(\log k)$-approximation algorithm, and a non-adaptive $O(\log^2k)$-approximation algorithm. We also show that the adaptivity gap of this problem is between $e$ and $O(\log^2k)$. △ Less

Submitted 4 October, 2016; originally announced October 2016.

Comments: 11 pages

Adaptivity Gaps for Stochastic Probing: Submodular and XOS Functions

Authors: Anupam Gupta, Viswanath Nagarajan, Sahil Singla

Abstract: Suppose we are given a submodular function $f$ over a set of elements, and we want to maximize its value subject to certain constraints. Good approximation algorithms are known for such problems under both monotone and non-monotone submodular functions. We consider these problems in a stochastic setting, where elements are not all active and we can only get value from active elements. Each element… ▽ More Suppose we are given a submodular function $f$ over a set of elements, and we want to maximize its value subject to certain constraints. Good approximation algorithms are known for such problems under both monotone and non-monotone submodular functions. We consider these problems in a stochastic setting, where elements are not all active and we can only get value from active elements. Each element $e$ is active independently with some known probability $p_e$, but we don't know the element's status \emph{a priori}. We find it out only when we \emph{probe} the element $e$---probing reveals whether it's active or not, whereafter we can use this information to decide which other elements to probe. Eventually, if we have a probed set $S$ and a subset $\text{active}(S)$ of active elements in $S$, we can pick any $T \subseteq \text{active}(S)$ and get value $f(T)$. Moreover, the sequence of elements we probe must satisfy a given \emph{prefix-closed constraint}---e.g., these may be given by a matroid, or an orienteering constraint, or deadline, or precedence constraint, or an arbitrary downward-closed constraint---if we can probe some sequence of elements we can probe any prefix of it. What is a good strategy to probe elements to maximize the expected value? In this paper we study the gap between adaptive and non-adaptive strategies for $f$ being a submodular or a fractionally subadditive (XOS) function. If this gap is small, we can focus on finding good non-adaptive strategies instead, which are easier to find as well as to represent. We show that the adaptivity gap is a constant for monotone and non-monotone submodular functions, and logarithmic for XOS functions of small \emph{width}. These bounds are nearly tight. Our techniques show new ways of arguing about the optimal adaptive decision tree for stochastic problems. △ Less

Submitted 1 August, 2016; originally announced August 2016.

Comments: 21 pages, 1 figure

Adaptive Submodular Ranking and Routing

Authors: Fatemeh Navidi, Prabhanjan Kambadur, Viswanath Nagarajan

Abstract: We study a general stochastic ranking problem where an algorithm needs to adaptively select a sequence of elements so as to "cover" a random scenario (drawn from a known distribution) at minimum expected cost. The coverage of each scenario is captured by an individual submodular function, where the scenario is said to be covered when its function value goes above a given threshold. We obtain a log… ▽ More We study a general stochastic ranking problem where an algorithm needs to adaptively select a sequence of elements so as to "cover" a random scenario (drawn from a known distribution) at minimum expected cost. The coverage of each scenario is captured by an individual submodular function, where the scenario is said to be covered when its function value goes above a given threshold. We obtain a logarithmic factor approximation algorithm for this adaptive ranking problem, which is the best possible (unless P=NP). This problem unifies and generalizes many previously studied problems with applications in search ranking and active learning. The approximation ratio of our algorithm either matches or improves the best result known in each of these special cases. Furthermore, we extend our results to an adaptive vehicle routing problem, where costs are determined by an underlying metric. This routing problem is a significant generalization of the previously-studied adaptive traveling salesman and traveling repairman problems. Our approximation ratio nearly matches the best bound known for these special cases. Finally, we present experimental results for some applications of adaptive ranking. △ Less

Submitted 5 February, 2019; v1 submitted 5 June, 2016; originally announced June 2016.

Smartphone microendoscopy for high resolution fluorescence imaging

Authors: Xiangqian Hong, Vivek K. Nagarajan, Dale H. Mugler, Bing Yu

Abstract: High resolution optical endoscopes are increasingly used in diagnosis of various medical conditions of internal organs, such as the gastrointestinal tracts, but they are too expensive for use in resource-poor settings. On the other hand, smartphones with high resolution cameras and Internet access have become more affordable, enabling them to diffuse into most rural areas and developing countries… ▽ More High resolution optical endoscopes are increasingly used in diagnosis of various medical conditions of internal organs, such as the gastrointestinal tracts, but they are too expensive for use in resource-poor settings. On the other hand, smartphones with high resolution cameras and Internet access have become more affordable, enabling them to diffuse into most rural areas and developing countries in the past decade. In this letter we describe a smartphone microendoscope that can take fluorescence images with a spatial resolution of 3.1 μみゅーm. Images collected from ex vivo, in vitro and in vivo samples using the device are also presented. The compact and cost-effective smartphone microendoscope may be envisaged as a powerful tool for detecting pre-cancerous lesions of internal organs in low and middle income countries. △ Less

Submitted 6 March, 2016; originally announced March 2016.

Comments: 4 pages, 4 figures

A multiferroic on the brink: uncovering the nuances of strain-induced transitions in BiFeO$_3$

Authors: Daniel Sando, Bin Xu, Laurent Bellaiche, Valanoor Nagarajan

Abstract: Bismuth ferrite (BiFeO$_3$) is one of the very few known single-phase multiferroic materials. While the bulk compound is rhombohedral (R), the discovery of an epitaxial strain-induced structural transition into a so-called 'super tetragonal-phase' (T-phase) in this material incited a flurry of research activity focused on gaining an understanding of this phase transition and its possible functiona… ▽ More Bismuth ferrite (BiFeO$_3$) is one of the very few known single-phase multiferroic materials. While the bulk compound is rhombohedral (R), the discovery of an epitaxial strain-induced structural transition into a so-called 'super tetragonal-phase' (T-phase) in this material incited a flurry of research activity focused on gaining an understanding of this phase transition and its possible functionalities. This metastable phase of BiFeO$_3$ is also multiferroic, with giant ferroelectric polarization and coexisting antiferromagnetic order, but above all it is the strain relaxation-induced phase mixtures and their outstanding piezoelectric and magnetoelectric responses which continue to intrigue and motivate the physicist and materials scientist communities. Here, we review the research into the T-phase and mixed-phase BiFeO$_3$ system. We begin with a brief summary of the history of the T-phase and an analysis of the structure of the various phases reported in the literature. We then address important questions regarding the symmetry and octahedral rotation patterns and the (as yet underexplored) important role of chemistry in the formation of the metastable T-phase. We follow by describing the phase transitions in this material, and how these may hold promise for large magnetoelectric responses. Finally we point out some experimental challenges inherent to the study of such a system, and potential pathways for how they may be overcome. It is our intention with this work to highlight important issues that, in our opinion, should be carefully considered by the community in order to use this fascinating materials system for a new paradigm of functionality. △ Less

Submitted 17 December, 2015; originally announced December 2015.

Comments: 25 pages, 6 figures

Approximation-Friendly Discrepancy Rounding

Authors: Nikhil Bansal, Viswanath Nagarajan

Abstract: Rounding linear programs using techniques from discrepancy is a recent approach that has been very successful in certain settings. However this method also has some limitations when compared to approaches such as randomized and iterative rounding. We provide an extension of the discrepancy-based rounding algorithm due to Lovett-Meka that (i) combines the advantages of both randomized and iterated… ▽ More Rounding linear programs using techniques from discrepancy is a recent approach that has been very successful in certain settings. However this method also has some limitations when compared to approaches such as randomized and iterative rounding. We provide an extension of the discrepancy-based rounding algorithm due to Lovett-Meka that (i) combines the advantages of both randomized and iterated rounding, (ii) makes it applicable to settings with more general combinatorial structure such as matroids. As applications of this approach, we obtain new results for various classical problems such as linear system rounding, degree-bounded matroid basis and low congestion routing. △ Less

Submitted 2 December, 2016; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 21 pages, 1 figure. The final version of this paper is due to be published in the collection of papers "A Journey through Discrete Mathematics. A Tribute to Jiri Matousek" edited by Martin Loebl, Jaroslav Nesetril and Robin Thomas, due to be published by Springer

Max-Cut under Graph Constraints

Authors: Jon Lee, Viswanath Nagarajan, Xiangkun Shen

Abstract: An instance of the graph-constrained max-cut (GCMC) problem consists of (i) an undirected graph G and (ii) edge-weights on a complete undirected graph on the same vertex set. The objective is to find a subset of vertices satisfying some graph-based constraint in G that maximizes the total weight of edges in the cut. The types of graph constraints we can handle include independent set, vertex cover… ▽ More An instance of the graph-constrained max-cut (GCMC) problem consists of (i) an undirected graph G and (ii) edge-weights on a complete undirected graph on the same vertex set. The objective is to find a subset of vertices satisfying some graph-based constraint in G that maximizes the total weight of edges in the cut. The types of graph constraints we can handle include independent set, vertex cover, dominating set and connectivity. Our main results are for the case when G is a graph with bounded treewidth, where we obtain a 0.5-approximation algorithm. Our algorithm uses an LP relaxation based on the Sherali-Adams hierarchy. It can handle any graph constraint for which there is a (certain type of) dynamic program that exactly optimizes linear objectives. Using known decomposition results, these imply essentially the same approximation ratio for GCMC under constraints such as independent set, dominating set and connectivity on a planar graph G (more generally for bounded-genus or excluded-minor graphs). △ Less

Submitted 25 November, 2015; originally announced November 2015.

A Reinforcement Learning Approach to Online Learning of Decision Trees

Authors: Abhinav Garlapati, Aditi Raghunathan, Vaishnavh Nagarajan, Balaraman Ravindran

Abstract: Online decision tree learning algorithms typically examine all features of a new data point to update model parameters. We propose a novel alternative, Reinforcement Learning- based Decision Trees (RLDT), that uses Reinforcement Learning (RL) to actively examine a minimal number of features of a data point to classify it with high accuracy. Furthermore, RLDT optimizes a long term return, providing… ▽ More Online decision tree learning algorithms typically examine all features of a new data point to update model parameters. We propose a novel alternative, Reinforcement Learning- based Decision Trees (RLDT), that uses Reinforcement Learning (RL) to actively examine a minimal number of features of a data point to classify it with high accuracy. Furthermore, RLDT optimizes a long term return, providing a better alternative to the traditional myopic greedy approach to growing decision trees. We demonstrate that this approach performs as well as batch learning algorithms and other online decision tree learning algorithms, while making significantly fewer queries about the features of the data points. We also show that RLDT can effectively handle concept drift. △ Less

Submitted 24 July, 2015; originally announced July 2015.

Approximation Algorithms for Inventory Problems with Submodular or Routing Costs

Authors: Viswanath Nagarajan, Cong Shi

Abstract: We consider the following two deterministic inventory optimization problems over a finite planning horizon $T$ with non-stationary demands. (a) Submodular Joint Replenishment Problem: This involves multiple item types and a single retailer who faces demands. In each time step, any subset of item-types can be ordered incurring a joint ordering cost which is submodular. Moreover, items can be held… ▽ More We consider the following two deterministic inventory optimization problems over a finite planning horizon $T$ with non-stationary demands. (a) Submodular Joint Replenishment Problem: This involves multiple item types and a single retailer who faces demands. In each time step, any subset of item-types can be ordered incurring a joint ordering cost which is submodular. Moreover, items can be held in inventory while incurring a holding cost. The objective is find a sequence of orders that satisfies all demands and minimizes the total ordering and holding costs. (b) Inventory Routing Problem: This involves a single depot that stocks items, and multiple retailer locations facing demands. In each time step, any subset of locations can be visited using a vehicle originating from the depot. There is also cost incurred for holding items at any retailer. The objective here is to satisfy all demands while minimizing the sum of routing and holding costs. We present a unified approach that yields $\mathcal{O}\left(\frac{\log T}{\log\log T}\right)$-factor approximation algorithms for both problems when the holding costs are polynomial functions. A special case is the classic linear holding cost model, wherein this is the first sub-logarithmic approximation ratio for either problem. △ Less

Submitted 24 April, 2015; originally announced April 2015.

Strain-induced magnetic phase transition in SrCoO$_{3-δでるた}$ thin films

Authors: S. J. Callori, S. Hu, J. Bertinshaw, Z. Yue, S. Danilkin, X. L. Wang, V. Nagarajan, F. Klose, J. Seidel, C. Ulrich

Abstract: It has been well established that both in bulk at ambient pressure and for films under modest strains, cubic SrCoO$_{3-δでるた}$ ($δでるた< 0.2$) is a ferromagnetic metal. Recent theoretical work, however, indicates that a magnetic phase transition to an antiferromagnetic structure could occur under large strain accompanied by a metal-insulator transition. We have observed a strain-induced ferromagnetic to an… ▽ More It has been well established that both in bulk at ambient pressure and for films under modest strains, cubic SrCoO$_{3-δでるた}$ ($δでるた< 0.2$) is a ferromagnetic metal. Recent theoretical work, however, indicates that a magnetic phase transition to an antiferromagnetic structure could occur under large strain accompanied by a metal-insulator transition. We have observed a strain-induced ferromagnetic to antiferromagnetic phase transition in SrCoO$_{3-δでるた}$ films grown on DyScO$_3$ substrates, which provide a large tensile epitaxial strain, as compared to ferromagnetic films under lower tensile strain on SrTiO$_3$ substrates. Magnetometry results demonstrate the existence of antiferromagnetic spin correlations and neutron diffraction experiments provide a direct evidence for a G-type antiferromagnetic structure with Neél temperatures between $T_N \sim 135\,\pm\,10\,K$ and $\sim 325\,\pm\,10\,K$ depending on the oxygen content of the samples. Therefore, our data experimentally confirm the predicted strain-induced magnetic phase transition to an antiferromagnetic state for SrCoO$_{3-δでるた}$ thin films under large epitaxial strain. △ Less

Submitted 18 February, 2015; originally announced February 2015.

Comments: 6 pages, 4 figures

Online Packing and Covering Framework with Convex Objectives

Authors: Niv Buchbinder, Shahar Chen, Anupam Gupta, Viswanath Nagarajan, Joseph, Naor

Abstract: We consider online fractional covering problems with a convex objective, where the covering constraints arrive over time. Formally, we want to solve $\min\,\{f(x) \mid Ax\ge \mathbf{1},\, x\ge 0\},$ where the objective function $f:\mathbb{R}^n\rightarrow \mathbb{R}$ is convex, and the constraint matrix $A_{m\times n}$ is non-negative. The rows of $A$ arrive online over time, and we wish to maintai… ▽ More We consider online fractional covering problems with a convex objective, where the covering constraints arrive over time. Formally, we want to solve $\min\,\{f(x) \mid Ax\ge \mathbf{1},\, x\ge 0\},$ where the objective function $f:\mathbb{R}^n\rightarrow \mathbb{R}$ is convex, and the constraint matrix $A_{m\times n}$ is non-negative. The rows of $A$ arrive online over time, and we wish to maintain a feasible solution $x$ at all times while only increasing coordinates of $x$. We also consider "dual" packing problems of the form $\max\,\{c^\intercal y - g(μみゅー) \mid A^\intercal y \le μみゅー,\, y\ge 0\}$, where $g$ is a convex function. In the online setting, variables $y$ and columns of $A^\intercal$ arrive over time, and we wish to maintain a non-decreasing solution $(y,μみゅー)$. We provide an online primal-dual framework for both classes of problems with competitive ratio depending on certain "monotonicity" and "smoothness" parameters of $f$; our results match or improve on guarantees for some special classes of functions $f$ considered previously. Using this fractional solver with problem-dependent randomized rounding procedures, we obtain competitive algorithms for the following problems: online covering LPs minimizing $\ell_p$-norms of arbitrary packing constraints, set cover with multiple cost functions, capacity constrained facility location, capacitated multicast problem, set cover with set requests, and profit maximization with non-separable production costs. Some of these results are new and others provide a unified view of previous results, with matching or slightly worse competitive ratios. △ Less

Submitted 29 December, 2014; originally announced December 2014.

Element-Specific Depth Profile of Magnetism and Stoichiometry at the La0.67Sr0.33MnO3/BiFeO3 Interface

Authors: J. Bertinshaw, S. Brück, D. Lott, H. Fritzsche, Y. Khaydukov, O. Soltwedel, T. Keller, E. Goering, P. Audehm, D. L. Cortie, W. D. Hutchison, Q. M. Ramasse, M. Arredondo, R. Maran, V. Nagarajan, F. Klose, C. Ulrich

Abstract: Depth-sensitive magnetic, structural and chemical characterization is important in the understanding and optimization of novel physical phenomena emerging at interfaces of transition metal oxide heterostructures. In a simultaneous approach we have used polarized neutron and resonant X-ray reflectometry to determine the magnetic profile across atomically sharp interfaces of ferromagnetic La0.67Sr0.… ▽ More Depth-sensitive magnetic, structural and chemical characterization is important in the understanding and optimization of novel physical phenomena emerging at interfaces of transition metal oxide heterostructures. In a simultaneous approach we have used polarized neutron and resonant X-ray reflectometry to determine the magnetic profile across atomically sharp interfaces of ferromagnetic La0.67Sr0.33MnO3 / multiferroic BiFeO3 bi-layers with sub-nanometer resolution. In particular, the X-ray resonant magnetic reflectivity measurements at the Fe and Mn resonance edges allowed us to determine the element specific depth profile of the ferromagnetic moments in both the La0.67Sr0.33MnO3 and BiFeO3 layers. Our measurements indicate a magnetically diluted interface layer within the La0.67Sr0.33MnO3 layer, in contrast to previous observations on inversely deposited layers. Additional resonant X-ray reflection measurements indicate a region of an altered Mn- and O-content at the interface, with a thickness matching that of the magnetic diluted layer, as origin of the reduction of the magnetic moment. △ Less

Submitted 2 July, 2014; originally announced July 2014.

Comments: 13 pages, 4 figures, supplemental material included

Cluster Before You Hallucinate: Approximating Node-Capacitated Network Design and Energy Efficient Routing

Authors: Ravishankar Krishnaswamy, Viswanath Nagarajan, Kirk Pruhs, Cliff Stein

Abstract: We consider the following node-capacitated network design problem. The input is an undirected graph, set of demands, uniform node capacity and arbitrary node costs. The goal is to find a minimum node-cost subgraph that supports all demands concurrently subject to the node capacities. We consider both single and multi-commodity demands, and provide the first poly-logarithmic approximation guarantee… ▽ More We consider the following node-capacitated network design problem. The input is an undirected graph, set of demands, uniform node capacity and arbitrary node costs. The goal is to find a minimum node-cost subgraph that supports all demands concurrently subject to the node capacities. We consider both single and multi-commodity demands, and provide the first poly-logarithmic approximation guarantees. For single-commodity demands (i.e., all request pairs have the same sink node), we obtain an $O(\log^2 n)$ approximation to the cost with an $O(\log^3 n)$ factor violation in node capacities. For multi-commodity demands, we obtain an $O(\log^4 n)$ approximation to the cost with an $O(\log^{10} n)$ factor violation in node capacities. We use a variety of techniques, including single-sink confluent flows, low-load set cover, random sampling and cut-sparsification. We also develop new techniques for clustering multicommodity demands into (nearly) node-disjoint clusters, which may be of independent interest. Moreover, this network design problem has applications to energy-efficient virtual circuit routing. In this setting, there is a network of routers that are speed scalable, and that may be shutdown when idle. We assume the standard model for power: the power consumed by a router with load (speed) $s$ is $σしぐま+ s^αあるふぁ$ where $σしぐま$ is the static power and the exponent $αあるふぁ> 1$. We obtain the first poly-logarithmic approximation algorithms for this problem when speed-scaling occurs on nodes of a network. △ Less

Submitted 10 March, 2024; v1 submitted 24 March, 2014; originally announced March 2014.

Comments: 38 pages, 4 figures (full version, to appear in SICOMP)

MSC Class: 68W25; 05C21; 05C85 ACM Class: F.2.2; G.2.2

On the Adaptivity Gap of Stochastic Orienteering

Authors: Nikhil Bansal, Viswanath Nagarajan

Abstract: The input to the stochastic orienteering problem consists of a budget $B$ and metric $(V,d)$ where each vertex $v$ has a job with deterministic reward and random processing time (drawn from a known distribution). The processing times are independent across vertices. The goal is to obtain a non-anticipatory policy to run jobs at different vertices, that maximizes expected reward, subject to the tot… ▽ More The input to the stochastic orienteering problem consists of a budget $B$ and metric $(V,d)$ where each vertex $v$ has a job with deterministic reward and random processing time (drawn from a known distribution). The processing times are independent across vertices. The goal is to obtain a non-anticipatory policy to run jobs at different vertices, that maximizes expected reward, subject to the total distance traveled plus processing times being at most $B$. An adaptive policy is one that can choose the next vertex to visit based on observed random instantiations. Whereas, a non-adaptive policy is just given by a fixed ordering of vertices. The adaptivity gap is the worst-case ratio of the expected rewards of the optimal adaptive and non-adaptive policies. We prove an $Ωおめが(\log\log B)^{1/2}$ lower bound on the adaptivity gap of stochastic orienteering. This provides a negative answer to the $O(1)$ adaptivity gap conjectured earlier, and comes close to the $O(\log\log B)$ upper bound. This result holds even on a line metric. We also show an $O(\log\log B)$ upper bound on the adaptivity gap for the correlated stochastic orienteering problem, where the reward of each job is random and possibly correlated to its processing time. Using this, we obtain an improved quasi-polynomial time approximation algorithm for correlated stochastic orienteering. △ Less

Submitted 9 May, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: Full version of IPCO 2014 paper, 27 pages, 3 figures

Defect thermodynamics and kinetics in thin strained ferroelectric films: the interplay of possible mechanisms

Authors: Anna N. Morozovska, Eugene A. Eliseev, P. S. Sankara Rama Krishnan, Alexander Tselev, Evgheny Strelkov, Albina Borisevich, Olexander V. Varenyk, Nicola V. Morozovsky, Paul Munroe, Sergei V. Kalinin, Valanoor Nagarajan

Abstract: We present a theoretical description of the influence of misfit strain on mobile defects dynamics in thin strained ferroelectric films. Self-consistent solutions obtained by coupling the Poissons equation for electric potential with continuity equations for mobile donor and electron concentrations and time-dependent Landau-Ginzburg-Devonshire equations reveal that the Vegard mechanism (chemical pr… ▽ More We present a theoretical description of the influence of misfit strain on mobile defects dynamics in thin strained ferroelectric films. Self-consistent solutions obtained by coupling the Poissons equation for electric potential with continuity equations for mobile donor and electron concentrations and time-dependent Landau-Ginzburg-Devonshire equations reveal that the Vegard mechanism (chemical pressure) leads to the redistribution of both charged and electro-neutral defects in order to decrease the effective stress in the film. Internal electric fields, both built-in and depolarization ones, lead to a strong accumulation of screening space charges (charged defects and electrons) near the film interfaces. Importantly, the corresponding screening length is governed by the misfit strain and Vegard coefficient. Mobile defects dynamics, kinetics of polarization and electric current reversal are defined by the complex interplay between the donor, electron and phonon relaxation times, misfit strain, finite size effect and Vegard stresses. △ Less

Submitted 13 November, 2013; originally announced November 2013.

Comments: 34 pages, 7 figures, supplementary materials

Journal ref: Phys. Rev. B 89, 054102 (2014)

A Stochastic Probing Problem with Applications

Authors: Anupam Gupta, Viswanath Nagarajan

Abstract: We study a general stochastic probing problem defined on a universe V, where each element e in V is "active" independently with probability p_e. Elements have weights {w_e} and the goal is to maximize the weight of a chosen subset S of active elements. However, we are given only the p_e values-- to determine whether or not an element e is active, our algorithm must probe e. If element e is probed… ▽ More We study a general stochastic probing problem defined on a universe V, where each element e in V is "active" independently with probability p_e. Elements have weights {w_e} and the goal is to maximize the weight of a chosen subset S of active elements. However, we are given only the p_e values-- to determine whether or not an element e is active, our algorithm must probe e. If element e is probed and happens to be active, then e must irrevocably be added to the chosen set S; if e is not active then it is not included in S. Moreover, the following conditions must hold in every random instantiation: (1) the set Q of probed elements satisfy an "outer" packing constraint, and (2) the set S of chosen elements satisfy an "inner" packing constraint. The kinds of packing constraints we consider are intersections of matroids and knapsacks. Our results provide a simple and unified view of results in stochastic matching and Bayesian mechanism design, and can also handle more general constraints. As an application, we obtain the first polynomial-time $Ωおめが(1/k)$-approximate "Sequential Posted Price Mechanism" under k-matroid intersection feasibility constraints. △ Less

Submitted 24 February, 2013; originally announced February 2013.

Comments: 20 pages, full version of IPCO 2013 paper

Thrifty Algorithms for Multistage Robust Optimization

Authors: Anupam Gupta, Viswanath Nagarajan, Vijay V. Vazirani

Abstract: We consider a class of multi-stage robust covering problems, where additional information is revealed about the problem instance in each stage, but the cost of taking actions increases. The dilemma for the decision-maker is whether to wait for additional information and risk the inflation, or to take early actions to hedge against rising costs. We study the "k-robust" uncertainty model: in each st… ▽ More We consider a class of multi-stage robust covering problems, where additional information is revealed about the problem instance in each stage, but the cost of taking actions increases. The dilemma for the decision-maker is whether to wait for additional information and risk the inflation, or to take early actions to hedge against rising costs. We study the "k-robust" uncertainty model: in each stage i = 0, 1,...,T, the algorithm is shown some subset of size k_i that completely contains the eventual demands to be covered; here k_1 > k_2 >...> k_T which ensures increasing information over time. The goal is to minimize the cost incurred in the worst-case possible sequence of revelations. For the multistage k-robust set cover problem, we give an O(log m + log n)-approximation algorithm, nearly matching the Ωおめが(log n + log m/loglog m) hardness of approximation even for T=2 stages. Moreover, our algorithm has a useful "thrifty" property: it takes actions on just two stages. We show similar thrifty algorithms for multi-stage k-robust Steiner tree, Steiner forest, and minimum-cut. For these problems our approximation guarantees are O(min{T, log n, log L_{max}), where L_{max} is the maximum inflation over all the stages. We conjecture that these problems also admit O(1)-approximate thrifty algorithms. △ Less

Submitted 21 February, 2013; originally announced February 2013.

Comments: 20 pages, full version of IPCO 2013 paper

Approximating Sparse Covering Integer Programs Online

Authors: Anupam Gupta, Viswanath Nagarajan

Abstract: A covering integer program (CIP) is a mathematical program of the form: min {c^T x : Ax >= 1, 0 <= x <= u, x integer}, where A is an m x n matrix, and c and u are n-dimensional vectors, all having non-negative entries. In the online setting, the constraints (i.e., the rows of the constraint matrix A) arrive over time, and the algorithm can only increase the coordinates of vector x to maintain feas… ▽ More A covering integer program (CIP) is a mathematical program of the form: min {c^T x : Ax >= 1, 0 <= x <= u, x integer}, where A is an m x n matrix, and c and u are n-dimensional vectors, all having non-negative entries. In the online setting, the constraints (i.e., the rows of the constraint matrix A) arrive over time, and the algorithm can only increase the coordinates of vector x to maintain feasibility. As an intermediate step, we consider solving the covering linear program (CLP) online, where the integrality requirement on x is dropped. Our main results are (a) an O(log k)-competitive online algorithm for solving the CLP, and (b) an O(log k log L)-competitive randomized online algorithm for solving the CIP. Here k<=n and L<=m respectively denote the maximum number of non-zero entries in any row and column of the constraint matrix A. By a result of Feige and Korman, this is the best possible for polynomial-time online algorithms, even in the special case of set cover. △ Less

Submitted 1 May, 2012; originally announced May 2012.

Comments: 16 pages

Stochastic Vehicle Routing with Recourse

Authors: Inge Li Goertz, Viswanath Nagarajan, Rishi Saket

Abstract: We study the classic Vehicle Routing Problem in the setting of stochastic optimization with recourse. StochVRP is a two-stage optimization problem, where demand is satisfied using two routes: fixed and recourse. The fixed route is computed using only a demand distribution. Then after observing the demand instantiations, a recourse route is computed -- but costs here become more expensive by a fact… ▽ More We study the classic Vehicle Routing Problem in the setting of stochastic optimization with recourse. StochVRP is a two-stage optimization problem, where demand is satisfied using two routes: fixed and recourse. The fixed route is computed using only a demand distribution. Then after observing the demand instantiations, a recourse route is computed -- but costs here become more expensive by a factor lambda. We present an O(log^2 n log(n lambda))-approximation algorithm for this stochastic routing problem, under arbitrary distributions. The main idea in this result is relating StochVRP to a special case of submodular orienteering, called knapsack rank-function orienteering. We also give a better approximation ratio for knapsack rank-function orienteering than what follows from prior work. Finally, we provide a Unique Games Conjecture based omega(1) hardness of approximation for StochVRP, even on star-like metrics on which our algorithm achieves a logarithmic approximation. △ Less

Submitted 1 March, 2012; v1 submitted 26 February, 2012; originally announced February 2012.

Comments: 20 Pages, 1 figure Revision corrects the statement and proof of Theorem 1.2

MSC Class: 68Q25; 68W05 ACM Class: F.2.2; G.2.0

Min-Max Graph Partitioning and Small Set Expansion

Authors: Nikhil Bansal, Uriel Feige, Robert Krauthgamer, Konstantin Makarychev, Viswanath Nagarajan, Joseph, Naor, Roy Schwartz

Abstract: We study graph partitioning problems from a min-max perspective, in which an input graph on n vertices should be partitioned into k parts, and the objective is to minimize the maximum number of edges leaving a single part. The two main versions we consider are where the k parts need to be of equal-size, and where they must separate a set of k given terminals. We consider a common generalization of… ▽ More We study graph partitioning problems from a min-max perspective, in which an input graph on n vertices should be partitioned into k parts, and the objective is to minimize the maximum number of edges leaving a single part. The two main versions we consider are where the k parts need to be of equal-size, and where they must separate a set of k given terminals. We consider a common generalization of these two problems, and design for it an $O(\sqrt{\log n\log k})$-approximation algorithm. This improves over an $O(\log^2 n)$ approximation for the second version, and roughly $O(k\log n)$ approximation for the first version that follows from other previous work. We also give an improved O(1)-approximation algorithm for graphs that exclude any fixed minor. Our algorithm uses a new procedure for solving the Small-Set Expansion problem. In this problem, we are given a graph G and the goal is to find a non-empty set $S\subseteq V$ of size $|S| \leq ρろーn$ with minimum edge-expansion. We give an $O(\sqrt{\log{n}\log{(1/ρろー)}})$ bicriteria approximation algorithm for the general case of Small-Set Expansion, and O(1) approximation algorithm for graphs that exclude any fixed minor. △ Less

Submitted 20 October, 2011; v1 submitted 19 October, 2011; originally announced October 2011.

Comments: Full version of paper appearing in FOCS 2011, 29 pages

Minimum Latency Submodular Cover

Authors: Sungjin Im, Viswanath Nagarajan, Ruben van der Zwaan

Abstract: We study the Minimum Latency Submodular Cover problem (MLSC), which consists of a metric $(V,d)$ with source $r\in V$ and $m$ monotone submodular functions $f_1, f_2, ..., f_m: 2^V \rightarrow [0,1]$. The goal is to find a path originating at $r$ that minimizes the total cover time of all functions. This generalizes well-studied problems, such as Submodular Ranking [AzarG11] and Group Steiner Tree… ▽ More We study the Minimum Latency Submodular Cover problem (MLSC), which consists of a metric $(V,d)$ with source $r\in V$ and $m$ monotone submodular functions $f_1, f_2, ..., f_m: 2^V \rightarrow [0,1]$. The goal is to find a path originating at $r$ that minimizes the total cover time of all functions. This generalizes well-studied problems, such as Submodular Ranking [AzarG11] and Group Steiner Tree [GKR00]. We give a polynomial time $O(\log \frac{1}{\eps} \cdot \log^{2+δでるた} |V|)$-approximation algorithm for MLSC, where $εいぷしろん>0$ is the smallest non-zero marginal increase of any $\{f_i\}_{i=1}^m$ and $δでるた>0$ is any constant. We also consider the Latency Covering Steiner Tree problem (LCST), which is the special case of \mlsc where the $f_i$s are multi-coverage functions. This is a common generalization of the Latency Group Steiner Tree [GuptaNR10a,ChakrabartyS11] and Generalized Min-sum Set Cover [AzarGY09, BansalGK10] problems. We obtain an $O(\log^2|V|)$-approximation algorithm for LCST. Finally we study a natural stochastic extension of the Submodular Ranking problem, and obtain an adaptive algorithm with an $O(\log 1/ \eps)$ approximation ratio, which is best possible. This result also generalizes some previously studied stochastic optimization problems, such as Stochastic Set Cover [GoemansV06] and Shared Filter Evaluation [MunagalaSW07, LiuPRY08]. △ Less

Submitted 1 March, 2013; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: 23 pages, 1 figure

MSC Class: 68Q25

Locating Depots for Capacitated Vehicle Routing

Authors: Inge Li Goertz, Viswanath Nagarajan

Abstract: We study a location-routing problem in the context of capacitated vehicle routing. The input is a set of demand locations in a metric space and a fleet of k vehicles each of capacity Q. The objective is to locate k depots, one for each vehicle, and compute routes for the vehicles so that all demands are satisfied and the total cost is minimized. Our main result is a constant-factor approximation a… ▽ More We study a location-routing problem in the context of capacitated vehicle routing. The input is a set of demand locations in a metric space and a fleet of k vehicles each of capacity Q. The objective is to locate k depots, one for each vehicle, and compute routes for the vehicles so that all demands are satisfied and the total cost is minimized. Our main result is a constant-factor approximation algorithm for this problem. To achieve this result, we reduce to the k-median-forest problem, which generalizes both k-median and minimum spanning tree, and which might be of independent interest. We give a (3+c)-approximation algorithm for k-median-forest, which leads to a (12+c)-approximation algorithm for the above location-routing problem, for any constant c>0. The algorithm for k-median-forest is just t-swap local search, and we prove that it has locality gap 3+2/t; this generalizes the corresponding result known for k-median. Finally we consider the "non-uniform" k-median-forest problem which has different cost functions for the MST and k-median parts. We show that the locality gap for this problem is unbounded even under multi-swaps, which contrasts with the uniform case. Nevertheless, we obtain a constant-factor approximation algorithm, using an LP based approach. △ Less

Submitted 4 March, 2011; originally announced March 2011.

Comments: 12 pages, 1 figure

Minimum Makespan Multi-vehicle Dial-a-Ride

Authors: Inge Li Goertz, Viswanath Nagarajan, R. Ravi

Abstract: Dial a ride problems consist of a metric space (denoting travel time between vertices) and a set of m objects represented as source-destination pairs, where each object requires to be moved from its source to destination vertex. We consider the multi-vehicle Dial a ride problem, with each vehicle having capacity k and its own depot-vertex, where the objective is to minimize the maximum completion… ▽ More Dial a ride problems consist of a metric space (denoting travel time between vertices) and a set of m objects represented as source-destination pairs, where each object requires to be moved from its source to destination vertex. We consider the multi-vehicle Dial a ride problem, with each vehicle having capacity k and its own depot-vertex, where the objective is to minimize the maximum completion time (makespan) of the vehicles. We study the "preemptive" version of the problem, where an object may be left at intermediate vertices and transported by more than one vehicle, while being moved from source to destination. Our main results are an O(log^3 n)-approximation algorithm for preemptive multi-vehicle Dial a ride, and an improved O(log t)-approximation for its special case when there is no capacity constraint. We also show that the approximation ratios improve by a log-factor when the underlying metric is induced by a fixed-minor-free graph. △ Less

Submitted 26 February, 2011; originally announced February 2011.

Comments: 22 pages, 1 figure. Preliminary version appeared in ESA 2009

Robust and MaxMin Optimization under Matroid and Knapsack Uncertainty Sets

Authors: Anupam Gupta, Viswanath Nagarajan, R. Ravi

Abstract: Consider the following problem: given a set system (U,I) and an edge-weighted graph G = (U, E) on the same universe U, find the set A in I such that the Steiner tree cost with terminals A is as large as possible: "which set in I is the most difficult to connect up?" This is an example of a max-min problem: find the set A in I such that the value of some minimization (covering) problem is as large… ▽ More Consider the following problem: given a set system (U,I) and an edge-weighted graph G = (U, E) on the same universe U, find the set A in I such that the Steiner tree cost with terminals A is as large as possible: "which set in I is the most difficult to connect up?" This is an example of a max-min problem: find the set A in I such that the value of some minimization (covering) problem is as large as possible. In this paper, we show that for certain covering problems which admit good deterministic online algorithms, we can give good algorithms for max-min optimization when the set system I is given by a p-system or q-knapsacks or both. This result is similar to results for constrained maximization of submodular functions. Although many natural covering problems are not even approximately submodular, we show that one can use properties of the online algorithm as a surrogate for submodularity. Moreover, we give stronger connections between max-min optimization and two-stage robust optimization, and hence give improved algorithms for robust versions of various covering problems, for cases where the uncertainty sets are given by p-systems and q-knapsacks. △ Less

Submitted 24 February, 2011; v1 submitted 22 December, 2010; originally announced December 2010.

Comments: 17 pages. Preliminary version combining this paper and http://arxiv.org/abs/0912.1045 appeared in ICALP 2010

Probing La(0.7)Sr(0.3)MnO3 multilayers via spin wave resonances

Authors: R. Magaraggia, M. Hambe, M. Kostylev, V. Nagarajan, R. L. Stamps

Abstract: La(0.7)Sr(0.3)MnO3/BiFeO3 and La(0.7)Sr(0.3)MnO3/PbZr20Ti80O3 epitaxial heterostructures have been grown on SrTiO3 substrates. Spin wave resonances are used to study interface properties of the ferromagnetic La(0.7)Sr(0.3)MnO3. We find that the addition of the BiFeO3 or PbZr20Ti80O3 causes out-of-plane surface pinning of the La(0.7)Sr(0.3)MnO3. We are able to place new limits on the exchange const… ▽ More La(0.7)Sr(0.3)MnO3/BiFeO3 and La(0.7)Sr(0.3)MnO3/PbZr20Ti80O3 epitaxial heterostructures have been grown on SrTiO3 substrates. Spin wave resonances are used to study interface properties of the ferromagnetic La(0.7)Sr(0.3)MnO3. We find that the addition of the BiFeO3 or PbZr20Ti80O3 causes out-of-plane surface pinning of the La(0.7)Sr(0.3)MnO3. We are able to place new limits on the exchange constant D of La(0.7)Sr(0.3)MnO3 grown on these substrates and confirm the presence of uniaxial and biaxial anisotropies caused by the SrTiO3 substrate. △ Less

Submitted 20 December, 2010; originally announced December 2010.

Comments: 7 pages, 5 figures, 3 tables

Capacitated Vehicle Routing with Non-Uniform Speeds

Authors: Inge Li Gortz, Marco Molinaro, Viswanath Nagarajan, R. Ravi

Abstract: The capacitated vehicle routing problem (CVRP) involves distributing (identical) items from a depot to a set of demand locations, using a single capacitated vehicle. We study a generalization of this problem to the setting of multiple vehicles having non-uniform speeds (that we call Heterogenous CVRP), and present a constant-factor approximation algorithm. The technical heart of our result lies… ▽ More The capacitated vehicle routing problem (CVRP) involves distributing (identical) items from a depot to a set of demand locations, using a single capacitated vehicle. We study a generalization of this problem to the setting of multiple vehicles having non-uniform speeds (that we call Heterogenous CVRP), and present a constant-factor approximation algorithm. The technical heart of our result lies in achieving a constant approximation to the following TSP variant (called Heterogenous TSP). Given a metric denoting distances between vertices, a depot r containing k vehicles with possibly different speeds, the goal is to find a tour for each vehicle (starting and ending at r), so that every vertex is covered in some tour and the maximum completion time is minimized. This problem is precisely Heterogenous CVRP when vehicles are uncapacitated. The presence of non-uniform speeds introduces difficulties for employing standard tour-splitting techniques. In order to get a better understanding of this technique in our context, we appeal to ideas from the 2-approximation for scheduling in parallel machine of Lenstra et al.. This motivates the introduction of a new approximate MST construction called Level-Prim, which is related to Light Approximate Shortest-path Trees. The last component of our algorithm involves partitioning the Level-Prim tree and matching the resulting parts to vehicles. This decomposition is more subtle than usual since now we need to enforce correlation between the size of the parts and their distances to the depot. △ Less

Submitted 8 December, 2010; originally announced December 2010.

When LP is the Cure for Your Matching Woes: Improved Bounds for Stochastic Matchings

Authors: Nikhil Bansal, Anupam Gupta, Jian Li, Julian Mestre, Viswanath Nagarajan, Atri Rudra

Abstract: Consider a random graph model where each possible edge $e$ is present independently with some probability $p_e$. Given these probabilities, we want to build a large/heavy matching in the randomly generated graph. However, the only way we can find out whether an edge is present or not is to query it, and if the edge is indeed present in the graph, we are forced to add it to our matching. Further, e… ▽ More Consider a random graph model where each possible edge $e$ is present independently with some probability $p_e$. Given these probabilities, we want to build a large/heavy matching in the randomly generated graph. However, the only way we can find out whether an edge is present or not is to query it, and if the edge is indeed present in the graph, we are forced to add it to our matching. Further, each vertex $i$ is allowed to be queried at most $t_i$ times. How should we adaptively query the edges to maximize the expected weight of the matching? We consider several matching problems in this general framework (some of which arise in kidney exchanges and online dating, and others arise in modeling online advertisements); we give LP-rounding based constant-factor approximation algorithms for these problems. Our main results are the following: We give a 4 approximation for weighted stochastic matching on general graphs, and a 3 approximation on bipartite graphs. This answers an open question from [Chen etal ICALP 09]. Combining our LP-rounding algorithm with the natural greedy algorithm, we give an improved 3.46 approximation for unweighted stochastic matching on general graphs. We introduce a generalization of the stochastic online matching problem [Feldman etal FOCS 09] that also models preference-uncertainty and timeouts of buyers, and give a constant factor approximation algorithm. △ Less

Submitted 31 August, 2010; originally announced August 2010.

Comments: 26 pages, preliminary version appears in ESA 2010

On Generalizations of Network Design Problems with Degree Bounds

Authors: Nikhil Bansal, Rohit Khandekar, Jochen Konemann, Viswanath Nagarajan, Britta Peis

Abstract: Iterative rounding and relaxation have arguably become the method of choice in dealing with unconstrained and constrained network design problems. In this paper we extend the scope of the iterative relaxation method in two directions: (1) by handling more complex degree constraints in the minimum spanning tree problem (namely, laminar crossing spanning tree), and (2) by incorporating `degree bound… ▽ More Iterative rounding and relaxation have arguably become the method of choice in dealing with unconstrained and constrained network design problems. In this paper we extend the scope of the iterative relaxation method in two directions: (1) by handling more complex degree constraints in the minimum spanning tree problem (namely, laminar crossing spanning tree), and (2) by incorporating `degree bounds' in other combinatorial optimization problems such as matroid intersection and lattice polyhedra. We give new or improved approximation algorithms, hardness results, and integrality gaps for these problems. △ Less

Submitted 3 June, 2010; v1 submitted 15 March, 2010; originally announced March 2010.

Comments: v2, 24 pages, 4 figures

ACM Class: F.2.2

Phase Coexistence Near a Morphotropic Phase Boundary in Sm-doped BiFeO3 Films

Authors: S. B. Emery, C. -J. Cheng, D. Kan, F. J. Rueckert, S. P. Alpay, V. Nagarajan, I. Takeuchi, B. O. Wells

Abstract: We have investigated heteroepitaxial films of Sm-doped BiFeO3 with a Sm-concentration near a morphotropic phase boundary. Our high-resolution synchrotron X-ray diffraction, carried out in a temperature range of 25C to 700C, reveals substantial phase coexistence as one changes temperature to crossover from a low-temperature PbZrO3-like phase to a high-temperature orthorhombic phase. We also examine… ▽ More We have investigated heteroepitaxial films of Sm-doped BiFeO3 with a Sm-concentration near a morphotropic phase boundary. Our high-resolution synchrotron X-ray diffraction, carried out in a temperature range of 25C to 700C, reveals substantial phase coexistence as one changes temperature to crossover from a low-temperature PbZrO3-like phase to a high-temperature orthorhombic phase. We also examine changes due to strain for films greater or less than the critical thickness for misfit dislocation formation. Particularly, we note that thicker films exhibit a substantial volume collapse associated with the structural transition that is suppressed in strained thin films. △ Less

Submitted 15 June, 2010; v1 submitted 11 March, 2010; originally announced March 2010.

Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems

Authors: Anupam Gupta, Viswanath Nagarajan, R. Ravi

Abstract: We consider the problem of constructing optimal decision trees: given a collection of tests which can disambiguate between a set of $m$ possible diseases, each test having a cost, and the a-priori likelihood of the patient having any particular disease, what is a good adaptive strategy to perform these tests to minimize the expected cost to identify the disease? We settle the approximability of th… ▽ More We consider the problem of constructing optimal decision trees: given a collection of tests which can disambiguate between a set of $m$ possible diseases, each test having a cost, and the a-priori likelihood of the patient having any particular disease, what is a good adaptive strategy to perform these tests to minimize the expected cost to identify the disease? We settle the approximability of this problem by giving a tight $O(\log m)$-approximation algorithm. We also consider a more substantial generalization, the Adaptive TSP problem. Given an underlying metric space, a random subset $S$ of cities is drawn from a known distribution, but $S$ is initially unknown to us--we get information about whether any city is in $S$ only when we visit the city in question. What is a good adaptive way of visiting all the cities in the random subset $S$ while minimizing the expected distance traveled? For this problem, we give the first poly-logarithmic approximation, and show that this algorithm is best possible unless we can improve the approximation guarantees for the well-known group Steiner tree problem. △ Less

Submitted 21 April, 2017; v1 submitted 2 March, 2010; originally announced March 2010.

Comments: 28 pages; to appear in Mathematics of Operations Research

When LP is the Cure for Your Matching Woes: Approximating Stochastic Matchings

Authors: Nikhil Bansal, Anupam Gupta, Viswanath Nagarajan, Atri Rudra

Abstract: This results in this paper have been merged with the result in arXiv:1002.3763v1 The authors would like to withdraw this version. Please see arXiv:1008.5356v1 for the merged version. This results in this paper have been merged with the result in arXiv:1002.3763v1 The authors would like to withdraw this version. Please see arXiv:1008.5356v1 for the merged version. △ Less

Submitted 2 September, 2010; v1 submitted 28 February, 2010; originally announced March 2010.

Comments: This paper has been withdrawn due to new merged paper arXiv:1008.5356v1