10,162 research outputs found
Graph Connectivity in Noisy Sparse Subspace Clustering
Subspace clustering is the problem of clustering data points into a union of
low-dimensional linear/affine subspaces. It is the mathematical abstraction of
many important problems in computer vision, image processing and machine
learning. A line of recent work (4, 19, 24, 20) provided strong theoretical
guarantee for sparse subspace clustering (4), the state-of-the-art algorithm
for subspace clustering, on both noiseless and noisy data sets. It was shown
that under mild conditions, with high probability no two points from different
subspaces are clustered together. Such guarantee, however, is not sufficient
for the clustering to be correct, due to the notorious "graph connectivity
problem" (15). In this paper, we investigate the graph connectivity problem for
noisy sparse subspace clustering and show that a simple post-processing
procedure is capable of delivering consistent clustering under certain "general
position" or "restricted eigenvalue" assumptions. We also show that our
condition is almost tight with adversarial noise perturbation by constructing a
counter-example. These results provide the first exact clustering guarantee of
noisy SSC for subspaces of dimension greater then 3.Comment: 14 pages. To appear in The 19th International Conference on
Artificial Intelligence and Statistics, held at Cadiz, Spain in 201
Reeh-Schlieder Defeats Newton-Wigner: On alternative localization schemes in relativistic quantum field theory
Many of the "counterintuitive" features of relativistic quantum field theory
have their formal root in the Reeh-Schlieder theorem, which in particular
entails that local operations applied to the vacuum state can produce any state
of the entire field. It is of great interest, then, that I.E. Segal and, more
recently, G. Fleming (in a paper entitled "Reeh-Schlieder Meets Newton-Wigner")
have proposed an alternative "Newton-Wigner" localization scheme that avoids
the Reeh-Schlieder theorem. In this paper, I reconstruct the Newton-Wigner
localization scheme and clarify the limited extent to which it avoids the
counterintuitive consequences of the Reeh-Schlieder theorem. I also argue that
neither Segal nor Fleming has provided a coherent account of the physical
meaning of Newton-Wigner localization.Comment: 25 pages, LaTe
Finiteness properties of cubulated groups
We give a generalized and self-contained account of Haglund-Paulin's
wallspaces and Sageev's construction of the CAT(0) cube complex dual to a
wallspace. We examine criteria on a wallspace leading to finiteness properties
of its dual cube complex. Our discussion is aimed at readers wishing to apply
these methods to produce actions of groups on cube complexes and understand
their nature. We develop the wallspace ideas in a level of generality that
facilitates their application.
Our main result describes the structure of dual cube complexes arising from
relatively hyperbolic groups. Let H_1,...,H_s be relatively quasiconvex
codimension-1 subgroups of a group G that is hyperbolic relative to
P_1,...,P_r. We prove that G acts relatively cocompactly on the associated dual
CAT(0) cube complex C. This generalizes Sageev's result that C is cocompact
when G is hyperbolic. When P_1,...,P_r are abelian, we show that the dual
CAT(0) cube complex C has a G-cocompact CAT(0) truncation.Comment: 58 pages, 12 figures. Version 3: Revisions and slightly improved
results in Sections 7 and 8. Several theorem numbers have changed from the
previous versio
Invariant Modules and the Reduction of Nonlinear Partial Differential Equations to Dynamical Systems
We completely characterize all nonlinear partial differential equations
leaving a given finite-dimensional vector space of analytic functions
invariant. Existence of an invariant subspace leads to a re duction of the
associated dynamical partial differential equations to a system of ordinary
differential equations, and provide a nonlinear counterpart to quasi-exactly
solvable quantum Hamiltonians. These results rely on a useful extension of the
classical Wronskian determinant condition for linear independence of functions.
In addition, new approaches to the characterization o f the annihilating
differential operators for spaces of analytic functions are presented.Comment: 28 pages. To appear in Advances in Mathematic
Geometric approach to error correcting codes and reconstruction of signals
We develop an approach through geometric functional analysis to error
correcting codes and to reconstruction of signals from few linear measurements.
An error correcting code encodes an n-letter word x into an m-letter word y in
such a way that x can be decoded correctly when any r letters of y are
corrupted. We prove that most linear orthogonal transformations Q from R^n into
R^m form efficient and robust robust error correcting codes over reals. The
decoder (which corrects the corrupted components of y) is the metric projection
onto the range of Q in the L_1 norm. An equivalent problem arises in signal
processing: how to reconstruct a signal that belongs to a small class from few
linear measurements? We prove that for most sets of Gaussian measurements, all
signals of small support can be exactly reconstructed by the L_1 norm
minimization. This is a substantial improvement of recent results of Donoho and
of Candes and Tao. An equivalent problem in combinatorial geometry is the
existence of a polytope with fixed number of facets and maximal number of
lower-dimensional facets. We prove that most sections of the cube form such
polytopes.Comment: 17 pages, 3 figure
A composition theorem for parity kill number
In this work, we study the parity complexity measures
and .
is the \emph{parity kill number} of , the
fewest number of parities on the input variables one has to fix in order to
"kill" , i.e. to make it constant. is the depth
of the shortest \emph{parity decision tree} which computes . These
complexity measures have in recent years become increasingly important in the
fields of communication complexity \cite{ZS09, MO09, ZS10, TWXZ13} and
pseudorandomness \cite{BK12, Sha11, CT13}.
Our main result is a composition theorem for .
The -th power of , denoted , is the function which results
from composing with itself times. We prove that if is not a parity
function, then In other words, the parity kill number of
is essentially supermultiplicative in the \emph{normal} kill number of
(also known as the minimum certificate complexity).
As an application of our composition theorem, we show lower bounds on the
parity complexity measures of and . Here is the sort function due to Ambainis \cite{Amb06},
and is Kushilevitz's hemi-icosahedron function \cite{NW95}. In
doing so, we disprove a conjecture of Montanaro and Osborne \cite{MO09} which
had applications to communication complexity and computational learning theory.
In addition, we give new lower bounds for conjectures of \cite{MO09,ZS10} and
\cite{TWXZ13}
An Integral Spectral Representation of the Propagator for the Wave Equation in the Kerr Geometry
We consider the scalar wave equation in the Kerr geometry for Cauchy data
which is smooth and compactly supported outside the event horizon. We derive an
integral representation which expresses the solution as a superposition of
solutions of the radial and angular ODEs which arise in the separation of
variables. In particular, we prove completeness of the solutions of the
separated ODEs.
This integral representation is a suitable starting point for a detailed
analysis of the long-time dynamics of scalar waves in the Kerr geometry.Comment: 41 pages, 4 figures, minor correction
- âŠ