161 research outputs found
Optimal quantum state reconstruction for cold trapped ions
We study the physical implementation of an optimal tomographic reconstruction
scheme for the case of determining the state of a multi-qubit system, where
trapped ions are used for defining qubits. The protocol is based on the use of
mutually unbiased measurements and on the physical information described in H.
H\"{a}ffner \emph{et. al} [Nature \textbf{438}, 643-646 (2005)]. We introduce
the concept of physical complexity for different types of unbiased measurements
and analyze their generation in terms of one and two qubit gates for trapped
ions.Comment: Accepted for publication in Phys. Rev. A as Rap. Com
Infinitely many cyclic solutions to the Hamilton-Waterloo problem with odd length cycles
It is conjectured that for every pair of odd integers greater than
2 with , there exists a cyclic two-factorization of
having exactly factors of type and all the
others of type . The authors prove the conjecture in the affirmative
when and .Comment: 31 page
Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees
Greedy optimization methods such as Matching Pursuit (MP) and Frank-Wolfe
(FW) algorithms regained popularity in recent years due to their simplicity,
effectiveness and theoretical guarantees. MP and FW address optimization over
the linear span and the convex hull of a set of atoms, respectively. In this
paper, we consider the intermediate case of optimization over the convex cone,
parametrized as the conic hull of a generic atom set, leading to the first
principled definitions of non-negative MP algorithms for which we give explicit
convergence rates and demonstrate excellent empirical performance. In
particular, we derive sublinear () convergence on general
smooth and convex objectives, and linear convergence () on
strongly convex objectives, in both cases for general sets of atoms.
Furthermore, we establish a clear correspondence of our algorithms to known
algorithms from the MP and FW literature. Our novel algorithms and analyses
target general atom sets and general objective functions, and hence are
directly applicable to a large variety of learning settings.Comment: NIPS 201
A constructive solution to the Oberwolfach Problem with a large cycle
For every -regular graph of order , the Oberwolfach problem
asks whether there is a -factorization of ( odd) or minus a
-factor ( even) into copies of . Posed by Ringel in 1967 and
extensively studied ever since, this problem is still open. In this paper we
construct solutions to whenever contains a cycle of length greater
than an explicit lower bound. Our constructions combine the
amalgamation-detachment technique with methods aimed at building
-factorizations with an automorphism group having a nearly-regular action on
the vertex-set.Comment: 11 page
A survey on constructive methods for the Oberwolfach problem and its variants
The generalized Oberwolfach problem asks for a decomposition of a graph
into specified 2-regular spanning subgraphs , called factors.
The classic Oberwolfach problem corresponds to the case when all of the factors
are pairwise isomorphic, and is the complete graph of odd order or the
complete graph of even order with the edges of a -factor removed. When there
are two possible factor types, it is called the Hamilton-Waterloo problem.
In this paper we present a survey of constructive methods which have allowed
recent progress in this area. Specifically, we consider blow-up type
constructions, particularly as applied to the case when each factor consists of
cycles of the same length. We consider the case when the factors are all
bipartite (and hence consist of even cycles) and a method for using circulant
graphs to find solutions. We also consider constructions which yield solutions
with well-behaved automorphisms.Comment: To be published in the Fields Institute Communications book series.
23 pages, 2 figure
GPU-accelerated discontinuous Galerkin methods on hybrid meshes
We present a time-explicit discontinuous Galerkin (DG) solver for the
time-domain acoustic wave equation on hybrid meshes containing vertex-mapped
hexahedral, wedge, pyramidal and tetrahedral elements. Discretely energy-stable
formulations are presented for both Gauss-Legendre and Gauss-Legendre-Lobatto
(Spectral Element) nodal bases for the hexahedron. Stable timestep restrictions
for hybrid meshes are derived by bounding the spectral radius of the DG
operator using order-dependent constants in trace and Markov inequalities.
Computational efficiency is achieved under a combination of element-specific
kernels (including new quadrature-free operators for the pyramid), multi-rate
timestepping, and acceleration using Graphics Processing Units.Comment: Submitted to CMAM
- …