2,637 research outputs found
Efficient Contact State Graph Generation for Assembly Applications
An important aspect in the design of many automated assembly strategies is the ability to automatically generate the set of contact states that may occur during an assembly task. In this paper, we present an efficient means of constructing the set of all geometrically feasible contact states that may occur within a bounded set of misalignments (bounds determined by robot inaccuracy). This set is stored as a graph, referred to as an Assembly Contact State Graph (ACSG), which indicates neighbor relationships between feasible states. An ACSG is constructed without user intervention in two stages. In the first stage, all hypothetical primitive principle contacts (PPCs; all contact states allowing 5 degrees of freedom) are evaluated for geometric feasibility with respect to part-imposed and robot-imposed restrictions on relative positioning (evaluated using optimization). In the second stage, the feasibility of each of the various combinations of PPCs is efficiently evaluated, first using topological existence and uniqueness criteria, then using part-imposed and robot-imposed geometric criteria
DeepSecure: Scalable Provably-Secure Deep Learning
This paper proposes DeepSecure, a novel framework that enables scalable
execution of the state-of-the-art Deep Learning (DL) models in a
privacy-preserving setting. DeepSecure targets scenarios in which neither of
the involved parties including the cloud servers that hold the DL model
parameters or the delegating clients who own the data is willing to reveal
their information. Our framework is the first to empower accurate and scalable
DL analysis of data generated by distributed clients without sacrificing the
security to maintain efficiency. The secure DL computation in DeepSecure is
performed using Yao's Garbled Circuit (GC) protocol. We devise GC-optimized
realization of various components used in DL. Our optimized implementation
achieves more than 58-fold higher throughput per sample compared with the
best-known prior solution. In addition to our optimized GC realization, we
introduce a set of novel low-overhead pre-processing techniques which further
reduce the GC overall runtime in the context of deep learning. Extensive
evaluations of various DL applications demonstrate up to two
orders-of-magnitude additional runtime improvement achieved as a result of our
pre-processing methodology. This paper also provides mechanisms to securely
delegate GC computations to a third party in constrained embedded settings
Cnot circuit extraction for topologically-constrained quantum memories
Funding Information: We gratefully acknowledge support from the Unitary Fund (http://unitary.fund) for this work. We would also like to thank Will Zeng, Ross Duncan, and John van de Wetering for fruitful discussions about circuit mapping for NISQ as well as the authors of [22] for clarifying some points about their approach. Publisher Copyright: © Rinton Press.Many physical implementations of quantum computers impose stringent memory constraints in which 2-qubit operations can only be performed between qubits which are nearest neighbours in a lattice or graph structure. Hence, before a computation can be run on such a device, it must be mapped onto the physical architecture. That is, logical qubits must be assigned physical locations in the quantum memory, and the circuit must be replaced by an equivalent one containing only operations between nearest neighbours. In this paper, we give a new technique for quantum circuit mapping (a.k.a. routing), based on Gaussian elimination constrained to certain optimal spanning trees called Steiner trees. We give a reference implementation of the technique for CNOT circuits and show that it significantly out-performs general-purpose routines on CNOT circuits. We then comment on how the technique can be extended straightforwardly to the synthesis of CNOT+Rz circuits and as a modification to a recently-proposed circuit simplification/extraction procedure for generic circuits based on the ZX-calculus.Peer reviewe
Cnot circuit extraction for topologically-constrained quantum memories
Funding Information: We gratefully acknowledge support from the Unitary Fund (http://unitary.fund) for this work. We would also like to thank Will Zeng, Ross Duncan, and John van de Wetering for fruitful discussions about circuit mapping for NISQ as well as the authors of [22] for clarifying some points about their approach. Publisher Copyright: © Rinton Press.Many physical implementations of quantum computers impose stringent memory constraints in which 2-qubit operations can only be performed between qubits which are nearest neighbours in a lattice or graph structure. Hence, before a computation can be run on such a device, it must be mapped onto the physical architecture. That is, logical qubits must be assigned physical locations in the quantum memory, and the circuit must be replaced by an equivalent one containing only operations between nearest neighbours. In this paper, we give a new technique for quantum circuit mapping (a.k.a. routing), based on Gaussian elimination constrained to certain optimal spanning trees called Steiner trees. We give a reference implementation of the technique for CNOT circuits and show that it significantly out-performs general-purpose routines on CNOT circuits. We then comment on how the technique can be extended straightforwardly to the synthesis of CNOT+Rz circuits and as a modification to a recently-proposed circuit simplification/extraction procedure for generic circuits based on the ZX-calculus.Peer reviewe
Are there laws of genome evolution?
Research in quantitative evolutionary genomics and systems biology led to the
discovery of several universal regularities connecting genomic and molecular
phenomic variables. These universals include the log-normal distribution of the
evolutionary rates of orthologous genes; the power law-like distributions of
paralogous family size and node degree in various biological networks; the
negative correlation between a gene's sequence evolution rate and expression
level; and differential scaling of functional classes of genes with genome
size. The universals of genome evolution can be accounted for by simple
mathematical models similar to those used in statistical physics, such as the
birth-death-innovation model. These models do not explicitly incorporate
selection, therefore the observed universal regularities do not appear to be
shaped by selection but rather are emergent properties of gene ensembles.
Although a complete physical theory of evolutionary biology is inconceivable,
the universals of genome evolution might qualify as 'laws of evolutionary
genomics' in the same sense 'law' is understood in modern physics.Comment: 17 pages, 2 figure
Selective Control of Surface Spin Current in Topological Materials based on Pyrite-type OsX2 (X = Se, Te) Crystals
Topological materials host robust surface states, which could form the basis
for future electronic devices. As such states have spins that are locked to the
momentum, they are of particular interest for spintronic applications.
Understanding spin textures of the surface states of topologically nontrivial
materials, and being able to manipulate their polarization, is therefore
essential if they are to be utilized in future technologies. Here we use
first-principles calculations to show that pyrite-type crystals OsX2 (X= Se,
Te) are a class of topological material that can host surface states with spin
polarization that can be either in-plane or out-of-plane. We show that the
formation of low-energy states with symmetry-protected energy- and
direction-dependent spin textures on the (001) surface of these materials is a
consequence of a transformation from a topologically trivial to nontrivial
state, induced by spin orbit interactions. The unconventional spin textures of
these surface states feature an in-plane to out-of-plane spin polarization
transition in the momentum space protected by local symmetries. Moreover, the
surface spin direction and magnitude can be selectively filtered in specific
energy ranges. Our demonstration of a new class of topological material with
controllable spin textures provide a platform for experimentalists to detect
and exploit unconventional surface spin textures in future spin-based
nanoelectronic devices
Topology by Design in Magnetic nano-Materials: Artificial Spin Ice
Artificial Spin Ices are two dimensional arrays of magnetic, interacting
nano-structures whose geometry can be chosen at will, and whose elementary
degrees of freedom can be characterized directly. They were introduced at first
to study frustration in a controllable setting, to mimic the behavior of spin
ice rare earth pyrochlores, but at more useful temperature and field ranges and
with direct characterization, and to provide practical implementation to
celebrated, exactly solvable models of statistical mechanics previously devised
to gain an understanding of degenerate ensembles with residual entropy. With
the evolution of nano--fabrication and of experimental protocols it is now
possible to characterize the material in real-time, real-space, and to realize
virtually any geometry, for direct control over the collective dynamics. This
has recently opened a path toward the deliberate design of novel, exotic
states, not found in natural materials, and often characterized by topological
properties. Without any pretense of exhaustiveness, we will provide an
introduction to the material, the early works, and then, by reporting on more
recent results, we will proceed to describe the new direction, which includes
the design of desired topological states and their implications to kinetics.Comment: 29 pages, 13 figures, 116 references, Book Chapte
- …