title: Improved Direct Product Theorems for Randomized Query Complexity

abstract: The direct product problem is a fundamental question in complexity theory which seeks to understand how the difficulty of computing a function on each of k independent inputs scales with k. We prove the following direct product theorem (DPT) for query complexity: if every T-query algorithm has success probability at most 1 - eps in computing the Boolean function f on input distribution Mu, then for alpha <= 1, every (alpha eps Tk)-query algorithm has success probability at most (2^{alpha eps}(1 - eps))^k in computing the k-fold direct product f^k correctly on k independent inputs from Mu. In light of examples due to Shaltiel, this statement gives an essentially optimal tradeoff between the query bound and the error probability. As a corollary, we show that for an absolute constant alpha > 0, the worst-case success probability of any (alpha R_2(f)k)-query randomized algorithm for f^k falls exponentially with k. The best previous statement of this type, due to Klauck, Spalek, and de Wolf, required a query bound of O(bs(f)k). The proof involves defining and analyzing a collection of martingales associated with an algorithm attempting to solve f^k. Our method is quite general and yields a new XOR lemma and threshold DPT for the query model, as well as DPTs for the query complexity of learning tasks, search problems, and tasks involving interaction with dyamic entities. We also give a version of our DPT in which decision tree size is the resource of interest.


title: Dissecting the role of initial collision geometry for jet quenching observables in relativistic heavy ion collisions

abstract: The observation of large azimuthal anisotropy or $v_2$ for hadrons above $p_T>5$ GeV/$c$ in Au+Au collisions at $\sqrt{s_{\rm nn}}=200$ GeV has been a longstanding challenge for jet quenching models based on perturbative QCD (pQCD). Using a simple jet absorption model, we seek to clarify the situation by exploring in detail how the calculated $v_2$ varies with choices of the collision geometry as well as choices of the path length dependence and thermalization time $\tau_0$ in the energy loss formula. Besides the change of eccentricity due to distortion from gluon saturation or event-by-event fluctuation, we find that the $v_2$ is also sensitive to the centrality dependence of multiplicity and the relative size between the matter profile and the jet profile. We find that the $v_2$ calculated for the naive quadratic path length dependence of energy loss, even including eccentricity fluctuation and the gluon saturation, is not enough to describe the experimental data at high $p_T$ ($\sim$ 6 GeV/$c$) in Au+Au collisions. However, it can match the full centrality dependence of $v_2$ data if higher power path length dependence of energy loss is allowed. We also find that the calculated $v_2$ is sensitive to the assumption of the early time dynamics but generally increases with $\tau_0$, opposite to what one expects for elliptic flow. This study attests to the importance of confining the initial geometry, possibly by combining jet quenching $v_2$ with elliptic flow and other jet quenching observables, for proper interpretation of the experimental data.


title: Exact averages of central values of triple product L-functions

abstract: We obtain exact formulas for central values of triple product L-functions averaged over newforms of weight 2 and prime level. We apply these formulas to non-vanishing problems. This paper uses a period formula for the triple product L-function proved by Gross and Kudla.


title: Control of gradient-driven instabilities using shear Alfv\'en beat waves

abstract: A new technique for manipulation and control of gradient-driven instabilities through nonlinear interaction with Alfv\'en waves in a laboratory plasma is presented. A narrow field-aligned density depletion is created in the Large Plasma Device (LAPD), resulting in coherent unstable fluctuations on the periphery of the depletion. Two independent kinetic Alfv\'en waves are launched along the depletion at separate frequencies, creating a nonlinear beat-wave response at or near the frequency of the original instability. When the beat-wave has sufficient amplitude, the original unstable mode is suppressed, leaving only the beat-wave response at a different frequency, generally at lower amplitude.


title: Microscopic Aspects of Stretched Exponential Relaxation (SER) in Homogeneous Molecular and Network Glasses and Polymers

abstract: Because the theory of SER is still a work in progress, the phenomenon itself can be said to be the oldest unsolved problem in science, as it started with Kohlrausch in 1847. Many electrical and optical phenomena exhibit SER with probe relaxation I(t) ~ exp[-(t/{\tau}){\beta}], with 0 < {\beta} < 1. Here {\tau} is a material-sensitive parameter, useful for discussing chemical trends. The "shape" parameter {\beta} is dimensionless and plays the role of a non-equilibrium scaling exponent; its value, especially in glasses, is both practically useful and theoretically significant. The mathematical complexity of SER is such that rigorous derivations of this peculiar function were not achieved until the 1970's. The focus of much of the 1970's pioneering work was spatial relaxation of electronic charge, but SER is a universal phenomenon, and today atomic and molecular relaxation of glasses and deeply supercooled liquids provide the most reliable data. As the data base grew, the need for a quantitative theory increased; this need was finally met by the diffusion-to-traps topological model, which yields a remarkably simple expression for the shape parameter {\beta}, given by d*/(d* + 2). At first sight this expression appears to be identical to d/(d + 2), where d is the actual spatial dimensionality, as originally derived. The original model, however, failed to explain much of the data base. Here the theme of earlier reviews, based on the observation that in the presence of short-range forces only d* = d = 3 is the actual spatial dimensionality, while for mixed short- and long-range forces, d* = fd = d/2, is applied to four new spectacular examples, where it turns out that SER is useful not only for purposes of quality control, but also for defining what is meant by a glass in novel contexts. (Please see full abstract in main text)


title: First passage percolation and competition models

abstract: This paper is a survey of various results and techniques in first passage percolation, a random process modeling a spreading fluid on an infinite graph. The latter half of the paper focuses on the connection between first passage percolation and a certain class of stochastic growth and competition models.


title: Brownian motion meets Riemann curvature

abstract: The general covariance of the diffusion equation is exploited in order to explore the curvature effects appearing on brownian motion over a d-dimensional curved manifold. We use the local frame defined by the so called Riemann normal coordinates to derive a general formula for the mean-square geodesic distance (MSD) at the short-time regime. This formula is written in terms of $O(d)$ invariants that depend on the Riemann curvature tensor. We study the n-dimensional sphere case to validate these results. We also show that the diffusion for positive constant curvature is slower than the diffusion in a plane space, while the diffusion for negative constant curvature turns out to be faster. Finally the two-dimensional case is emphasized, as it is relevant for the single particle diffusion on biomembranes.


title: A dispersive correction to the Casimir force

abstract: Using perturbation theory the first order dispersive correction to the Casimir energy between two plates separated by a dielectric material is calculated. It falls off with the plate separation as 1/L^6. The result is derived both from evaluation of the zero-point energy and within the Lifshitz formulation. It is pointed out that a possible surface term can be more important, varying like 1/L^5.


title: Exact solution for quantum dynamics of a periodically-driven two-level-system

abstract: We present a family of exact analytic solutions for non-linear quantum dynamics of a two-level system (TLS) subject to a periodic-in-time external field. In constructing the exactly solvable models, we use a "reverse engineering" approach where the form of external perturbation is chosen to preserve an integrability constraint, which yields a single non-linear differential equation for the ac-field. A solution to this equation is expressed in terms of Jacobi elliptic functions with three independent parameters that allows one to choose the frequency, average value, and amplitude of the time-dependent field at will. This form of the ac-drive is especially relevant to the problem of dynamics of TLS charge defects that cause dielectric losses in superconducting qubits. We apply our exact results to analyze non-linear dielectric response of such TLSs and show that the position of the resonance peak in the spectrum of the relevant correlation function is determined by the quantum-mechanical phase accumulated by the TLS wave-function over a time evolution cycle. It is shown that in the non-linear regime, this resonance frequency may be shifted strongly from the value predicted by the canonical TLS model. We also analyze the "spin" survival probability in the regime of strong external drive and recover a coherent destruction of tunneling phenomenon within our family of exact solutions, which manifests itself as a strong suppression of "spin-flip" processes and suggests that such non-linear dynamics in LC-resonators may lead to lower losses.


title: Proceedings International Workshop on Developments in Implicit Computational complExity

abstract: This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European Conference on Theory and Practice of Software, ETAPS 2010. Implicit Computational Complexity aims at studying computational complexity without referring to external measuring conditions or particular machine models, but instead by considering restrictions on programming languages or logical principles implying complexity properties. The aim of this workshop was to bring together researchers working on implicit computational complexity, from its logical and semantical aspects to those related to the static analysis of programs, so as to foster their interaction and to give newcomers an overview of the current trends in this area.


title: Quasi-determinism of weak measurement statistics: Laplace's demon's quantum cousin

abstract: Weak measurements can provide a complete characterization of post-selected ensembles, including the uncertainties of observables. Interestingly, the average uncertainties for pure initial and final states are always zero, suggesting the kind of complete knowledge that would allow a knowledge of past, presence and future in the sense of Laplace's demon. However, the quantum version actually describes cancellations of positive and negative uncertainties made possible by the strangeness of weak values. In this paper, I take a closer look at the relation between statistics and causality in quantum mechanics, in an attempt to recover the traces of classical determinism in the statistical relations of quantum measurement outcomes.


title: Mesons as Open Strings in a Holographic Dual of QCD

abstract: We study meson spectrum obtained from massive open string modes in a holographic dual of QCD constructed on the basis of a D4/D8-brane configuration in type IIA string theory. The spectrum includes mesons with spin higher than one. Taking into account the effect of curved background perturbatively, we obtain a mass formula for these mesons, which exhibits the linear Regge behavior at the leading order with subleading non-linear corrections. We argue that the string spectrum captures some features of the observed meson spectrum. For example, a_2(1320), b_1(1235), \pi(1300), a_0(1450), etc., are identified as the first excited massive open string states and \rho_3(1690), \pi_2(1670), etc., are identified as the second excited states.


title: Metastable Quantum Phase Transitions in a One-Dimensional Bose Gas

