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 Nax_xCoO2_2 for 0.71≤x≤0.840.71 \leq x \leq 0.84

Here we report the observation of Fermi surface (FS) pockets via the Shubnikov de Haas effect in Na$_x$CoO$_2$ for $x = 0.71$ 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 $0.71 \leq x < 0.75$ the coexistence of itinerant carriers and localized $S =1/2$ 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$\Delta_{spin}\approx$~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