August 2012
4 tags
The Super Robustness of Maximum Likelihood... →
Authors: Qinghuai Gao
We proof that statistically, the maximum likelihood location estimator of
exponential power distribution is strict super robust, when p < 1.
4 tags
Implementing Access Control Markov Decision... →
Authors: Charles Morisset
In a recent approach, we proposed to model an access control mechanism as a
Markov Decision Process, thus claiming that in order to make an access control
decision, one can use well-defined mechanisms from decision theory. We present
in this paper an implementation of such mechanism, using the open-source solver
GLPK, and we model the problem in the GMPL language. We...
4 tags
Optimal Spectrum Access for Cognitive Radios. →
Authors: Ahmed El Shafie
In this paper, we investigate a time-slotted cognitive setting with buffered
primary and secondary users. In order to alleviate the negative effects of
misdetection and false alarm probabilities, a novel design of spectrum access
mechanism is proposed. We propose two schemes. First, the SU senses primary
channel to exploit the periods of silence, if the PU is declared...
4 tags
Delay-Doppler Channel Estimation with Almost... →
Authors: Alexander Fish, Shamgar Gurevich, Ronny Hadani, Akbar Sayeed, Oded Schwartz
A fundamental task in wireless communication is Channel Estimation: Compute
the channel parameters a signal undergoes while traveling from a transmitter to
a receiver. In the case of delay-Doppler channel, a widely used method is the
Matched Filter algorithm. It uses a pseudo-random sequence of length N, and,...
4 tags
Lifted Variable Elimination: A Novel Operator and... →
Authors: Nima Taghipour, Daan Fierens, Guy Van den Broeck, Jesse Davis, Hendrik Blockeel
Various methods for lifted probabilistic inference have been proposed, but
our understanding of these methods and the relationships between them is still
limited, compared to their propositional counterparts. The only existing
theoretical characterization of lifting is for weighted first-order...
4 tags
On Achievable Degrees of Freedom for MIMO X... →
Authors: Lu Yang, Wei Zhang
In this paper, the achievable DoF of MIMO X channels for constant channel
coefficients with antennas at transmitter and antennas at
receiver () is studied. A spatial interference alignment and
cancelation scheme is proposed to achieve the maximum DoF of the MIMO X
channels. The scenario of is first considered and
divided into 3 cases, (Case ),
(Case ), and ...
4 tags
Integer factoring and modular square roots. →
Authors: Emil Jeřábek
Buresh-Oppenheim proved that the NP search problem to find nontrivial factors
of integers of a special form belongs to Papadimitriou’s class PPA, and is
probabilistically reducible to a problem in PPP. In this paper, we use ideas
from bounded arithmetic to extend these results to arbitrary integers. We show
that general integer factoring is...
4 tags
Computing Lempel-Ziv Factorization Online. →
Authors: Tatiana Starikovskaya
We present an algorithm which computes the Lempel-Ziv factorization of a word
W of length n on an alphabet {\Sigma} of size {\sigma} online in the following
sense: it reads W starting from the left, and, after reading each r =
O(log_{\sigma} n) characters of W, updates the Lempel-Ziv factorization. The
algorithm requires O(n log\sigma) bits of space and O(n log^2...
4 tags
C-Codes: Cyclic Lowest-Density MDS Array Codes... →
Authors: Mingqiang Li, Jiwu Shu
The distance-3 cyclic lowest-density MDS array code (called the C-Code) is a
good candidate for RAID 6 because of its optimal storage efficiency, optimal
update complexity, optimal length, and cyclic symmetry. In this paper, the
underlying connections between C-Codes (or quasi-C-Codes) and starters in group
theory are revealed. It is shown that each C-Code (or...
4 tags
The Mysterious Optimality of Naive Bayes:... →
Authors: Oleg Kupervasser, Alexsander Vardy
Bayes Classifiers are widely used currently for recognition, identification
and knowledge discovery. The fields of application are, for example, image
processing, medicine, chemistry (QSAR). But by mysterious way the Naive Bayes
Classifier usually gives a very nice and good presentation of a recognition. It
can not be improved considerably by more...
4 tags
On the existence of a neutral region. →
Authors: Daniel Reem
Consider a given space, e.g., the Euclidean plane, and its decomposition into
Voronoi regions induced by given sites. It seems intuitively clear that each
point in the space belongs to at least one of the regions, i.e., no neutral
region can exist. As simple counterexamples show this is not true in general,
but we present a simple necessary and sufficient condition ensuring...
4 tags
Defense against SYN-Flood Denial of Service... →
Authors: Masoud Bekravi, Shahram Jamali, Gholam Shaker
SYN-flooding attack uses the weakness available in TCP’s three-way handshake
process to keep it from handling legitimate requests. This attack causes the
victim host to populate its backlog queue with forged TCP connections. In other
words it increases Ploss (probability of loss) and Pa (buffer occupancy
percentage of attack requests)...
4 tags
Brain-Computer Interface Controlled Robotic Gait... →
Authors: An H. Do, Po T. Wang, Christine E. King, Sophia N. Chun, Zoran Nenadic
An able-bodied subject used walking motor imagery to accurately operate a
non-invasive brain-computer interface (BCI) controlled robotic gait orthosis.
This finding represents the first successful demonstration of a BCI-controlled
lower extremity prosthesis for independent ambulation, with significant
implications...
4 tags
Computing Topological Persistence for Simplicial... →
Authors: Tamal K. Dey, Fengtao Fan, Yusu Wang
Algorithms for persistent homology and zigzag persistent homology are well
studied for homology modules where homomorphisms are induced by inclusion maps.
However, the same is not true for homomorphisms induced by other continuous
maps such as simplicial ones. In this paper, we propose a practical algorithm
for computing persistence and zigzag...
4 tags
WESD - Weighted Spectral Distance for Measuring... →
Authors: Ender Konukoglu, Ben Glocker, Antonio Criminisi, Kilian M. Pohl
This article presents a new distance for measuring shape dissimilarity
between objects. Recent publications introduced the use of eigenvalues of the
Laplace operator as compact shape descriptors. Here, we revisit the eigenvalues
to define a proper distance, called Weighted Spectral Distance (WESD), for
quantifying shape...
4 tags
Precoder Design for Orthogonal Space-Time Block... →
Authors: Abdelwaheb Marzouki, Xin Jin
The spectrum sharing has recently passed into a mainstream Cognitive Radio
(CR) strategy. We investigate the core issue in this strategy: interference
mitigation at Primary Receiver (PR).We propose a linear precoder design which
aims at alleviating the interference caused by Secondary User (SU) from the
source for Orthogonal Space-Time Block Coding (OSTBC)...
4 tags
Identification of Probabilities of Languages. →
Authors: Paul M. B. Vitanyi (CWI and University of Amsterdam), Nick Chater (Behavioural Science Group, Warwick Business School, University of Warwick)
We consider the problem of inferring the probability distribution associated
with a language, given data consisting of an infinite sequence of elements of
the languge. We do this under two assumptions on the algorithms concerned: (i)
like a...
4 tags
A Note on Limited Pushdown Alphabets in Stateless... →
Authors: Tomáš Masopust
Recently, an infinite hierarchy of languages accepted by stateless
deterministic pushdown automata has been established based on the number of
pushdown symbols. However, the witness language for the n-th level of the
hierarchy is over an input alphabet with 2(n-1) elements. In this paper, we
improve this result by showing that a binary alphabet is...
4 tags
Expressive Completeness of Metric Temporal Logic. →
Authors: Paul Hunter, Joël Ouaknine, James Worrell
Metric Temporal Logic (MTL) is a generalisation of Linear Tem- poral Logic in
which the Until and Since modalities are annotated with intervals that express
metric constraints. In this paper we show that over the non-negative reals MTL
has the same expressive power as monadic first-order logic with binary order
relation and an...
4 tags
Approximating the partition function of planar... →
Authors: Leslie Ann Goldberg, Mark Jerrum, Colin McQuillan
We consider the problem of approximating the partition function of the
hard-core model on planar graphs of degree at most 4. We show that when the
activity lambda is sufficiently large, there is no fully polynomial randomised
approximation scheme for evaluating the partition function unless NP=RP. The
result extends to a nearby region...
4 tags
Parallel ACO with a Ring Neighborhood for Dynamic... →
Authors: Camelia-M. Pintea, Gloria Cerasela Crisan, Mihai Manea
The current paper introduces a new parallel computing technique based on ant
colony optimization for a dynamic routing problem. In the dynamic traveling
salesman problem the distances between cities as travel times are no longer
fixed. The new technique uses a parallel model for a problem variant that
allows a slight movement of...
4 tags
A Unifying Survey of Reinforced, Sensitive and... →
Authors: Camelia-M. Pintea
The Generalized Traveling Salesman Problem (GTSP) is one of the NP-hard
combinatorial optimization problems. A variant of GTSP is E-GTSP where E,
meaning equality, has the constraint: exactly one node from a cluster of a
graph partition is visited. The main objective of the E-GTSP is to find a
minimum cost tour passing through exactly one node from each cluster of...
4 tags
Undecidable First-Order Theories of Affine... →
Authors: Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Tarski initiated a logic-based approach to formal geometry that studies
first-order structures with a ternary betweenness relation (\beta) and a
quaternary equidistance relation (\equiv). Tarski established, inter alia, that
the first-order (FO) theory of (R^2,\beta,\equiv) is decidable. Aiello and van
Benthem (2002) conjectured that the...
4 tags
Efficient Private Distributed Computation on... →
Authors: Shlomi Dolev, Juan Garay, Niv Gilboa, Vladimir Kolesnikov, Yelena Yuditsky
In the problem of swarm computing, agents wish to securely and
distributively perform a computation on common inputs, in such a way that even
if the entire memory contents of some of them are exposed, no information is
revealed about the state of the computation. Recently, Dolev, Garay, Gilboa and
Kolesnikov...
4 tags
The Effect of Macrodiversity on the Performance of... →
Authors: Dushyantha A. Basnayaka, Peter J. Smith, Philippa A. Martin
The performance of maximal ratio combining (MRC) in Rayleigh channels with
co-channel interference (CCI) is well-known for receive arrays which are
co-located. Recent work in network MIMO, edge-excited cells and base station
collaboration is increasing interest in macrodiversity systems. Hence, in this
paper we consider the...
4 tags
Broadcast Gossip Algorithms for Consensus on... →
Authors: Wu Shaochuan, Michael G. Rabbat
We study a general framework for broadcast gossip algorithms which use
companion variables to solve the average consensus problem. Each node maintains
an initial state and a companion variable. Iterative updates are performed
asynchronously whereby one random node broadcasts its current state and
companion variable and all other nodes receiving the...
4 tags
PIRATTE: Proxy-based Immediate Revocation of... →
Authors: Sonia Jahid, Nikita Borisov
Access control to data in traditional enterprises is typically enforced
through reference monitors. However, as more and more enterprise data is
outsourced, trusting third party storage servers is getting challenging. As a
result, cryptography, specifically Attribute-based encryption (ABE) is getting
popular for its expressiveness. The challenge of ABE is...
4 tags
User Manual for the Complex Conjugate Gradient... →
Authors: Piotr J. Flatau
This manual describes the library of conjugate gradients codes CCGPAK, which
solves system of complex linear system of equations. The library is written in
FORTRAN90 and is highly portable. The codes are general and provide mechanism
for matrix times vector multiplication which is separated from the conjugate
gradient iterations itself. It is simple to switch between...
4 tags
Parameter-independent Iterative Approximate... →
Authors: Lewis Tseng, Nitin H. Vaidya
In this work, we explore iterative approximate Byzantine consensus algorithms
that do not make explicit use of the global parameter of the graph, i.e., the
upper-bound on the number of faults, f.
4 tags
The Segmentation Fusion Method On10 Multi-Sensors.... →
Authors: Firouz Abdullah Al-Wassai, N. V. Kalyankar
The most significant problem may be undesirable effects for the spectral
signatures of fused images as well as the benefits of using fused images mostly
compared to their source images were acquired at the same time by one sensor.
They may or may not be suitable for the fusion of other images. It becomes
therefore increasingly important to...
4 tags
Supersymmetry of classical solutions in... →
Authors: Shouvik Datta, Justin R. David
We construct and study classical solutions in Chern-Simons supergravity based
on the superalgebra sl(N|N-1). The algebra for the N=3 case is written down
explicitly using the fact that it arises as the global part of the
superconformal W_3 superalgebra. For this case we construct new classical
solutions and study their supersymmetry. Using the algebra we...
4 tags
Dilaton Quantum Cosmology with a Schrodinger-like... →
Authors: J. C. Fabris, F. T. Falciano, P. Vargas Moniz, J. Marto, N. Pinto-Neto
A quantum cosmological model with radiation and a dilaton scalar field is
analysed. The Wheeler-deWitt equation in the mini-superspace induces a
Schrödinger equation, which can be solved. An explicit wavepacket is
constructed for a particular choice of the ordering factor. A consistent
solution is possible only when...
4 tags
On the Covariant Galileon and a consistent... →
Authors: Cristiano Germani (Munich U., ASC)
In this paper we show that the flat space Galilean theories with up to three
scalars in the equation of motion (the quartic Galileons) are recovered in the
decoupling limit of certain scalar theories non-minimally coupled to gravity,
the so-called “Slotheonic” theories. These theories are also invariant under
the generalized Galilean...
4 tags
Prospects for observing ultra-compact binaries... →
Authors: Tyson B. Littenberg, Shane L. Larson, Gijs Nelemans, Neil J. Cornish
Space-based gravitational wave interferometers are sensitive to the galactic
population of ultra-compact binaries. An important subset of the ultra-compact
binary population are those stars that can be individually resolved by both
gravitational wave interferometers and electromagnetic telescopes. The aim of
this...
4 tags
Twistor-strings and gravity tree amplitudes. →
Authors: Tim Adamo, Lionel Mason
Recently we proposed that the original Berkovits-Witten twistor-string theory
could be used to compute Einstein supergravity tree amplitudes. Subsequently,
remarkable formulae for the MHV amplitudes were found by Hodges and generalized
to NMHV by Cachazo and Skinner. Here we show how the Hodges matrix and its
higher MHV-degree generalization can be understood as...
4 tags
A Distinguished Vacuum State for a Quantum Field... →
Authors: Niayesh Afshordi, Siavash Aslanbeigi, Rafael D. Sorkin
We define a distinguished “ground state” or “vacuum” for a free scalar
quantum field in a globally hyperbolic region of an arbitrarily curved
spacetime. Our prescription is motivated by the recent construction of a
quantum field theory on a background causal set using only knowledge of the
retarded...
4 tags
A discrete, unitary, causal theory of quantum... →
Authors: Aron C. Wall
A discrete model of Lorentzian quantum gravity is proposed. The theory is
completely background free, containing no reference to absolute space, time, or
simultaneity. The states at one slice of time are networks in which each vertex
is labelled with two arrows, which point along an adjacent edge, or to the
vertex itself. The dynamics is specified by a set of unitary...
4 tags
Aspects of Three-dimensional Spin-4 Gravity. →
Authors: H. S. Tan
We discuss some interesting holographical aspects of three-dimensional
higher-spin gravity with a negative cosmological constant in the framework of
SL(4, R) \times SL(4, R) Chern-Simons theory. Using a recently found technique,
we construct explicitly a solution that can be interpreted as spin-4
generalization of the BTZ solution, and demonstrate how W_4 symmetry and...
4 tags
Performance Analysis of Dual-User Macrodiversity... →
Authors: Dushyantha A. Basnayaka, Peter J. Smith, Philippa A. Martin
The performance of linear receivers in the presence of co-channel
interference in Rayleigh channels is a fundamental problem in wireless
communications. Performance evaluation for these systems is well-known for
receive arrays where the antennas are close enough to experience equal average
SNRs from a source. In contrast,...
4 tags
The Lorentz-Dirac equation in complex space-time. →
Authors: Mark Davidson
A hypothetical equation of motion is proposed for Kerr-Newman particles. It
is obtained by analytic continuation of the Lorentz-Dirac equation into complex
space-time. A new class of “runaway” solutions are found which are similar to
Zitterbewegung. Electromagnetic fields generated by these motions are studied,
and it is found that the retarded times are...
4 tags
Vacuum Kundt Waves. →
Authors: D. D. McNutt, R. Milson, A. Coley
We discuss the invariant classification of vacuum Kundt waves using the
Cartan-Karlhede algorithm, and the upper bound on the number of iterations of
the Karlhede algorithm to classify the vacuum Kundt waves. By choosing a
particular coordinate system we partially construct the canonical coframe used
in the classification to study the functional...
4 tags
Vacuum Instability in Chern-Simons Gravity. →
Authors: Sergei Dyda, Eanna E. Flanagan, Marc Kamionkowski
We explore perturbations about a Friedmann-Robertson-Walker background in
Chern-Simons gravity. At large momenta one of the two circularly polarized
tensor modes becomes ghostlike. We argue that nevertheless the theory does not
exhibit classical runaway solutions, except possibly in the relativistic
nonlinear regime. However, the ghost...
4 tags
Consistent perturbations in an imperfect fluid. →
Authors: Ignacy Sawicki, Ippocratis D. Saltas, Luca Amendola, Martin Kunz
We present a new prescription for analysing cosmological perturbations in a
more-general class of scalar-field dark-energy models where the energy-momentum
tensor has an imperfect-fluid form. This class includes Brans-Dicke models,
f(R) gravity, theories with kinetic gravity braiding and generalised galileons.
We employ...
4 tags
Tetrahedron and 3D reflection equations from... →
Authors: Atsuo Kuniba, Masato Okado
Soibelman’s theory of quantized function algebra A_q(SL_n) provides a
representation theoretical scheme to construct a solution of the Zamolodchikov
tetrahedron equation. We extend this idea originally due to Kapranov and
Voevodsky to A_q(Sp_{2n}) and obtain the intertwiner K corresponding to the
quartic Coxeter relation. Together with the previously...
4 tags
Discrete integrable systems and Poisson algebras... →
Authors: Allan Fordy, Andrew Hone
We consider nonlinear recurrences generated from cluster mutations applied to
quivers that have the property of being cluster mutation-periodic with period
1. Such quivers were completely classified by Fordy and Marsh, who
characterised them in terms of the skew-symmetric matrix that defines the
quiver. The associated nonlinear recurrences are equivalent to...
4 tags
On some properties of quantum doubles of finite... →
Authors: Pavel Etingof
We prove two results about quantum doubles of finite groups over the complex
field. The first result is the integrality theorem for higher Frobenius-Schur
indicators for wreath product groups S_N#A^N, where A is a finite abelian
group. A proof of this result for A=1 appears in arXiv:1208.4153. The second
result is a lower bound for the largest possible number of...
4 tags
On dependence consistency of CoVaR and some other... →
Authors: Georg Mainik, Eric Schaanning
This paper is dedicated to the consistency of systemic risk measures with
respect to stochastic dependence. It compares two alternative notions of
Conditional Value-at-Risk (CoVaR) available in the current literature. These
notions are both based on the conditional distribution of a random variable Y
given a stress event for a random variable X, but they...
4 tags
Apollonian Structure in the Abelian Sandpile. →
Authors: Lionel Levine, Wesley Pegden, Charles K. Smart
We state a conjecture relating integer-valued superharmonic functions on
to an Apollonian circle packing of . The
conjecture is motivated by the Abelian sandpile process, which evolves
configurations of chips on the integer lattice by toppling any vertex with at
least 4 chips, distributing one of its chips to each of its 4 neighbors....
4 tags
Typical $l_1$-recovery limit of sparse vectors... →
Authors: Yoshiyuki Kabashima, Mikko Vehkapera, Saikat Chatterjee
We consider the problem of recovering an -dimensional sparse vector
from its linear transformation of
dimension. Minimizing the -norm of under the constraint is a standard approach for the recovery problem, and earlier
studies report that the critical condition for typically successful
-recovery is universal over a variety of...
4 tags
On the dual role of the d-electrons in... →
Authors: Lev P. Gor'kov, Gregory B. Teitel'baum
In the stoichiometric Fe-pnictides the same d-electrons form the local
moments and participate in the metallic conductivity. In the manuscript the
emergence of the magnetic moments on the Fe-sites, their interaction with the
itinerant electrons are studied in the paramagnetic phase at the different
relations between the onsite...