abstract: This is a chapter for a book. The first paragraph of this chapter is as follows: "Ultracold quantum gases offer a wonderful playground for quantum many body physics, as experimental systems are widely controllable, both statically and dynamically. One such system is the one-dimensional (1D) Bose gas on a ring. In this system binary contact interactions between the constituent bosonic atoms, usually alkali metals, can be controlled in both sign and magnitude; a recent experiment has tuned interactions over seven orders of magnitude, using an atom-molecule resonance called a Feshbach resonance. Thus one can directly realize the Lieb-Liniger Hamiltonian, from the weakly- to the strongly-interacting regime. At the same time there are a number of experiments utilizing ring traps. The ring geometry affords us the opportunity to study topological properties of this system as well; one of the main properties of a superfluid is the quantized circulation in which the average angular momentum per particle, L/N, is quantized under rotation. Thus we focus on a tunable 1D Bose system for which the main control parameters are interaction and rotation. We will show that there is a critical boundary in the interaction-rotation control-parameter plane over which the topological properties of the system change. This is the basis of our concept of \textit{metastable quantum phase transitions} (QPTs). Moreover, we will show that the finite domain of the ring is necessary for the QPT to occur at all because the zero-point kinetic pressure can induce QPTs, i.e., the system must be finite; we thus seek to generalize the concept of QPTs to inherently finite, mesoscopic or nanoscopic systems."


title: Security Through Entertainment: Experiences Using a Memory Game for Secure Device Pairing

abstract: The secure "pairing" of wireless devices based on auxiliary or out-of-band (OOB) communication, such as audio, visual, or tactile channels, is a well-established research direction. However, prior work shows that this approach to pairing can be prone to human errors of different forms that may directly or indirectly translate into man-in-the-middle attacks. To address this problem, we propose a general direction of the use of computer games for pairing. Since games are a popular means of entertainment, our hypothesis is that they may serve as an incentive to users and make the pairing process enjoyable for them, thus improving the usability, as well as the security, of the pairing process. We consider an emerging use case of pairing whereby two different users are involved, each in possession of his or her own device (e.g., Alice and Bob pairing their smartphones for social interactions). We develop "Alice Says," a pairing game based on a popular memory game called Simon (Says), and discuss the underlying design challenges. We also present a preliminary evaluation of Alice Says via a usability study and demonstrate its feasibility in terms of usability and security. Our results indicate that overall Alice Says was deemed as a fun and an enjoyable way to pair devices, confirming our hypothesis. However, contrary to our intuition, the relatively slower speed of Alice Says pairing was found to be a cause of concern and prompts the need for the design of faster pairing games. We put forth several ways in which this issue can be ameliorated. In addition, we also discuss several other security problems which are lacking optimal solutions and suggest ideas on how entertainment can be used to improve the current state of the art solutions that have been developed to address them.


title: On the sum of two integral squares in certain quadratic fields

abstract: In this note, we give a necessary and sufficient condition for determining which integers can be written as a sum of two integral squares for certain quadratic fields by using the integral Brauer-manin obstruction (see \cite{CTX}). The condition is computable and originally from the reciprocity law.


title: Massive star formation in Wolf-Rayet galaxies. V: Star formation rates, masses and the importance of galaxy interactions

abstract: (Abridged) We have performed a comprehensive analysis of a sample of 20 starburst galaxies, most of them classified as Wolf-Rayet galaxies. In this paper, the last of the series, we analyze the global properties of our galaxy sample using multiwavelength data (X-ray, FUV, optical, NIR, FIR, and radio). The agreement between our Ha-based SFR and those provided by indicators at other wavelengths is remarkable, but we consider that the new Ha-based calibration provided by Calzetti et al. (2007) should be preferred over older calibrations. The FUV-based SFR provides a powerful tool to analyze the star-formation activity in both global and local scales independently to the Ha emission. We provide empirical relationships between the ionized gas mass, neutral gas mass, dust mass, stellar mass, and dynamical mass with the B-luminosity. Although all mass estimations increase with increasing luminosity, we find important deviations to the general trend in some objects, that seem to be consequence of their particular evolutionary histories. We investigate the mass-metallicity relations and conclude that both the nature and the star-formation history are needed to understand the relationships between both properties. The majority of the galaxies follow a Schmidt-Kennicutt scaling law of star-formation that agrees with that reported in individual star-forming regions within M~51 but not with that found in normal spiral galaxies. We found a relation between the reddening coefficient and the warm dust mass indicating that the extinction is mainly internal to the galaxies. Considering all data, we found that 17 up to 20 galaxies are clearly interacting or merging with low-luminosity dwarf objects or HI clouds. We conclude that interactions do play a fundamental role in the triggering mechanism of the strong star-formation activity observed in dwarf starburst galaxies.


title: The Significant Digit Law in Statistical Physics

abstract: The occurrence of the nonzero leftmost digit, i.e., 1, 2, ..., 9, of numbers from many real world sources is not uniformly distributed as one might naively expect, but instead, the nature favors smaller ones according to a logarithmic distribution, named Benford's law. We investigate three kinds of widely used physical statistics, i.e., the Boltzmann-Gibbs (BG) distribution, the Fermi-Dirac (FD) distribution, and the Bose-Einstein (BE) distribution, and find that the BG and FD distributions both fluctuate slightly in a periodic manner around the Benford distribution with respect to the temperature of the system, while the BE distribution conforms to it exactly whatever the temperature is. Thus the Benford's law seems to present a general pattern for physical statistics and might be even more fundamental and profound in nature. Furthermore, various elegant properties of Benford's law, especially the mantissa distribution of data sets, are discussed.

categories: physics.data-an cond-mat.stat-mech hep-ph math-ph math.MP


title: The Galois module structure of l-adic realizations of Picard 1-motives and applications

