Euclidean distance geometry and applications

Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in Euclidean space that realizes the given distances. We survey some of the theory of Euclidean distance geometry and some of the most important applications: molecular conformation, localization of sensor networks and statics.Comment: 64 pages, 21 figure

Localization and security algorithms for wireless sensor networks and the usage of signals of opportunity

In this dissertation we consider the problem of localization of wireless devices in environments and applications where GPS (Global Positioning System) is not a viable option. The _x000C_rst part of the dissertation studies a novel positioning system based on narrowband radio frequency (RF) signals of opportunity, and develops near optimum estimation algorithms for localization of a mobile receiver. It is assumed that a reference receiver (RR) with known position is available to aid with the positioning of the mobile receiver (MR). The new positioning system is reminiscent of GPS and involves two similar estimation problems. The _x000C_rst is localization using estimates of time-di_x000B_erence of arrival (TDOA). The second is TDOA estimation based on the received narrowband signals at the RR and the MR. In both cases near optimum estimation algorithms are developed in the sense of maximum likelihood estimation (MLE) under some mild assumptions, and both algorithms compute approximate MLEs in the form of a weighted least-squares (WLS) solution. The proposed positioning system is illustrated with simulation studies based on FM radio signals. The numerical results show that the position errors are comparable to those of other positioning systems, including GPS. Next, we present a novel algorithm for localization of wireless sensor networks (WSNs) called distributed randomized gradient descent (DRGD), and prove that in the case of noise-free distance measurements, the algorithm converges and provides the true location of the nodes. For noisy distance measurements, the convergence properties of DRGD are discussed and an error bound on the location estimation error is obtained. In contrast to several recently proposed methods, DRGD does not require that blind nodes be contained in the convex hull of the anchor nodes, and can accurately localize the network with only a few anchors. Performance of DRGD is evaluated through extensive simulations and compared with three other algorithms, namely the relaxation-based second order cone programming (SOCP), the simulated annealing (SA), and the semi-de_x000C_nite programing (SDP) procedures. Similar to DRGD, SOCP and SA are distributed algorithms, whereas SDP is centralized. The results show that DRGD successfully localizes the nodes in all the cases, whereas in many cases SOCP and SA fail. We also present a modi_x000C_cation of DRGD for mobile WSNs and demonstrate the e_x000E_cacy of DRGD for localization of mobile networks with several simulation results. We then extend this method for secure localization in the presence of outlier distance measurements or distance spoo_x000C_ng attacks. In this case we present a centralized algorithm to estimate the position of the nodes in WSNs, where outlier distance measurements may be present

Measurement-based quantum computation beyond the one-way model

We introduce novel schemes for quantum computing based on local measurements on entangled resource states. This work elaborates on the framework established in [Phys. Rev. Lett. 98, 220503 (2007), quant-ph/0609149]. Our method makes use of tools from many-body physics - matrix product states, finitely correlated states or projected entangled pairs states - to show how measurements on entangled states can be viewed as processing quantum information. This work hence constitutes an instance where a quantum information problem - how to realize quantum computation - was approached using tools from many-body theory and not vice versa. We give a more detailed description of the setting, and present a large number of new examples. We find novel computational schemes, which differ from the original one-way computer for example in the way the randomness of measurement outcomes is handled. Also, schemes are presented where the logical qubits are no longer strictly localized on the resource state. Notably, we find a great flexibility in the properties of the universal resource states: They may for example exhibit non-vanishing long-range correlation functions or be locally arbitrarily close to a pure state. We discuss variants of Kitaev's toric code states as universal resources, and contrast this with situations where they can be efficiently classically simulated. This framework opens up a way of thinking of tailoring resource states to specific physical systems, such as cold atoms in optical lattices or linear optical systems.Comment: 21 pages, 7 figure

The Inhuman Overhang: On Differential Heterogenesis and Multi-Scalar Modeling

As a philosophical paradigm, differential heterogenesis offers us a novel descriptive vantage with which to inscribe Deleuze’s virtuality within the terrain of “differential becoming,” conjugating “pure saliences” so as to parse economies, microhistories, insurgencies, and epistemological evolutionary processes that can be conceived of independently from their representational form. Unlike Gestalt theory’s oppositional constructions, the advantage of this aperture is that it posits a dynamic context to both media and its analysis, rendering them functionally tractable and set in relation to other objects, rather than as sedentary identities. Surveying the genealogy of differential heterogenesis with particular interest in the legacy of Lautman’s dialectic, I make the case for a reading of the Deleuzean virtual that departs from an event-oriented approach, galvanizing Sarti and Citti’s dynamic a priori vis-à-vis Deleuze’s philosophy of difference. Specifically, I posit differential heterogenesis as frame with which to examine our contemporaneous epistemic shift as it relates to multi-scalar computational modeling while paying particular attention to neuro-inferential modes of inductive learning and homologous cognitive architecture. Carving a bricolage between Mark Wilson’s work on the “greediness of scales” and Deleuze’s “scales of reality”, this project threads between static ecologies and active externalism vis-à-vis endocentric frames of reference and syntactical scaffolding

Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies

