Exact and Efficient Simulation of Concordant Computation

Concordant computation is a circuit-based model of quantum computation for mixed states, that assumes that all correlations within the register are discord-free (i.e. the correlations are essentially classical) at every step of the computation. The question of whether concordant computation always admits efficient simulation by a classical computer was first considered by B. Eastin in quant-ph/1006.4402v1, where an answer in the affirmative was given for circuits consisting only of one- and two-qubit gates. Building on this work, we develop the theory of classical simulation of concordant computation. We present a new framework for understanding such computations, argue that a larger class of concordant computations admit efficient simulation, and provide alternative proofs for the main results of quant-ph/1006.4402v1 with an emphasis on the exactness of simulation which is crucial for this model. We include detailed analysis of the arithmetic complexity for solving equations in the simulation, as well as extensions to larger gates and qudits. We explore the limitations of our approach, and discuss the challenges faced in developing efficient classical simulation algorithms for all concordant computations.Comment: 16 page

Exact Travelling Wave Solutions of Some Nonlinear Nonlocal Evolutionary Equations

Direct algebraic method of obtaining exact solutions to nonlinear PDE's is applied to certain set of nonlinear nonlocal evolutionary equations, including nonlinear telegraph equation, hyperbolic generalization of Burgers equation and some spatially nonlocal hydrodynamic-type model. Special attention is paid to the construction of the kink-like and soliton-like solutions.Comment: 13 pages, LaTeX2

Nested quasicrystalline discretisations of the line

One-dimensional cut-and-project point sets obtained from the square lattice in the plane are considered from a unifying point of view and in the perspective of aperiodic wavelet constructions. We successively examine their geometrical aspects, combinatorial properties from the point of view of the theory of languages, and self-similarity with algebraic scaling factor $\theta$. We explain the relation of the cut-and-project sets to non-standard numeration systems based on $\theta$. We finally examine the substitutivity, a weakened version of substitution invariance, which provides us with an algorithm for symbolic generation of cut-and-project sequences

Analysing Lyapunov spectra of chaotic dynamical systems

It is shown that the asymptotic spectra of finite-time Lyapunov exponents of a variety of fully chaotic dynamical systems can be understood in terms of a statistical analysis. Using random matrix theory we derive numerical and in particular analytical results which provide insights into the overall behaviour of the Lyapunov exponents particularly for strange attractors. The corresponding distributions for the unstable periodic orbits are investigated for comparison.Comment: 4 pages, 4 figure

Construction of Special Solutions for Nonintegrable Systems

The Painleve test is very useful to construct not only the Laurent series solutions of systems of nonlinear ordinary differential equations but also the elliptic and trigonometric ones. The standard methods for constructing the elliptic solutions consist of two independent steps: transformation of a nonlinear polynomial differential equation into a nonlinear algebraic system and a search for solutions of the obtained system. It has been demonstrated by the example of the generalized Henon-Heiles system that the use of the Laurent series solutions of the initial differential equation assists to solve the obtained algebraic system. This procedure has been automatized and generalized on some type of multivalued solutions. To find solutions of the initial differential equation in the form of the Laurent or Puiseux series we use the Painleve test. This test can also assist to solve the inverse problem: to find the form of a polynomial potential, which corresponds to the required type of solutions. We consider the five-dimensional gravitational model with a scalar field to demonstrate this.Comment: LaTeX, 14 pages, the paper has been published in the Journal of Nonlinear Mathematical Physics (http://www.sm.luth.se/math/JNMP/