abstract: We show that the l-adic realizations of certain Picard 1-motives associated to a G-Galois cover of smooth, projective curves defined over an algebraically closed field are G-cohomologically trivial, for all primes l. In the process, we generalize a well-known theorem of Nakajima on the Galois module structure of certain spaces of Kahler differentials associated to the top curve of the cover, assuming that the field of definition is of characteristic p. If the cover and the Picard 1-motive are defined over a finite field and if G is abelian, we compute the first Fitting ideal of each l-adic realization over a certain profinite l-adic group algebra in terms of an equivariant Artin L-function. This is a refinement of earlier work of Deligne and Tate on Picard 1-motives associated to global function fields. As a consequence, we prove refined versions of the Brumer-Stark and the (\'etale) Coates-Sinnott Conjectures for global function fields. In upcoming work, we use these results to prove several other conjectures on special values of global L-functions in characteristic p. Also, we prove analogous results in characteristic 0, where the l-adic realizations of Picard 1-motives will be replaced by a new class of Iwasawa modules.


title: The B-Skip-List: A Simpler Uniquely Represented Alternative to B-Trees

abstract: In previous work, the author introduced the B-treap, a uniquely represented B-tree analogue, and proved strong performance guarantees for it. However, the B-treap maintains complex invariants and is very complex to implement. In this paper we introduce the B-skip-list, which has most of the guarantees of the B-treap, but is vastly simpler and easier to implement. Like the B-treap, the B-skip-list may be used to construct strongly history-independent index structures and filesystems; such constructions reveal no information about the historical sequence of operations that led to the current logical state. For example, a uniquely represented filesystem would support the deletion of a file in a way that, in a strong information-theoretic sense, provably removes all evidence that the file ever existed. Like the B-tree, the B-skip-list has depth O(log_B (n)) where B is the block transfer size of the external memory, uses linear space with high probability, and supports efficient one-dimensional range queries.


title: Color Transparency at COMPASS energies

abstract: Pionic quasielastic knockout of protons from nuclei at 200 GeV show very large effects of color transparency as -t increases from 0 to several GeV^2. Similar effects are expected for quasielastic photoproduction of vector mesons.


title: X-ray absorption spectroscopy (XAS) investigation of the electronic structure of superconducting FeSex single crystals

abstract: X-ray absorption spectroscopy (XAS) Fe K-edge spectra of the FeSex (x=1-0.8) single crystals cleaved in situ in vacuum reveal characteristic Fe 4sp states, a lattice distortion and the Se K-edge spectra point to a strong Fe 3d-Se 4p hybridization giving rise to itinerant charge carriers. A formal charge of ~1.8+ for Fe and ~2.2- for Se were evaluated from these spectra in the FeSex (x=0.88). The charge balance between Fe and Se is assigned itinerant electrons located in the Fe-Se hybridization bond. As x decreases the 4p hole count increases and a crystal structure distortion is observed that in turn causes the Fe separation in the ab plane change from 4p orbital to varying (modulating) coordination. Powder x-ray diffraction (XRD) measurements also show a slight increase in lattice parameters as x decreases (increasing Se deficiency).


title: Software Design Document, Testing, Deployment and Configuration Management of the UUIS--a Team 2 COMP5541-W10 Project Approach

abstract: The Software Design Document of UUIS describes the prototype design details of the system architecture, database layer, deployment and configuration details as well as test cases produced while working the design and implementation of the prototype. The requirements specification of UUIS are detailed in arXiv:1005.0783.


title: Density oscillations in trapped dipolar condensates

abstract: We investigated the ground state wave function and free expansion of a trapped dipolar condensate. We find that dipolar interaction may induce both biconcave and dumbbell density profiles in, respectively, the pancake- and cigar-shaped traps. On the parameter plane of the interaction strengths, the density oscillation occurs only when the interaction parameters fall into certain isolated areas. The relation between the positions of these areas and the trap geometry is explored. By studying the free expansion of the condensate with density oscillation, we show that the density oscillation is detectable from the time-of-flight image.


title: Error analysis of a partial pivoting method for structured matrices

abstract: Many matrices that arise in the solution of signal processing problems have a special displacement structure. For example, adaptive filtering and direction-of-arrival estimation yield matrices of Toeplitz type. A recent method of Gohberg, Kailath and Olshevsky (GKO) allows fast Gaussian elimination with partial pivoting for such structured matrices. In this paper, a rounding error analysis is performed on the Cauchy and Toeplitz variants of the GKO method. It is shown the error growth depends on the growth in certain auxiliary vectors, the generators, which are computed by the GKO algorithms. It is also shown that in certain circumstances, the growth in the generators can be large, and so the error growth is much larger than would be encountered with normal Gaussian elimination with partial pivoting. A modification of the algorithm to perform a type of row-column pivoting is proposed; it may ameliorate this problem.


title: Degenerate Fermi Gas of $^{87}$Sr

abstract: We report quantum degeneracy in a gas of ultra-cold fermionic $^{87}$Sr atoms. By evaporatively cooling a mixture of spin states in an optical dipole trap for 10.5\,s, we obtain samples well into the degenerate regime with $T/T_F=0.26^{+.05}_{-.06}$. The main signature of degeneracy is a change in the momentum distribution as measured by time-of-flight imaging, and we also observe a decrease in evaporation efficiency below $T/T_F \sim 0.5$.


title: Assumptions and Axioms: Mathematical Structures to Describe the Physics of Rigid Bodies

abstract: This paper challenges some of the common assumptions underlying the mathematics used to describe the physical world. We start by reviewing many of the assumptions underlying the concepts of real, physical, rigid bodies and the translational and rotational properties of such rigid bodies. Nearly all elementary and advanced texts make physical assumptions that are subtly different from ours, and as a result we develop a mathematical description that is subtly different from the standard mathematical structure. Using the homogeneity and isotropy of space, we investigate the translational and rotational features of rigid bodies in two and three dimensions. We find that the concept of rigid bodies and the concept of the homogeneity of space are intrinsically linked. The geometric study of rotations of rigid objects leads to a geometric product relationship for lines and vectors. By requiring this product to be both associative and to satisfy Pythagoras' theorem, we obtain a choice of Clifford algebras. We extend our arguments from space to include time. By assuming that ct=l and rewriting this in Lorentz invariant form as c^2t^2-x^2-y^2-z^2=0 we obtain a generalization of Pythagoras to spacetime. This leads us directly to establishing that the Clifford algebra CL(1,3) is an appropriate mathematical structure to describe spacetime. Clifford algebras are not division algebras. We show that the existence of non-invertible elements in the algebra is not a limitation of the usefulness to physics of the algebra but rather that it reflects accurately the spacetime properties of physical systems.


title: A Linear-time Algorithm for Sparsification of Unweighted Graphs

abstract: Given an undirected graph $G$ and an error parameter $\epsilon > 0$, the {\em graph sparsification} problem requires sampling edges in $G$ and giving the sampled edges appropriate weights to obtain a sparse graph $G_{\epsilon}$ with the following property: the weight of every cut in $G_{\epsilon}$ is within a factor of $(1\pm \epsilon)$ of the weight of the corresponding cut in $G$. If $G$ is unweighted, an $O(m\log n)$-time algorithm for constructing $G_{\epsilon}$ with $O(n\log n/\epsilon^2)$ edges in expectation, and an $O(m)$-time algorithm for constructing $G_{\epsilon}$ with $O(n\log^2 n/\epsilon^2)$ edges in expectation have recently been developed (Hariharan-Panigrahi, 2010). In this paper, we improve these results by giving an $O(m)$-time algorithm for constructing $G_{\epsilon}$ with $O(n\log n/\epsilon^2)$ edges in expectation, for unweighted graphs. Our algorithm is optimal in terms of its time complexity; further, no efficient algorithm is known for constructing a sparser $G_{\epsilon}$. Our algorithm is Monte-Carlo, i.e. it produces the correct output with high probability, as are all efficient graph sparsification algorithms.


title: Stability of fast algorithms for structured linear systems

abstract: We survey the numerical stability of some fast algorithms for solving systems of linear equations and linear least squares problems with a low displacement-rank structure. For example, the matrices involved may be Toeplitz or Hankel. We consider algorithms which incorporate pivoting without destroying the structure, and describe some recent results on the stability of these algorithms. We also compare these results with the corresponding stability results for the well known algorithms of Schur/Bareiss and Levinson, and for algorithms based on the semi-normal equations.


title: On the Davenport-Heilbronn theorems and second order terms

abstract: We give simple proofs of the Davenport--Heilbronn theorems, which provide the main terms in the asymptotics for the number of cubic fields having bounded discriminant and for the number of 3-torsion elements in the class groups of quadratic fields having bounded discriminant. We also establish second main terms for these theorems, thus proving a conjecture of Roberts. Our arguments provide natural interpretations for the various constants appearing in these theorems in terms of local masses of cubic rings.


title: Using microlensed quasars to probe the structure of the Milky Way

abstract: This paper presents an investigation into the gravitational microlensing of quasars by stars and stellar remnants in the Milky Way. We present predictions for the all-sky microlensing optical depth, time-scale distributions and event rates for future large-area sky surveys. As expected, the total event rate increases rapidly with increasing magnitude limit, reflecting the fact that the number density of quasars is a steep function of magnitude. Surveys such as Pan-STARRS and LSST should be able to detect more than ten events per year, with typical event durations of around one month. Since microlensing of quasar sources suffers from fewer degeneracies than lensing of Milky Way sources, they could be used as a powerful tool for recovering the mass of the lensing object in a robust, often model-independent, manner. As a consequence, for a subset of these events it will be possible to directly `weigh' the star (or stellar remnant) that is causing the lensing signal, either through higher order microlensing effects and/or high-precision astrometric observations of the lens star (using, for example, Gaia or SIM-lite). This means that such events could play a crucial role in stellar astronomy. Given the current operational timelines for Pan-STARRS and LSST, by the end of the decade they could potentially detect up to 100 events. Although this is still too few events to place detailed constraints on Galactic models, consistency checks can be carried out and such samples could lead to exciting and unexpected discoveries.


title: Algebraic Rainich conditions for the tensor V

abstract: Algebraic conditions on the Ricci tensor in the Rainich-Misner-Wheeler unified field theory are known as the Rainich conditions. Penrose and more recently Bergqvist and Lankinen made an analogy from the Ricci tensor to the Bel-Robinson tensor $B_{\alpha\beta\mu\nu}$, a certain fourth rank tensor quadratic in the Weyl curvature, which also satisfies algebraic Rainich-like conditions. However, we found that not only does the tensor $B_{\alpha\beta\mu\nu}$ fulfill these conditions, but so also does our recently proposed tensor $V_{\alpha\beta\mu\nu}$, which has many of the desirable properties of $B_{\alpha\beta\mu\nu}$. For the quasilocal small sphere limit restriction, we found that there are only two fourth rank tensors $B_{\alpha\beta\mu\nu}$ and $V_{\alpha\beta\mu\nu}$ which form a basis for good energy expressions. Both of them have the completely trace free and causal properties, these two form necessary and sufficient conditions. Surprisingly either completely traceless or causal is enough to fulfill the algebraic Rainich conditions. Furthermore, relaxing the quasilocal restriction and considering the general fourth rank tensor, we found two remarkable results: (i) without any symmetry requirement, the algebraic Rainich conditions only require totally trace free; (ii) with a symmetry requirement, we recovered the same result as in the quasilocal small sphere limit.


title: Empowered by Wireless Communication: Self-Organizing Traffic Collectives

abstract: In recent years, tremendous progress has been made in understanding the dynamics of vehicle traffic flow and traffic congestion by interpreting traffic as a multi-particle system. This helps to explain the onset and persistence of many undesired phenomena, e.g., traffic jams. It also reflects the apparent helplessness of drivers in traffic, who feel like passive particles that are pushed around by exterior forces; one of the crucial aspects is the inability to communicate and coordinate with other traffic participants. We present distributed methods for solving these fundamental problems, employing modern wireless, ad-hoc, multi-hop networks. The underlying idea is to use these capabilities as the basis for self-organizing methods for coordinating data collection and processing, recognizing traffic phenomena, and changing their structure by coordinated behavior. The overall objective is a multi-level approach that reaches from protocols for local wireless communication, data dissemination, pattern recognition, over hierarchical structuring and coordinated behavior, all the way to large-scale traffic regulation. In this article we describe three types of results: (i) self-organizing and distributed methods for maintaining and collecting data (using our concept of Hovering Data Clouds); (ii) adaptive data dissemination for traffic information systems; (iii) methods for self-recognition of traffic jams. We conclude by describing higher-level aspects of our work.


title: Invariance of the correlation energy at high density and large dimension in two-electron systems

abstract: We prove that, in the large-dimension limit, the high-density correlation energy $\Ec$ of two opposite-spin electrons confined in a $D$-dimensional space and interacting {\em via} a Coulomb potential is given by $\Ec \sim -1/(8D^2)$ for any radial confining potential $V(r)$. This result explains the observed similarity of $\Ec$ in a variety of two-electron systems in three-dimensional space.

categories: cond-mat.str-el cond-mat.other physics.chem-ph physics.comp-ph


title: The Enigma of CDMA Revisited

abstract: In this paper, we explore the mystery of synchronous CDMA as applied to wireless and optical communication systems under very general settings for the user symbols and the signature matrix entries. The channel is modeled with real/complex additive noise of arbitrary distribution. Two problems are addressed. The first problem concerns whether overloaded error free codes exist in the absence of additive noise under these general settings, and if so whether there are any practical optimum decoding algorithms. The second one is about the bounds for the sum channel capacity when user data and signature codes employ any real or complex alphabets (finite or infinite). In response to the first problem, we have developed practical Maximum Likelihood (ML) decoding algorithms for overloaded CDMA systems for a large class of alphabets. In response to the second problem, a general theorem has been developed in which the sum capacity lower bounds with respect to the number of users and spreading gain and Signal-to-Noise Ratio (SNR) can be derived as special cases for a given CDMA system. To show the power and utility of the main theorem, a number of sum capacity bounds for special cases are simulated. An important conclusion of this paper is that the lower and upper bounds of the sum capacity for small/medium size CDMA systems depend on both the input and the signature symbols; this is contrary to the asymptotic results for large scale systems reported in the literature (also confirmed in this paper) where the signature symbols and statistics disappear in the asymptotic sum capacity. Moreover, these questions are investigated for the case when not all users are active. Furthermore, upper and asymptotic bounds are derived and numerically evaluated and compared to other derivations.


title: Do double features in averaged pulsar profiles decipher the nature of their radio emission?

abstract: An interesting paper has recently been published claiming that the long-sought Rosetta Stone needed to decipher the nature of pulsar radio emission has been finally identified as the double features in averaged pulsar profiles. The authors argue that highly symmetric bifurcated features are produced by a split-fan beams of extraordinary-mode curvature radiation emitted by thin microscopic streams of magnetospheric plasma conducted by a very narrow bundle of magnetic field lines. We examined arguments leading to these intriguing conclusions and found a number of flaws. At least one of them is fatal, namely there is not enough available energy within such thin microscopic plasma streams. Using an elementary pulsar physics we show that if the stream is so thin that its emission can reveal the signatures of elementary radiation mechanism, then the energy deficit tends to be severe and reaches a few to several orders of magnitude (depending on the actual efficiency of converting the available kinetic energy of relativistic charged particles into the coherent radio emission). We are certain that the answer to the question contained in the title of this paper is definitely negative.


title: Quasiparticle dynamics in ferromagnetic compounds of the Co-Fe and Ni-Fe systems

abstract: We report a theoretical study of the quasiparticle lifetime and the quasiparticle mean free path caused by inelastic electron-electron scattering in ferromagnetic compounds of the Co-Fe and Ni-Fe systems. The study is based on spin-polarized calculations, which are performed within the $GW$ approximation for equiatomic and Co- and Ni-rich compounds, as well as for their constituents. We mainly focus on the spin asymmetry of the quasiparticle properties, which leads to the spin-filtering effect experimentally observed in spin-dependent transport of hot electrons and holes in the systems under study. By comparing with available experimental data on the attenuation length, we estimate the contribution of the inelastic mean free path to the latter.


title: Essential disks and semi-essential surfaces in 3-manifolds

abstract: If M is a manifold with compressible boundary, we analyze essential disks in M, as well as incompressible, but not necessarily boundary incompressible, surfaces in M. We are most interested in the case where M is a handlebody or compression body. The analysis depends on a new normal surface theory. We hope the normal surface theory will be used in other papers to describe objects representing limits of essential disks in a handlebody or a 3-manifold with compressible boundary. For certain automorphisms of handlebodies, these disk limits should serve as invariant objects akin to laminations and analogous to the invariant laminations for pseudo-Anosov automorphisms of surfaces.


title: Classification of equivariant vector bundles over two-sphere

abstract: We exhaustively classify topological equivariant complex vector bundles over two-sphere under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most) three points are sufficient to classify equivariant vector bundles except a few cases. To do it, we calculate equivariant homotopy of the set of equivariant clutching maps. Holomorphic version of this will be treated in other paper. Classification on two-torus, real projective plane, Klein bottle will appear soon.


title: Classification of equivariant vector bundles over two-torus

abstract: We exhaustively classify topological equivariant complex vector bundles over two-torus under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most) six points are sufficient to classify equivariant vector bundles except a few cases. To do it, we calculate homotopy of the set of equivariant clutching maps. And, classification on real projective plane, Klein bottle will appear soon


title: Krylov-Type Methods for Tensor Computations

abstract: Several Krylov-type procedures are introduced that generalize matrix Krylov methods for tensor computations. They are denoted minimal Krylov recursion, maximal Krylov recursion, contracted tensor product Krylov recursion. It is proved that the for a given tensor with low rank, the minimal Krylov recursion extracts the correct subspaces associated to the tensor within certain number of iterations. An optimized minimal Krylov procedure is described that gives a better tensor approximation for a given multilinear rank than the standard minimal recursion. The maximal Krylov recursion naturally admits a Krylov factorization of the tensor. The tensor Krylov methods are intended for the computation of low-rank approximations of large and sparse tensors, but they are also useful for certain dense and structured tensors for computing their higher order singular value decompositions or obtaining starting points for the best low-rank computations of tensors. A set of numerical experiments, using real life and synthetic data sets, illustrate some of the properties of the tensor Krylov methods.


title: Detection of an orbital period in the supergiant high mass X-ray binary IGR J16465$-$4507 with Swift-BAT

abstract: We analysed the IGR J16465-4507 Burst Alert Teelescope survey data collected during the first 54 months of the Swift mission. The source is in a crowded field and it is revealed through an ad hoc imaging analysis at a significance level of ~14 standard deviations. The 15-50 keV average flux is ~3E-11 erg/cm^2/s. The timing analysis reveals an orbital period of 30.243 +/- 0.035 days. The folded light curve shows the presence of a wide phase interval of minimum intensity, lasting ~20% of the orbital period. This could be explained with a full eclipse of the compact object in an extremely eccentric orbit or with the passage of the compact source through a lower density wind at the orbit apastron. The modest dynamical range observed during the BAT monitoring suggests that IGR J16465-4507 is a wind-fed system, continuously accreting from a rather homogeneous wind, and not a member of the Supergiant Fast X-ray Transient class.


title: Magnetic proximity effects in V/Fe superconductor/ferromagnet single bilayer revealed by waveguide-enhanced polarized neutron reflectometry

abstract: Polarized neutron reflectometry is used to study the magnetic proximity effect in a superconductor/ferromagnet (SC/FM) system of composition Cu(32nm)/V(40nm)/Fe(1nm)/MgO. In contrast to previous studies, here a single SC/FM bilayer, is studied and multilayer artefacts are excluded. The necessary signal enhancement is achieved by waveguide resonance, i.e. preparing the V(40nm)/Fe(1nm) SC/FM bilayer sandwiched by the highly reflective MgO substrate and Cu top layer, respectively . A new magnetic state of the system was observed at temperatures below 0.7 TC. manifested in a systematic change in the height and width of the waveguide resonance peak. Upon increasing the temperature from 0.7 TC to TC, a gradual decay of this state is observed, accompanied by a 5% growth of the diffuse scattering. According to theoretical studies, such behavior is the result of the magnetic proximity effect. Due to the presence of the thin FM layer the superconducting electrons are polarized and, as a result, near the SC/FM interface an additional magnetic layer appears in the SC with thickness comparable to ksi, the coherence length of the superconductor.


title: The Transition to a Giant Vortex Phase in a Fast Rotating Bose-Einstein Condensate

abstract: We study the Gross-Pitaevskii (GP) energy functional for a fast rotating Bose-Einstein condensate on the unit disc in two dimensions. Writing the coupling parameter as $ 1 / \eps^2 $ we consider the asymptotic regime $ \eps \to 0 $ with the angular velocity $\Omega$ proportional to $ (\eps^2|\log\eps|)^{-1} $. We prove that if $ \Omega = \Omega_0 (\eps^2|\log\eps|)^{-1} $ and $ \Omega_0 > 2(3\pi)^{-1} $ then a minimizer of the GP energy functional has no zeros in an annulus at the boundary of the disc that contains the bulk of the mass. The vorticity resides in a complementary `hole' around the center where the density is vanishingly small. Moreover, we prove a lower bound to the ground state energy that matches, up to small errors, the upper bound obtained from an optimal giant vortex trial function, and also that the winding number of a GP minimizer around the disc is in accord with the phase of this trial function.


title: Delayed birth of distillable entanglement in the evolution of bound entangled states

abstract: The dynamical creation of entanglement between three-level atoms coupled to the common vacuum is investigated. For the class of bound entangled initial states we show that the dynamics of closely separated atoms generates stationary distillable entanglement of asymptotic states. We also find that the effect of delayed sudden birth of distillable entanglement occurs in the case of atoms separated by a distance comparable with the radiation wavelength.


title: Recurrences in three-state quantum walks on a plane

abstract: We analyze the role of dimensionality in the time evolution of discrete time quantum walks through the example of the three-state walk on a two-dimensional, triangular lattice. We show that the three-state Grover walk does not lead to trapping (localization) or recurrence to the origin, in sharp contrast to the Grover walk on the two dimensional square lattice. We determine the power law scaling of the probability at the origin with the method of stationary phase. We prove that only a special subclass of coin operators can lead to recurrence and there are no coins leading to localization. The propagation for the recurrent subclass of coins is quasi one-dimensional.


title: Fredholmness and Smooth Dependence for Linear Time-Periodic Hyperbolic System

abstract: This paper concerns $n\times n$ linear one-dimensional hyperbolic systems of the type $$ \partial_tu_j + a_j(x)\partial_xu_j + \sum\limits_{k=1}^nb_{jk}(x)u_k = f_j(x,t),\; j=1,...,n, $$ with periodicity conditions in time and reflection boundary conditions in space. We state conditions on the data $a_j$ and $b_{jk}$ and the reflection coefficients such that the system is Fredholm solvable. Moreover, we state conditions on the data such that for any right hand side there exists exactly one solution, that the solution survives under small perturbations of the data, and that the corresponding data-to-solution-map is smooth with respect to appropriate function space norms. In particular, those conditions imply that no small denominator effects occur. We show that perturbations of the coefficients $a_j$ lead to essentially different results than perturbations of the coefficients $b_{jk}$, in general. Our results cover cases of non-strictly hyperbolic systems as well as systems with discontinuous coefficients $a_j$ and $b_{jk}$, but they are new even in the case of strict hyperbolicity and of smooth coefficients.


title: The Corset Effect, Field-Cycling NMR Relaxometry, Transverse NMR Relaxation, Field-Gradient NMR Diffusometry, and Incoherent Neutron Scattering

abstract: The corset effect is an experimentally established dynamic confinement phenomenon first observed by field-cycling NMR relaxometry and transverse NMR relaxation in polymer melts in pores with dimensions ranging from a few nanometers up to 0.06 micrometers or even more. The techniques employed are specifically sensitive to rotational fluctuations of polymer segments. It will be shown that neutron scattering and other methods probing translational fluctuations are not suitable for the detection of this phenomenon.


title: On defect-induced magnetism and bang opening in graphene

abstract: We discuss several mechanisms of magnetism and band opening in graphene produced by its hydrogenation and fluorination that can be examined experimentally.


title: Highly anisotropic energy gap in superconducting Ba(Fe$_{0.9}$Co$_{0.1}$)$_{2}$As$_{2}$ from optical conductivity measurements

abstract: We have measured the complex dynamical conductivity, $\sigma = \sigma_{1} + i\sigma_{2}$, of superconducting Ba(Fe$_{0.9}$Co$_{0.1}$)$_{2}$As$_{2}$ ($T_{c} = 22$ K) at terahertz frequencies and temperatures 2 - 30 K. In the frequency dependence of $\sigma_{1}$ below $T_{c}$, we observe clear signatures of the superconducting energy gap opening. The temperature dependence of $\sigma_{1}$ demonstrates a pronounced coherence peak at frequencies below 15 cm$^{-1}$ (1.8 meV). The temperature dependence of the penetration depth, calculated from $\sigma_{2}$, shows power-law behavior at the lowest temperatures. Analysis of the conductivity data with a two-gap model, gives the smaller isotropic s-wave gap of $\Delta_{A} = 3$ meV, while the larger gap is highly anisotropic with possible nodes and its rms amplitude is $\Delta_{0} = 8$ meV. Overall, our results are consistent with a two-band superconductor with an $s_{\pm}$ gap symmetry.


title: Adaptive MAC Protocols Using Memory for Networks with Critical Traffic

abstract: We consider wireless communication networks where network users are subject to critical events such as emergencies and crises. If a critical event occurs to a user, the user needs to send critical traffic as early as possible. However, most existing medium access control (MAC) protocols are not adequate to meet the urgent need for data transmission by users with critical traffic. In this paper, we devise a class of distributed MAC protocols that achieve coordination using the finite-length memory of users containing their own observations and traffic types. We formulate a protocol design problem and find optimal protocols that solve the problem. We show that the proposed protocols enable a user with critical traffic to transmit its critical traffic without interruption from other users after a short delay while allowing users to share the channel efficiently when there is no critical traffic. Moreover, the proposed protocols require short memory and can be implemented without explicit message passing.


title: A Spin-Isospin Dependent 3N Scattering Formalism in a 3D Faddeev Scheme

abstract: We have introduced a spin-isospin dependent three-dimensional approach for formulation of the three-nucleon scattering. Faddeev equation is expressed in terms of vector Jacobi momenta and spin-isospin quantum numbers of each nucleon. Our formalism is based on connecting the transition amplitude $T$ to momentum-helicity representations of the two-body $t$-matrix and the deuteron wave function. Finally the expressions for nucleon-deuteron elastic scattering and full breakup process amplitudes are presented.


title: Standard candle central exclusive processes at the Tevatron and LHC

abstract: Central exclusive production (CEP) processes in high-energy proton -- (anti)proton collisions offer a very promising framework within which to study both novel aspects of QCD and new physics signals. Among the many interesting processes that can be studied in this way, those involving the production of heavy (c,b) quarkonia and gamma gamma states have sufficiently well understood theoretical properties and sufficiently large cross sections that they can serve as `standard candle' processes with which we can benchmark predictions for new physics CEP at the CERN Large Hadron Collider. Motivated by the broad agreement with theoretical predictions of recent CEP measurements at the Fermilab Tevatron, we perform a detailed quantitative study of heavy quarkonia (chi and eta) and gamma gamma production at the Tevatron, RHIC and LHC, paying particular attention to the various uncertainties in the calculations. Our results confirm the rich phenomenology that these production processes offer at present and future high-energy colliders.


title: Filter banks and the "Intensity Analysis" of EMG

abstract: Vinzenz von Tscharner (2000) has presented an interesting mathematical method for analyzing EMG-data called "intensity analysis" (EMG = electromyography). Basically the method is a sort of bandpassing of the signal. The central idea of the method is to describe the "power" (or "intensity") of a non-stationary EMG signal as a function both of time and of frequency. The connection with wavelet theory is that the filter is constructed by rescaling a given mother wavelet using a special array of scales (center frequencies) with non-constant relative bandwidth. Some aspects of the method may seem a bit ad hoc and we have therefore undertaken a closer mathematical investigation, showing the connection with the conventional wavelet analysis and giving a somewhat simplified formulation of the method using Morlet wavelets. It is pointed out that the "intensity analysis" method is related to the concept of an equalizer. In order to illustrate the method we apply it to nonstationary EMG-signals of a dynamic leg-extension force-velcity tests. (Data provided by Taija Finni, University of Jyv\"askyl\"a.)


title: Weighted Soft Decision for Cooperative Sensing in Cognitive Radio Networks

abstract: Enhancing the current services or deploying new services operating in RF spectrum requires more licensed spectrum which may not be provided by the regulatory bodies because of spectrum scarcity. On the contrary, recent studies suggest that many portions of the licensed spectrum remains unused or underused for significant period of time raising the issue of spectrum access without license in an opportunistic manner. Among all the spectrum accessing techniques, sensing based methods are considered optimal for their simplicity and cost effectiveness. In this paper, we introduce a new cooperative spectrum sensing technique which considers the spatial variation of secondary (unlicensed) users and each user's contribution is weighted by a factor that depends on received power and path loss. Compared to existing techniques, the proposed one increases the sensing ability and spectrum utilization, and offers greater robustness to noise uncertainty. Moreover, this cooperative technique uses very simple energy detector as its building block thereby reduces the cost and operational complexity.


title: Analysis of Brownian Dynamics Simulations of Reversible Bimolecular Reactions

abstract: A class of Brownian dynamics algorithms for stochastic reaction-diffusion models which include reversible bimolecular reactions is presented and analyzed. The method is a generalization of the $\lambda$--$\newrho$ model for irreversible bimolecular reactions which was introduced in [arXiv:0903.1298]. The formulae relating the experimentally measurable quantities (reaction rate constants and diffusion constants) with the algorithm parameters are derived. The probability of geminate recombination is also investigated.


title: Cooper pairing and finite-size effects in a NJL-type four-fermion model

abstract: Starting from a NJL-type model with N fermion species fermion and difermion condensates and their associated phase structures are considered at nonzero chemical potential $\mu$ and zero temperature in spaces with nontrivial topology of the form $S^1\otimes S^1\otimes S^1$ and $R^2\otimes S^1$. Special attention is devoted to the generation of the superconducting phase. In particular, for the cases of antiperiodic and periodic boundary conditions we have found that the critical curve of the phase transitions between the chiral symmetry breaking and superconducting phases as well as the corresponding condensates and particle densities strongly oscillate vs $\lambda\sim 1/L$, where $L$ is the length of the circumference $S^1$. Moreover, it is shown that at some finite values of $L$ the superconducting phase transition is shifted to smaller values both of $\mu$ and particle density in comparison with the case of $L=\infty$.


title: New some Hadamard's type inequalities for co-ordinated convex functions

abstract: In this paper, we establish new some Hermite-Hadamard's type inequalities of convex functions of 2-variables on the co-ordinates.


title: On the Integral inequalities for mappings whose second derivatives are convex and applications

abstract: In this paper, we establish several new inequalities for some twice differantiable mappings. Then, we apply these inequalities to obtain new midpoint, trapezoid and perturbed trapezoid rules. Finally, some applications for special means of real numbers are provided.


title: New inequalities of Ostrowski's type for s-convex functions in the second sense with applications

abstract: In this paper, we establish some new inequalities of Ostrowski's type for functions whose derivatives in absolute value are the class of s-convex. Some applications for special means of real numbers are also provided. Finally, some error estimates for the midpoint formula are obtained.


title: Extreme Active Molecular Jets in L1448C

abstract: The protostellar jet driven by L1448C was observed in the SiO J=8-7 and CO J=3-2 lines and 350 GHz dust continuum at ~1" resolution with the Submillimeter Array (SMA). A narrow jet from the northern source L1448C(N) was observed in the SiO and the high-velocity CO. The jet consists of a chain of emission knots with an inter-knot spacing of ~2" (500 AU) and a semi-periodic velocity variation. The innermost pair of knots, which are significant in the SiO map but barely seen in the CO, are located at ~1" (250 AU) from the central source, L1448C(N). Since the dynamical time scale for the innermost pair is only ~10 yr, SiO may have been formed in the protostellar wind through the gas-phase reaction, or been formed on the dust grain and directly released into the gas phase by means of shocks. It is found that the jet is extremely active with a mechanical luminosity of ~7 L_sun, which is comparable to the bolometric luminosity of the central source (7.5 L_sun). The mass accretion rate onto the protostar derived from the mass-loss rate is ~10^{-5} M_sun/yr. Such a high mass accretion rate suggests that the mass and the age of the central star are 0.03-0.09 M_sun and (4-12)x10^3 yr, respectively, implying that the central star is in the very early stage of protostellar evolution. The low-velocity CO emission delineates two V-shaped shells with a common apex at L1448C(N). The kinematics of these shells are reproduced by the model of a wide opening angle wind. The co-existence of the highly-collimated jets and the wide-opening angle shells can be explained by the unified X-wind model" in which highly-collimated jet components correspond to the on-axis density enhancement of the wide-opening angle wind. The CO $J$=3--2 map also revealed the second outflow driven by the southern source L1448C(S) located at ~8.3" (2000 AU) from L1448C(N).


title: A chaos-based approach for information hiding security

abstract: This paper introduces a new framework for data hiding security. Contrary to the existing ones, the approach introduced here is not based on probability theory. In this paper, a scheme is considered as secure if its behavior is proven unpredictable. The objective of this study is to enrich the existing notions of data hiding security with a new rigorous and practicable one. This new definition of security is based on the notion of topological chaos. It could be used to reinforce the confidence on a scheme previously proven as secure by other approaches and it could also be used to study some classes of attacks that currently cannot be studied by the existing security approaches. After presenting the theoretical framework of the study, a concrete example is detailed in order to show how our approach can be applied.


title: Chaotic iterations versus Spread-spectrum: chaos and stego security

abstract: A new framework for information hiding security, called chaos-security, has been proposed in a previous study. It is based on the evaluation of unpredictability of the scheme, whereas existing notions of security, as stego-security, are more linked to information leaks. It has been proven that spread-spectrum techniques, a well-known stego-secure scheme, are chaos-secure too. In this paper, the links between the two notions of security is deepened and the usability of chaos-security is clarified, by presenting a novel data hiding scheme that is twice stego and chaos-secure. This last scheme has better scores than spread-spectrum when evaluating qualitative and quantitative chaos-security properties. Incidentally, this result shows that the new framework for security tends to improve the ability to compare data hiding scheme.


title: Existence of global strong solutions in critical spaces for barotropic viscous fluids

abstract: This paper is dedicated to the study of viscous compressible barotropic fluids in dimension $N\geq2$. We address the question of the global existence of strong solutions for initial data close from a constant state having critical Besov regularity. In a first time, this article show the recent results of \cite{CD} and \cite{CMZ} with a new proof. Our result relies on a new a priori estimate for the velocity, where we introduce a new structure to \textit{kill} the coupling between the density and the velocity as in \cite{H2}. We study so a new variable that we call effective velocity. In a second time we improve the results of \cite{CD} and \cite{CMZ} by adding some regularity on the initial data in particular $\rho_{0}$ is in $H^{1}$. In this case we obtain global strong solutions for a class of large initial data on the density and the velocity which in particular improve the results of D. Hoff in \cite{5H4}. We conclude by generalizing these results for general viscosity coefficients.


title: The Production of Probabilistic Entropy in Structure/Action Contingency Relations

abstract: Luhmann (1984) defined society as a communication system which is structurally coupled to, but not an aggregate of, human action systems. The communication system is then considered as self-organizing ("autopoietic"), as are human actors. Communication systems can be studied by using Shannon's (1948) mathematical theory of communication. The update of a network by action at one of the local nodes is then a well-known problem in artificial intelligence (Pearl 1988). By combining these various theories, a general algorithm for probabilistic structure/action contingency can be derived. The consequences of this contingency for each system, its consequences for their further histories, and the stabilization on each side by counterbalancing mechanisms are discussed, in both mathematical and theoretical terms. An empirical example is elaborated.


title: Measurable Neutrino Mass Scale in A4 x SU(5)

abstract: We propose a supersymmetric A4 x SU(5) model of quasi-degenerate neutrinos which predicts the effective neutrino mass m_ee relevant for neutrinoless double beta decay to be proportional to the neutrino mass scale, thereby allowing its determination approximately independently of unknown Majorana phases. Such a natural quasi-degeneracy is achieved by using the A4 (as an example of a non-Abelian family symmetry with real triplet representations) to enforce a type II seesaw contribution to the neutrino mass matrix proportional to the identity. Tri-bimaximal neutrino mixing arises from a type I seesaw contribution via A4 family symmetry and constrained sequential dominance. We perform a numerical fit to the quark and lepton masses and quark mixing where a simple ansatz describing quark CP violation with alpha approximately 90 degrees also leads to the leptonic phase prediction delta_MNS approximately 90 degrees.


title: The Swift-BAT hard X-ray sky monitoring unveils the orbital period of the HMXB IGR J16493-4348

abstract: IGR J16493-4348 is a supergiant high mass X-ray binary discovered by INTEGRAL in 2004. The source is detected at a significance level of $\sim21$ standard deviations in the Swift-BAT survey data collected during the first 54 months of the Swift mission. The timing analysis reveals an orbital period of $\sim$6.78 days and the presence of a full eclipse of the compact ob\ ject. The dynamical range (variability up to a factor $\sim$20) observed during the BAT monitoring suggests that IGR J16493-4348 is a wind-fed system. The derived semi-major axis of the binary system is $\sim55 R_{\sun}$ with an orbit eccentr\ icity lower than 0.15.


title: Planet--planet scattering in circumstellar gas disks

abstract: Hydrodynamical simulations of two giant planets embedded in a gaseous disk have shown that in case of a smooth convergent migration they end up trapped into a mean motion resonance. These findings have led to the conviction that the onset of dynamical instability causing close encounters between the planets can occur only after the dissipation of the gas when the eccentricity damping is over. We show that a system of three giant planets may undergo planet-planet scattering when the gaseous disk, with density values comparable to that of the Minimum Mass Solar Nebula, is still interacting with the planets. The hydrodynamical code FARGO--2D--1D is used to model the evolution ofthe disk and planets, modified to properly handle close encounters between the massive bodies. Our simulations predict a variety of different outcomes of the scattering phase which includes orbital exchange, planet merging and scattering of a planet in a hyperbolic orbit. This implies thatthe final fate of a multiplanet system under the action of the disk torques is not necessarily a packed resonant configuration.


title: Quantum phase transitions in three-leg spin tubes

abstract: We investigate the properties of a three-leg quantum spin tube using several techniques such as the density matrix renormalization group method, strong coupling approaches and the non linear sigma model. For integer spins S, the model proves to exhibit a particularly rich phase diagram consisting of an ensemble of 2S phase transitions. They can be accurately identified by the behavior of a non local string order parameter associated to the breaking of a hidden symmetry in the Hamiltonian. The nature of these transitions are further elucidated within the different approaches. We carry a detailed DMRG analysis in the specific cases S = 1. The numerical data confirm the existence of two Haldane phases with broken hidden symmetry separated by a trivial singlet state. The study of the gap and of the von Neumann entropy suggest a first order phase transition but at the close proximity of a tricritical point separating a gapless and a first order transition line in the phase diagram of the quantum spin tube.


title: Key Generation in Wireless Sensor Networks Based on Frequency-selective Channels - Design, Implementation, and Analysis

abstract: Key management in wireless sensor networks faces several new challenges. The scale, resource limitations, and new threats such as node capture necessitate the use of an on-line key generation by the nodes themselves. However, the cost of such schemes is high since their secrecy is based on computational complexity. Recently, several research contributions justified that the wireless channel itself can be used to generate information-theoretic secure keys. By exchanging sampling messages during movement, a bit string can be derived that is only known to the involved entities. Yet, movement is not the only possibility to generate randomness. The channel response is also strongly dependent on the frequency of the transmitted signal. In our work, we introduce a protocol for key generation based on the frequency-selectivity of channel fading. The practical advantage of this approach is that we do not require node movement. Thus, the frequent case of a sensor network with static motes is supported. Furthermore, the error correction property of the protocol mitigates the effects of measurement errors and other temporal effects, giving rise to an agreement rate of over 97%. We show the applicability of our protocol by implementing it on MICAz motes, and evaluate its robustness and secrecy through experiments and analysis.


title: Short Loops and Pointwise Spectral Asymptotics

abstract: We consider pointwise semiclassical spectral asymptotics i.e. asymptotics of $e(x,x,0)$ as $h\to +0$ where $e(x,y,\tau)$ is the Schwartz kernel of the spectral projector and consider two cases when schort loops give contribution above $O(h^{1-d})$: (i) Schroedinger operator in dimensions $1,2$ as potential $V=0\implies \nabla V\ne 0$; (ii) Operators near boundaries.


title: Does it matter if you answer slowly?

abstract: In this paper, we have analyzed item response times measured at a large scale unspeeded low stakes test for primary-school students. We have demonstrated the existence of significant difference in the response time for boys and girls as well as difference in response time of correct and incorrect answers on this test. We have also demonstrated existence of the warm up effect for this test. The results show that responses given by girls exhibit much greater warm up effect and that difference appears to be the most important cause of the difference on the test level.


title: Rewriting the check of 8-rewritability for $A_5$

abstract: The group $G$ is called $n$-rewritable for $n>1$, if for each sequence of $n$ elements $x_1, x_2, \dots, x_n \in G$ there exists a non-identity permutation $\sigma \in S_n$ such that $x_1 x_2 \cdots x_n = x_{\sigma(1)} x_{\sigma(2)} \cdots x_{\sigma(n)}$. Using computers, Blyth and Robinson (1990) verified that the alternating group $A_5$ is 8-rewritable. We report on an independent verification of this statement using the computational algebra system GAP, and compare the performance of our sequential and parallel code with the original one.


title: The Fourth Gravity Test and Quintessence Matter Field

abstract: After the previous work on gravitational frequency shift, light deflection (arXiv:1003.5296) and perihelion advance (arXiv:0812.2332), we calculate carefully the fourth gravity test, i.e. radar echo delay in a central gravity field surrounded by static free quintessence matter, in this paper. Through the Lagrangian method, we find the influence of the quintessence matter on the time delay of null particle is presence by means of an additional integral term. When the quintessence field vanishes, it reduces to the usual Schwarzschild case naturally. Meanwhile, we also use the data of the Viking lander from the Mars and Cassini spacecraft to Saturn to constrain the quintessence field. For the Viking case, the field parameter $\alpha$ is under the order of $10^{-9}$. However, $\alpha$ is under $10^{-18}$ for the Cassini case.


title: Evolution of radial profiles in regular Lemaitre-Tolman-Bondi dust models

abstract: We undertake a comprehensive and rigorous analytic study of the evolution of radial profiles of covariant scalars in regular Lemaitre-Tolman-Bondi dust models. We consider specifically the phenomenon of "profile inversions" in which an initial clump profile of density, spatial curvature or the expansion scalar, might evolve into a void profile (and vice versa). Previous work in the literature on models with density void profiles and/or allowing for density profile inversions is given full generalization, with some erroneous results corrected. We prove rigorously that if an evolution without shell crossings is assumed, then only the 'clump to void' inversion can occur in density profiles, and only in hyperbolic models or regions with negative spatial curvature. The profiles of spatial curvature follow similar patterns as those of the density, with 'clump to void' inversions only possible for hyperbolic models or regions. However, profiles of the expansion scalar are less restrictive, with profile inversions necessarily taking place in elliptic models. We also examine radial profiles in special LTB configurations: closed elliptic models, models with a simultaneous big bang singularity, as well as a locally collapsing elliptic region surrounded by an expanding hyperbolic background. The general analytic statements that we obtain allow for setting up the right initial conditions to construct fully regular LTB models with any specific qualitative requirements for the profiles of all scalars and their time evolution. The results presented can be very useful in guiding future numerical work on these models and in revising previous analytic work on all their applications.


title: Reply to "Comment on Anderson Transition in Disordered Graphene"

abstract: We show that the very small numeric effects discussed in the comment by Schleede et al (arXiv:1005.0497) is not the source of mobility edge predicted in graphene in our letter [Eur. Phys. Lett., 87 (2009) 37002].


title: Pervasive Algebras and Maximal Subalgebras

abstract: A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$. It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a proper closed subset of the essential set of $A$. If $A$ is maximal, then it is essentially pervasive and proper. We explore the gap between these two concepts. We show the following: (1) If $A$ is pervasive and proper, and has a nonconstant unimodular element, then $A$ contains an infinite descending chain of pervasive subalgebras on $X$. (2) It is possible to imbed a copy of the lattice of all subsets of $\N$ into the family of pervasive subalgebras of some $C(X)$. (3) In the other direction, if $A$ is strongly logmodular, proper and pervasive, then it is maximal. (4) This fails if the word \lq strongly' is removed. We discuss further examples, involving Dirichlet algebras, $A(U)$ algebras, Douglas algebras, and subalgebras of $H^\infty(\mathbb{D})$. We develop some new results that relate pervasiveness, maximality and relative maximality to support sets of representing measures.


title: Confronting generalized hidden local symmetry chiral model with the ALEPH data on the decay tau^- to pi^+ pi^- pi^- nu_tau

abstract: Generalized Hidden Local Symmetry (GHLS) model is the chiral model of pseudoscalar, vector, and axial vector mesons and their interactions. It contains also the couplings of strongly interacting particles with electroweak gauge bosons. Here, GHLS model is confronted with the ALEPH data on the decay $\tau^-\to\pi^-\pi^-\pi^+\nu_\tau$. It is shown that the invariant mass spectrum of final pions in this decay calculated in GHLS framework with the single $a_1(1260)$ resonance disagrees with the experimental data at any reasonable number of free GHLS parameters. Two modifications of GHLS model based on inclusion of two additional heavier axial vector mesons are studied. One of them giving a good description of the ALEPH data, with all the parameters kept free is shown to result in very large $\Gamma_{a_1^\pm\to\pi^\pm\gamma}$ partial width. The other scheme with the GHLS parameters fixed in a way that the universality is preserved and the observed central value of $\Gamma_{a_1^\pm\to\pi^\pm\gamma}$ is reached, results in a good description of the three pion spectrum in $\tau^-\to\pi^+\pi^-\pi^-\nu_\tau$ decay.


title: Undulation instability in a bilayer lipid membrane due to electric field interaction with lipid dipoles

abstract: Bilayer lipid membranes [BLMs] are an essential component of all biological systems, forming a functional barrier for cells and organelles from the surrounding environment. The lipid molecules that form membranes contain both permanent and induced dipoles, and an electric field can induce the formation of pores when the transverse field is sufficiently strong (electroporation). Here, a phenomenological free energy is constructed to model the response of a BLM to a transverse static electric field. The model contains a continuum description of the membrane dipoles and a coupling between the headgroup dipoles and the membrane tilt. The membrane is found to become unstable through buckling modes, which are weakly coupled to thickness fluctuations in the membrane. The thickness fluctuations, along with the increase in interfacial area produced by membrane buckling, increase the probability of localized membrane breakdown, which may lead to pore formation. The instability is found to depend strongly on the strength of the coupling between the dipolar headgroups and the membrane tilt as well as the degree of dipolar ordering in the membrane.


title: On Theta-palindromic Richness

abstract: In this paper we study generalization of the reversal mapping realized by an arbitrary involutory antimorphism $\Theta$. It generalizes the notion of a palindrome into a $\Theta$-palindrome -- a word invariant under $\Theta$. For languages closed under $\Theta$ we give the relation between $\Theta$-palindromic complexity and factor complexity. We generalize the notion of richness to $\Theta$-richness and we prove analogous characterizations of words that are $\Theta$-rich, especially in the case of set of factors invariant under $\Theta$. A criterion for $\Theta$-richness of $\Theta$-episturmian words is given together with other examples of $\Theta$-rich words.


title: Two hard spheres in a pore: Exact Statistical Mechanics for different shaped cavities

abstract: The Partition function of two Hard Spheres in a Hard Wall Pore is studied appealing to a graph representation. The exact evaluation of the canonical partition function, and the one-body distribution function, in three different shaped pores are achieved. The analyzed simple geometries are the cuboidal, cylindrical and ellipsoidal cavities. Results have been compared with two previously studied geometries, the spherical pore and the spherical pore with a hard core. The search of common features in the analytic structure of the partition functions in terms of their length parameters and their volumes, surface area, edges length and curvatures is addressed too. A general framework for the exact thermodynamic analysis of systems with few and many particles in terms of a set of thermodynamic measures is discussed. We found that an exact thermodynamic description is feasible based in the adoption of an adequate set of measures and the search of the free energy dependence on the adopted measure set. A relation similar to the Laplace equation for the fluid-vapor interface is obtained which express the equilibrium between magnitudes that in extended systems are intensive variables. This exact description is applied to study the thermodynamic behavior of the two Hard Spheres in a Hard Wall Pore for the analyzed different geometries. We obtain analytically the external work, the pressure on the wall, the pressure in the homogeneous zone, the wall-fluid surface tension, the line tension and other similar properties.

categories: cond-mat.stat-mech cond-mat.other math-ph math.MP


title: Test vectors for trilinear forms when at least one representation is not supercuspidal

abstract: Given three irreducible, admissible, infinite dimensional complex representations of GL2(F), with F a local field, the space of trilinear functionals invariant by the group has dimension at most one. When it is one we provide an explicit vector on which the functional does not vanish assuming that not all three representations are supercuspidal.


title: The Chen-Ruan cohomology of moduli of curves of genus 2 with marked points

abstract: In this work we describe the Chen-Ruan cohomology of the moduli stacks of smooth and stable genus 2 pointed curves, and its algebraic counterpart: the stringy Chow ring. In the first half of the paper we compute the additive structure of the Chen-Ruan cohomology ring for the moduli stack of stable pointed genus 2 curves, describing it as a rationally graded vector space. In the second part we give generators for the even Chen--Ruan cohomology ring as an algebra on the ordinary cohomology.


title: Quantum Efficiency of Charge Qubit Measurements Using a Single Electron Transistor

abstract: The quantum efficiency, which characterizes the quality of information gain against information loss, is an important figure of merit for any realistic quantum detectors in the gradual process of collapsing the state being measured. In this work we consider the problem of solid-state charge qubit measurements with a single-electron-transistor (SET). We analyze two models: one corresponds to a strong response SET, and the other is a tunable one in response strength. We find that the response strength would essentially bound the quantum efficiency, making the detector non-quantum-limited. Quantum limited measurements, however, can be achieved in the limits of strong response and asymmetric tunneling. The present study is also associated with appropriate justifications for the measurement and backaction-dephasing rates, which were usually evaluated in controversial methods.


title: Sub-barrier fusion of 32S+90,96Zr: semi-classical coupled-channels approach

abstract: The fusion excitation functions have been measured with rather good accuracy for 32S+90Zr and 32S+96Zr near and below the Coulomb barrier. The sub-barrier cross sections for 32S+96Zr are much larger compared with 32S+90Zr. Semi-classical coupled-channels calculations including two-phonon excitations are capable to describe sub-barrier enhancement only for 32S+90Zr. The remaining disagreement for 32S+96Zr comes from the positive Q-value intermediate neutron transfers in this system. The comparison with 40Ca+96Zr suggests that couplings to the positive Q-value neutron transfer channels may play a role in the sub-barrier fusion enhancement. A rather simple model calculation taking neutron transfers into account is proposed to overcome the discrepancies of 32S+96Zr.


title: The Euler-Maruyama approximations for the CEV model

abstract: The CEV model is given by the stochastic differential equation $X_t=X_0+\int_0^t\mu X_sds+\int_0^t\sigma (X^+_s)^pdW_s$, $\frac{1}{2}\le p<1$. It features a non-Lipschitz diffusion coefficient and gets absorbed at zero with a positive probability. We show the weak convergence of Euler-Maruyama approximations $X_t^n$ to the process $X_t$, $0\le t\le T$, in the Skorokhod metric. We give a new approximation by continuous processes which allows to relax some technical conditions in the proof of weak convergence in \cite{HZa} done in terms of discrete time martingale problem. We calculate ruin probabilities as an example of such approximation. We establish that the ruin probability evaluated by simulations is not guaranteed to converge to the theoretical one, because the point zero is a discontinuity point of the limiting distribution. To establish such convergence we use the Levy metric, and also confirm the convergence numerically. Although the result is given for the specific model, our method works in a more general case of non-Lipschitz diffusion with absorbtion.


title: Analytical Solutions to the Navier-Stokes-Poisson Equations with Density-dependent Viscosity and with Pressure

abstract: We study some particular solutions to the Navier-Stokes-Poisson equations with density-dependent viscosity and with pressure, in radial symmetry. With extension of the previous known blowup solutions for the Euler-Poisson equations / pressureless Navier-Stokes-Poisson with density-dependent viscosity, we constructed the corresponding analytical blowup solutions for the Navier-Stokes-Poisson Equations with density-dependent viscosity and with pressure.


title: Capillary Rise and Imbibition of Liquids in Nanoporous Matrices: Rheological Concepts and Experiments

abstract: Liquid flow propelled by capillary forces is one of the most important transport mechanisms in porous environments. It is governed by a fascinating interplay of interfacial, viscous drag as well as gravitational forces which liquids encounter upon invasion into geometries with often complex topologies, such as capillary networks of trees or interconnected fractures in soils and ice. Here, we present fundamentals, concepts and an experimental, gravimetric study on the capillarity-driven invasion dynamics of liquids in networks of pores a few nanometers across in monolithic, nanoporous silica glass (porous Vycor). A variation of the complexity of the building blocks of the liquids investigated along with a variation of the humidity and the temperature upon spontaneous imbibition allows us to gain information regarding the fluidity and capillarity of liquids in such nanoporous environments. We observe square-root of time imbibition dynamics for all liquids applied, which we can quantitatively describe by both a conserved bulk fluidity in the pore center and bulk capillarity at the advancing menisci, if we assume a sticky boundary layer (negative velocity slip length). Moreover, pecularities of nanopore-confined liquids, such as transport via the vapor phase leading to preadsorbed liquid layers, have to be properly accounted for. Upon increasing the chain-length in the case of the n-alkanes, we found hints towards a transition from stick- to slip-flow at the pore walls with increasing chain-length and thus polymeric behavior. Meniscus freezing is reported for n-tetracosane confined in porous Vycor. For the rheology of a rod-like liquid nematogen (8OCB) we found no hints of the viscosity drop upon entering into the nematic phase, typical of the bulk rheology of this liquid crystal.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.flu-dyn


title: $L^2$-topology and Lagrangians in the space of connections over a Riemann surface

abstract: We examine the $L^2$-topology of the gauge orbits over a closed Riemann surface. We prove a subtle local slice theorem based on the div-curl Lemma of harmonic analysis, and deduce local pathwise connectedness and local uniform quasiconvexity of the gauge orbits. Using these, we generalize compactness results for anti-self-dual instantons with Lagrangian boundary counditions to general gauge invariant Lagrangian submanifolds. This provides the foundation for the construction of instanton Floer homology for pairs of a $3$-manifold with boundary and a Lagrangian in the configuration space over the boundary.


title: Outage rates and outage durations of opportunistic relaying systems

abstract: Opportunistic relaying is a simple yet efficient cooperation scheme that achieves full diversity and preserves the spectral efficiency among the spatially distributed stations. However, the stations' mobility causes temporal correlation of the system's capacity outage events, which gives rise to its important second-order outage statistical parameters, such as the average outage rate (AOR) and the average outage duration (AOD). This letter presents exact analytical expressions for the AOR and the AOD of an opportunistic relaying system, which employs a mobile source and a mobile destination (without a direct path), and an arbitrary number of (fixed-gain amplify-and-forward or decode-and-forward) mobile relays in Rayleigh fading environment.


title: Lifetime of a target in the presence of N independent walkers

abstract: We study the survival probability of an immobile target in presence of N independent diffusing walkers. We address the problem of the Mean Target Lifetime and its dependence on the number and initial distribution of the walkers when the trapping is perfect or imperfect. We consider the diffusion on lattices and in the continuous space and we address the bulk limit corresponding to a density of diffusing particles and only one isolated trap. Also, we use intermittent motion for optimization of search strategies.


title: An efficient approximation to the correlated Nakagami-m sums and its application in equal gain diversity receivers

abstract: There are several cases in wireless communications theory where the statistics of the sum of independent or correlated Nakagami-m random variables (RVs) is necessary to be known. However, a closed-form solution to the distribution of this sum does not exist when the number of constituent RVs exceeds two, even for the special case of Rayleigh fading. In this paper, we present an efficient closed-form approximation for the distribution of the sum of arbitrary correlated Nakagami-m envelopes with identical and integer fading parameters. The distribution becomes exact for maximal correlation, while the tightness of the proposed approximation is validated statistically by using the Chi-square and the Kolmogorov-Smirnov goodness-of-fit tests. As an application, the approximation is used to study the performance of equal-gain combining (EGC) systems operating over arbitrary correlated Nakagami-m fading channels, by utilizing the available analytical results for the error-rate performance of an equivalent maximal-ratio combining (MRC) system.


title: Microstructure of epitaxial strained BiCrO3 thin films

abstract: The structure and microstrucutre of fully-strained BiCrO3 thin films have been investigated by X-rays diffraction and transmission electron microscopy, at room temperature. Interestingly, three structural variants are simultaneously stabilized within the film. While txo of them are consistent with the existing phases in the bulk-below and above the 420 K structural transition, a different phase is identified. The existence of various structures has been attributed to the inhomogeneous distribution of local strains and oxygens resulting from a minimization of the strain-energy at the interface. These findings will open the route to a better understanding of Bi-based perovskites and metastable phases.


title: Determinantal representations of the Moore-Penrose inverse over the quaternion skew field and corresponding Cramer's rules

abstract: Determinantal representation of the Moore-Penrose inverse over the quaternion skew field is obtained within the framework of a theory of the column and row determinants. Using the obtained analogs of the adjoint matrix, we get the Cramer rules for the least squares solution of left and right systems of quaternionic linear equations.


title: YAPA: A generic tool for computing intruder knowledge

abstract: Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages based on equational logics, knowledge is typically expressed by two relations: deducibility and static equivalence. Several decision procedures have been proposed for these relations under a variety of equational theories. However, each theory has its particular algorithm, and none has been implemented so far. We provide a generic procedure for deducibility and static equivalence that takes as input any convergent rewrite system. We show that our algorithm covers most of the existing decision procedures for convergent theories. We also provide an efficient implementation, and compare it briefly with the tools ProVerif and KiSs.


title: Archimedean Proof of the Physical Impossibility of Earth Mantle Convection

abstract: Eight decades ago, Arthur Holmes introducted the idea of mantle convection as a mechanism for continental drift. Five decades ago, continental drift was modified to become plate tectonics theory, which included mantle convection as an absolutely critical component. Using the submarine design and operation concept of "neutral buoyancy", which follows from Archimedes' discoveries, the concept of mantle convection is proven to be incorrect, concomitantly refuting plate tectonics, refuting all mantle convection models, and refuting all models that depend upon mantle convection.


title: Three-dimensional relativistic particle-in-cell hybrid code based on an exponential integrator

abstract: In this paper we present a new three dimensional (3D) full electromagnetic relativistic hybrid plasma code H-VLPL (hybrid virtual laser plasma laboratory). The full kinetic particle-in-cell (PIC) method is used to simulate low density hot plasmas while the hydrodynamic model applies to the high density cold background plasma. To simulate the linear electromagnetic response of the high density plasma, we use a newly developed form of an exponential integrator method. It allows us to simulate plasmas of arbitrary densities using large time steps. The model reproduces the plasma dispersion and gives correct spatial scales like the plasma skin depth even for large grid cell sizes. We test the hybrid model validity by applying it to some physical examples.


title: Magic constraints on Gamma-ray emission from Cygnus X-3

abstract: Cygnus X-3 is a microquasar consisting of an accreting compact object orbiting around a Wolf-Rayet star. It has been detected at radio frequencies and up to high-energy gamma rays (above 100 MeV). However, many models also predict a very high energy (VHE) emission (above hundreds of GeV) when the source displays relativistic persistent jets or transient ejections. Therefore, detecting such emission would improve the understanding of the jet physics. The imaging atmospheric Cherenkov telescope MAGIC observed Cygnus X-3 for about 70 hours between 2006 March and 2009 August in different X-ray/radio spectral states and also during a period of enhanced gamma-ray emission. MAGIC found no evidence for a VHE signal from the direction of the microquasar. An upper limit to the integral flux for energies higher than 250 GeV has been set to 2.2 x 10-12 photons cm-2 s-1 (95% confidence level). This is the best limit so far to the VHE emission from this source. The non-detection of a VHE signal during the period of activity in the high-energy band sheds light on the location of the possible VHE radiation favoring the emission from the innermost region of the jets, where absorption is significant. The current and future generations of Cherenkov telescopes may detect a signal under precise spectral conditions.


title: Stability verification for monotone systems using homotopy algorithms

abstract: A monotone self-mapping of the nonnegative orthant induces a monotone discrete-time dynamical system which evolves on the same orthant. If with respect to this system the origin is attractive then there must exists points whose image under the monotone map is strictly smaller than the original point, in the component-wise partial ordering. Here it is shown how such points can be found numerically, leading to a recipe to compute order intervals that are contained in the region of attraction and where the monotone map acts essentially as a contraction. An important application is the numerical verification of so-called generalized small-gain conditions that appear in the stability theory of large-scale systems.


title: Albedo and laser threshold of a diffusive Raman gain medium

abstract: The diffuse reflectance (albedo) and transmittance of a Raman random gain medium are calculated via semi-analytic two-stream equations with power-dependent coefficients. The results show good agreement with the experimental data for barium nitrate powder. Both the Raman albedo AR and Raman transmittance TR diverge at a critical gain gc, interpreted as the threshold for diffusive Raman laser generation. However, the ratio TR/AR approaches a finite limiting value dependent on particle scattering albedo v and scattering asymmetry g. The dependence of the generation threshold on the scattering parameters is analysed and the feedback effect of Fresnel reflection at the gain boundaries evaluated. The addition of external mirrors, particularly at the pumped surface, significantly reduces the threshold gain.


title: On the construction of a geometric invariant measuring the deviation from Kerr data

abstract: This article contains a detailed and rigorous proof of the construction of a geometric invariant for initial data sets for the Einstein vacuum field equations. This geometric invariant vanishes if and only if the initial data set corresponds to data for the Kerr spacetime, and thus, it characterises this type of data. The construction presented is valid for boosted and non-boosted initial data sets which are, in a sense, asymptotically Schwarzschildean. As a preliminary step to the construction of the geometric invariant, an analysis of a characterisation of the Kerr spacetime in terms of Killing spinors is carried out. A space spinor split of the (spacetime) Killing spinor equation is performed, to obtain a set of three conditions ensuring the existence of a Killing spinor of the development of the initial data set. In order to construct the geometric invariant, we introduce the notion of approximate Killing spinors. These spinors are symmetric valence 2 spinors intrinsic to the initial hypersurface and satisfy a certain second order elliptic equation ---the approximate Killing spinor equation. This equation arises as the Euler-Lagrange equation of a non-negative integral functional. This functional constitutes part of our geometric invariant ---however, the whole functional does not come from a variational principle. The asymptotic behaviour of solutions to the approximate Killing spinor equation is studied and an existence theorem is presented.