This dissertation is about control, identification, and analysis of systems with sparse interconnection topologies. We address two main research objectives relating to sparsity in control systems and networks. The first problem is optimal sparse controller synthesis, and the second one is the identification of sparse network. The first part of this dissertation starts with the chapter focusing on developing theoretical frameworks for the synthesis of optimal sparse output feedback controllers under pre-specified structural constraints. This is achieved by establishing a balance between the stability of the controller and the systems quadratic performance. Our approach is mainly based on converting the problem into rank constrained optimizations.We then propose a new approach in the syntheses of sparse controllers by em- ploying the concept of Hp approximations. Considering the trade-off between the controller sparsity and the performance deterioration due to the sparsification pro- cess, we propose solving methodologies in order to obtain robust sparse controllers when the system is subject to parametric uncertainties.Next, we pivot our attention to a less-studied notion of sparsity, namely row sparsity, in our optimal controller design. Combining the concepts from the majorization theory and our proposed rank constrained formulation, we propose an exact reformulation of the optimal state feedback controllers with strict row sparsity constraint, which can be sub-optimally solved by our proposed iterative optimization techniques. The second part of this dissertation focuses on developing a theoretical framework and algorithms to derive linear ordinary differential equation models of gene regulatory networks using literature curated data and micro-array data. We propose several algorithms to derive stable sparse network matrices. A thorough comparison of our algorithms with the existing methods are also presented by applying them to both synthetic and experimental data-sets

Towards Robust Partially Supervised Multi-Structure Medical Image Segmentation on Small-Scale Data

The data-driven nature of deep learning (DL) models for semantic segmentation requires a large number of pixel-level annotations. However, large-scale and fully labeled medical datasets are often unavailable for practical tasks. Recently, partially supervised methods have been proposed to utilize images with incomplete labels in the medical domain. To bridge the methodological gaps in partially supervised learning (PSL) under data scarcity, we propose Vicinal Labels Under Uncertainty (VLUU), a simple yet efficient framework utilizing the human structure similarity for partially supervised medical image segmentation. Motivated by multi-task learning and vicinal risk minimization, VLUU transforms the partially supervised problem into a fully supervised problem by generating vicinal labels. We systematically evaluate VLUU under the challenges of small-scale data, dataset shift, and class imbalance on two commonly used segmentation datasets for the tasks of chest organ segmentation and optic disc-and-cup segmentation. The experimental results show that VLUU can consistently outperform previous partially supervised models in these settings. Our research suggests a new research direction in label-efficient deep learning with partial supervision.Comment: Accepted by Applied Soft Computin

A System Level Approach to Optimal Controller Design for Large-Scale Distributed Systems

Modern cyber-physical systems, such as the smart grid, software-defined networks, and automated highway systems, are large-scale, physically distributed, and interconnected. The scale of these systems poses fundamental challenges for controller design: the traditional optimal control methods are globally centralized, which require solving a large-scale optimization problem with the knowledge of the global plant model, and collecting global measurement instantaneously during implementation. The ultimate goal of distributed control design is to provide a local, distributed, scalable, and coordinated control scheme to achieve centralized control objectives with nearly global transient optimality. This dissertation provides a novel theoretical and computational contribution to the area of constrained linear optimal control, with a particular emphasis on addressing the scalability of controller design and implementation for large-scale distributed systems. Our approach provides a fundamental rethinking of controller design: we extend a control design problem to a system level design problem, where we directly optimize the desired closed loop behavior of the feedback system. We show that many traditional topics in the optimal control literature, including the parameterization of stabilizing controller and the synthesis of centralized and distributed controller, can all be cast as a special case of a system level design problem. The system level approach therefore unifies many existing results in the field of distributed optimal control, and solves many previously open problems. Our system level approach has at least the following four technical merits. First, we characterize the broadest known class of constrained linear optimal control problem that admits a convex formulation. Specifically, we show that the set of convex system level design problems is a strict superset of those that can be parameterized using quadratic invariance. Second, we identify a class of system level design problems, which we called the localized optimal control problems, that are scalable to arbitrary large-scale systems. In particular, the parallel synthesis and implementation complexity of the localized optimal controller are O(1) compared to the size of the networked system. Third, we provide a unified framework to simultaneously incorporate user-specified design specification on the closed loop and the hardware implementation constraints on the controller into the optimal controller design process. Lastly, we provide a system level approach that supports the co-design of optimal controller and its sensing and actuating architecture. We demonstrate the effectiveness of our method on a 51200-state randomized heterogeneous power network model, and show that the system level approach provides superior scalability over the centralized and distributed method. For such a large-scale example, the theoretical computation time for the centralized scheme is more than 200 days, and the distributed optimal control scheme is intractable. In contrast, it only takes 38 minutes to synthesize a localized optimal controller that achieves at least 99% global optimality guarantee.</p