15,941 research outputs found
The Sender-Excited Secret Key Agreement Model: Capacity, Reliability and Secrecy Exponents
We consider the secret key generation problem when sources are randomly
excited by the sender and there is a noiseless public discussion channel. Our
setting is thus similar to recent works on channels with action-dependent
states where the channel state may be influenced by some of the parties
involved. We derive single-letter expressions for the secret key capacity
through a type of source emulation analysis. We also derive lower bounds on the
achievable reliability and secrecy exponents, i.e., the exponential rates of
decay of the probability of decoding error and of the information leakage.
These exponents allow us to determine a set of strongly-achievable secret key
rates. For degraded eavesdroppers the maximum strongly-achievable rate equals
the secret key capacity; our exponents can also be specialized to previously
known results.
In deriving our strong achievability results we introduce a coding scheme
that combines wiretap coding (to excite the channel) and key extraction (to
distill keys from residual randomness). The secret key capacity is naturally
seen to be a combination of both source- and channel-type randomness. Through
examples we illustrate a fundamental interplay between the portion of the
secret key rate due to each type of randomness. We also illustrate inherent
tradeoffs between the achievable reliability and secrecy exponents. Our new
scheme also naturally accommodates rate limits on the public discussion. We
show that under rate constraints we are able to achieve larger rates than those
that can be attained through a pure source emulation strategy.Comment: 18 pages, 8 figures; Submitted to the IEEE Transactions on
Information Theory; Revised in Oct 201
Fluctuations of Entropy Production in Partially Masked Electric Circuits: Theoretical Analysis
In this work we perform theoretical analysis about a coupled RC circuit with
constant driven currents. Starting from stochastic differential equations,
where voltages are subject to thermal noises, we derive time-correlation
functions, steady-state distributions and transition probabilities of the
system. The validity of the fluctuation theorem (FT) is examined for scenarios
with complete and incomplete descriptions.Comment: 4 pages, 1 figur
Testing Game Theory in the Field: Swedish LUPI Lottery Games
Game theory is usually difficult to test precisely in the field because predictions typically
depend sensitively on features that are not controlled or observed. We conduct one such
test using field data from the Swedish lowest unique positive integer (LUPI) game. In the
LUPI game, players pick positive integers and whoever chose the lowest unique number
wins a fixed prize. Theoretical equilibrium predictions are derived assuming Poisson-
distributed uncertainty about the number of players, and tested using both field and
laboratory data. The field and lab data show similar patterns. Despite various deviations
from equilibrium, there is a surprising degree of convergence toward equilibrium. Some
of the deviations from equilibrium can be rationalized by a cognitive hierarchy model
A Graphical User Interface for Formal Proofs in Geometry.
International audienceWe present in this paper the design of a graphical user interface to deal with proofs in geometry. The software developed combines three tools: a dynamic geometry software to explore, measure and invent conjectures, an automatic theorem prover to check facts and an interactive proof system (Coq) to mechanically check proofs built interactively by the user
Local moment, itinerancy and deviation from Fermi liquid behavior in NaCoO for
Here we report the observation of Fermi surface (FS) pockets via the
Shubnikov de Haas effect in NaCoO for and 0.84,
respectively. Our observations indicate that the FS expected for each compound
intersects their corresponding Brillouin zones, as defined by the previously
reported superlattice structures, leading to small reconstructed FS pockets,
but only if a precise number of holes per unit cell is \emph{localized}. For
the coexistence of itinerant carriers and localized spins on a paramagnetic triangular superlattice leads at low temperatures
to the observation of a deviation from standard Fermi-liquid behavior in the
electrical transport and heat capacity properties, suggesting the formation of
some kind of quantum spin-liquid ground state.Comment: 4 pages, 4 figure
Neutron scattering study of novel magnetic order in Na0.5CoO2
We report polarized and unpolarized neutron scattering measurements of the
magnetic order in single crystals of Na0.5CoO2. Our data indicate that below
T_N=88 K the spins form a novel antiferromagnetic pattern within the CoO2
planes, consisting of alternating rows of ordered and non-ordered Co ions. The
domains of magnetic order are closely coupled to the domains of Na ion order,
consistent with such a two-fold symmetric spin arrangement. Magnetoresistance
and anisotropic susceptibility measurements further support this model for the
electronic ground state.Comment: 4 pages, 4 figure
Giant phonon anomalies in the pseudo-gap phase of TiOCl
We report infrared and Raman spectroscopy results of the spin-1/2 quantum
magnet TiOCl. Giant anomalies are found in the temperature dependence of the
phonon spectrum, which hint to unusual coupling of the electronic degrees of
freedom to the lattice. These anomalies develop over a broad temperature
interval, suggesting the presence of an extended fluctuation regime. This
defines a pseudo-gap phase, characterized by a local spin-gap. Below 100 K a
dimensionality cross-over leads to a dimerized ground state with a global
spin-gap of about 2~430 K.Comment: 4 pages, 3 figures, for further information see
http://www.peter-lemmens.d
Parallelizing Strassen's method for matrix multiplication on distributed-memory MIMD architectures
AbstractWe present a parallel method for matrix multiplication on distributed-memory MIMD architectures based on Strassen's method. Our timing tests, performed on a 56-node Intel Paragon, demonstrate the realization of the potential of the Strassen's method with a complexity of 4.7 M2.807 at the system level rather than the node level at which several earlier works have been focused. The parallel efficiency is nearly perfect when the processor number is the power of 7. The parallelized Strassen's method seems always faster than the traditional matrix multiplication methods whose complexity is 2M3 coupled with the BMR method and the Ring method at the system level. The speed gain depends on matrix order M: 20% for M ≈ 1000 and more than 100% for M ≈ 5000
Magnetic susceptibility study of hydrated and non-hydrated NaxCoO2-yH2O single crystals
We have measured the magnetic susceptibility of single crystal samples of
non-hydrated NaxCoO2 (x ~ 0.75, 0.67, 0.5, and 0.3) and hydrated Na0.3CoO2-yH2O
(y ~ 0, 0.6, 1.3). Our measurements reveal considerable anisotropy between the
susceptibilities with H||c and H||ab. The derived anisotropic g-factor ratio
(g_ab/g_c) decreases significantly as the composition is changed from the
Curie-Weiss metal with x = 0.75 to the paramagnetic metal with x = 0.3. Fully
hydrated Na0.3CoO2-1.3H2O samples have a larger susceptibility than
non-hydrated Na0.3CoO2 samples, as well as a higher degree of anisotropy. In
addition, the fully hydrated compound contains a small additional fraction of
anisotropic localized spins.Comment: 6 pages, 5 figure
- …